基于数据流分析的表达式优化

本通过对编译程序生成的中间代码或目标代码进行数据流分析后，建立数据流方程并使用适合的算法求出方程的解，通过所求出的解对代码进行优化。     

无用代码的检测

程序中的无用代码意味着算法设计、代码实现中存在着问题。无用代码的存在增加了软件开发、测试、使用中的开销，对正确进行程序测试评估产生影响。在对无用代码的表现形式进行分析的基础上，对影响无用代码检测所要进行的数据流分析的各种因素进行了讨论。文中关于到达定值数据流分析过程中的常数传播、谓词表达式的变换、程序插装等的关于谓词表达式的求解方法为无效分支的检测提供了依据。     

基于IL的遗产软件规约析取算法研究

提出了一种基于中间语言IL(Intermediate Language)的遗产软件代码解析方法,所提方法从程序集信息解析、定位数据流,通过层次扫描方式从数据流分析程序框架的属性、类、函数、结构等软件要素,从代码语义等价地析取包括分支结构、控制结构和循环结构组成的基本结构集。实验结果表明所提方法能够有效地解析出Dot Net遗产代码的语义,可实现遗产代码的复用和集成。     

无用代码的检测

程序中的无用代码意味着算法设计、代码实现中存在着问题。无用代码的存在增加了软件开发、测试、使用中的开销，对正确进行程序测试评估产生影响。在对无用代码的表现形式进行分析的基础上，对影响无用代码检测所要进行的数据流分析的各种因素进行了讨论。文中关于到达定值数据流分析过程中的常数传播、谓词表达式的变换、程序插装等的关于谓词表达式的求解方法为无效分支的检测提供了依据。     

浅谈如何利用数据流功能诊断电控发动机故障

使用故障诊断仪对发动机单元进行诊断时,并根据发动机电控单元的故障代码进行维修,这样的方法在大部分的情况下是可行的,但是单靠这样很容易造成判断失误,所以最可行的办法是用诊断仪对数据流进行检测,根据静态和动态数据流来分析发动机的故障。本文首先介绍了数据流检测的要求,然后主要谈了怎样利用静态和动态数据流分析电控发动机故障。     

一种面向审查的过程内数据流异常自动检测方法

审查是预防代码缺陷的重要手段,但审查耗时,浪费人力,需要自动化工具对其进行辅助.数据流异常是审查中着重检查的缺陷之一,本文提出了一种基于有穷自动机的过程内数据流异常的检测方法.此方法首先对被测过程进行静态分析,得到被测过程的逻辑路径;而后基于有穷自动机和已获得的逻辑路径,通过每个数据项的状态迁移来判断数据流是否存在异常.本文介绍的方法面向审查,并不局限于某种特定的语言,并且一定程度上提高了数据流异常检测和审查的效率.     

数据流在汽车维修中的应用

随着电子技术在汽车上的广泛应用,汽车中的电子设备越来越多,维修工作变得更专业化、更复杂化.但目前大多数汽车维修人员仍然依赖于查阅故障代码来解决问题,其结果是维修效率不高,重复性劳动增加.那么,熟悉系统工作原理,善用数据流和示波嚣进行分析,是现代汽车维修人员应具备的基本素质.能够读懂数据流,并进行一系列的分析将会给实际工作带来很多帮助.本文通过对动态数据流和维修工作中应用案例的介绍,希望能够有一定的借鉴和启发.     

基于符号执行提高缺陷分析的准确性研究

静态分析是检测软件代码缺陷和提升软件代码质量的有效方式. 由于静态分析不实际运行代码,不能获取足够的运行时信息,因此分析结果的准确性有待提高. 相比而言,符号执行技术能够模拟执行程序并收集大量的数据流信息,提升数据流分析的准确程度,弥补静态分析的不足. 为了提高静态分析工具分析程序缺陷的准确性,本文设计并实现了一个代码缺陷检测工具ABAZER-SE,它基于GCC抽象语法树,综合采用符号执行与静态分析技术以检测源代码中的缺陷. 使用Toyota ITC静态分析基准对该工具进行了评估,实验结果表明,本文方法及工具可以提高静态分析结果的准确性.      

