基于预授权的机密性和完整性动态统一模型

目前的访问控制模型无法对机密性、完整性和可用性做到合理的统一控制,尤其是对动态的、随机的访问请求控制不完善,使得攻击者总能找到脆弱点,也使得信息系统在实际应用中无法避免用户误操作引起的安全问题。提出了一种基于预授权的机密性和完整性访问控制模型,将BLP模型和Biba模型结合起来,通过引入预授权机制,对一些随机动态的访问活动进行合理控制。运用条件控制项,对主体执行任务的权限进行实时监控,动态地授予和取消主体执行任务的权限,实现系统机密性和完整性的统一,同时保证其具有较高的可用性,有利于信息的双向流动。给出了模型的应用实例,并对其安全性进行了证明。     

硫化物对石油产品铜片腐蚀影响

讨论了不同硫化物对石油产品铜片腐蚀的影响,结合俄歇电子能谱分析结果,讨论了不同腐蚀级别铜片上硫含量的差异,试验结果表明,腐蚀级别高的铜片上硫含量高,这说明石油产品中的硫化物是形成铜片腐蚀的主要影响因素。     

问题链式教学模式在工程力学课程教学中的应用

描述了问题链式教学模式的内涵,并结合工程力学课程中应力状态分析的具体实例,将该教学内容梳理、提炼和升华,设计成链状结构的环环紧扣的问题集合,说明了问题链式教学模式的应用方法。由此可以引导学生探索性地发现问题、解决问题,提高学生的独立思考和创新思维能力。     

自适应网格交互多模型算法

研究和设计了一种模型集合自适应方法——自适应网格方法。并将其与交互多模型算法相结合,提出了自适应网格交互多模型(AGIMM)算法,它是一种变结构多模型算法。仿真显示它能有效地提高IMM估计器的费效比。     

一类可逆多分子饱和反应系统的定性研究

研究了一类具有饱和输出的可逆多分子反应动力学模型 x=( y b) (δ-xyn cyn 1 ) y=( y b) yn(x-cy) -ay应用微分方程定性理论 ,较完整地解决了该系统极限环的存在性、唯一性及不存在性。     

高精度CFD程序的内外子区域划分异构并行算法

对计算流体力学(Computational Fluid Dynamics, CFD)程序CNS提出一种Offload模式下对任务内外子区域划分的异构并行算法,结合结构化网格下有限差分计算和四阶龙格-库塔方法的特点,引入ghost网格点区域,设计了一种ghost区域收缩计算策略,显著降低了异构计算资源之间的数据传输开销,负载均衡时CPU端的计算与MPI通信完全和加速器端的计算重叠,提高了异构协同并行性。推导了保证计算正确性的ghost区域的参数,分析了负载均衡的条件。在"CPU(Intel Haswell Xeon E5-2670 12 cores×2)+加速器(Xeon Phi 7120A×2)"的服务器上测得该算法较直接将任务子块整体迁至加速器端计算的异构算法性能平均提升至5.9倍,较MPI/OpenMP两级并行算法使用24个纯CPU核的性能,该算法使用单加速器时加速至1.27倍,使用双加速器加速至1.45倍。讨论和分析了性能瓶颈与存在的问题。     

求解不确定型车辆路径问题的弱鲁棒优化方法

为降低鲁棒优化模型最优解的保守性,以最小化违约车辆数和总惩罚成本为目标,建立针对旅行时间不确定的开放式车辆路径问题的弱鲁棒优化模型。对于不确定数据集的每个取值,该模型的最优解可以使其目标函数值始终不超过某数值,进而改善最优解的保守性。为提高启发式算法发现最优解的概率,提出一种自设计遗传算法对模型进行求解,其主要思想是利用粒子群算法搜索出可使遗传算法预期产生最好解的算法要素,并将其进行组合,从而产生新的遗传算法。采用新产生的遗传算法对模型继续求解,输出最好解。计算结果表明:与以往的鲁棒优化方法相比,弱鲁棒优化方法的最优解的保守性显著降低。     

基于模糊遗传算法的先进战机协同攻防决策

根据先进战机的特点以及协同空战的发展方向,采用了一种基于先敌发现、先敌发射、先敌摧毁能力的空战态势分析模型,为了更符合作战情形对其进行了部分改进。将模糊遗传算法应用于上述模型,给出了求解多机协同攻防决策问题的算法,模糊推理器主要用于交叉概率Pc和变异概率Pm的整定。最后用具体算例进行仿真验证,结果表明采用的空战态势分析模型能够较为准确地描述多机协同空战,同时采用的算法具有较好的可行性和实时性,为协同空战的攻防决策提供了新的解决方案。     

基于集对分析的坦克多目标威胁评估方法

针对在未来陆战场复杂多样的局势下,坦克应具备对敌目标实时准确威胁评估的能力。基于客观的熵权法和模糊的集对分析方法,提出坦克的战场威胁评估方法。能够在基于客观目标分析的基础上,引入熵的概念来决定威胁评估的权重分布,在评估过程中考虑到评估自身的随机性与不确定性,采用区间数的形式,利用模糊的集对分析方法,进行评估过程中的计算,达到简单快速的计算过程。经应用实例计算证明,该方法具备相当准确性,评估结果合理,评估方式灵活实用,可满足评估的实时性需求。     

基于终端自组网的军事移动信息服务模式

针对信息化战争条件下军事信息服务网络链路保障从集中聚焦式向分布扁平式,从纵向细长、横向独立的固网树状型向无中心栅格化移动散射型转变的现实需求,在分析移动终端自组网战场应用场景的基础上,研究了面向战场信息服务的移动终端自组网技术体系,给出了基于终端自组网的军事移动信息服务组织运用模式,为完善我军战场移动信息服务基础网络生态,推进基于网络化信息系统的体系化作战能力建设,实现灵活、高效、安全、稳定的战场移动信息服务保障提供技术支持。