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