面向编译器测试的部分求值静态输入确定方法

在编译器测试中,基于部分求值技术的编译器测试方法在部分求值阶段时,必须由测试人员对具体的测试用例进行分析,然后手动指定程序中的一些变量作为静态输入,这种依赖人工手动指定的策略具有一定的盲目性,而且无法使测试过程自动化进行。为了解决这一问题,提出了一种基于变量依赖关系的源程序静态输入及其取值的确定方法,使基于部分求值技术的编译器测试框架的测试过程得以自动化进行,从而提高了测试效率。实验结果证明了本文方法的可行性。     

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

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

一种使用静态分析的汇编代码缺陷检测方法

针对当前缺乏汇编代码自动化审查工具的情况,对汇编代码人工审查方法进行研究,提出了一种基于静态分析的汇编代码缺陷检测方法.该方法中,在控制流线性化后,运用特征识别处理间接寻址跳转,采用结点克隆处理延迟条件分支,使用调用序列处理存在递归函数的过程间控制流图的构造.在此基础上,实现了ADSP SHARC汇编代码检测工具,并进行了静态分析测试和缺陷检测测试.测试结果表明,该方法可以有效地检测汇编代码中的不可退出点、循环、寄存器、以及内存访问缺陷.     

多语言源程序函数调用关系图的生成方法

为了实现源码分析工具对多语言的支持,克服目前构建分析工具重用率低和实现复杂的弊端,提出一种多语言源程序函数调用关系图的生成方法。利用GNU编译器集合（GCC）的插件在GCC中间表示层Call—graph上提取函数调用关系,并将调用关系转换成图形描述语言,然后利用Graphviz画出函数调用关系图。所提方法与前端语言无关,可支持多种语言源程序函数关系的提取,且无需改动GCC编译器内部结构。实验结果表明,同E—gypt方法相比,新方法在处理时间和存储代价方面都有明显的降低。     

从GCC的AST文本提取C源程序静态信息的方法

为了能够正确的分析源程序的控制依赖关系和数据依赖关系,以便在此基础上进行程序切片及冗余代码和重复代码检测,提出一种利用GCC抽象语法树(AST)文本来提取源程序静态信息的方法.首先,对GCCAST文本进行标准化及消除文本中与控制流分析和数据流分析无关的结点信息;其次,构建控制依赖子图;同时如果需要数据流分析,在控制依赖子图的基础上构建控制流图,在控制流图的基础上构建数据流子图;最后通过引入过程间分析来完善系统依赖图.实验结果表明,这种方法基本能正确的分析源程序的控制依赖和数据依赖关系,具有更好的适应性和灵活性.     

基于模糊AHP法的企业CIO静态优选模型

企业CIO甄选是一个包含定量因素和定性因素相结合的决策问题。根据企业信息主管的工作特点和工作职能,提出了基于企业信息化水平的CIO素质评价指标体系,并将层次分析法和模糊数学相结合,构建了企业CIO的静态优选模型。该模型对各指标进行层次加权,克服了传统模糊评价方法中指标过多时权重难以确定的问题,使企业CIO的甄选决策更为精确。最后,给出了一个算例。     

PASCAL静态分析器的设计与实现

采用词法分析技术及递归下降子程序语法分析方法进行设计与实现对已通过编译的ＴｕｒｂｏＰＡＳＣＡＬ源程序给出有限的静态分析，为程序员提供程序结构图、模块及变量的交叉引用等静态特性     

基于向量表示的代码搜索方法

软件开发者在开发项目过程中往往需要引用大量由其他开发者开发的基础软件包。为获取除基础软件包开发文档外的使用方式,软件开发者需将代码关键词输入到代码搜索引擎搜索代码片段。文章提出一种基于向量表示的代码搜索方法,该方法收集Github和Stack Overflow数据集中的代码片段训练一个扩充代码词的skip-gram模型,并使用这个模型扩充从搜索文本中提取的与代码词关联的搜索关键词,得到搜索关键词上下文代码片段向量组,将搜索关键词上下文代码片段向量组和待匹配代码片段向量组编码后,计算余弦相似度并排序生成搜索结果。为验证算法的有效性,分别在Github数据集和Stack Overflow上验证。在Stack Overflow数据集上测试表明:58%的搜索能在第1个搜索结果找到正确答案;65%的搜索能在前5个答案中找到正确答案;72%的搜索能在前10个答案中找到正确答案,并在召回率和F值也有一定程度的提升。在Github数据集上测试表明:59%的搜索能在第1个搜索结果找到正确答案;67%的搜索能在前5个答案中找到正确答案;74%的搜索能在前10个答案中找到正确答案,并在召回率和F值也有一定程度的提升。针对大量数据的代码检索,本算法效果优于典型方法的搜索结果。     

