广义部分求值循环展开的中止条件

循环展开问题一直是过程式值言部分求值和广义部分求值的一个难题。笔者基于数据流分技术，提出了一个部分求值或广义部分求值的循环展开中止条件，利用该中止条件能有效地解决这一难题。     

支持多程序语言的静态信息提取方法

为了满足代码分析对多语言静态信息提取的需求,克服当前构建单语言提取重用率低、过程复杂等不足,采用直接修改GCC特定解析阶段源代码的方法建立统一的提取接口.针对所需静态信息的不同,按CCC内部机制,提出了运行改入点与内部辅助函数重用相结合的提取方法,具体包括类型和函数声明信息的采集、函数体内程序语句的遍历以及多语言统一中...     

XQuery语言部分求值技术与实现

XQuery语言部分求值技术与实现介绍了XQuery语言的一种部分求值技术及其实现方法,为XQuery语言的实现与应用提供了一种新的程序优化技术.这种离线式部分求值可以大致分为2个阶段:预处理阶段和例化处理阶段.其中,预处理阶段通过引用敏感性分析和绑定时间分析来分析参变量在程序中的传播和运算过程,为处理阶段例化处理设定作用范围;例化处理阶段完成程序的自动例化,生成滞留程序且提供了编译时和运行时2种例化方式的支持.基于以上技术研制的一个XQuery部分求值原型系统已经实现,通过对若干XQuery查询案例进行测试,结果表明,经过XQuery部分求值技术处理后能够有效地提高其查询的执行效率.     

基于ECPMR的编译器测试方法

提出了一种通过验证程序切片是否满足ECPMR的方式来验证编译器的方法。首先,选取一些满足特定蜕变关系的正确程序作为待测编译器的输入。然后,使用这些被选程序来生成程序切片。最后,检查程序切片的输出是否满足ECPMR从而发现编译器中的错误。在SNL编译器上进行了本文方法的验证实验,结果表明该方法可有效地探测到SNL编译器中的错误。     

基于静态信息流跟踪的输入验证漏洞检测方法

针对基于静态分析的漏洞检测技术的高误报率问题,提出基于静态信息流跟踪技术的输入验证漏洞检测方法.在静态代码分析工具FindBugs上实现了该方法,对该方法的漏洞检测精确度和性能进行评估.实验结果表明,采用该方法能够有效地检测输入验证漏洞,在不明显降低运行性能的前提下,将FindBugs的输入验证漏洞检测误报率降低了55.7%.     

基于逆向工程的扩展OpenC~（＋＋）静态分析方法研究

文章提出了一种基于逆向工程项目的扩展OpenC＋＋静态分析方法。探讨了抽取静态信息的OpenC＋＋扩展策略,容错解析技术和嵌套定义类、结构体的识别与处理等方面的问题,介绍了采用XML文件进行静态信息的存储方法。     

面向方面软件开发的形式化方法与编译器技术分析研究

主要讨论"面向方面软件开发"或"面向方面编程"要如何运用形式化的相关方法来进行模型检测。简单介绍面向方面软件开发的内容,并运用编译器的理论知识来分析面向方面编程相关工具的应用。解释面向方面软件开发在测试代码工作上容易遇到的困难点与常见问题,并解释如何运用已知形式化方法来分析描述这些问题,进行模型检测(model checking),找出代码出错的问题点,阐述如何让面向方面软件开发出来的代码更加强固、稳定与可靠。     

面向过程输出质量与输入参数的集成诊断方法

为了诊断导致加工过程质量失控的具体输入参数, 提出了一种面向多输入多输出制造过程的输出质量特征和输入参数集成诊断方法. 克服了传统质量诊断方法仅仅能够诊断输出质量的不足, 能够同时对引起输出质量失控的具体质量特征和对该质量特征有影响作用的加工过程输入参数进行诊断. 通过建立残差T2控制图对过程的输出质量进行监控, 当发现过程失控时, 利用BN-MYT分解法对T2统计量进行分解, 找出导致过程失控的输出变量; 通过该输出变量与输入参数所对应的神经网络模型, 读取神经元权值和阀值, 带入灵敏度计算公式求解出灵敏度矩阵; 比较灵敏度大小, 找出对失控变量影响最大的输入变量. 该方法克服了传统诊断方法仅能对输出质量特性进行诊断的不足, 实现了同时对输出质量及引起输出质量变异的输入参数的诊断.     

噪声测试系统精度有源-无源联合测量评估方法

