广义随机Petri网对交换机过载控制机理研究

在分析阻塞呼叫控制机理的基础上,用广义随机Petri网(GSPN)对数字交换机中另一种常用过载控制机理——延时呼叫控制,进行了描述与分析,建立了其GSPN模型。通过对模型求解,得出了采用控制后系统性能的解析表达式,以及与控制严密程度之间的关系,从而定量分析并评价了这种控制机理的控制特性。最后,对两种控制机理的结果进行了比较。     

用于描述排队系统的广义Petri网

本文推广了Petri网的概念。新定义的广义Petri网可用于描述排队系统,文中给出了用广义Petri网描述排队系统,即建立排队系统的广义Petri网的步骤,还给出了关于广义Petri网的一些初步结果。     

通信网中窗口流量控制的随机Petri网分析

本文将随机Petri网与排队论相结合,对分组交换网中的窗式流量控制机理进行了描述与分析,建立了窗式流量控制机理的随机Petri网模型,并给出了随机Petri网模型的可达图及状态转移方程.     

基于广义随机Petri网的贵港生态工业园资源利用率分析

资源利用率是评价生态工业园运行绩效的重要指标,资源高效利用是生态工业园建设的基本要求.本文以广义随机Petri网作为建模工具,以贵港生态工业园作为研究对象,通过构建贵港生态工业园物质循环网络的广义Petri网模型,利用广义随机Petri网模型与马尔科夫链的同构关系,分析了贵港生态工业园关键资源的利用率以及重点加工环节运作效率,指出了贵港生态产业园资源利用过程中有待改善的环节,为贵港生态工业园的优化和改进提供了依据.     

基于广义随机Petri网的MVB网络吞吐性能分析

基于Petri网模型的建模分析方法,对多功能车辆总线网络的吞吐性能进行了分析.首先建立了MVB网络的广义随机Petri网(GSPN)模型,并逐步压缩和简化以便于分析.之后在随机离散有穷状态马尔可夫过程理论基础上,对该模型进行分析计算.同时采用了随机Petri网计算机辅助分析软件TimeNET建立模型和仿真.给出了MVB网络单纯过程数据的报文吞吐量,有效数据传输能力和带宽利用率等性能参数.结论指出广义随机Petri网是对网络协议进行分析的有效工具.     

基于随机Petri网的NAT-PT协议的性能分析

网络地址翻译与协议翻译(NAT-PT),是IPv6(In-ternet P rotoco l vers ion 6)过渡协议中非常重要的一种。地址池是NAT-PT中的重要概念,其大小对于NAT-PT的性能起着关键的影响。该文的主要研究目的就是获得性能和地址数量上的平衡点。该文使用随机Petri网对NAT-PT进行形式化描述,建立了其广义随机高级Petri网模型和广义随机Petri网模型。并且通过工具包SPNP(S tochastic Petri N etPackage)计算分析得到了一定主机数量下地址池大小的近似最优化结果,同时对NAT-PT地址翻译的系统吞吐量进行了评价。当地址数量为近似最优值时,不仅可以节省地址分配,而且系统性能几乎不受影响。     

流体随机Petri网的混杂自动机模型

为了克服数值分析方法在流体随机Petri网模型检验中的缺点,根据形式化方法,本文提出了借助混杂自动机实现流体随机Petri网模型的分析和验证的有效方法,同时介绍了流体随机Petri网到一阶混杂Petri网模型的转化方法.并根据改变不变行为状态事件之间的相互作用提出了正确的一阶混杂Petri网模型行为演变算法,在此基础上给出了流体随机Petri网的混杂自动机模型构造方法.实例分析表明,借助一阶混杂Petri网的行为演变及混杂自动机能够有效地实现流体随机Petri网模型的分析与检验.     

混合随机Petri网

二阶流体随机Petri网是一种用于计算机和通信系统性能与可靠性评价的建模机制.混合随机Petri网是对二阶流体随机Petri网的进一步拓展,其中,流体跳跃弧作为建模原语被赋予瞬时清空与之相联接的连续库的功能.给出了混合随机Petri网随机标识过程的动态方程,在该方程的推导中,首次将同时伴有流体跳跃发生的离散状态转移考虑在内.最后对流体流动速度随连续标识变化的情况下的边界条件进行了分析,使得可直接用数值方法对动态方程进行求解.     

制造系统工作流设计的校验和性能分析方法

基于广义随机Petri网提出了对工作流的 流程和资源角色分配的转化规则。在此基础上, 得出了在虚拟企业中，重组流程、资源和角色的网模型正确性和稳定性应该具备的条件是：安全、活性和标记守恒。对制造系统重组变化性能的定量分析，可以通过对工作流转化的广义随机Petri网的稳定状态概率进行模拟计算和评价，它为敏捷化快速重组优化找到了有效的手段。最后，通过实例说明了判定和分析的一般步骤。     

