JosephSifakis发布《Sytemdesign》主题:365体育

本文摘要:JosephSifakis对自治权系统的设计有很多限制。JosephSifakis明确提出,首先要确认标准化的参考语义模型,作为评价系统自治权程度的标准。JosephSifakis指出,有三个要素要求系统三个要素:(1)自律复杂性(2)设计复杂性(3)可靠性。

自治权

2018年10月18日,由亿欧公司主办,思贝克领导主办的引擎引导2018大湾区国际科学创业峰会(BaybreasTechInovationSummit,全名BATi)在深圳万科前海国际会议中心召开。上午峰会嘉宾分享环节中,图灵奖得主、欧洲科学院院士JosephSifaki公开发布了《Sytemdesign》主题演讲。图灵奖被称为计算机领域的诺贝尔奖。

由于模型检验领域的优秀贡献,JosephSifakis于2008年与卡内基梅隆大学爱德蒙克教授、德克萨斯大学奥斯汀分校艾伦、爱默生教授联合获得图灵奖,成为法国第一位获得该奖的科学家。亿欧对JosephSifakis本次演说展开了不改变本意的编辑和重点提取:上图显示了JosephSifakis描绘的物联网愿景。

工业物联网系统是自律的,自律意味着没有人类的障碍和插手。JosephSifakis指出,我们面临的仅次于挑战是我们在工业物联网中的基础设施和技术是否需要构建物联网的愿景。

JosephSifakis对自治权系统的设计有很多限制。主要反映如下:第一,基础设施和系统的可靠性差,无法确保可靠性和安全性;第二,对于及时性拒绝非常低的自律呼叫系统,无法确保通信过程中的响应时间;第三,混合关键系统的建立很难建立,因为关键系统和努力是基于两个几乎不同的设计范例开发的。

当然,在市场的力量下,经常出现一些新的尝试。例如,在商业硬件备软件功能,可以获得的服务是移动的、可以重新配置的、可以自定义的、可以简化的,与现在的系统工程实践相比,重要的软件可以通过改版自定义。

系统

例如,特斯拉汽车软件可能每月改版一次。系统工程设计南北转折点:从小型集中式非演化自动化系统向大型分布式自治权系统演变。JosephSifakis指出,系统工程的设计现在也从高效的外部环境变成了无法预测的动态变化环境。

我们在制作自律系统的时候,过去都是想要确保设计的正确性,但是这样会产生什么可能性。现在我们必须设计能够应对各种不确认的情况,适应调整不道德的系统。

IOT的愿景挑战了我们创建可靠自治权系统的能力。JosephSifakis明确提出,首先要确认标准化的参考语义模型,作为评价系统自治权程度的标准。

第二,强化系统自治权的技术解决方案是什么?说明的技术问题和风险是什么?第三,制定严格的设计方法论和设计有用的可能性取决于系统的可靠性评价技术吗?JosephSifakis指出,有三个要素要求系统三个要素:(1)自律复杂性(2)设计复杂性(3)可靠性。第一,自律复杂性各不相同感官的复杂性,如看图像,系统必须能够自律分析图像。但是,由于图像可能模糊,这就是感觉的复杂性。感官的复杂性不能说明获得环境的性刺激,为代理环境模型分解适当的输出。

第二,缺乏对系统的仔细观察和控制。第三,由于代理环境的信息不原始,很难预测环境的变化,没有一定的不确定性。只有加强才能仔细观察性地解决问题的不确定性。

此外,增加不确定性还需要对环境不道德的额外科学知识。第四,目标的复杂性。它体现在代理模型决策过程的复杂性上,还包括目标类型、目标分解解决方案的复杂性、目标多样性等。

JosephSifakis应对,周密确实的自治权系统必须获得确定性和高容错能力。物联网框架中自治权系统的发展趋势使当今关键系统的工程原理和标准几乎过时,必须确的证据指出自治权系统能够应对任何类型的危害事件。演说的最后,JosephSifakis特别强调,自治权系统必须与功能有关,而不是与特定技术有关,机械学习是必不可少的一环。他指出,自治权是更广阔的智慧,在某种程度上与决策自动化有关,必须更简单地计算战略。

本文关键词:365体育,自律,系统,代理

本文来源:365体育在线-www.jianwuxiuzhuang.com