通过在无源器件后置有源增益器件提高被测件整体的增益,抑制系统中非零误差对噪声测试结果的影响;结合单一有源器件及级联有源-无源器件的2次噪声测试结果,采用噪声系数直减法,将系统测量评估精度的表征参数由噪声系数转化为级联无源器件的插损值;并以具有更高插损测量精度的矢量网络分析仪插损测试结果作为参考基准,定量评估噪声测试系统的精度. 经与传统无源测量评估方法的实测对比验证得,在2~40 GHz频段内,所提方法对基于Y因子法的噪声测试系统的评估精度为–0.5~0.5 dB,对基于矢量冷源法的噪声测试系统的评估精度为–0.3~0.3 dB,评估精度波动范围均小于被测系统的2倍测试不确定度,较传统无源测量评估方法评估精度提升了3倍以上.     

偏最小二乘-分光光度法同时测定锌铜镍

研究了用偏小二乘(PLS)分光光度法同时测定水体中的Zn2+、Cu2+和Ni2+的方法,并与P矩阵、K矩阵、多元线性回归进行了比较.结果表明,PLS法简便快捷,测定结果更加准确可靠.     

一种检测局部放电信号的新方法

为了提取局部放电信号,提出一种基于各向异性扩散的局部放电噪声抑制方法．根据局部放电信号的特点构造了新的扩散函数,比经典的扩散函数更能有效地抑制白噪声和窄带干扰,并且保持相同的运算速度．相比于常规的小波去噪方法,该方法不受小波函数和小波分解层数选取的限制,能直接应用于空域,更加简单、有效．     

基于DCT试验和AHP的沥青混合料抗裂性能综合评价

为弥补断裂能在评价沥青混合料低温抗裂性能时的不足,总结目前基于DCT试验的沥青混合料抗裂性能指标,即断裂能、韧性指数、断裂强度指数、断裂应变容限值和柔性指数,应用层次分析法(AHP)对这5种评价指标进行综合分析,得出不同指标的权重,应用加权平均方法确定沥青混合料的抗裂性能。研究表明:分别赋予断裂能、韧性指数、断裂强度指数、断裂应变容限值和柔性指数0.232,0.040,0.145,0.491,0.092的权重系数,得到沥青混合料抗裂性能综合评价指标;综合评价指标越大,沥青混合料的抗裂性能越好;采用AHP计算的综合评价指标相对于单一指标方法更为合理,有更好的适用性和可靠度。     

面向小型移动设备的中文语句输入

为了满足小型移动设备的普及特别是短信业务的增长对中文文本输入技术提出的新的需求.以音字转换模型为基础,以自适应学习算法为手段,研究了一种以整句为输入单位的中文输入技术,具有易学性好、输入速度快、智能水平高等特性.系统基于Symb ian S60和W indows Mob ile 5平台进行构建,通过结合全拼、双拼和英文数字3种输入方式,为用户提供了各种情况下的汉字、字母、数字、标点的录入.系统内存占用量不到150 K,已被广泛应用于手机、PDA、遥控器等设备上.     

一种用于控制系统故障检测的UIO观测器设计方法

本文基于线性系统的结构分解原理，针对系统存在未知输入干扰的情况下，提出一种用于故障检测的状态观测器设计新方法．本文提出的方法与其它方法如特征向量配置法相比，具有条件要求较低，设计简单的优点．     

修正的矩阵正交化方法及其偏导数

矩阵正交化过程普遍采用的足经典的施密持正交化方法．文章对施密特正交化过程进行修正,且给出了变量矩阵施密特正交化过程的偏导数,能满足某些数值算法的需要。     

沥青路面层间结合状态试验与评价方法研究

近年来沥青路面的层间结合问题越来越受到人们的关注,目前我国现行的沥青路面设计规范中假定路面结构层间为完全连续的接触状态这与实际是不相符的,因此,以此为切入点在已有研究的基础上结合试验验证应用层间粘结系数来表征路面层间结合状态的改变,并充分论证其可行性.此外针对现今路面典型结构,建立不同试验组合对层间粘结系数值进行测定,并根据试验结果结合理论分析为现行规范半刚性基层沥青路面按层间完全连续验算设计指标时提出了修正范围.     

基于约束满足的ERP测试计划方法

将约束编程与ERP产品自身特点相结合,提出了一种基于约束满足的ERP测试计划方法。通过对某饲料行业ERP中记账凭证软件进行约束建模。该测试计划方法已经应用于饲料行业ERP平台中。     

低复杂度多输入多输出雷达目标角度估计方法

针对多重信号分类(multiple signal classification,MUSIC)算法通过谱峰搜索得到目标的角度估计的计算复杂度较高的问题,提出一种用于单基地多输入多输出(multiple input multiple output,MIMO)雷达目标角度估计的低复杂度求根MUSIC方法。首先通过降维变换降低接收数据的维度,然后在低维空间中根据导向矢量和噪声子空间的正交性,构造求根多项式,并通过求解该多项式的根来得到目标的波达方向(direction of arrival,DOA)估计。仿真实验表明,与MUSIC算法和RC-MUSIC算法相比,该算法具有更低的运算复杂度,且在低信噪比条件下具有更好的角度估计性能。