【摘 要】
：
该文首先通过对STEP标准及其一致性测试原理与方法的研究,讨论一致性测试过程、测试组件与接口,提出了研究人员的STEP一致性测试系统结构,同时研究实现一致性测试分析需要利
论文部分内容阅读
该文首先通过对STEP标准及其一致性测试原理与方法的研究,讨论一致性测试过程、测试组件与接口,提出了研究人员的STEP一致性测试系统结构,同时研究实现一致性测试分析需要利用的EXPRESS语言联编:早联编、晚联编.该文的重点是提出基于EXPRESS2C++编译器的早联编和基于ROSE/C++系统的晚联编两种应用程序开发方法与框架.通过实现EXPRESS2C++编译器的原型系统,论述了EXPRESS语言到C++的映射规则以及开发早联编应用程序中的一些关键技术;实体的继承特性、程序的动态束定机制、指针类型的转换、EXPRESS表达式与函数的处理.最后,该文介绍在ROSE系统上以晚联编方式实现的一致性测试分析软件.软件可以实现对交换结构的语法、结构以及规则与约束的一致性测试分析,该文重点介绍了规则与约束测试分析的实现.并以两个测试实例验证研究人员的软件系统.
其他文献
本文是甘肃省劳动厅资助项目“在役压力容器容限分析”的一部分。 本文在下面几方面作了研究并取得成果： （1）首先回顾和总结了在役压力容器缺陷评定和容限分析的发展现状，并主要对失效评定图、概率方法、智能方法（尤其人工神经网络方法）、疲劳工程评定方法新进展进行了综述。并且对今后的发展方向做出展望。 （2）针对工程上常见的破坏性极大的压力容器的疲劳问题，由于其数据的分散...
目的:总结慢性寰枢关节旋转固定或脱位患者的寰枕关节在寰枢旋转或脱位复位前后的影像学改变.方法:回顾性分析2004年9月～2019年6月间因寰枢关节旋转固定或脱位在我院诊治的患
扑克牌是我们生活中最常见的一种娱乐玩具,有着易获取、易操作、趣味性强、多用途的特点.小学低年级学生活泼好动,注意力不集中.所以,把扑克牌游戏运用到识字教学中,让学生自
连铸坯的矫直技术是发展高效连铸的关键技术之一,高效连铸技术的核心就是高拉速及高铸坯质量。在高拉速的条件下,为了保证带液心的铸坯矫直时两相区内的应变和应变速率控制在
目前基于逻辑门限的控制方法是汽车ABS(防抱死制动系统)中最为流行的控制方式之一。由于硬件及成本的制约,大多数ABS仅由轮角速度传感器采集制动状态信息,总体控制效果明显但
要解决素质教育走进农村课堂的问题，应该说合作学习是一种很好的方式。首先，从合作学习的组织形式看，要求把学生分成若干个学习小组，组内成员共同学习，互相协作，学生成了课堂教学的
情境教学的方法是当代兴起的一种新的教学方法,是利用情境再现的方式,是学生对课堂知识的理解能力更强,印象更加深刻,提高历史与社会文化的素质,培养学生爱国的高尚情操的教
随着计算机和网络技术的发展，在工业控制领域中引入网络技术，一方面，使现场控制与上层管理相结合，可实现办公自动化与工业自动化的无缝结合；另一方面，对于环境恶劣的现场，亦可通过网
本文提出用控制曲面形状的数据点的投影和曲面法矢、主曲率进行曲面造型的思想。根据给定数据的不同方法，分别从四个方面论述了自由曲面的构造方法。着重论述了如何用数据点的