基于频谱的缺陷定位技术:逆向切片优于执行切片

一般情况下,缺陷定位技术的应用前提是必须存在测试预言,以判断测试用例的运行结果是失败或者成功,否则将无法使用。然而,在许多实际情况下,测试预言不存在或者很难定义,这就是著名的"预言家难题"。为了应对"预言家难题",利用蜕变测试,扩充了采用逆向切片基于频谱的缺陷定位技术的方法学,实现了其在无测试预言下的有效应用。基于上述研究,进一步对比了SFL技术中执行切片与逆向切片的缺陷定位能力。实验表明,在有测试预言和无测试预言两种情况下,逆向切片比执行切片具有更强的缺陷定位能力,并且公式GP19和ER1’相比于其他公式,更有可能达到最优结果。     

基于程序切片的电路提取技术

从HDL设计描述中提取电路在VLSI设计验证、低功耗分析、测试生成等方面有广泛的应用需求。提出了一种采用程序切片技术实现的新的电路提取方法,并深入论述了基于程序切片技术从Verilog描述中进行电路提取的理论基础。该方法可以为每一个感兴趣的信号获取其"链接切片"。与以前的方法相比,该方法的优点是细粒度的、不受书写格式的限制,并且能处理更多Verilog的语法元素。该方法已经被集成到现有设计流程中,实验结果表明其方便、高效,有良好的通用性。     

流动粉浆输送装置的研究

为减轻环卫工和建筑工人劳动强度和提高工作效率,在已有螺旋输送机的工作原理基础上,进行创新。将螺旋片由刚性连接改为柔性连接,将硬管改为软管。经过试验,在选择了一定的工艺参数后,使刚性的螺旋片和柔性的胶管之间,有较好的配合效果,从而实现了螺旋输送机械,可以在输送管道有一定弯曲的条件下,运送砂浆的功能。该研究有一定的实用价值和社会意义。加工制造工艺不复杂,有利于普及。     

一种快速有效的循环平稳信号检测方法

TSAE-Z算法把时间切片自相关包络检测和可变步进的Zoom-FFT检测相结合,实现了对循环平稳信号的快速、精确检测,仿真结果表明,在相同数据长度条件下,TSAE-Z算法能够使检测运算时间减少3个数量级;在相同执行时间的条件下,TSAE-Z算法能在提高检测分辨率的同时使检测性能提升6dB以上。     

基于时间切片的通信计划合规性评估模型

针对体系作战背景下通信计划规划任务多线性和关系复杂的问题,提出了一种通信计划合规性评估模型。该模型通过构建计划时间切片,描述了多个通信保障任务主线在各阶段的全局关系视图,并定义了通信链路连接矩阵、电磁频谱三级规划和指控系统命名类量化,描述了通信计划的基本内容,同时定义了3类评估规则和3种评估运算法则,形成了完整的合规性评估体系。最后,通过实例分析验证了模型有效性,结果表明,评估模型能够较好地区分不同信息需求下的通信计划合理程度。     

黑腿星翅蝗（Calliptamusbarbarus）消化道组织结构观察

应用常规石蜡切片法，H·E染色，在光学显微镜下对黑腿星翅蝗（Calliptamusbarbarus）消化道组织结构进行了观察。结果表明，黑腿星翅蝗消化道壁由内向外的组织结构是：最内层为几丁质内膜或围食膜，然后依次为上皮层（肠壁细胞层）、基膜、环肌层、纵肌束和围膜。其中前肠和直肠的最内层具有非细胞结构的几丁质内膜，中肠则具有非细胞结构的围食膜，直肠部位具有6个直肠垫。消化道的组织学结构与蝗虫的一般结构相似。