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

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

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

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

“移就”与“TransferedEpithet”的异同

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

自校正模糊控制器的设计

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

机床设计中圆柱凸轮机构设计的探讨

介绍了-18级卧式车床的机构原理,推导出由直线过渡到直线和由非直线过渡到直线的过渡曲线方程，即圆柱凸轮曲线方程，并讨论了凸轮机构直径的确定问题。     

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

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

中国股市基于成交量的价格动量策略

根据1999年Hong和Stein信息逐渐扩散的行为模型，构建了中国股市基于成交量的价格动量策略、结果表明，低成交量组合中存在着显著的中期动量，并且持有低成交量赢者组合，明显能够战胜市场组合．成交量包含未来股价走势的重要信息，能够测度私有信息的扩散速度及动量交易的规模．传统风险因子对策略收益缺乏解释力，与信息逐渐扩散模型假设相一致，私有信息或公司特有信息的缓慢扩散，造成股价对信息反应不足，从而产生了价格动量．此外，由于信息不对称引发的股价操纵行为，对价格动量也具有一定解释力。     

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

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

汽车操纵稳定性的虚拟试验技术

设计了汽车操纵稳定性虚拟试验系统，建立操纵稳定性动力学仿真分析模型，并进行车辆实体建模和行为建模．虚拟试验场案采用分层模块化的树形结构，用不同的类和节点并组织虚拟试验场的各种对象，并设置了光照、雾化和声音信息．虚拟试验过程是数据空间到图形图像空间的映射，使用WTK编程，通过仿真分析数据驱动汽车在虚拟的试验场中行驶，并用分割视屏窗口的方法实现了试验过程的立体视觉显示，从而实现了操纵稳定性的虚拟试验．实际车辆试验表明，虚拟试验分析数据与实车试验比较接近，驾驶员感受的场号与实车试验有较好的一致性．     

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

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