Modeling And Verification Of Scene Of C3+Ato System Based On Timed Automata,
2021
School of Automation and Electrical Engineering, Lanzhou Jiaotong University, Lanzhou 730070, China;
Modeling And Verification Of Scene Of C3+Ato System Based On Timed Automata, Zhenhai Zhang, Yao Jie
Journal of System Simulation
Abstract: The C3+ATO system is in the experimental stage in our country and has the characteristics of high automation degree and high safety requirement at present. In order to confirm whether the specific function of the high-speed railway C3+ATO system meets the corresponding technical specification under the specific scene, a formal modeling and verification method based on the timed automata is proposed. The station automatic departure scene is selected as the modeling object. The functional requirements of C3+ATO system specification are extracted and the timed automata model of the scene is established. The message sequence chart of the corresponding process …
Study On Virtual And Real Entity Configuration Of Army Units Lvc Tactical Training,
2021
Army Armored Force Academy Drill, Training Center, Beijing 100072, China;
Study On Virtual And Real Entity Configuration Of Army Units Lvc Tactical Training, Gao Ang, Zhiming Dong, Qisheng Guo, Guohui Zhang
Journal of System Simulation
Abstract: Aiming at the problem that “real soldiers” in the LVC system cannot observe “virtual soldiers” and cannot completely meet the army's tactical training needs, the research on the configuration under the condition of limited interaction between virtual and real entities is carried out. Taking equipment is as the node, taking the interaction between the equipment that conforms to the objective facts of combat as the edge. An undirected graph description example of a virtual-real node interaction is build. All the complete subgraphs in the undirected graph are all the configuration modes of virtual and real entities, under which any …
Lecture 08: Partial Eigen Decomposition Of Large Symmetric Matrices Via Thick-Restart Lanczos With Explicit External Deflation And Its Communication-Avoiding Variant,
2021
University of California, Davis
Lecture 08: Partial Eigen Decomposition Of Large Symmetric Matrices Via Thick-Restart Lanczos With Explicit External Deflation And Its Communication-Avoiding Variant, Zhaojun Bai
Mathematical Sciences Spring Lecture Series
There are continual and compelling needs for computing many eigenpairs of very large Hermitian matrix in physical simulations and data analysis. Though the Lanczos method is effective for computing a few eigenvalues, it can be expensive for computing a large number of eigenvalues. To improve the performance of the Lanczos method, in this talk, we will present a combination of explicit external deflation (EED) with an s-step variant of thick-restart Lanczos (s-step TRLan). The s-step Lanczos method can achieve an order of s reduction in data movement while the EED enables to compute eigenpairs in batches along with a number …
Lecture 00: Opening Remarks: 46th Spring Lecture Series,
2021
University of Arkansas, Fayetteville
Lecture 00: Opening Remarks: 46th Spring Lecture Series, Tulin Kaman
Mathematical Sciences Spring Lecture Series
Opening remarks for the 46th Annual Mathematical Sciences Spring Lecture Series at the University of Arkansas, Fayetteville.
Mixed Dish Recognition With Contextual Relation And Domain Alignment,
2021
Singapore Management University
Mixed Dish Recognition With Contextual Relation And Domain Alignment, Lixi Deng, Jingjing Chen, Chong-Wah Ngo, Qianru Sun, Sheng Tang, Yongdong Zhang, Tat-Seng Chua
Research Collection School Of Computing and Information Systems
Mixed dish is a food category that contains different dishes mixed in one plate, and is popular in Eastern and Southeast Asia. Recognizing the individual dishes in a mixed dish image is important for health related applications, e.g. to calculate the nutrition values of the dish. However, most existing methods that focus on single dish classification are not applicable to the recognition of mixed dish images. The main challenge of mixed dish recognition comes from three aspects: a wide range of dish types, the complex dish combination with severe overlap between different dishes and the large visual variances of same …
Dismastd: An Efficient Distributed Multi-Aspect Streaming Tensor Decomposition,
2021
Zhejiang University
Dismastd: An Efficient Distributed Multi-Aspect Streaming Tensor Decomposition, Keyu Yang, Yunjun Gao, Yifeng Shen, Baihua Zheng, Lu Chen
Research Collection School Of Computing and Information Systems
Tensor decomposition is a fundamental multidimensional data analysis tool for many data-driven applications, such as social computing, computer vision, and bioinformatics, to name but a few. However, the rapidly increasing streaming data nowadays introduces new challenges to traditional static tensor decomposition. It requires an efficient distributed dynamic tensor decomposition without re-computing the whole tensor from scratch. In this paper, we propose DisMASTD, an efficient distributed multi-aspect streaming tensor decomposition. First, we prove the optimal tensor partitioning problem is NP-hard. Second, we present two heuristic tensor partitioning approaches to ensure the load balancing. Third, we develop a distributed multi-aspect streaming tensor …
Enconter: Entity Constrained Progressive Sequence Generation Via Insertion-Based Transformer,
2021
Singapore Management University
Enconter: Entity Constrained Progressive Sequence Generation Via Insertion-Based Transformer, Lee Hsun Hsieh, Yang Yin Lee, Ee-Peng Lim
Research Collection School Of Computing and Information Systems
Pretrained using large amount of data, autoregressive language models are able to generate high quality sequences. However, these models do not perform well under hard lexical constraints as they lack fine control of content generation process. Progressive insertion-based transformers can overcome the above limitation and efficiently generate a sequence in parallel given some input tokens as constraint. These transformers however may fail to support hard lexical constraints as their generation process is more likely to terminate prematurely. The paper analyses such early termination problems and proposes the ENtity-CONstrained insertion TransformER (ENCONTER), a new insertion transformer that addresses the above pitfall …
Sentiment-Oriented Metric Learning For Text-To-Image Retrieval,
2021
Singapore Management University
Sentiment-Oriented Metric Learning For Text-To-Image Retrieval, Quoc Tuan Truong, Hady W. Lauw
Research Collection School Of Computing and Information Systems
In this era of multimedia Web, text-to-image retrieval is a critical function of search engines and visually-oriented online platforms. Traditionally, the task primarily deals with matching a text query with the most relevant images available in the corpus. To an increasing extent, the Web also features visual expressions of preferences, imbuing images with sentiments that express those preferences. Cases in point include photos in online reviews as well as social media. In this work, we study the effects of sentiment information on text-to-image retrieval. Particularly, we present two approaches for incorporating sentiment orientation into metric learning for cross-modal retrieval. Each …
Urban Perception: Sensing Cities Via A Deep Interactive Multi-Task Learning Framework,
2021
Singapore Management University
Urban Perception: Sensing Cities Via A Deep Interactive Multi-Task Learning Framework, Weili Guan, Zhaozheng Chen, Fuli Feng, Weifeng Liu, Liqiang Nie
Research Collection School Of Computing and Information Systems
Social scientists have shown evidence that visual perceptions of urban attributes, such as safe, wealthy, and beautiful perspectives of the given cities, are highly correlated to the residents' behaviors and quality of life. Despite their significance, measuring visual perceptions of urban attributes is challenging due to the following facts: (1) Visual perceptions are subjectively contradistinctive rather than absolute. (2) Perception comparisons between image pairs are usually conducted region by region, and highly related to the specific urban attributes. And (3) the urban attributes have both the shared and specific information. To address these problems, in this article, we present a …
Escape From An Echo Chamber,
2021
Singapore Management University
Escape From An Echo Chamber, Kuan-Chieh Lo, Shih-Chieh Dai, Aiping Xiong, Jing Jiang, Lun-Wei Ku
Research Collection School Of Computing and Information Systems
An echo chamber effect refers to the phenomena that online users revealed selective exposure and ideological segregation on political issues. Prior studies indicate the connection between the spread of misinformation and online echo chambers. In this paper, to help users escape from an echo chamber, we propose a novel news-analysis platform that provides a panoramic view of stances towards a particular event from different news media sources. Moreover, to help users better recognize the stances of news sources which published these news articles, we adopt a news stance classification model to categorize their stances into “agree”, “disagree”, “discuss”, or “unrelated” …
Frequency Coordinated Control Strategy Of Microgrid Based On Fuzzy Prediction,
2021
Xuchang Electrical Vocational College, Xuchang 461000, China;
Frequency Coordinated Control Strategy Of Microgrid Based On Fuzzy Prediction, Kunping Zhang, Hao Lin
Journal of System Simulation
Abstract: Aiming at the problem of frequency fluctuation of wind power generation connected to microgrid, a frequency coordinated control strategy based on model predictive control (MPC) is proposed. In this strategy, the wind turbine and plug-in hybrid electric vehicle (PHEV) are included in the frequency control system. The pitch angle of the fan and the charge and discharge of PHEV are controlled to adjust the grid frequency and supplement the frequency modulation resources of microgrid. WTG pitch angle control system and PHEV power control system are modeled, and their control principles are described. In order to prevent excessive use of …
Guaranteed Cost Preview And Repetitive Control For Uncertain Linear Discrete Time-Delay Systems,
2021
School of information engineering, Xiangtan University, Xiangtan 411105, China;
Guaranteed Cost Preview And Repetitive Control For Uncertain Linear Discrete Time-Delay Systems, Yonghong Lan, Jinlin He
Journal of System Simulation
Abstract: For a class of uncertain linear discrete time-delay systems, a design method for guaranteed cost preview and repetitive controller is proposed . By introducing a repetitive controller in the forward channel to improve the tracking accuracy of the system, L-order difference operators are used to construct an augmented error system that contains preview information but does not include time delay, and the design problem of guaranteed cost preview and repetitive controller is converted into an output feedback adjustment problem. Using the Lyapunov stability theory and the linear matrix inequality method, the sufficient conditions for guaranteeing the asymptotic stability of …
Neural Network Optimized Sensorless Permanent Magnet Synchronous Motor Control System,
2021
School of mechanical engineering, University of Shanghai for Science and Technology, Shanghai 200093, China;
Neural Network Optimized Sensorless Permanent Magnet Synchronous Motor Control System, Lixin Ma, Yongjie Zhu, Leyan Ji
Journal of System Simulation
Abstract: In order to solve the poor accuracy of the speed and rotor position of permanent magnet synchronous motor caused by sensor, a sensorless control system is proposed to calculate the speed and rotor position of PMSM with extended Kalman filtering algorithm. BP neural network algorithm is used to optimize the covariance matrix Q and R of EKF, which improves the accurate calculation values of rotational speed and rotor position. At the same time, the speed sliding mode controller combined with the current feed-forward decoupling unit are used to improve the stability of the whole control system. The simulation results …
An Improved Social Force Model For Crowd Simulation,
2021
School of information and control engineering, Xi'an University of Architecture and Technology, Xi'an 710055, China;
An Improved Social Force Model For Crowd Simulation, Changhua Li, Yang Jing, Zhijie Li
Journal of System Simulation
Abstract: In view of the traditional social force model, it is difficult to deal with the problems of single pedestrian trajectory and loose crowd in the process of crowd evacuation, and an improved social force model is proposed. Based on the original social force model, the movement trajectory of the person is changed by considering the choice of the movement direction The intensity of panic and attraction in the process of pedestrian evacuation is considered to reproduce the self-organizing behavior in the process of pedestrian evacuation, and the simulations are performed in individual and group mode. The authenticity of the …
Research On The Method Of Operational Concept Description Based On Sysml,
2021
Beijing Institute of System Engineering, Beijing 100101, China;
Research On The Method Of Operational Concept Description Based On Sysml, Siming Peng, Xiao Gang, Qingzhang Yu, Zeming Li
Journal of System Simulation
Abstract: For the convenience of understanding and communication between researchers among different domains, the standardized method for operational concept description is preferred. Hence, based on the principles of systems architecture, the System Model Language (SysML) is proposed for the visualized and standardized description of operational concept. The form of combination for Department of Defense Architecture Framework (DoDAF) and SysML during the description of operational concept is analyzed, and the multi-view point products are used to descript the operational background, capability requirement and systems architecture as well as the operational activity of operational concept. The "Distributed Lethality" is utilized as an …
Simulation Platform For Source-Load Control Of Active Power Based On Modular Architecture,
2021
1. North China Electric Power University, State Key Laboratory of Alternate Electrical Power System with Renewable Energy Sources, Beijing 102206, China; ;
Simulation Platform For Source-Load Control Of Active Power Based On Modular Architecture, Hu Yang, Wenying Liu, Liping Zhu, Li Xiao, Weizhou Wang
Journal of System Simulation
Abstract: The integrated proportion of wind power is increasing year by year, and the source-load coordinated control of active power can effectively improve the level of wind power consumption. In order to ensure the effective application of the strategy, a simulation platform based on modular architecture is developed for source-load control of active power, including SQL Server database, timing control module of data interaction, calculation module of source-load control strategy, and output display module. The simulation platform solves the automatic control of data interaction timing in the process of source-load control, and visualizes the effect of the source-load control, so …
Path Designing Of Multi-Omnidirectional Wheel Collaborative Sorting Platform,
2021
1. School of Electronic Information and Artificial Intelligence, Shaanxi University of Science and Technology, Xi'an 710021, China; ;
Path Designing Of Multi-Omnidirectional Wheel Collaborative Sorting Platform, Li Qi, Wang Wei
Journal of System Simulation
Abstract: Aiming at the problems of low efficiency, high labor cost and low flexibility of traditional logistics sorting system, an automatic logistics sorting system is designed. The improved A* algorithm and the artificial potential field method are used to realize the automatic path planning of the system by taking the transportation path as the research object. The A* algorithm is improved by adjusting the weights of actual cost and estimated cost, and the artificial potential field method is improved by adding virtual sub-target points and adjusting adaptive parameters, so as to complete the function of path planning of goods. Simulation …
Performance Evaluation Method For Load Control System Considering “Two Detailed Rules”,
2021
Automation Department of North China Electric Power University, Baoding 071003, China;
Performance Evaluation Method For Load Control System Considering “Two Detailed Rules”, Yinsong Wang, Wang Kai
Journal of System Simulation
Abstract: With the promulgation of the "two detailed rules" of regional power grid,the requirements by power system thermal power units are more and more strict, and has greatly affected their economic development. In order to combine the performance evaluation theory of multivariable control system with the engineering practice, the covariance index of multivariable control system is improved, and the assessment method of AGC (Automatic Generation Control) is analyzed and summarized. The improved covariance index of load Control system and the economic index based on the "two detailed rules" are proposed, and the comprehensive evaluation of load Control system is made …
Research On Indoor Emergency Evacuation Simulation Of Multi-Exit Based On Social Force Model,
2021
1. School of Economics and Management, China University of Geosciences, Wuhan 430074, China; ;3. School of Management, Xi'an University of Finance and Economics, Xi'an 710100, China;
Research On Indoor Emergency Evacuation Simulation Of Multi-Exit Based On Social Force Model, Haixiang Guo, Zeng Yang, Weiming Chen
Journal of System Simulation
Abstract: With the frequent occurrence of emergencies, how to evacuate dense pedestrians safely from indoor space with limited export is the key and difficult point of emergency evacuation research. Taking a university auditorium as an example to simulate through Anylogic, and the degree of consciousness is introduced to comprehensively reflect the safety education, safety training and familiarity of pedestrians and the expected speed of pedestrians in the primary social force model is improved. To solve the problem of uneven utilization of exports in multi-exit indoor, optimization plans including partition guidance and change the structure of exports are proposed. Simulation results …
A Survey Of Edge Computing Resource Allocation And Task Scheduling Optimization,
2021
Department of Automation, Tsinghua University, Beijing 100084, China;
A Survey Of Edge Computing Resource Allocation And Task Scheduling Optimization, Wang Ling, Chuge Wu, Wenhui Fan
Journal of System Simulation
Abstract: With the rapid development of Internet of Things (IoT) and mobile terminals, the concept of edge computing arises. By moving the computation and storage capacity to the edge of network, edge computing is able to deal with a large amount of data produced by IoT devices and the responsive request from IoT application. To improve the utility of edge resource, the quality of service and quality of user experience, resource allocation and task scheduling optimization problems under edge computing attract wide attention. It becomes more difficult due to the geographic separated and heterogeneous features of edge computing resource as …
