基于OBDD的装配序列自动推理技术研究

来源 :桂林电子工业学院学报 | 被引量 : 0次 | 上传用户:lxm8154
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
根据从CAD系统中直接获得的产品装配模型的数据,来建立基于OBDD的装配体模型.采用OBDD的符号操作对装配操作的可能性和有效性进行了验证,实现了可行装配序列推理的自动化.通过对例子的分析,表明基于OBDD的装配序列自动推理技术是可行和正确的,它为装配体的装配序列的推理提供了一种切实可行的新方法.
其他文献
中央电视台一套新栏目《我们》是一档关心个体精神文化现状与未来,关照中国社会文明与进步,关注世界新趋势的高级访谈类节目,开播以来受到业内外人士的瞩目。《我们》在选题上的
目的探讨应用克氏针经皮撬拨复位内固定治疗跟骨骨折的临床疗效。方法将37例(40足)跟骨骨折的手术患者分成两组,即观察组和对照组,对照组共10足,观察组共30足。对照组采用传
修辞与语用学是紧密联系的,都是研究人类的交际行为。本文试图从语用学的角度,运用Grice的合作原则和Leech的礼貌原则,对反语、夸张、委婉语和隐喻等英语修辞格进行分析。
移动计算环境中,移动设备在断连状态下对数据进行操作是必要的.为了支持断连操作,需要在移动客户端上进行数据缓存;另一方面,在重新连接后,移动客户端上的暂时事务需要在服务
王犁简历1970年10月生于浙江淳安。1996年毕业于中国美术学院国画系人物专业。
本文首先用群论方法构造了uudd系统能量较低的几个正宇称态和负宇称态波函数,然后在介子交换模型下,拟合NJL模型的合理参数考虑不同径向波函数宽度和径向波函数的多高斯展开进
广西右江矿务局为了延长产业链,实现资源型企业向资源开发、机电装备制造转型,在原有矿务局机械修理厂的基础上,通过广西区有关部门的支持及企业自主投入科研经费,校企合作开
目的对非破裂型异位妊娠患者给予甲氨蝶呤的不同给药方式进行治疗,观察对比治疗效果,以为临床提供参考依据。方法选取本院收治的220例非破裂型异位妊娠患者作为观察对象,并将
基于L-p空间是一类可分的Banach空间所具备的特点,定义了L-p空间上的l^p-框架、Banach框架。Hilbert空间的框架具有很多好的性质,根据L-p空间与hilbert空间的一些近似性,推广hil
公网发布的Web服务器的安全性一直是众多校园网络管理者所关注的问题。传统安全防范措施如:密码安全、账号策略、系统补丁、防火墙功能等并不能从根本上解决问题。通过提出一