民事程序选择权浅探

民事程序选择权作为程序处分权的重要组成部分．来源于宪法和诉讼法对程序主体原则的肯定。在我国计划经济向市场经济转轨的今天，研究民事程序选择权具有尤为重要的意义。审视我国民事程序选择权立法及实施观状．比较国外有关立法规定，发观我国现行民事程序选择权立法存在诸多不足。应当立足国情．借鉴国外立法，完善我国民事程序选择权立法。     

基于规约说明语言的面向对象软件测试

提出了一种测试面向对象程序的框架模型．用Object-Z语言描述面向对象程序的形式化规约．从形式化规约说明中可以推导出的面向对象程序的状态转换图，状态图可以表示面向对象程序的动态行为，并且可以用来描述一个由面向对象程序的方法调用序列组成的测试数据集．最后给出了验证一个方法调用序列正确性的方法．测试结果显示这一框架模型对于测试面向对象程序是可行的．     

基于PAT树的程序静态分析方法

软件测试是软件工程的重要组成部分，程序静态分析技术是软件测试中静态测试的基础，该技术通过对程序源代码进行分析以发现其中的错误．文章提出了一种程序静态分析方法，建立了一个树形结构的模型PAT（Program Analysis Tree）形式化描述了Java程序，准确地描述了Java程序的逻辑结构．最后给出了一个基于此模型的程序分析方法．     

基于Web交互式的DS-CAI可视化算法实现

该文是对DS-CAI（数据结构CAI）程序的具体实现．首先介绍程序可视化原理并回顾了程序相关的数据结构知识——BF匹配算法，接着对算法程序可视化进行详细描述，最后采用基于Web的JavaApplet技术实现了可视化算法演示程序．     

并行程序设计中粒度的组合和调度

从程序粒度的概念出发，介绍粒度的表示，以及程序的粒度图．在此基础上，进一步探讨粒度的组合与程序的并行调度．     

CAD在复杂刀具设计中的应用

本文介绍复杂刀具的计算机辅助设计（简称ＣＡＤ）方法．从蜗轮滚刀的计算程序与绘图程序入手，模拟工程技术人员设计蜗轮滚刀的全过程．所用研究方法与研制的程序，可应用到其他的机械设计中．本程序较多地采用子程序结构以优化设计．在输入被加工零件的原始参数后程序自动检索出合适的刀具结构参数和几何角度，自动进行刀具齿形的优化设计，最后绘出刀具的工作图．     

Newton—Cotes求积系求积数与复合Gauss算法的程序设计

提出了利用Newton—Cotes公式进行数值计算时Cotes系数的程序设计方法和复合高斯求积算法的程序设计方法,在Matlab环境下编写了两算法的程序,数值实验结果证明了程序的正确性．两程序的编写为其应用提供了方便．     

一个基于AI产生式系统的软件开发新模型

在设计一个程序以前，应该完整地并且精确地说明要求解的问题．作为一个产品。软件相对于其形式规格说明来说应该是可靠和正确的．规格说明是程序变换方法的起点，程序变换方法保证了程序的正确性．本文给出了ＡＤＴＳＬ的简要描述，并提出了一个基于人工智能中的产生式系统的软件开发新模型．     

MWMIS网关软件的功能设计

描述了MWMIS网关软件的系统结构．它由四个程序组成实时监控计算机端的数据发送程序、网关端的定义动态数据点程序、网关端的实时数据处理程序和客户端的实时数据显示程序．该子系统充分地利用了原有资源，使原有的计算机监控系统中的数据同新建的MIS有效地集成起来．     

一个实用的地图着色算法

给出一种计算机实现地图四色着色的算法,并以Ｐａｓｃａｌ语言编制了程序．该程序稍作改动,即可成为分块图形实现四色着色的通用程序．     

FoxBASE通用查询程序设计

