基于灰色模糊的无线网络安全评估模型

无线网络的飞速发展使得网络安全的量化评估日益重要。结合网络安全属性和攻击属性两方面建立了无线网络安全评估指标体系,在此基础上,提出了基于灰色模糊的安全评估模型,并给出了量化评估的方法和步骤。最后通过实例进行了验证。     

基于截断函数的有限时间滑模控制方法

针对一类二阶不确定非线性系统的鲁棒控制问题,提出一种基于截断函数的有限时间滑模控制算法。该算法具有以下特点:系统状态可在期望的有限时刻收敛为零;受控系统对外部扰动和参数不确定性具有全局鲁棒特性;系统状态的动态响应可解析预测;通过选择不同的截断函数可以实现对控制器性能的调节。仿真结果验证了所提算法的有效性。     

CON/SLK due date assignment and scheduling on a single machine with two agents

We consider scheduling problems involving two agents (agents A and B), each having a set of jobs that compete for the use of a common machine to process their respective jobs. The due dates of the A‐jobs are decision variables, which are determined by using the common (CON) or slack (SLK) due date assignment methods. Each agent wants to minimize a certain performance criterion depending on the completion times of its jobs only. Under each due date assignment method, the criterion of agent A is always the same, namely an integrated criterion consisting of the due date assignment cost and the weighted number of tardy jobs. Several different criteria are considered for agent B, including the maxima of regular functions (associated with each job), the total (weighted) completion time, and the weighted number of tardy jobs. The overall objective is to minimize the performance criterion of agent A, while keeping the objective value of agent B no greater than a given limit. We analyze the computational complexity, and devise polynomial or pseudo‐polynomial dynamic programming algorithms for the considered problems. We also convert, if viable, any of the devised pseudopolynomial dynamic programming algorithms into a fully polynomial‐time approximation scheme. © 2016 Wiley Periodicals, Inc. Naval Research Logistics 63: 416–429, 2016     

军用光电产品元器件质量控制新思路的探讨

本文从元器件实际应用的角度,阐述了元器件质量控制的发展和现状,以可靠性理论为基础,结合元器件筛选工作中质量信息的分析,借鉴国外的经验,提出元器件质量控制的新思路。     

具连续分布滞量的二阶中立型阻尼偏微分方程解的振动准则

研究一类具有阻尼项和连续分布滞量的二阶中立型偏微分方程解的振动性,通过利用Riccati变换,引入一类Φ(t,s,l)型的新函数,获得该类方程在Robin,Dirichlet边值条件下振动的充分判据.     

某型高射机枪机匣校正产生破断的原因分析

某型高射机枪机匣经调质后,在校正时发生破断。采用化学分析和宏微观断口观察等方法,对破断件进行了分析。结果表明,破断件断口上有局部过烧区,且在晶界上形成疏松孔,并伴有严重的氧化。在外力作用下即发生沿晶界脆性破断。     

基于Hash运算的IPv6地址的分配与验证

目前在网络中,基于仿冒IP的攻击非常普遍,在IPv4中源地址验证比较困难,而在IPv6中,地址位较长,使得基于地址本身验证IP是否合法成为可能。Hash运算具有计算的单向性、寻找相同散列值的明文消息的困难性和对初值的敏感性,利用Hash运算生成IPv6地址,增加了伪造的难度,有效地防止了基于仿冒IP的攻击。     

基于插件技术的舰载指控系统应用框架

为提高舰载指控系统的灵活性和重用性,实现系统的按需配置与组合,在本编一体化、应用集成等技术基础上,提出了一种插件式舰载指控系统应用框架,详细的描述了该应用框架模型的组成以及框架内部消息通信机制,并对插件对象管理、本编一体化的集成框架等其中一些关键技术进行探讨.同时将这一理论成果成功应用到新型舰载指控系统原型的开发与实践中,实现了全插件式的舰载指控系统应用框架,实验证明该应用框架能显著提高指控系统开发维护的效率,是完全可行的.     

基于视景仿真的野营净水车模拟训练系统设计

野营净水车装备研制成本高,如果结合实装训练,存在着数量、场地、安全因素等限制.基于这样的需求,开发基于虚拟现实的野营净水车模拟训练系统.技术实现上,应用视景仿真软件Creator的层次化结构、纹理映射和LOD等技术,建立、管理和优化模型.在Vega中设计仿真程序,通过设计碰撞检测,编辑漫游路径,实现自动漫游和基于鼠标的训练操作,且由于声音、文字效果的加入,使模拟训练更为真实.试验分析,该系统适应性好,克服了实装训练的一系列问题,提高了野营净水车的训练效率.