时序电路测试中敏化路径选择研究

时序电路测试产生过程中,在进行敏化路径选择时会遇到失败问题.本文针对迭代组合阵列模型测试中产生的这些问题进行了有益的探讨,并提出了改进的时序电路测试产生算法,使之更加完善.     

一个快速的临界跟踪策略 VLSI故障模拟新方法

运用九故障信息标记（X,D,M,R,E,Q,T,P,U）,提出了加速扇出重汇聚引线临界性计算的一种故障模拟新方法,理论分析表明该方法是有效的。     

矩形薄板弹性稳定性的解析解法

本文求得了矩形薄板临界状态时的平衡屈曲挠度微分方程的一般解。可以求解任意边界条件下矩形薄板的临界载荷。以四边自由的正方形板为例求解了四边均匀受压的临界载荷及其屈曲波形。     

复杂系统的结构演变

考虑复杂性的一个侧面,从最简单的非线性方程出发,探讨战斗格局的结构演变和国防经费的良性循环,并通过这两个实例,揭示控制参数临界点的研究和度的把握,具有很大的理论意义和广泛的应用前景。     

正扰动下一类RN上临界增长的椭圆型方程的正解的存在性

本文讨论了如下方程:并得到了它的正解的存在性,其中g(x,U)为U~(P-1)的低阶扰动。它是文[1]的继续。     

时变道路网最短路径算法的研究

道路或区域通行限制在日常交通和部队兵力机动过程中普遍存在。通行限制情况下的最短路径问题属于时变道路网最短路径研究的范畴,对时变道路网最短路径算法及算法效率的研究有着广泛而现实的意义。重点讨论了道路网的模型描述、时变道路网拓扑结构的构建技术,最短路径算法的高效实现等内容,并给出了该算法的应用实例。试验结果显示,该算法有效可行。     

针对突发威胁的无人机多机协同路径规划的方法

在无人机多机协同路径规划中,采用V orono i图方法,引入协同变量和协同函数,产生关于已知威胁的路径,使各架无人机能够同时到达目标。在此基础上,利用集合点规划状态图,针对作战过程中的突发威胁实时进行路径规划,从而得到各架飞机的几何路径。仿真结果表明集合点规划状态图的使用对于无人机多机协同路径规划中的突发威胁问题的求解是有效的。     

Linux虚拟文件系统层的路径检索加速

为解决 Linux 内核传统路径检索日益凸显的开销问题,提出Staged Lookup以加速路径检索,通过动态缓存热目录来减少文件访问的时延。Staged Lookup的核心在于缓存频繁使用的目录项,从而避免从根节点重复遍历路径。不同于从根结点开始的检索操作, Staged Lookup扩展了搜索策略,允许从最近缓存的目录项向后或向前进行路径检索。在Linux内核版本3.14和5.4上部署Staged Lookup的原型,并开展实际系统测试。实验数据显示,相比于传统的路径检索方式,Staged Lookup能实现高达46.9%的性能提升。     

限时图形系统的限时计算和渲染技术

在介绍了限时图形系统概念模型的基础上 ,指出限时渲染也是限时图形系统的一个基本特征 ,并从软、硬件两个方面对当今国内外采用的一些典型的提高实时图形渲染性能的技术和方法进行了明确的分类和阐述 ,提出了根据模型特点选用适当渲染技术的思想     

一种基于程序域边界分析的测试方法

边界附近的点对程序故障更加敏感.针对这一特征,提出了一种基于程序域边界分析的测试方法.从被测程序本身出发,进行定义域确定及子域划分,分析定义域边界和子域边界,并跟据其边界测试点产生测试用例,以检测域边界附近的处理.实验表明对定义域边界及其子域边界进行测试,可有效地提高故障覆盖率.