从塔尔斯基式符合论到不可定义论——戴维森真理论的心路历程

戴维森的真理论经历了一个从"塔尔斯基式符合论"最终到"不可定义论"的心路历程.早期他反对传统的事实符合论,赞同塔尔斯基的满足符合论,后来转向一种融贯式符合论;受罗蒂的批评,戴维森呈现出一种"客观性实用论"的真理观;最后戴维森以对霍维奇的冗余论的批判为例,认为任何人都没有也不可能提出一个一般性的真之定义,主张"真之不可定义"的思想.通过这一历程,戴维森表明了真之概念的有用性、客观性、实践性和基始性特点,从而为其真之语义论立场提供了有力的理论论证.     

粒计算及其在机械故障智能诊断中的应用

为了更好地揭示原发性、早期微弱以及复合故障的发生发展规律,以粒计算理论为基础,提出了基于相容粒度空间模型的智能故障诊断方法.该方法通过层次化和粒度化来表示原始数据中蕴涵的不同设备运行状态的信息,使得不同故障状态被高效地映射到粒结构的不同层次上,达到正确区分各类故障的目的,利用得到的约简属性集构建相容粒度空间模型,对电力机车轮对轴承的早期微弱故障、严重故障以及复合故障进行诊断,取得了较高的分类精度.实验结果表明,与RBF神经网络方法相比,模型有着很高的分类性能,对9类故障状态的分类准确率达到了91.11%,说明相容粒度空间模型在机械故障诊断方面具有很好的分类性能.由于约简方法可以弥补特征评估技术不能直接获得最优特征组合的不足,因此提高了模型的工作效率.     

相容和弱相容映射的几个新的公共不动点定理

证明了Menger空间上相容和弱相容映射在(φ)-压缩条件下的两个新的公共不动点定理.作为它们的推论,还得到了度量空间上相容和弱相容映射的两个有趣的不动点定理.     

一类新的Φ-压缩型映象的公共不动点定理

目的 验证一个新的公共不动点定理的存在性.方法 利用度量空间中自映象对相容和次相容的条件,讨论了完备度量空间中一类新的Φ-压缩型映象的公共不动点的存在性与唯一性.结果 严格地证明了该不动点定理是成立的.结论 得到了一个新的公共不动点定理,并且对该定理进行了推广.     

极大相容度关系模型及其属性约简

经典粗集理论以等价关系为基础,它们在处理不完备信息系统时存在一定的局限性.从扩展粗集理论的适应范围角度出发,引入信息系统对象的先验概率,结合量化相容关系的思想,提出了极大相容度关系模型,然后以该模型为基础研究了不完备信息系统的属性约简,通过严格的数学证明,提出了一种不完备信息系统的启发式属性约简算法.最后通过一个实例验证了该相容关系模型及其基于启发式的属性约简算法.     

多载波码分多址系统的上行空频信道盲估计

把均匀线阵应用于宏蜂窝制同步多载波码分多址系统的基站,给出了相应的空频信道模型,并构造了蕴涵空频信道信息和波达方向信息的辅助矩阵,利用子空间方法对辅助矩阵进行特征分解,实现了对同步多载波码分多址系统上行空频信道和波达方向联合盲估计,与借助旋转不变技术估计信号参数类方法不同,该方法巧妙回避了多个矩阵的联合对角化问题,基于对小区内各活动用户上行空频信道的估计,进一步实现了空频联合多用户符号检测,仿真结果表明,与基站仅使用单天线的同步多载波码分多址系统相比,该方法能够更好地减轻多用户情形下的多址干扰。     

基于粗糙集的连续属性离散化算法及其应用

为了提高信息系统的相容性、解决离散化过程中阈值以难确定的问题,提出了一种改进的连续属性离散化算法.该算法以信息增益作为属性重要性的度量方法,以基于最小描述长度原理的决策系统信息熵作为离散化过程的评价函数,能够有效地提高离散化速度和精度,并且增强了系统的鲁棒性.仿真结果证明,此算法能够得到满意的离散化结果,是一种能够自动调节阈值的有效算法.     

集值决策信息系统及其知识约简

文章在集值决策信息系统中提出了一种新的基于变精度参数分类的二元关系,即变精度相容关系,可以通过改变精度参数来使分类更合理;同时,还讨论了基于这种二元关系的集值信息系统的知识约简及其属性特征,并给出了可辨识矩阵.     

弹性力学通解的完备性的机械化证明方法

在吴方法的基础上,从微分代数的观点出发,机械化证明了各项同性弹性力学方程组的胡海昌解的完备性问题.     

分层控制算法在过饱和交通干线控制中的应用

提出一种启发式分层控制算法框架来解决过饱和城市交通干线的控制问题.整个控制器由控制层和协调层组成,在控制层,引入主线延误和次线延误的概念,将控制问题描述为一个冲突的多目标控制问题,提出一种新的基于IPNSGA-Ⅱ遗传算法的多目标相容控制策略来产生相邻交叉口的信号配时方案;在协调层,首先确定需要进行协调的交叉口群,然后以主线延误和次线延误为目标,采用IPNSGA-Ⅱ遗传算法进行优化,实现交叉口之间的协调.提出的相容控制策略具有鲁棒性、实时性、动态性的特点,能够实现干线交叉口的实时控制.将该分层算法应用于一个七个交叉口组成的城市交通干线的交通流仿真系统进行测试,仿真结果表明,本文方法比单点控制策略能够更有效的缓解网络中的过饱和状态,减小延误.