检索结果-内蒙古大学图书馆

Improvement of key management mechanism for RSSP-II and its formal modeling and verification 1

4th International Conference on Electrical and Information Technologies for Rail Transportation, EITRT 2019

作者： Lian, Huozhen Ma, Lianchuan Cao, Yuan School of Electronic and Information Engineering Beijing Jiaotong University Beijing China National Engineering Research Center of Rail Transportation Operation and Control System Beijing Jiaotong University Beijing China

ISBN: (数字)9789811529146

ISBN: (纸本)9789811529139

As the RSSP-II protocol has hidden dangers in the management of transport keys and authentication keys, in order to strengthen the safety of the key management of RSSP-II and make the communication between the safety-related entities of the train control system safer and more reliable, an improved scheme is presented in this paper. This scheme adopted the Raft algorithm combined with elliptic curve cryptography and time-triggered mechanism to get all safety-related devices in a certain area of the system to update and consistently share an authentication key in a way that works without key management center and reduces human intervention. Then, the specification language TLA+ is used to model the consensus process, and the TLC model checker is used to verify the properties of the model. The results show that the scheme is feasible, safe and can simultaneously avoid the deadlock problem. At last, the safety analysis shows that the scheme is safe and meets EN50159 standard. © Springer Nature Singapore Pte Ltd. 2020.

关键词： Authentication

来源：评论

学校读者我要写书评

暂无评论

A Robust Mpc Approach with controller Tuning for Close Following Operation of Virtually Coupled Train Set

SSRN

引用

SSRN 2022年

作者： Luo, Xiaolin Tang, Tao Yin, Jiateng Liu, Hongjie School of Electronic and Information Engineering Beijing Jiaotong University Beijing100044 China State Key Laboratory of Rail Traffic Control and Safety Beijing Jiaotong University Beijing100044 China National Engineering Research Center of Rail Transportation Operation and Control System Beijing Jiaotong University Beijing100044 China

Virtual coupling, as an emerging concept in railways, expects successive trains in a virtually coupled train set (VCTS) to maintain a short following distance. However, this close following operation is still difficult to be achieved given uncertain resistances and nonlinear safety constraints. To solve this problem, this paper proposes a robust model predictive control (RMPC) approach for the close following operation of VCTS while satisfying a nonlinear safety constraint with relative braking principle. First, we construct a robust positively invariant set that bounds the tracking errors caused by uncertain resistances. Further, a semi-definite program-based controller tuning algorithm is proposed to reduce the following distance in the premise of the tightened constraint for robustly satisfying the nonlinear safety constraint. Then, by mathematically examining the future trajectories of successive trains, we create a terminal constraint set to ensure the recursive feasibility of the proposed RMPC. This closed-loop property guarantees the satisfaction of the safety constraint in any situation, even in the case of sudden deceleration of VCTS. Finally, numerical experiments are conducted to evaluate the following distance with respect to heterogeneous trains and verify the effectiveness of our approach. Experimental results demonstrate that the expected close following operation can be achieved while robustly satisfying the nonlinear safety constraint with uncertain resistances. Moreover, our approach further reduces the following distance in a VCTS by over 5\%, compared with existing research. © 2022, The Authors. All rights reserved.

关键词： Model predictive control

来源：评论

学校读者我要写书评

暂无评论

A Computationally Efficient Target Localization Algorithm in Underwater Wireless Sensor Networks

A Computationally Efficient Target Localization Algorithm in...

引用

International Conference on Computers, Communications, and systems (ICCCS)

作者： Xiaojun Mei Huafeng Wu Dezhi Han Xinqiang Chen Jiangfeng Xian Bing Han College of Information Engineering Shanghai Maritime University National Engineering Research Center of Ship & Shipping Control System Shanghai Ship and Shipping Research Institute Co. Ltd Shanghai China Merchant Marine College Shanghai Maritime University Shanghai China Institute of Logistics Science and Engineering Shanghai Maritime University Shanghai China Hubei Key Laboratory of Inland Shipping Technology Wuhan University of Technology Wuhan China

Localization is of paramount importance for underwater wireless sensor networks (UWSNs). However, achieving accurate location is infeasible, especially in the highly dynamic underwater environment. The acoustic signal may suffer hybrid loss, including path and absorption loss, which dramatically degrades the localization accuracy. Even though some localization methods have been proposed, the trade-off between accuracy and computational complexity cannot be well balanced. In this context, the paper proposes a computationally efficient method that investigates the localization problem in the alternating nonnegative constrained least squares (ANCLS) framework after linearization operation. The potential solutions are divided into two groups, wherein the optimal one is filtered under the constraint by exchanging the variables from one to another. A block principal pivoting-based localization (BPPL) method is then presented to estimate the target's location. Simulations reveal that the computational complexity and the localization accuracy of BPPL are competitive compared with the state-of-the-art methods in different scenarios.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Can Digital Intelligence and Cyber-Physical-Social systems Achieve Global Food Security and Sustainability?

