基于符号执行的异常处理结构体覆写攻击自动检测方法

已有的面向控制流劫持的漏洞自动分析技术缺乏对S.E.H攻击的研究,导致分析结果的准确性不高。为此,本文提出了一种基于符号执行的S.E.H覆写攻击自动检测方法。该方法通过定位目标异常处理函数在内存中的位置,分析覆盖异常处理函数指针的程序控制流和数据流依赖条件,建立异常处理函数劫持的约束。通过约束求解实现S.E.H覆写攻击的自动检测,生成可触发S.E.H攻击的测试用例。实验结果表明,该方法能有效分析程序漏洞是否满足S.E.H攻击条件。     

JAVA中的异常处理技术

本文讨论了编程中的错误处理技术之一－异常处理技术，以及它的意义和Java中的具体实现。     

变压设备故障及异常处理分析

变电设备是指对电流的电压、电流等信号进行改变的设备,是电力网运行和控制的主体设备,其安全运行影响整个电力系统供电的可靠性.根据运行经验,结合实例分析了变压器、断路器和隔离开关的故障和异常运行现象及处理过程.     

基于Windows异常处理机制研究

首先从系统层面和编译层面分析了Windows和C+KG-*3+异常处理的基本原理,指出了基于Windows的C+KG-*3+异常处理机制在使用过程中可能出现的逻辑错误,以及Windows运行时库中个别函数可能存在的此类安全隐患。为了更好地保证C+KG-*3+代码安全性和健壮性,综合上述研究提出了审计C+KG-*3+异常处理的方法和建议。     

异常处理技术及其编程应用

程序异常是程序运行中不可避免的现象,处理程序异常的一种主要手段是进行预防性程序设计.本文在应用实例的基础上,对一般程序中出现的异常现象及异常处理机制、步骤、策略等进行了分析探讨.     

基于Windows的C＋＋异常处理机制研究

首先从系统层面和编译层面分析了Windows和C＋＋异常处理的基本原理,指出了基于Windows的C＋＋异常处理机制在使用过程中可能出现的逻辑错误,以及Windows运行时库中个别函数可能存在的此类安全隐患。为了更好地保证C＋＋代码安全性和健壮性,综合上述研究提出了审计C＋＋异常处理的方法和建议。     

基于免疫机理的协同工作系统异常处理

提出一种基于免疫机理的协同工作异常处理方法．它利用先验知识和事例学习获取的知识．归纳成知识库并将它们转化为免疫抗体库，将错误输入信息视为抗原，建立基于免疫机理的Agent模型，其中利用其对异常进行学习、记忆、抑制、恢复功能．并利用模糊量化的方法进行异常处理决策．该模型很好的利用了免疫系统的分布式、记忆特性、学习能力．能有效地对异常信息进行快速发现与处理．最后实现了一个原型系统．测试结果表明该方法是有效的．     

基于质因数分解的控制流错误检测方法

软件控制流错误检测技术是防止由于单粒子翻转事件而造成程序错误运行的有效手段之一,其方法主要是将编译时计算的签名值同运行时生成的签名值进行比较.因此,体现基本块间依赖关系的签名值的表示方法决定软件控制流错误检测概率的高低.为了在低检测代码开销的情况下提高错误检测概率,结合图论理论提出一种汇编层的控制流检测方法.该方法运用整数可唯一分解为素数乘积的代数基本定理表示基本块间依赖关系的要素,以此作为生成签名值的依据,将其插入以基本块为单位的检测指令中.实验表明,此算法的性能评价指标优于CFCSS等具有代表性的软件控制流检测方法,具有很强的实用价值.     

基于事务的工作流异常处理模型及方法

针对工作流系统中存在的异常问题,提出了一个基于事务的工作流异常处理模型,建立了异常监测、分析、处理机制,增加了触发和向后恢复的方法。以ECA规则形式建立了异常事件库,实现了对异常的监测、分析和处理,并给出了监测算法。在此基础上,讨论了工作流静态和动态修改的方法和算法,保证了工作流修改后数据的一致性和正确性。     

基于NIOS Ⅱ的中断技术在解算芯片的应用

