基于SPN的LEO卫星网络建模分析

针对LEO(低轨)卫星网络的通信过程建模技术进行了研究,首先建立了LEO卫星网络通信过程的随机Petri网(SPN)模型,然后,在给定参数条件下,通过求解与SPN模型同构的马尔可夫链所对应的线性方程组,得出了性能指标--平均时延、平均吞吐量和LEO卫星节点间带宽利用率的数值大小.所采用的建模与性能评价方法将有助于卫星网络的构建和进一步的性能分析.     

戴维宁定理在电路分析中的应用

戴维宁定理(又称等效电压源定理、等效发电机原理),它在电路分析中有重要作用.在只需求解某一复杂电路中的某一支路的相关量时,应用戴维宁定理求解比利用其它方法求解更简便.同时,对网络进行正弦稳态分析、对含有受控源的有源二端电阻网络的分析、对含受控源的网络进行正弦稳态分析时,均可用戴维宁定理来进行.     

电路定理在分析模拟电路中的应用

基于模拟电子基本放大电路的非线性,研究了应用电路定理（基尔霍夫定律、叠加定理、戴维南定理）分析和求解模拟电路（理想运放电路、放大电路等）的方法.应用该方法可以降低电路的分析难度,简化解题过程,缩短解题时间,减少分析误差.同时,还可提高学生运用电路定理分析、解决实际问题的能力.     

小波分析在抽样定理中的应用

在信息处理和传输中，抽样是一个重要的考虑内容，而抽样定理则是基础。现在几乎所有的数字化仪都是依据Ｗｈｉｔｔａｋｅｒ－Ｓｈａｎｎｏｎ抽样定理制造。Ｗ－Ｓ抽样定理的数学证明十分简单，但包含的物理内却相当丰富。     

基于SPN的软件过程模型及蒙特卡洛仿真

研究了软件过程的随机petri网(SPNs)模型及仿真分析方法，利用SPN基本原理与描述方法，分别建立了软件过程基本活动SPN模型以及各种关系诸如顺序、并列、选择等的SPN模型；讨论了SPN模型的仿真策略；采用蒙特卡洛方法分析了过程系统的进度与资源冲突等问题，并讨论了该方法的精度。     

协同服务模型及其在电子商务中的应用

针对协同服务的结构关系和特点,研究了协同服务模型,将协同服务模型分为内部服务模型和外部服务模型,此方法中可以较好地保护协同服务的内部信息.给出了基于随机Petri网的电子商务背景下企业协同服务中几种最具有代表性的内部服务模型到外部服务模型之间的转化定理及相应的证明.将该模型分析方法应用于电子商务下单流程分析之中,数值计算结果说明了该方法的有效性.     

随机数学在计算机随机Petri网模型变迁化简技术中的应用

用随机数学方法，推导出计算机随机Petri网中时间变迁的串联、并联及选择结构模型的性能等价公式，为随机Petri网模型的化简提供了一个有效的手段。     

用有色Petri网模型进行电力系统结线分析

提出了一种可用于电力系统结线分析的有色Petri网方法。该方法以元件和开关状态构造的有色Petri网为核心 ,用令牌的流动来确定电力系统结线分析的网络结线 ,变迁的发生将包含相同元件的结点连接在一起。通过对一个电力系统模型的分析 ,表明该方法的可行性及有效性     

特勒根定理的验证及其应用

本文对特勒根定理的内容，特别是其适用的普通性进行了验证并运用该定理对网络的灵敏度进行了分析最后对一个具体电路的灵敏度进行了计算，进一步验证了文中所述方法的正确性。     

一阶流体随机Petri网:定义与分析

重新定义了一阶流体随机Petri网,其中,流体跳跃弧的跳跃高度取确定值,并被赋予在瞬间内清空与之相联接的连续库所的功能.给出了随机标识过程的动态方程,讨论了连续弧的流体流动速度为连续标识的函数而导致的概率值累积问题,使得直接用数值方法对模型的动态方程进行求解成为可能.     

电路定理解题法的优化分析

电路基本定理描述了电路的基本性质，是分析电路的重要依据，它们既反映了电路的物理意义，又为电路的简化和分析计算提供了有效的方法。     

无序档案资料整理的工作流网模型

工作流是实际业务工作流程的形式化表示,其关键在于建模。由于Petri网构建的工作流模型具有简单明了的特点,因而成为的重要建模工具。本文在Petri网和工作流理论的基础上,把一个实际的任务分解为工作流,并对该工作流构建工作流网模型。最后,对所建模型的正确性进行了定性的分析,并对模型的特性和所反映的问题进行了讨论,说明了利用Petri网技术来为实际业务流程建模的合理性和优越性。     

无序档案资料整理的工作流网模型

工作流是实际业务工作流程的形式化表示,其关键在于建模.由于Petri网构建的工作流模型具有简单明了的特点,因而成为的重要建模工具.在Petri网和工作流理论的基础上,把一个实际的任务分解为工作流,并对该工作流构建工作流网模型.最后,对所建模型的正确性进行了定性的分析,并对模型的特性和所反映的问题进行了讨论,说明了利用Petri网技术来为实际业务流程建模的合理性和优越性.     

Weak*(S)-积分的极限定理

在引进了Weak^*(S)－积分的基础之后，对Weak^*(S)－积分的极限定理进行研究，并给出了两个重要的Weak^*(S)-积分的积分极限定理。     

叠加定理在对称电路中的应用

将具有某种对称性的复杂网络分解成正对称网络和反对称网络，再利用叠加定理求解电路的方法。该方法在求解电路前，就利用电路本身结构特性进行化简，大大减少了计算工作量，为分析复杂网络提供了一条捷径。     

随机Petri网对可修复系统的建模和分析

为分析工程中较大的可修复系统的工作状态、可靠性和修理工的工作强度，提出了一类由不同机器和具有混合技能的不同维修人员所组成的可修复系统，引进了状态转移是Markov过程的随机Petri网，对系统进行建模，通过实例分析系统的状态空间、各状态在稳态下的期望频率、期望持续时间、系统的可靠性和维修人员的工作强度，分析了随机C／E网和随机P／T的适用范围．与传统的状态空间法相比较，在确定可修复系统的状态空间、分析状态间的逻辑关系和系统的动态过程中，随机Petri网具有显著的有效性和优越性．     

巴卜斯(Pappus)定理的应用与推广

文章首先证明了巴卜斯定理的特殊情况,然后利用此特殊情况及巴卜斯定理作了四个推广应用,最后将巴卜斯定理的原来三点共线推广到了六点共线,再推广到1/2n(n-1)个交点共线。     

一类推广的自治收敛定理的应用

主要研究一类带有快慢进展的结核病模型,利用再生矩阵法,通过推广的自治收敛定理证明该模型正平衡点的全局稳定性,并通过数值模拟验证其结果的正确性.从求证过程中可以看到,使用推广的自治收敛定理在解决全局稳定问题上有一定的规律可循,但在高维系统上也存在一定的局限性.     

中心极限定理在统计推断中的应用

本文首先说明了中心极限定理研究的必要性,介绍了两个常用的中心极限定理,然后给出了中心极限定理在统计推断中有关统计估计和假设检验的实际应用,最后指出了研究中心极限定理具有理论意义和实际价值。     

变速连续 Petri 网的性质及运行分析

给出了一种变速连续 Petri 网的定义及主要性质 .详细阐述了其运行算法.在算法中主要考虑了对冲突的检测及处理.给出了一个示例，并通 过仿真得到了其运行情况.