模型驱动在舰载指控系统的应用研究

模型驱动架构(MDA)提出了一种利用模型进行软件开发的方法.首先提出模型驱动开发方法在舰载指控系统中的应用策略,说明了模型驱动架构的元模型建立过程,描述了利用元对象设施(MOF)扩展元模型的方法.然后以舰载指控系统中的表页显示软件为例说明了舰载指控系统业务软件元模型的建立过程.     

基于投影寻踪和遗传算法的一种非线性系统建模方法

基于投影寻踪和遗传算法,提出了一种建立非线性系统模型的新方法及其算法实现,并给出了两个仿真算例.仿真结果表明,用本文提出的方法建立非线性系统模型,具有预测精度高、工程实用性好等优点.     

一类非线性区间时滞随机系统的控制与仿真

针对一类非线性区间时滞随机系统的控制问题,提出一种基于随机模糊双曲正切模型的时滞依赖控制策略.应用随机模糊双曲正切模型对非线性随机系统进行建模,其中模型参数可用BP神经网络进行学习.提出一个新颖的Lyapunov-Krasovskii泛函进而推导出闭环系统时滞依赖均方意义渐近稳定的镇定条件.最后采用改进的Euler-Maruyama法对非线性随机微分方程进行仿真,仿真结果验证了所提出的控制策略的有效性.     

基于Petri网的并行自动测试系统资源分配模型与仿真

在并行自动测试系统中,为了对资源分配中的竞争与冲突进行分析,必须对该问题进行建模和仿真.在基于Petri网理论的基础上,提出了一种并行自动测试系统的资源分配模型,并且在该模型下,对一个系统实例进行了仿真分析.实验结果表明,该模型适于描述该类系统的资源分配问题.     

一种非线性系统的N阶线模型及其辨识方法

广义脉冲响应函数模型由于其辨识对输入激励的苛刻要求,限制了其在非线性系统故障诊断方面的应用.提出了一种基于广义脉冲响应函数的可以描述非线性系统动态响应过程的N阶线模型.它将广义脉冲响应函数的各阶空间特征压缩到一条边线上,减少模型的表征量,从而降低辨识的输入激励要求,使被压缩的模型更易于被辨识.并且,根据广义脉冲响应函数的特性,提出了模型的辨识方法.最后,仿真验证了模型的辨识,并分析了故障对模型的影响特征.表明该模型适用于非线性系统的故障诊断.     

考虑追加投入的混联两阶段DEA效率评价

提出了一种数据包络分析(DEA)模型,用于评价由三个附加输入子系统组成的平行–串联两级系统的效率.根据混合两阶段系统的特点,基于DEA乘法模型和DEA加法模型提出了一个混合两阶段系统模型.采用启发式算法对线性规划问题进行求解.混合两阶段DEA模型能够评价系统的整体效率,将其分解为各阶段和各子系统的效率,并通过调整步长得到精确的计算结果.通过模型应用于我国30个工业行业的技术创新效率评价与分解,验证了模型的可行性.     

一种基于角色的协同仿真系统访问控制模型

针对当前协同仿真系统中的应用需求,提出并实现了一种基于角色的协同仿真系统访问控制模型.在这个模型中,通过建立用户.角色_权限三者之间的映射关系,并进行统一管理和维护,提高了协同操作中的灵活性和有序性.同时充分利用已有仿真系统的属性扩展特点,验证了该模型的可行性.     

独轮车机器人的动力学建模与非线性控制

为了实现对于独轮车机器人非线性系统的姿态控制.以独轮车机器人车体的俯仰角度、横滚角度和航向角度作为广义坐标,基于拉格朗日定理提出了一种独轮车机器人的非线性动力学模型.并使用MIMO仿射非线性系统描述了该动力学模型.基于MIMO仿射非线性系统的精确线性化理论设计了独轮车机器人的控制算法,实现了对于输入的解耦.基于该动力学模型和控制算法搭建了仿真系统,仿真结果验证了动力学模型的正确性和反馈线性化控制算法的有效性.     

