OOP的计算模型研究

虽然ＯＯＰ（面向对象程序）已得到广泛应用，但由于ＯＯＰＬ）面向对象程序设计语言）、ＯＯＴ（面向对象技术）还缺乏坚实的理论基础，致使早期ＯＯＰＬ在对象、类、继承性和方法等面向对象的基本概念及其语义方面还缺乏一些致性表示和定义。本文作者在我媒体软件和大型信息系统开发实践中，详细分析了几种不同的ＯＯＰＬ语言，提出了ＯＯＰ的计算模型ＯＯＣＭ。ＯＯＣＭ从形式上定义了面向对象的基本概念、相关语义及其计算特征     

深入自启动程序的老巢──小东东“启动管理”

在Ｗｉｎｄｏｗｓ９．ｘ启动时，有许多程序也随之运行，其中一些程序无情地吞噬您的系统资源，却仅仅为某个程序在启动时能略快几秒钟，ＯＦＦＩＣＥ９７和ＰＨＯＴＯＳＨＯＰ５．０便是这样的程序，不过他们非常客气的把自启动程序放到了开始菜单的启动组，可以容易的清...     

将Fortran程序移植到Windows环境的方法讨论

ＦＯＲＴＲＡＮ程序的大部分是在ＤＯＳ状态下的运行,在Ｗｉｎｄｏｗｓ环境下具有较大的局限性。基于此,本文对ＤＯＳ下的ＦＯＲＴＲＡＮ计算程序移植到Ｗｉｎｄｏｗｓ环境下的几种方法进行了详细的讨论。     

FOPE：一个面向FORTRAN的程序设计环境

本文介绍一个面向ＦＯＲＴＲＡＮ的程序设计环境ＦＯＰＥ（ＦＯＲＴＲＡＮＯｒｉｅｎｔｅｄＰｒｏｇｒａｍｍｉｎｇＥｎｖｉｒｏｎｍｅｎｔ）。ＦＯＰＥ提供对ＦＯＲＴＲＡＮ程序的静态分析、动态分析、程序变换、ＤＯ循环变换、文档生成等功能，文中详细地介绍了这些功能。ＦＯＰＥ的一个重要特点是可视化。可视化工具有程序调用关系图、过程控制流图和数据依赖图三种，它能做到对程序的静态结构和动态运行过程用图形显示。ＦＯＰＥ环境以Ｘ－Ｗｉｎｄｏｗ为基础，建立了窗口用户界面，大大地方便了使用。     

货船破舱稳性概率算法软件（DAMCARGO）

介绍了ＤＡＭＣＡＲＧＯ的程序算法和处理过程，亦介绍了该程序的功能，对使用该程序所需的输入数据作了简要的说明。该软件是适于在微机上运行的供设计人员使用的货船稳性概率算法软件，能计算船舶所要求的分舱指数Ｒ各各舱段破损后实际达到的分舱指数Ａ。     

分层否定的拓广

现有的演绎数据库系统如ＬＤＬ，Ｎａｉｌ！ＣＯＲＡＬ等都采用分层的否定，以确保能计算出程序的完美不动点，事实上，否定的分层只是确保程序含完善不动点的充分条件。本文在确保逻辑程序含可计算的完美不动点的前提下，提出了拓广的分层否定条件。本文提出的条件放宽了对否定使用的限制，增了逻辑数据语言的表达力。     

一个汉字系统下通用的图形接口程序

用Ｃ语言写的ＴＳＲ程序作为汉字系统下通用的图形接口，利用该图形接口能在ＵＣＤＯＳ、ＳＰＤＯＳ、２．１３Ｉ、天汇与中国龙等汉字系统下进行绘图操作。本文首先讨论了用ＴＵＲＢＯ编写ＴＳＲ程序的技术要点，最后介绍了在汉字系统下使用不同的语言工具调用图形接口进行绘图的方法。     

面向对象数据库的推理查询实现

上文介绍了面向对象数据库系统ＦＯＯＤ的推进查询语言Ｏ－Ｄ本文继续讨论对Ｏ－Ｄ程序的几种变换，并证明这些变换是语义等价的，从而证明了对于一个Ｏ－Ｄａｔａｌｏｇ程序，可以为它构造一个相应的Ｄａｔａｌｏｇ程度，并能利用该Ｄａｔａｌｏｇ程序对原程序进行计值，最后本文还给出了对Ｏ－Ｄａｔａｌｏｇ程序计值的算法。     

CONFIG.SYS文件的程序设置与修改

本文针对ＣＯＮＦＩＧ．ＳＹＳ文件的设置问题，给出其能满足不同程序需要的直接与间接读写方法，以及程序设置与修改ＣＯＮＦＩＧ．ＳＹＳ文件的技术。     

