库所耦合网的T-不变量求解算法

首先定义了库所耦合网及相关概念,其次揭示了库所耦合网N中各个分支网的T-不变量同N的T-不变量之间的关系,然后给出了一个库所耦合网的T-不变量求解算法,最后将该算法实现并给出初步实验数据,以说明所提算法比现有算法节省计算时间和存储空间。     

基于Petri网的软件项目管理建模方法

一种新的对于Petri网的拓展方法—库所拓展提出,并在以软件项目管理过程为例分析建模对象的动态特性的基础上,说明了库所拓展Petri网在描述过程管理方面的特点和优势。同时分析了库所拓展Petri网如何迎合建模对象动态性特点及解决由此带来的设计管理工具难等问题,以尽量达到最优的设计目的。     

一类柔性制造系统的死锁预防策略

针对一类柔性制造系统的ES3PR网模型提出了一种死锁预防策略.基于Petri网和信标的理论,我们将可被清空的信标分为基本信标和从属信标.引入多步迭代的思想,给每个基本信标添加两类控制库所普通控制库所和加权控制库所,在满足一定条件时控制所有的从属信标.从而得到结构更简单、活性更强的Petri网系统.     

并行测试中死锁避免的设计与仿真

设计了一个双通道运算放大器芯片SD358D的并行测试仿真实例。实例中应用USB数据采集卡和HPVEE软件组成的虚拟仪器对两路放大器的三个指标进行并行测试。由于两个测试任务共享仪器资源,容易发生死锁。为了解决并行测试中的死锁问题,首先为并行测试建立Petri网模型,模型中的变迁发射序列与系统任务调度路径一一对应,利用遗传算法搜索模型中无死锁的序列,然后控制系统按照这些无死锁的路径调度测试任务,就可以有效避免死锁的发生。最后通过实验结果,验证了该方法的正确性。     

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

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

一种针对有瓶颈库所批生产过程的监控与调度集成方法

针对有瓶颈库所的批生产过程中出现时延的情况提出了一种启发式的调度算法,在用CTCH网对某生产系统进行建模的基础上,对该算法进行了仿真并得到了良好的结果,说明了算法的有效性.     

带有限容量缓冲库的多目标柔性作业车间调度优化

研究一类从无缝钢管生产实际中提炼出的作业车间调度问题.该问题具有生产工序间存在有限容量缓冲库,生产工艺路径柔性选择,生产设备需要转换时间,生产调度多目标等特点.针对具有这些特点的调度问题,构建了混合整数规划模型.鉴于其NP-hard性,设计改进的遗传算法进行求解,进而提出辅以局部搜索优化算法的方法,并通过企业生产实际数据比较和验证算法的性能及有效性.该模型和算法已被用于无缝钢管生产作业计划软件系统的开发,并在实际运用中取得了良好的效果,对各大钢管企业的生产调度均具有一定的实际指导意义.     

公平消息传递并行程序设计的Petri网方法

公平性是并行程序正确的主要标准之一,但是并行程序执行的不确定性导致公平性验证较为困难.针对消息传递模式的并行程序,在建立相应Petri网模型的基础上,首先证明了并行程序的公平性与其Petri网模型的公平性之间的关系,然后提出了利用T-不变量判断并行程序公平性,以及通过添加控制库所实现并行程序公平的算法,最后指出了将改造后的模型转换为公平并行程序的方法,并用一个实例进行了验证.     

基于广义微分Petri网的混合系统仿真方法

针对混合动态系统仿真的特点，建立其广义微分Petri网仿真模型，将混合系统的仿真统一于同一建模框架下，在此框架下，离散事件和连续状态变化对混合系统演化的推动作用均可以通过仿真模型中的变迁激发来完成，通过对广义微分Petri网的仿真过程进行分析，给出了基于该模型框架的仿真算法，并对仿真过程中出现的由资源共享引起冲突现象及其解决方案进行分析，最后讨论了仿真系统的死锁及其避免问题。     

公平Petri网中同步距离计算的一个实现算法

同步距离是对两组事件间同步程度的定量描述,也是刻画系统动态行为的工具。提出了公平Petri网中同步距离的求解方法,利用观察库所的原理来求变迁之间的同步距离。我们在原Petri网的基础上通过给变迁和观察库所之间的弧引入适当的权值构造出一个带观察库所的加权网系统SWNet,并且提出了增广（可覆盖）树的概念。在原网系统的可覆盖的基础上构造出一个增广（可覆盖）树,通过增广（可覆盖）树可以准确的得到观察库所初始标识,最后给出了对观察库所配置初始标识的算法和计算同步距离的算法。     

基于Petri网的状态机变迁的形式化方法研究

UML状态机图用来描述一个特定对象生命周期经历各种状态,尽管其表达简单明了,易于理解,但它缺乏准确语义,难以对其进行语义分析和验证的问题。变迁作为状态机图的重要组成部分,同样存在这样的问题,而Petri网有严格的形式化语义,而且有许多成熟的分析方法。为了分析状态机变迁,提出了TES模型,它可以描述状态机的触发器事件和监护条件等元素,然后将几种复合变迁用Petri网描述,最后给出了一个实例,说明模型之间是语义等价的。     

