排序方式: 共有87条查询结果,搜索用时 187 毫秒
21.
22.
23.
24.
描述逻辑ALCRP(D)在经典描述逻辑ALC的基础上添加具体域和角色构成谓词算子,用于确定性空间的推理,但不能用于模糊空间的推理.通过以描述逻辑ALCRP(D)的模糊扩展为例,构建出模糊描述逻辑Fuzzy-ALCRP (D),给出Fuzzy-ALCRP (D)的Tableau判定算法,并给出一个Fuzzy-ALCRP (D)在模糊RCC8空间中的推理实例. 相似文献
25.
基于OBDD的装配序列自动推理技术研究 总被引:1,自引:0,他引:1
根据从CAD系统中直接获得的产品装配模型的数据,来建立基于OBDD的装配体模型。采用OBDD的符号操作对装配操作的可能性和有效性进行了验证,实现了可行装配序列推理的自动化。通过对例子的分析,表明基于OBDD的装配序列自动推理技术是可行和正确的,它为装配体的装配序列的推理提供了一种切实可行的新方法。 相似文献
26.
27.
在基于割集的拆卸序列生成算法中,对拆卸操作的几何可行性进行判别是频繁的操作.引进有序二叉决策图OBDD合理表示拆卸约束,设计了基于OBDD的几何可行性判别算法,比较了基于OBDD的判别算法与基于移动函数的判别算法的时间复杂度,结果表明基于OBDD的几何可行性判别算法比基于移动函数的判别算法具有更高的判别效率. 相似文献
28.
钟艳如 《江苏机械制造与自动化》2001,(1):25-26,42
针对复杂平面尺寸链的组成环判别,提出用统一的将封闭环对组成环求偏导数的方法。在确定组成环的增减性后,此法能方便地球解尺寸链,非常适合于计算机编程求解。并给出了算例。 相似文献
29.
钟艳如 《机械制造与自动化》2001,(1):25-26
针对复杂平面尺寸链的组成环判别,提出用统一的将封闭环对组成环求偏导数的方法.在确定组成环的增减性后,此法能方便地求解尺寸链,非常适合于计算机.编程求解,并给出了算例. 相似文献
30.
拆卸序列的紧凑表示是拆卸序列的评价与优化的基础,AND-OR图是拆卸序列表示的一种典型方法,但是拆卸序列的AND-OR图表示模型存在冗余信息。通过对AND-OR图模型作等价变换,消除AND-OR图表示模型中的冗余信息。设计了拆卸序列的优化表示模型的生成算法,建立了优化的基于OBDD的拆卸序列表示模型,用来表示复杂装配体的拆卸序列。并论证了优化模型的拆卸序列表示可以节省存储空间,最后的实验表明,基于OBDD的拆卸序列优化表示模型的存储空间远小于AND-OR图的存储空间。 相似文献