排序方式: 共有14条查询结果,搜索用时 0 毫秒
1.
AdvSce是一个面向自动驾驶系统的安全关键场景生成工具,能够在给定初始场景的基础上,以添加额外交通参与者的方式,生成挑战自动驾驶系统控制车辆(主车)安全性的扰动场景,用于自动驾驶系统的仿真测试.不同于既往研究中,首先确定场景参数空间,再使用黑盒优化算法生成安全关键场景的工具或方法, AdvSce可以基于对主车行为的分析,在场景生成过程中动态地构造能够挑战主车安全性的场景参数空间,从而实现高度自动化且高效的安全关键场景生成.我们使用AdvSce在LGSVL仿真器中生成了面向Apollo 7.0自动驾驶系统的测试场景.结果表明,相比现有的安全关键场景生成工具, AdvSce具有更高的安全问题场景生成效率. 相似文献
2.
3.
有限精度时间自动机的可达性检测 总被引:4,自引:1,他引:3
为了缓解状态空间爆炸问题,减小模型检测过程中生成的状态空间,加快模型检测速度,引入有限精度时间自动机(finite precision timed automata,简称FPTA)作为实时系统的形式模型,并提出了一种数据结构SDS(series of delay sequence)符号化表示状态空间中的状态集.FPTA只记录时钟变量的整数值及时钟变化的先后次序,从而减小生成的状态空间.在一定的时间约束下,Alur与Dill提出的时间自动机的可达性检测可简化为FPTA的可达性检测.举例描述了状态空间的生成过程和表示方法.最后,列出部分初步的实验结果,分析了SDS的特点及不足. 相似文献
4.
可复用构件的分类与查询方法研究 总被引:7,自引:0,他引:7
构件库是软件复用技术的核心,而可复用构件的表示、分类、检索是构件库的关键。论文从构件的分类和检索两个角度出发,研究了刻面分类的特点以及刻面的表示,给出了基于刻面检索的形式化匹配定义,描述了构件的匹配度,详细讨论了刻面分类和基于刻面分类的构件查询技术。 相似文献
5.
针对目前Web服务组合研究中缺少对定量属性的验证以及在服务运行过程中缺乏对出现异常时的故障处理等问题,提出了一种基于扩展有限自动机的Web服务组合静态与动态验证方法。该方法首先对有限自动机进行扩展,建立了一个可以描述数据及时间等信息的Web服务组合形式化模型;基于该模型,采用计算树逻辑(CTL)描述相关属性,并利用模型检测工具UPPAAL对Web服务组合的行为属性、时间属性以及数据属性等进行了验证;最后结合所建立的诊断模型,给出了一种能够对Web服务组合运行过程中出现异常时进行有效处理的错误诊断算法。 相似文献
6.
7.
多处理机系统的自适应动态负载平衡算法研究 总被引:11,自引:0,他引:11
通过对多处理机系统中自适应动态负载平衡算法的分析研究,针对现有算法未考虑任务之间通信量及节点机可能出现故障等问题,对现有算法进行了改进,并给出了算法的主体思想。 相似文献
8.
基于有限精度时间自动机模型,实现了一种新的数据结构——SDS ,用SDS 符号化表示状态空间的实时系统模型检测工具,并进行了初步的实验分析,取得了良好的效果。 相似文献
9.
10.
基于时序逻辑语言描述的监控系统的软件体系结构求精 总被引:2,自引:1,他引:2
该文提出了一种基于组件的软件体系结构求精方法,主要通过一个具体实例———移动通信监控系统,基于时序逻辑语言XYZ/E形式化描述其体系结构,对该求精方法及过程做进一步阐述。 相似文献