介绍了一种ＦｏｘＢＡＳＥ中数据库的通用查询程序．利用该程序，可以实现数据库的任意条件查询、增加、删除、修改等相关操作，并可利用宏代换对不同的数据库进行操作．该程序可以极大地减轻编程工作量．     

微控制器程序设计实时性与效率分析

分析了微处理器实时程序与实时控制时间的量化关系,分析了多模块实时程序的量化关系关系．量化多模块之间实时程序的时间制约关系,描述了控制时间与程序执行长度的量化关系,定义了实时程序的时间扩展度量方式．     

FoxBASE+源程序错误捕获校正程序设计

错误铺获校正程序的设计方法和设计过程．利用此程序可实现FoxBASE＋源程序中的错误进行自动捕获和校正．     

对称群标准正交不可约表示矩阵计算新方法的程序化

进一步完善了对称群的标准正交不可约表示矩阵计算新方法，实现了该方法的程序化．该程序可以移植到有关的多电子理论方法计算程序，也可以作为独立的程序用于计算表示矩阵．此外，列出一些简单表示的内禀矩阵．     

安全的64位程序开发方法探讨

讨论64位安全程序设计的一般性方法．通过比较32位与64位程序设计的区别，并分析缓冲区溢出攻击的主要原理，提出一套开发安全的64位程序应遵循的一般性方法．从程序设计的角度提高软件的安全性，降低攻击事件发生的可能性．     

三维离散纵标中子输运稳态及瞬态动力学计算

基于著名输运程序DOT4．2，开发了三维离散纵标中子输运稳态及瞬态动力学计算程序．对时间变量采用直接的无条件稳定且具有高精度的全隐式向后差分格式进行离散处理，将瞬态输运方程转化为各个离散时间步上的固定源型稳态中子输运方程进行求解．通过对TAKEDA基准题及输运瞬态基准题的校验计算表明：该三维稳态程序能准确地给出有效增殖系数以及各区的区域平均中子通量密度，其相对误差分别小于0．1％和4．0%；对于缓发超临界和瞬发超临界问题，三维瞬态程序的计算结果均与参考值吻合良好．本三维程序可以为复杂反应堆堆芯的临界计算和瞬态动力学特性分析提供一个有效而准确的分析工具和手段．     

MWMIS网关软件的功能设计

描述了MWMIS网关软件的系统结构．它由四个程序组成：实时监控计算机端的数据发送程序、网关端的定义动态数据点程序、网关端的实时数据处理程序和客户端的实时数据显示程序．该子系统充分地利用了原有资源，使原有的计算机监控系统中的数据同新建的MIS有效地集成起来．     

过程提取用于改善程序模型检测的可伸缩性

针对目前基于谓词抽象的程序模型检测工具很难处理大规模软件的现状，提出用过程提取技术对待检的源代码进行预处理，以改善程序模型检测的可伸缩性．首先，将程序中一个选定的语句集合提取出来并包装成一个独立的过程，然后在原程序的相应位置用一个过程调用替代，进而将大型程序分解成语义一致的小型过程的集合．由于模型检测算法中的过程总结边可单独计算，所以过程提取使整个程序的模型检测任务模块化，当程序对某过程进行多次调用时，利用总结边可以避免对过程体内状态空间的重复搜索，从而降低了模型检测算法在空间：和时间上的开销．理论分析和实验表明，所提技术能有效缩短大型程序的模型检测时间，并在程序的转换中不会改变原程序语义，满足了程序模型检测的安全性要求．     

二元表决程序的稳定性分析

通过定义稳定性判据，探讨了一般二元表决程序在不同的投票行为方式（诚实投票和策略投票）下的稳定性（即防操纵性）问题．所得结果表明：一般二元表决程序无论是在诚实投票行为方式下还是在策略投票行为方式下都不稳定．这说明一般的二元表决程序都可操纵．     

通用报表打印程序的设计

本文介绍通用报表程序的设计方法，给出的源程序具有很强的实用性．对Foxbase通用程序的设计有一定意义．