可重入制造系统中可视化仿真调度的研究与应用

可重入制造系统调度问题随着半导体工业的迅速发展日益得到重视，仿真调度是解决这类问题的重要方法，可视化仿真因其仿真过程的可监控性与良好的交互性在仿真调度中得到了采用.本文将可视化仿真应用于可重入制造系统的调度，通过引入虚拟设备对这类制造系统进行了基于生产路线的可视化仿真，有效地解决了直观表达该类系统加工路径重入性的问题，提高了调度效率.     

确定系统级测试性参数的广义随机Petri网模型

测试性设计是近年来发展起来的一门新兴学科 ,对提高复杂系统的可靠性、可维修性和可用性具有重要的意义。在测试性设计的过程中 ,合理地选择和确定测试性参数是实现费效比最优设计的关键之一 ,但目前还没有有效的方法能合理地确定每个参数的门限值或目标值。基于广义随机Petri网的原理 ,将测试看作设备整个生命周期内可靠性、维修性活动的一个有机组成部分 ,建立了系统的测试性模型。采用数值分析的方法得出系统稳态可用度与系统测试性参数之间的关系曲线 ,作为确定测试性参数的依据 ;当系统需待定的参数比较多时 ,将模型转化为一个区间线性方程 ,有效地解决了计算量大的问题。这一方法对解决复杂系统的测试性设计问题具有一定的借鉴意义     

模糊随机系统

本文研究和分析了确定性系统、随机系统和模糊系统的共同性质以及它们之间的联系, 抽出这些系统的共同特性, 给出了模糊随机系统的一般性定义, 并且导出各种系统。证明了模糊随机系统以确定性系统、随机系统和模糊系统作为其特例。最后展望了模糊随机系统理论的应用前景。     

离散时间随机系统的稳定性分析

对由定常非线性随机差分模型所定义状态空间为一般可测空间的离散时间随机系统，本文应用一般状态马氏链遍历性有关理论分析了系统的稳定性问题，给出了由系统相应确定性部分的Ｌｙａｐｕｎｏｖ函数来判别系统稳定的若干充分条件。     

冗余可修系统可用度的随机Petri网建模与分析

基于随机Ｐｅｔｒｉ网,提出了一种较为简单的计算冗余可修系统稳态可用度的方法．该方法由于利用了随机Ｐｅｔｒｉ网作工具来分析系统状态之间的转移过程,从而使过程清晰明了,鉴于Ｐｅｔｒｉ网模型,利用Ｍａｒｋｏｖ理论可方便地得到状态概率矩阵方程     

离散模糊随机系统Ⅰ──受控离散模糊随机系统

本文研究了离散模糊随机系统理论, 讨论并解决了模糊随机过程作为系统输入时的响应分析和受控离散模糊随机系统分析等基本问题。     

RTI性能测试分析

运行支撑系统(RTI)是高层体系结构(HLA)仿真系统运行的核心支撑软件，RTI性能直接影响到仿真系统开发的成败。首先全面分析并定义了RTI性能；接下来从数据交换性能和RTI服务性能两方面深入研究了各性能指标的测试方法，以KD—RTI为重点介绍了KD—RTI、pRTI和RTI1．3NG—V6的部分测试结果，并对三者性能进行了比较分析。结果表明，KD—RTI符合软件开发的各项性能要求，能满足一般的实时仿真需要，在丢包率和数据传输速率方面具有较好的性能。     

半导体制造中具有非重入过程的自动组合装置的性能分析

将面向资源的着色、赋时Petri网(coloredtimedresource orientedPetrinet,CTROPN)用于半导体制造业中自动组合装置的建模.CTROPN具有较强的建模能力,能够准确描述自动组合装置的加工过程.借助该模型,对非重入加工过程的初始特性、稳态特性和结束特性进行详细的分析.     

密码服务系统安全性能分析与测试

分析和检测密码服务系统安全性能是目前该系统研制过程中的一个难点,基于某型号分布式密码服务系统的研制,通过给出系统的安全体系结构,从物理安全、协议安全、算法和系统使用安全等方面对系统各层次、各功能部件可能存在的安全隐患进行了分析,指出了系统应具有的基本安全性能,并结合研制中的实际测试,给出了相应的检测方法.应用表明,这些方法有效并且实用,对密码服务系统的安全性能测试研究具有理论和实践的指导作用.     

基于广义随机Petri网的再制造供应链建模与性能分析

为分析再制造供应链的性能,采用了基于广义随机Petri网的建模分析方法,并根据广义随机Petri网与马尔可夫链的同构关系,将广义Petri网模型转化为等价的马尔可夫链模型.通过马尔可夫链及相关数学方法得出再制造供应链的主要性能指标.该方法不仅可以分析整个再制造供应链的性能,还能对各个环节的运作效率做定量分析,为再制造供应链回收再制造模式的选择提供了一个思路.     

时滞随机线性大系统的指数稳定性

