基于IP技术的模拟集成电路设计研究

该文基于笔者多年从事模拟集成电路设计的相关工作经验,以基于IP技术的模拟继承电路设计流程为研究对象,探讨了模拟集成电路设计的意义,特点和具体设计流程,全文是笔者长期工作实践基础上的理论升华,相信对从事相关工作的同行能有所裨益.     

基于PICS域划分的敏捷兵力行为分析、建模方法研究

敏捷兵力行为建模急需要有效的行为分析,建模方法提供支持.根据NCW(NetworkCentric Warfare)和敏捷兵力的相关理论研究成果,提出了基于PICS(Physical-Information-Cognitive-Social)域划分的敏捷兵力行为分析、建模方法,并就其实现思想进行了阐述;在此基础上,应用该方法对敏捷兵力的敏捷作战行为进行了分析、建模实现.     

SMP2.0仿真引擎的设计与实现

SMP2.0(Simulation Model Portability)是欧洲航天局提出并广泛应用的仿真模型开发与集成规范。SMP2.0规范提供了定义SMP2模型的元模型规范、包含标准仿真服务的组件模型规范和模型的C 映射规范,但需要实现与之兼容的仿真引擎才能支持模型的开发和集成。根据SMP2.0规范标准,介绍了一个与SMP2.0兼容的仿真引擎的设计与实现,给出了仿真引擎的运行过程、运行状态和组件构成,最后通过仿真应用环境检验了该仿真引擎的有效性。     

考虑缺陷率和缺货的模糊库存模型

研究了考虑缺陷率和缺货的模糊库存模型.将缺货量、缺陷率和其他变量作为模糊数,提出了一种考虑缺陷率和缺货的模糊经济订货批量模型,以确定经济订货批量,并使得年总成本最小.最后利用实验仿真验证了模型,并分析了缺陷率对经济订货批量和总成本的影响.     

我国高层次人才发展预测与对策

对高层次人才现状进行客观描述,分析了当前我国高层次人才发展过程中存在的问题,创新性地给出我国高层次人才队伍数量灰色预测,提出高层次人才队伍建设的目标要求与对策建议.     

基于SOA的分布并行SMP2仿真体系结构研究

为了提高SMP2模型在分布式环境下的互操作与可组合性,提出了基于模型驱动架构的分布并行SMP2仿真体系结构。针对分布式环境模型组合的特点,提出了基于代理的SMP2仿真模型分布式组合方法。针对在分布式环境下进行模型调度的两个问题,提出了基于时间管理器和消息管理器的仿真模型分布式并行调度方法。设计实现了原型系统,包括基于空消息的异步仿真协议时间管理器、基于WebService的消息管理器、仿真控制管理器和仿真应用客户端。最后并以导航系统DOP分析仿真为例,验证了方法的可行性,并讨论了下一步研究方向。

Abstract：

To enhance the interoperability and composability of the Simulation Model Portability Standard 2 （SMP2） in distributed environment, a simulation architecture based on Service-Oreinted Architecture （SOA） was promoted. To satisfy the composition and schedule requirment under destributed environment, a proxy-based model composition method and a model schedule method based on time manager and message manager were studied. A prototype system was designed and implemented, including CMB-based time manager, web-service-based message manager, simulation control manager and simulation client. Finally, an application of Navigation System DOP analysis simulation demonstrates the validity and feasibility of the method.     

航迹规划领域本体的构建与应用

飞行器航迹规划方法种类繁多且涉及的领域知识庞杂,快速掌握各规划方法的特点并从中选取合适的方法进行规划十分困难,其原因在于缺乏航迹规划相关领域知识的表示和重用。为了实现方法重用,提高规划效率,采用本体技术描述航迹规划领域中的常用概念、概念的层次结构及概念间的关系,建立了航迹规划领域本体。它不仅能够对航迹规划领域知识进行规范描述,实现从规划问题概念建模到规划模型软件实现的自然过渡,还可以完成规划算法类型的自动推理,帮助规划人员快速分析比较各类算法,建立规划模型,从而实现领域知识重用。     

网络化反导防御系统仿真模型框架研究

指出当前国内攻防对抗仿真研究中,尚未体现防御方的网络化作战特点.分析了网络化反导防御系统在物理域、信息域、认知域中的体现,引入联合作战指挥中心JOCC和公共作战图像COP模型,设计了攻防对抗仿真中网络化反导防御系统的体系结构、模型组成框架、模型交互框架、模型时序框架及作战单元模型.最后以一个网络化反导防御系统为例,通过比较网络化作战前后的三个重要指标,验证了该框架的可行性及有效性.     

并行Agent仿真研究综述

作为一种研究复杂系统的有效途径,基于Agent的建模仿真方法得到了广泛应用,但随着应用规模和复杂度的增加,仿真运行速度成为制约其应用的一个重要因素。并行Agent仿真通过将Agent模型分配到多个处理单元上同时运行来减少仿真运行时间,是提高仿真运行速度的一个直接手段。根据基于Agent的建模仿真的基本思想,分析了并行Agent仿真区别于传统的并行离散事件仿真的新特点,着重从时间同步协议、负载均衡、通信优化三方面阐述了并行Agent仿真的研究现状,并对基于通用目的图形处理器的并行Agent仿真进行了讨论。最后对并行Agent仿真未来的研究方向进行了展望。     

一种基于π演算的行为建模形式化方法

根据人的行为建模形式化方法需求, 针对直接应用π演算形式化建模人的行为所存在的不足, 尝试以π演算为基础扩展定义了一种人的行为建模形式化方法π-BFMBM(π-Based Formal Method of Behavioral Modeling); 并结合具体示例,阐述了扩展内容为π-BFMBM方法带来的、增强的行为描述能力及其实现方法. 研究表明,相比于π演算, π-BFMBM方法能够为人的行为建模提供更为有力地支持.