本文介绍了一个Windows环境下的CAD系统以及在Windows环境下使用该系统的方法。构造该系统,使用AutoCAD9.30版,外挂矢量汉字,对AutoCAD进行了二次开发,建立了大量用户图块;用AutoLisp语言,编制了实用功能程序。利用窗口环境下多次执行AutoCAD的方法,实现了同时绘制编辑多张图纸,通过热键实现各图纸之间的快速切换;利用AutoCAD强大的图块功能,实现了图纸间的信息交换

根据带钢热连轧机精轧机组主速度链及活套控制模型,用C语言软件实现了主干速度设定和活套控制功能。结合实际对象模型,进行了仿真实验并给出结果

给出了一个多Agent松散耦合的网格服务发现框架.在该框架中把Agent分为三类:服务Agent、需求Agent和服务发现Agent.提出以模糊Petri网作为服务描述语言的规范,用以发布或请求服务,用可能性变迁表示一个服务或一个需求,输入库所代表在提供(或请求)服务前需要成立的前提条件,输出库所表示提供(或获得)服务后成立的条件,用可能性与必然性来量化一个服务Agent能对一个请求提供相关服务的信心程度.最后基于本体论给出了一个支持部分匹配的服务匹配算法,并用一个车辆维修服务系统的例子进行了说明

基于专家系统的基本理论,根据胶带输送机设计、选型的特点和现场的实际条件,开发了胶带输送机设计、选型专家系统.该系统采用WisualC++语言编程,模块结构,图形化用户界面等

Kim B.Bruce于1978年提出了三价逻辑L(Q)的逻辑公理系统。H.J.Keisler在1971年发表了无穷逻辑中的模型论一书,提出了无穷逻辑的公理系统,文中结合上述两种逻辑系统的思想,应用了无穷逻辑中的模型论一书中介绍的和谐性质的方法,建立了无穷逻辑中的二阶语言Lw1w(Q)的公理系统及模型理论。这部分主要是对Lw1w(Q)中的省略型定理及素模型定理的证明

将多Agent理论和技术应用于联合灭火救援作战的研究，构建了多Agent联合灭火救援作战模型框架，实现了联合灭火救援组织指挥相互之间的信息交换，显示了互相影响的行动过程.对系统中指挥Agent、作战Agent和环境Agent进行描述，定义Agent之间以及Agent与环境之间的交互规则，来描述系统的相互关系，给出了多Agent的协同算法，并构建了联合灭火救援仿真模型.最后用多Agent软件工具集和通用软件平台（SWARM），采用JAVA语言编程，进行了模拟仿真，对文中构造的模型及相应机制进行了功能验证

1、掌握 Turbo C 与 Visual C++ 6.0 的基本操作方法，学会独立使用该系统。 2、掌握在该系统上如何编辑、编译、运行一个 C 程序。 3、通过运行 C 程序，初步了解 C 程序的特点

•所谓本义就是一个词本来的意义。一般来说，一个词往往不只一个意义，当它有两个或两个以上的意义时，其中应该有一个是本义，其他的是引申义。•本义是一个多义词的词义系统的源头，是词义引申的起点

第1节 引言 第2节 命题逻辑的语言 第3节 真值指派 第4节 唯一可读性 第5节 其它联词 第6节 命题逻辑的一个推演系统 第7节 命题逻辑的自然推演 第8节 命题逻辑的可靠性和完全性定理 第9节 模态逻辑简介

◼ 3.1 SQL的体系结构 ◼ 3.2 SQL的数据定义 ◼ 3.3 SQL的数据查询 ◼ 3.4 数据更新 ◼ 3.5 视图的定义和对视图的操作 ◼ 3.6 嵌入式SQL