面向方面程序的静态语义研究

针对面向方面程序,许多研究者已定义了各种各样的形式语义。但是这些语义都不能够全面、准确地对面向方面程序的规范和方面声明部分进行描述。针对该问题,首先定义一种统一的面向方面程序的规范语言;其次对面向方面程序中的连接点和切点这两个重要概念进行形式化定义;再次引入结构变量表示面向方面程序的基本结构;最后应用统一程序理论中的设计定义面向方面的静态语义,并对其可靠性进行证明。同时,用一个例子说明该语义的使用。     

屏幕连续抓图

<正>计算机的屏幕抓图程序是很多多媒体演示程序的基础。抓图程序对于大多数编程的人来应该都不会陌生,但是在做一个好的抓图程序并不是太简单。最主要的问题是用什么样的代码才能高效的完成屏幕抓取工作,以及抓取的图像采用什么样的方式来存储的问题。本文采用在VB 开发环境下WINDOWS API函数来进行抓图问题的处理。     

程序算法识别研究综述

程序算法识别是程序理解研究中的子问题,主要目的是针对程序源代码识别出其所蕴含的程序算法。针对程序算法识别问题,首先说明其定义及实现过程;对可应用于程序算法识别领域的程序理解技术进行分类介绍,说明每种方法的实现技术路线;最后对每种方法进行了比较、分析,并提出未来程序算法识别研究的重点问题。     

基于C++及其扩展语言的动态剖析

程序优化是提高程序运行效率的重要步骤,程序剖析是程序优化的第一步。对于串行语言,程序剖析代码是由编译器通过一个命令行开关自动插入。但是,大部分并行语言编译器都不具有这个功能。该文以并行C++语言的可移植的动态剖析程序(profiler)为例,从两方面对问题进行了论述:首先给出实现可移植动态剖析程序的一般方法;然后分析一个用于pC++插桩(Instrumentation)工具。     

面向对象建模集成环境AML-Tools的设计与实现

该文描述了一个新的面向对象建模集成环境AML-Tools。AML是一个基于Ada95的建模语言,它吸取了Ada95的基本原理和思想,利用支持面向对象建模的设施对其进行扩充和改造,使之适用于软件建模的各个阶段;引进了程序包、任务等程序单元的概念并使之成为AML的核心成份;吸取了多视点模型的思想,将描述同一实体不同侧面特征的信息分别封装在相应的程序单元声明、程序单元体和程序单元描述中;利用新的并发模型、同步设施和限制设施,有效地解决了系统并发性、不确定性等非功能特性的描述问题。     

树计算机与树程序

本文通过一个很小的模型来引进树计算机和这种计算机上的程序——树程序的概念,并进行了有关的讨论。作者希望说明,在研究形式语言和编译系统的某些问题时,树计算机和树程序可能成为一种有效的工具。 在§1中,我们引进树计算机和树程序的概念。§2,§3用两种不同的方法处理了树程序的语义问题。这两种方法大体上相当于[1]中的“计算模型”和“演绎理论”。§4中讨论了树程序作为一种“中间语言”的意义何在。     

监督学习模型指导的函数级编译优化参数选择方法研究

基于机器学习的迭代编译方法可以在对新程序进行迭代编译时,有效预测新程序的最佳优化参数组合。现有方法在模型训练过程中存在优化参数组合搜索效率较低、程序特征表示不恰当、预测精度不高的问题。因此,基于机器学习的迭代编译方法是当前迭代编译领域内的一个研究热点,其研究挑战在于学习算法选择、优化参数搜索以及程序特征表示等问题。基于监督学习技术,提出了一种程序优化参数预测方法。该方法首先通过约束多目标粒子群算法对优化参数空间进行搜索,找到样本函数的最佳优化参数;然后,通过动静结合的程序特征表示技术,对函数特征进行抽取;最后,通过由函数特征和优化参数形成的样本构建监督学习模型,对新程序的优化参数进行预测。分别采用k近邻法和softmax回归建立统计模型,实验结果表明,新方法在NPB测试集和大型科学计算程序上实现了较好的预测性能。     

电子计算机在工业自动化中的应用 第三讲 控制方法和程序设计

