基于语言等价的Petri网化简

定义了α闭包表达式和同步交错正规表达式,证明了同步交错正规表达式与Petri网语言的等价性,给出了Petri网语言的结构特征:任意一个Petri网语言都是一个正规语言表达式与α闭包表达式的同步,借助于这一特性,给出了Petri网的化简过程及其算法。     

广义有界上下文无关语言与Petri网语言

提出了广义有界上下文无关语言的概念,该类语言是上下文无关语言的真子集;证明了广义有界上下文无关语言与上下文无关Petri网语言的等价性;进一步给出了上下文无关Petri网语言的一种形式描述--上下文无关Petri网语言表达式,对上下文无关Petri网语言给出了较完整的结构特征.     

正规表达式与恰当终结的标准Petri网

已知一个语言表达式或语言的集合,如何构造产生该语言的Pelri网模型是Petri网语言理论中的一个重要问题.为解决这个问题,引入一种称为恰当终结的标准Petri网模型.研究了恰当终结的标准Petri网语言(无ε-空标注)关于连接算"."、选择(并)运算" "、kleene闭包运算"·"、并行运算"//"的性质,证明了恰当终结的标准Petri网语言与正规语言的等价性,并给出了正规表达式到恰当终结的标准Petri网(带ε-空标注)的转换算法.作为对传统形式语言的有益补充,还给出了带并发算子的正规表达式到恰当终结的标准Petri网(带ε-空标注)的转换算法.     

基于分解的结构复杂Petri网的语言行为描述

Petri网语言是用于系统行为分析的强有力手段，然而给定一个Petri网尤其是结构复杂的网系统。很难直接求解其语言表达式．针对这个问题，通过定义Petri网的库所指标函数，把一个结构复杂的网系统分解成结构简单的子网，即子网中每个变迁的输入库所和输出库所的数目均小于等于1，并分析了这些子网系统的语言特性．利用Petri网语言同步交运算，给出了一种求取结构复杂Petri网的语言表达式的方法，从而为利用网语言分析系统的行为提供了理论依据和方法。     

复合时序事件及其基于Petri网的检测

主动数据库中的规则是由事件驱动的，事件与时间密切相关，然而目前的事件描述语言不能表达时间概念.文章引入了一组一元时序算子，将传统的事件表达式扩展到时序空间，并给出了时序事件表达式的时间语义。为实现对于复合时序事件的增量式检测，定义了标志取代Petri网(TR Petri net)，它可表示最近发生事件消耗语义，并在网上计算和传递事件发生时间、文中给出了相关的数据结构和检测算法.实验结果表明时序算子可以有效地实现冲突消解，应用TR Petri网对复合时序事件建模和检测具有描述简洁和速度快的优点．     

从协议Petri网到Estelle的转换

Petri网和Estelle是国际上流行的两种描述通信协议的形式技术.基本Petri网及其衍生变种具有图形的直观表示和数学的分析方法,在协议工程领域有着广泛的应用.而Estelle类似于程序语言,可对协议进行无二义的描述.本文针对现有Petri网系统的不足,从协议形式描述的角度出发,定义了一种抽象通信特性的协议Petri网,给出了由协议Petri网转换为Estelle形式的方法.基于此方法文章还构造了自动实现转换的算法,并给出了一个实例.     

无界时延混合Petri网(UTHPN)的可覆盖性演变图及性质

时延混合Petri网(THPN)是由David最早提出的一类混合Petri网模型,而构造时延混合Petri网的演变图是对其性质进行分析的有效方法.赵义军等在文[1]中给出了有界时延混合Petri网的演变图构造方法及性质分析,但对无界的时延混合Petri网,其演变图却不能用同样的方法构造出来.在本文中,通过引入无界量符号ω,给出了UTHPN的可覆盖性演变图的构造方法,并在此基础上讨论了UTHPN的有关性质.     

Petri网Ontology：定义与类型

Petri网Ontology是关于库所、变迁和弧的概念模型,其意义在于它定义了用XML描述Petri网结构所采用的全面标记,从而规范了Petri网结构的交换格式。对应基本Petri网、库所/变迁网和高级Petri网分别是基本Ontology、分页Ontology和标签Ontology。PNML性质上就是标签Ontology。作为标准型的标签Ontology,既可给出Petri网Ontology的统一解释,也是对其进一步研究的基础。     

基于FTCPN的工作流模型简化规则与线性推理研究

分布式协同工作流系统的建模和时间性能计算是工作流的一个重要研究内容.针对传统的Petri网不能对工作流系统的不同事件和事件的时间性能进行分析和优化的问题,给出了模糊时间着色Petri网(Fuzzy-timing colored Petri Net, FTCPN)的形式化定义,并给出了基于FTCPN的工作流网四种基本组件模型的简化规则及其线性推理.最后,以汽车车身的协同概念设计流程为例,对提出的方法进行了应用和验证.研究表明:模糊时间着色Petri网能全面描述复杂工作流系统的不确定性时间信息和不同事例的工作状态,对丰富分布式工作流系统的建模理论具有一定的参考价值.     

物流系统三色Petri网建模与分析

