一个改进的单抓钩周期性排序模型及其在自动化学处理线中的应用

计算机控制的抓钩广泛用于自动化学处理线的工件的运送。抓钩的排序直接影响系统的生产率，抓钩排序的目标是对运送进行排序以极大化生产率。当某工序处理时间非常长时，该工序成为瓶颈。为了去除该瓶颈，系统可以为该工序设计多个处理槽，这称为“多重处理槽”问题。本文提出一个改进的混合整数规划模型以求解有“多重处理槽”的单抓钩周期性排序问题的最优解。实例表明所提出的方法是有效的。     

动态规划模型在生产存贮中的应用

利用动态规划模型研究了生产管理中生产存贮问题的数学模型，给出了动态规划的最优性原理和动态规划基本方程，并给出了该数学模型求解的一个实例。     

32位实时操作系统FCCRTOS的设计与实现

介绍了自行设计的，不依赖其他软件支持而存在，可直接运行在Ｉｎｔｅｌ８０３７６、８０３８６、８０４８６和８０５８６处理器的计算机上，便于移植的一个完全独立的实时操作系统—ＦＣＣＲＴＯＳ。其特点为：３２位寻址、内存保护模式的段式管理、多任务并发处理、实时事件线程管理、支持多总线通信协议、模块化设计及目标程序完全ＲＯＭ化等。     

ELNF演算的解释技术

ＥＬＮＦ演算是我们在ＬＮＦ演算的基础上扩充逻辑程序设计能力而得到的一种函数／逻辑演算系统，它构成了作者设计的函数／逻辑语言ＲＦＵＮＬＯＧ的基础．本文介绍ＥＬＮＦ演算的解释实现技术，包括数据结构、系统结构以及各个模块的设计思想．最后给出了在此解释系统下，几个典型程序的运行时间．     

余热利用系统多目标优化模型及应用

以炭黑生产中的余热利用系统为背景建立了余热利用系统多目标优化规划数学模型;阐述了模型的求解方法;给出了实例分析。     

解线性及二次型规划问题增广的神经网络

本文提出了一个解线性及二次型规划问题的神经网络模型，证明了该网络是全局稳定于平衡点，而平衡点就是线性及二次型规划问题的解，该网络的优点是能够实时获得问题的精确解，且可以同时获得带等式不式约束的对偶问题解，该网络易于电路实现。     

多功能滚齿机的数字控制系统

本文叙述了以ＳＴＤＰＣ／ＸＴ（或ＰＣ／ＡＴ）机为主要核心构成的滚齿机数字控制系统的结构，软件设计和特点，系统采用混合语言编程，极大地提高了软件设计的灵活性与快速性，也分析了ＣＮＣ系统的加工过程，提出了加工中的软件预处理控制方法，并给出了轴伺服控制的并行算法分析与实现。     

铰链四杆机构运动位置分析简法计算的实现

本文是在文献［１］理论基础上，分别用ＱＢａｓｉｃ和Ｂａｓｉｃａ语言编写了计算技链四杆机构位置的主程序和子程序，然后用１００多组数据输入进行求解．计算机屏幕同时以图形显示出来，结果证明简法计算的求解铰链四杆机构的位置完全能够实现．另外文中还对有关问题进行了讨论．     

Constraint Databases: Promising Technology or Just Intellectual Exercise?

This paper describes the state of Constraint Databases (CDBs), a young discipline at the intersection of Database Management, Constraint Programming, Computational Geometry and Operations Research. As in Constraint Logic Programming, constraints in CDBs are a first class data type, and can play many modeling roles including spatial and temporal behavior, complex design requirements, and partial and incomplete information, for which existing databases have proven inadequate. We motivate the importance of CDBs, outline the work in the area that has been done, the current trends, and future directions and challenges. We briefly discuss (1) constraint modeling, canonical forms and algebras, (2) data models and query languages, (3) indexing and approximation-based filtering, (4) constraint algebra algorithms and global optimization, and (5) systems and case studies. We argue that CDBs are a promising technology that will impact many important application realms, and furthermore have the potential to be integrated into future database systems, and operations research and constraint programming tools.