基于约束符号集的条件表达式数据流分析

C程序中的条件表达式是唯一一个由三目运算符构成的表达式,而从语义角度来说是分支语句结构,传统的数据流分析技术难以实现对其精确分析。为实现对条件表达式的精确分析,提出了一种应用区间运算的条件表达式分析方法。首先对条件表达式的语法结构进行分析,以识别不同类型的条件表达式;并采用RSTVL描述程序点上的存储状态;再按照分支语句的语义,通过分析条件表达式中的符号约束集,基于区间运算方法对条件表达式进行数据流分析,得到由RSTVL描述的条件表达式的取值。通过对构造的测试用例与实际工程的测试结果表明,本文方法可以精确的分析C程序中的条件表达式。     

基于二进制熵的加解密函数定位方法

针对二进制程序模糊测试中加解密函数定位准确率低的问题,提出一种基于二进制熵的加解密函数定位方法.该方法对二进制程序的控制流信息进行模型构建以定位程序关键代码,提取关键代码前后的数据流并计算其二进制熵,通过前后二进制熵的关系确定被测代码中是否存在加解密函数.实验结果表明,该方法能够有效发现程序中的加解密函数,准确率大于99%;该方法可以用于提高模糊测试发现漏洞的能力,具有一定的实用价值.      

岩石非线性含水材料模型的建立及其在地下爆炸计算中的应用

建立了爆炸条件下干燥和含水岩石非线性响应的材料模型.改进了塑性流动法则和损伤演化率方程,在函数分界点上取值连续,并且计算更加稳定.修正了含水岩石状态方程,使计算的爆炸动力学现象符合实测规律.将所建立的材料模型及状态方程撰写在自行研发的SinoDyn程序中,对干燥、水饱和花岗岩地下爆炸动力学效应进行了数值研究.计算结果与实验规律符合,说明了所建立模型的合理性.     

任意旋成面叶栅内粘性流场的数值计算

介绍了一种用于任意旋成面叶栅内粘性流场计算程序。以有限体积显式时间推进方法为基础,用粘性体积力方法模拟湍流粘性流动,用局部时间步长和多重网格方法提高计算效率,方程中的自变量选取在控制体顶点。计算了Ｈｏｂｓｏｎ冲动式叶型内部流场,ＮＡＳＡ３７＃低展弦比跨音速压气机转子在两个叶高回转面上流场,Ｓａｎｚ超临界压气机叶栅内部流场。计算结果与实验结果和设计结果进行了比较,从而证明本方法能够快速、准确地模拟叶栅内部的二维流动和转子内部的三维流动。该方法是对全三维粘性流场计算程序的一个补充,具有较强的工程实用意义。     

交错网格下的有限控制容积多重网格计算

在有限控制容积法和速度 -压力修正的基础上 ,引入多重交错网格算法及非线性方程的全近似格式 ( FAS) .相邻各重网格之间的主变量及其相应控制容积上的残值分别通过双线性插值和求和的方法传输信息 .所有方程 ,包括压力修正方程 ,都以同等方式参与多重网格循环计算 .该方法使应用广泛的交错网格算法很容易扩展成多重网格算法 ,有效地提高了收敛速度 .以二维空穴驱动层流为例 ,测试表明收敛速度可以提高 4～ 2 5倍 .给出了空穴、旋转流动交错多重网格的数值计算结果及其 Particle Image Velocimetry( PIV)全场实验测量结果的对比 .数值计算很好地再现了旋转流动的旋涡特性     

A phenomenological constitutive equation for Rene 95 PM alloy and its application to isothermal forging process of turbine disk