面向智能主体的程序设计

面向智能主体的程序设计是一种以计算的社会观为基础的新型程序设计范例。本文介绍我们在ＡＯＰ方面进行的研究工作。ＡＯＰ工作以多个智能主体的知识信息处理问题为背景，采用ＡＯＰ的语法途径，强调将知识本文首先讨论与ＡＯＰ相关的智能主体的体系结构。然后，以ＡＯＰ语言ＲＯＯＴ的技术支点（即面向对象程序设计技术、基于条件重写的逻辑程序设计技术和元级推理技术等）为线索介绍ＲＯＯＴ。最后通过一个简单例说明ＲＯＯＴ的Ａ     

基于EPOM的扩展程序参考模型

扩展程序参考模型是在可扩展的程序对象模型(EPOM)的基础上建立起来的有关程序统计信息的模型。它能够反映程序中的变量信息、函数信息、类型信息和枚举常量等信息，并以HTML的形式展现给用户。询问-回答模式在该模型中得到了广泛应用，不仅在模型的构造过程中大量采用，模型的输出也采用该模式。概要介绍了扩展程序模型的结构和特点，同时给出了在此模型上的一个运行实例。     

Software for advanced HRV analysis

A computer program for advanced heart rate variability (HRV) analysis is presented. The program calculates all the commonly used time- and frequency-domain measures of HRV as well as the nonlinear Poincaré plot. In frequency-domain analysis parametric and nonparametric spectrum estimates are calculated. The program generates an informative printable report sheet which can be exported to various file formats including the portable document format (PDF). Results can also be saved as an ASCII file from which they can be imported to a spreadsheet program such as the Microsoft Excel. Together with a modern heart rate monitor capable of recording RR intervals this freely distributed program forms a complete low-cost HRV measuring and analysis system.     

3D simulation of the Cluster–Cluster Aggregation model

We write a program to implement the Cluster–Cluster Aggregation (CCA) model with java programming language. By using the simulation program, the fractal aggregation growth process can be displayed dynamically in the form of a three-dimensional (3D) figure. Meanwhile, the related kinetics data of aggregation simulation can be also recorded dynamically. Compared to the traditional programs, the program has better real-time performance and is more helpful to observe the fractal growth process, which contributes to the scientific study in fractal aggregation. Besides, because of adopting java programming language, the program has very good cross-platform performance.     

Synthesising recursive functions with side effects

Automatic Program Synthesis involves the automatic generation of a program (or plan) to achieve a specific goal. This means that smaller pre-defined (or previously synthesised) program segments are combined or modified to achieve the total goal. To guarantee that the required goal is actually achieved, the interactions between these program segments must be identified and considered. This paper shows how the side effects of segments can be derived and constructively used in achieving the required goal, and in guaranteeing the correctness of the resulting program. A program synthesising system PROSYN using these principles will then be described. A trace of a sample program synthesis, which generates a program that solves a general set of linear simultaneous equations, is given in the appendix.     

Precise documentation of well-structured programs

Describes a new form of program documentation that is precise, systematic and readable. This documentation comprises a set of displays supplemented by a lexicon and an index. Each display presents a program fragment in such a way that its correctness can be examined without looking at any other display. Each display has three parts: (1) the specification of the program presented in the display, (2) the program itself, and (3) the specifications of programs invoked by this program. The displays are intended to be used by software engineers as a reference document during inspection and maintenance. This paper also introduces a specification technique that is a refinement of H.D. Mills's (1975) functional approach to program documentation and verification; programs are specified and described in tabular form     

软件内建自测试中模板内容的研究和实现

软件内建自测试是软件测试和可测性设计研究领域中的一个新概念,其思想来源于硬件内建自测试BIST(BuildinSelfTest)。软件内建自测试为程序员提供一套预先设计好的模板,由模板对所编写的程序植入测试信息,实现软件内建自测试以解决软件测试难的问题。模板是软件内建自测试系统的基石,其内容关系到整个系统的性能和效果。具体讨论了模板的实现,根据软件故障模型对代码进行改装,从而减少程序出错的概率,同时为软件内建自测试系统中测试用例的生成提供了更丰富的信息。     

面向处理器的系统级模拟、仿真及调试技术——基于软硬件协同设计的新方法

基于软硬件协同设计技术提出了基于系统的模拟仿真和调试方法（SSED）,其基本思想是：在模拟和仿真时建立真实的运行环境;利用可重定目标编译器和汇编器生成将C应用程序转换成汇编语言、执行代码及模拟和仿真的输入向量;利用时间模型进行汇编级调试;对运行结果进行分析。利用该方法设计Jbcore16的过程说明,该方法可进一步加速处理器的逻辑验证,方便对处理器设计的调试。