支持虚拟样机的协同仿真平台关键技术研究

为了支持虚拟样机开发环境中不同领域，分布，异构的仿真系统间的信息共享和互操作，提高协同仿真平台的可扩展性和灵活性，提出了灵巧产品模型建模，协同仿真资源库集成管理方案和协同环境运行框架，并具体说明了基于DCOM的仿真工具协同的关键实现技术，支持仿真联邦管理的数据库设计和CORBA的应用实现技术，通过轿车虚拟开发的初步应用实践，基于上述研究所开发的平台能有效支持复杂产品的虚拟开发。     

邮政通信网局部预测模型的研究和实现

为建立模型对网络实体流量流向进行预测,通过对实际情况的分析,得出新的局部预测模型方案,并为模型设定多级子模型,当模型需要变换时,只需要加入新的影响因素,不需要改变模型框架,这样使得模型更加适合邮政通信网仿真优化的需要。对于其它类似的仿真系统模型建立也有一定的启发作用。     

差分方程非振动的充要条件

本文运用拉普拉斯变换证明了一类常系数线性差分方程有最终无界正解当且仅当相应的齐线性差分方程的特征方程有正解。     

下层为多目标的两人两层决策问题的模型及优化方法

本文针对上层为单目标,下层为多目标的两人两层决策问题,建立了它的数学模型和决策机制,然后将其转化为单层的非凸优化问题。采用外部逼近算法求解此非凸优化问题的全局最优解,这为两层决策问题提供了一种求解的途径,同时为该类问题的决策支持系统的研究是有意义的。     

半群方法在发汗控制问题中的应用

本文研究执防护发汗冷却控制中的自由边界解的存在性、唯一性，应用算子半群方法得出了解的存在性、唯一性，所用的方法对一般非线性、抛转型偏微分方程和高维情形也适用．     

卷积型积分微分方程解的渐近稳定性

研究了一类卷积型积分微分方程，利用李雅普诺夫方法，给出了判定n维系统中卷积型积分微分方程的零解一致渐近稳定性的定理以及其Volterra方程的零解渐近稳定性的定理，推广了已有的结果。     

任务管理式新型余度飞控系统的研究

通过对以往飞行控制系统的研究，提出了基于任务管理方式的新型余度飞控系统，即任务按减小通讯量、提高并行性、增加可靠性和均衡负载的原则分割并分配到相应的计算机节点上，协同完成任务。在发生故障时进行动态调度，保证任务的继续执行。而且给出了相应仿真平台的软硬件结构，提供了局域网实时分布仿真系统中一些相关技术的解决方案或策略。     

常系数线性中立型微分方程周期解存在唯一的充要条件

本文利用Fourier级数讨论具有常系数的任意阶中立型泛函微分方程的周期解，除一种特殊情况外，我们得到了用有限代数方程组描述的周期解存在唯一性的充要条件，对这种特例，我们也得到了若干实用结果．     

一种可行的智能三维特观设计系统的设计方法

针对复杂地区地震勘探的三维观测系统设计这一困扰广大地震勘探科技人员的难题，进行了较为全面细致的分析和论述，文章从与三维地震勘探的成本和效益方面密切相关的覆盖次数问题，激发点冗余浪费问题，以及特管勘探设计与常规勘探设计的关系问题入手，进行了深入的探讨，并给出了一种解决该问题的计算机交互式实现方法，对于三维地震勘探具有指导价值。     

梅河高速公路隧道稳定性数值模拟

采用有限元方法对梅河高速公路代表性隧道--黄牛坳隧道LK74 613断面围岩的位移和稳定性进行结构计算;结合施工过程进行了LK74 613断面不同位置点的数值分析;动态模拟了该隧洞施工的全过程;对该公路隧道的围岩和支护结构的稳定性进行了合理的分析,为工程设计和施工过程提供了合理的参考.该研究对全线其它隧洞的设计和施工具有一定的参考作用.