可修系统的Petri网模型及其分析

该文可靠性理论引进到Ｐｅｔｉｒ网中，建立可修系统的Ｐｅｔｉｒ网模型，并给出了系统模型的分析方法。通过对一生产系统的模拟，说明该工作的必要性。     

Petri网系统的弱公平性判定

本文首先给出了一个Petri网系统的有效可重复向量的两个性质.随后,又给出了用有效可重复向量判断Petri网系统弱公平性相关问题的一个充分必要条件.在一个Petri网系统中,任意的两个变迁ti,tj,则tj弱公平依赖于ti,当且仅当不存在这样的有效可重复向量X,使得X（j）〉0且X（i）=0.最后,用一个实例展示结论的应用过程.     

着色Petri网的混杂系统仿真平台构架

提出一种以Petri网为仿真进程控制,以着色Petri网与Matlab交互为主题的混杂仿真跨平台构架. 该仿真构架通过运用和扩展着色Petri网中替代变迁的概念,结合融合库所和折叠功能,实现了混杂系统的复杂逻辑建模和连续系统内嵌. 同时,着色Petri网的分析功能在一定程度上缓解了逻辑结构复杂的混杂系统检验困难的问题.最后通过一个混杂系统实例的建模与仿真分析,验证了该平台的可行性与逻辑检验的有效性,为复杂混杂系统的建模与仿真提供了一条新途径.     

基于Petri网的互斥算法

使用库所 /变迁网来描述进程的互斥算法 ,并针对两个进程交替进入临界段算法的不足 ,提出了一种高效率的改进算法     

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

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

基于着色Petri网的电子商务工作流建模研究

工作流技术的核心内容就是工作流建模,但电子商务流程非常复杂,基本的Petri网往往因为细节过多而使其图形复杂,因此通过着色Petri网对电子商务系统工作流程进行建模和仿真.通过对电子商务系统的每一子流程进行建模,并利用仿真工具对模型进行分析和验证,结果表明应用着色Petri网建模可以规范其业务流程,提高其工作效率.     

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

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

工作流网系统合理性的语言特性

工作流系统的合理性是描述事务处理过程的一个基本要求,目前大多是将工作流网系统的合理性转化为对应的扩展工作流网系统的活性和有界性来考虑.该文从工作流网系统的语言角度研究了合理性的特征,给出合理性的一个网语言刻画,从而揭示了这一基本性质的行为特征.文中进一步研究同步合成工作流网系统和组合合成工作流网系统,分别给出这两种合成系统合理性保持的充分必要条件,为复杂工作流网系统合成建模与分析提供了一种新的途径.     

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

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

基于部分状态空间存储的Petri网库所界求解算法

Petri网是一种重要的形式化建模工具,有界性是Petri网的重要性质之一.该文关注于这一性质并提出了一种新的无需存储全部状态空间的算法以求解Petri网库所界,主要思想为在生成状态空间过程中,通过引导消除可达图的部分回路同时结合T不变量的相关性质,以实现通过存储部分状态来精确求解每个库所的界.基于模型检测比赛的公开数据集进行了对比实验,通过对求解库所界的不同方法及其实验结果进行比较分析,说明了本文算法的有效性.     

基于Petri网和基因表达式编程的作业车间调度研究

为了更好的解决车间调度问题,提出了一种基于时延Petri网（TdPN）和基因表达式编程相结合的调度算法。在该方法中,基因表达式编程根据时延Petri网模型中的部分变迁序列来确立染色体,每条染色体表示一种车间调度方案。作者选用了基因表达式的选择、交叉、变异三种类型进行遗传操作,利用延时 Petri网对车间调度过程的仿真,根据变迁的赋时时间获得每条染色体的相应的时间。最后本文结合基因表达式编程具有较好的寻优能力和Petri网对动态的离散事件的过程能进行很好的描述的优点,在文章实验中验证了此方法的可行性。     

针对面向对象着色Petri网的中国列车运行控制系统建模

中国列车运行控制系统是一种典型的复杂实时分布系统,Petri网是其有效的建模、仿真和验证形式化方法.针对系统特征并以列车、无线闭塞中心等构件为基础,考虑列车的实际运行情况和功能类型,采用面向对象的Petri网实现系统动态特征的描述和建模.     

基于多带复小波的多载波DS-CDMA及性能

在分析多载波DS-CDMA (MC-DS-CDMA)的基础上,利用优化生成的多带复小波,提出一种新的基于多带复小波的多载波DS-CDMA,研究了其在瑞利衰落信道下的误码率性能.并采用空间分集合并(SDC)技术进一步完善其上行链路性能.理论分析和仿真结果表明该系统要优于通常的MC-DS-CDMA和基于实小波包的MC-DS-CDMA,具有良好的抗衰落能力;且基于SDC技术的该系统能显著增强系统抗多径干扰和多址干扰的能力,具有较低误码率.     

基于灰色理论的图书馆电子资源绩效评价

以兰州商学院图书馆为例,应用灰色统计理论,计算灰类决策系数并确定决策向量,建立了图书馆电子资源绩效评价的指标体系和评估模型.依据系统评价原则,通过实例对相关的指标体系进行了定量评价,证明评估模型的合理性和可操作性.     

可修系统的最优更换策略

研究了对偶δ-冲击模型的维修问题.在更换策略N下,计算了单位时间的长期平均价格,并通过最小化单位时间的长期平均价格获得了该模型的最优更换策略.最后,给出了一个数值例子来说明本模型的应用.     

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

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

基于绩效的高校教师薪酬制度分析

借助委托代理理论并结合高校教师劳动的特殊性论证了高校教师绩效薪酬制度的必要性,并运用霍曼斯（G..C.Homans）的社会交换理论对基于绩效的薪酬制度的缺陷进行了深层次的剖析。在此基础上,展望了完善教师绩效薪酬制度的方向。     

基于模糊理论的精益绩效评价模型及应用

以完善精益绩效评价体系为目的,按照企业运行过程中部门职能分类,建立具有混合层次递阶结构的精益绩效评价模型,并引入方针管理,采用多层次模糊综合评价法进行求解,得出案例企业各项精益相关能力分数,其中市场销售能力和技术质量能力的分值仅为目标值的42%和52%,并由此确定了案例企业推广精益下一阶段的重点。     

基于复杂系统的阴阳五行模型的公理化证明

探索中医理论的基础之一：阴阳五行生克关系模型的科学性.首先,通过引用文献指出其在中国古典哲学中的直观来源;然后,在系统科学范畴内,以马克思主义辩证哲学中“对立统一”规律作为“公理”,在复杂适应系统框架内,运用演绎推理方法证明了“阴阳五行学说”中原来由“直觉比喻”获得的“五行生克关系”模型.以此,对“阴阳五行学说”成为“阴阳五行理论”推进一步,进一步以马克思主义辩证哲学夯实中医学的理论基础.