论文部分内容阅读
在模型检验中，抽象技术是解决状态空间爆炸问题的有效方法之一。论文描述了模型检验对抽象模型的基本要求．给出了抽象模型的定义及其评价指标，对抽象技术和自动化的抽象精化技术的主要方法及其研究进展作了比较深入、全面的综述，并讨论了抽象技术今后的发展方向。
模型检验中抽象技术研究综述
【摘 要】
：
在模型检验中，抽象技术是解决状态空间爆炸问题的有效方法之一。论文描述了模型检验对抽象模型的基本要求．给出了抽象模型的定义及其评价指标，对抽象技术和自动化的抽象精化技术
【机 构】
：
国防科学技术大学计算机学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2006年33期
其他文献
XACML是描述访问控制的策略语言，论文首先分析了XACML的优点，并对XACML的基本概念做了介绍．然后在扩展XACML的策略基础上，提出了大型网中基于XACML的区分服务策略网络管理方案．以
根据施工测量程序，从高速铁路轨道高平顺要求入手，结合理论推导，对高速铁路施工测量提出如下看法：施工测量平面控制桩间距不应大于３００ｍ，测角精度不大于５″；基平桩按三等水准测量，基平桩间
裂缝是混凝土桥梁常见的缺陷,通过找出裂缝产生的原因并界定裂缝的危害程度,则可以有针对性地采取补强措施.分析裂缝产生的应力情况,从设计、施工以及外部环境等方面找出裂缝
<正> 最近笔者有机会阅读了Osterberg氏亲自撰写的关于他所创导的试桩法在10余个国家推广应用十年的总结(The Osterberg Load Test Method for Drilled Shafts and Drillen P
光滑封闭的曲面其表面法矢量长久以来一直被用于判断点是在曲面内还是在曲面外,但是,用三角形网格表示的物体由于在顶点和边不连续,因此在这些地方的法线没有定义。文中证明角度权的伪法矢量(由Thürmer和Wüthrich[1]提出)具有重要的性质,它可以用来判别点在网格内还是在网格外。计算点到网格的有符号距离的符号通常就由这个内—外信息来表示。除了理论结果外,我们使用有效的算法来计算点到网格的带符号的距
本文介绍了利用静止气象卫星云图导出云迹风资料的原理和方法，并对导出的云迹风资料进行了分析。结果表明，所得结果具有一定的合理性，合理利用这些资料可以弥补台站稀疏的地区资
北京东郊编组站高架桥是跨越铁路的立交桥，文章介绍了在跨越铁路这一特殊情况下采用钢导梁拖拉，分步就位，用连续千斤顶顶起横移施作钢－混凝土叠合梁的施工方案。
阐述化学反应失重法的试验原理、关键技术、仪器设备、特点。与其他快速测试方法相比 ,它测试精度高、适用范围广 ,能较好地满足室内和现场多种试验的需要。