一种基于SPWM的交-直-交型变频器系统简化模型

针对应用Matlab/Simulink/PSB对交-直-交变频器建模仿真存在运算量大,耗时长的问题,提出了一种适合于控制系统分析设计的简化高效的基于SPWM变频器系统模型.首先详细推导了基于通用模块的变频器开关函数模型;然后提出一种代替SPWM脉宽调制环节的等效方法,组成了变频器系统的简化模型,并分析了基于简化模型设计控制系统的有效性;最后通过仿真进行验证.结果表明简化模型保持了原模型的外部特性而实际用时显著缩短,适合于控制技术研究的仿真应用.     

基于Petri网建模与仿真的制造企业生产系统流程再造方法

对基本Perti网进行了扩充,提出了一种优化Perti网模型,使之能够支持制造企业生产系统流程再造,并提出了一种建立在层次化、模块化和标准化基础上的生产系统建模和仿真方法;运用约束理论的思想,提出了生产系统再造的流程结构优化和瓶颈优化的层次化方法,并探讨了运用时间Petri网模型寻找和消除约束的方法,目的是为制造企业生产系统渐进式流程再造提供有效的方法和工具.这种方法可以将实际系统细化为多个层次的模型,并将生产系统局部作更详细的分析,从而避免了分析整个系统的复杂性.而且,可以通过调整模块和修改模块构造新系统,从而实现生产系统再设计的快速化和柔性化.最后,对这个方法在企业的应用进行了案例分析.     

The Age Distribution Model and the Parity Progressive Model of Population and Their Equivalence

This paper proved that the integral form and the intero-differential form of the agestructured population equation(Lotka model) are equivalent, the integral form and the integrodifferential form of the parity prongressive population equation(Henry model)are equivalent. By the age parity progressive model, the equivalence between Lotka model and Henry Model is also proved. Moreover. the relation between the parity progression ratio and the total fertility rate is giver.     

Persistence and Global Stability for Two-Species Predator-Prey System With Diffusion

1　IntroductionOneofthemostinterestingquestionsinmathematicalbiologyconcernsthesurvivalofspeciesinecologicalmodels.Inthispaper,weconsideranonautonomoussystemcomposedoftwospeciespredator-preywithdiffusion.Levin[1]firstestablishedthiskindofmode-labouta...     

CEV过程下有交易费的回望期权定价研究

为了研究在不完全市场下的一类回望期权的定价问题,即波动率为常数(CEV)过程下存在交易费的一类回望期权的定价问题.利用无套利原理和广义Ito公式,建立了期权定价模型,得到了在该模型下期权价格所满足的微分方程,并且利用有限差分的方法,给出了微分方程具体的Crank-Nicolson隐式格式的数值解,最后通过一个具体数值实例验证了该方法的有效性.     

导弹追逃博弈微分对策建模与求解

针对导弹攻防对抗过程中拦截器追击具备较强机动能力弹头的追逃问题,建立了双方追逃微分对策模型并给出求解方法.一是给出导弹追逃质点动力学模型;二是基于微分对策理论,建立了导弹攻防对抗微分对策模型,模型以推力角为控制变量,高度,速度和经度角为状态变量,并考虑了地球重力和自转的影响;三是针对模型获得解析解的困难,给出高精度四阶Gauss-Lobatto多项式配点法来逼近非线性方程,通过离散化节点和配点上的状态量和控制量将微分方程组转换为代数约束;四是为采用配点法求解模型,给出了将双边最优对策问题转化为单边最优对策问题的具体方法.最后实例分析对本文研究进行了仿真验证.     

效能评估ADC模型中可信赖度矩阵算法探讨

