基于MBD的三维工艺研究与实现

围绕基于MBD条件下对三维工艺进行了重点的研究,并根据实际现有产品的条件下,提出了基于MBD三维工艺的实施解决方案.通过对三维工艺的实现,提升了航空制造企业的现代化制造水平.     

基于任务单元模型的研发流程验证

为了解决研发流程设计与需求的不一致性问题,提出了一种基于任务单元模型和线性时序逻辑的研发流程验证方法.方法应用任务单元模型分解研发流程,采用Promela语言描述模型,线性时序逻辑表示抽象的研发过程规则,通过模型检测器Spin完成验证工作,从而实现了对流程正确性的判断.