基于有色赋时Petri网的半导体生产线建模技术研究

在深入了解半导体制造过程的基础上,为了有效分析半导体生产线调度与控制性能,提出了有色赋时Petri网的半导体生产线建模方法。该模型,根据生产线所存在主要调度子问题及其之间的相互关系,将半导体生产线划分为投料控制模块、路径调度模块和工件调度模块,这样可以有效降低模型的复杂性和提高模型的可重用性。建立以一个拥有3个工作中心、6台设备的半导体生产线Petri网模型,并对模型进行分析。最后指出了下一步的工作目标。     

基于Petri网的行为建模在舰艇CGF中的应用研究

给出行为建模的一种方法,即基于Petri网的行为建模。首先介绍了Petri网的建模原理,并给出了Petri网实现CGF行为建模的一般过程,对Petri网行为模型的框架、实现方法和具体算法进行阐述。结合水面舰艇的作战特点,通过Petri网实现水面舰艇CGF的行为建模,并以水面舰艇机动CGF为例,详细描述其应用过程,该方法在实际应用中表现出良好的作用。     

基于TCPN的装备维修保障资源管理模型

探讨了一种带优先级的时间有色Petri网,并利用其建立了一种装备维修保障资源管理模型,尔后利用CPNTools进行了仿真;分析了维修过程的总体运行、资源利用率等情况,提出了资源优化配置和调度的方法。     

删失试验寿命的贝叶斯生存极值回归模型

针对删失寿命试验数据缺少随机变量尾部分布和常规删失数据分析对长寿命区高可靠度估计不准确的问题,构建了一个结构元件寿命分布的贝叶斯生存极值回归模型。运用MCMC方法与Gibbs抽样获得参数后验分布的基本原理,借助数据仿真说明了利用WinBUGS软件包进行建模分析的过程,证明了该模型在删失试验中的直观性和有效性。研究结果表明:利用Gibbs抽样进行模拟分析,能很方便地得到模型参数的相关估计。     

不确定需求下的电力竞价贝叶斯博弈模型

电力竞价是一个不完全信息的博弈过程.假定竞争对手的报价服从已知区间上的某种分布,分别构建了确定需求与不确定需求条件下的二发电商电力竞价博弈模型,并给出这2个模型的贝叶斯纳什均衡解,即发电商在不同条件下的均衡报价.最后假定竞争对手的报价服从均匀分布,对构建的模型进行了分析,分析结论表明:在确定电力需求情况下,发电商的均衡报价一般在报价上,下限附近波动;而在不确定电力需求下,发电商的报价在报价下限与报价区间中点之间波动:当竞争对手的最大可供电量很少时,选择报价区间中点,而当发电成本很少时,很可能选择报价下限.     

两种新的DS合成法则仿真近似算法

DS合成法则计算时间复杂度是影响DS理论广泛应用的主要原因之一,介绍了几种著名的近似算法,并分析了它们的优劣性,指出了这些方法的存在的问题。给出了两种新的仿真近似算法,这两种新方法不需要预先限定焦元的个数,计算过程直观、方便,结果合理。仿真试验结果表明,这两种方法的计算结果和Bayesian方法非常接近,但不存在Bayesian方法的不合理之处。对几种算法作了进一步分析研究,给出了三种算法间的关系。     

模糊Petri网在飞机进近排序中的应用

介绍了发达国家正在研究的最后进近间隔工具(FAST)的排序思想,利用该排序思想,讨论了模糊控制和模糊Petri网排序理论在飞机进近中的具体应用,并进行了仿真。仿真结果表明,该方法能达到合理可行的排序结果,明显减少航班队列的延误。基于模糊Petri网的排序方法为解决空中交通管制系统的科学优化排序问题提供了较好的研究思路。     

基于贝叶斯网络的编队对地攻击损伤评估研究

随着武器的高科技化、战场环境的复杂化、战斗节奏的加快,战斗损伤评估系统在现代战争中占有越来越重要的地位。针对战场战斗损伤评估信息的多样性、不确定性和模糊性,基于贝叶斯网络易于进行不确定性推理的优点,提出应用贝叶斯网络对对地攻击效果进行分析评价,建立了编队对地攻击损伤评估的贝叶斯网络模型,给出了基于贝叶斯网络的损伤评估的推理决策方法,并且对该方法进行了仿真分析。仿真实例表明,基于贝叶斯网络的损伤评估模型能够提高损伤评估的准确度,而且推理简单,易于实现。     

贝叶斯方法在代码转换器可靠性验证试验中的应用

针对高可靠性产品的可靠性验证试验时间长、费用高等特点,将贝叶斯方法引用到可靠性验证试验中。推导出服从指数分布的贝叶斯可靠性序贯试验方法。将贝叶斯方法与经典序贯试验方法进行比较,贝叶斯方法较大的减少了试验量和试验时间。在某型飞机代码转换器的国产化可靠性验证试验中应用该方法,实际应用结果验证了该方法的有效性。     

基于T-不变量的可重复向量的求解算法

研究了Petri网中T-不变量与可重复向量之间的关系,并基于此关系给出一个求解可重复向量的新方法。首先定义了变迁扩充网的概念,证明一个网的可重复向量与其变迁扩充网的T-不变量之间存在一一对应关系,从而将一个网可重复向量的求解转换为其变迁扩充网T-不变量的求解上。在此方法中,如果利用FM-算法去求解T-不变量,则某些求解的步骤可以省略,从而得到一个类似于FM-算法的算法来求解可重复向量。此算法能够求出一组可重复向量,而任一可重复向量都可被这组可重复向量非负有理系数线性表出。