基于SMP2的复杂系统生成式仿真建模方法

复杂系统仿真迫切需要能够同时支持多领域分别独立针对性建模和全系统统一集成仿真的方法. 将当前用于复杂系统仿真的建模方法分为统一型、组合型和生成式三大类, 分析指出生成式建模方法具有较之其它方法的独特优势, 有望解决复杂系统仿真建模面临的问题. 研究了当前仿真领域应用的各类生成式建模方法存在的不足. 提出了以仿真模型可移植性标准(SMP2)为基础, 综合利用生成式建模方法的两大流派-模型驱动架构(MDA)和模型集成计算(MIC)-的先进技术和规范, 构建复杂系统生成式仿真建模方法的研究思路. 分析了其中的多领域生成式仿真模型公共表示规范、各类仿真形式体系到SMP2的映射与模型变换以及面向领域的仿真建模工具的自动生成等三大关键技术问题. 设计了生成式仿真建模一体化支撑环境的体系结构, 介绍了其中已经完成的工作和下一步的重点.     

多核乐观并行仿真的负载均衡研究

对于运行于多核计算机、基于多线程实现的乐观并行仿真,虽然操作系统可对线程进行调度以平衡各个核的负载,但它无法控制各逻辑进程本地虚拟时钟的平衡推进。提出了多核乐观并行仿真的四层负载分配模型及一种静态划分与动态负载均衡相结合的负载均衡方案。静态划分使用Metis图划分包对模型实例进行划分;动态负载均衡优先调度本地虚拟时钟较小的逻辑进程以实现各逻辑进程的平衡推进,无须进行模型迁移,易于实现。通过一序列实验检验了所提出的负载均衡方案的有效性。     

网络化防空导弹体系集中式拦截联盟形成方法

集中式拦截联盟(CIC)形成是网络化防空导弹体系(NADMS)中的新问题,旨在确定目标、火力节点以及制导节点三者之间的最优匹配关系,以使得体系整体作战效能最大.根据问题背景,建立了CIC的约束优化问题模型,并选择收敛速度较快的粒子群优化(PSO)算法对模型进行求解.针对PSO的局部收敛问题,从认知心理学角度将人类特有的创造性思维(CT)引入粒子速度更新公式中,通过提升单个粒子的搜索能力来提高整个群体的寻优质量.基于CT过程经典的四阶段模型构建了算法框架,改进了PSO的速度更新公式.根据CIC问题特点,制定了编码策略及相关变量的离散化运算规则.实验结果证明了算法在CIC问题求解质量和收敛速度方面的优越性.     

基于条件合同网协议的分布式制导－火力节点分配方法

分布式制导-火力节点分配(distributed guide weapon assignment, DGWA)问题是网络化防空导弹体系(networked air defense missile systems, NADMS)中的新问题,旨在解决如何对地理位置上大范围分布的制导节点和火力节点进行分布式匹配和调整,以使得整体作战效能最优。对NADMS中的DGWA问题进行描述和分析,提出了一种基于条件合同网协议的DGWA方法,分析了DGWA的执行条件,并系统地搭建了算法框架,设计了招标者的分阶段招标机制和投标者的基于自适应调度的竞标机制。通过典型作战想定,仿真分析了不同执行条件下的DGWA过程,验证了方法的有效性。     

基于线程的进程交互仿真框架研究

进程交互仿真是一种典型的离散事件仿真策略,可以采用未来事件表和当前事件表以及面向进程例程的方法设计和实现。探讨了采用计算机线程支持面向进程例程的进程交互仿真方法和进程例程的状态转移,设计和实现了一个基于线程的进程交互仿真框架。该框架包含进程、资源管理、仿真调度和数据统计等对象,采用线程池的方法支持实现进程例程的挂起、继续执行操作。最后通过离散事件仿真示例进行了验证。     

基于SMP2的导弹攻防仿真想定编辑系统研究

简要介绍了仿真模型可移植性标准(Simulation Model Portability Standard,SMP)及依此进行的导弹攻防对抗仿真总体设计,分析了各分系统间的功能关系;着重讨论了想定编辑分系统的作用,指出了对它的功能需求;最终设计并实现了该系统.该系统能够构建合理的战场地理环境、生成作战模型实例、完成实例配置和装配、自动建立实例间的链接关系,还支持表现属性设定和模型实例入口点设置.该系统可以有效支持基于SMP2标准构架下的导弹攻防对抗仿真系统的总体运行.     

支持鲁棒决策的探索性试验设计研究

针对鲁棒决策中面临的想定空间探索困难的问题,结合探索性分析,提出了支持鲁棒决策的探索性试验设计;给出了想定空间生成框架,并依据该框架的构成,将想定生成和想定分析综合为想定探索框架,给出了一种想定生成和分析的形式化分析方法;同时,依据探索性分析的实验面临的问题,提出了层次化试验设计方法,给出了该方法的逻辑步骤,可以充分结合人的分析能力和计算机的计算能力进行交互式实验,以获取对问题的鲁棒解.     

松北新区湿地细菌的筛选和鉴定

通过对哈尔滨市松北新区湿地中细菌的调查、筛选、鉴定,对湿地及湿地微生物之间的关系进行了简要的分析,为研究湿地生物多样性和合理利用等问题提供了科学依据．     

网络背景下文献检索课教学模式研究

网络背景下,高校文献检索课教学面临机遇和挑战.通过论述高校文献检索课网络教学系统建设及其教学运行程序,探讨高校文献检索课网络教学模式的特点.     

外腔半导体激光器调谐输出双稳环跳变幅度的变化

研究了强反馈条件下光栅调谐外腔半导体激光器（ＥＣＬＤ）的双稳特性,利用求得的载流子－频率（Ｎ－ｖ）曲线上的双稳环跳变点处的载流子密度的解析表达式,分析了ＥＣＬＤ几个关键参量对载流子密度跳变幅度的影响。