【摘要】随着SDN(SoftwareDefinedNetworking,简称SDN)技术的不断发展,为了更好地满足未来网络发展的需求,设计新型网络体系架构和网络协议逐渐成为新的研究方向,如何能够高效地设计和实现更加符合网络需求的协议成为该方向研究的重点。首先,本文对已有网络协议形式化描述技术和实现技术进行深入分析研究,提出了一种新的网络协议自动化生成方案。该方案使用XML(ExtensibleMa […]

【摘要】随着世界环境的不断恶化和自然资源的日渐匮乏,对产品的再制造引起人们越来越大的关注,具有极大的市场前景。再制造不仅有效地保留了废旧产品的原材料,还通过再制造加工产生了更大的附加值。再制造加工的产品通过拆卸、清洗、检测、再制造加工修复、二次装配等一系列操作工艺后,使用性能将接近甚至优于原产品。为了能够更好地指导新产品的设计以及废1日退役产品的二次利用,就需要建立一套能够客观、定量地反映产品再制 […]

【摘要】可信软件基于软件过程在开发或演化条件下的方法论是当前可信软件及软件工程领域国内外的关注重点。不同于普通软件,可信软件的可信性由其功能需求和非功能需求共同来体现,对可信软件需求进行研究,以及在可信软件生命周期全过程中融入可信性是实现可信软件生产及演化的一个有效途径。在软件过程建模领域,软件演化过程建模方法已经有效地解决了软件开发及演化的通用流程架构,是一种提高软件开发与演化质量以及效率的重要 […]

【摘要】柔性制造系统是由计算机数控机床和物料传输系统构成的可以高效地生产中小批量不同产品的自动制造系统。死锁是设计柔性制造系统控制器时必须考虑和解决的问题。在有些情况下,死锁造成的局部或整体的系统停顿并不单纯地降低生产率,更可能造成重大经济损失甚至灾难性后果。因此,柔性制造系统中死锁的描述、分析及控制对系统控制的实现和运行至关重要。目前,基于Petri网的自动制造系统死锁处理方法大致分为三种策略： […]

【摘要】离散事件系统(DESs)是由离散事件驱动而导致状态演化的一类动态系统,其行为特征为离散事件的异步或并发的演变过程。决定这种演变的不是系统和控制工程领域中用于分析时间驱动行为的微分或者差分方程,而是离散事件错综复杂的运行规则。这使得对离散事件系统的行为进行规划、调度和控制变得极为困难。研究离散事件系统的错误诊断和控制,其目的是发现系统安全性和可靠性保证的一般原理。这些原理可以被广泛的应用到不 […]

【摘要】近年来智能故障诊断技术成为故障诊断领域的研究热点,该技术以复杂系统(设备、元件)的管理、监测和故障诊断为主要内容,以建立故障预防和系统维修体系为目标,在诸多生产实践领域得到应用。智能技术的应用提高了系统故障诊断的科学化、智能化水平,在实践中得到了充分检验,极大丰富了人们有关故障的领域知识。智能故障诊断技术主要包括专家系统、模糊故障诊断、神经网络、信息融合和Petri网等。尽管当前的智能故障 […]