基于混合整数规划的一般Petri网死锁检测方法

信标的受控性是检测柔性制造系统(flexible manufacturing system,FMS)Petri网模型是否存在死锁的关键因素.对于普通Petri网,在任何可达标识下所有信标不被清空是检测网系统非死锁的充分条件.然而,该条件对于建模能力更强的一般Petri网并不适用,max可控性条件由此产生.研究证明,该条件对于一般Petri网的死锁检测过于严格了.虽然其后有很多研究者通过改进max可控性条件以求给出条件更宽松的一般Petri网非死锁的充分条件,但大部分的研究成果都仅仅局限于一种顺序资源共享分配系统Petri网模型S4PR(systems of sequential systems with shared resources)网.因此,本文在max可控性条件的基础上提出了新的名为max#可控的信标可控性条件,并在此条件的基础上实现了基于混合整数规划(mixed integer programming,MIP)的死锁检测方法.与现有研究成果相比,max#可控性条件更宽松,可适用于更多类型的一般网,为解决大规模柔性制造系统中死锁监督控制器的结构复杂性问题提供了有力的理论支撑.     

离散制造装配系统的活性控制

首次研究离散制造装配系统的活性控制问题.建立了系统的工件加工过程Petri网 模型.通过对系统Petri网模型的结构分析,提出了导致系统死锁的两类元素结构及活性特 征.对一类离散制造装配系统提出了避免死锁的Petri网控制器,这类控制器容易实现,对系 统的限制小,而且使得受控系统仍具Petri网模型.对一般离散制造装配系统提出了保证系统 活性的控制策略.     

离散制造装配系统的活性控制1)

首次研究离散制造装配系统的活性控制问题.建立了系统的工件加工过程Petri网模型.通过对系统Petri网模型的结构分析,提出了导致系统死锁的两类元素结构及活性特征.对一类离散制造装配系统提出了避免死锁的Petri网控制器,这类控制器容易实现,对系统的限制小,而且使得受控系统仍具Petri网模型.对一般离散制造装配系统提出了保证系统活性的控制策略.     

一类FMS的最佳活Petri网模型的综合

利用Petri网为一类柔性制造系统建模,并讨论避免系统死锁问题.通过Petri网模 型的结构分析,证明了系统产生死锁的一个充分必要条件.给出了避免死锁的最佳控制器,它 可以通过给系统的Petri网模型增加一些新的位置与相应的弧来实现.从而导出了这类制造 系统的最佳活Petri网模型.     

部分可控Petri网分布式死锁监控器设计

研究了部分可控Petri网柔性制造系统中的死锁避免的问题。为了保证死锁避免和资源最大允许利用,提出了基于分支定界法的Petri网死锁监控器的优化设计方法,采用多个子控制节点对全局状态建立分布式监控器,通过行为可行和分布可行对分布式监控器下合法状态空间进行检测,对最大行为可行子集建立线性规划模型求解最大分布可行合法状态集,得到分布式监控器下的最大合法状态子空间。最后,建立了柔性制造系统的部分可控Petri网模型,针对系统的死锁避免等多个行为特性要求,分别设计了集中式监控器和分布式监控器,分布式监控器能有效地避免死锁。     

分布式锁的Petri网建模及死锁检测

分布式锁管理DLM细化了锁模式的粒度,使得分布式系统具有更高的并发性,但死锁检测等锁的管理过程却更加复杂了,Petri网的应用能很好地解决该问题。为分布式锁建立Petri网模型,通过化简和合成建立系统的Petri网模型,借助Petri网的可达标识图实时检测出分布式系统的死锁状态,并查找死锁进程。     

基于Petri网的柔性制造系统一种预防死锁方法

