带RCH抵消策略和伪障碍的Geom/Geom/1休假排队模型

在离散时间Geom/Geom/1工作休假排队系统中,同时考虑带RCH抵消策略与伪障碍两个因素,丰富了原有的排队论模型.应用拟生灭链和矩阵几何解的方法,得到了模型各状态的稳态分布,以及队长和等待时间在稳态条件下的随机分解.     

带有止步和中途退出的两阶段服务的M/M/1/N多重休假排队系统

研究一个带有止步和中途退出且具有两阶段服务的M/M/1/N多重休假排队系统。利用马尔可夫过程理论建立了系统稳态概率方程组,并利用分块矩阵解法,得到了稳态概率的矩阵解。然后由此得出了系统的平均队长、平均等待队长和顾客的平均损失率等性能指标。     

带负顾客、止步和中途退出的■单重工作休假排队系统

在单重工作休假中加入止步和批量到达2个因素，建立了带负顾客、止步和中途退出的■单重工作休假排队系统．利用马氏理论和矩阵法建立了系统的稳定状态方程组，同时得出了其稳态概率的矩阵解，获得了系统稳态下的一些性能指标．     

协同设计中基于混合Petri网的云工作流表示模型

针对目前协同设计中业务过程描述能力不足和柔性差等问题,从并发性、可伸缩性和协同性等五方面进
行分析,提出了一种在空间上三维分布的Petri网建模方法. 将组合、颜色和定时约束Petri网引入协同设计的流
程建模之中,设计了协同设计下云工作流业务流程的HPN(hybrid Petri net)模型;运用随机Petri网的思想对协
同设计各流程流转、工作效率等进行分析,详细分析了其性能指标,验证了模型的可达性,并从业务冲突及模型分
解等方面提出了优化.     

基于函数Petri网的有毒雾霾对地表自然生态环境的危害性评价研究

为了全面评价有毒雾霾对地表自然生态环境的危害性,提出了基于函数Petri网的有毒雾霾对地表自然生态环境的危害性评价方法 .首先,在一般Petri网的理论基础上定义了函数Petri网,给出了函数Petri网的变迁触发规则和库所状态值的函数表达式;其次,利用函数Petri网的网部分描述危害的组成结构,网系统的运行反映了危害产生的过程,建立了基于函数Petri网的有毒雾霾对地表自然生态环境的危害评价模型,并结合模型提出了危害性评价的综合指标——"危害度"的概念和计算方法,给出了危害性评价的基本步骤;最后,通过实例对有毒雾霾对地表自然生态环境的危害性进行定量和定性评价,根据评价结果提出了减轻生态环境破坏的建议.     

基于随机Petri网的客户/服务器模型及其分析

提出了一种基于随机Petri网的客户 服务器模型 ,模拟了客户 服务器系统的基本工作原理 ,在此基础上 ,利用随机Petri网的时间特性对该模型进行了定量分析 .     

基于赋时层次着色Petri网的混杂系统建模与行为分析

大型混杂系统的复杂性使建模与行为分析面临巨大挑战. 为此,提出一种基于赋时层次着色Petri 网的建模方法,以离散事件驱动为主线,将连续部分模型通过扩展变迁嵌入到离散模型中. 离散部分和连续部分分别利用各自领域里的专业工具建模,通过通信接口交互实现混杂交互仿真,同时保证整个系统的数据一致性和时间同步性. 在进行混杂系统行为分析时,根据Petri 网的结构化分析方法得到混杂系统的不同行为模式,针对各模式进行多属性仿真分析. 最后通过一个导弹防御系统的例子说明该建模分析方法的可行性.     

基于Petri网的虚拟仪器软件评测研究

评测虚拟仪器的软件是研发虚拟仪器的重要工作内容,直接关系到虚拟仪器功能、性能、测量精度等的稳定性、可靠性、可信度.现有的基于UML构件测试模型等多种评测方法各有优缺点.该文探讨基于Petri网模型的虚拟仪器的软件评测方法,该方法根据例用组合虚拟仪器中功能模块之间的关系建立相应的Petri网模型,然后依据Petri网模型生成测试用例,辨识在测试用例作用下相关功能模块输出的结果是否符合要求.试验结果表明,该方法具有评测结果可信度高,测试用例生成方便,测试用例选择判据充分性好,可应用于设计通用组合虚拟仪器软件评测系统.     

负顾客到达的Geo/G/1重试排队系统及在通信网中的应用

研究了具有负顾客到达和一般重试时间的离散时间Geo/G/1重试排队系统.分析了其嵌入马氏链,得到了系统稳态存在的充要条件,利用补充变量法得到了系统演化的平衡方程组.通过求解这些平衡方程得到了嵌入马氏链的平稳分布.进而得到了一系列重要的排队性能指标.最后将此排队系统应用到蜂窝移动通信通信网中.数值实例说明系统各参数对排队性能指标的影响程度.     

反馈校正的期望特性法

反馈校正的期望特性法是通过反馈环节的传递函数与系统开环传递函数间的近似关系,建立满足系统性能指标的期望特性,以确定反馈校正装置的参数。必要时,还可根据反馈校正的形式要求,同时采用串联校正和反馈校正.