一种于基于有限元的形变模型算法

针对实时虚拟手术仿真中的弹性形变特性,本文提出了一种新的算法,该算法考虑到虚拟手术中存在的特殊情况,在形变模型的实时交互性与精确性之间取得了良好的平衡,模型的实时交互性是通过进行预处理实现的,此时响应操作的实时形变计算得到加速,模型的精确性则来自于基础算法有限元法的精确性。     

双因素可转换债券定价模型FEM解

可转换债券的存续期相对较长,因此,在定价模型中考虑利率的随机波动是十分必要的。本文基于Hull-White随机利率模型建立了可转换债券的双因素定价方程,针对可转换债券的特性提出了相应的边界条件。最后,利用有限元方法对该定价模型进行了数值求解。     

车削毛刺形成有限元仿真研究

根据刀具和工件的相对运动,建立了一种新型机热耦合车削毛刺形成有限元模型,利用撑板法解决了残留在工件侧面多余塑性变形对运算结果的影响,并大大提高了运算效率.根据车削毛刺形成过程模拟结果的分析,发现了在毛刺形成阶段工件被切削层材料既有弯曲塑性变形又有部分材料被切除的现象.结合AISI1045钢车削试验,对所建立的模型进行了验证,结果表明:车削毛刺尺寸模拟结果和试验结果取得了较好的吻合.该模型的建立为深入研究毛刺形成过程中切削热、切削力、工件材料形变、塑性流动等提供了一条有效的途径.     

基于小波有限元方法的复印纸张温度场仿真研究

复印机定影过程的温度场仿真研究对提高定影效果具有重要意义。由于定影过程温度场变化梯度大，用传统有限元分析时存在着明显的数值振荡，引起数值失真。本文利用Daubechies小波尺度函数，构造了适用于热传导问题分析的小波单元，对复印纸张复印过程的温度场变化进行了仿真研究，并与传统的有限元方法进行了比较，显示了小波单元对于大梯度问题分析的优越性，为了提高复印机的定影效果和改善复印机的性能研究提供了新方法。     

基于子结构法的某多管火箭炮频率特性分析

根据虚功原理,推导了子结构方法的动力学模型。采用实体单元建立了某多管火箭炮的子结构模型。计算了某多管火箭炮在不同俯仰角和装弹数量情况下的固有振动频率,得到了低阶固有频率与俯仰角的关系及低阶固有频率与火箭弹数量的关系。结果表明采用该方法计算频率,能减小计算模型,缩短计算时间。     

基于局部频率估计和有限元的相位展开方法

针对干涉数据质量不同的区域采取不同的展开策略,在最小二乘意义下利用有限元方法最小化不同的代价函数来实现。引入局部频率估计解决了相位展开的"坡度欠估计"问题,使用有限元方法利用了其可以适应任意不规则区域求解的特性。仿真和实测数据处理结果验证了本文方法的有效性,且与其它方法相比具有较高的精度。     

基于非线性有限元方法的柔性网仿真研究

针对柔性结构的仿真研究是计算机仿真领域的热门课题,而对无约束的大变形柔性系统非线性特性的仿真研究更是难题之一.作为对该类问题的有效探索,基于有限元法,应用ANSYS/LS-DYNA对具有多种非线性特性的柔性网进行仿真建模.在研究绳索弹性性能的基础上进行了参数优化,动态模拟了其弹射飞行过程,与实物实验结果相吻合.所采用的方法与结论在工程上具有重要的应用价值.     

基于有限元的飞机易损性建模方法研究

提出了一种用于飞机易损性分析的输入模型建立方法,所提供的模型包括飞机外形易损性模型及部件易损性模型。对于飞机外形模型,主要提供几何尺寸参数及材料参数。对于部件模型,主要提供几何尺寸参数、材料参数、杀伤模式、致命性标识,以及部件杀伤与飞机杀伤的逻辑关系等数据。应用中表明,所提出的方法具有以下特点：（1）飞机及部件外形的几何形状均采用有限元逼近,可以真实的反映实际情况;（2）模型考虑了液体模型的建立方法;（3）致命部件及非致命性部件单独建模,可以减少人为因素影响;（4）与有限元建模软件结合紧密,可以减少重复性的工作。     

基于流量加权Betweenness提高网络容量的方法

在节点的发包速率和转发包速率都和节点度相关的流量模型中,研究了在基于跳数的最短路径路由策略下网络的容量问题.将Betweenness的概念进行了扩展,提出流量加权Betweenness的概念,使之更准确地描述在每个节点的发包速率各不相同的情况下节点可能承载的流量.并据此推导出适合于该流量模型的网络容量计算公式,同时指出在基于BA算法构造的scale-free网络中,在流量加权Betweenness值处在前5%至10%和前10%至15%的节点间加边的方法能显著提高容量.最后,通过仿真实验验证了该公式的正确性和该方法的有效性.