一种基于环境约束的异常程序行为模型

在控制流模型中加入影响程序运行的环境因素,结合静态分析方法的优点,建立了程序异常行为分析模型,用以标记函数调用指令,并在动态运行时进行返回值一致性约束,从而解决了一般方法回避函数指针导致的间接调用问题。同时根据程序的局部运行原理,将分析范围限定在函数范围内。实验结果表明模型具有较好的精确性和较低的性能影响。     

一种面向语义Web服务的语义程序变换方法

语义程序变换是面向语义Web服务的软件设计方法的基础,语义程序只有通过程序变换后才能被运行环境执行和调用,然而目前还缺乏有效的语义程序变换方法。针对这一问题,基于语义编程语言SPL,提出了一种面向语义Web服务的语义程序变换方法。该方法通过对语义数据类型、语义规则、语义服务和语义流程等语义信息的有效变换,不仅提高了面向服务的程序设计的灵活性和健壮性,而且有助于提高业务流程的柔性和重用性。     

C语言与汇编语言混合编程

讲述了混合编程的必要性及应用场合,介绍了编程中汇编语言和C语言各自应遵循的法则,通过实例对上述内容进行了充实与完善,显示了混合编程在软件开发中的实际用途。     

浅析恶意代码的机理及其模型

本文从操作系统的结构性缺陷角度,阐述产生恶意代码的源头,指出当前通用PC操作系统把设备驱动、文件系统等功能都纳入系统内核,导致内核代码庞大,增加了系统保护工作的难度。并对计算机病毒的传播机理进行了形式化描述,研究了蠕虫程序的模块结构,建立了数据驱动型软件攻击的理论模型,分析了其构成威胁的本质原因。     

FIFO原则在自动化控制程序中的应用

在自动化程序编制过程中经常会遇到将实时数据进行存储,规定时间后取出,即实现数据缓存的功能。为了实现这种功能,在Step7编程软件中依照FIFO原则编写了功能块FB1013。本文将结合实例详细介绍这个功能块的功能及应用状况。     

互联网跨媒体分析与检索:理论与算法

互联网信息不仅规模巨大,而且存在着十分广泛、错综复杂的交叉关联,呈现跨媒体特性.实现互联网中跨媒体数据的精确挖掘与检索是高效利用互联网资源迫切需要解决问题.文中对该领域所涉及的人脑认知跨媒体特性、多媒体检索标注与语义理解、跨媒体表达与识别、互联网跨媒体搜索以及海量数据处理机制等几个方面进行了综述,讨论了该领域目前存在问题和今后的发展趋势.     

基于分布对象的并行程序设计方法研究

研究分布式对象的并行实现及优化,提出一种基于分布式对象的并行程序设计方法,构建一个基于分布式对象的并行程序设计模型,并以此方法完成虚拟计算机网络实验系统的设计和实现实验结果表明,该虚拟计算机网络实验系统并行性较好、响应速度适中,证明基于分布式对象的并行程序设计方法在改善微机系统并行性上具有一定的作用     

基于C#语言的Windows应用程序设计的课堂引入

本文通过一个具体的点名应用程序的设计与实现,讲解了如何将学生引入学习基于C#语言的Windows应用程序设计的过程。     

关于C语言函数参数应用问题的研究

函数是C语言程序设计的核心,函数的参数的地位更显得重要,本文从C语言中参数的使用语法、指针参数、数组参数、函数的返回值几个方法论述了C语言中函数参数的使用技术,并对其进行了小结,为C语言教学中及C语言程序设计提供参考。     

基于SAP R/3系统标准程序的增强开发

针对特殊的业务需求采用SAP的程序增强开发模式.主要分析了中国石化齐鲁分公司在使用SD(销售与分销)模块过程中对销售计划量、交货单有效期控制等环节所做的程序增强开发.