排序方式: 共有29条查询结果,搜索用时 0 毫秒
1.
针对人机界面评价中评价信息不完全、不确定和较为复杂的特点,提出基于相近度的人机界面不确定信息评价方法.该方法将人机界面不确定信息的处理由实数序列拓展至灰区间数序列,以灰色理论和理想点法为理论基础,构造灰区间绝对关联分析模型和灰区间理想点模型,并运用整体逼近的思想,综合考虑方案与参考序列曲线的相似性和接近性,提出设计方案与理想方案的灰区间相近度,建立了不确定信息的综合评价模型.该模型弥补了单一方法的不足,避免了模糊信息过早精确化,有效保证了评价结果的可靠性.实验结果表明,该方法对于解决具有不确定信息的复杂系统评价问题是合理的、有效的. 相似文献
2.
自动驾驶汽车在缓解交通拥堵和消除交通事故方面发挥着重要作用.为了保证自动驾驶系统的安全性和可靠性,在自动驾驶汽车部署到公共道路之前,必须进行全面的测试.现有的测试场景数据大多来源于交通事故和交通违法场景,而且自动驾驶系统最基本的安全需求就是遵守交通法规,这充分体现了自动驾驶汽车遵守交通规则的重要性.然而,目前严重缺少针对交通法规构建的自动驾驶测试场景.因此,本文从交通法规出发,根据自动驾驶系统安全需求,提出交叉路口测试场景的Petri网建模及形式化验证方法.首先,依据自动驾驶测试场景对交规进行分类,提取适合自动驾驶汽车的文本交规,并进行半形式化表征.其次,以覆盖道路交通安全法规以及测试场景功能测试规程为目标,融合交叉路口场景要素的交互行为,合理选择并组合测试场景要素,布设交叉路口测试场景.然后,基于交规的测试场景被建模为一个Petri网,其中,库所描述自动驾驶汽车的状态,变迁表示状态的触发条件,并选择时钟约束规范语言(CCSL)作为中间语义语言,将Petri网转换为一个可进行形式化验证的中间语义模型,提出具体的转换方法.最后,通过Tina软件分析验证交规场景模型的活性、有界性和可达性,结果表明所建模型的正确性,并基于SMT的分析工具MyCCSL来分析CCSL约束,采用LTL公式以形式化方法验证交规场景模型的一致性. 相似文献
3.
介绍了一种压装质量好、生产效率高的新型压装组合系统的压装机构的设计原理,从而解决了特轻薄异形件压装困难且压装力难以控制的问题。为特轻薄异形件准确、高效压装提供了一种新思路。同时本文从理论和实验两个方面分析了特轻薄异形件压装时压装力大小的确定方法。 相似文献
4.
5.
某高层住宅,采用的是外墙内保温,验收时未发现外墙存在任何不符合质量的现象,但翌年冬季发现外墙普遍返潮,严重地是靠外墙的地面出现渗水等现象。个别住户外墙的内保温层因返潮变形严重,不得不拆除重做,这样导致了大量的人力和物力的浪费。从理论和实际施工方面分析和探讨了出现返潮现象的原因,并提出预防措施。对工程技术和物业管理人员有一定的借鉴作用。 相似文献
6.
7.
陶瓷刀具材料及其在高速切削中的应用 总被引:8,自引:0,他引:8
陶瓷刀具材料是一种先进的刀具材料,随着高速切削技术的发展,其应用越来越广泛。文章介绍了在高速切削中常用的陶瓷刀具材料的种类及应用范围。指出了陶瓷刀具材料作为高速切削刀具材料的发展趋势。 相似文献
8.
通过对传统桥式起重机电动机转子串电阻调速控制系统存在安全隐患多、效率低、耗能高等缺点,以及对变频调速控制系统应用在桥式起重机上的优势进行分析比较,充分体现变频调速控制系统应用在桥式起重机上是非常理想的选择。 相似文献
9.
10.
结合农业数据的特点,提出了一种基于数据挖掘技术的粗集属性约简算法,并将其应用在农作物灾害预测中.通过具体实例证明了该算法的正确性和有效性,指出该算法在农作物灾害预测中具有一定的实用价值. 相似文献