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

Ⅰ.逻辑系统及其应用 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