引用

IEEE/CAA Journal of Automatica Sinica 2023年第11期10卷 2070-2080页

作者： Yanfen Wang Mengzhen Kang Yali Liu Juanjuan Li Kai Xue Xiujuan Wang Jianqing Du Yonglin Tian Qinghua Ni Fei-Yue Wang College of Resources and Environment University of Chinese Academy of SciencesBeijing 100049 Beijing Yanshan Earth Critical Zone National Research Station University of Chinese Academy of SciencesBeijing 101408 State Key Laboratory of Tibetan Plateau Earth System Environment and ResourcesInstitute of Tibetan Plateau ResearchChinese Academy of SciencesBeijing 100101China State Key Laboratory of Multimodal Artificial Intelligence Systems Institute of AutomationChinese Academy of Sciences(CASIA)Beijing 100190 School of Artificial Intelligence University of Chinese Academy of SciencesBeijing 100049China School of Grassland Science Beijing Forestry UniversityBeijing 100083China State Key Laboratory of Multimodal Artificial Intelligence Systems Institute of AutomationChinese Academy of SciencesBeijing 100190China State Key Laboratory of Plateau Ecology and Agriculture Qinghai UniversityXining 810016 Key Laboratory of Adaptation and Evolution of Plateau Biota Northwest Institute of Plateau BiologyChinese Academy of SciencesXining 810001 Binzhou Institute of Technology Weiqiao-UCAS Science and Technology ParkBinzhou 256606China Beijing Yanshan Earth Critical Zone National Research Station University of Chinese Academy of SciencesBeijing 101408China Department of Engineering Science Faculty of Innovation EngineeringMacao University of Science and TechnologyMacao 999078 State Key Laboratory of Multimodal Artificial Intelligence Systems Institute of AutomationChinese Academy of Sciences(CASIA)Beijing 100190China Faculty of Innovation Engineering Macao University of Science and TechnologyMacao 999078 Beijing Engineering Research Center of Intelligent Systems and Technology Chinese Academy of SciencesBeijing 100098 State Key Laboratory for Management and Control of Complex Systems Chinese Academy of SciencesBeijing 100190China IEEE

Plants sequester carbon through photosynthesis and provide primary productivity for the ecosystem. However, they also simultaneously consume water through transpiration, leading to a carbon-water balance relationship. Agricultural production can be regarded as a form of carbon sequestration *** the perspective of the natural-social-economic complex ecosystem, excessive water usage in food production will aggravate regional water pressure for both domestic and industrial purposes. Hence, achieving a harmonious equilibrium between carbon and water resources during the food production process is a key scientific challenge for ensuring food security and sustainability. Digital intelligence(DI) and cyber-physical-social systems(CPSS) are emerging as the new research paradigms that are causing a substantial shift in the conventional thinking and methodologies across various scientific fields, including ecological science and sustainability studies. This paper outlines our recent efforts in using advanced technologies such as big data, artificial intelligence(AI), digital twins, metaverses, and parallel intelligence to model, analyze, and manage the intricate dynamics and equilibrium among plants, carbon, and water in arid and semiarid ecosystems. It introduces the concept of the carbon-water balance and explores its management at three levels: the individual plant level, the community level, and the natural-social-economic complex ecosystem level. Additionally, we elucidate the significance of agricultural foundation models as fundamental technologies within this context. A case analysis of water usage shows that, given the limited availability of water resources in the context of the carbon-water balance, regional collaboration and optimized allocation have the potential to enhance the utilization efficiency of water resources in the river basin. A suggested approach is to consider the river basin as a unified entity and coordinate the relationship between the

关键词： Carbon-water balance decision-support digital intelligence(DI) foundation models planning

来源：评论

学校读者我要写书评

暂无评论

Design Method of Fuzzy controller for Speed control of Heavy-haul Train 4th

Design Method of Fuzzy Controller for Speed Control of Heavy...

引用

4th International Conference on Electrical and Information Technologies for Rail Transportation, EITRT 2019

作者： Dong, Jiao Huang, Youneng Yu, Huazhen School of Electronic and Information Engineering Beijing Jiaotong University Beijing China National Engineering Research Center of Rail Transportation Operation and Control System Beijing Jiaotong University Beijing China

ISBN: (纸本)9789811528613

