面向嵌入式的组件查询优化分析及解决

将基于组件的软件开发方法应用于嵌入式软件开发逐渐成为一个研究重点.面向嵌入式的组件查询通常不仅要满足用户约束需求,还需满足其优化需求.证明这样的查询是NP-hard问题,并且不存在ε > 0的多项式时间近似算法,除非P=NP,随后,提出了一种基于功能类别划分的启发式查询方法,分析和算例实验表明该方法在满足用户约束需求的前提下,能在有效时间内,尽可能给出满足优化需求的最优结果.     

汽水热力站无人值守自动化控制系统

以天津市热电公司汽水热力站实现全方位集中实时监控为背景,阐述了采用先进的自动控制技术、计算机技术与现代通讯技术建立的一套可靠稳定的汽水热力站无人值守自动化控制系统.该系统应用后提高了公司的运行管理水平和对全管网的调控能力,同时达到节能降耗的目的,使得汽水热力站能够更加安全、稳定、高效、经济地运行.     

针对指令乱序变形技术的归一化研究

新出现的恶意代码大部分是在原有恶意代码基础上修改转换而来.许多变形恶意代码更能自动完成该过程,由于其特征码不固定,给传统的基于特征码检测手段带来了极大挑战.采用归一化方法,并结合使用传统检测技术是一种应对思路.本文针对指令乱序这种常用变形技术提出了相应的归一化方案.该方案先通过控制依赖分析将待测代码划分为若干基本控制块,然后依据数据依赖图调整各基本控制块中的指令顺序,使得不同变种经处理后趋向于一致的规范形式.该方案对指令乱序的两种实现手段,即跳转法和非跳转法,同时有效.最后通过模拟测试对该方案的有效性进行了验证.     

空间碎片高速撞击的数值模拟方法评述

计算机数值模拟是实现空间碎片撞击效应地面模拟的重要手段之一。撞击速度增加,撞击的物理机制和效应将发生改变,计算机数值模拟方法也应随之丰富和全面。介绍了基于有网格和无网格方法的高速撞击数值模拟发展历程,并针对数值模拟中常用的有限元法和SPH法进行了分析比较,阐述了高速撞击计算机模拟中无网格法的计算优势,并提出量子力学在未来无网格法数值模拟中的可能应用。为空间碎片高速撞击更加真实可靠的数值模拟提供参考。     

基于抽象特征检测变形恶意代码

传统的恶意代码检测方法通常以固定的指令或字节序列这些具体特征作为检测依据,因此难以检测变形恶意代码.使用抽象特征是解决该问题的一个思路.本文针对恶意代码常用的变形技术,即等价指令替换、垃圾代码插入以及指令乱序进行研究.定义了一种抽象特征,同时提出了依据该抽象特征检测变形恶意代码的方法.最后,以典型变形病毒Win32.Evol为对象进行了实验,将该方法与其它方法进行了对比.实验结果验证了该方法的有效性.     

符号执行中的循环依赖分析方法

符号执行方法处理循环时存在路径爆炸的问题。为此,提出一种基于归纳变量的循环依赖分析方法。通过识别循环归纳变量及符号表达式,结合边界约束条件生成可达归纳变量分支的路径约束,并采用符号化映射方法分析嵌套循环归纳变量依赖问题,从而在不展开循环的情况下生成覆盖归纳变量分支的测试用例。对开源工具Libxml2进行实验,该方法能发现其中2个while循环所引发的数组访问越界错误。     

扫描隧道显微镜精密工作台的神经网络控制

针对目前扫描隧道显微镜超高精度位移的要求,提出了一种基于神经网络的精密工作台控制方案。在分析微位移机构工作原理的基础上,建立了工作台的数学模型。神经网络辨识器在线辨识工作台的机械参数,神经网络自学习PID控制器代替传统PID控制器,实现了样本的在线采集,有效克服了神经网络控制器需要离线训练的缺点。利用BP网络的自学习和自适应能力,实时调整网络加权值,改变控制器的控制系数,增强了系统的实时控制性能。实验结果表明,相对于传统PID控制算法,参考位移量为10μm时,达到稳态值的时间从3.8 s缩短到1.8 s,稳态误差从4.2%减小到1.9%。     

小型PLC在300 MW机组输灰系统干燥器控制中的应用

介绍了火力发电厂小型PLC在300 MW机组干式输灰系统干燥器控制上的应用。以德国西门子公司的S7-200可编程控制器(PLC)为控制主机,实现了吸附式干燥器自动控制的功能。介绍了该控制系统在现场的实际应用状况。     

基体拉伸法测试二氧化钛薄膜界面结合强度

利用热氧化法在工业纯钛表面形成氧化层,利用改进后的基体拉伸法研究了500和800℃加热1h所形成的氧化层和基体的结合强度,结果发现裂纹形貌与界面结合强度有关.500℃所形成的氧化层较薄,与基体的结合强度高,＞970MPa,裂纹方向与载荷轴向呈±45°;而800℃形成的氧化层较厚,与基体的结合强度差,＜495MPa,裂纹基本与载荷轴向垂直.     

基于有向图的二进制文件结构化比较机制研究

通过对二进制文件结构化比较方法的研究,提出了基于有向图的二进制文件结构化比较方法及实现算法.和基于指令比较的二进制文件比较方法相比,二进制文件结构化比较方法更注重二进制文件在逻辑结构上的变化,而且更加简单.