扩展的G-KRA抽象模型

将广义知识重构与抽象模型框架下的初步感知过程扩展为多重感知过程, 根据物理世界W中对象所属域的不同生成多重域抽象模型, 并讨论了两种情况下域抽象模型Wi和Wj间的域关系： W的多重域模型W_i和W_j中的构成对象交集为空（即W_i和W_j中不存在有跨域行为的实体）; W的多重域模型W_i和W_j中的对象实体存在跨域行为. 扩展后的框架R丰富了物理世界W的模型表示, 使对象感知由平面感知变为立体感知, 应用多种领域知识生成相互关联的不同域模型, 增强了模型的推理能力.     

程序设计语言的抽象与语言族模型

程序设计语言的模型对于研究语言的性质具有重要作用。基于语言的抽象这一概念,在建立的语言之代数模型下,给出了程序设计语言间的３种关系：继承、扩充、屏蔽的语义,并提出了在这3种关系下构成的语言族模型,作为研究语言间的关系和面向模型的变换型软件开发方法的一种理论基础。     

归纳——命题的综合

休谟提出的＂归纳问题＂及归纳推理的形式化刻画是归纳逻辑留下的两大难题。深入考察归纳推理的各个环节就可发现,归纳不是一种单纯的思维方法,而是综合、抽象、虚拟等多种方法结合运用的复合方法。它在本质上是对单称命题的综合,其运算形式是一种加法;抽象为它提供前提中的性质命题,并为它进行归并运算提供可能;由想象补充的＂虚拟前提＂使不完全归纳演变成完全归纳,确立了归纳方法的合理性。由此得到归纳推理的通用演算形式：s1 p＋s2 p＋s3 p＋〈n〉（s p）=×（s p）。     

基于有界模型检测的门级软件自测试方法

提出了基于有界模型检测的门级软件自测试方法.将处理器中的模块简化成约束模块,缓解状态爆炸问题.将难测故障的触发条件逐个转化成性质并且采用有界模型检测技术,搜索触发这些性质的违例.最后,将违例映射成测试指令序列,并为测试指令序列添加观测指令序列,构成自测试程序.实验结果表明:该方法在不引起状态爆炸问题的情况下,有效地测试控制器中难以测试的故障,提高了在线测试的测试质量.     

基于HMM的杨树变异体叶片特征参数数据挖掘

本文依据数据挖掘的基本原理,经叶形图像预处理、叶脉特征参数提取等过程,建立杨树叶脉结构特征数据仓库。最后通过改进的HMM(隐马尔可夫模型)对数据仓库建模,挖掘出与某一品种杨树自身特性有极大相关性的特征参数,为杨树苗木物理诱变育种中突变个体的自动化检测提供了研究基础。     

Weaving, Bending, Patching, Mending the Fabric of Reality: A Cognitive Science Perspective on Worldview Inconsistency

In order to become aware of inconsistencies, one must first construe of the world in a way that reflects its consistencies. This paper begins with a tentative model for how a set of discrete memories transforms into an interconnected worldview, wherein relationships between memories are forged by way of abstractions. Inconsistencies prompt the invention of new abstractions. In regions of the conceptual network where inconsistencies abound, a cognitive analog of simulated annealing is in order; there is a willingness to question previous assumptions - to ‘loosen’ conceptual relationships - so as to let new concepts percolate through the worldview and exert the needed revolutionary effect. In so doing there is a risk of assimilating dangerous concepts. Repression arrests the process by which dangerous thoughts infiltrate the conceptual network, and deception blocks thoughts that have already been assimilated. These forms of self-initiated worldview inconsistency may evoke feelings of fragmentation at the level of the individual or the society. This revised version was published online in July 2006 with corrections to the Cover Date.     

专业领域技术性英文词汇识别的多方法对比

以航空英语为例,采用信息检索领域常用的准确率、召回率等指标对四种常用的专业技术词汇识别方法(使用专业词典、借助语境线索、分类排除法和主题词分析法)的识别有效性进行评估。结果显示,上述几种方法的平均识别率均不高,完全依靠某一种方法来识别专业技术词汇不可避免地存在不足或缺陷,建议开展多方法相结合的综合研究。     

高职院校学生网络舆情分析系统的研究

近年来,院校网络发展迅速,校园网络BBS（电子公告板）论坛成为学生获取信息和传递信息的重要载体,使得高职院校校园舆情出现了与网络相结合的新特征。通过网络论坛了解学生舆情方向,对高职院校学生管理工作不无裨益。本文首先通过限定条件对大批量的网络舆情数据进行清洗,再利用基于关键词评分聚类的关键词挖掘技术,最终汇总出高职院校学生的思想情况,关心的热点问题。     

谱熵分析方法在漏磁信号特征提取中的应用

为了研究谱熵分析方法在漏磁无损检测中的应用，将信息熵理论引入缺陷漏磁信号的特征提取工作中．通过试验分析证明一维谱熵、二维谱熵在缺陷类别辨识中的可行性，并指出其存在的局限性．提出了集能量集中程度、谱线的重心位置和能量大小3种指标于一身的适于缺陷定量分析、识别的谱熵三维向量的概念，并在室内实验台架上实际测得的不同尺寸矩形槽类内、外缺陷信号分析中进行了应用．实验结果表明，对于矩形槽外缺陷而言．谱熵三维向量中的三维向量指标与二维谱熵和一维谱熵相比，在漏磁检测缺陷定量化方面具有很大的优越性。为缺陷识别定量化提供了一条途径．