排序方式: 共有12条查询结果,搜索用时 15 毫秒
1.
自动驾驶汽车在缓解交通拥堵和消除交通事故方面发挥着重要作用.为了保证自动驾驶系统的安全性和可靠性,在自动驾驶汽车部署到公共道路之前,必须进行全面的测试.现有的测试场景数据大多来源于交通事故和交通违法场景,而且自动驾驶系统最基本的安全需求就是遵守交通法规,这充分体现了自动驾驶汽车遵守交通规则的重要性.然而,目前严重缺少针对交通法规构建的自动驾驶测试场景.因此,本文从交通法规出发,根据自动驾驶系统安全需求,提出交叉路口测试场景的Petri网建模及形式化验证方法.首先,依据自动驾驶测试场景对交规进行分类,提取适合自动驾驶汽车的文本交规,并进行半形式化表征.其次,以覆盖道路交通安全法规以及测试场景功能测试规程为目标,融合交叉路口场景要素的交互行为,合理选择并组合测试场景要素,布设交叉路口测试场景.然后,基于交规的测试场景被建模为一个Petri网,其中,库所描述自动驾驶汽车的状态,变迁表示状态的触发条件,并选择时钟约束规范语言(CCSL)作为中间语义语言,将Petri网转换为一个可进行形式化验证的中间语义模型,提出具体的转换方法.最后,通过Tina软件分析验证交规场景模型的活性、有界性和可达性,结果表明所建模型的正确性,并基于SMT的分析工具MyCCSL来分析CCSL约束,采用LTL公式以形式化方法验证交规场景模型的一致性. 相似文献
2.
基巴里(Kibali)金矿产于刚果(金)东北部太古宙绿岩带中的造山带型金矿,矿床的赋矿围岩主要为绿岩带中的火山沉积砾岩、基性岩及条带状硅铁建造岩石(BIF),围岩蚀变为成矿前期的碳酸盐化和成矿期的黄铁矿化,形成以浸染状和脉状为主的矿石类型。Kibali金矿成因还存在诸多争议。通过搜集相关资料文献,结合区域地球化学数据分析表明金矿形成于新太古代,在伊伯尼安、基巴拉造山活动和泛非运动期间再活化运移。绿岩带中的火山碎屑岩类为金矿的形成提供了重要的硫源。 相似文献
3.
4.
在众测服务的发展过程中,长期存在众测知识产权管理不规范、归属不清晰、缺乏可信等问题.基于区块链去中心化、可追溯、不可篡改的特点,结合IPFS、SHA256算法、数字证书技术,提出一种四个层次、三大模块的众测知识产权可信管理框架,满足众测知识产权溯源、确权与查询等需求,并针对链上数据膨胀带来的存储性能瓶颈问题,提出链上链... 相似文献
5.
6.
7.
Lukuni铜钴矿产于著名的中非铜矿成矿带,在区域上位于卢菲利弧形构造带外部褶皱推覆带中,区内地层以新元古代加丹加超群罗安群、孔德龙古群和恩古巴群地层为主。矿区地层呈复式褶皱形态产出,受推覆构造作用影响和后期断裂构造破坏,背斜核部南侧矿体被分割为3条,背斜北部1条矿体。矿体主要产于背斜核部南侧,主要赋存于罗安群矿山组(R2)白云岩为主的岩系中,呈层状和似层状产出。区内矿体以氧化和原生矿体为主,地表浅部为次生氧化富集型,深部原生矿体为层控型。该矿床类型为受地层、断裂、褶皱改造控制的层控型矿床。综合分析认为矿区北东方向、矿区南部区域仍有良好的找矿前景。 相似文献
8.
塞拉利昂GPAFAYA铁矿位于西非太古宙绿岩带内,处于苏拉山—坎格瑞丘陵弧形构造带北北西向转折部位,该区成矿条件优越,以盛产金、铁而闻名。区域上位于NHC5航磁异常区,通过高精度磁异常测量,圈定南北矿段(Ⅰ和Ⅱ) 2个异常带和4个异常段,其中Ⅰ号异常带规模巨大,经过地质调查验证,I-1强磁异常段对应的铁矿体规模巨大,矿石质量优良。该文根据GPAFAYA矿区铁矿找矿成果,结合航磁异常特征,从矿床、矿体地质特征等方面对高精度磁测在铁矿找矿中的有效性进行评价。发现航磁异常是BIF型铁矿在区域上最有效的找矿标志,高精度磁测可以作为铁矿体空间形态和矿石质量的重要判断依据。 相似文献
9.
提出了一种基于Petri网的I/O_WF_Net模型。该模型将工作流中的活动抽象为Petri网中的迁移,将每个活动的输入输出抽象为Petri网中的库所,便于以后应用其生成测试用例。介绍了对工作流中各种组成部分及不同结构的I/O_WF_Net模型建模方法,给出了将带有输入输出约束的工作流网转化为I/O_WF_Net模型的算法及转化后模型的化简方法。 相似文献
10.
食品雕刻已经算不上新鲜事了,可是要说能一直用一种材料,坚持雕刻10多年,系统发明了100种容器的,恐怕就没有几个人能做到了。可是就有这么一个人,他叫郑长友。"我的功夫不是绝技,也许更多的是一种精神——坚持。"从厨39年,现任秦皇岛市药膳保健美食行业协会副会长、北京食品协会食品雕刻专业委员会理事郑长友说。 相似文献