可执行文件中子程序异常返回的识别

针对子程序异常返回对反汇编操作的干扰,提出一种能够有效对抗该技术的反汇编算法。该算法通过2遍解码流程对目标可执行程序进行扫描,模拟代码执行过程中对内存栈的操作,从而正确解码出经过混淆处理的可执行程序。通过与2款常用反汇编器IDAPro和OBJDump的反汇编结果进行比较,证明该算法能够有效地识别出子程序异常返回的情况,从而有效提高反汇编的正确率。     

具有计算可靠性的符号模型

MW方法仅考虑使用公钥加密原语,不包含{{mk}k类型消息的双方协议。针对该问题,使用公钥加密和对称加密,建立扩展标记符号模型与扩展计算模型,论证扩展标记符号模型的计算可靠性,实现对MW方法的扩展。     

exFAT文件系统的优化模型

针对exFAT文件系统查询FAT表时会读取大量无效数据的问题,提出一种阻止无效数据读取,加快文件查询速度,且代价较小的优化模型。优化模型在flash中建立簇链表,顺序存储已读文件的FAT表信息,在系统RAM中建立文件信息块,保留该次运行常用文件的簇链表入口地址。以此快速查询文件FAT表信息。实验结果表明,FAT表离散度越大,速度和效率的优化效果越明显。     

面向对象的流程工业系统有向无环图建模

提出流程工业系统中有向无环图的面向对象的建模方法。介绍使用面向对象的技术对流程工业系统模进行建模的关键要素的技巧,定义描述流程工业系统中有向无环图模型的建模机制,扩展流程工业系统模型所具有的特性。以流程工业系统出现异常时的诊断实例说明系统模型解决问题的有效性。     

面向对象的非线性有限元软件框架设计

阐述面向对象的非线性有限元软件框架设计,在前人成果的基础上,力求软件框架更灵活、更完善。采用模型分析方法与有限元模型分离的方式,明确描述各类之间的依赖关系以及相互之间的传递消息过程,建立非线性有限元软件的框架结构。增加有限元软件的模块化、代码的重用性和易扩展性,解决长期以来存在于非线性有限元开发的一个重要难题。     

一种基于W7100A的实验室仪器信息采集系统

针对实验室仪器信息统计中的准确性、完整性欠缺及低效率等问题,设计了一种全新的实验室仪器信息采集系统,以低功耗网络微处理器W7100A为系统的主控制器,通过SHT11温湿度传感模块和ZLG500AT射频IC模块直接采集仪器的环境参数等信息,通过用户与上位机客户端软件交互的方式采集仪器的工作内容等信息,相较于传统的手工记录方式,信息采集的及时性、完整性、可靠性方面都有了极大的提高.     

使用动作脚本设计互动媒体

使用Flash制作动作,如果只基于时间轴和动画图层来设计,将会受到很大的限制,例如一些复杂、精彩的动画效果难以实现,也不能让观赏者与媒体互动,即媒体不具有交互性。要想动画具有交互性,能使观赏者通过选择来控制播放的顺序或呈现不同的内容,就需要使用Flash的动作脚本语言。     

抗噪Roberts算子边沿检测器

图像边缘检测是图像分割、目标识别、区域形态提取等图像分析技术的基础。边沿检测的软件实现有很多方法,但其一般无法保证在低成本计算平台上的实时性。因此文中基于形态学滤波和Roberts边沿检测算法提出一组数字电路,用以实现低成本、实时图像边沿检测器。文中还对比了Roberts算子的Matlab上实现和硬件实现的实际效果,发现实际硬件的边沿检测精度更高,噪声更多,必须采用去噪电路。该检测器消耗ALTERA-EP4CE115中2139个逻辑单元,每秒可处理30帧分辨率为640*480的RGB图像。     

考虑环境因素的软件可靠性增长模型

软件可靠性增长模型中由于测试阶段和实际运行阶段环境的不同导致了失效强度函数的判断偏差。在Musa执行时间模型中的经典模型M-O对数泊松执行时间模型基础上,提出考虑环境因素的对数泊松模型,该模型能较好的刻画失效强度函数变化规律,并给出参数估计公式。通过对失效数据集的实验,结果表明该模型具有较好的拟合效果。     

LINQ数据库访问技术研究

LINQ是微软公司提供的一项新技术,LINQ查询操作可以通过编程语言自身传达,而不是以字符串方式嵌入到应用程序代码中.通过使用编程语言编写查询具有简化查询,不必使用单独的查询语言等优势.LINQ允许编写C#或者Visual Basic代码以查询数据库相同的方式操作内存数据,它改变了程序和数据之间的关系.因此借助于LIN...