基于抽象解释的数据迷惑正确性分析

数据迷惑是代码迷惑中重要的一类迷惑变换,在软件保护领域中应用广泛,常被用于防止攻击者对程序进行数据流分析、程序切片等逆向工程攻击。从语义的角度,给出了一种基于抽象解释的数据迷惑正确性的分析方法。首先使用抽象解释理论,从程序语义的角度,对数据迷惑进行形式化描述,用一种语义变换形式化地描述数据迷惑。然后在形式化描述的基础上,由语义变换和语法变换之间的关系,构造得到数据迷惑算法。最后在基于抽象解释的数据迷惑的形式化描述的基础上,对数据迷惑变换的正确性进行分析和讨论。     

论动态数据结构的程序语义

在程序设计语言中，由于语言成份的语义描述不够完整，容易造成动态数据结构的使用混乱与错误，这些问题在编译程度中无法发现，并且在程序执行过程中也很难排除，本文针对这种情况，研究了如何正确刻划动态数据结构的程序语义问题。     

论动态数据结构的程序语义

在程序设计语言中，由于语言成份的语义描述不够完整，容易造成动态数据结构的使用混乱与错误，这些问题在编译程序中无法发现，并且在程序执行过程中也很难排除。本文针对这种情况，研究了如何正确刻划动态数据结构的程序语义问题。     

基于形式化语义的启发式病毒检测引擎研究

对形式化语义在启发式病毒检测引擎上的应用进行了研究,在分析了基于虚拟机技术的反病毒检测引擎的效率问题后,又分析了启发式病毒检测引擎,发现其规则的选取对病毒判断的准确率影响很大,提出基于形式化语义的启发式病毒检测引擎。进行了计算机病毒语义关系框架及数据结构的设计,通过深入剖析不同病毒程序传染部分的代码结构,从而总结出病毒程序的典型语义特征,形成描述其典型语义特征的语义关系框架;在检测时抽取蕴涵在待检程序中的语义,进而建立描述程序语义关系框架;计算二者的匹配程度来确定程序是否含有恶意程序,从而达到检测未知病毒的目的。     

人工智能难题和程序语义学

句法机如何成为语义机是人工智能面临的难题,也是当代意向性理论研究的重点.程序语义学是试图解释这一问题的重要致思取向.它认为传统的人工智能、计算机科学等是以模态理论语义分析为基础的,其研究尚停留在符号的层面,而未涉及到真值、指称,即没有涉及到语言与世界的关联.在揭示语言与世界关联如何实现的问题上,程序语义学强调语义不是由对指称的计算所给予的,也不是由谓词逻辑的标准语义学所给予的,而是由程序给予的.程序语义学不但能够融合如福吉勒特等意义理论的局限,而且所提出的过程性分析和知识对于人工智能的研究、发展亦有启示性.     

硬盘保留区保存与恢复程序

针对计算机病毒问题，提出了硬盘保留区保存与恢复的实用程序，将硬盘保留区以文件形式保存入Ａ盘，当该区被病毒破坏后用软秀恢复该区，可解决目前因计算机病毒破坏无法动硬盘的困难。     

利用信息检索和概率有限自动机的程序理解

为提高基于信息检索的程序理解方法的准确性，提出了一种结合信息检索和概率状态机的两阶段程序理解方法.在该方法中使用概率有限自动机（probabilistic finite state automata，PFA）解决了信息检索结果在程序理解中的不确定性，同时采用信息检索构建了多个简单的PFA，而不是单个复杂的PFA，提高了PFA分析的伸缩性.训练阶段先采用隐式语义分析对源代码进行聚类，然后在聚类结果上生成PFA.在识别阶段以词法处理后的程序作为检索项在程序模板库中进行信息检索，取检索结果中的最相关的n项作为候选模板，由候选模板对应得到相应的PFA，通过分析找到最大概率的PFA，完成对源码内容的语义标注.     

Win95引导程度的获取

介绍了当硬盘上引导区中WIN95系统的引导程序被计算机病毒“替换”或是由于某些意外原因被破坏后，在没有备份的情况下，如何正确地获取和恢复硬盘上引导区中WIN95系统的引导程序，使系统恢复正常。     

用YACC实现程度插装器

