排队系统的随机Petri网描述与分析

研究了用随机Ｐｅｔｒｉ网描述的基本排队模型，提出了对复杂系统建模的组合方法，并结合通信网中若干实验问题尝试了用随机Ｐｅｔｒｉ网对排队系统建模、分析的一般途径。     

用时序Petri网对网络协议进行描述和验证

根据时序Ｐｅｔｒｉ网理论，将其作为一种系统模型对ＩＳＯ参考模型中类型１和类型２的连接和释放阶段进行形式描述，验证其面向通讯方面关于安全性，回归性及推进性等方面的特性，并对网上周期性点火的最大可计算速率进行了估计。     

基于Petri网络结构的死锁分析与检测

本文在死锁定义的基础上，讨论了死锁的性质，分析了结构死锁的物理意义，并且给出了死锁的检测算法与分析。     

基于Petri网的装备物流管理模型

基于物流理念和Petri网理论，提出了扩展参数Petri网概念，建立了军队装备管理物流模型．本模型以实现网络化管理为目的，运用物流管理的先进模式和EPPN分析并发事件的能力，从物资调度、物资储备、库存查询等方面，对装备物流管理进行了定性的分析和描述．     

构件系统结构的Petri网方法描述

通过分析已有的ADL体系结构描述与分析方法,表明当前ADL难以有效地支持软件开发全过程和保障其可信度及服务质量。对当前Petri网在构件系统描述中的应用情况及其存在的问题进行了分析,讨论了基于Petri网进行构件系统建模时系统体系结构描述及结构演化等问题,表明Petri网方法在构件系统建模中具有较大的优势。     

基于Petri网求解网络最大流的并发仿真方法

通过将网络映射为Petri网形式的大量Petri网仿真实验得知,没有任何控制且并发运行的网络,其流量不能总是自行达到理论最大值,究其原因在于托肯在路径选择时随机经过了易拥堵结点与不拥堵结点。针对性地采取相应的网络控制策略,对网络从库所参数、弧参数和变迁参数3个方面进行单一或组合的设置,使得托肯优先经过不拥堵结点。运行调整后的网络,托肯沿网络从起点出发在各个局部并发地移动,遍历每一可能达到的结点,直至终点,网络流量达到其理论最大值,网络流实现全局最优。基于Petri网求解网络最大流的并发仿真方法为大规模网络最大流问题的分布式计算提供了一个新思路。     

基于Petri网模型的异步并发性

通过分析Petri网的网状结构特性,研究其描述异步并发的能力和特点．然后以Petri网的角度重新定义异步并发的概念,并结合实际异步并发应用中的特性,完成建模过程分析．最后,以教务系统中排课系统Ajax的异步传输机制为例建立模型,指导和检验系统的运行情况．     

基于着色Petri网的资源共享问题的研究

Petri网具有严格的数学定义与直观的图形表示，又有丰富的系统描述手段与行为分析技术：是一种适合于描述异步并发竞争机制的系统模型。不同进程对系统资源存取的同步与互斥是资源共享系统中的关键问题，解决多个进程共享资源同步与互斥的传统方法有：加锁机制、信号量机制和管程机制等。本论文基于着色Petri网理论，以计算机操作系统中的经典哲学家问题为引例，提出了基于着色Petri网描述与解决资源共享与同步问题，并用CPNTools工具进行了仿真，取得了简明直观的效果，为解决资源共享问题提供了一种新的研究方法。     

制造系统的Petri网建模

应用Petri网对作为离散事件动态系统的一个简单制造系统进行了建模分析,阐述了Petri网建模的主要特征及方法,介绍了Petri网在制造系统描述中的应用,并以某机器制造车间为研究对象进行了实际建模,给出了相应的Petri网模型.     

PLC控制系统的Petri网模型研究

运用Petri网方法，给出了PLC控制系统的建模准则，在此基础上，对PLC控制系统进行了性能分析和仿真研究。     

Petri网方法及其在离散事件动态系统研究中的应用