ADC模型是目前评价复杂武器系统效能的标准方法,在实践中得到了广泛应用.但多数应用中可信赖度矩阵计算过于简化,致使效能评估结果误差较大.为了提高模型的有效性和可信度,将武器系统在执行任务后任意时刻处于某种状态看作是一个随机过程,应用连续时间齐次马尔可夫链的柯尔莫哥洛夫向前和向后方程建立可信赖度矩阵计算模型,求解矩阵微分方程得到转移概率.最后,以某型近程地空导弹武器系统效能评估为应用背景,给出了应用案例,验证了模型的有效性,并提出了进一步研究的方向.     

基于时间-空间分数阶偏微分方程的图像去噪模型

为了在去噪的同时更多地保留图像的细节信息,将分数阶微积分理论和梯度下降流有效结合,提出了分数阶梯度下降流的概念,并证明了能量泛函的分数阶梯度下降流在一定微分阶次范围内是收敛的。在此基础上,将时间因素引入到改进的基于空间分数阶偏微分方程的去噪模型中,从而构建了基于时间-空间分数阶偏微分方程的去噪模型,该模型实现了在时间方向上和空间平面内的同时去噪。实验结果表明,提出的基于时间-空间分数阶偏微分方程的图像去噪模型较基于空间分数阶偏微分方程的图像去噪模型不仅可以提高信噪比,而且可以大幅减少图像获得最大信噪比所需要的迭代次数。     

On Some Species Extinction in the Nonautonomous n -Competing Pecies Systems

１　ＩｎｔｒｏｄｕｃｔｉｏｎＣｏｎｓｉｄｅｒａｃｏｍｍｕｎｉｔｙｏｆｎｍｕｔｕａｌｌｙｃｏｍｐｅｔｉｎｇｓｐｅｃｉｅｓｍｏｄｅｌｅｄｂｙｔｈｅｎｏｎａｕｔｏｎｏｍｏｕｓＬｏｔｋａＶｏｌｔｅｒｒａｓｙｓｔｅｍｘｉ（ｔ）＝ｘｉ（ｔ）ｂｉ（ｔ）－∑ｎｊ＝１ａｉｊ（ｔ）ｘｊ（ｔ），　ｉ＝１，…，ｎ．（１．１）ｗｈｅｒｅｘｉ（ｔ）ｉｓｔｈｅｐｏｐｕｌａｔｉｏｎｓｉｚｅｏｆｔｈｅｉｔｈｓｐｅｃｉｅｓａｔｔｉｍｅｔ，ｘｉｄｅｎｏｔｅｓｄｘｄｔ，ａｎｄｆｏｒａｌｌｉａｎｄｊｔｈｅｆｕｎｃｔｉｏｎｓａｉｊ（…     

《系统工程理论与实践》论文作者服从Lotka分布的统计分析

给出了《系统工程理论与实践》论文作者服从Ｌｏｔｋａ分布ｆ（$y_ｘ$）＝０．８０９７／ｘ２．８４９７的结论,并对这个结果进行了分析.     

基于偏微分方程的户外图像去雾方法

户外图像的雾化往往导致色彩降质和对比度降低,有效的去除图像中天气效果对提高视觉系统的可靠性和鲁棒性具有重要意义。根据大气散射物理模型以及有雾图像的色彩与对比度降质同场景点的景深成指数关系的先验知识,分别建立了户外图像全局去雾和局部去雾的能量最优化模型,推导了相应的求解偏微分方程。利用用户提供的简单附加信息,实现了仅从单幅图像恢复清晰图像的去雾算法。实验结果表明：去雾图像的色彩清晰度和对比度有较大改善,具有很好的应用前景。     

带有弹药参数的军事系统模型的建立与分析

采用微分方程建立战争模型是一种常用的方法。但是现有的模型通常用于说明某些战术模式,对战术以外的参数没有考虑,而这些参数可能影响到战争的进程。采用高维微分线性方程组建立了包含人员 弹药参数情况的战术模型,拟对其它参数对战争的影响进行分析。分析结果表明,战争的进程不一定会简单地沿着Lanchester模型进展,其它因素也会影响到战争的发展方向。本模型的结论也适用于包含人员 食物参数情况的战术模型。