具随机生成元的受控随机发展方程的Pontryagin型最大值原理

本文研究当控制区域是凸集时带有随机生成元的受控正向随机发展方程的Pontryagin型最大值原理.运用Malliavin分析方法，本文给出了当p>=2时控制系统温和解的存在唯一性，运用转置方法获得了当1相似文献   

着色Petri网的混杂系统仿真平台构架

提出一种以Petri网为仿真进程控制,以着色Petri网与Matlab交互为主题的混杂仿真跨平台构架. 该仿真构架通过运用和扩展着色Petri网中替代变迁的概念,结合融合库所和折叠功能,实现了混杂系统的复杂逻辑建模和连续系统内嵌. 同时,着色Petri网的分析功能在一定程度上缓解了逻辑结构复杂的混杂系统检验困难的问题.最后通过一个混杂系统实例的建模与仿真分析,验证了该平台的可行性与逻辑检验的有效性,为复杂混杂系统的建模与仿真提供了一条新途径.     

基于Petri网的原油处理生产作业计划油罐动态分配分析

石化炼油企业采用递阶方法进行调度,以使短期调度方法在生产运作中切实可行.在上层,企业根据市场需求产生一个目标炼油计划.在下层,企业得到一个详细调度以实现目标炼油计划.在这个过程中,如何动态分配油罐将起到至关重要的作用,同时也是生产运作中的难题.为了解决这个难题,建立Petri网模型描述原油处理生产过程的行为特征.基于该模型,分析了油罐分配对目标炼油计划可实现性的影响,鉴别出那些使系统进入不可行状态的操作,并对其进行调整.这样,通过避免这样的不可行操作而提出一种实现目标炼油计划的油罐动态分配方法.最后,用一个工业实例验证了提出的方法的应用.     

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

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

基于随机合作博弈模型的PPP项目风险分担

风险分担是PPP项目融资模式需要解决的核心问题之一,不合理的风险分担不仅增加投资成本,甚至将造成项目融资的失败。基于随机合作博弈理论,构建了政府与私人集团的最优合作博弈模型。该模型在考虑参与方风险偏好的基础上实现了风险在双方之间的转移。数值分析表明,该模型既可以确定双方最优风险分担的比例,又可以使经过风险转移后的项目总风险有明显下降,实现了合作效率。     

基于HTCPN和Extend的装备保障系统建模与仿真

构建支撑装备保障问题分析和决策的仿真平台是装备保障研究和实践的一条必由之路。装备保障系统仿真模型是仿真平台的重要组成部分。针对装备保障系统的运行流程及其层次性特点,基于层次时阃着色Petri网（HTCPN）提出了一种建立在层次化、模决化和标准化基础上的保障系统Petri建模思路,在此基础上,基于Extend平台设计了装备保障系统仿真模型,说明了基本功能组成模块。最后,以舰艇海上巡航任务条件下的装备保障系统为例,实现了仿真模型NEISSM,开展参数敏感性分析仿真试验,获得了较好的结论,证明了仿真模型设计的合理性和可行性．     

基于分层赋时着色Petri网的临床路径建模

为了实现按病种设计的最佳医疗护理诊治方案和建立临床路径诊治系统,提出一种基于分层赋时着色Petri网(HTCPN)对复杂病种建立临床路径模型的方法,实现了对诊疗状态、信息流转及诊疗活动间的关系的可视化监控.基于标准元语言(SML)函数的设计,所建模型支持诊断决策信息和检查结果的实时输入,同时能够预测分析变异情况并实现路径的自动调整.设定任务时间戳对不同的患者到达速率分布进行数据仿真,基于仿真结果给出资源配置建议以改善临床路径实施效果.实验结果表明,基于HTCPN的临床路径在定性定量分析医疗诊治流程的基础上可以优化临床路径,继而为建立临床路径管理系统提供了依据.     

基于有色Petri网的TII协议建模与分析

变送器独立接口(TII)协议有不同的应用方法且存在实施差异,需要对其进行建模、分析和验证.文中针对不同通道类型,建立层次化的TII协议有色Petri网(CPN)模型;采用数据传输平均延时、通道利用率、数据传输速率、数据帧丢失率作为性能评价指标,借助CPN Tools仿真软件对模型进行了性能分析;讨论了接口速率、采样速率比、采样数据长度、缓存队列长度等接口参数对性能指标的影响,提出了可控连续采样、增加通道数据长度、虚拟多通道、后进先出缓存及先进先出丢包等提高模型性能的方法与措施.该模型的实际应用表明,当STIM的通道类型为带缓存数据序列型时,数据帧丢失率为0,数据传输速率为1500B/s,数据传输平均延时为0.21ms.     

大型Petri网模型最小trap (siphon)集合的快速求解算法

为了快速确定大型Petri网模型中的trap (siphon) 逻辑结构,提出一种由Petri网关联矩阵寻找最小trap和siphon集合的有效算法。通过分析Petri网中trap和siphon集合对应的库所子集在关联矩阵中的特征,根据变迁的输入输出库所组合规则和目的,提出一种二元操作算子,由此构造计算最小trap和siphon集合的矩阵求解算法,以实例详细阐述了算法的具体步骤。通过与已有求解方法的比较,进一步验证了该算法在求解大型Petri网系统最小trap（siphon）集合上的计算速度优势。