图书介绍

逻辑学及其应用研究 第四届全国逻辑系统、智能科学与信息科学学术会议论文集2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

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

PDF下载


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

下载说明

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

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

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载  详情点击-查看共享计划
建议使用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 bing145

热门推荐