航空电子分区层次调度模型及其优化设计

在模块化航空电子系统中,采用分层结构构建系统,通过分区管理实现不同分组的航空软件互不影响的执行.在任务最大响应时间函数的基础上,利用加权轮转时间和任务执行系数,得到了分区调度成功的判决条件;通过对系统剩余时间的计算,提出了分区快速设计模型;通过对任务时间遍历,得出分区最优化设计模型.开发仿真工具对这两种模型进行对比,结果表明:快速设计模型较好的解决了航空电子分区设计问题.     

基于MPI的并行分布式高斯消元算法设计和评估

为了满足电磁仿真数值计算日益增高的速度和精度的需求,针对单机内存需求和计算负荷需求都比较大的矛盾,提出基于分布式并行机群环境的并行计算划分和并行存储划分的算法设计思想,并且给出了基于行列循环数据划分的并行计算算法描述.在此基础上进行了实验验证,用MPI+FORTRAN和MPI+C编程实现了对大矩阵求逆的分布式高斯消元,并进行了性能评估和实验验证,在国内外超级计算中心平台上的实验结果表明所完成的工作对于系统的电磁仿真计算具有应用价值,该算法和代码实现可应用于电磁仿真计算的矩量法MOM(Method of Mom)中.     

疾病基因网络的二分图投影分析

介绍了一种可揭示同一集合内部结点相互关系的二分网络投影方法,并运用此方法对基因疾病二分网络图做研究.通过遗传性疾病与致病基因的关联性来分析不同疾病之间隐含的相互关系,得出由相同的基因变异所引起的各种不同疾病之间存在着或多或少的联系,这些疾病比起毫无联系的疾病,其相互引发的概率也要大得多.此结论使我们能够更清楚地认识到遗传性疾病的发病机制,对疾病预防以及医疗诊断都有一定的参考价值.     

作战单元战场空间感知建模研究

依托仿真进行军事作战过程研究所要解决的建模问题之一就是对作战单元战场空间感知过程进行合理建模,而其有效性需求决定了模型必须要能够正确地表达实际作战过程中作战单元战场空间感知所具有的、面向区域的特性。根据作战单元战场空间感知的区域特性,阐述了基于空间划分的作战单元空间感知建模实现思想,并就基于空间划分的战场空间感知模型实现进行了详细的形式化描述。就基于空间划分的作战单元空间感知模型的运行效率,进行了实例对比分析。     

组播最优QoS划分问题及其混合遗传算法

最优QoS划分研究基于性能的价格体系下的资源分配问题，组播最优QoS划分（MOPQ）是将组播树上端到端QoS要求划分到本地链路，使得总代价最小。研究了求解MOPQ问题的遗传算法，设计了由树代价与叶结点缮罚因子构成的适应度函数，提出了双子群混合遣传算法。该算法充分利用了遗传算法的全局搜索优势，模拟退火算法的局部搜索优势以及双子群的协作优势。仿真结果表明该算法的有效性。     

系统重要性股权质押上市公司的识别 ——股权质押违约的系统性风险贡献度视角

股权质押风险一旦爆发呈联动效应,影响范围将迅速波及多个市场,极有可能衍生出系统性风险,对整个金融市场和实体经济带来极大危害.围绕股权质押违约风险在股票市场和基金市场传染的核心问题,借鉴网络科学研究工具,从关联市场视角探索股权质押风险跨市场传染的路径和规律.首先描述了股权质押二部图网络的构建方法,利用关联网络的阈值传染模...     

推广的马尔可夫分割定理

主要证明了推广的马尔可夫分割存在性定理,即在没有极大性的条件下,定理也是正确的.     

广义多边形的一个构造定理

W·K·Kator于1986年在文献[2]中给出了构造广义多边形的一个定理,本文另外给出一个。并把构造广义多边形的问题归结到某个集合上建立一种特殊映射的问题。     

基于平面多边形的不规则三角网分割

判断平面多边形与不规则三角网(TIN)中的三角形的相离、相交和包含3种位置关系，确定与多边形相离、包含的三角形应分别归入原TIN和新形成的TIN中，与多边形相交的三角形重新进行三角剖分，剖分后的三角形归入相应的TIN中，从而实现了基于平面多边形的不规则三角网的分割。     

完全二分图上星博弈的一个公式

给出了在完全二分图Kp,p上星博弈时一方成功数a2(K1,n)的定义:甲乙二人在完全二分图Kp,p上博弈,首先甲用绿色对Kp,p的一条边染色,接着乙用红色染Kp,p的另一条无色边,如此甲乙交替地对Kp,p的无色边进行着色.若甲在Kp,p上染成绿星K1,n,且乙在Kp,p上还没有染成红星K1,n,甲胜.否则甲负乙胜.甲能取胜的最小值p=p(n)称为K1,n的一方成功数,记成a2(K1,n).证明了a2(K1,5)=7.