可分性判据在中文网页分类中的应用

提出了一种改进的基于统计的中文网页的分类算法。通过对传统的基于计算相似度文本分类方法和基于贝叶斯模型文本分类算法的研究，我们对贝叶斯模型分类算法进行了改进，提出了利用一种基于概率分布的可分性判据分类方法，即用类别密度函数似然比来增加特征词的可分性信息的算法。通过对计算相似度方法，贝叶斯方法及改进的贝叶斯方法的对比实验表明，改进算法可以使类与类的间隔最大化，因而具有较高的分类精确率和召回率。     

基于可分性判据排序的RBF神经网络属性选择方法

提出一种基于数据属性重要性排序的神经网络属性选择方法,该方法只需对部分属性进行洲练,即可进行降维,它克服了现有的神经网络降维方法必须对全部属性进行训练的弊端,大大提高了属性选择的效率。该方法先用本文提出的一种简单的可分性判据方法对数据属性进行重要性排序,然后按重要次序用RBF神经网络进行属性选择。仿真实例表明,该方法具有良好的效果。     

离线电子现金系统中的“可分性”探析

电子现金是电子商务中的一种重要的安全支付手段,“离线性”和“可分性”是电子现金系统应具备的重要性质,探讨在离线电子现金系统中的两种当前最主要的可分性解决方案。     

基于可分性测度的模糊隶属函数确定方法

隶属程度的思想是模糊数学的基本思想,应用模糊数学方法解决实际问题的关键在于建立符合实际的隶属函数,然而,如何正确地确定隶属函数仍是至今尚未完全解决的问题.鉴于此,提出一种基于可分性测度的隶属函数确定方法,利用类间在各个特征上的可分性确定模糊集的划分,进而确定描述该模糊集的隶属函数.通过轨道电路故障诊断实验表明了所提出方法的有效性.     

常系数线性系统稳定度的实用判据

本文对常系数线性系统ｄｘ／ｄｔ＝Ａｘ，合出几个直接由矩阵Ａ的元素迅速确定系统的品质指标－稳定度的实用代数判据。     

基于比特可分性的BORON和Khudra积分区分器搜索

分别针对近年来提出的SPN结构的BORON密码算法和Feistel结构的Khudra密码算法进行积分性质的评估。根据各自算法线性层和非线性层的结构,建立基于比特可分性的混合整数线性规划（MILP）模型。根据最终搜索的目标轮数生成相应的目标函数,利用Gurobi优化器进行求解,并进行积分区分器的搜索,分别得到了BORON算法的6轮积分区分器和Khudra算法的7轮积分区分器,均是目前已知的最长区分器。利用积分区分器,可以对密码算法进行更多轮数的积分性质的评估。     

切换线性时滞系统的稳定性判据

考虑了一类切换线性时滞系统的稳定性问题.基于Lyapunov函数方法和矩阵测度的概念,分别给出了切换系统时滞独立以及时滞依赖的渐近稳定性和指数稳定性判据,设计了相应的镇定切换律.最后,通过数值算例验证了所提算法的正确有效性.     

线性定常时滞系统全时滞渐近稳定的充分代数判据

本文探讨了线性定常时滞系统全时滞渐近稳定性问题,并给出了简单实用的稳定性充分代数判据.     

基于特征可分性的核函数自适应构造

核函数的选择与构造是支撑向量机研究中的关键问题和难点.该文针对该问题,首先讨论了特征空间的线性可分性,推导了其判别条件.然后,根据特征完全可分条件,基于函数逼近论和核函数的基本性质,提出了自适应多项式核函数和B-样条核函数模型,给出了模型参数的估计算法.实测数据仿真实验结果表明,与经典的核函数相比,该文提出的算法在分类性能上取得了明显改善.     

一种具有可分性的支付方案*

通过对Wang等人的方案的改进和有限域上的多项式理论,提出了一种具有可分性的支付方案。该方案可以抵制Santis等人方案的攻击,增强其安全性,同时也实现了货币的可分性。进一步针对匿名的提升进行了更为详细的研究,给出了具体的实现方法。     

广义系统干扰解耦的正则状态观测器

