检索结果-南通市图书馆

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

复杂仿真系统模型验证工具设计与实现

现代防御技术 2016年第4期44卷 153-159页

作者：马震吴晓燕张蕊卜祥伟空军工程大学防空反导学院陕西西安710051

模型验证是VV&A工作的重要内容之一,为了提高复杂仿真系统模型验证的工作效率,基于C#语言,设计了复杂仿真系统模型验证工具。详细阐述了验证工具的总体结构设计,深入讨论了各子模块的功能和具体实现,并通过实例说明了该工具的设计和实... 详细信息

模型验证是VV&A工作的重要内容之一,为了提高复杂仿真系统模型验证的工作效率,基于C#语言,设计了复杂仿真系统模型验证工具。详细阐述了验证工具的总体结构设计,深入讨论了各子模块的功能和具体实现,并通过实例说明了该工具的设计和实现是合理有效的,实现了模型验证的自动化。

关键词：仿真系统 VV&A 验证工具流程图框架图方法库

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

MOTEC:一个存储一致性模型验证工具

计算机工程 2012年第11期38卷 242-246页

作者：吕正陈昊陈峰吕毅西北大学信息科学与技术学院西安710069 中国科学院软件研究所北京100190 中国劳动关系学院北京100048

由于缺乏可利用的额外观察条件,在芯片流片后阶段进行存储一致性模型验证较困难。为此,利用多核处理器系统中通用的性能计数器,通过定期扫描性能计数器以获得关键活动访存指令集合的信息,实现MOTEC工具。该工具由MOTEC随机指令发生模块... 详细信息

由于缺乏可利用的额外观察条件,在芯片流片后阶段进行存储一致性模型验证较困难。为此,利用多核处理器系统中通用的性能计数器,通过定期扫描性能计数器以获得关键活动访存指令集合的信息,实现MOTEC工具。该工具由MOTEC随机指令发生模块、多核处理器性能计数器记录模块和MOTEC分析模块3个部分组成。对其核心算法的分析结果表明,MOTEC的时间复杂度仅为O(p 3n),在目前流片后阶段进行验证的工具中时间复杂度最低。

关键词：多核处理器存储一致性模型形式验证动态验证存储系统验证工具

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

π-演算交互式验证工具的研究与实现

π-演算交互式验证工具的研究与实现

作者：杜旭涛国防科学技术大学

学位级别：硕士

随着计算机技术的发展，并发系统的重要性越来越显著。如何保证并发系统的正确性成为一个重要的课题。进程代数在对并发系统的分析和验证等方面获得了广泛应用。π-演算是进程代数的典型代表，它可以描述那些通信拓扑结构会动态变... 详细信息

随着计算机技术的发展，并发系统的重要性越来越显著。如何保证并发系统的正确性成为一个重要的课题。进程代数在对并发系统的分析和验证等方面获得了广泛应用。π-演算是进程代数的典型代表，它可以描述那些通信拓扑结构会动态变化的系统。作为一种形式化方法，使用π-演算对大型系统的证明过程往往很长并且容易出现错误，所以，机器的支持与协助就相当必要。我们的工作就是为π-演算设计并实现第一个交互式的验证工具PiM(the Pi-calculus Manipulator)。主要工作和成果包括如下三个方面：首先，为了处理递归，我们对Lin给出的适合于理论研究的唯一不动点归纳法进行了扩展，得到了所需要的适合于应用的一般化的版本。我们证明了原有的关于强互模拟的公理系统加上我们这个版本的唯一不动点归纳法后的可靠性和完备性。然后，以Lin的关于迟／早互模拟的证明系统和Li的关于开互模拟的证明系统为理论基础，我们实现了π-演算的第一个交互式验证工具-PiM。我们还实现了自己版本的唯一不动点归纳法。最后，我们使用PiM验证了网络AB协议。在这项工作过程中，我们发现了***的著作“Communication and Concurrency”中的一个有关AB协议的错误。上述结果中的有关唯一不动点归纳法的研究具有重要的理论意义，验证工具PiM具有明确的应用价值，而对AB协议的验证及***的著作中一个错误的发现更是我们工作的价值的体现。

关键词： π-演算验证工具唯一不动点归纳法证明系统 AB协议

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

一种弹性的软件过程模型验证工具

计算机工程与设计 2007年第7期28卷 1497-1500页

作者：胡旷董广智田勇柳军飞中国科学院软件研究所北京100080

过程模型验证是保证软件过程定义正确性的重要手段。针对目前过程模型验证中的一些问题,首先提出了一种以活动为中心的软件过程元模型,并以XML对其进行描述。在此基础上,从行为、资源、组织视图结合的角度,提出了保证软件过程模型正确... 详细信息

过程模型验证是保证软件过程定义正确性的重要手段。针对目前过程模型验证中的一些问题,首先提出了一种以活动为中心的软件过程元模型,并以XML对其进行描述。在此基础上,从行为、资源、组织视图结合的角度,提出了保证软件过程模型正确性的语义约束规则。最后,提出了一种弹性的用于验证XML描述的过程模型的机制,并基于此实现了过程模型验证工具,来验证过程模型的正确性。

关键词：软件过程过程模型验证工具语义规则可扩展标记语言

基于交互式电子故障诊断手册的机器可读层级验证工具研究

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

标准科学 2024年第6期 81-86页

作者：李颜若玥李文文中国计量科学研究院

针对机器可读标准层级验证的需求,以交互式电子故障诊断手册为例,对其进行机器可读层级及特征分析,在此基础上提出了基于交互式电子故障诊断手册的机器可读层级验证测试系统的功能需求,设计并开发了验证工具功能模块,选取特定交互式电... 详细信息

针对机器可读标准层级验证的需求,以交互式电子故障诊断手册为例,对其进行机器可读层级及特征分析,在此基础上提出了基于交互式电子故障诊断手册的机器可读层级验证测试系统的功能需求,设计并开发了验证工具功能模块,选取特定交互式电子故障诊断手册进行了验证工具的应用。相关研究方法和成果可应用于交互式电子故障诊断手册的机器可读层级验证,可为其他新型标准的机器可读层级验证提供参考。

关键词：交互式电子故障诊断手册机器可读层级验证工具