基于支持向量规则的运动控制器自然语言构造方法

本文介绍了一种基于支持向量规则的运动控制器自然语言构造方法，提出利用 支持向量机理论，对通过自然语言构造的模糊控制规则进行支持向量规则抽取，从而获得一 个在指定控制精度下的支持向量规则运动控制器．这种方法可以在给定任务精度下抽取真正 有效的控制规则完成控制任务，使控制规则数及控制器形式得到简化，为未来将基于语言构 造的控制器推向实用奠定了基础．所提控制方法在一个轮式移动机器人系统上进行了语言训 练实验．     

协议形式化开发环境的规范语言

LOTOS（languageoftemporalorderingspecification）是一种基于进程代数CCS的协议规范语言，面向协议验证，但它不能描述协议的某些性质．本文提出了一种LOTOS的扩充语言ELOTOS（extendedLOTOS），它在LOTOS的基础上引入了异步通讯机制、时间描述、事件发生的随机性描述．     

数据表处理生成器的研究

本文用数学方法解决了当前软件研究ＭＩＳ的难题：数据表处理程序的自动生成问题。文中用数学方法抽象地研究了数据表处理的过程，得出了数据表处理的机械化算法，从而实现了数据表处理生成器。     

微结构描述语言CHMDL的构造与设计

本文介绍微结构描述语言CHMDL的构造与设计.该语言对可微程序设计体系结构的计算机微结构的描述具有较大的选择性与灵活性.特别,它把对微结构的描述程序转换成为一种称为“表状微结构”的表格驱动式的中间代码形式,为其支持完整的可重定向固件开发工具,提供了统一的微结构描述形式.另外,本文对MDL的构造,编译结果及评价标准等作了讨论.     

维语句法分析器中的词义排歧问题的研究

本文论述了现代维语短语自动划分标注的基本处理算法、排歧处理、词义排歧中的搭配、现代维语词义排歧算法的语言学依据、现代维语词义排歧算法的实现。通过典型的例子,说明了分析器中存在的问题可以用短语划分标注和词义排歧相结合的方法并扩展到句义排歧方法来解决。     

基于微机任意波形产生器系统误差的分析计算

本文简述了基于微机的任意波形产生器的工作原理，分析了任意波形产生器产生频率误差、波形误差和波形失真的原因，并讨论了各种误差的计算方法，提出了减少误差和波形失真的技术措施。     

一个随机选取评委系统的设计与实现

本文介绍了一种随机选取评委的应用系统的设计思想和具体实现,该系统的特点是能根据给定的条件随机抽取专家组成评审委员会,从而避免评委选取中的人为因素,体现选取的公正性。     

支持并发控制的多智能体系统构造方法

基于桌面共享或远程登录实现的协同过程,容易出现并发冲突问题,这是同步协同设计走向实用化面临的瓶颈问题。本文提出了面向控制权限的多智能体系统构造方法,通过控制客户端与服务器之间的行为解析和发送,从而消解并发冲突。本文详细阐明了支持并发控制的多智能体系统的构造原理与实现方法。     

柴油发电机智能监控系统中控制台子系统的设计

介绍了一种柴油发电机智能监控系统中的控制台子系统的设计与实现,在设计实现的过程中采用了面向对象的设计方法,使得程序能够模块化,流程清晰,系统功能实现得以简化.该控制台子系统在实际运行中运行良好,系统功能基本实现.     

面向对象数据库的C宿主语言接口实现技术

面向对象的数据库管理系统（ＯＯＤＢＭＳ）通常都具备自身的查询语言，它以交互的方式供用户进行数据定义与数据操纵．除此之外，它还必须为程序员提供可在Ｃ、ＦＯＲＴＲＡＮ、ＰＡＳＣＡＬ等高级语言里嵌入使用查询语言的宿主语言接口．本文首先介绍这样一种Ｃ宿主语言接口Ｃ—ＯＳＤＬ，而后重点讨论它的实现技术，尤其是将Ｃ—ＯＳＤＬ命令转换成ＳＱＬ语句的翻译算法以及使用ＳＱＬ实现支持导航式查找的指针层次管理方法．文中讨论的Ｃ—ＯＳＤＬ实现技术以及最初的接口设计是面向对象的数据库技术的深入探讨．     

上下文无关语言分析树的一种表示形式

介绍了上下文无关语言（ＣＦＬ）的句子的一种分析树表示,它适用用于一类与以往不同的ＣＦＬ的应用,即对分析树空间效率要求较高且不需标记分析树的应用,典型的就是把ＣＦＬ的句子用作算法加工对象,这种表示比传统分析树不仅空间较小,而且进行结构匹配的快速快,还介绍了这种分析树表示的实现技术。     

