【摘 要】
：
基于板材柔性制造系统模型RBOPN所具有的可以完全描述FMS的动态行为以及系统中相关对象子网之间关系的分析能力,提出一种死锁检查分析方法.通过以抽象对象封装系统中各物理对
【机 构】
：
南京航空航天大学机电学院,东南大学机械工程学院
论文部分内容阅读
基于板材柔性制造系统模型RBOPN所具有的可以完全描述FMS的动态行为以及系统中相关对象子网之间关系的分析能力,提出一种死锁检查分析方法.通过以抽象对象封装系统中各物理对象的所有相关对象的内部行为,研究抽象对象、物理对象及其相关对象之间的消息传递关系,建立各对象通讯子网（OCNet）,并对各子网应用不变量理论分析方法检测其死锁情况,从而实现了对整个系统的死锁分析.实例分析表明,该死锁分析方法简化了计算分析过程,提高了工作效率.
其他文献
为了更好地分析和验证Web服务组合,提出了一种描述服务间消息交互的Web服务组合数学模型.首先定义了个体服务形式化模型,并分析了相关性质,然后定义了消息交互的各种逻辑以及
粮食安全关乎国计民生,历来是治国安邦的头等大事。随着中国特色社会主义进入新时代,我国社会主要矛盾发生转变,对粮食安全也提出了新要求、新任务。人民生活水平逐步提高,对
运用问卷调查扣访谈相结合的方法，对西安市下岗失业人员自主创业的基本情况进行调查．调查显示，此类下岗失业人员具有年龄偏大，创业领域分布面较窄，创业时间短，创业投入资金比较低，年
<正> 法伊尔阿本德,生于1923年,美国著名哲学家,科学哲学历史主义的重要代表,所著《反对方法》一书,是法伊尔阿本德的代表作,也是科学哲学的重要文献,自七十年代出版以来,几次再版。本文可算是《反对方法》一书的内容提要。
对西安市城区群众性民族传统体育锻炼人群活动点的组织管理状况、参炼距离、锻炼人群对活动点的态度评价，锻炼人群选择的活动点等进行社会调查．具体分析，为民族传统体育在西安市
进入新时代,获得良好的医疗服务是满足人民日益增长的美好生活需要的重要体现。掌握高超精湛的医疗技术是医学生未来治病救人、救死扶伤的基本技能。但是越来越多的医疗实践
自從二十世紀以來,伴隨全球經濟一體化進程加快,歐美發達國家興起新一輪並購潮流。同樣的,我國內地企業並購也隨迸發出活力。本文將以金亞科技股份有限公司入手,一探企業間並
本文立足于目前社区电商发展现状,以其代表企业兴盛优选为例,探讨了社区电商平台用户对生鲜农产品物流配送满意度。并在此基础上,对社区电商生鲜农产品今后的发展提供了相应
频率选择表面(Frequency Selective Surface,简称FSS)作为功能性结构的一个代表,是一种周期性的具有空间滤波特性的频率选择结构。鉴于其电磁特性独特,FSS在隐身领域广泛应用
从提高英语教学质量的关键是教师这一基本点出发，探讨了行动研究在大学英语教师培动中的应用与意义．提出了在开展英语教师行动研究中需注意的几个问题．