一个计算机系统,必须配上一套相应的工作程序,并在这些程序的控制下,使系统能按设计要求进行工作。所以程序是计算机应用的一个重要关键。程序从形式上看,是一串指令和数据的有序排列,但其实质是用计算机的指令(或计算机所能接受的某种语言),对要计算机处理的每个具体问题的处理方法、步骤以及过程进行完整的描述,完成这一描述的工作过程称为程序设计。所以,讨论程序和程序设计,不仅要熟悉和了解计算机,而且也不能脱离具体的问题或对象,不能脱离对这些问题或对象的处理和控制的方法。     

程序间的受控运行解密

让一个程序随另一个程序的启动而启动或退出,或是让一个程序随另一个程序的退出而启动或退出,研究这个的意义在于控制相关程序的运行,比如:为了节约有效的资源,不上网时可退出适时病毒检测程序,上网时又让其随网络连接的打开而自动(这两个字才是本文要讨论的重点)运行。下面就以案例的形式进行讨论。让一个程序随另一程序的启动而自动运行一、控制来自微软的程序这类程序包括两类:其一是随Windows的安装而安装的程序,如IE、OE、图画程序、写字板、记事本等;其二是来自微软的应用程序如MicrosoftOffice下的Word、Excel、PowerPoint等。…     

图形相似与递归程序设计

递归是一种强有力的数学工具,它给程序设计带来了很大的方便,而逐步细化方法又是结构化程序设计中的一个非常重要的工具,但如何使用逐步细化方法对问题进行分解、设计出正确的递归程序是一个值得研究的问题,本文提出了利用几何学中的图形相似的概念,进行问题分解,设计递归程序的有效方法。     

TSR程序智能化安装

本文讨论一个TSR程序在安装时可能出现的问题。提出了一个利用程序段前缀PSP传递参数,智能化识别TSR是否驻留、热键是否冲突及程序是否有效等问题的TSR安装程序的框架,最后给出一个程序实例。     

复杂条件下水工有限元计算流程管理程序开发

为提高用于解决复杂问题的水工有限元计算的效率与成功率,提出一种以流程管理思想及微软基础类库MFC为基础,编制界面程序进行水工有限元计算流程管理的思路。按该思路编制出一个流程管理程序用以检验水工有限元计算流程管理的优势与劣势。通过流程管理程序与一般计算流程进行比较,可以得出结论:水工有限元计算流程管理程序操作简单、易于推广;以流程管理程序进行计算,尤其是进行重复计算,其成功率和效率都会得到明显的改善。     

多计算机的自动插桩与监测系统

在设计大规模的并行应用程序时,如何使多处理器的利用率达到最优,这对程序设计人员来讲是一个很大的挑战。一般说来,由于应用程序在运行时性能上的缺陷,计算资源得不到充分利用。因此,迫切需要对应用程序进行“性能调试”,即在正确性的基础上,通过揭示这些缺陷,对程序进行细调而提高程序性能。在这篇文章里,介绍了一个软件工具包—自动插桩和监测系统(theAutomatedInstrumentationandMonitoringSystem),它集程序插桩、运行监测和性能分析为一体,支持在多处理器上对并行应用程序进行性能评估。文章首先论述了一些建立性能调试工具的基本问题;然后,详细描述AIMS系统的体系结构以及在利用AIMS工具包进行性能调试工具的开发中的经验;最后,使用两个例子详细地描述使用AIMS系统进行性能调试的过程。     

一个面向C和Fortran数值程序的静态分析工具

程序的正确性验证一直以来都是计算机科学中的一个挑战性问题,抽象解释理论为程序静态分析提供了一个通用框架,可以在编译时自动地推导程序的动态性质。基于抽象解释的数值程序分析可以自动推导程序中数值变量间的不变式关系,这对于编译优化、程序错误检查至关重要。本文建立并实现了一个面向C和Fortran程序并支持过程间分析的数值程序分析框架和工具,C或Fortran源程序经过预处理后转化为具有统一格式的中间表示形式,然后基于该中间表示抽取与源程序语义等价的语义等式,最后在该语义等式上进行不动点迭代计算从而得到程序不变式。在此基础上,本文还对数组等复杂语法结构进行了建模和抽象。实验结果表明,该工具具有较高的可扩展性、精度,并能够处理大部分因数组的使用而带来的程序分析上的问题。     