The state of heavy-haul train in operation is variable because of some constraints, such as train weight, marshaling length, neutral section and so on;therefore, it is difficult for drivers to ensure the safety of train. To solve this problem, a design method of fuzzy controller is proposed to control the operation of heavy-haul train on gentle section. This method focuses on the structural characteristics of heavy-haul train and studies the influence of neutral section and line condition on train speed. Then, based on control theories and on-site driver’s experience, a fuzzy PID controller is designed to better adapt to the changes of system parameters during train operation. Finally, the performance of controller is verified by simulation based on the actual line data and train marshaling information. The results prove that the controller is feasible and can control the heavy-haul train to run more securely and placidly. © Springer Nature Singapore Pte Ltd. 2020.

关键词： controllers

来源：评论

学校读者我要写书评

暂无评论

End-to-end communication delay analysis of next-generation train control system based on cloud computing 1

引用

4th International Conference on Electrical and Information Technologies for Rail Transportation, EITRT 2019

作者： Wen, Jiakun Ma, Lianchuan Cao, Yuan School of Electronic and Information Engineering Beijing Jiaotong University Beijing China National Engineering Research Center of Rail Transportation Operation and Control System Beijing Jiaotong University Beijing China

ISBN: (数字)9789811529146

ISBN: (纸本)9789811529139

The communication system of the next-generation train control system (TCS) based on cloud computing is modeled in this paper. The end-to-end communication delay is analyzed as the main factor affecting the real-time performance of the system. To improve this performance, a time-sensitive network (TSN) is introduced into the system. We analyze and simulate the end-to-end communication delay of systems with the TSN and compare it with traditional Ethernet. It is concluded that applying a TSN, based on the nw-DRR scheduling algorithm and with optimized parameters, can significantly reduce the end-to-end communication delay decreases from tens of milliseconds to milliseconds. © Springer Nature Singapore Pte Ltd. 2020.

关键词： Cloud computing

来源：评论

学校读者我要写书评

暂无评论

A SINS Error Correction Approach Based on Dual-Threshold ZV Detection and Cubature Kalman Filter

A SINS Error Correction Approach Based on Dual-Threshold ZV ...

引用

IEEE International Conference on systems, Man and Cybernetics

作者： Ruijie Xu Shichao Chen Wenqiao Sun Yisheng Lv Jialiang Luo Ying Tang The State Key Laboratory for Management and Control of Complex System State Key Laboratory of Multimodal Artificial Intelligence Systems Institute of Automation Chinese Academy of Sciences College of Information Science & Technology Beijing University of Chemical Technology Beijing China The State Key Laboratory for Management and Control of Complex System State Key Laboratory of Multimodal Artificial Intelligence Systems The Center of National Railway Intelligent Transportation System Engineering and Technology Institute of Automation Chinese Academy of Sciences China Academy of Railway Sciences Corporation Limited Beijing China China Academy of Railway Sciences Corporation Limited Transportation and Economics Research Institute and the Center of National Railway Intelligent Transportation System Engineering and Technology Beijing China The State Key Laboratory for Management and Control of Complex System State Key Laboratory of Multimodal Artificial Intelligence Systems Institute of Automation Chinese Academy of Sciences Beijing China The State Key Laboratory for Management and Control of Complex System State Key Laboratory of Multimodal Artificial Intelligence Systems Institute of Automation Chinese Academy of Sciences School of Information Engineering China University of Geosciences Beijing Beijing China Department of Electrical and Computer Engineering Rowan University Glassboro USA

Global Navigation Satellite systems (GNSS) can provide real-time positioning information for outdoor users, but cannot for indoor scenarios or heavily occluded outdoor scenarios. Strap-down Inertial Navigation system (SINS) are widely used to locate people in complex interior or heavily occluded outdoor scenarios due to its light weight and low power consumption. However, IMU of SINS are noisy, and the sampling data error is large, which is a divergence of the error with time. Therefore, it will generate a positioning accumulation error, which affects the final positioning accuracy. The problem of cumulative IMU errors is usually dealt with by Zero-Velocity Update (ZUPT). The zero-velocity detection part of basic ZUPT method usually uses a single threshold to determine the gait of pedestrian, which often has the problem of gait misjudgment and omission. To address these problems, this paper proposes a composite conditional detection method to solve the problem of misjudgment in the zero-velocity interval. In addition, we redesign the zero-velocity update algorithm and uses the Cubature Kalman filter (CKF) for pedestrian positioning error correction. The experimental results demonstrate that the proposed ZUPT method based on dual-threshold detection can better detect the interval between pedestrian motion and stationery than ones with single threshold. The zero-velocity update algorithm based on CKF has higher performance than conventional EKF and UKF methods, which constrains the cumulative error of SINS to about 0.2% of the whole walking distance.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A 4-Channel Ultrafast Wavelength-Swept REC-DFB Laser Array for Fiber Bragg Grating Interrogation