The flow behavior of Rene 95 PM alloy was studied from 1050 to 1150℃ with strain rate of 1×10-3, 1×10-2, 1×10-1 and 1s-1. At a given temperature and strain rate, flow curves exhibit a peak followed by flow softening up to a steady state. Moreover, at constant strain, flow stress increases with increasing strain rate and decreasing temperature. An equation relating hyperbolic sine of flow stress to hot working parameters, such as strain, strain rate and temperature, was established by using multiple nonlinear regression method. A very good agreement was found between predicted and experimental flow stress in all the strain range investigated. Application of the constitutive equation in predicting forming loads and flow behavior and temperature distribution in both upper and lower dies in an isothermal forging process of turbine disk of large dimension (about 630mm) by means of a finite element code was systematically analyzed.     

规整填料塔内气相流动的计算流体力学模拟

通过引入表征体元的概念，采用体积平均的方法，使规整填料塔内的非连续介质连续化，建立了规整填料塔内气相单相流的体积平均连续性方程、运动方程和质量传递方程；用PHOENICS3．3对规整填料塔内气相单相流的速度分布和质量分数分布进行了模拟，给出了xz剖面的压力分布图、xz和xy剖面的速度分布图和不同时刻xz剖面的示踪剂浓度分布图；模拟结果能反映规整填料内气体的流动情况．结果表明：在压力小于2．0MP。时，气相轴向返混系数基本不受压力的影响，且随着有效气速的增加，其明显增加；轴向返混系数的模拟值与实验值的相对偏差小于40％．     

线性系统实时辨识在微型计算机上的实现

实现最优控制必须研究控制对象的数学模型.对于定常系统,可以用离线系统辨识方法.如果对象数学模型为时变,就需要实时系统辨识.本文假定对象数学模型的微分方程形式已知,需要通过系统辨识确定其方程的系数,并能追踪参数的变化.这类问题称为灰箱问题.实际遇到的大多数工程系统及工业过程都属于此类问题.系统辨识的理论已相当成熟.本文着重讨论如何在微型计算机有限的资源条件下实现.选择的辨识对象为本校研制的碳纤维热分析仪试样加热电炉及其功率放大器(作为一个系统来进行辨识). 问题之关键在于系统辨识算法的选择.算法决定了系统辨识实现的开销以及辨识的可靠性.经过仿真与系统辨识实验比较,并验证了系统辨识的算法以及起步方式、参数选择、激励信号之产生等实际问题.结论为:对于线性系统实时辨识应用递归算法的最小二乘法比较简易可靠.可以在微型机或单板机上实现.     

基于抽象语法树和图匹配网络的代码作者身份识别

源代码作者身份识别有助于解决恶意代码攻击溯源、代码剽窃、软件侵权等问题，本文提出一种新的基于图匹配网络和抽象语法树的源代码作者身份识别方法.首先，通过删除注释、统一换行符、制表符预处理源代码，消除不同集成开发环境和代码布局的影响；然后，基于数据增强抽象语法树将源代码转换为树结构，添加不同类型的边构建代码特征图，不仅关注语法和句法特征，还提取了代码中数据流和控制流特征；接着使用特征图训练图匹配神经网络，生成源代码的图嵌入特征向量；最后，使用孪生神经网络对输出的两个图嵌入特征向量进行计算，识别源代码作者身份.实验结果表明，本文的方法在包含1000位程序员的Google Code Jam数据集上达到了95.60%的准确率，与现有的源代码作者身份识别方法相比，提高了准确率和扩展性.     

推移质对水流阻力影响的定量研究

从挟带推移质的水流能量平衡方程出发，引入Meyer-Peter和Muller推移质输沙率公式，推导了挟带推移质的动平整床面阻力系数公式，实测资料对公式验证的结果表明，该公式具有一定的精度，可用于实际问题的计算。     

通用学习式红外遥控器中数据压缩与识别算法

对数据进行有效的压缩与识别是系统的关键所在。针对红外遥控信号的数据特点 ,提出了一种数据压缩与识别算法。该算法将遥控码流归纳为 3种模式 ,用矢量量化编码方法进行数据压缩 ,采用聚类方法解决了由时钟精度带来的误差问题 ,并通过识别发送码流的模式进一步压缩存储空间。该算法大大提高了识别与存储效率 ,并已成功应用于两种遥控器产品中。