Razumikhin-type theorems for asymptotic stability of impulsive stochastic functional differential systems

<正>In this paper,we investigate the pth moment uniformly asymptotic stability of impulsive stochastic functional differential systems by extending some Razumikhin-type theorems.Based on the Lyapunov functions and Razumikhin techniques,some criteria are established and their applications to impulsive stochastic delay systems are proposed.An illustrative example shows the effectiveness of our results.     

基于改进OOPN的有效载荷系统测试用例生成方法

针对空间有效载荷系统集成测试用例生成问题,在分析任务特点和测试技术发展趋势的基础上,采用改进面向对象Petri网（improved object oriented Petri net, IOOPN）的建模技术,提出了一种基于IOOPN模型自动生成测试用例的推理方法。该方法建立了对象工作模式的识别规则,采用启发式搜索生成单对象测试序列集,引用时间标尺实现系统级测试序列规划算法,满足了有效载荷系统级的测试要求,提高了测试的效率和水平,成功应用于某卫星科研实践。     

基于混杂Petri网的柔性制造系统免疫调度算法

针对具有混杂特征的柔性制造系统调度问题在柔性制造系统的一阶混杂Petri网模型的基础上提出了用于求解柔性制造系统调度最优解的免疫算法。给出了不变行为状态的编码、亲和力计算、抗体的浓度及抗体选择、记忆细胞更新、抗体生成算子等的具体实现方法。实例仿真结果表明,结合混杂Petri网模型和免疫算法能够有效地实现柔性制造系统调度最优解的求解。     

并行自动测试系统分层建模及性能评估方法研究

对于大型的并行自动测试系统,传统的系统组建方法单纯的依靠人工经验使得组建的系统容易发生死锁、资源冲突和饥饿等问题,逐渐不能满足需求。因此,提出了一种新的并行自动测试系统分层化建模方法,指导工程人员快速优化系统设计方案。应用该方法,工程人员只需要使用直观、浅显的UML语言设计测试系统功能结构模型,UML到Petri网模型的映射和Petri网模型对系统的评估等步骤都可以用相应的软件自动实现,简化了人工设计过程,提高了系统组建效率。最后,利用广义随机有色Petri网理论对并行测试系统进行了性能评估,与基于NI公司TestStand软件设计的并行系统进行了对比。

Abstract：

The process of the Parallel Automatic Test System’s construction and design is more complicated than the serial ATS,and it can not be completed depending on the traditional method only based on the people’s experiences because it will bring the deadlock,resources confliction,hunger and so on.A new hierarchical modeling method was proposed to instruct the engineer in the good design of system.In the method,engineer only used the simple UML to design the system’s functional structure model.The UML-Petri map process and the system performance evaluation was finished by software.It made the design process simple and improved the organic efficiency.At last,the generalized coloured stochastic Petri net （GCSPN） was used to evaluate the performance of system and is compared with the parallel system designed by TestStand software.The result embodies the advantages of the hierarchical modeling method.     

基于多尺度随机建模的潜山裂缝储层预测技术

桩海潜山演化历史长、地层结构破碎、埋藏深,加之碳酸盐岩裂缝型储层自身的特点,岩石物理性质呈跳跃性变化,储集体形态变化也较剧烈,地震以杂乱发射为主,有效储层预测难度大。在混合型自相关函数的基础上,通过引入方向因子发展成新的矢量自相关函数,使产生的随机介质具有一定的方向性,在此基础上采用阈值截取法,结合研究区实际钻井、地震资料及测井解释结果来给定缝洞发育的长、短半轴及局部发育密度构造,建立符合研究区实际地层结构的叠加型双孔介质模型,采用非均匀介质地震波场正演模拟技术,研究了不同参数情况下潜山储层的地震响应特征。正演模拟结果表明:研究区下古生界裂缝储层发育尺度越大、发育密度越高、充填速度及发育角度越小,对应地震剖面上异强反射能量越强,这为潜山裂缝储层的波场特征识别及预测提供了依据。基于此,融合研究区裂缝储层敏感的倾角及能量类属性,有效预测了桩海潜山下古生界裂缝储层的平面分布特征,为下一步研究区潜山油气的勘探提供了技术支撑。     

一类不确定随机多时滞神经网络时滞区间相关的鲁棒指数稳定分析

本文主要探究了带有多时滞不确定随机神经网络在均方意义下的鲁棒指数稳定性．通过构造一个多时滞区间相关的Lyapunov-Krasovskii泛函和自由权矩阵方法,建立新的稳定性标准．井将得到的结果推广到一般的多时滞情形中,所有的结果都以LMI形式表示,并可以通过MatlabLMI工具箱进行运算．     

改进型随机无网格迦辽金法在随机热传导问题中的应用

近似方案中对移动最小二乘近似(MLS)中的基函数采用带权的正交基函数,从而形成一种改进的移动最小二乘近似(IMLS),该近似比现有的移动最小二乘近似有更高的精度和效率,且不会导致系统方程产生病态。IMLS近似与Taylor展开的随机无网格迦辽金法(SEFGM)相结合构成了一种Taylor展开的改进的随机无网格迦辽金法(TSIEFGM)。用TSIEFGM对二维随机热传导问题进行了分析。通过对含随机参数的热传导问题进行分析,算例验证该方法的正确性和有效性,为解决随机热传导问题提供了一种新方法。     

随机产出与需求下基于风险共享的VMI协同

在由一个产出随机的生产商和一个需求随机的批发商组成的供应链系统中,通过建立基于风险共享的VMI协同模型使供应链整体绩效达到最优。研究表明,产出和需求的随机性增强对批发商和供应链整体有不利影响,但需求波动增大却有助于提高生产商在RMI模式中的期望利润;产出随机促进批发商提高订货量,而生产商的计划产量随订货量线性递增,且反应的敏感程度随批发价格/成本的比值增大或产出随机性的减小而增强。最后数值算例验证了结论的有效性。     

基于多属性模糊Petri网的知识化制造系统产品需求预测

为强化模糊Petri网的知识表示能力, 提出了一种多属性模糊Petri网(AFPN), 即在模糊Petri网的基础上, 为每个库所及权值赋予与实际系统相对应的多个属性, 以简单模型结构完成具有多个属性的系统的建模．利用知识化制造系统的知识库, 对多属性模糊Petri网进行属性分解、属性合并以及训练更新, 并对不规则模型进行规则化, 可以在原有产品的AFPN模型基础上简单快速建立后续产品的AFPN新模型．在产品需求预测的实例中, 采用原材料和产品的各需求相关因素建立产品的需求预测AFPN, 实现了产品需求的快速预测．     

基于随机Petri网的机载软件更新系统性能评价

近年来,航电系统发展的趋势由联合式航电系统向综合化航电系统逐步演进,许多应用将原来专用集成电路实现的功能采用软件实现。软件更新系统在机载航电系统中的地位日益重要。提出了一种高效机载软件更新系统OBSUS,并运用随机Petri网理论对其性能评价。首先,提出了OBSUS的系统结构与组件间的通信协议。其次,根据OBSUS的系统结构与通信协议,建立了系统的随机Petri网模型。最后,对随机Petri网模型进行了瞬态概率分析,针对影响系统的诸多因素,如flash芯片烧写时间、数据传输丢包率和数据传输速率等,对系统的综合性能的影响进行了量化分析。仿真研究结果对于机载软件更新系统的结构与数据传输协议设计,以及如何提高系统性能,具有较强的指导意义。