使用ＹＡＣＣ实现了一个Ｃ程序插装器，用翻译式来描述插装器的行为，具有简洁清晰窠几容易验证正确性等特点，通过作用文法改写技术，有效地简化发程序的实现，并使程序具有较好的可读性。     

程序不变量驱动的组合测试用例约简方法

针对组合测试用例约简问题,提出一种基于程序不变量的两两覆盖组合测试用例约简方法。首先用组合测试用例生成算法对被测程序一次生成一个组合测试用例,然后根据该组合测试用例提取被测程序的程序不变量来决定该测试用例的取舍。典型案例实验表明该方法能有效地对组合测试用例集进行约简,可降低测试用例的数量,提高测试用例的质量。     

短路电流实用计算法的计算程序

本文提出了一种将中间节点逐个消去的网络化简方法,并利用计算机的检索功能对在微型计算机上计算短路电流进行了研究,得到在微型计算机上应用运算曲线计算任何时刻短路电流的计算程序。     

离心泵性能参数的计算机辅助测试系统

简述了离心泵性能参数测试用的计算机辅助测试系统 ,其特点是运用便携式袖珍计算机进行离心泵实验数据的采集、存贮、处理及绘图。介绍了传感器的选配、采集数据的方法及数据处理中主要数学模型的推导过程 ,将采集数据程序提供的各种测试数据代入数学模型中进行计算 ,用最小二乘法求出曲线的拟合公式。绘出泵的特性曲线。用一组不带有误差的数据去求近似公式时 ,一般采用插值的方法 ,泵性能测试数据是一组带有误差的数据 ,用最小二乘法拟合近似公式较为合适 ,以测试 3B - 31型水泵为例 ,分析论证了系统实现方法的可行性和系统的工程应用价值。     

圆柱斜齿轮测绘及程序实现

本文提出了一种简捷实用的基于公法线、跨球距和中心距的斜齿渐开线齿轮参数的测绘方法,能较准确地确定被测齿轮的基本参数：模数mn、压力角αn、螺旋角β、变位系数xn,确定齿轮减薄量。通过计算机程序算法和数据库技术使该测绘设计方法易于实现,且自动完成测绘齿轮的数据设计。该方法简明易懂,测量精度较高,实现简易快捷。     

基于RoboCup仿真的程序设计教学研究

程序设计工程性实践是计算机科学与技术专业将学生培养成创新型实践人才的重要环节。本文因此提出基于RoboCup仿真的程序设计教学模式,在对计算机专业程序设计教学体系优化讨论的基础上,给出了基于RoboCup仿真的程序设计教学实施过程,以此解决计算机专业学生在程序设计工程性实践中存在的难题。     

上机操作测试工作的探讨与实践

上机操作测试可提高计算机教学水平,推动计算机基础知识在学生中的普及和深入,提高学生们的计算机实际应用能力．作好上机操作测试工作是搞好计算机教学的重要手段．这项工作怎样才能做的更好,实践表明：一是为学生创造良好的上机环境,调动学生学习计算机的积极性;二是保证测试工作的权威性．     

科研实验数据离群值检验方法及其应用程序

论述了四种检验科研实验数据离群值的方法，同时提供相应的快速可靠实用结构化ＢＡＳＩＣ程序，供从事实验及科学研究人员参考。     

基于VB的恒压滤饼过滤过程模拟的研究

通过对过滤过程中基本方程的研究,为了减少过滤试验的工作量,采用计算机模拟的手段对滤饼过滤过程进行研究,将滤饼形成过程假想分割成诸多增量,从而利用时间增量,借助 VB程序设计语言,设计一套适用于恒压滤饼过滤的模拟程序,通过该程序,可以模拟计算出过滤过程中的一些相关参数和结果,为滤饼过滤过程的研究提供了一种可靠的新方法。      

可擦除可编程只读存储器的复制

目前计算机技术迅速发展，ERPOM在程控系统中得到广泛应用。本文从应用的角度，设计一种切实可行的能对ERPOM进程程序复制的电路，并扼要的阐述了电路的工作原理，让从事各种程控系统的工作人员，在不具备EPROM程序复制所需的专门设备情况下，也能把程序复制和写入到EPROM中去。     

以Visual Basic语言讲授程序设计语言课程的体会

结合计算机技术的发展和本校的实际情况，提出以Visual Basic语言进行程序设计语言课程的教学，采用多媒体教学手段，以进一步提高教与学双方的积极性，改善教学效果。