对一个Petri网进程表达式的探讨

Petri网进程是Petri网分析和验证的有效手段,而Petri网的进程表达式可以给出系统全部进程的描述。针对文献《一种基于同步合成构造Petri网进程表达式的方法》提出的基于同步合成的Petri网表达式构成方法中的一个引理进行深入研究,并通过一个反例,说明这种方法的错误之处。     

子网行为等价的特殊网系统的同步距离

同步距离是刻画事件之间同步关系的一个重要的定量分析手段,已经有相关文献表明它对系统的设计和分析提供了很大的帮助,尤其在工作流和工业生产控制系统的协调结构设计方面有着显著的优势。然而目前只有一些特殊的子网中变迁之间的同步距离计算有较简洁的算法,为了使得更多的网系统其同步距离计算也能够有简洁的算法,证明了若一个网系统的行为等价与某个特殊的子网,那么此网系统中变迁之间的同步距离的求解就可以转化为其行为等价的特殊子网的同步距离的求解问题,并且给出了寻找其行为等价的特殊子网的算法,最后进行了相应的实验验证。     

基于时延Petri网的并行程序的分析

在分析并行程序时,很多问题需要考虑,如通信、同步、数据划分和分配、负载平衡、容错、异构、死锁及竞争等问题,采用一般方法是很困难的.时延Petri网能够很好地描述这些问题,使并行程序的分析变得简单,且有利于并行程序的分割.给出了并行程序的时延Petri网建模方法,并对一个实例进行了分析,得出了并行程序的Petri网模型,对并行程序的分析及验证打下了基础.     

一个新的基于时间Petri网的多媒体同步模型

多媒体同步是多媒体应用的一个重要需求。本文提出了一种基于时间Ｐｅｔｒｉ网的多媒体同步模型,以对具有时间约束关系的多媒体合成进行抽象和形式化描述,并给出了处理异步用户交互的算法     

组播广播单频网中同步误差影响分析

介绍了一种包括ISI和ICI的性能分析方法。并用该方法对组播广播单频网因载频同步和时间同步误差引起的性能下降进行了分析。     

浅析远程教学软件中的同步机制

本讨论了有关远程教学中的同步机制，从多媒体同步和同步传输两个方面进行了分析，并借助Petri网理论进行了模型描述。     

浅谈广播电视数字通信系统的网同步

介绍了广播电视实现数字传输的特殊性,分析了网同步的必要性、方式及时钟类型,从时钟的工作模式、SDH(同步数字体系,Synchronous Digital Hierarchy)网同步的工作方式和SDH网元的定时方法等,指出只有实现数字通信网的网同步,才能实现数字节目的正常接收和交换。     

基于Petri网的多媒体同步模型

多媒体同步是多媒体系统的关键问题,而同步模型是同步技术的基础。介绍了在建立于Ｐｅｔｒｉ网基础上的经典多媒体同步模型ＯＣＰＮ,介绍并评价了几种扩展的Ｐｅｔｒｉ网同步模型ＸＯＣＰＮ,ＤＴＰＮ和ＩＭＰＳＭ。最后进行了总结,指出了目前同步模型中存在的问题并对今后的工作进行了讨论。     

数字电话网的同步问题

本文从滑码对通信质量的影响开始,提出了全程滑码率的标准,并对CCITT建议的G.822内容进行说明。本文分析了网同步的方法与网络结构,提出了各种同步的网络结构及在各种情况下的选用方法。     

同步合成网的结构性质分析

研究了同步合成网的结构性质,给出了同步合成网保持子网结构性质不变的条件。结果表明：同步合成网对某些结构性质可直接保持,而对另一些结构性质,需在某种条件下保持。这些结果可为网系统同步合成提供有力手段。     

无线传感器网时间同步算法的比较

随着无线传感网的应用领域不断扩大,基于无线传感网的时间同步协议已经受到越来越多的研究人员的关注。以时钟模型为基础,就几种经典的无线传感器网时间同步协议,根据协议的原理分析了这几种协议的误差来源;并对萤火虫同步算法的原理作了论述,这种算法是通过由脉冲耦合振荡器发出的一系列脉冲信号来改变节点振荡器的相位,从而达到同步。为今后时间同步协议精度和效能的研究提供了一定的参考。     

楼宇门禁系统基于petri网的分析和设计

Petri网具有优势,比如同步、并发、冲突等特点,因此可用来对复杂系统进行建模。但是在复杂的系统建模过程中,设计者会常遇到子系统的合成问题,本文介绍了一种共享P-型子网的合成。本文以楼宇门禁系统为例,分析了门禁系统的各种情况及该情景下的Petri-网模型,最后根据各个Petri子网的特点,采用了共享P-型合成方法,合成为一个系统的整体建模图。     