A NEW APPROACH FOR THE INCREMENTAL DEVELOPMENT OF RETRIEVAL FUNCTIONS FOR CBR

We present a new approach to the effective development of complex retrieval components for case-based reasoning systems (CBR). Our approach goes beyond the traditional CBR approach by allowing an incremental refinement of an existing retrieval knowledge base during routine use of the system. The refinement takes place through a direct expert-system interaction while the expert is accomplishing their given tasks. We lend ideas from ripple-down rules (RDR), a proven method for the very effective and efficient acquisition of classification knowledge during the routine use of a knowledge-based system (KBS).

In our approach the expert is only required to provide explanations of why, for a given problem, a certain case should be retrieved. Incrementally a complex retrieval knowledge base as a composition of many simple retrieval functions is developed. This approach is effective with respect to both the development of highly tailored and complex retrieval knowledge bases for CBR as well as providing an intuitive and feasible approach for the expert. The approach has been implemented in our CBR system MIKAS (Menu construction using an Incremental Knowledge Acquisition System) that allows to automatically construct a menu that is strongly tailored to the individual requirements and food preferences of a client.     

一个测试程序自动生成器的设计与实现

本文介绍了一个用于编译程序测试的程序自动生成器,该生成器以编译程序对象语言的前后文无关文法作为输入,根据该语言的具体特点,对语言的数据对象采用了一种表结构的描述方式,并通过对表的操作,有效的解决了语言的前后文相关问题,该生成器不但可按语言文法的描述自动生成覆盖该语言各种语法现象的程序,而且还可按用户要求生成具有某种语法现象的程序,另外,该生成器在生成策略、生成算法及推导机制等方面也有自己显著的特色。     

AN UNSUPERVISED INCREMENTAL LEARNING ALGORITHM FOR DOMAIN-SPECIFIC LANGUAGE DEVELOPMENT

While grammar inference (or grammar induction) has found extensive application in the areas of robotics, computational biology, and speech recognition, its application to problems in programming language and software engineering domains has been limited. We have found a new application area for grammar inference which intends to make domain-specific language development easier for domain experts not well versed in programming language design, and finds a second application in construction of renovation tools for legacy software systems. As a continuation of our previous efforts to infer context-free grammars (CFGs) for domain-specific languages which previously involved a genetic-programming based CFG inference system, we discuss extensions to the inference capabilities of GenInc, an incremental learning algorithm for inferring CFGs. We show that these extensions enable GenInc to infer more comprehensive grammars, discuss the results of applying GenInc to various domain-specific languages and evaluate the results using a comprehensive suite of grammar metrics.     

虚拟现实建模语言与分子图形制作系统MGMS的设计

介绍了计算机ＭＧＭＳ分子图形制作系统的功能。该系统采用三维碎片子结构构造法生成分子模型，并通过子结构匹配实现结构的快速感知。同时本文也简单介绍了实现ＭＧＭＳ的计算机语言－－虚拟现实建模语言。     

缆控水下机器人两型机械手的研制

本文介绍了我国自行研制的水下６００ｍ作业型缆控水下机器人的两型水下机械的主要技术性能及特点，笔者针对水下机器人的工作环境其工作特点，重点阐述了两型水机械手的设计，研制中的若干技术问题，并对水下机械手的设计观点和方法作了一些新的探索和尝试。     

VHDL语言分析器的设计与实现

ＶＨＤＬ高级综合系统是逻辑设计领域的热点，作为其前端的ＶＨＤＬ语言分析器是综合系统中其它各子系统（如综合、模拟等）的支撑，它生成ＶＨＤＬ源描述的中间格式并将此结果存入数据库供其它子系统引用。本文重点介绍基于ＶＨＤＬ ＩＥＥＥ１０７６－１９８７全集的ＶＨＤＬ语言分析器的设计与实现技术，并给出了有关结果，该分析器通过了许多实例。     

TOWARD A THEORY OF COMPILATION FOR NATURAL LANGUAGE GENERATION

This article proposes a framework in which knowledge compilation can be exploited in a principled manner for the task of generating natural language. We have constructed an utterance generator for one side of a realistic dialogue that exploits compiled knowledge of, for instance, the effects of discourse pragmatics on text plans, and the effects of register, style, and politeness on text realization. The motivation for this work is the significant impact that compiled knowledge has on the speed of language generation.