数字Petri网的数字控制系统描述工具

通过引入数字位置，数字变迁和采样周期等概念，提出一种新型Petri网——数字Petri网(DPN)，分析该网的特点及其运行规则，并用该网对数字控制系统进行建模．     

嵌入网SCP过载控制模型与算法的研究

嵌入网的SSP是设在端局,其业务流量比较大.在嵌入网中直接使用为叠加网设计的SCP过载控制算法会由于部分SSP过载而使SCP过载控制算法的性能下降.针对这种情况,首先定义了一种嵌入网的排队模型,然后根据这个排队模型设计了一种基于网络的SCP过载控制模型和算法.理论分析和实验结果表明该算法能够有效地对SCP和SSP的过载进行控制.     

基于MSP430和CS5460A的无线抄表系统设计

介绍了主从机结构的无线电量抄表系统。该系统以低功耗MSP430单片机为核心,采用先进的电能计量芯片CS5460A采集处理电量信息,并通过无线射频模块nRF905实现主机和从机的通信。该系统可以完成自动抄表、远程监控、过载报警、断电重启等功能;实现了对电能检测的自动化控制和数字化管理。     

浅谈目前治理超载超限存在的问题及应采取的对策

治理超载超限是交通管理中的一大难题。论述了超载超限的危害，针对目前治理超载超限存在的问题，提出了治理超载应采取的对策。     

智能电力调整器的设计与实现

传统的电力调整器作为冶金、化工等领域电加热设备专用的以晶闸管为基础、智能数字控制电路为核心的电源功率控制设备,面临着功率因数低、通讯功能差、控制精度低以及工作谐波大等严重问题。因此设计了一种全数字化的智能电功率控制装置,利用计算机控制、微电子技术、电力电子技术等方法,实现了电力功率控制的网络化和智能化;采用485串口通讯、功率输出均匀分配算法等技术实现了多台调整器的集中控制与管理。并且以数字化控制方式完善了过载和负载短路保护功能,提高了设备的可靠性和工作稳定性,满足了大规模生产环境下集群控制的要求。具有控制参数设置和工艺参数设置方便、控制精度高、电能利用率高、过载和短路保护能力强、安全稳定等特点。通过试验分析,得到的数据结果表明其工作满足了当初设计的精度要求,极大程度的提高了电源功率的使用效率。     

基于显性用户特征的数字电视节目推荐系统

为了解决数字电视系统节目“信息过载”问题。阐述了解决该问题的数字电视节目推荐系统的背景、概念、结构和原理,提出了基于商用播出数字电视平台和显性用户特征的数字电视节目推荐系统中节目特征、用户特征的设计思路,提出了一种修正的基于显性用户特征的推荐算法,设计的数字电视节目推荐系统目前已进入实际运行测试阶段。测试结果表明:该文提出的设计方法与推荐机制产生的推荐结果能够符合用户的收视特性,达到75%以上的正确率。     

Risk Control of Transmission Line Overload for Wind-Integrated Power Systems

With the rapid development of the wind generation, uncertainties of random wind and load bring some inevitable impacts on the security of power system. Once the uncertainty causes line power to exceed its limit, line overload will occur. The paper presents the risk control of transmission line overload for windintegrated power systems. Firstly, a risk control model of line overload is proposed considering the uncertainties of loads , generator outputs and wind powers. The generation cost and security level of system associated with overload can be optimally controlled. Then path following interior point method is employed to carry out the optimal control. Finally the simulation is made on the modified IEEE-30 bus system. Results show that the risk of line overload is effectively reduced through the optimization of control variables.     

旋转弹用微惯性测量组合数模混合信号采编系统设计

针对某型号旋转弹用微惯性测量组合实际应用需求,设计并实现了一种基于FPGA的大容量微惯性测量组合(MIMU)数据采编系统。以ADS8365采样转换模拟量,以MAX3490实现RS422接口信号电平转换。将MIMU输出的数据存储到FLASH存储器中,实现对弹体整个飞行过程中信息的准确采集。探讨了系统硬件电路搭建、时序逻辑控制设计方法,重点叙述了FPGA控制数据采编与存储时序逻辑设计。实验证明该系统很好地实现了对MIMU输出的数模混合数据的采集,具有小型化、低功耗、抗高过载等优点,非常适用于惯性导航中需多通道混合数据采集的应用场所。     

通信网的过载及其控制

网络过载是影响网络效率、造成长话接通率降低的一个重要原因.本文通过对网络过载的模拟,分析了过载的特性及其导致拥塞的原因,探讨和比较了两种过载控制方法的有效性.     

浅析高校机构知识库构建

机构知识库是秉承知识自由理念而设计和创造的一种开放存取的数字化知识产品,对于高校机构知识库来讲,只有在平台打造、内容建设以及相关制度建设等方面做好充足的准备,才能真正发挥其功能,达到促进知识传播和学术交流的目的。