数学规划的物理模型及算法

利用力学原理，建立了用微分方程描述的带不等式约束优化问题的物理模型，用人工释能和摄动的思想，推广了现行的一些可行方向算法，并对算法的收敛性进行了讨论。     

一个电子商务系统的解决方案

本文从系统工程的基本观点和原理出发，从新一代电子商务系统技术的角度，根据电子商务系统自身运行的特点，对ASP．NET平台电子商务系统的体系结构、基于ASP．NET的Windows编程技术以及Web数据库访问技术等方面进行了探讨。     

A NEW ALGORITHM FOR ALL EFFICIENT SPANNING TREES

Ｃｏｒｌｅｙ提出了一种求所有有效生成树的算法，但该算法得到的最终解含有许多非有效的生成树。本文提出一种新的算法，首先指明了Ｃｏｒｌｅｙ算法理论基础的缺陷，然后进一步提出并证明了一个子树是有效生成树的子树的两个必要条件。根据这个结果，建立了这种新算法并证明了它的有效性。     

第四代语言NH4GL系统

本文介绍了第四代语言系统NH4GL,并论述了其设计准则和实现方案。     

线性互补问题的几个结果

定义了矩阵类、矩阵类和矩阵类,运用这些矩阵类描述了使线性互补问题有解的矩阵M的性质。定义了矩阵类,并对M进行分解,提出了线性互补问题有解的条件。给出了线性互补问题的分层算法,由此推导出线性互补问题有解的充要条件。最后用一个例子说明用线性规划方法求解线性互补问题更多的解的可能性。     

关系数据库的自动生成与维护

随着计算机信息处理量的日益增长,数据处理部门的能力愈发不能满足需要,这就要求向数据处理专业人员提供新工具以提高其生产力。对关系数据库的自动生成与维护的研究就是出于这个目的。本文将基于假说演算的逻辑程序自动设计技术引入关系数据库之中,并使其成为关系数据库应用系统自动生成与自动维护的核心技术。利用这一技术,可以把自动设计出的逻辑程序通过程序变换途径转换为数据库查询语句。目前,我们已利用这一技术建立了一个实验系统,利用它已可以自动构造和维护一些小规模的数据系统。     

人的二维目标拾取运动试验设计及分析

在借鉴前人研究的基础上,设计并进行了较为全面的二维目标拾取运动实验,取得了大量有价值的实验数据.在理论研究和实验分析的基础上,提出了新的描述人的二维目标拾取运动的理论数学模型,并采用所获得的实验数据对本理论模型进行了实验系数确定,结果表明:该模型具有良好的适用性,不仅可以描述二维目标拾取运动,而且适用于一维情况;不仅可以描述手的目标拾取运动,而且还适用于其它肢体.     

美国空军标准语言JOVIAL的分析与评价

JOVIAL语言是美国空军唯一的标准语言。本文根据作者从事军用计算机语言研究的经验,从可靠性、可读性、效率、可维护性、可移植性、可用性、简明性、抽象性以及实现等角度对JOVIAL进行了分析、评价,并将JOVIAL与Pascal、Ada等语言进行了适当的比较,最后指出了作为军用语言的JOVIAL还缺少的语言设施。     

用最优轨迹分析法研究战斗机的敏捷性

利用最优轨迹分析法确定战斗机的敏捷性，并将最优控制问题转换为参数优化问题，由非线性数学规划理论解出参数变化规律。从典型示例飞机分析了不同迎角限制和推力下的控制策略及对功能敏捷性的影响。仿真结果表明，在转弯过程中适当放宽迎角限制和增加推力都能增大转弯速率，缩短转弯时间，从而改善飞机的功能敏捷性。     

基于UNIX System V流机制的串行口通信程序的设计与实现

流（ＳＴＲＥＡＭＳ）机制，是ＵＮＩＸ系统中用户进程到设备（伪设备）之间的一条全双工数据通路，它为字符处理、网络服务和数据通信等驱动程序的设计提供模块化手段。本文概要介绍了流机制的组成及原理，着重讨论了用流机制实现ＵＮＩＸ设备驱动程序的方法，在ＳＣＯＳｙｓｔｅｍＶＵＮＩＸ系统中设计并实现了基于流机制的带ｍｏｄｅｍ控制的串行口驱动程序，最后讨论了串行口通信的数据传输控制及串行口通信程序的应用。