论文部分内容阅读
本文针对自主可控计算机模型检测中存在的状态爆炸问题提出了安全集指引的有状态偏序化简算法,不仅能避免对相同状态的重复搜索,而且通过建立安全集高效覆盖各种"高风险"交叠,使得测试过程大大加快.实验证明该算法能在合理的空间开销内高效找出并发错误,更适合工程应用.
安全集指引的有状态动态偏序化简算法研究
【摘 要】
：
本文针对自主可控计算机模型检测中存在的状态爆炸问题提出了安全集指引的有状态偏序化简算法,不仅能避免对相同状态的重复搜索,而且通过建立安全集高效覆盖各种"高风险"交叠
【机 构】
：
北京计算机技术及应用研究所北京100854
【出 处】
：
全国抗恶劣环境计算机第二十四届学术年会
【发表日期】
：
2014年9期
其他文献
本文提出一种新的采样虚拟点光源(virtual point light,VPL)[1]的混合算法.该算法针对近景场景的间接光照计算来合理地分布VPL.在生成VPL的过程中,我们根据摄像机位置与朝向
针对半透明海上冰雪目标的特点,本文提出了一种新的次表面混合散射模型对目标进行建模,该模型不仅考虑了一般半透明材质的局部多散射和全局多散射机制,并且考虑了冰雪目标表
磁流体力学数值模拟算法是受控热核反应和天体物理学研究领域的重要算法之一,然而,该模拟过程耗时且复杂,在此,本文提出了一类高效的面向多核集群的磁流体三维数值模拟并行化
边界元方法是现今求解地球动力学问题常见的一种数值方法,具有降维、精度高等优点.目前传统边界元软件求解地球动力学并行计算可资参考的相关研究少,特别是快速多极边界元软
为了解决虚拟试衣等领域对实时构建逼真的三维人体模型的需求,本文研究了含人体结构语义的参数化三维人体建模方法.首先定义了一组对人体拓扑结构可加以控制的特征参数,然后
在复杂较大场景的扫描任务中,激光扫描技术需要同时顾及扫描精度和扫描范围.传统的ICP配准方式由于缺少严格的平差机制,以及累计误差问题,配准的整体精度得不到保障.针对上述
In many application domains, we encounter data which involves a graph encoding certain relationships and a set of items related to the graph.One example is
针对传统液压挖掘机存在能量浪费、环境污染等,本文以油电混合动力挖掘机为研究对象,提出了一种基于超级电容的回转机构制动能量回收系统控制策略,对永磁同步电机回馈制动过
针对现有门限签名方案存在的对可信中心过度依赖的问题,结合无证书签名相关思想,提出了一种无需可信中心的无证书门限盲签名方案.不同于已有的无可信中心门限签名方案由所全
身份认证是云计算安全应用的挑战之一.针对Hadoop医学影像数据平台,本文提出改进的双服务器模型,并采用基于三角形原则的密码存储方法存储口令.其次,在该模型的基础上提出基