【摘 要】
：
如今,得益于技术的不断进步和成熟,机器人系统的应用越来越普遍,但人们对于机器人系统的高要求无形中也增加了系统的复杂度。然而,形式验证和系统测试的进步速度与复杂度的增加速度并不成正比。那么,我们该如何确保机器人系统的安全性呢?最近,伯克利加州大学的Ankush Desai、Shromona Ghosh、Sanjit A. Seshia、Natarajan Shankar和Ashish Tiwari等
论文部分内容阅读
如今,得益于技术的不断进步和成熟,机器人系统的应用越来越普遍,但人们对于机器人系统的高要求无形中也增加了系统的复杂度。然而,形式验证和系统测试的进步速度与复杂度的增加速度并不成正比。那么,我们该如何确保机器人系统的安全性呢?最近,伯克利加州大学的Ankush Desai、Shromona Ghosh、Sanjit A. Seshia、Natarajan Shankar和Ashish Tiwari等研究人员针对这一问题进行研究,提出了运用"运行保证"技术来解决这一问题。
其他文献
NI(美国国家仪器公司,National Instruments,简称NI),助力于加速自动化测试和自动化测量系统的开发进程和性能提升,今日宣布推出用于NI PXI模块化仪器的Instrument Studio软件。Instrument Studio改善了模块化仪器的交互式体验,可让用户在测试时更直观地进行调试。航空航天、汽车和半导体行业的工程师将受益于这一更高效的测试系统开发流程。Instrum
随着的科技的高速发展,航空领域上的技术应用也在不断的更新,尤其是民用飞机上机载设备的相应系统。目前在民用飞机的机载系统上,自动化检测系统已经基本全面被广泛应用了,传统的人工检测已经基本不存在。自动化检测系统的应用,大大缩减了飞机的总装配,极大的提高了飞机的质量。本文在于对全机电缆自动化测试系统在民航飞机上的应用做一个浅析。
目的采用高分辨率熔解曲线(HRM)基因分型方法对MNS杂交糖蛋白GP.Mur做基因分型并验证HRM基因分型方法的可靠性。方法收集254例献血者全血标本(广州地区献血者104例,澳大利亚华裔献血者150例),利用DNA提取试剂盒抽提基因组DNA;以HRM基因分型方法对MNS杂交糖蛋白GP.Mur做基因分型;以多重连接依赖的探针扩增技术(MLPA)或血清学方法对GP.Mur阳性标本做确证试验,同时采用
软件测试在实际的信息工程建设当中扮演着非常重要的角色,它对整个工程发展速度的加快起着重要的推动作用,然而伴随时代的发展,其稳定性与安全程度方面也出现了一些不足。为了对信息工程建设的效果与效率进行保证,相关人员需要使用科学的软件测试方法,利用其给整个工程建设系统的运转提供有效的保证,这样才能够让信息工程拥有一个更好的发展基础。本篇文章主要针对软件测试在信息工程建设当中的运用进行了简要的分析,并对其未
正是这自主可控的"脑"和"芯",使成都成为全国首批数字城市管理试点城市。四川被称为"天府之国"。何谓"天府之国"?无疑是钟灵毓秀,人杰地灵,环境如天堂般美丽。上有天堂,下有天府。当代的天府之国,是最适宜人类居住的地方,是人与自然和谐共生的人间天堂,更是我国长江上游的生态屏障。那么四川如何打造现代化的人间天堂?从"四川省数字化城市管理平台"成果应用中,找到了答案。她横空出世便魅力无穷。她出彩中国便名
2018年7月20日,在工业和信息化部、中国科学技术协会、吉林省人民政府共同指导下,由中国电子学会、吉林省科学技术协会、吉林省科学技术厅、长春新区管理委员会共同主办的"2018中国工业大数据创新发展高峰论坛",在长春高新区益田福朋喜来登酒店如期召开。论坛紧密围绕工业大数据创新发展这条主线,以"新工业,新智能"为主题,汇聚国内外顶级院士、专家,共商产业发展大势。论坛召开期间,中国电子学会发布了《中国
公路安全一直是社会关注的大课题,与人们生活息息相关。2011年,国务院颁发了《公路安全保护条例》。《条例》中指出:有必要认真总结经验,制定公路安全保护的专门行政法规,充实和细化公路法所确立的公路安全保护方面的基本制度,为公路安全保护提供更有力的法制保障。本文在对公路安全隐患加以概述的基础上,分析公路安全隐患风险防范必要性,并对我国公路安全隐患现状加以梳理,并结合自身所学,针对性提出提出改进建议,旨
1选择课题1.1小组概况聊城工务段线路技术科QC小组本着"小、实、活、新"的原则,积极从小事和身边事做起。立足现场实际,解决实际问题,有力推动生产任务的顺利完成。小组概况详见表1。1.2选题理由在工务大型施工中,不可避免地影响钢轨高低变化,随着铁路精细化作业要求不断提高,对其变化的幅度要求有着明确标准。例如在电气化区段,供电段要求轨面标高
基于PLC控制的水果分拣自动线系统由供料、称重检测、传送带、红外检测、机械手输送、包装等六个单元模块构成。在这六个单元的共同作用下,系统能够从水果的重量和外观品质两个方面分析,对水果进行5级分拣和包装,实现水果精细分拣的目的。该系统的部分功能在实验室得到了验证,达到了设计目标,对水果分拣生产线的推广应用有一定研究价值。
鲁耀宗不用拿地图,就能把舞钢每个支流的发源地、流经地及水质状况给描述出来,哪个村需要重点整治他都能牢记于心、对答如流。他,在部队里抗过洪,抢过险,参加过重大军事活动,立过功,受过奖。他,军旅生涯历练了钢铁般的意志,始终保持着军人的一贯作风,吃苦耐劳,甘于奉献、雷厉风行、百折不挠,高标准、严格要求自己,要别人能做的,他首先做到,别人做不到的,他也要做到。他,就是河南省舞钢市环保局的"拼命三郎"鲁耀宗