Petri网可达性的综合判定法

Petri网标识的可达性判定问题是进行Petri网分析的基础,而传统的判定方法并不能确保所得结果的可靠性.在揭示Petri网可达性问题的实质之后,讨论了在标识图的同一连通域内标识可达性的判定问题,进而在分析相关原理的基础上提出了一种有效判定Petri网标识可达性的综合判定法.此判定方法综合多种传统判定方法的优点,结合Gr鯾ner基理论,确保了对Petri网标识可达性进行判定所得结果的可靠性.

面向CIMS的复杂形面产品与模具的CAD/CAM/CAE系统的研究

本文通过与产品及模具的传统开发技术相比较 ,介绍了一种具有较高优越性的面向CIMS的复杂形面产品与模具的CAD/CAM

虚拟制造的像空间验证技术

本文作者论述了一种基于曲面像空间验证技术的算法。该算法既不失仿真实时性 ,同时具有运算速度快 。