A 4-Channel Ultrafast Wavelength-Swept REC-DFB Laser Array f...

引用

Asia Communications and Photonics Conference and Exhibition (ACP)

作者： Lingxin Meng Pan Dai Qilu Ban Kaichuan Xu Jiacheng Wang Zhen Li Feng Wang Jie Zeng Shaobo Li Xiang Ma Xiangfei Chen Key Laboratory of Intelligent Optical Sensing and Manipulation of the Ministry of Education & Engineering National Laboratory of Solid State Microstructures Research Center of Precision Photonics Integration and System Application of the Ministry of Education College of Engineering and Applied Sciences Nanjing University Nanjing China State Key Laboratory of Mechanics and Control for Aerospace Structures Nanjing University of Aeronautics and Astronautics Nanjing China Optical Communication Research and Development Center the 54th Research Institute of China Electronics Technology Group Corporation Shijiazhuang China

We present a four-channel ultrafast wavelength-swept distributed feedback (DFB) semiconductor laser array based on the reconstruction-equivalent-chirp (REC) technique using instantaneous injection current modulation. With the aid of our designed laser driving circuit system consists of the microcontroller unit (MCU), field-programmable gate array (FPGA) and negative metal-oxide-semiconductor field effect transistors (n-MOSFETs), the precise pulse driving current for the 4-channel wavelength-swept REC-DFB laser array can be generated and a fast tuning of 16.424 nm within 10 μs is achieved. To further investigate the tuning performance of the proposed wavelength-swept laser source, we then applied it to the fiber Bragg grating (FBG) interrogation system and four FBG temperature sensor arrays were successfully demodulated. The development of high-efficient optical sensing systems heavily relies on the significance of the ultrafast wavelength-swept laser source, which has the potential to greatly enhance FBG interrogator performance in the future.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Distributed MPC Algorithm for Linear Discrete systems with Communication Noise

Distributed MPC Algorithm for Linear Discrete Systems with C...

引用

第40届中国控制会议

作者： Duqiao Zhao Ding Liu Linxiong Liu Xia Zhang National & Local Joint Engineering Research Center of Crystal Growth Equipment and System Integration Xian University of Technology Shaanxi Key Laboratory of Complex System Control and Intelligent Information Processing

In this paper, a distributed MPC algorithm is proposed for linear discrete systems with bounded communication noise and random communication failure. Based on the characteristics of time-varying directed graphs, the convergence of the algorithm is analyzed in the case of communication noise and random communication failure. This algorithm uses the distributed projection dual subgradient algorithm to solve the dual problem and replaces the double stochastic condition of the traditional algorithm with row stochastic condition. The exponential stability of the system is guaranteed. Finally, an example is given to illustrate the performance of the algorithm.

关键词： Distributed MPC Bounded Communication Noise Random Communication Faults Distributed Projection Dual Subgradient Row Stochastic

来源：评论

学校读者我要写书评

暂无评论

Non-Fourier Heat Conduction based on Self-Adaptive Weight Physics-Informed Neural Networks

Non-Fourier Heat Conduction based on Self-Adaptive Weight Ph...

引用

第40届中国控制会议

作者： Shuyan Shi Ding Liu Zhongdan Zhao National & Local Joint Engineering Research Center of Crystal Growth Equipment and System Integration Xi'an University of Technology Shananxi Key Laboratory of Complex System Control and Intelligent Information Processing

This paper establishes the non-Fourier heat conduction model to describe the heat transfer process of mono-crystalline silicon under the condition of unstable thermal field and thermal shock in the Czochralski method.A novel differential equations solver called Physics-Informed Neural Networks（PINN） algorithm was *** with finite element method（FEM）,this method has some advantages like no grid requirement and easily *** order to deal with the unbalance of constraint condition and speed up the convergence,we propose a novel method called Self-Adaptive Weight Physics-Informed Neural Networks（SWPINN）.The comparison of the experimental results of SWPINN and COMSOL verifies the effectiveness of *** modifying the parameter of non-Fourier heat conduction model,this paper obtains the temperature distribution under different heat relaxation ***,comparison between SWPINN and PINN shows that the proposed method has faster convergence speed and higher accuracy.

关键词： Non-Fourier Heat Conduction Physics-Informed Neural Networks Partial Differential Equation Monocrystalline Silicon Czochralski Method

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：