基于Petri网的结构特性分析,研究了FMS(柔性制造系统)一种预防死锁方法.提出了 Petri网的一种特殊拓扑结构--基本信标的概念.在Petri网中基本信标的集合是SMS(严格极 小信标)集合的一个真子集.尤其在大型Petri网系统中,基本信标的集合比SMS的集合要小得 多.对于Petri网的一个子类S3PR,只对每一个基本信标添加一个库所使其不被清空,就可实现 预防死锁,也就是说无须控制S3PR的所有SMS而达到无信标被清空的目的.此外,对于S3PR, 还提出了一种求取SMS和基本信标的方法.相对于现在普遍采用的控制所有SMS来预防死锁 的策略,其具三方面优势.1)只需控制少量的SMS即所谓的基本信标.相应地,添加少量的控制 库所和连接弧,就可得到无死锁或活的Petri网.2)不需要先行计算出极小信标的集合.3)明显 地,这种方法更适合大型Petri网系统.我们通过穿插在文中的一个例子来说明这些方法.     

具有多项式时间复杂性的避免制造系统死锁控制策略

基于系统 Petri 网模型, 研究自动制造系统的避免死锁问题. 对不含中心资源的制造系统, 证明了它只包含安全和死锁两类可达状态. 通过一步向前看的方法, 给出了系统多项式时间复杂性的最佳避免死锁策略. 对一般系统定义了一种辅助 Petri 网. 利用辅助网的最佳避免死锁策略, 提出了综合一般制造系统多项式复杂性的避免死锁策略的方法.     

自动化仓库输送调度问题的建模与控制研究

基于面向对象着色Petri网模型和时态逻辑方法,对自动化仓库输送系统运行过程的调度问题进行研究。建立了系统的面向对象着色Petri网模型,讨论了该过程的死锁分析问题,给出了系统行为的时态逻辑规范和死锁避免的最大允许反馈控制策略。     

基于共享位置的Petri网系统综合与保性

基于Petri网技术及其共享位置(shared places),文章介绍了一种综合设计方法,该方法便于多种设计模型的重用,并且在一定条件下,每一步综合设计过程都能保持无死锁(deadlock free)等Petri网的重要行为特点.对一些特殊的网类,活性(liveness)也能保持.     

嵌入式系统芯片中SM2算法软硬件协同设计与实现

针对现有的椭圆曲线算法系统级设计中开发周期长,以及不同模块的性能开销指标不明确等问题,提出一种基于电子系统级(ESL)设计的软硬件(HW/SW)协同设计方法.该方法通过分析SM2(ShangMi2)算法原理与实现方式,研究了不同的软硬件划分方案,并采用统一建模语言SystemC对硬件模块进行周期精确级建模.通过模块级与系统级两层验证比较软硬件模块执行周期数,得出最佳性能划分方式.最后结合算法控制流程图(CFG)与数据流程图(DFG)将ESL模型转化为寄存器传输级(RTL)模型进行逻辑综合与比较,得出在180 nm CMOS工艺,50 MHz频率下,当算法性能最佳时,点乘模块执行时间为20 ms,门数83 000,功耗约2.23 mW.实验结果表明所提系统级架构分析对基于椭圆曲线类加密芯片在性能、面积与功耗的评估优势明显且适用性强,基于此算法的嵌入式系统芯片(SoC)可根据性能与资源限制选择合适的结构并加以应用.     

基于双数组有限状态机的URL访问控制算法

业务选择网关（SSG）中的访问控制模块从用户请求数据包中解析出URL,并且根据用户的URL访问权限进行访问控制和路由选择。首先提出了改进的有限状态机模型,然后用双数组表示该有限状态机,并提出了优先处理分支结点较多的结点的优化策略。实验证明该算法不仅提高了查询速度,而且占用的存储空间也较少,进一步减少了数据的稀疏。最后将该算法应用在访问控制模块上,实践证明此算法可行、高效。     

直播服务器一般性框架体系设计

