1 摘要 基于人工智能(又称 AI)的控制器在信息物理系统(CPS)中被广泛应用以完成复杂的控制任务,因而在过去几年中受到了广泛关注。然而,保证配备此类(未经认证的)控制器的 CPS 的安全性和可靠性目前非常具有挑战性,这在实际许多安全关键应用中至关重要。为了解决这一困难,我们提出了一种 Safe-visor 架构,用于在随机 CPS 中对基于 AI 的控制器进行沙盒处理。所提出的框架包含(i)一个基于历史的监控器,它检查来自基于 AI 的控制器的输入并在系统的功能性和安全性之间做出妥协,以及(ii)一个安全顾问,当基于 AI 的控制器危及系统的安全时提供后备。通过采用这种架构,我们为可以用确定性有限自动机(DFA)的接受语言表示的那些类别的安全规范的满足提供了正式的概率保证,而基于人工智能的控制器虽然不可靠,但仍可以在控制回路中使用。
• 莫一林,清华大学教员 • Sean Weerakkody,约翰霍普金斯大学应用物理实验室 • 刘晓飞,领英 • Nicola Forti,意大利拉斯佩齐亚北约海洋研究与实验中心 (CMRE) • Walter Lucia,蒙特利尔康考迪亚大学教员 • Omur Ozel,乔治华盛顿大学教员 • Raffaele Romagnoli,卡内基梅隆大学博士后 • Paul Griffioen,卡内基梅隆大学博士生 • Carmel Fiscko,卡内基梅隆大学博士生 • Rohan Chabukshwar,爱尔兰 UTRC • Mehdi Hosseinzadeh,华盛顿大学圣路易斯分校博士后 • Bahram Yaghooti,华盛顿大学圣路易斯分校博士生 • Jonathan Gornet,华盛顿大学圣路易斯分校博士生
Electronica, Automatica”,布加勒斯特,27,3,页 107-110,(1983 年) Rns - CNCSIS 认可的全国发行的专业杂志。 Rno——其他在全国发行的专业杂志。 VisI - 在国内外组织的公认的国际科学事件卷,已编入 ISI 索引 VisB - 在国内外组织的公认的国际科学事件卷,已编入该领域的国际数据库 - BDI 索引,该数据库根据绩效标准执行选择出版物的过程。 Vi- 在国内外组织的公认的国际科学活动的卷宗; Vn——国家科学事件卷。 Vi:国内外公认的国际科学事件刊物上发表的文章列表(17 个 ISI 索引)Vi1。 VA Loiko、A. Konkolovich、A. Minskievich、D. Manaila-Maximean、O. Danila、V. Circu、A. Barar,“掺杂碳纳米管的聚合物分散液晶膜的光透射”,第十一届国际科学会议“凝聚态介质中的富勒烯和纳米结构”,2020 年 11 月 24-26 日,白俄罗斯明斯克,卷 proc。 P.110,ISBN 978-985-7138-17-3,俄文。 Vi2。 Doina Mănăilă-Maximean、Paul Ganea、Valery A. Loiko、Alexander V. Konkolovich、Viorel Cîrcu、Octavian Danila、Ana Bărar,“掺杂纳米粒子的聚合物分散液晶:电和电光特性”(受邀),SPIE 会议 ATOM-N,罗马尼亚康斯坦察,2020 年 8 月 20 日至 23 日,会议录第 11718 卷,光电子学、微电子学和纳米技术的高级主题 X; 117182R (2020) DOI:10.1117/12.2572104 Vi3。 Theodora A. Ilincă、Doina Manaila-Maximean、Paul C. Ganea、Iuliana Pasuk、Viorel Cîrcu,“基于 4-吡啶酮配体的新型镧系元素介晶的极化发射和介电研究”,SPIE 会议 ATOM-N,罗马尼亚康斯坦察,2020 年 8 月 20 日至 23 日会议记录第 11718 卷,光电子学、微电子学和纳米技术的高级主题 X; 117182U (2020),DOI:10.1117/12.2572109 Vi4。 Ligia Frunza、V. Florin Cotorobai、Monica Enculescu、Irina Zgura、C. Paul Ganea、Maria Birzu、Doina Mănăilă-Maximean,“罗丹明 B 溶液在羊毛基质上的吸附、芯吸行为和光降解测试”,SPIE 会议 ATOM-N,罗马尼亚康斯坦察,2020 年 8 月 20 日至 23 日,会议录第 11718 卷,光电子学、微电子学和纳米技术的高级主题 X; 117182W(2020),DOI:10.1117/12.2572130 Vi5。 A. Bărar、O. Dănilă、D. Mănăilă-Maximean、VA Loiko,2019 年 9 月。 “通过偏振平面旋转控制可调液晶/超材料结构中的主动光谱吸收”。在纳米技术和生物医学工程国际会议上(第 299-303 页)。 Springer,Cham.,DOI:10.1007/978-3-030-31866-6_58,WOS:000552314200058 Vi6。 D. Manaila Maximean、A. Barar、CP Ganea、PLAlmeida, O. Dănilă,2019 年 1 月。“液晶羟丙基纤维素网络复合材料的阻抗谱和电光切换时间”。光电子学、微电子学和纳米技术高级主题 IX(第 10977 卷,第 109770P 页)。国际光学和光子学学会。(6 页),WOS:000458717900024
摘要:本研究探索了基于数字孪生的方法和方法的潜力,旨在通过使用集成物联网、人工智能和机器学习的三维数据模型,实现住宅区能源管理的智能优化和自动化系统。案例研究集中在罗马的 Rinascimento III,该地区由 16 栋八层建筑组成,共有 216 个公寓单元,70% 的能源来自可再生能源。综合动态分析算法的结合使用,可以评估不同的能源效率干预方案,旨在实现综合体的良性能源管理,保持实际的内部舒适度和气候条件。同时,目标还在于规划和部署具有成本效益的 IT(信息技术)基础设施,该基础设施能够使用边缘计算范式提供可靠的数据。因此,所开发的方法论可以评估太阳能可再生能源综合生产的有效性和效率,从而提高自产能源的门槛,满足 nZEB(近零能耗建筑)的要求。
这里展示的是三种岩石行星的版本,它们内部放射性元素产生的热量不同。中间的行星与地球类似,具有板块构造和内部发电机产生磁场。顶部的行星具有更多的放射性热量,有极端的火山活动,但没有发电机或磁场。底部的行星放射性热量较少,在地质上是“死”的,没有火山活动。(插图由梅丽莎·韦斯绘制)。
摘要:本研究提出了一个智能半自主人机物理系统 (HCPS) 的新概念,用于在工业 5.0 技术背景下操作未来的风力涡轮机。下一代风力涡轮机的复杂性呈指数级增长,需要人工智能 (AI) 来高效、一致地操作机器。当前的工业 4.0 数字孪生技术不再只是人类决策过程的唯一辅助工具,而是通过机器学习对 AI 进行高效训练,使所提系统中的数字孪生成为可能。人类智能 (HI) 被提升到监督级别,其中通过人机界面做出的高级决策在需要时会打破自主性。本文还确定并阐述了实现所提 HCPS 所必需的关键支持技术 (KET)。
姓名:Luhach,Ashish Kumar,1985- 编辑。| Elçi,Atilla,编辑。标题:智能信息物理系统的人工智能范式 / Ashish Kumar Luhach 和 Atilla Elçi 编辑。说明:Hershey,PA:工程科学参考,[2021] | 包括参考书目和索引。| 摘要:“本书重点介绍了基于人工智能的方法在实现安全信息物理系统方面的最新进展。它介绍了与这一多学科范式相关的贡献,特别是在通过研究信息物理系统的计算智能范式领域的最新研究问题、应用和成就来建设可持续空间方面的应用”——由出版商提供。标识符:LCCN 2020019421(印刷版)| LCCN 2020019422(电子书)| ISBN 9781799851011 (h/c) | ISBN 9781799858461 (s/c) | ISBN 9781799851028 (电子书) 主题:LCSH:计算机网络——安全措施——数据处理。| 物联网——安全措施——数据处理。| 合作对象(计算机系统)| 人工智能——工业应用。分类:LCC TK5105.59 .A79 2021(印刷版)| LCC TK5105.59(电子书)| DDC 005.8--dc23 LC 记录可在 https://lccn.loc.gov/2020019421 上找到 LC 电子书记录可在 https://lccn.loc.gov/2020019422 上找到 本书出版于 IGI Global 系列丛书《系统分析、软件工程和高性能计算 (ASASEHPC) 的进展》中 (ISSN: 2327-3453; eISSN: 2327-3461)
资料来源:W。O. Nijeweme-D'Hollosy,L。VanVelsen,M。Huygens和H. Hermens,“对初级保健中可互操作的Ehealth技术的要求和障碍,” IEEE Internet Computing,第1卷。19,不。4,pp。10-19,7月至8月。 2015。
摘要 本文对人工智能 (AI) 在信息物理系统中的应用目前和未来面临的挑战进行了文献综述。文献综述的重点是确定一个概念框架,通过支持技术和人力层面的自动化来提高人工智能的弹性。所采用的方法类似于对复杂的物联网 (IoT) 互联和耦合的信息物理系统的文献综述和分类分析。学术和技术论文越来越关注物联网的模型、基础设施和框架。这些报告和出版物经常代表其他相关系统和技术的并列(例如工业物联网、信息物理系统、工业 4.0 等)。我们回顾了 2010 年至 2020 年期间发表的学术和行业论文。结果确定了一个新的分层级联概念框架,用于分析信息物理系统中人工智能决策的演变。我们认为,由于联网设备 (IoT) 在信息物理系统中的集成度不断提高,这种演变是不可避免的和自主的。为了支持这一论点,我们采用分类方法,通过构建用于设计层次化级联概念框架的摘要图,实现概念选择决策的透明度和合理性。
� 摘要 ���������������� �������� �������� ���������� ����� �� ...�� ���������� ���������� ���������� ���������� ���������� ���������� ���������� ���������� ���������� ���������� ������������ ������������ ������������ ������������ ������������ ������������ ������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������ ���� �������� ������ ������ ����������� ������ �������� ���� �������������� ���� ������ ������ ��������� �� �������� ������������ ���� ���� ������ ����� ���� ��������� ������������ ���� ���� ������ ��������� ����� ������������ ��� ����� ��������� ������������ ���� ��������� ���� ��������� ���� ���������� ��� ����� ��� ���� ���������� ���� �������� ���� ���������� ���� �������� ������ ���� ���������� ������� ����� ��� ��� ���������� ���� �������������������������������������������������������������������� ��� ���� ������������ ��� ���� �������� ��������� ��� ���� �������� ���� �������� �������� �������������������� ������� ������