针对物流系统的一些特点 ,提出了一种三色 Petri网 .给出了三色 Petri网的基本定义 ,分析了该种 Petri网的性质及建模方法 .基于三色 Petri网对自动分拣系统中的物流控制进行了建模 ,并作了一致性、活性、有界性和安全性分析 .实例建模与分析表明了三色 Petri网的有效性 .     

论大实践视野的信息理性与科学发展的系统思路

哲学的实践转向,根本上,就是实践观的时代性转轨.只有确立诸因素多维度、大时空、全方位的互为目的、手段、中介的大实践观,发掘实践信息的综合现实意义和多维交叉促动的超循环现实意蕴,才能超越形而上学的逻格斯思辨,摆脱资本与符号联盟的抽象发展黑洞.以信息的超循环实践特性、综合现实性取代资本的盲目扩张和分化、异化的抽象逻辑,已经成为时代发展的现实趋势.党的十七大,洞见这种时代趋势,对科学发展观做了深刻阐述,提倡经济社会又好又快全面发展,重视社会发展的全面、协调、可持续等综合特性,重视统筹兼顾的综合方法等,为我们的理论与实践创新提供了一种新的系统科学的思路.     

基于混合遗传的粗集理论在工期目标实现中的应用

提出了一种基于混合遗传算法的相对约简算法,把模拟退火融入到遗传算法中形成混合遗传算法,提高了遗传算法的优化效率,并用这种混合遗传算法寻求最小条件属性集及最小属性值约简.并把该算法引入到工程管理中,提出若干条决策规则,工程管理人员按照这种决策规则进行施工过程的管理,确保在预定时间内完成工程任务.如果对整个施工过程的每道工序都提出决策规则,就可以实现施工过程的智能化管理.     

预测沪深股市市场波动性

研究目的在于:首先,检验和对比三种GARCH模型对于我国上海、深圳股市波动性的预测能力.其次,使用非对称的预测指标以体现对于预测误差高低的不同个体需求.在对于4个对称型的预测常规指标中,TGARCH对于2个市场波动的预测结果都是最佳的,而EGARCH的预测结果也要好于GARCH(1,1).这表明我国上海与深圳市场受坏消息的负面影响大于同等程度好消息的正面影响,而运用单边非对称的GARCH模型将更利于提高波动性预测的准确性.在非对称预测指标方面,研究认为EGARCH模型对于那些更愿意低估市场波动性的投资者而言较为有利,而GARCH(1,1)模型则相应满足了希望高估市场波动性的投资者的需求.这也表明投资者应根据自己的需要来选择相应的波动性预测模型.     

从复杂性哲学看规律的复杂性

以往人们常常将所有认识问题化归为规律问题，而对规律的理解又过于简单化，而从复杂性哲学的角度看，结论可能完全不同。     

铁路运输网络资源配置与组织模式研究

通过对铁路运输资源配置模式和组织模式对系统中的扰动因素传递过程影响的定量研究,建立确定的组织模式下的运输系统附加费用模型,提出对组织模式和系统资源配置的优化模型。     

论现代企业文化结构之功能

社会经济系统在结构变革过程中，催生了“现代企业文化”，这一崭新的序参量，在企业的经济活动中，充分展现了参量系统三大要素的特殊功能，即科学文化的动力功能；道德文化的尽善功能；艺术文化的尽美功能。“真、善、美”的统一，是企业从“经济人”向“伦理人”提升的必经途径。     

超越启蒙时代精神

17—18世纪欧洲启蒙运动把人类从宗教迷信中解放出来,使理性大放光华,但也坠入理性崇拜之中兼有成就和缺失。片面的理性忽略人类的人性存在和用简单性思维方式看待事物,这造成近现代史上新的社会问题。所以我们现在需要超越启蒙时代精神,把理性与人类的人文精神价值结合起来,并建立起适应复杂世界的复杂性思维方式。     

基于DEA方法的供应链效能评估

针对目前对供应链的投入产出效能只能进行定性分析和简单定量计算的情况,把供应链看作一个具有输入输出的系统,以供应链不同阶段的投入为输入指标,以客户对供应链的满意度为输出指标,利用数据包络分析(DEA)方法,建立了供应链投入产出效能评估的数学模型.以企业内部供应链为例,通过MATLAB进行了仿真计算,根据计算结果给出了改进供应链效能的相关建议.     

从整体与部分的辩证关系看系统论与还原论的适用范围

无论是系统论还是还原论，都是以整体与部分的关系作为客观基础的，都是整体与部分的辩证关系在方法论上的反映。还原论反映的是整体与部分的统一性，系统论反映的是整体与部分的对立性，还原论和系统论都只有局部真理性，应该将二者整合在一起，创立现代系统论，使其更好地为科学认识服务。     

考虑发车间隔与乘客人数关系的机场长途巴士时刻表优化设计

本文在考虑发车间隔与乘客人数间关系的基础上研究机场长途巴士时刻表的优化设计问题. 首先证明机场长途巴士时刻表是影响乘车人数和巴士运营成本的重要因素, 其次利用厂商均衡理论分析巴士时刻表与乘车人数之间的关系, 然后针对巴士发车间隔与乘车需求的关系, 建立使机场长途巴士利润最大的不固定发车间隔的时刻表优化模型, 并利用矩阵编码的遗传算法进行求解. 最终得到机场长途巴士各线路上应有的发车数和发车时刻.