计算机科学 ›› 2020, Vol. 47 ›› Issue (3): 11-18.doi: 10.11896/jsjkx.191100052
所属专题: 智能软件工程
杨文华1,2,3,许畅3,4,叶海波1,周宇1,黄志球1
YANG Wen-hua1,2,3,XU Chang3,4,YE Hai-bo1,ZHOU Yu1,HUANG Zhi-qiu1
摘要: 信息物理系统呈现出日趋智能化的特征,而非确定性又是系统中普遍且固有的特性。例如,系统通过传感器感知环境时,会不可避免地存在误差。非确定性若未被妥当处理,往往会影响系统的正确运行,并带来一系列的问题。因此,对信息物理系统中的非确定性进行处理是至关重要的,也是促进信息物理系统进一步智能化的关键。对非确定性进行处理的前提是需要对其有充分的理解和认识,然而现有工作对信息物理系统中非确定性的研究尚处于探索阶段。针对这一问题,研究了信息物理系统中的非确定性分类。具体而言,根据信息物理系统中被广泛认可的5C技术架构对非确定性进行了分类,详细介绍了该架构每一层次上可能存在的非确定性,并结合典型的信息物理系统应用进行了举例说明;同时,总结了当前的相关研究工作,并展望了未来信息物理系统在应对非确定性方面的智能化研究方向。
中图分类号:
[1]MITRA S,WONGPIROMSARN T,MURRAY R M.Verifying cyber-physical interactions in safety-critical systems[J].IEEE Security & Privacy,2013,11(4):28-37. [2]ELBAUM S,ROSENBLUM D S.Known unknowns:testing in the presence of uncertainty[C]∥Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2014.New York,USA:ACM Press,2014. [3]WANG X,HOVAKIMYAN N,SHA L.L1Simplex:fault-tolerant control of cyber-physical systems[C]∥2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).IEEE,2013:41-50. [4]ZHANG M,SELIC B,ALI S,et al.Understanding uncertainty in cyber-physical systems:A conceptual model[M]∥Modelling Foundations and Applications.Cham:Springer International Publishing,2016:247-264. [5]YANG W H,XU C,PAN M X,et al.Improving verification accuracy of CPS by modeling and calibrating interaction uncertainty[J].ACM Transactions on Internet Technology,2018,18(2):1-37. [6]WOLF W.News briefs[J].Computer,2007,40(11):104-105. [7]LEE E A.Cyber physical systems:design challenges[C]∥2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).IEEE,2008:363-369. [8]BAHETI R,GILL H.Cyber-physical systems[J].The Impact of Control Technology,2011,12(1):161-166. [9]LEE J,BAGHERI B,KAO H G.A Cyber-Physical Systems architecture for Industry 4.0-based manufacturing systems[J].Manufacturing Letters,2015,3:18-23. [10]LEE I,SOKOLSKY O.Medical cyber physical systems[C]∥ Proceedings of the 47th Design Automation Conference on - DAC ’10.New York,USA:ACM Press,2010:743-748. [11]DEKA L,KHAN S M,CHOWDHURY M,et al.Transportation Cyber-Physical System and its importance for future mobility[M]∥Transportation Cyber-Physical Systems.Elsevier,2018:1-20. [12]DO Q,MARTINI B,CHOO K K,et al.Cyber-physical systems information gathering:a smart home case study[J].Computer Networks,2018,138:1-12. [13]BU L,XIONG W,LIANG C J M,et al.Systematically ensuring the confidence of real-time home automation IoT systems[J].ACM Transactions on Cyber-Physical Systems,2018,2(3):1-23. [14]NICODANO G.The Economics of Uncertainty and Information by J.-J.Laffont[J].Giornale Degli Economisti E Annali Di Economia,1989,48(3/4):183-184. [15]GILBOA I,POSTLEWAITE A W,SCHMEIDLER D.Probabili- ty and uncertainty in economic modeling[J].Journal of Economic Perspectives,2008,22(3):173-188. [16]TAYLOR B N.Guidelines for evaluating and expressing the uncertainty of NIST measurement results[R].National Bureau of Standards,1994. [17]TVERSKY A,KAHNEMAN D.Judgment under uncertainty:heuristics and biases[M]∥Uncertainty in Economics.Elsevier,1978:17-34. [18]AUGHENBAUGH J M.Managing uncertainty in engineering design using imprecise probabilities and principles of information economics[D].Georgia Institute of Technology,2006. [19]ESFAHANI N,KOUROSHFAR E,MALEK S.Taming uncertainty in self-adaptive software[C]∥Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering(SIGSOFT/FSE’11).New York,USA:ACM Press,2011:234-244. [20]RAMIREZ A J,JENSEN A C,CHENG B H C.A taxonomy of uncertainty for dynamically adaptive systems[C]∥2012 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).IEEE,2012:99-108. [21]Networking and Information Technology Research and Development Program.High-Confidence Medical Devices:Cyber-Physical Systems for 21st Century Health Care [OL].http://www.nitrd.gov/About/MedDevice-FINAL1-web.pdf. [22]Faulty sensor led to Boeing 737 Max crash [OL].https:// www.latimes.com/business/la-fi-ethiopian- airlines- crash- report-20190404-story.html. [23]AIEN M,HAJEBRAHIMI A,FOTUHI-FIRUZABAD M.A comprehensive review on uncertainty modeling techniques in power system studies[J].Renewable and Sustainable Energy Reviews,2016,57:1077-1089. [24]MUCCINI H,SHARAF M,WEYNS D.Self-adaptation for cy- ber-physical systems[C]∥Proceedings of the 11th International Workshop on Software Engineering for Adaptive and Self-Managing Systems(SEAMS’16).New York,USA:ACM Press,2016:75-81. [25]BURES T,KNAUSS A,PATEL P,et al.Software engineering for smart cyber-physical systems[J].ACM SIGSOFT Software Engineering Notes,2017,42(2):19-24. [26]CHENG B H C,SAWYER P,BENCOMO N,et al.A goal-based modeling approach to develop requirements of an adaptive system with environmental uncertainty[M]∥Model Driven Engineering Languages and Systems.Berlin:Springer,2009:468-483. [27]AHMAD M,GNAHO C,BRUEL J M,et al.How to handle en- vironmental uncertainty in goal-based requirements engineering[C]∥Proceedings of the 40th International Conference on Software Engineering Companion Proceeedings(ICSE’18).New York,USA:ACM Press,2018:368-369. [28]YANG W H,XU C,LIU Y P,et al.Verifying self-adaptive applications suffering uncertainty[C]∥Proceedings of the 29th ACM/IEEE international conference on Automated software engineering(ASE’14).New York,USA:ACM Press,2014:199-210. [29]LIU B D.Uncertainty theory[M]∥Uncertainty Theory.Berlin: Springer,2010:1-79. [30]ZHU Q Y,BASAR T.Robust and resilient control design for cyber-physical systems with an application to power systems[C]∥IEEE Conference on Decision and Control and European Control Conference.IEEE,2011:4066-4071. [31]MORENO G A,CÁMARA J,GARLAN D,et al.Proactive self-adaptation under uncertainty:a probabilistic model checking approach[C]∥Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering(ESEC/FSE 2015).New York,USA:ACM Press,2015:1-12. [32]CRENSHAW T L,GUNTER E,ROBINSON C L,et al.The simplex reference model:limiting fault-propagation due to unreliable components in cyber-physical system architectures[C]∥28th IEEE International Real-Time Systems Symposium (RTSS 2007).IEEE,2007. [33]ALI S,YUE T.U-test:evolving,modelling and testing realistic uncertain behaviours of cyber-physical systems[C]∥2015 IEEE 8th International Conference on Software Testing,Verification and Validation (ICST).IEEE,2015:1-2. [34]ZHANG M,ALI S,YUE T,et al.Uncertainty-wise evolution of test ready models[J].Information and Software Technology,2017,87:140-159. |
[1] | 陈志强, 韩萌, 李慕航, 武红鑫, 张喜龙. 数据流概念漂移处理方法研究综述 Survey of Concept Drift Handling Methods in Data Streams 计算机科学, 2022, 49(9): 14-32. https://doi.org/10.11896/jsjkx.210700112 |
[2] | 周旭, 钱胜胜, 李章明, 方全, 徐常胜. 基于对偶变分多模态注意力网络的不完备社会事件分类方法 Dual Variational Multi-modal Attention Network for Incomplete Social Event Classification 计算机科学, 2022, 49(9): 132-138. https://doi.org/10.11896/jsjkx.220600022 |
[3] | 郝志荣, 陈龙, 黄嘉成. 面向文本分类的类别区分式通用对抗攻击方法 Class Discriminative Universal Adversarial Attack for Text Classification 计算机科学, 2022, 49(8): 323-329. https://doi.org/10.11896/jsjkx.220200077 |
[4] | 武红鑫, 韩萌, 陈志强, 张喜龙, 李慕航. 监督和半监督学习下的多标签分类综述 Survey of Multi-label Classification Based on Supervised and Semi-supervised Learning 计算机科学, 2022, 49(8): 12-25. https://doi.org/10.11896/jsjkx.210700111 |
[5] | 檀莹莹, 王俊丽, 张超波. 基于图卷积神经网络的文本分类方法研究综述 Review of Text Classification Methods Based on Graph Convolutional Network 计算机科学, 2022, 49(8): 205-216. https://doi.org/10.11896/jsjkx.210800064 |
[6] | 闫佳丹, 贾彩燕. 基于双图神经网络信息融合的文本分类方法 Text Classification Method Based on Information Fusion of Dual-graph Neural Network 计算机科学, 2022, 49(8): 230-236. https://doi.org/10.11896/jsjkx.210600042 |
[7] | 高振卓, 王志海, 刘海洋. 嵌入典型时间序列特征的随机Shapelet森林算法 Random Shapelet Forest Algorithm Embedded with Canonical Time Series Features 计算机科学, 2022, 49(7): 40-49. https://doi.org/10.11896/jsjkx.210700226 |
[8] | 杨炳新, 郭艳蓉, 郝世杰, 洪日昌. 基于数据增广和模型集成策略的图神经网络在抑郁症识别上的应用 Application of Graph Neural Network Based on Data Augmentation and Model Ensemble in Depression Recognition 计算机科学, 2022, 49(7): 57-63. https://doi.org/10.11896/jsjkx.210800070 |
[9] | 张洪博, 董力嘉, 潘玉彪, 萧宗志, 张惠臻, 杜吉祥. 视频理解中的动作质量评估方法综述 Survey on Action Quality Assessment Methods in Video Understanding 计算机科学, 2022, 49(7): 79-88. https://doi.org/10.11896/jsjkx.210600028 |
[10] | 刘丽, 李仁发. 医疗CPS协作网络控制策略优化 Control Strategy Optimization of Medical CPS Cooperative Network 计算机科学, 2022, 49(6A): 39-43. https://doi.org/10.11896/jsjkx.210300230 |
[11] | 杜丽君, 唐玺璐, 周娇, 陈玉兰, 程建. 基于注意力机制和多任务学习的阿尔茨海默症分类 Alzheimer's Disease Classification Method Based on Attention Mechanism and Multi-task Learning 计算机科学, 2022, 49(6A): 60-65. https://doi.org/10.11896/jsjkx.201200072 |
[12] | 李小伟, 舒辉, 光焱, 翟懿, 杨资集. 自然语言处理在简历分析中的应用研究综述 Survey of the Application of Natural Language Processing for Resume Analysis 计算机科学, 2022, 49(6A): 66-73. https://doi.org/10.11896/jsjkx.210600134 |
[13] | 邓凯, 杨频, 李益洲, 杨星, 曾凡瑞, 张振毓. 一种可快速迁移的领域知识图谱构建方法 Fast and Transmissible Domain Knowledge Graph Construction Method 计算机科学, 2022, 49(6A): 100-108. https://doi.org/10.11896/jsjkx.210900018 |
[14] | 黄少滨, 孙雪薇, 李熔盛. 基于跨句上下文信息的神经网络关系分类方法 Relation Classification Method Based on Cross-sentence Contextual Information for Neural Network 计算机科学, 2022, 49(6A): 119-124. https://doi.org/10.11896/jsjkx.210600150 |
[15] | 林夕, 陈孜卓, 王中卿. 基于不平衡数据与集成学习的属性级情感分类 Aspect-level Sentiment Classification Based on Imbalanced Data and Ensemble Learning 计算机科学, 2022, 49(6A): 144-149. https://doi.org/10.11896/jsjkx.210500205 |
|