交际语言与逻辑

文章引用交际语言实践中典型的鲜活案例，剖析具有普遍性意义的语言现象，并从交际语言与逻辑思维的角度论述语言信息、事物关系同思维形式、逻辑规律之间的内在联系以及语言规范的逻辑意义。     

抽象二阶周期边值问题的拟上下解方法

利用比较结果，通过构造L-拟上下解的单调迭代过程，研究了Banach空间二阶周期边值问题解的存在性，并获得了该问题解的存在唯一性结果。     

n次积分C-半群的表示定理

利用指数有界的n次积分C-半群的基本性质，用两种不同的方法证明了它的指数公式。     

智能桌面元搜索引擎中个性化研究

随着WWW信息量的急剧膨胀,当前的搜索引擎已经不能够很好的满足人们信息搜索的需求,元搜索引擎作为下一代功能更强大、更具智能的方案而成为当前的研究热点.本文针对桌面搜索引擎易于获得单个用户个性化信息的特点,提出了个性化桌面元搜索引擎的解决方案,从它的体系结构到局部的技术难点都作了详细描述,同时最后给出总结和展望.     

基于语义可串行性的锁协议并发控制算法

为实现语义可串行性调度而提出的基于两段锁协议的并发控制算法无法保证所得到的历史具有可恢复性，为解决该算法的可用性问题，利用并发控制和恢复的统一模型给出一种基于两段锁协议的并发控制算法。     

面向对象的方法在舰炮武器系统建模中的应用

主要分析了面向对象技术的思想和特点以及该技术在舰炮武器系统模型建立过程中的应用，其中包括类的抽象、多重继承等技术．应用面向对象的方法对舰炮武器系统进行建模，从而使建模过程中所要求的技巧性和复杂性大大降低．正是因为面向对象的建模技术能降低建模的复杂性，它将会被越来越多的应用领域所采用。     

作补语的趋向动词语义的引申

趋向动词作补语既可表示实义，也可表示抽象义或引申义。引起趋向动词语义引申的原因有主客观两方面的因素。客观因素是趋向动词有谓语变为补语，语义重点发生了转变，为语义引申创造了必要的条件；主观因素是说话人的心理感受对作补语的趋向动词的选择加深了其语义引申的程度。语义引申后的趋向动词表示动作行为的结果或者时态。     

可拓神经网络在可拓专家系统中的研究与应用

将可拓学理论、人工神经网络和专家系统技术有效地组合与集成,建立了基于可拓分析与神经网络的空中目标识别专家系统,并将其应用于防空作战指挥信息系统空中目标识别。着重阐述了基于物元的知识表示方法以及空中目标识别专家系统的设计思路、总体结构和工作原理。     

基于区域包含的语义距离构造及其在模糊数据库中的应用

提出了在模糊数据自身自然语义表示基础上，利用数据间语义范围相互包含关系得到的一种语义距离计算方法．将此方法引入模糊关系运算符的定义，并应用于模糊数据数据库语言FSQL的多种操作命令中．     

区间值语义下的Agent信念模型

从实际应用出发,在逻辑系统基础上,结合二维区间值语义,构建Agent模糊信念模型,并研究该模型语义的数理基础,分析系统可靠性、完备性以及重言式结构等特性,最后给出一些应用,这些研究不仅为Agent信念复杂性研究,而且也为Agent认知、决策等研究提供一定的逻辑理论基础.