导函数性质及其应用

处处有导数的函数（导函数）有两个很好的性质：（1）在一点处有极限,则该点必连续,若无极限则该点两侧或单侧必振荡;（2）可能有不连续点的导函数介值定理仍成立。如果函数某点的领域内处处可导,我们可得到如下三个推论：（1）当f^l（x0＋0）=f^l（x0-0）时,则存在且连续。（2）当f^l（x0＋0）≠f^l（x0-0）,或至少有一个单侧极限为无穷时,函数在该点不可导,（3）当f^l（x0＋0）和f^l（f0-0）中一个或同时振荡时,函数在该点可能可导。     

边界扫描测试的数学描述模型

IEEE1149.1边界扫描机制是一种新型的VLSI电路测试及可测试性设计的有效方法,为了高效地应用边界扫描机制对电路系统进行测试,必须对其所涉及的理论方法进行深入探讨。本文应用布尔矩阵理论建立起边界扫描测试的数学描述模型,并基于所建立的模型导出了边界扫描测试中的故障检测条件和故障隔离条件。为边界扫描测试生成算法的深入研究奠定了理论基础。     

基于通视性约束的实体运动匹配仿真算法研究

研究了坦克实体在TIN地形上进行运动匹配的新求解方法,引入了感兴趣区AOI概念,采用估计与检测算法计算实体的参考点,并结合SO改进算法提出了基于通视性约束的实体运动匹配仿真算法。经与四点匹配算法进行定性和定量的比较得出,该算法可以使坦克在运动时与地形保持合理的位置关系,克服了运动实体与地形相互嵌入等现象,有效地提高了虚拟场景的真实感和可信度。     

应用不可满足子式的解码电路综合优化方法

解释布尔公式不可满足的原因在很多领域都具有实际的应用需求,而最小不可满足子式能够为诸如电路的自动综合等应用领域中的不可满足原因提供最精确的解释。因此,将两种能够高效求解最小不可满足子式的算法——分支-限界算法与贪心遗传算法,集成到解码电路的自动综合工具中。采用通信领域的标准编码电路作为测试集,将两种算法进行对比。实验结果表明,在运行时间与每秒剔除的短句数方面,贪心遗传算法优于分支-限界算法;不可满足子式在解码电路的自动综合过程中发挥重要作用。     

灰色关联投影法的威胁排序算法

威胁评估与排序是作战系统和C4I系统必须具备的重要功能.结合多指标决策理论和灰色系统理论,提出了基于多指标决策灰色关联投影法的威胁排序算法.首先通过建立灰色关联判断矩阵将威胁排序转化为多指标决策问题;其次为缩小极端值的影响提出了基于信息熵的威胁指标权重算法;最后从矢量投影角度应用灰色关联投影值进行威胁排序;并分别研究了分辨系数和指标权重对威胁排序的影响.通过现代防空作战实例验证了算法的有效性和工程实用性.     

基于GA-ML-PMHT的多基站无源协同定位方法

针对无源协同定位系统中低可观测目标的航迹初始及维持问题,提出一种基于遗传算法的极大似然概率多假设的多基站无源协同定位方法。首先,建立多基站无源协同定位系统数学模型。其次,提出基于极大似然概率多假设的无源协同定位航迹初始算法,并首次利用遗传算法解决极大似然概率多假设中的优化求解问题,以提高目标检测跟踪性能。最后,通过滑窗法实现航迹维持。仿真结果表明,所提方法能够有效解决多基站无源协同定位系统中低可观测目标的航迹初始及维持问题。     

智能可穿戴设备军事应用与发展趋势

介绍智能可穿戴设备的基本概念、发展历程、分类与功能,归纳智能可穿戴技术在作战指挥、武器装备、军事训练、安全管理和后勤装备保障等方面的应用现状,分析在新材料技术、人机交互技术、物联网技术、大数据与云计算技术等新技术影响下军用智能可穿戴技术的发展前景。     

飞行控制系统的重构技术研究

飞行控制系统的重构技术可以有效地提高飞行器的生存能力和任务效能,已成为现代飞行器综合设计领域的热门研究专题之一.介绍了飞控系统重构技术的发展历史及现状,对目前几种重要的飞行控制系统重构方法进行了概述和分析,总结了飞控系统重构技术领域里的一些热点问题,最后展望了未来飞控系统重构技术的发展趋势.     

面向管理员的网络可生存性建模与计算

从网络系统安全评价和管理的角度出发,紧密结合可生存性定义和可生存性的四个特征属性,建立了面向管理员的网络可生存性量化模型;给出了该模型的算法流程;提出了面向管理员的网络可生存性计算公式,该公式中包括恢复率和系统状态转移矩阵的计算方法,反映出可生存性对网络空闲资源和恢复时间的要求;最后进行了面向管理员的网络可生存性计算的仿真实验,表明可以利用有限的网络资源实现高水平的网络可生存性。     

Banach空间中极大单调映像零点具有误差项的杂交投影算法

在Banach空间中,采用杂交投影的方法构造了带误差项的极大单调映像零点的迭代算法,利用Lyapunov泛函和杂交投影的性质,证明了该算法的强收敛性.