本文在文[1]的基础上进一步讨论了含有未知输入(或外部干扰)的广义系统Ex=Ax+Bu+Mf,y=Dx的正则状态观测器问题。结果表明:只要这样的观测器存在,则也可将其设计化为一个低于rankE阶的正则系统的相应问题。     

时滞线性系统时滞独立稳定的劳斯-赫维茨方法

本文研究了滞后型线性时滞系统,给出了一个完全可计算的时滞独立稳定的代数充要条件,这个条件判别的全过程仅仅只需要计算二次劳斯表和一次赫维茨行列式,并且所有运算均在实数域中,具有简单性和实用性。     

一类切换线性系统的稳定性判别方法

研究了子系统中系统矩阵为对角标准型或者Jordan标准型的切换线性系统的稳定性．用状态方程的解来分析系统能量函数（状态向量的2范数）的单调性,得到系统在任意切换序列下渐近稳定的充分条件．另外,根据这些条件可以比较容易地设计出渐近稳定的切换序列．最后通过一个数值例子来说明所得到结论的效果．     

控制能量受限下离散线性系统能控域结构*

本文讨论控制器能量受限时,线性系统的能控域结构,并给出解析表达式。     

BACH:线性混成系统有界可达性模型检验工具

混成自动机的模型检验问题非常困难,即使是其中相对简单的一个子类--线性混成自动机,它的可达性问题仍然是不可判定的.现有的相关工具大都使用多面体计算来判定线性混成自动机状态空间的可达集,复杂度高、效率低,无法解决实际应用规模的问题.描述了一个面向线性混成系统有界可达性模型检验工具--BACH(bounded reacha...     

随机线性多变量系统参数估计的偏差校正法

在文［６］研究的基础上，把文［６］中提出的偏差补偿最小二乘法（ＢＥＬＳ）推广到多变量线性系统的辨识中。分析表明，只要有色噪声与系统的输入信号统计不相关，我国总可以通过对输入信号顶滤波的方法将已知零点嵌入到被辨识系统中，然后利用这些零点提供的信息消除噪声引起的辨识偏差。这种方法的特点是其辨识过程不依赖于有色噪声的模型。     

线性系统的状态反馈特征结构配置

一、引言关于线性系统状态反馈特征结构配置问题的研究,现已有一些结果,但这些结果或者要求了闭环极点互异,闭环极点异于开环极点等条件,或者在开、闭环公有极点存在的情况下,要求验证一系列的附加条件约束.本文给出了线性系统状态反馈特征结构配置的一种新方法,克服了文[1—4]的缺点.     

基于观测器的LPV系统故障检测方法

针对一类线性参数变化(LPV)连续系统的故障检测问题,通过构造合适的输出观测器,获得残差生成器,并通过优化设计步骤,实现对干扰的有效抑制和对故障的灵敏检测。利用依赖参数的Lyapunov函数,在保证残差生成器稳定性的基础上,给出观测器存在的充分条件。应用投影定理,借助附加矩阵解除了基于参数的Lyapunov函数矩阵与系统矩阵的耦合,得到以线性矩阵不等式(LMI)形式表示的求解条件。对于参数变化系统,基于LMI的求解条件为无穷维问题,借助基函数和参数网格化方法,使其转变为可求解的问题。仿真结果表明,应用该方法可以在一定程度上抑制干扰,并能灵敏有效地实现故障检测。     

线性定常系统仿真的两种新算法

本文提出了两种适合于对线性定常系统进行仿真的新算法,它们不仅保持了改进转移矩阵法和拟Adams法的A-稳定性、计算量较小和精度较高等优点,而且弥补了这两种方法在理论上的不严密性和截断误差较大等缺陷,因而具有更好的数值特性,仿真结果表明,文中提出的算法是有效可行的。     

不确定时滞线性系统的采样控制

采样控制作为一种数字控制的直接设计方法,近年来引起了广泛的重视,目前采样控制不易处理模型的不确定性和时滞,本语文给不确定时滞系统的采样控制算法,结果表示为一些矩阵不等式,并给中用ＬＭＩ求解的迭代算法。