运用ECO开发基于UML的工作流系统

运用UML进行建模并运用MDA方法生成系统代码已成为当前工作流系统设计开发的一大发展趋势。经过多年发展的ECO技术为.Net环境下运用MDA方法开发基于UML的稳定高效的软件系统提供了很好支持,而ECOⅢ则通过支持UML动态建模,使得ECO具备了开发基于UML工作流系统的能力。通过示例介绍了运用ECO进行工作流开发的一般流程,着重展现运用ECO开发工作流系统的可行性和高效性。     

基于Stateflow的复杂可修系统的建模与仿真方法

介绍了应用Stateflow对复杂可修系统进行建模与仿真的方法.首先,对复杂可修系统与Stateflow相关概念进行了简单介绍.然后,利用有限状态机理论与面向对象编程思想提出了建立基于Stateflow复杂可修系统模型的思路、分析步骤、难点问题的解决以及参数统计模型;最后,使用Stateflow对一类复杂可修系统进行了具体的建模与仿真.仿真结果表明,基于Stateflow的模型与仿真能够有效地评估复杂可修系统的可靠性参数特征,并具有可视化、流程化和层次化的特点.     

基于角色的仿真动态建模研究

提出的基于角色的仿真建模方法，详细论述了该方法的建模过程与步骤，阐述了利用角色来达成建模的本质。典型仿真应用表明，该方法在建立仿真动态模型方面是有效可行的，且其具有良好的通用性、封装性、异步并发性及多分辨率特性，能够很好地解决日益复杂的仿真动态模型的建模问题。     

高功率电磁环境下导弹发射阵地近地面电磁脉冲波形仿真*

主要研究在高功率电磁环境下高空核爆到达导弹预设作战阵地近地面时的电磁脉冲环境.首先给出高空核爆电磁脉冲场近地面计算的理论基础,然后分析不同条件下近地面的电磁脉冲环境参数,编程实现了基于时域有限差分算法的电磁脉冲波形数值仿真,完成了多种特定预设战场环境下的电磁脉冲计算,最后给出由于电磁脉冲武器的发展和HEMP波形表述形式变化,给导弹武器系统抗电磁脉冲性能研究带来的影响和新动态趋势.结论认为:应加强对前沿更陡、强度更强电磁脉冲的抵抗能力,防御重点放在机动作战样式方面,提高战地战时抗毁生存能力.     

一种基于扩展控制流图的DA交互结构表示方法

程序控制流图不能表示DA交互发生点处实际执行的SQL语句，因而不能清晰地表示出程序数据库的交互过程。针对该问题提出了用有限状态自动机表示DMLSQL语句，根据自动机的运行过程确定交互语句使用或定义的数据对象，并利用此信息生成表示交互语句的结点，以扩展CFG。实验表明，经过扩展后的ECFG能够直观地表示DA程序中与数据库的交互结构。     

一类具Holling-Ⅲ类功能性反应的食物有限捕食-被捕食模型的极限环

研究一类具Holling-Ⅲ类功能性反应的食物有限捕食-被捕食模型的动力学性态。应用微分方程定性理论，证明当正平衡点不稳定时该模型存在唯一稳定的极限环。     

十年缔造金色航程——卫士通信息产业股份有限公司十周年成就暨策略发布会

十年的艰苦卓绝，卫士通不仅在国内信息安全市场上积累了丰富的经验，同时更深刻体会到满足用户需求的价值所在。     

仿生自修复硬件多层结构模型

针对仿生自修复硬件细胞间信号传输复杂、效率低等问题,借鉴内分泌系统中激素的传输方式,提出基于片上网络和近邻连接的4层仿生自修复硬件结构模型,并以实现有限脉冲响应滤波器为例,对模型进行详细论述。基于该模型的自修复硬件,具有灵活的布线能力与良好的容错能力,表明该模型为高可靠性自修复硬件设计提供了新途径。     

一种分析广义脊形传输器件的新型数值方法

利用Compact 2-D频域有限差分(FDFD)法分析广义脊形传输器件特性,得到的本征方程只涉及4个横向场分量,与同时处理6个场分量的本征问题相比,大大降低了CPU时间,同时由给定的工作频率f求解相移常数β,易于实际应用.针对广义脊形传输器件的复杂结构,本文划分了不同的子区.几种代表性的脊形波导传输结构分析结果与其他方法一致,表明了本文分析思路的可行性.     

改进的防空导弹武器系统作战效能评估模型北大核心

针对当前防空导弹武器系统作战效能评估模型的局限性,运用排队论基本原理,基于目标有限等待和差错服务,构建了改进的作战效能评估模型,并应用该模型进行了验证计算。结果表明,防空导弹的飞行速度、杀伤区远界和每次射击击毁概率是影响防空导弹武器系统作战效能的主要因素,对于优化防空兵力部署、改进武器系统性能具有一定的参考价值。