针对一般随机线性时滞微分方程，给出了方程的平凡解的几乎必然指数稳定性的一个充分条件，由此利用时滞随机系统的比较原理建立一般时滞随机线性大系统的二阶矩指数稳定与几乎必然指数稳定新的代数判据．利用恰当的Lyapunov函数结合不等式技巧得到了这些条件．特别是用一个代数方程给出了依赖时滞的Lyapunov指数的估计．并用实例加以验证．     

基于随机Petri网的装备维修保障系统性能分析

考虑维修能力不足和备件短缺等因素, 定义了装备维修保障过程的广义排队时间、广义维修服务时间等的系统性能参数. 建立了基于随机Petri网的装备维修排队问题的形式化描述模型, 研究了模型的简化解析分析和仿真分析方法. 结合实例分析了改进系统性能的途径, 验证了解析方法的有效性. 研究表明, 提高维修小组能力和备件满足率是提高维修保障系统性能的有效途径.     

Simulation of a class of delay stochastic system with distributed parameter

1.INTRODUCTION It systemisoneofthemostimportantstochastic systems[1～3].Linearstochasticsystemwithreaction diffusiontermsusuallyappearsinstudyofdiffusion ofparticle[4,5].ItissignificanttostudylinearIt systemwithdistributedparameter.Mostofsystems discussedinliteraturesarewithoutIt termordis tributedparameter.AndsimulationoflineardelayIt systemwithdistributedparameterarenotgiv en[1～3,6～14].Inthispaper,partialdifferentialequa tionistransferredintoordinarydifferentialequation.Differential…     

随机波动性模型的比较分析

对均值条件分布为正态分布的随机波动性模型与条件厚尾分布的随机波动性模型进行了比较分析．实证结果表明，厚尾分布的随机波动性模型较正态分布的随机波动性模型能更好地描述我国股市的回报与波动性的特征．     

基于邻接度量函数的β算法

复合随机计算系统的研究目前已成为组合优化等优化与搜索问题的重要研究方向，在阐述复合随机计算系统的一般形式的基础上，提出了处理组合优化问题的基于邻接度函数的β算法，证明了相关的性质，并以实例阐述了该方法的具体运用。     

半导体制造系统改进Petri网模型的建立及优化调度

为了更有效优化半导体制造系统生产资源调度,提出了基于分层着色时间Petri网模型的分时段优化调度方案.通过增强基本Petri网的描述能力和引入分层Petri网的思想,根据半导体制造系统的结构建立其改进Petri网模型-分层着色时间Petri网模型,并在模型中引入调度库所将调度算法嵌入到模型中,该模型能有效地克服基本Petri网模型规模膨胀的缺陷;同时将每一生产周期分成若干时间段,利用遗传算法来寻找各时间段内调度规则组合来优化半导体制造系统的动态性能,实现分时段优化调度,编码时, 根据机器组的利用率来选择部分机器组为瓶颈机器组,重点调度瓶颈机器组, 提高算法的搜索效率;仿真实验结果验证了该调度方案的优越性.     

含污染控制的多车型随机交通系统最优收费及其评价

针对车辆特征的差异, 将用户按车型分为有限类,用户依据出行成本随机选择出行路径.为了达到合理分配流量和减少排污的目的,交通管理者按车型对用户收取拥挤税和污染税.通过建立多车型随机变分不等式模型,得到了包含拥挤税和污染税的依车型的最优收费,最后提出了基于效率损失的政策评价指标. 数值试验表明:随着环保强度加大, 系统总污染逐渐下降, 评价指标有效.     

随机波动和跳跃下的短期利率动态

在短期利率模型中引入随机波动和跳跃两种因素,利用序贯参数更新思想和粒子滤波方法实现模型的估计,并对中国银行间短期利率进行实证分析. 研究结果显示短期利率存在显著的随机波动和跳跃特征,表明CIR-SV-J模型在描述短期利率动态中拟合效果最优,而且忽视随机波动或跳跃因素会使拟合变差,影响对利率均值回复特征的描述,并证明了随机波动因素在模拟中比跳跃因素起着更为重要的作用.     

Passivity analysis for uncertain stochastic neural networks with discrete interval and distributed time-varying delays

The problem of passivity analysis is investigated for uncertain stochastic neural networks with discrete interval and distributed time-varying delays. The parameter uncertainties are assumed to be norm bounded and the delay is assumed to be time-varying and belongs to a given interval, which means that the lower and upper bounds of interval time-varying delays are available. By constructing proper Lyapunov-Krasovskii functional and employing a combination of the free-weighting matrix method and stochastic analysis technique, new delay dependent passivity conditions are derived in terms of linear matrix inequalities (LMIs). Finally, numerical examples are given to show the less conservatism of the proposed conditions.     

一类单一物品随机库存系统的最优控制模型

研究单一物品随机库存系统的最优控制问题，并借助于动态规划原理给出了了优控制律的表达式，以使在一个时间周期[0,T]内系统的费用总和的期望值最小。