论文部分内容阅读
将Godel辑系统中的广义重言式理论进行推广，讨论了一类无限子代数上的广义重言式理论，并利用可达广义重言式的概念在G的标准子代数E0中给出F（S）关于┑同余的一个分划。
Godel系统中一类子代数上的广义重言式理论
【摘 要】
：
将Godel辑系统中的广义重言式理论进行推广，讨论了一类无限子代数上的广义重言式理论，并利用可达广义重言式的概念在G的标准子代数E0中给出F（S）关于┑同余的一个分划。
【机 构】
：
桂林航天工业高等专科学校计算机系
【出 处】
：
计算机工程与应用
【发表日期】
：
2010年29期
【基金项目】
：
广西壮族自治区教育厅科研基金（No.桂教科研[2006]26号）.
其他文献
针对蜂窝移动通信定位技术中常见的非视距传播（NLOS）问题，提出了一种利用来波信号强度和来波方位角测量值的联合条件概率判决NLOS的算法（JCPDS．RA，joint conditional probabilityde
协同过滤是推荐系统中常用的一种技术。以往的推荐算法往往只从用户或商品的角度单一地进行推荐,在推荐准确率上存在瓶颈和局限性。提出了一种新的混合推荐方法——结合基于
本文对我国经济最发达地区─—长江三角洲的两个重要组成部分南翼和北翼之间经济发展中存在的差异以及造成这些差异的因素进行了客观和全面的比较，并在此基础上，提出南北两翼今
基于驾驶疲劳研究中的视频图像,提出一种新的适用于驾驶疲劳检测的人眼定位及状态判别算法。定位算法利用Gabor小波变换对图像进行预处理,提取基于图像的地形图特征,并利用支持向量机的方法对候选特征区域进行验证,然后在定位区域对人眼状态进行判断。经实验验证,该方法可以定位睁眼及闭眼图像,并可以定性和定量判断人眼状态。采用该方法获得的人眼状态信息将为后续的驾驶疲劳分析提供重要的数据。
本文介绍了高速流水推进双体船“徐福”号艉压浪板攻角变化对航态与航速影响的实船试验情况，指出合理采用可调攻角艉压浪板是调整圆舭艇航态，提高航速的一种简便有效的方法。
低温液化气船在支使过程中都存在蒸发再液化问题。本文在介绍低温液化气船的基础上论述了再液化装置的原理，基本类型和要求，介绍了一个典型的再液化流程和设备组成。
基于高性能船舶营运的特殊性，决定了它在结构防火和安全设备配置方面与常规船舶有着不尽相同的要求。为防止船舶发生火灾等海难事故，应从预防、抑制、逃生这三者出发，形成系统的
在Web使用挖掘中,用户浏览模式的聚类结果有助于网站设计者理解Web用户的浏览特点和需要。设计了一种有效的Web浏览模式的聚类方法,网页是否被浏览及网页上的浏览时间反映了