A NEW ALGORITHM FOR ALL EFFICIENT SPANNING TREES

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

第四代语言NH4GL系统

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

线性互补问题的几个结果

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

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

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

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

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

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

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

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

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

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

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

弧面分度凸轮机构参数优化设计的一种新方法

在机械工程中，原始参数的选择和结构参数的设计是否合理决定了产品的质量和产品各方面性能的优劣，从优化设计思想着手，充分考虑到弧面分度凸轮机构的结构特点，采用了交互式多目标优化方法——权空间法，并将此方法与约束变尺度（ＷＨＰ）法相结合，进而解决弧面分度凸轮机构参数优化设计的问题。     

固体火箭发动机成本与性能双目标优化设计

为求解某运载火箭上面级固体推进剂火箭发动机多属性价值优化问题,建立了发动机主要部件的参数成本模型,研究了一种改进的Pareto多目标遗传算法--IPGA算法,测试函数的计算结果表明,该算法收敛性优于NSGA-Ⅱ算法.以运载火箭末速度增量最大和发动机制造成本最低作为目标函数,采用IPGA计算得到了壳体材料分别为APMOC和碳纤维时的Pareto非劣解集,采用理想点法得到非劣解集中费效比变化的拐点,计算结果表明,以该点为满意解设计方案可以使该运载火箭的有效载荷提高7.6%,并使发动机的成本降低.