一种多目标平台分布式对象模型编译器设计方法

模型编译器通过词法和语法分析,解析出模型信息,并生成特定平台的模型框架代码,提高了模型框架代码生成的速度和质量。然而大多数模型编译器都是生成某一特定平台的框架代码,可扩展性和可维护性较差。文中提出了一种基于MDA的分布式对象模型编译器设计方法,该方法通过灵活的转换规则配置,可以生成多目标平台模型,进一步生成该平台框架代码,从而有效提高分布式对象模型编译器的扩展性和可维护性。     

非线性静力分析的分段计算法

对非线性静力分析的简化计算方法进行了研究,提出了分段计算法。先计算出在材料屈服极限时的外力载荷值,据此将外部载荷分为两段进行计算。前一段,使用线弹性计算一个载荷步;后一段逐步加载,进行材料非线性计算。以ANSYS WORKBENCH为仿真平台,分别用传统方法和分段法对某汽车手刹进行了计算,结果表明：在保证精度的前提下,分段计算法将计算效率提高了67％。     

一种基于GPS C/A码引导的P码捕获方法

针对GPS系统P码(Precision Code)信号多普勒频移大、码周期长和速率高的特点带来的捕获慢且资源消耗较多的问题,提出了一种新的基于GPS C/A(Coarse/Acquisition Code)码引导P码捕获的方法。系统首先完成C/A码捕获,然后向新型P码发生器置入引导信号zv_set,在接下来的第1个1.5s码周跳变沿对V1和V2置入计数初值;在码同步信号的驱动下,V1和V2进行循环计数,等到V2=0时,P码码值正确,返回引导完成标志。通过仿真分析,该方法资源占用率减少了50%。结果表明该方法可有效避免繁琐的运算,适用于星载GPS双频导航接收机设计。     

New code match strategy for wideband code division multiple access code tree management

Orthogonal variable spreading factor channelization codes are widely used to provide variable data rates for supporting different bandwidth requirements in wideband code division multiple access （WCDMA） systems. A new code match scheme for WCDMA code tree management was proposed. The code match scheme is similar to the existing crowed-first scheme. When choosing a code for a user, the code match scheme only compares the one up layer of the allocated codes, unlike the crowed-first scheme which perhaps compares all up layers. So the operation of code match scheme is simple, and the average time delay is decreased by 5.1%. The simulation results also show that the code match strategy can decrease the average code blocking probability by 8.4 %.     

Rule-based automatic program repair method

To tackle the problem of a low accuracy of test suite-based automatic program repair methods, this paper proposes a rule-based automatic program repair method named RuleFix. The proposed method first mines implicit programming rules in programs to locate defects, and then selects an appropriate patch according to the implicit programming rules, and lastly verifies the patch by utilizing the program synthesis tool to ensure the correctness of the repair result. Moreover, to tackle the problem that the existing rule mining algorithms cannot effectively mine low-frequency rules, a low-frequency rule mining algorithm is proposed, which can derives new rules based on the existing rules to improve the ability of rule mining. Finally, a prototype tool is implemented based on the proposed method, and then the proposed method is compared with the existing automatic program repair methods. Experimental results demonstrate that the proposed method has a significantly higher repair rate and accuracy rate than the existing GenProg and PAR methods.     

钢筋混凝土超静定连续梁非线性全过程分析中的力迭代法

针对将力法应用于钢筋混凝土结构非线性分析时出现的问题,提出了一种新的求解钢筋混凝土超静定连续梁非线性全过程反应的方法-力迭代法,此法采用非线性分析中的纤维模型,直接从迭代求解支座反力入手来求得结构任意截面的内力和变形,而不必沿用有限元方法。此法概念清析,能较为容易地定量刻画超静定连续梁中内力重分布效应。文中给出了相应的实施步骤,并采用Matlab语言编制了程序。最后,对一两跨连续梁进行了非线性全过程分析。     

2010年上海世博园区静态交通规划研究

针对2010年世博会期间各类静态交通的需求,结合世博会园区结构和空间布局,探讨世博园区静态交通系统的泊位布置原则及泊位布置方式,规划停车场规模和公交停靠站规模,给出静态交通布置方案,并提出静态交通管理措施。     

基于特征结构分析法的静态电压稳定的判别

介绍了应用特征结构分析法的静态电压稳定类型的判别方法，应用这种方法能够很好地判别系统在某种状态下起主导作用的不稳定因素．     

基于偏微分方程的条码预处理

由于受到条码采集设备的限制,图像中经常混有很多噪声,导致出现误码．引入了基于偏微分方程（PDE）的Perona—Malik模型,并对Perona-Malik模型的缺点进行了算法改进,给出了一种针对条码图像去噪的方法．通过合理地设计和选择参数,得到了比较令人满意的结果．