基于IDEF的装备保障指挥辅助决策系统建模

对装备保障指挥辅助决策系统中的决策内容进行了研究,提出了一种基于IDEF的复杂系统的建模方法。首先用IDEF3方法对装备保障指挥活动进行了过程描述,抽象出指挥过程中的决策问题,然后构建了辅助决策系统的IDEF0功能模型。     

考虑需求变化的指挥信息系统韧性优化研究

现有指挥信息系统韧性研究忽略了需求变化对其韧性过程的影响，无法反映系统遭受攻击后的韧性能力与任务需求的关系。引入正常功能水平、最低功能水平和预期功能水平3个变量，提出需求显著上升、需求基本持平和需求显著下降3种韧性模式；针对韧性过程中功能水平下降和自适应恢复2个阶段，提出抵抗力增强和冗余度提升策略，定义措施效果函数，建立韧性优化模型，运用分组背包问题的近似动态规划算法求解；以某区域联合防空指挥信息系统为例，进行仿真实验，验证需求变化对指挥信息系统韧性优化的影响。结果表明，为适应复杂恶劣战场环境下不同场景作战需求，指挥信息系统应选用合理的韧性模式，并统筹考虑敌方攻击强度、经费预算和应对策略等相关因素。     

ADO.NET中离线处理数据的方法

ADO.NET是DOT NET Framework用于访问数据库的组件.通过ADO.NET可以连接方式或非连接(离线)方式访问数据源,从而提高应用程序的性能,减轻远程服务器的压力.介绍ADO.NET数据访问的对象模型中5个常用类(SqlConnection,SqlCommand,SqlDataAdapter、SqlCommandBuilder、DataSet)的使用,着重论述如何运用这5个类的对象来对数据源中的数据进行各种离线处理的方法.     

半正定极因子在酉不变范数下的绝对与相对扰动界

设${bf A}={bf Q}{bf H}$是矩阵${bf A}in mathbb{bf C}^{mtimes n}$的极分解, 其中${bf Q}^{*}{bf Q}={bf I}$, ${bf I}$为$n$阶单位矩阵, ${bf H}$为$n$阶Hermite半正定矩阵. 给出了任意扰动下Hermite半正定极因子在酉不变范数下的绝对与相对扰动界. 对于满秩矩阵, 绝对与相对扰动界具有最优性质.     

战斗机网络攻击指令引导控制方法

对战斗机网络攻击指令引导控制方法进行了研究。建立了导弹拦射攻击模型和导弹发射边界模型;以航向角和高度为引导指令建立网络指令引导解算模型;基于典型作战场景对上述模型进行仿真实验分析。仿真结果表明:不管针对非机动目标还是机动目标,采用网络攻击指令引导方法都能实现最大火力包线的战斗机网络攻击引导。     

周期冲激函数与黎曼引理

证明了周期冲激函数展开所得到的傅里叶级数收敛于冲激函数，冲激函数不满足黎曼引理，因此由黎曼引理导出的傅里叶级数的性质不适合于周期冲激函数，对由黎曼引理推出的傅里叶级数的系数的性质进行了修正。     

Operational properties and matrix representations of quantum measures

Denoted by M(A), QM(A) and SQM(A) the sets of all measures, quantum measures and subadditive quantum measures on a σ-algebra A, respectively. We observe that these sets are all positive cones in the real vector space F(A) of all real-valued functions on A and prove that M(A) is a face of SQM(A). It is proved that the product of m grade-1 measures is a grade-m measure. By combining a matrix M _μ to a quantum measure μ on the power set A _n of an n-element set X, it is proved that μ ≪ ν (resp. μ ⊥ ν) if and only if M _μ ≪ M _ν (resp. M _μ M _ν =0). Also, it is shown that two nontrivial measures μ and ν are mutually absolutely continuous if and only if μ·ν∈QM(A _n ). Moreover, the matrices corresponding to quantum measures are characterized. Finally, convergence of a sequence of quantum measures on A _n is introduced and discussed; especially, the Vitali-Hahn-Saks theorem for quantum measures is proved.     

引入微元法思想的混合测控资源联合调度方法

针对混合测控资源联合调度中存在的资源属性繁多、偏好差异大以及可能出现的调度弧段冲突等问题,借鉴单体制测控网调度研究中的任务需求描述方法,对混合测控任务需求的特点进行分析,给出其任务需求的规范化描述。以测控调度收益值最大为目标,建立混合资源联合调度模型;引入微元法思想,提出了可用弧段扩展复用方法,以此为基础提出了基于改进遗传算法的求解策略。仿真结果表明：所建模型和相应的解冲突算法能有效提高测控需求满足率和测控收益。     

基于关系契约的研发联盟收益分配问题

在关系契约框架下研究研发联盟的收益分配问题.结果表明,研发联盟一次性合作的收益分配方案应遵循绝对优势原则,即合作各方应能够得到与自身贡献相匹配的合理收益;而重复合作收益分配应遵循相对优势原则,即根据相对成本和相对效率确定收益分配率,应给予相对劣势成员比短期合作中更高的收益分配比例,虽然该比例仍低于相对优势成员.这些研究结论可用来修正研发联盟收益分配正式契约条款,有助于克服成员的背约冲动,维护研发联盟的长期稳定.