从计算机集成制造系统(CIMS)应用的角度对Petri网方法进行介绍,包括Petri网基础理论和重要性质,并对其在离散事件动态系统中的研究进展进行评述.     

丝杠螺母驱动平行四杆升降机构的设计与分析

在阐述了牙科用椅传动机构传动特点的基础上,对升降机构进行了相关的分析研究与综合,计算得出了升降机构推程力的数值,确定了传动机构各部件的尺寸参数,校核了丝杠螺母机构的自锁性能．依据确定的传动参数对丝杠的强度性能、螺纹的强度性能、丝杠螺母机构的稳定性进行了验算,从而设计出了满足机构要求的丝杠螺母机构,此外对其传动效率进行了计算,为升降机构的设计提供了理论依据,并对驱动系统的选型具有一定的参孝价值．     

机械系统相似性分析原理

阐述了系统与机械的关系,提出机械系统相似性分析一般原理。引入熵的概念,进行系统动态分析。结果表明,相似系统理论在机械学中的应用是一个值得注意的新领域。     

柔性多体机械系统动力学递推方程

基于Ｊｏｒｄａｉｎ变分原理建立含闭环的复杂柔性多体机械系统递推形式动力学通用方程．用图论描述系统的拓外结构，分别用铰相对坐标与模态坐标描述相邻物体间的大位移运动及物体的弹性变形．对含闭环的系统，用铰切割方法建立相应的运动学约束方程，结果为一组拆合形式的动力学递推方程和折合形式的加速度约束方程，适合于建立该类系统的并行计算方法和用于实时动力学仿真。     

链式结构非线性系统的动力响应分析

提出了一种分析链式结构非线性系统动力响应和稳定性的数值计算法.它采用新的传递向量{f~T|e~T,1)={f~T|e~(*T)}和新的变换f=s~*e~*,简化了Riccati传递矩阵法并将其扩展用于分析链式结构非线性系统的动力响应和稳定性上,同时改进了Riccati传递矩阵法的数值稳定性.文中就一非线性转子系统,分别用本法和Runge-kutta法做了编程计算.通过两算法结果的比较,验证了本文方法的有效性和稳定性等多种优点.特别是,应用本法可在一般微机上分析较大型链式结构非线性系统的动力响应和稳定性.     

多延时时变系统的Taylor级数分析

研究了用Toylor级数对多延时时变系统的近似求解。通过使用延时、乘积及积分运算矩阵,将系统求解简化为解一组联立方程组,为多延时时变系统的分析与设计提供了又一条途径。所给出的算法适合计算机实现。文中的算例验证了本文方法的有效性。     

用WALSH函数对线性时变系统进行分析和最优控制

本文将序率排列的WALSH函数应用于解线性时变状态方程和线性二次型的最优反馈控制上.导出了正向和逆向积分的运算矩阵.给出了状态方程在已知初值、末值或两点边值条件下的解以及矩阵Riccati方程的解.     

复合材料层板分层伴以横向裂纹扩展的层间应力分析

本文首次提出了分层伴以横向裂纹扩展的三维有限元模型，对典型铺设的［０２／±４５２／９０２］５碳／环氧复合材料由于其分层伴以横向裂纹损伤产生的层间应力进行了分析。计算结果表明层间裂纹首先在９０°层中部出现并开裂至相邻界面处而产生横向裂纹，横向裂纹的出现引起局部分层接三角形状扩展，并指出分层损伤过程是一个主导性的稳定扩展过程，也是导致刚度下降的主要因素。数值计算结果与试验结果是吻合的。     

电力系统动态电量快速变送的优化组合式计算方法及装置

基于全面论证，使用积分法计算电压、电流、功率、功率因数等的综合有效值，使用实序列优化ＦＦＴ算法进行谐波分析。经过有效压缩的变送器输出信息，仍能全面反映电气量的各种参数，而又使通讯通道的信息传输量大为减小。设计合理的微机及电子电路、畸变同步信号的预处理等整套装置，高精度四字节浮点运算等，研制成微机型电量变造器，具有更全面的功能、更快的速度和更高的精度。