谈谈用户监控程序的设计

<正> 问题的提出在利用单板机实现实时过程控制时,有一个重要的问题不得不引起我们足够的重视,这就是根据实际要求,合理地设计一个用户监控管理程序。我们知道,单板机制造厂家原来设计的固化在EPROM 中的监控程序,只能提供用户在离线状态下进行编程调试     

DOS和WINDOWS热点透视41例

一、DOS内存分配错误和处理 近来,每当我试图装入一个新的应用程序时,我的计算机总是出现一连串的DOS的错误信息:先是“Divide overflow”紧接着是“Memory allocation error,can't load COMMAND.COM”,并且无设备时试图使用应用程序也会发生同样问题。 这个问题不是DOS引起的,一般是由应用软件的一个错误或缺陷而引起的。“Divide overflow”错误信息常表明一个程序进行非法的数学功能,如除数为零等;“Divide overflow”后,程序退出返回到DOS。     

电子计算机在工业自动化中的应用——第五讲 系统程序组织方法

任何一个计算机系统,必须有一个相应的系统程序来支持其工作。如何来组织设计整个系统程序,不同于一般程序设计,它是一个很复杂的问题。系统程序设计的关键是:首先必须提出一个合理、有效的总体结构方案,然后在这个总方案思想的指导下,来分工协调地进行具体程序设计。从途径上来看,基本有两种方法可供选择,一个方法是用户完全独立地来组织设计自己的系统,即直接在裸机的基础上建造系统;另一方法是用户借助于生产厂所提供的操作系统来组织设计自己的系统,即在虚拟机(操作系统)的基础上建造系统,如图5-1所示。     

SPOOLED站I/O软件(简称SCP)的功能调试

<正> 一、引言有关程序正确性的问题,是一个软件设计中最中心的、极其重要的、而又不能回避的问题之一,因此,在一个软件系统设计的开始,设计人员总是将程序的正确性,可靠性作为最重要的目标之一。但是由于软件的复杂性,加上我们对设计软件的性能标准所持有的主观肊断性,总会有一些事与愿违的事情发生。因为,机器对软件程序的执行是严格的实践检验,有一些走向和路经的组合往往出乎预料。因此,尽管已经对一个软件进行过周密的设计和施工,也必须进行程序正确性调试和验证,特别是象 SCP 这样的大型软件更是如此。并且,在一般常识上,人们对程序最终的信任程度与所需要的调试反复的次数直接有关。     

二维不定常流体弹塑性问题数值计算的应用软件

数学物理方程程序标准化是一件很复杂的事,但对某一类问题编制成一个应用软件 或者一个程序包并不是不可能的。我们主要参考了“HELP Code”,用BCY语言编制了欧拉型的LTDL程序,能解多种二维不定常流体弹塑性问题(平面问题或轴对称问题)。问题可包含多种材料(金属和非金属)。使用该程序对金属射流侵彻靶板、金属弹丸侵彻钢靶、高速碰撞、高能炸药表面爆炸、球形爆炸、两杆对撞等问题进行了大量的计算,获得了有用的结果。     

深入Delphi编程技术讲座之四 Delphi与数据库

数据库系统是当今广大编程者日益关心的问题。在今天可视化的程序设计中,衡量一个开发工具是否具有强有力的生命力,也常常强调数据库设计的简易性和完整性。简易性是指设计数据库系统应该非常方便、直观、好用;完整性是指所建立的数据库程序的整体性、安全性。因此,选择一个功能强大,快速高效的数据库开发工具是我们所关心的问题。Delphi提供了开发数据库程序大量非常好用的工具和强大的编程环境。可以使用户开发设计数据库程序既容易又方便,这是其他开发工具不可比拟的。 在Delphi的集成开发中,提供有Borland Database Engine-BDE和Client/Server的版本。其中Client/Server版本可在分布式环境下设计数据库程序。并提供一个快速产生数据库