点击切换搜索课件文库搜索结果(850)
文档格式:PDF 文档大小:352.05KB 文档页数:4
Kim B.Bruce于1978年提出了三价逻辑L(Q)的逻辑公理系统。H.J.Keisler在1971年发表了无穷逻辑中的模型论一书,提出了无穷逻辑的公理系统,文中结合上述两种逻辑系统的思想,应用了无穷逻辑中的模型论一书中介绍的和谐性质的方法,建立了无穷逻辑中的二阶语言Lw1w(Q)的公理系统及模型理论。这部分主要是对Lw1w(Q)中的省略型定理及素模型定理的证明
文档格式:PDF 文档大小:1.92MB 文档页数:9
将多Agent理论和技术应用于联合灭火救援作战的研究,构建了多Agent联合灭火救援作战模型框架,实现了联合灭火救援组织指挥相互之间的信息交换,显示了互相影响的行动过程.对系统中指挥Agent、作战Agent和环境Agent进行描述,定义Agent之间以及Agent与环境之间的交互规则,来描述系统的相互关系,给出了多Agent的协同算法,并构建了联合灭火救援仿真模型.最后用多Agent软件工具集和通用软件平台(SWARM),采用JAVA语言编程,进行了模拟仿真,对文中构造的模型及相应机制进行了功能验证
文档格式:DOC 文档大小:622.5KB 文档页数:23
1、掌握 Turbo C 与 Visual C++ 6.0 的基本操作方法,学会独立使用该系统。 2、掌握在该系统上如何编辑、编译、运行一个 C 程序。 3、通过运行 C 程序,初步了解 C 程序的特点
文档格式:PPTX 文档大小:94.21KB 文档页数:14
•所谓本义就是一个词本来的意义。一般来说,一个词往往不只一个意义,当它有两个或两个以上的意义时,其中应该有一个是本义,其他的是引申义。•本义是一个多义词的词义系统的源头,是词义引申的起点
文档格式:PDF 文档大小:438.21KB 文档页数:26
第1节 引言 第2节 命题逻辑的语言 第3节 真值指派 第4节 唯一可读性 第5节 其它联词 第6节 命题逻辑的一个推演系统 第7节 命题逻辑的自然推演 第8节 命题逻辑的可靠性和完全性定理 第9节 模态逻辑简介
文档格式:PPT 文档大小:361KB 文档页数:101
◼ 3.1 SQL的体系结构 ◼ 3.2 SQL的数据定义 ◼ 3.3 SQL的数据查询 ◼ 3.4 数据更新 ◼ 3.5 视图的定义和对视图的操作 ◼ 3.6 嵌入式SQL
文档格式:PPT 文档大小:35.5KB 文档页数:7
一. 人工智能、专家系统、机器学习 1. 人工智能 分四个阶段:第一阶段:智力难题的求解(修道士过河) 第二阶段:自然语言理解,景物分析等 第三阶段:专家系统(推理) 人工智能走向实用
文档格式:DOC 文档大小:47KB 文档页数:6
一、演讲的定义: 二、演讲的作用: 三、演讲活动的基本形式: 四、演讲的基本要素: 五、演讲的基本特征: 六、演讲的系统组合: 七、演讲的分类: 八、如何进行成功的演讲: 九、演讲者应具备的基本素质: 十、成功演讲的基本标准 十一、演讲学
文档格式:PPT 文档大小:2.93MB 文档页数:30
一、在DOS下用汇编语言开发程序的工具是Masm和Tasm。Masm常用的有Masm611和Masm614两个版本,Tasm是Borland公司提供的工具。 二、用Masm.exe来将源程序生成目标文件。ML.exe既可以产生目标文件,也可以产生可执行文件。调试可执行文件用Debug.exe或CV.exe
文档格式:PPT 文档大小:3.5MB 文档页数:99
1.高性能计算与高性能计算机系统 2.计算机体系结构的分类 3.构筑高性能计算机的3种模式 4.高性能计算机发展现状 5.高性能计算机的技术走向
首页上页6061626364656667下页末页
热门关键字
搜索一下,找到相关课件或文库资源 850 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有