摘要：讨论了回溯算法的形式模型 ,提出了刻画回溯的一些数学概念 ,以隐式搜索为背景提出了状态空间概念 ,给出了分别以邻接方阵和邻接表形式表示的有向图所对应的状态空间 ,从而说明显式搜索是隐式搜索的特例 ,通过展开空间概念揭示了问题求解的不同要求所对应的不同数据结构 ,提出了通用回溯算法 ,并以 N皇后问题、稳定婚姻问题、点着色问题、子集和数问题、跳马问题、最长路径问题和强连通分支问题等多种算法设计问题为例讨论了通用回溯算法的应用 .该文结果有助于扩大回溯算法的使用范围 ,提高回溯算法实现的正确性和效率 .

摘要：本文通过分析ＰＡＳＣＡＬ语言作为算法设计语言而存在的主要缺陷，借鉴Ｄ．Ｗａｔｔ的面之设计原则，而定义了一个小型的算法语言Ｌ。文中详细给出了它的具体文法、抽象文法和静态语义。通过Ｌ的设计和描述，对算法语言设计与规范的有关问题进行了有益的探索。

摘要：设计和研制了红外接近党传感器以探测物体的存在；设计和研制了机器人触须探测物体的触觉和模拟机械爪抓取物体的握力觉传感器。单片机系统控制传感器数据采集和初步判断，为机器人控制和驱动提供感觉信息。

摘要：本文提出一种基于轨迹的指称语义框架，该框架结合了操作语义和代数语义的特征，避免使用专门的数学理论，将静态语义和动态语义结合在一起统一处理．本文及其续篇将通过一个中等规模的过程式模型语言来说明上述语义框架更适合描述真正的程序设计语言．本文首先引入轨迹概念和模型语言，然后讨论该语言的各句法成分所对应的语义论域。

摘要：工程勘察设计企业信息化现状分析目前工程勘察设计行业各企业大部分已完成企业网络系统的建设,网络系统在生产设计中起了很大的作用.然而,由于企业在信息化建设方面人员和资金上投入不够,在思想上缺乏重视,以致于企业网没有发挥更大的作用,只能是在低水平上的重复应用,尤其是生产设计信息化管理还处于传统方式,网络最核心的应用--数据库、协同工作还基本处于停滞阶段.同时,大量的标准图及其他一些常用的图还处于分散管理的状态,设计人员在应用这些信息时比较盲目、效率低下,为此造成了大量的重复劳动.

摘要：为提高软件自动化系统的算法自动设计能力,本文提出了将解释学习方法用于学习算法设计策略的思想。文中介绍了算法分解结构的学习模型,以及反映学习效用的问题求解机制,并通过例子说明了经过学习,系统能够解决原来不能解决的问题。

摘要：ＨＯＯＤ是由欧洲ＥＳＡ公司开发的一种面向对象软件结构设计方法，它使用图形、结构化英语和Ａｄａ伪码来描述系统的设计规约。本文首先概述了ＨＯＯＤ方法的基本概念和对它进行的改进，然后提出了一种集成ＨＯＯＤ和形式化技术的方法，借助该方法可以获得更为严格的软件设计规约，最后简要介绍了其机器支撑系统。

摘要：本文首先对事务构件的概念进行了讨论 ,然后设计了一种事务构件模型 ,提出了一种基于此模型的 ERP系统集成方法 ,这种方法支持跨平台、跨语言的软构件的集成 。

摘要：介绍潜艇生命力决策辅助系统结构 ,应用专家系统理论对潜艇的耐压壳体及管系发生渗漏及其在危险情况下的决策进行建模 ,各方案具有连续、实时判断潜艇受损后的生命力以及进行生命力决策的功能。

摘要：正在进行中的海军转型的设计师们——海岸警备队司令(现任国土安全部副部长)詹姆士·罗依，国防部长拉姆斯菲尔德，总统乔治·布什，以及海军作战部长维恩·克拉克上将能够从一个世纪前英国进行的一次类似的改革中学到彳艮多东西。英国第一任海务大臣约翰·费希尔上将首先发起了那次改革，他的合作者是英国第一任海军大臣温斯顿·邱吉尔。