一个说明语言的设计和其子集编译器的开发

基于软件文档可执行的想法，设计了一个适用于指称语义描述的可执行规范说明语言——ＪＺＣ，并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念，使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试，ＪＺＣ核心子集编译器的开发采用了该种方法，其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介ＪＺＣ的语言特点，给出了编译器开发过程的一个描述框架和证明梗概     

空间机械臂非完整运动规划的遗传算法研究

带空间机械臂航天器系统在无外力矩作用时，系统相对于总质心的动量矩守恒而变为非完整系统。由于非完整约束的不可积性，非完整系统的运动规划与控制比一般系统要困难得多。现利用非完整特性研究了自由漂浮空间机械臂的三维姿态运动控制问题。首先导出带空间机械臂的航天器三维姿态运动数学模型，并将系统的控制问题转化为无漂移系统的非完整运动规划问题。在运动规划中，根据最优控制原理和优化理论，提出基于遗传算法的最优运动规划数值算法。通过数值仿真，表明该方法对空间机械臂及航天器三维姿态运动的非完整运动规划是有效的。     

基于实数编码的改进遗传算法研究

针对遗传算法运算速度低、容易陷入局部最优值、早熟收敛等缺点,提出了基于实数编码的遗传算法的改进算法,对基于实数编码的遗传算法的选择、交叉、变异算子以及操作方法进行了改进,采用最佳保留选择策略、多算子交叉和变异,并且采用自适应变焦变异,改进后的交叉与变异操作,使算法始终保持了种群的多样性,同时也提高了寻优最终结果的精确性。实验表明基于实数编码的改进遗传算法(R IGA)有效的改善了遗传算法的缺点。     

无界域上不定二次规划的一个算法

本文给出了无界域上不定二次规划一个算法。该算法将不定规划转化为一系列凸二次规划，并证明了算法的收敛性。     

一个基于WINDOWS环境的网络连接服务

该文介绍了在校园网环境及WINDOWS平台，采用TCP/IP协议设计并开发PING网络连接服务和客户机/服务器功能的VC^ 程序。     

国家财政主要支出项目与各项税收收入的最优化--回归分析在最优化中的应用研究实例

利用回归分析方法得到国家财政部分主要支出项目，部分税收收入与国内生产总值构成的回归方程，由此构成线性规划问题的约束方程组。再用M单纯形法求最优解。     

根据遗传算法的拉深模试冲缺陷智能诊断

总结了拉深模试冲时的缺陷及原因，建立原因表，应用遗传算法技术对拉深模试冲时的缺陷进行智能诊断，探讨了提高拉深模试冲时的缺陷诊断准确率的优化方法，描述了遗传算法的诊断过程。     

TP86A单板机连接ADA-1612转换板的接口

ADA-1612转换板是12位的模入模出板。它可以直接用于具有S-100总线接口的单板机系统。本文简单分析了ADA-1612转换板的结构原理,详细内容参见文[2]。TP86A采用INTEL 8086CPU的十六位单板机。本文为它设计了连接ADA-1612转换板的S-100总线接口。并介绍了该接口电路和使用该接口的编程方法。现在,该接口已经实际应用到几种TP86A组成的系统。     

双层多目标规划若干问题的研究

研究了下层决策者无关联的双层多目标规划问题，在不同偏好意义下，给出了各自解的定义，讨论了线性双层多目标规划问题。