基于随机回报网的机群系统可用性建模及仿真

随机回报网作为随机Petri网的一个分枝,在多个方面扩展了模型的描述功能,提高了建模效率和分析能力。采用随机回报网对机群系统进行建模和分析,综合考虑了机群前端的分配器和后端的服务器对系统整体性能的影响,给出了性能指标的计算方法,并结合实例进行了分析。     

基于有色petri网的多媒体流同步控制

有色Petri网是一种高级网系统,可以为系统建模提供强有力地支持,既可以反映静态结构,又可以描述动态过程。本文针对多媒体的同步控制问题,以信宿端的缓存控制和时间戳为控制策略,建立了变迁时化有色Petri网模型,并对该模型进行了基于Simulink的实验仿真,实验结果验证了该模型的有效性。     

基于净资产的证券投资价值评估模型

对证券的价值评估有多种模式,最经典的是现金流模型,但这种模式对很多企业不分红,而股票的价格仍在上升的状况却不能做出很好的解释。另一种是基于市盈率(P/E)预测的股票价值评估,其缺点是基于不断变化的股票价格,且不能反映上市公司的未来盈利能力。本文把股票价值评估用3个指标表示:每股净资产、每股净资产的增长率和投资回报率,并引入合理预期理论介绍股票价格的连续波动,最后通过实证检验了模型在证券市场的应用。该证券价值评估模式能更客观地反映股票投资价值,从而为证券投资活动中的价值判断提供借鉴。     

基于信息原理的雷达网抗干扰性能评估

在分析研究地面防空雷达网抗干扰原理及现有综合评估方法的基础上,根据信息原理提出了一种综合评估雷达网抗干扰性能的方法,并给出了相应的数学模型。该方法能够全面地反映各种可能情况下雷达网的抗干扰性能,为雷达网这种复杂信息系统的性能评估提供了一种通用可行的思路。     

流程仿真的多层次PERT-Petri网模型

复杂流程中的工序持续时间有着很强的随机性,并存在资源约束问题。首先分析了常见的PERT和Petri网在流程仿真中的应用特点,提出了多层次PERT Petri网模型,给出了该模型的建模过程和递归仿真算法。该模型在上下层次分别采用PERT和Petri网对流程进行描述,充分利用了PERT直观简便的特点和Petri网在随机性和资源约束上的描述能力,有效地解决了复杂流程的建模与仿真问题。最后给出了一个例子,表明该模型更容易理解和构造。     

Application of the Constrained Predicated Nets and Interval Logic to Production Systems

1 .INTRODUCTIONDuetotheireconomicsignificanceandclosenesstopersons,productionsystemsmustbemodeledbeforetheirimplementationanduse,thus,amethodwhichspecifies ,analyzesandsynthesizestheproductionsys tems—discreteeventsystems (DES)hasbeenestab lishedanddevelopedstepbystepinrecentyears.DESmethodspecifiestheplantbasedonitsdiscretecharacters,however,intherealworld ,therearefewplantsthatcanbemodeledbypurelydiscretemathe maticalmodelbecausetherearealwayssomecontinu ousparametersforstudyinnearlya…     

基于单元关系度技术的Petri网模型分解--动态制造联盟网状组织结构优化的基础

针对动态制造联盟最小完备单元图的随机Petri网模型，提出单元关系度分解技术，为求解网状结构的解析式运行指标建立了基础，通过提出单元关系度的概念，计算得到关系度序号，在单元关系度的基础上，按单元不同业务功能关系的优劣次序，将最小完备单元图的单元进行分组，然后，根据不同组内单元之间其原来关系的最高出现频次进行组间连接，最后得到了针对动态制造联盟复杂Petri网模型的分解结果，为优化和改进Petri网系统的运行提供了更直观的控制途径。     

基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.     

计算一类递归方程的增广Petri网模型

递归方程的计算一直是一个较为复杂的问题,为更好的解决这一问题,建立各种模型是十分必要的.斐波那契数列是一个著名的递归方程,在这个方程的基础上,针对同类的递归方程建立了增广Petri网模型,并对模型的运行进行了分析.     

两个智力问题的增广Petri网模型

给出人携带狼,羊,白菜安全过河问题的增广Petri网模型及著名的用餐哲学家问题的一个无饥饿解的增广Petri网模型.