低压环形微网的分层控制方式

低压环形微网的供电可靠性高,且能增强分布式电源的接入能力。针对单环网和多分段多联络的城市配网,分析了低压环形微网的接线方式,研究了环形微网的两级分层控制,将环形微网中满足孤岛运行的子微网按区段划分,利用区段与不同元件的连接关系形成关联矩阵,状态切换过程中分别对隔离和重连区段进行判断重新构造关联矩阵,由此确定微网运行状态转换方案,并采用中央控制器实现了不同运行状态的同步重连控制。利用MATLAB/SIMULINK仿真软件建立了环形微网模型,分析了不同状态转换和同步过程中微网的动态特性,验证了提出控制策略的正     

关于Petri网中同步距离定义的研究

同步距离是描述2个事件间同步的一个重要的恒定性质,反映了2个变迁之间的独立程度。它对系统的设计、分析和优化提供了很大的帮助。文章研究了Petri网中的同步距离的定义,通过实例分析指出原有定义适用于含有有向回路的网系统。随后将原有定义细化,引入公平性、亚公平性、T-跨来定义新的同步距离。新定义将处于非公平关系的变迁根据亚公平关系分2类情况考虑;对于处于公平关系的变迁根据T-跨分3种情况,讨论了同步距离的求解,并通过实例解决了原有定义存在的问题。     

时钟保护倒换过程分析及时钟ID的应用

在SDH网中，各个网元通过一事实上的时钟同步路径一级一级地跟踪到同一个时钟基准源，从而实现整个网的同步。通常，一个网元获得时钟基准源的路径并非只有一条，比如在一个环型SDH网络中。某个SDH网元既可以跟踪西向时钟，也可以跟踪乐向时钟。这两个时钟源都来渌于同一个基准。为避免由于一条时钟同步路径的中断。导致整个同步网的失步。必须考虑同步时钟的保护倒换问题。也就是说。当一个网元所跟踪的某路同步时钟源丢失的时候，要求该网元能自动地倒换到另一路时钟源上。这就是时钟的保护倒换。     

多涡卷混沌吸引子个数连续变化的同步方法

提出了一种多涡卷混沌吸引子个数连续变化的同步方法;基于Lyapunov稳定性原理,设计了一个同步控制器;同步控制器能在保持不变的情况下,使吸引子个数连续变化的多涡卷混沌系统保持同步;以Colpitts网格多涡卷超混沌系统和超混沌Lorenz系统的同步为例,进行了数值仿真研究,仿真结果表明所设计的同步控制器的有效性。     

DVB-T调制器单频网同步系统的设计与实现

通过分析地面数字电视广播单频网调制器的同步工作原理,介绍了如何利用SDRAM实现单频网调制器的延时同步功能,并重点论述了SDRAM控制器的设计.该设计基于FPGA,采用Verilog HDL硬件描述语言进行编程实现,具有较好的通用性,可适用于其它需要大容量缓存的应用场合.     

城市道路交通仿真系统混合Petri网建模

城市道路交通系统是一个离散和连续相结合的混合动态系统，具有动态、并发及同步等特征，混合Petri网可以很好地描述城市道路交通网的静态属性及动态行为，为此给出了混合Petri网建模实例，并对模型进行了仿真运行分析，最后介绍了城市道路交通仿真系统的仿真策略与仿真流程图。     

基于SCDMA的HFC网上行通信研究

光纤同轴混合网 ( HFC)是当今宽带接入网研究中的一个热点。针对 HFC网上行信道受噪声干扰严重的情况 ,提出了采用抗干扰能力强的同步码分多址 ( SCDMA)作为复用方式。分析了 SCDMA的多址接入性能 ,在此基础上 ,通过进一步研究 ,选择 Walsh码作为扩频序列 ,QPSK作为上行调制方式。     

变速恒频双馈风力发电系统的励磁电源

给出了变速恒频双馈风力发电系统中交流励磁电源的控制方案.在基于电网电压定向的基础上,分别对转子侧变换器和网侧变换器进行了研究.分析了双馈电机数学模型,并对空载并网控制策略进行了设计,实现了系统在变风速条件下无冲击电流并网.采用直接电流控制对网侧变换器进行控制,并实现了能量双向流动,功率因数可调,使双馈风力发电系统能运行在次同步和超同步两种状态下.实验结果证实了理论分析的正确性和控制策略的有效性.