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

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

一步法制备石蜡微胶囊的中试研究及性能表征

采用一步法在100L反应釜内进行石蜡微胶囊制备的中试,表征了石蜡微胶囊的微胶囊化率、粒径和热性能,探讨了中试工艺对产品性能的影响。结果表明中试产品与实验室小试产品的性能基本接近。中试石蜡微胶囊的微胶囊化率为70％,平均粒径为54．0μm,相变范围为40～80℃,相变峰值和热焓分别为65℃,114J／g,分解温度达250℃。     

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

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

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

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

采用非对角1-D切片的码片速率盲估计北大核心

在通信侦察识别中,通信信号的码元速率估计是调制识别和信息解调的前提和基础。针对直接序列扩频信号的伪码码片速率估计问题,提出了一种利用联合循环高阶累积量非对角1-D切片特征参数,对直扩信号码片速率进行盲估计的改进算法。该算法将采样信号不同延时的非对角1-D切片进行联合处理,通过自相关、快速傅里叶变换、求模平方等方法,增强了谱线特征。仿真实验证明,改进算法较2-D切片算法简化了计算,并且在更低信噪比条件下,实现了对无先验信息直接序列扩频信号的码片速率盲估计。     

基于双谱切片小波包的雷达体制识别技术

根据机械扫描雷达、一维相控阵雷达和二维相控阵雷达扫描方式的差异,通过对3种体制雷达进行双谱分析、切片化处理以及小波包分解,提出了双谱切片小波包的概念,并根据此特征用支持向量机对不同体制的雷达进行识别.仿真结果表明:该方法在噪声占比为0～20％时,可分性好,并且在噪声占比增大时,通过该特征仍能对不同体制的雷达进行有效识别.     

无动力运载器出水过程误差分析

无动力运载器在出水过程中受海浪的扰动作用,运动参数会产生一定的偏差。针对海浪随机性的特点,应用波能谱理论,在P-M谱基础上构建了随机海浪模型,并使用四元数法建立运载器水弹道数学模型,解决了运载器垂直出水姿态角存在的奇异性问题,通过采用二元切片法给出波浪力的计算公式。最终在Matlab/Simulink仿真工具箱下建立了运载器仿真模型,就不同海况与主浪向角影响下运载器出水的运动参数偏差进行了仿真计算,分析了其变化规律。仿真结果表明,运载器在4级海况以下各项运动参数都满足出水要求,对运载器的设计与使用具有一定的参考意义。     

低熔点石蜡微胶囊的中试及热性能

为寻找能适应环境温度的相变材料,选择低熔点石蜡作为芯材,制备微胶囊并进行中试生产。对同一样品进行了26次DSC热循环测试和TGA热失重测试,结果表明：中试产品的相变温度始终保持在25~60℃,相变极值和相变热焓均未发生明显变化,分别为42℃和72 J/g;产品能耐受150℃以内的高温而不分解,且在相变温度范围内基本无失重。证明低熔点石蜡微胶囊能在环境温度内发挥调节作用,同时具备较长的热循环寿命和较好的热稳定性,是一种具备良好应用前景的相变材料。     

基于类成员后向切片的面向对象程序回归测试

程序切片是一种重要的程序分析方法,类成员级粒度的切片技术目前仅仅有Tip提出的类层次切片技术.Tip提出的类层次切片技术其分析基础是Rossie-Friedman的类层次框架,但主要用于面向对象程序的优化,并不适用于回归测试.本文基于Rossie-Friedman的类层次框架提出类成员后向切片方法,并提出一个覆盖类的方法一级的回归测试策略.     

基于最少谓词思想的可达路径选择

对于结构测试中的不可达路径问题,仅仅使用传统的不可达路径排除方法存在很大的限制性,应用效果一般.积极选择可达路径的思想可有效减少不可达路径的产生.目前,基于最少谓词思想的路径生成方法得到广泛的认可.了解可达路径选择思想后,主要介绍一种基于数据流信息的,具体应用基本程序切片技术来生成可达路径的方法,该方法可生成几乎有最少谓词的路径,有较好效果.