Search

Copyright of Journal of Guangxi Normal University - Natural Science Edition is the property of Gai Kan Bian Wei Hui and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

Copyright of Journal of Southeast University / Dongnan Daxue Xuebao is the property of Journal of Southeast University Editorial Office and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

The shipping industry, which undertakes over 90% of global trade and transportation, has rich digital scenarios. Empowering the shipping industry through smart port construction and integrating ports with virtual–real integration to form a smart port digital base has become an industry consensus. This study defines the smart ports and the virtual – real integration technology system, and analyzes the demand of port operation for virtual – reality integration technology from five aspects: operation planning, activity implementation, equipment operation and maintenance, safety and emergency response, and energy conservation. It also summarizes maps of six virtual – real integration technologies and their application scenarios in smart ports, the technologies being system simulation, extended reality, information-physical system, digital twin, parallel system, and metaverse. After sorting out the development idea and examining scientific issues, a system framework is proposed for the high-quality development of smart ports driven by virtual–real integration technologies, covering the development positioning of technology systems, key technology development directions, and research directions in key fields. Suggestions for development are proposed from the perspectives of deepening application, policy incentives, technological demonstration, and talent cultivation, thereby providing a reference for the engineering application of the virtual–real integration technology system in smart ports.

Copyright of Control Theory & Applications / Kongzhi Lilun Yu Yinyong is the property of Editorial Department of Control Theory & Applications and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

Copyright of Chinese Journal of Intelligent Science & Technology is the property of Beijing Xintong Media Co., Ltd. and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

As it is difficult to describe the malicious software spreading mechanism in Cyber-physical systems (CPS), a spreading dynamics model is proposed, and its dynamic behaviors are analyzed based on the stability theorem and Hopf bifurcation theorem. To control Hopf bifurcations that are caused by the malicious software spreading, a hybrid bifurcation controller combining the parameter adjustment method and state feedback method is designed. The effect of its parameters on the position of Hopf bifurcation point and the amplitude of limit cycle is discussed in detail. The numerical simulation results show that the hybrid bifurcation controller can not only make the Hopf bifurcation occur early or later, but also change the amplitude of the limit cycle. The hybrid bifurcation controller makes CPS generate the expected dynamic behaviors, and effectively reduces the impact of the malicious software. [ABSTRACT FROM AUTHOR]

For wide application of evolution of cyber-physical systems (CPS) in the industry, security has been an important issue. The characters of physical dependence and information driven expose the CPS to the risk of cyber-physical threats. To effectively address the problems, this paper constructed a cyber-physical attacking model based on hierarchical Petri nets. Furthermore, it built a game network model of attack-defense that represents attack-defense game strategies, and analyzed security gaming. Moreover, it adopted the glowworm swarm optimization algorithm to solve the Nash equilibrium issue. Finally, it implemented the security game analysis with the air defense network. Results prove the validity of proposed model. [ABSTRACT FROM AUTHOR]

How to schedule sensor transactions to maintain data validity is an important research topic for cyber physical systems. Previous studies are generally restricted to uni-processor platforms. We therefore propose a sensor transaction scheduling algorithm on multiprocessor platforms. The algorithm appropriately allocates and adjusts the processors，resources for each update instance to satisfy temporal consistency constraints. It calculates the global repeating schedule segment off-line in advance to reduce the runtime overhead. The schedulability analysis of the algorithm is also given. Experimental results show that the proposed algorithm performs well in terms of scheduling success ratio and update workload. [ABSTRACT FROM AUTHOR]

Copyright of Transactions of Beijing Institute of Technology is the property of Beijing University of Technology and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

From the perspective of multi-agent systems, a high-confidence software formal model (HCSFM) of cyber-physical systems (CPS) based on two complementary formalisms, namely Petri nets and π-calculus, is proposed. Petri nets are employed to visualize the architecture and model the behaviors of CPS software, and the structural analysis techniques allow the qualitative analysis of properties that may be proved directly on the structure of Petri nets. π-calculus is used to describe CPS software evolution, including agent joining, exiting, updating, and architecture reconfiguration. The evolving strategy of agents and the consistency of CPS software can also be analyzed using π-calculus. HCSFM will improve the dependability of CPS software. HCSFM is applied to unmanned ground vehicles CPS, which shows that it can effectively describe and analyze the high-confidence software of cyber-physical systems. [ABSTRACT FROM AUTHOR]

Based on the problems of the data distribution mechanism, this paper presented a novel adaptive real-time data distribution mechanism (ARTDDM), which was based on the publish and subscribe architecture. In particular, it focused on two mechanisms of ARTDDM that enable timely and reliable sensor data dissemination under highly unpredictable environments. First, it used the semantics-aware communication mechanism that not only reduced the computation and communication overhead, but also enabled the subscribers to access data in a timely and reliable manner when the network was slow or unstable. Further, it added proactive control and reactive control into the system. This integrated control loop provided quality-of-service guarantees by dynamically adjusting the accuracy of the sensor models. The experimental results show that ARTDDM achieved highly efficient and reliable sensor data dissemination as well as robustness against unpredictable workloads. [ABSTRACT FROM AUTHOR]