图书介绍

逻辑学及其应用研究 第四届全国逻辑系统、智能科学与信息科学学术会议论文集pdf电子书版本下载

逻辑学及其应用研究  第四届全国逻辑系统、智能科学与信息科学学术会议论文集
  • 汪学明主编 著
  • 出版社: 贵阳:贵州民族出版社
  • ISBN:9787541217470
  • 出版时间:2009
  • 标注页数:150页
  • 文件大小:15MB
  • 文件页数:157页
  • 主题词:逻辑-文集;人工智能-文集;信息技术-文集

PDF下载


点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快] 温馨提示:(请使用BT下载软件FDM进行下载)软件下载地址页 直链下载[便捷但速度慢]   [在线试读本书]   [在线获取解压码]

下载说明

逻辑学及其应用研究 第四届全国逻辑系统、智能科学与信息科学学术会议论文集PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台)。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用!后期资源热门了。安装了迅雷也可以迅雷进行下载!

(文件页数 要大于 标注页数,上中下等多册电子书除外)

注意:本站所有压缩包均有解压码: 点击下载压缩包解压工具

图书目录

Ⅰ.逻辑系统及其应用 1

论代数、逻辑和智能系统之间的对应关系&孙兆豪 李昂 刘坤起 解建军 1

基于哲学本体论的真值演算系统——实现计算机理解自然语言的逻辑方法&万继华 7

内涵逻辑的对象理论建构&聂文龙 14

基于ALC的扩展描述逻辑ALC+&文 斌 甘健侯 夏幼明 徐天任 20

命题逻辑的文氏图方法&陈勇明 王璐 25

命名实体识别与提取分析&董俊林 聂伟 杨君英 张春炉 30

论思维语言假说&宋 荣 高新民 34

逻辑代数的集合图方法的注记&陈勇明 谢海英 40

模糊逻辑对地产商土地选址KPI因素的分析&李成杰 42

Ⅱ.智能科学及其应用 46

基于蚁群算法的移动机器人路径规划技术的研究&刘杰 闫清东 46

基于训练序列的OFDM同步算法的改进&肖俊 毕光国 张在琛 51

智能组卷的扑克发牌算法研究&杨滨 李东 罗兵 56

基于字段匹配的CRM数据挖掘算法与应用&张乃岳 张力 张学燕 61

系统认知观探索&张晓锐 李敏勇 刘忠 张萌 65

OWL -S服务的Petri网自动建模方法研究&王夙娟 马炳先 曲守宁 70

轮式移动机器人路径跟踪问题的一种简化算法&沈杰 方潇 刘建平 77

某新型指控系统效能综合评估的模糊理想点法&张永久 成跃 李立军 陶灵娟 84

不精确数据的相似度计算&吴志雄 89

对称矩阵非齐次特征值的敏感性分析&王丽娟 谷根代 92

Ⅲ.信息科学及其应用 97

基于IEEE802.15.4a标准的超宽带RAKE接收机性能研究&吕云 张在琛 毕光国 97

基于OpenCV的运动目标检测算法的实现&王强 刘建丽 102

数据库技术在自动测试系统中的应用&贺雅楠 杨东凯 108

交错时序认知逻辑在安全协议中的应用&冯荷飞 曹子宁 115

基于SVO逻辑的电子商务协议非否认性形式化分析&崔 楠 汪学明 119

一种改进的含离线可信第三方多方不可否认协议&王运敏 汪学明 125

IP网络中智能网呼叫模型支持多媒体服务的研究&雷 鸣 汪学明 131

关于木马攻击及防范技术的研究&任瑞芳 汪学明 136

Ⅳ.其他 140

谓词逻辑中有关函数及其部分性质的形式描述&陈其楼 潘正华 140

Generation of superpositions of arbitrary multi atom dicke states entanglement via adiabatic pas-sage&Shu Jing,Liu Zhong, Xie Ren hong, Shu Feng,and Han Yu bing 145

精品推荐