Measuring C program coverage based on binary decision diagrams

Test coverage analysis is a structural testing technique, which helps to evaluate the sufficiency of software testing. This letter presents two test generation algorithms based on binary decision diagrams to produce tests for the Multiple-Condition Criterion(M-CC) and the Modified Condition/Decision Criterion(MC/DC), and describes the design of the C program Coverage Measurement Tool (CCMT), which can record dynamic behaviors of C programs and quantify test coverage.     

单站被动式跟踪新算法研究

在以Ｋａｌｍａｎ滤波为基础的各种被动式跟踪算法中，一直存在初值敏感性难题，由于实际系统中初值往往难以较精确给出，导致滤波器的发散，本文给出了修正的极坐标系下的推广卡尔曼滤波算法，Ｍｏｎｔｅ Ｃａｒｌｏ仿真表明该算法对初值选取不敏感，具有推广应用价值。     

超高速VLSI中多晶硅发射极晶体管串联电阻的测量

本文对目前流行的测量晶体管串联电阻的常规方法进行了理论分析和实验验证，结果表明，用常规方法测量多晶硅发射极晶体管串联电阻的误差很大。     

Comparisons with high viscosity additive effects on base and modified asphalt

In this research, three types of high viscosity additives with different volumes were added to both 70# base asphalt and SBS modified asphalt, the dynamic viscosity and high temperature performance tests were conducted. The results show that with the same volume and type of the additive, SBS modified asphalt has a much higher dynamic viscosity and high temperature grade than those of the base asphalt. When the volume of each additive type increases from 0% to 12%, the dynamic viscosity would increase in a different trend, which could be described as three stages with different increasing speeds, and the variability and the demarcation point of the adjacent two stages depend on the asphalt modification, additive type and the volume. With regard to the high temperature grade, it was found that the effect of different additive types on high temperature performance should be separated from asphalt modification.     

中国北方大气湍流中微波传播闪烁问题研究

从分析影响微波段大气折射率结构常数的因素人手,考虑了温度和相对湿度对这一波段大气折射率结构常数的影响,建立了我国北方地区微波段大气折射率结构常数C2n模型,并以此模型为基础分析和推导了K-Ka波段的平面波在湍流大气中水平和斜程传输时的闪烁指数.研究表明:温度和相对湿度对微波段大气折射率结构常数有一定的影响,但湿度影响相对较小;同时在其它条件不变的情况下,和光波段一样,湍流的内尺度、传播高度、路径天顶角对微波段闪烁指数均有一定的影响.     

水产食品熟食品和水产食品气调包装的研究

本文介绍水产食品、烘烤食品和熟食品的气调包装工艺。从混合气体配气比例、塑料包装材料的气体阻隔性、贮藏温度和包装前食品的卫生指标四个方面因素分析食品气调包装的保鲜效果。通过试验取得一些气调包装食品的保质期。     

基于分段MDCFT的LFM信号参数估计方法

在修正离散线性调频傅里叶变换(MDCFT)估计线性调频信号(LFM)参数时,当变换序列的起止点没有与实际有效信号对齐时,其中心频率会出现偏移,导致错误估计。针对该问题,本文提出一种分段的MDCFT算法,该方法通过对未知起止时刻的序列进行等长的分段MDCFT,并结合各段之间的幅度频率关系,实现中心频率的准确估计。通过仿真证明了算法的有效性。     

GHQ推进剂的热分解特性研究

采用差示扫描量热仪DSC和绝热加速量热仪ARC,对比研究了双基推进剂SF、改性双基推进剂GHQ和单质RDX的热分解过程,并分析评估了GHQ推进剂的热危害性。DSC实验结果表明:GHQ推进剂起始分解温度为182.4℃,热分解明显分为双基组分和RDX分解两个过程,分解峰温为202.2℃和240.4℃,分别与双基推进剂SF、单质RDX分解峰温接近,说明双基组分与RDX混合后作用不激烈。ARC实验结果表明:GHQ推进剂在最危险状态(即绝热条件)下的起始分解温度为135.3℃,绝热温升为1 197.5℃,tMR为15.9min,单位质量产生气体最大压力为15.8MPa·g~(-1)。研究结果表明:添加RDX后,GHQ推进剂发生热自燃可能性较双基推进剂SF稍有提高,热危害性大大增强。     

一种基于离散实镜像理论的修正物理光学法在金属平行板内嵌电大尺寸结构中的应用

传统的物理光学法(PO)能够方便高效地处理开放空间中电大尺寸结构的电磁散射问题,并且通常能获得较好的精度。然而,对于电大尺寸结构内嵌在金属平行板之间的这种特殊问题,传统的PO方法不再适用,而采用全波分析方法来处理往往需要消耗巨大的计算资源。该文在离散实镜像理论的基础上,提出了一种修正的物理光学法(DRMI-PO),基本思想是先将金属平行板间的激励电磁流展开为傅里叶级数,再对级数的每一项分别应用2维物理光学法求解场,最后把所有求得的场解作线性组合。与多层快速多极子(MLFMA)的全波方法相比,DRMI-PO在解决该类特殊结构的电磁仿真问题时能在保证足够高精度的同时大幅度提高计算效率;作为应用实例,对两种不同极化方式的太赫兹波段扇形波束扫描天线分别进行了DRMI-PO数值仿真与实验测试,结果表明仿真和实验得出的天线方向图吻合较好,从而证实了DRMI-PO方法的有效性。