基于流媒体服务器设计框架,结合直播服务器本身的功能、特性,并综合考虑波动的网络环境对其的影响,给出一种适用于直播服务器的一般性的实现框架。在这个实现框架中直播服务器由四个功能模块组成:速率控制模块、差错控制模块、质量自适应模块以及缓冲区控制模块。这四个功能模块各自完成特定的功能,并相互协作以使直播服务器系统作为整体提供适应性的视频传输服务。对各功能模块之间的协作和互动关系作了详细的阐述。提出的框架体系可以根据应用需求进行灵活配置以得到适当的实现形式,对开发直播系统具有参考价值。     

灌区灌溉用水量管理系统的研究与设计

基于GPRS无线通讯网络技术,提出了一种采用超声波明渠流量计、巴歇尔槽、液位传感器等原件构成的灌区明渠流量测量系统方案。系统可以及时的将传感器采集到的数据,通过GPRS模块无线传输给监控中心的上位机,上位机将接收到的数据进行分析和处理,进而实现上位机对明渠流量计和数据采集仪等仪器的控制。系统以较低的建设成本实现灌区测流管理的自动化和信息化,相对误差较小,能够满足明渠流量计算的精度要求,且实时性好,可靠性高。     

组态王在十米水位试验台中的应用

水位试验台是对水位计的校准仪器,新的水位台国家标准即将发布.把组态王应用于符合新标准的十米水位试验台中,实现了控制和数据采集.同时使用了研华公司的PCI1711卡,ADAM -4017+模块以及多种接口的水位计,对组态王提供了驱动的设备直接调用驱动,将数据采集到组态王,对于组态王没有提供驱动的设备采用VB开发工具采集数...     

一种分布式网络管理监控系统的研究与开发

针对现在网络监控管理中出现的问题，提出一种分布式网络监控系统的设计方法。设计的网络监控系统分控制端、配置端和节点端等3个子系统。该监控系统是用Virtual C＋＋开发，应用于Windows操作。文章对软件模块设计与网络数据包的拦截技术进行了讨论。这种体系结构将网络监控系统的智能和控制分布到整个网络之中。使得整个管理系统具有自适应、自组织的特性。与传统集中式监控系统相比，此种结构的系统更易于扩充．并提高了管理服务的复用性。     

无线高速接入点中改进的802.1X安全传输机制研究

文章论述了无线高速接入点产品的整体安全解决方案,包括物理层安全、连接层安全、用户层安全、操作维护安全等方面,重点论述了其使用802.1X EAP-TLS实现传输层的安全。由于该产品一个IP端口对应控制模块和通信模块,并有不同的MAC地址,故改进后的方案采用了ACL关联EAP来控制DHCP请求报文是否通过。这种配置方式依赖于交换机的认证模式,该实现机制对将来在无线接入产品中集成安全系统提供了参考。     

Structural on-line control policy for collision and deadlock resolution in multi-AGV systems

In this paper, we present a simple, easily adaptable method for collision and deadlock resolution in transport systems. This method is based on the dividing the transport road network into non-overlapping zones, which enables it to be analyzed as a system of discrete events. The method distinguishes unidirectional zones, which have the feature that the passage between these zones cannot lead to a deadlock. This makes it possible to divide the transport network into segments composed of unidirectional zones and segments composed of other zones. The method introduces a structural on-line control policy (SOCP) which guarantees that the execution of an elementary transport operation does not lead to deadlock. This allows, in general, a global problem to be considered by means of sequentially solved local problems, thus reducing the restrictive constraints resulting from the need to avoid deadlocks. The method is suitable both for central and distributed control system architecture. The efficiency of the proposed method was verified using simulation. Its results were compared with the results of other methods. The comparison was made using examples of three systems differing in their types of roads. The presented results of the simulation studies show a higher efficiency of the SOCP method.     

基于GPRS的灌区明渠测流系统研究与设计

本文基于GPRS无线通讯网络技术,提出了一种采用超声波明渠流量计、流速传感器、液位传感器等原件构成的灌区明渠流量测量系统方案。本系统可以及时的将传感器采集的数据,通过GPRS模块无线传输给监控中心的上位机进行分析处理。系统以较低的建设成本实现灌区测流管理的自动化和信息化,且实时性、可靠性高。