【摘 要】
：
随着技术的成熟,机器人系统在社会中发挥着越来越多的安全性、关键性作用,比如,交付系统、监视系统,以及个人交通等.与此同时,这种对于自动化的追求趋势也导致了系统复杂程度
论文部分内容阅读
随着技术的成熟,机器人系统在社会中发挥着越来越多的安全性、关键性作用,比如,交付系统、监视系统,以及个人交通等.与此同时,这种对于自动化的追求趋势也导致了系统复杂程度的不断提高,包括高级数据驱动的机器学习组件的集成.然而,形式验证(formal verification)和系统测试的进步尚未能够跟上日益增加的复杂度.此外,机器人系统对第三方现成组件和机器学习技术的依赖性预计会增加,这将导致正在部署的系统的复杂性,与通过形式验证获得安全性和正确性认证的系统之间的差距越来越大.
其他文献
煤层气甜点区是对煤层气开发有利区更细化、更深入的分析研究之后,优选出的最有利于煤层气勘探开发的区域,可为煤层勘探开发实施阶段中提供较为有效的资料参考.通过对火烧铺
由于粮食产业在中国的特殊战略地位,直到上世纪90年代中期,为满足国内油脂供给,我国才逐渐放开大豆进口市场,同时,以嘉吉、邦基、ADM和路易达孚为代表的国际资本也借机大举进
我的老师理查德·福尔曼教授曾经从生物学的角度提出过一种理想的景观格局—集聚间有离散（Aggregate-with-Outliers，1995），这样的格局最有利于生物多样性的保护。其实，人类生活、
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
桩基工程在工民建筑中占着重要地位,是工民建工程的一种常用基础形式,具有稳定性好、承载能力强、沉降量小、工期短以及经济效益与社会效益好等特点,被工民建施工广泛应用,只
陈皮、孜然、小茴香等有益健康的调味料不仅让菜肴更美味,还能调养出好身体。(1)孜然祛火大家都知道孜然羊肉这道菜,除了口感的因素外,孜然能减低羊肉的热性也是一个原因。虽
“六心服务”，即热心接待，耐心倾听，细心询问，用心解答，精心办理，贴心服务。具体工作中严格贯彻落实服务承诺制、首接负责制、一次告知制、限时办结制、责任追究制等五项制度，进一步
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