S-粗集与数据挖掘单位圆特征

给出单向S-粗集(one direction singular rough sets)、单向S-粗集对偶(dual of one direction singular rough sets)的结构。单向S-粗集与单向S-粗集对偶是改进Z.Pawlak粗集得到的,单向S-粗集与单向S-粗集对偶具有动态特性。给出单向S-粗集、单向S-粗集对偶与Z.Pawlak粗集的关系。S-粗集具有三类形式:单向S-粗集、单向S-粗集对偶、双向S-粗集,利用单向S-粗集、单向S-粗集对偶,给出数据内挖掘、数据外挖掘概念,给出数据内挖掘的外同心圆定理、数据外挖掘的内同心圆定理,并给出其应用。S-粗集是粗集理论与应用研究的新分支。     

基于最小平方中值定理的立体视觉里程计

提出了一种基于最小平方中值定理（LMedS）的立体视觉里程计方法。利用图像中尺度不变的SIFT特征点作为路标,基于KD树的最邻近点搜索算法来实现左右图像对特征点的匹配和前后帧间特征点跟踪。通过特征点的三维重建,基于最小平方中值定理估计出机器人的运动距离和方向信息。实验表明该方法在不同图像间匹配、三维路标跟踪和机器人运动估计中具有很强的鲁棒性。     

■ukasiewicz命题逻辑系统中有限命题集的约简理论

在n值■ukasiewicz命题逻辑中提出了命题集Γ的约简理论,引入由命题集Γ所诱导的形式背景的概念,从Γ及其子集的关系出发给出了n值命题逻辑中有限命题集Γ约简的判定定理以及求Γ约简的方法。说明了无穷值■ukasiewicz命题逻辑中命题集Γ的约简可转化为n值情形。     

矩阵特征值估计的粒子群优化算法

利用Gersehgorin圆盘定理与矩阵特征值的性质,将特征值的求解问题转化为最优化问题.借助粒子群优化算法与二分法思想,精确地估计了实(复)方矩阵的全体特征值,并与Matlab软件中基于QR算法设计的特征值求解函数eig的计算结果作对比,绝对误差达到10-7数量级以上.同时,也解决了特征值分离度的估计问题.     

一类基于小波框架的采样子空间

采样定理是现代信息理论与技术的基本工具,具有采样性质的信号具有比较完美的信息重构形式.Walter 和 Zhou 将古典信号的采样定理发展到小波子空间.发展了基于小波框架的数字信号的采样定理与方法.提出并回答了信息理论中的一个基本问题:一个能量有限的数字信号,是否具有采样定理的形式.以小波框架为工具给出了具有采样性质的数字信号的刻画;对于一个给定的采样子空间,给出了该子空间的信号的表示形式;特别是给出了一大类新的具有采样性质的数字信号空间.应用实例表明,从理论和实践上对于数据信息的采样和重构是有意义的,是对以往相关结果的有效改进.     

一种基于中国剩余定理的数字指纹体制

数字指纹技术可以追踪盗版拷贝的来源,在版权保护方面具有很重要的作用,受到越来越广泛的关注.本文提出了一种基于中国剩余定理的数字指纹体制,避免使用一般的安全多方计算协议,该方案不仅具有较好的实现效率,而且还能确定性地跟踪叛逆者.     

函数S-粗集与规律F-隐藏

函数单向S-粗集(Function one direction singular rough sets)是用R-函数等价类定义的,函数是个规律;函数单向S-粗集具有规律特征、动态特征.利用函数单向S-粗集,给出规律F-隐藏概念,提出规律的F-隐藏定理,隐藏识别准则,给出规律的F-隐藏的应用.规律的F-隐藏是函数S-粗集中的一个新的应用研究方向,函数S-粗集是信息规律研究中的一个新理论与新工具.     

Asymptotic stability analysis of nonlinear real-time networked control systems

The paper deals with the problem of the asymptotic stability for general continuous nonlinear networked control systems （NCSs）. Based on Lyapunov stability theorem combined with improved Razumikhin technique, the sufficient conditions of asymptotic stability for the system are derived. With the proposed method, the estimate of maximum allowable delay bound （MADB） for linear networked control system is also given. Compared to the other methods, the proposed method gives a much less conservative MADB and more general results. Numerical examples and some simulations are worked out to demonstrate the effectiveness and performance of the proposed method.     

基于消点法的几何自动推理系统实现

为了实现几何自动推理的可读性证明,并提高推理效率,介绍了一个基于消点法的可构造性几何命题自动推理系统的设计与实现。该系统提供作图的方式接受用户的几何命题前提条件的输入,可以对初等几何中的大部分可构造性几何问题进行自动证明和求解,并生成可读的证明步骤,大大方便了初高等几何教育和相关研究者的需要。     

.NET平台下故障树分析技术的实现及应用

故障树分析是一种自上而下的方法,通过对可能造成系统故障的硬件、软件、环境、人为因素进行分析,分析得出故障原因的各种可能组合方式,由总体至部分,按树状结构,逐层细化的一种分析方法.开发了故障树分析工具,提供了对规范化故障树定性的割集计算、简化等功能,提出了基于容斥定理的定量化顶事件概率简化计算方法,可满足企业对部件级元件进行故障详细分析的需求.还给出了所开发的系统实现界面,系统已在某企业中得到了具体的应用.