智能化信息物理系统中非确定性的分类研究  

Taxonomy of Uncertainty Factors in Intelligence-oriented Cyber-physical Systems

作　　者：杨文华 许畅[3,4] 叶海波[1] 周宇 黄志球[1] YANG Wen-hua;XU Chang;YE Hai-bo;ZHOU Yu;HUANG Zhi-qiu(College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 211106,China;Key Laboratory of Safety-Critical Software(Nanjing University of Aeronautics and Astronautics),Ministry of Industry and Information Technology,Nanjing 211106,China;State Key Laboratory for Novel Software Technology,Nanjing University,Nanjing 210023,China;Department of Computer Science and Technology,Nanjing University,Nanjing 210023,China)

机构地区：[1]南京航空航天大学计算机科学与技术学院,南京211106 [2]高安全系统的软件开发与验证技术工信部重点实验室(南京航空航天大学),南京211106 [3]南京大学计算机软件新技术国家重点实验室,南京210023 [4]南京大学计算机科学与技术系,南京210023

出　　处：《计算机科学》2020年第3期11-18,共8页Computer Science

基　　金：国家重点研发计划项目(2017YFB1001801);国家自然科学基金(61802179,61932021,61972197);南京大学计算机软件新技术国家重点实验室开放课题(KFKT2018B02);江苏省“青蓝工程”项目~~

摘　　要：信息物理系统呈现出日趋智能化的特征,而非确定性又是系统中普遍且固有的特性。例如,系统通过传感器感知环境时,会不可避免地存在误差。非确定性若未被妥当处理,往往会影响系统的正确运行,并带来一系列的问题。因此,对信息物理系统中的非确定性进行处理是至关重要的,也是促进信息物理系统进一步智能化的关键。对非确定性进行处理的前提是需要对其有充分的理解和认识,然而现有工作对信息物理系统中非确定性的研究尚处于探索阶段。针对这一问题,研究了信息物理系统中的非确定性分类。具体而言,根据信息物理系统中被广泛认可的5C技术架构对非确定性进行了分类,详细介绍了该架构每一层次上可能存在的非确定性,并结合典型的信息物理系统应用进行了举例说明;同时,总结了当前的相关研究工作,并展望了未来信息物理系统在应对非确定性方面的智能化研究方向。Cyber-physical systems are increasingly presenting the characteristic of intelligence,while uncertainty is pervasive and intrinsic in them,e.g.,the sensors contain inevitable errors when the systems sense the environment through them.If the uncertainty is not properly handled,it will affect the correct running of the systems and bring a series of problems.Therefore,it is critical to study how to deal with uncertainty in cyber-physical systems.The premise of handling uncertainty is that we first need to understand and recognize it comprehensively.However,the existing work on the uncertainty of cyber-physical systems is still in its infancy.To address this issue,this paper studied the taxonomy of uncertainty in cyber-physical systems.Specifically,this paper classified the uncertainty based on the widely recognized 5C technology architecture in cyber-physical systems and introduced the possible uncertainties at each level of the technology architecture with illustrating examples in typical cyber-physical systems.Meanwhile,to help understand the current research status of uncertainty handling in the field of cyber-physical systems,this paper summarized the current research work and presented an outlook of future research directions for intelligence-oriented cyber-physical systems.

关 键 词：信息物理系统 智能化 非确定性 分类 5C架构 非确定性处理 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]