模态算子与全称量词－－蒙太古构造的一个模态逻辑公理系统

本介绍和评估了美国逻辑学家蒙太古构造的一个模态逻辑语言S。S是一阶语言加上符号N所构成。N可分别看作为逻辑必然、物理必然、伦理必须和全称量词。蒙太古最早作出这种在一综合框架下处理模态算子与全称量词的系统。对模态算子与量词的混用所造成的困难提供了一个解决方法。在蒙太古的模态语言S中，模态算子与量词的联合使用并不会造成美国逻辑学家蒯因所指出的那种困难。     

析取逻辑及析取逻辑程序的语义研究

在用不完全知识进行常识推理时，常用缺省方式推导结论，然而当缺省否定算子ｎｏｔ被定义成ｎｏｔ ｐｒｏｖｂｌｅ（不可证）时，析取逻辑程序（ａＶｂ，ｎｏｔ ａ，ｎｏｔ ｂ）应该是一致的，因为ａ不可证且ｂ不可证并不意味ａＶｂ不可证，虽然这是一个很重要的事实，但现有主要的析取逻辑程序语义理论却不能支持它。其主要原因是这些理论都基于传统的一阶谓词逻辑，其中否定ａ且否定ｂ将导致否定ａＶｂ，现提出一种支持上述事实     

“移就”与“TransferedEpithet”的异同

汉语修辞学中的“移就”辞格与英语修辞学的ｔｒａｎｓｆｅｒｒｅｄｅｐｉｔｈｅｔ（修饰语移置）在定义、结构、内容、修辞效果与语义联系上有许多相同之处。对比一下这两种辞格，可以发现易位和词语的重新搭配是它们的共同特征。然而在语义联系上英汉这两种辞格又各有其独特的语义组合关系     

自校正模糊控制器的设计

综合Ｍ．ＳＵＧＥＮＯ和Ｇ．Ｔ．ＫＡＧ的设计思想，提出了利用控制作用模式化方程设计自校正模糊控制器的方法，系统地介绍了自校正模糊控制器的结构、控制算法分析及状态变量量论域参数的自校正算法，同时给出了有关数字仿真结果，数字仿真结果表明，自校正模糊控制器在响应速度、调节时间和稳态精度这几个个品质参数上基本达到了常规ＰＩＤ优化控制的效果，且比常规ＰＩＤ控制具有更强的适应性，尤其是精神数学模型未知或被控对象     

基于位置相关查询的一种语义缓存模型

为了克服FAR算法在位置预测方面的不足，定义了一种语义缓存模型，与传统的语义缓存模型相比增加了对移动单元的坐标和语义片段的时间描述，有助于预测未来移动单元可能的位置．提出了一个改进的RBF—FAR算法作为替换策略，并结合使用RBFNN进行位置预测．实验证明，通过定义新的语义缓存模型，采用新的查询替换策略，再结合神经网络的自学习特性，使得RBF—FAR模型更加灵活，并有效地减少网络负载和查询时间．     

图像检索技术中情感计算模型研究

针对目前图像检索忽略情感因素的问题，在图像检索系统中引入了情感计算技术，提出基于情感语义的图像检索系统模型和情感计算研究情感信息的数字化处理方法，以期创建一种能感知、识别和理解人的情感，能针对人的情感做出智能、灵敏、友好反应的计算机系统，旨在使人机交互更趋人性化．     

浅谈超文本检索的制约因素与优化

在网络资源检索中,超文本检索占据着很大的比重,但在实际的检索利用中,多种因素制约着检索效果,限制了超文本检索效能的发挥。本文分析了超文本检索过程中的盲目性、检索的时效性、网络的反应速度、语言障碍等几个方面的制约因素,同时就如何优化超文本信息检索进行了论述。     

基于智能聚类的内容分类方法与应用

直接依靠人的理解判断对内容进行分类,需花费大量的时间与精力,为了解决文本内容的自动聚类问题,该文在信息系统理论与自组织神经网络理论的指导下,利用智能技术得出了内容的分类结构。提出了基于智能聚类的内容分类方法,利用自组织神经网络的学习算法进行内容的聚类,并根据所提出的方法设计了基于智能聚类的内容分类示范系统,进行了应用研究,验证了该方法的有效性。     

基于本体的环境信息系统框架

为了解决环境信息学研究和应用中所遇到的数据异构、系统互操作和信息检索等问题,将信息学中本体和语义网研究领域的最新成果引入环境信息学,提出和设计了一个基于本体的环境信息系统框架。该框架以本体技术为核心,采用双层本体结构,提供语义级的信息共享和系统互操作,实现了环境信息服务和环境智能信息检索功能,具有很强的可扩展性。     

顺应论与翻译研究

本文从Verschueren的语用顺应理论出发重新审视翻译过程,认为只有从语境关系、结构客体等诸方面对源语和目标语做出动态顺应才能达到语用等值的翻译目标。语言顺应论作为Verschueren语用综观说的核心内容,将对翻译学的理论革新产生巨大的影响。