形式语义学研究两题

形式语义学奠基人蒙太格在其语句系统中设置了两个初始类型：对应个体的类型e与对应真值的类型t。按照传统哲学的观点,专名指个体,但是在蒙太格的系统中,专名不直接解释成论域中的个体,它表示性质的集合,对应类型〈〈e,t〉,t〉。这样的类型匹配方式实现了专名与量化短语的统一处理,是蒙太格语法的独到之处,有着深刻的集合论基础。     

一种基于遗传算法的连续属性离散化方法

连续属性离散化是基于粗糙集的数据挖掘中的关键问题。针对该问题提出了一种遗传算法,在保持不可分辨关系的前提下,以最小断点集为目标,对交叉算子、变异算子进行了改进。最后,使用UCI机器学习数据对算法进行了验证,并与其它的离散化算法进行了比较,结果表明算法是有效的。     

随机信息系统的近似约简

提出了随机信息系统的β-近似约简和目标随机信息系统的β-近似约简的概念,分析了它的一些特性及其与已有约简概念的关系,证明了β-近似约简是信息系统和目标信息系统的属性约简概念的推广,并通过实例说明了约简方法．     

目标信息系统的依赖约简

以决策属性关于条件属性的依赖度为标准，提出了一种基于依赖度的约简概念，并讨论了相应的约简方法以及这种约简与已有的一些约简的关系。     

立党为公、执政为民是党保持先进性的基本标准

能否坚持立党为公、执政为民,是衡量执政党能否保持先进性的一个基本标准。坚持立党为公、执政为民,始终保持党的先进性,是历史和时代赋予党的神圣使命,永葆先进性是共产党人的政治本色,保持同人民群众的血肉联系是领导干部保持先进性的基本要求。党员领导干部要坚持做好新形势下的群众工作,在进一步密切同人民群众的血肉联系中保持先进性;重视解决好涉及群众切身利益的问题,在为群众服务中保持先进性;积极建立健全为群众服务的长效机制,在转变作风中保持先进性;进一步改进下基层工作的方法,在真心贴近群众、扎实深入群众中保持先进性。     

完善我国城镇土地使用制度的法律举措--兼论建立城镇土地使用年租制

我国现行的城镇国有土地使用制度在促进经济发展的同时,也不免存在一些弊端.为了有效地利用有限的城镇国有土地资源,建立公平的城镇国有土地使用制度,有必要对现行制度进行改革,真正做到地尽其利,地利共享.     

Rough集理论在数据约简中的应用

Rough集是由Z.Pawlak于1982年提出的,它是一种新的处理模糊和不确定知识的数学工具.它能有效地分析不确定,不精确,不一致等各种不完备信息.其优点是无需任何关于数据的初始的或附加的信息,如统计学中的概率分布.而随着数据库系统中所包含的信息量地扩大,人们越来越认识到信息系统中数据急度膨胀的危害性,因此人们对数据进行约简的要求也越来越强烈.本文主要介绍Rough集的基本理论在数据约简中的应用.     

强制辩护制度的当代思考

强制辩护是辩护制度的一种,是辩护制度功能的重要实现形式。我国并没有建立强制辩护制度,需要按程序正义理论、宪政理论的精神进行构建,以保护宪法基本权利的力度对其加以重视。应当将“获得强制辩护权”作为宪法上的基本权利规范,扩大强制辩护适用的案件范围与阶段,构建国家不履行强制辩护义务的程序性救济制度,以保障强制辩护的应有效能。     

基于粗糙集的数据挖掘及其在知识获取中的应用

本文介绍了粗糙集的基本理论，并将其作为一种新的数据挖掘工具引入，研究和探讨了基于粗糙集的数据挖掘过程，及其在加工过程的知识获取中的应用。     

用集合图形法检验三段论式有效性——兼论集合图形法与文恩图法的比较

集合图形法是笔者重新建构的一种检验三段论式有效性的方法。这种新的检验方法与文恩图法有很多相似之处,也有不同之处,但最后检验的结果完全一致。这对于研究三段论的有效性提供了新的研究方法。