大多数微处理器系统中都有一个中断系统及优先级逻辑。在NIOSⅡ系统中也包含这些功能。NIOSⅡ系统利用硬件抽象层系统库的应用程序接口函数创建中断服务子程序和管理寄存器窗口。该文主要分析了基于NIOSⅡ的中断处理技术，并提供了导航解算芯片数据传输的解决方案，选择以FPGA作为导航解算芯片，结合配置芯片和接口芯片构建硬件系统，在NIOSⅡ集成开发环境下开发应用程序，利用中断处理技术实现数据传输，并且满足数据信息传输和处理的精度和可靠性要求。     

一种受限资源的软件流水滚动调度算法

在VLIW处理器程序设计时，良好的手动汇编通常比复杂的编译器能够更有效地解决实际问题，但手动编码是一项易出错、耗时的工作，为了有效地实现手动编码，提出了一种手动编码的启发式实现方法，循环可以用数据流图（DFG）来表达，而每种DFG代表了一种调度，根据DFG可以建立一张带资源限制的调度表，通过对表的滚动（隐式重定时），可以逐步实现更紧凑的调度，同时尽可能多地预先罗列出算法的多种调度方案，以选择其中最佳的方案.该方法相对于单纯的手动编码和复杂的编译器能够在更短的时间内实现算法，并能达到最优的并行效果.     

基于后缀树的程序理解Plan自动提取

为辅助维护用于程序理解的代码片段模版（Plan）库,提出了基于后缀树的Plan自动提取方法.通过词法/语法分析将源代码转换成Token串,然后对Token串生成后缀树,遍历后缀树得到候选代码Plan集,过滤后生成更小、更准确的Plan集.采用动态模式匹配合并合适的Plan和给Plan命名,最后生成可用于程序理解的Plan.由于后缀树的线性增长特性,该方法可以应用于大规模软件的程序理解.将方法应用于多个不同规模的软件,测试结果表明,该方法可以从源码中提取有效的Plan.     

基于ANSYS软件的多层住宅抗震性能研究

以多层住宅房屋承受地震作用时的一个最不利结构单元作为计算单元,利用大型数值仿真计算软件ANSYS对其进行抗震分析.文中在介绍多层住宅抗震承载能力验算方法的基础上,对计算模型进行有限元分析,得到最不利结构单元在各个方向的应力特征.该结论对同类型住宅的抗震分析具有一定的参考价值.     

基于OPC技术的客户端数据采集软件包设计

介绍了基于过程控制领域中应用的一种新技术 OPC技术的发展、技术规范及其在控制系统中的应用.在此基础上，结合先进控制软件技术，提出了基于OPC过程回路的客户端软件包的基本框架和设计思想.该设计包相当于OPC的客户端，其应用程序的开发工具采用Visual Basic 6.0，通过OPC自动化接口，利用OPC协议来读写服务器数据，实现了客户端的数据采集.最后给出了结论，展望了基于OPC的客户软件的开发与应用前景.      

基于轻量级分析的程序静态分析器

在现代软件工程中,程序理解技术是实现对软件系统分析和理解的一种关键技术和有效途径.国内外学者为此做出了不懈的努力,开发了不少的理解工具.在分析现有工具的基础上,设计了一个基于轻量级分析的程序静态分析器,采用增量式分析技术,快速分析源程序文件得到交叉索引信息,改善了程序分析时间.     

面向能耗相关软/硬件划分的层次化控制数据流图建模方法

针对C语言描述的嵌入式软件功能模型在时间和成本约束下以降低能耗为目标的软/硬件划分问题,提出一种面向划分的层次化控制数据流图(简称PO-HCDFG)方法。首先,对PO-HCDFG进行了形式化描述,然后,分析了C语言程序向PO-HCDFG的转换方法,包括节点层次数的设置、数据依赖分析、划分对象的建立与粒度变换等关键问题,最后,通过实验验证了PO-HCDFG在软/硬件划分建模中的有效性。     

基于WLAN的人机协同物流系统信息集成技术

结合人机协同物流系统的信息集成需求对无线局域网的应用进行了深入的研究。在先进制造环境中建成了人机协同物流系统管理无线网和制造系统集成有线网相结合的无线局域网(WLAN)。使得系统中各种自动化设备和物流工作站之间保持稳定联机、实时通信,即节省了改造现有系统的投资,又实现了系统真正的柔性和硬件可重组性。并以物流工作站与人工驾驶物料运输小车之间的无线通信为例说明了其信息集成的具体实现过程。