- 张永刚,孙吉贵
首先介绍了s-语义方法的基本思想,然后采用这种方法讨论了约束逻辑程序一个重要的可观察性特征——多重回答约束,并给出相应的语义,使得从语义角度反映了约束逻辑程序的并行特征,而且引入了一个新的关于程序等价的定义,从更严格的角度分析了程序的等价,加深了对程序的理解,有助于程序员编写高效和简洁的程序,突出了约束逻辑程序设计系统作为程序设计语言的特征.
2003年01期 1-5页 [查看摘要][在线阅读][下载 95k] - 张云涛,龚玲,王永成
讨论了面向自然语言提问的检索技术,分析了提问句概念语义块的抽取、概念块的权重分析、概念的组配等关键技术.
2003年01期 6-9页 [查看摘要][在线阅读][下载 48k] - 章万锋,吴朝晖,杨莹春,马志友
线性预测系数(LPC)与mel倒谱系数(MFCC)作为说话人识别的两种常用特征,取得了较高的识别率.但这两种特征都存在维数限制的问题,即当特征维数增加到一定程度时,识别率不再提高.该现象可以从机理方面解释,实验数据也表明了这一现象.本文试图用特征组合方法克服这种限制,实验表明,在无噪和噪声情况下,特征组合都表现出其有效性.
2003年01期 10-15页 [查看摘要][在线阅读][下载 210k] - 张仰森,徐波,曹元大
就自然语言处理中的各种语言模型进行了深入的分析、比较,就各模型的本质及它们之间的关系进行了探讨,并就语言模型的建立方法及解决建立过程中所遇问题的方法进行了讨论.
2003年01期 16-24页 [查看摘要][在线阅读][下载 173k] - 周航,阮秋琦
本文通过对手形的分析,首先利用手形表观特征进行手形的定位和初步特征提取.接着结合手部解剖和运动学特征,提出预测模型对手形进行深层次的特征提取,利用向量相干映射进行轨迹跟踪,从而通过轮廓的轨迹识别语义,其中的算法保证了处理过程中的鲁棒性.
2003年01期 25-30页 [查看摘要][在线阅读][下载 109k] - 王树西,刘群,白硕
在分析专家系统现有理论技术的基础上,采用自然语言问答的人机交互方式,搭建了《人物关系问答系统》,对专家系统现存的问题进行了有益的探索.测试结果表明,该系统知识完备,表示方法及组织方法适当,求解问题质量高,人机交互便利,效率高,可维护性好,解释能力强.
2003年01期 31-36页 [查看摘要][在线阅读][下载 90k] - 李静,陈兆乾,陈世福
在多Agent系统中,合作机制是成功的关键.如何能够达到令人满意的多Agent合作是目前MAS研究的关键.本文结合仿真组机器人世界杯足球赛领域,在团队行为规划和Teamwork理论基础上提出一种新的合作框架.本模型不完全依赖通讯.
2003年01期 37-40页 [查看摘要][在线阅读][下载 81k] - 王继成
,黄源
,武港山
,张福炎
神经网络的输入属性选择一直是一个比较困难的问题.由于神经网络反复训练的时间复杂度,Wrap-per方法是不适用的,而单纯使用Filter方法也难以获得很好的分类精度.文中提出了一种两阶段的神经网络属性选择方法,以综合Filter和Wrapper两类方法的优势.该方法首先采用基于不一致率的遗传算法GFSIC来删除属性集合中的无关属性,然后采用基于敏感性度量的属性选择算法SBFCV来删除冗余和无用的属性.研究和实验结果表明,该方法可以有效地删除原始数据中的无关和冗余属性,增强神经网络的泛化能力.
2003年01期 41-45页 [查看摘要][在线阅读][下载 112k] - 张荣梅,周义,涂序彦
在人工智能的理论、方法基础上,根据交通事故处理领域的特点,提出了交通事故处理智能决策支持系统的开发方案.介绍了系统的设计目标、功能体系、以及系统开发的关键技术.该系统具有集成化、智能化、协调化的特点.
2003年01期 46-49页 [查看摘要][在线阅读][下载 54k] - 蒋伟进
以人类专家形象思维故障诊断规律及特性的研究作为切入点,分析了形象思维故障诊断的模糊性,提出了基于形象思维的模糊诊断模型和方法,为充分挖掘和利用人类专家的经验知识,提高故障诊断的智能化水平,提供了一种可行的方法和途径.
2003年01期 50-54页 [查看摘要][在线阅读][下载 87k] - 龚涛,蔡自兴
本文从信息论角度研究智能系统的免疫机制,探讨艾真体和多艾真体的鲁棒性与免疫性的联系,并给出其形式化表示.最后提出了实现免疫机制的算法及其鲁棒性分析.
2003年01期 55-57页 [查看摘要][在线阅读][下载 46k] - 热合木江,古丽·吐尔逊,艾尼瓦尔·买买提,马玉书
岩性识别在油气勘探开发中占据重要的位置.经过将高木-关野模糊逻辑系统和神经网络BP算法相互集成,提出了一种新兴的模糊神经网络模型——"加-乘"模糊神经网络模型,并通过实际应用得到了很好的效果.与单纯的神经网络或模糊逻辑系统相比,所提出的模糊神经系统既不是一个"黑盒"模型,又不是"粗糙",它同时具备了神经网络和模糊逻辑的优点,所以具有广泛的应用潜力.
2003年01期 58-61页 [查看摘要][在线阅读][下载 68k] - 魏志成,杨联祥,周激流
采用改进的串行遗传算法以各种变尺度搜索解空间,可以改变神经元输入和输出的映射关系,进而改变整个网络的性能,在高维解空间中自动寻找合适的解,并且验证了Simplex的有效性.
2003年01期 62-65页 [查看摘要][在线阅读][下载 71k] - 吕刚,吴朝晖,杨莹春
主要研究支持向量机方法与聚类算法的配合问题.支持向量机的训练代价太大,如果直接把成千上万个特征向量直接用作训练,运算时间难以忍受.采取的策略是用聚类算法获得较少的聚类中心,然后将聚类中心作为支持向量机的训练样本.事实上,这样的组合方式有待改进.每一聚类的样本数有多有少,所以每一个聚类中心所体现出来的权重不一样.反映在支持向量机的算法中,改进思路为:在支持向量机的训练中,除了原有点以外,加入人工样本点,人工样本点的位置就是这些原有点之一,各个位置的数量与聚类大小成比例.
2003年01期 66-69页 [查看摘要][在线阅读][下载 74k] - 唐云廷
演绎能否得出新知?这是逻辑史上长期未获得解决的问题.并且认为新知智能通过归纳和类比获得,剖析了人们对演绎推理的误解,用事实说明演绎推理可以得到新知.
2003年01期 70-72页 [查看摘要][在线阅读][下载 36k] - 曾文,黄玉基
从基于案例推理技术的理论出发,采用物元的知识表示方法,定义了物元可拓与或网.结合物元表示法,提出一种更为通用的、有效的设计案例表示形式,即案例的四级层次表示方法,并结合刑法定罪量刑系统设计的具体特点,给出刑法定罪量刑系统案例的检索与匹配算法.
2003年01期 73-78页 [查看摘要][在线阅读][下载 102k] - 林海,孙吉贵
基于模型的诊断研究的主要问题是:在已知模型的前提下,对于产生非常行为的系统通过逻辑推理的方法找到那些能解释这种非正常行为的故障部件.但对于模型不完备的系统诊断问题的讨论很少,本文首次提出了借助其他系统进行辅助诊断的思想,在此基础上提出了一种针对模型不完备条件下的诊断方法,使得经典的诊断方法对于模型的依赖程度有所降低,从而解决了模型不完备给诊断问题所带来的困难.最后将这种方法和模型完备时的诊断效果做了比较.
2003年01期 79-82页 [查看摘要][在线阅读][下载 83k] - 姜远,陈兆乾,周志华
将神经网络集成与C4.5Rule方法相结合,提出了一种改进的决策规则生成算法.该算法以神经网络集成作为C4.5Rule学习的前端,利用其产生用于C4.5Rule学习的数据集,在此基础上进行决策规则的生成.在UCI机器学习数据库上的实验结果表明,该算法可以产生泛化能力较强的决策规则.
2003年01期 83-86页 [查看摘要][在线阅读][下载 68k] - 刘旭敏,黄厚宽
依据机器学习理论,提出一种手写汉字识别中的特征提取方法,以及将判定树归纳学习算法应用于学习识别过程,使得特征提取和识别同时进行.依据判定树有选择地提取特征进行匹配,可减少特征提取的数量,提高识别速度.
2003年01期 87-90页 [查看摘要][在线阅读][下载 59k] - 邓世伟
随着软件在关键性系统中的大量应用,为避免造成灾难性的后果,必须对软件进行测试.但是,当前使用的测试方法常常需要测试人员手工开发测试用例,非常费时费力.本文介绍了基于AI规划的测试用例生成方法,通过初始状态和目标状态描述软件的典型使用情况,以此作为输入,能够自动地生成测试用例.
2003年01期 91-94页 [查看摘要][在线阅读][下载 55k] - 胡桂武,郑启伦,彭宏,胡劲忪
在研究了各种求解CSP问题方法的基础上,提出了一个基于分层技术的混合算法,从理论上分析了该方法能以少的代价来缩小搜索空间,并且能求出全部解的特点.最后用一个经典问题——皇后问题作为例证,求解的结果表明该方法是有效的.
2003年01期 95-97页 [查看摘要][在线阅读][下载 45k] - 昝红英,俞士汶
介绍与WordNet兼容的中文概念词典(ChineseConceptDictionary,CCD)的结构与构建方法,报告了北京大学计算语言学研究所CCD的研究与工程进展状况,并指出CCD在中文信息处理领域的应用前景.
2003年01期 98-103页 [查看摘要][在线阅读][下载 107k] - 张虹,邱玉辉
随着电子商务的快速发展,供应链中供求关系的形成也越来越困难,因而提出了一种形成较好供求关系的同步上升策略,给出了相应的概念和理论,并对策略进行了相关证明,这种机制能够保证在供求关系形成过程中的个体和整个供应链系统的利益.
2003年01期 104-108页 [查看摘要][在线阅读][下载 110k] - 朱家亮,姚莉
本文提出了一种基于AUML的主体交互建模方法.该方法的主要思想是首先确定主体的通信模式,基于通信模式来选择合适的交互模板;然后针对特定的领域问题,把模板实例化;最后描述主体协作期间,主体内部交互的执行过程.
2003年01期 109-112页 [查看摘要][在线阅读][下载 65k] - 翟高寿,查建中
阻塞作为现代城市交通的频发现象,直接导致了交通路网中无为的停车次数及车辆延误时间的增多,不仅给人们的出行带来极大的不便和危害,同时也加重了环境污染及能源与资源的浪费,给社会带来巨大的经济损失.然而,迫于其形成原因及演变发展过程的复杂多样性,基于数学模型的传统城市交通控制方法在阻塞现象发生之后往往无所适从和难以有效处理,而在复杂问题分析与辅助决策方面具有明显优势的知识库系统技术则成为突破方向所在.利用改进的基于知识库系统的阻塞管理策略,在G2开发环境中建立了交通阻塞监视与诊断知识库系统的相关实验原型,并给出典型阻塞实例及其试验结果.
2003年01期 113-118页 [查看摘要][在线阅读][下载 192k] - 李子木,周兴铭,吴建平
随着数据仓库应用的不断扩展和深入,它的联机维护技术也显得越来越重要。提出一种版本控制集合刷新算法VSRA(Version-controlSetRefreshingAlgorithm),它采用增量维护和批处理思想,首先根据原始数据的变化集合,计算出实体化视图的刷新集合,然后据此集合刷新实体化视图,同时利用版本控制保持数据仓库与当前数据库状态的一致性,达到对数据仓库联机维护的目的。VSRA算法采用集合方式一次处理一批数据,不但减少了数据仓库与数据库之间的通信开销,而且提高了数据仓库的刷新效率.严格的版本控制使用户可以随时使用数据仓库进行联机分析处理(OLAP),并得到正确一致的结果.在文后,通过一个典型示例说明了算法的具体应用.
2003年01期 119-126页 [查看摘要][在线阅读][下载 154k] - 杨文川,黄涛
在对基于统计数据仓库的海量历史数据进行数据挖掘和知识发现过程中,产生出一大类带有时态特征的衍生信息,可以归结定义为衍生过程.本文介绍了在万峰统计数据仓库中进行数据挖掘和知识发现过程中的衍生现象,定义了衍生过程的数学模型,并对统计数据挖掘中衍生过程模型的建立提出了相关规则.
2003年01期 127-130页 [查看摘要][在线阅读][下载 68k] - 徐薇,黄厚宽,李昆仑
阐述了数据挖掘和数据仓库的有关技术,研究了数据挖掘和数据仓库的相互关系,说明了数据挖掘系统和数据仓库应统一分析和设计.
2003年01期 131-135页 [查看摘要][在线阅读][下载 57k] - 白石磊,毛雪岷,王儒敬,熊范纶
介绍了知识发现技术的总体研究情况,包括KDD的定义、若干基本概念、主要过程和步骤、KDD的分类和主要技术手段、发展趋势以及KDD的主要应用领域.同时也指出了数据挖掘研究的挑战性以及目前的局限性,结合一些新的研究成果,探讨了基于知识库的知识发现(KDK)和数据库-知识库协同知识发现(KDD&K)的理论框架.
2003年01期 136-141页 [查看摘要][在线阅读][下载 115k] - 景丽萍,黄厚宽,石洪波
文章使用TFIDF特征选择方法对数据源进行预处理,建立了空间矢量模型,为文本分类提供了便利的数据结构.通过分类结果测试该特征选择方法的精确度.根据实验结果分析TFIDF的优缺点,并提出改进的方法.
2003年01期 142-145页 [查看摘要][在线阅读][下载 72k] - 赵俊忠,黄厚宽
首先给出了计算机网络入侵检测系统的概念、功能和性能要求,回顾了其发展的过程.接着,从智能入侵检测技术这个角度,对数据挖掘、遗传算法和人工免疫等比较具有独特性且有完整系统实现的智能检测技术作了简要介绍和评述.最后,对入侵检测系统的未来发展方向进行了讨论.
2003年01期 146-150页 [查看摘要][在线阅读][下载 95k] - 宋睿华,马少平,张敏
在Web上存在一些长文档,它们包含着多个子主题,如果把这样的文档分成段,每个段的内容只围绕一个主题,将会提高检索质量.阐述了使用HTML结构中带有语义特征的标记来将多主题的文档分成段,在此基础上,对10G规模的Web数据实现了分段检索的方法,并通过使用TREC-9的查询做实验,比较了分段检索方法和传统的文档检索方法的检索质量.实验结果显示,在多主题文档集上分段检索方法比文档检索方法的11点平均准确率提高了大约9%,而在所有文档集上分段检索比文档检索提高了大约1.6%.分析发现,分段检索方法可以明显改善结果的排序,而且实际检索质量提高的幅度比现有的评价结果显示的更显著.
2003年01期 151-155页 [查看摘要][在线阅读][下载 101k] - 王治国,王利,刘广钟
本文基于Internet的环境,把Agent技术引入到并行计算中来,提出了基于Internet的Agent并行计算模型,解决了分布计算中的各计算主体之间的协作问题.提供了一种使用大量的分散的计算资源进行大规模的、复杂的计算的方法.
2003年01期 156-159页 [查看摘要][在线阅读][下载 71k] - 李晓,邱玉辉
数据预处理是采用基于Web的使用挖掘发现用户模式的第一步.由于Web用户数据来源的不同,不仅导致用户的识别困难,用户访问页面的完整性也难于得到保证,这给下一步的用户模式发现带来了问题.本文提出了一个基于MAS的数据预处理方法:在客户端采用Agent精确捕获用户浏览行为,构造用户访问图;在服务器端的Agent保存服务器生成页面,并根据客户端Agent返回的数据完整获得用户的访问内容,为有效实现用户模式发现提供了保证.
2003年01期 160-163页 [查看摘要][在线阅读][下载 74k] - 刘志忠,姚莉
计划本体是一种理论本体,它主要通过提供一个关于计划的概念集来说明一种表示计划的方法.文章主要介绍了基于本体计划表示的基本问题.文章首先说明了计划本体所必须满足的功能以及计划本体的基本结构,然后介绍了计划本体中的基本概念以及如何在应用中实现一个基于本体的计划表示.文章最后比较了基于本体的计划表示和ACT表示模型的区别与联系.
2003年01期 164-168页 [查看摘要][在线阅读][下载 80k] - 许超,石青云
设计了一种并行的高效MPEG-4零树编码电路.零树编码由于多位平面串行处理的性质,对实时实现是一个较大的挑战.通过巧妙的预处理电路设计,通过简捷的比特或操作和比特非与操作,保证各位平面的独立编码.对于N个位平面的并行处理,编码速度提高N倍量级.另外,编码电路中全新的递归处理的去除,大系数跳过处理的简化以及按优先级顺序竞争输出,使整体电路的资源使用相对于单个编码电路的增加少于N倍.而且,可以完全保证MPEG-4零树编码方案的性能.本文电路在FPGA集成电路平台上进行了验证.
2003年01期 169-172页 [查看摘要][在线阅读][下载 72k] - 王灏,黄厚宽,田盛丰
文本分类是文本数据挖掘的重要技术.从文本分类实现过程的各个环节,包括建立文档模型、特征提取、维数约简、选择分类策略几个方面分别给出了目前实用的解决方案,同时对各种算法进行了分类和性能上的定性与定量的比较,最后讨论了国内文本分类研究中的一些问题和未来的发展.
2003年01期 173-179页 [查看摘要][在线阅读][下载 163k] - 桑立锋,吴朝晖,杨莹春
在基于高斯混合模型的说话人鉴别中,对两个模型的整句得分A和B分别做归一化,并不能改变A和B的大小关系,也就是说,归一化与否并不影响系统的识别率.提出了一种基于语音帧得分下的非线性变换,重新调整了测试语句对各个模型得分的排序结果,在不影响原有正确识别的前提下,使原本被误识的部分语句得到确认.用138人的YOHO语料库做的实验,相对误识率降低了44.17%.
2003年01期 180-184页 [查看摘要][在线阅读][下载 93k] - 陈大为,吴朝晖,杨莹春
在大多数的说话人识别系统中,需要首先建立一个说话人无关的模型,这种模型成为全局模型.然后在实际应用中,采取某种自适应的算法来修改此模型.采取这种说话人无关模型的一个不利之处在于性能会随着应用环境和训练环境差异的增大而大幅度降低.为了修补这种差异,就需要较长的训练时间,使得这种方法不利于比较实时的应用,比如通过电话进行远程说话人识别,在这种情况中需要较快的响应速度.本文中提出了一个利用全局模型并能适用于远程说话人识别的方法.基本思路就是在进行识别时利用以前的模型,然后再系统空闲时采取了一个改进的自适应算法快速重建全局模型.试验结果证明了这种方法是可行的.
2003年01期 185-190页 [查看摘要][在线阅读][下载 201k] - 余国华,黄厚宽
本文通过分析了几种预测模型与相应时间序列基本特征的关系,推导出依据时间序列特征来选择预测模型的方法.
2003年01期 191-194页 [查看摘要][在线阅读][下载 68k] - 杨斌,聂在平
在贝叶斯框架下支持向量回归SVR可视为最大化后验MAP回归函数估计的扩展.贝叶斯方法可用来实现模型中超参数的自适应,同时保持SVR稀疏性和凸二次规划的优点.在对SVR的MAP解做Laplace近似获得关于超参数的SVR模型中证据的平滑表达式,使用基于梯度的优化法可导出使证据最大化的最优超参数.通过引入ARD参数到高斯协方差函数中,可进行输入属性的相关性分析和特征选择.给出了在人工和实际回归问题上的应用及其他方法的对比分析.
2003年01期 195-199页 [查看摘要][在线阅读][下载 123k] 下载本期数据