STEP交换文件一致性检测工具的设计

来源 :哈尔滨工程大学学报 | 被引量 : 0次 | 上传用户:xus142812
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
STEP 交换文件的一致性检测,是保证其与应用协议中规定的信息要求完全一致。本文介绍了用 YACC 工具设计一致性检测工具的原理;从基本数据类型、实体属性、各种类型的实体等几个方面,阐述了 EXPRESS 描述的应用解释模型与 YACC 产生式的映射关系,并给出 CSG 模型的映射实例。
其他文献
本文设想在进行机器人运动学、动力学分析时直接在各杆质心建立附体坐标系,并分析了该类坐标系的建立过程,得到了相邻两杆之间的空间变换关系i-lAi,最后以斯坦福机械手为例给
目的探讨不同手术策略治疗动脉瘤性颅内血肿并脑疝的临床效果。方法通过回顾性分析,选取近6年收治的43例动脉瘤性颅内血肿并脑疝的患者,根据不同治疗方案分为延迟造影组、急诊
目的:分析酒精性肝病(ALD)的发生、发展与"肠-肝轴"、肝脾相关理论的关系,探讨ALD的病理机制和中医药研究思路。方法:通过回顾整理中医学肝脾理论的相关内容,并查阅近年国内
用激光拉曼光谱研究了meso-和dl-2.3-二氰基-2.3-二(p-X取代苯基)丁二酸二乙酯(X=OCH_3,CH_3,H,Cl,NO_2)的性能。通过对这五对异构体拉曼光谱的分析和比较发现,meso-异构体的
本文着重阐述了质子探针无标样定量分析流体包裹体的方法原理、技术要点和分析时注意的问题。作者对我国斑岩铜矿石英中的流体包裹体进行了分析,还就国内外质子探针分析流体
利用地面加密自动站观测资料、多普勒天气雷达及NCEP格点再分析资料,对2018年第22号台风“山竹”登陆前后环境场、动力热力场结构变化特征进行了分析,并初步探讨台风造成广西
Polo样激酶1(Polo-like kinase1,PLK1)是一种丝氨酸/苏氨酸激酶,是真核生物细胞分裂的关键的调节因子。PLK1在有丝分裂期增殖的细胞中正常表达,但在人类不同类型的肿瘤中过表达,其
目的:观察葱白提取物对非酒精性脂肪性肝病(NAFLD)大鼠血脂以及血液流变学各项指标的影响,探讨葱白提取物治疗NAFLD的通阳作用机制。方法:制备NAFLD大鼠动物模型,随机分为葱白提
对一种用旋转不变技术估计信号参数的新方法(EEPRIT)进行理论分析和算法研究。主要研究了R.H.Roy等提出的新算法,该算法最大的优点是不要求噪声场为空间白和不需要求解奇异对
提出了在滑轮组补偿臂架起重机变幅机构设计中确定补偿点的最优数值解法.这种方法基于优化设计的思想,利用电子计算机,选定必要的设计参量就可得到最优的设计结果