时滞Lipschitz非线性系统观测器设计

针对满足Lipschitz条件的非线性时滞系统的观测器设计问题,给出了一种新型的全维、降维观测器,并用线性矩阵不等式的形式给出了全维、降维观测器存在的充分条件,通过构造Lyapunov函数进行了证明.结果表明:设计的全维、降维观测器通过解线性矩阵不等式可以方便地获得观测器的增益矩阵,简化了增益矩阵的求解过程,消除了增益矩阵选取的盲目性.通过对同一模型进行仿真分析,两种观测器的状态估计误差均能迅速收敛到零,表明所提方法的有效性.     

基于降维的全局优化近似解法

将降维应用到全局优化问题的求解中,提出了一个基于降维的全局优化近似算法,用以求解带箱约束的非线性全局优化问题。首先在区间[0,π]上构造一个新的降维公式,给出基于该降维变换曲线的α-致密度,再从降维曲线长度对该近似算法的计算量进行估计并给予证明,给出理论算法,最后给出了数值实验结果以说明算法的有效性。     

降维卡诺图及其应用

本文通过卡诺图基本原理的讨论，导出降维卡诺图及其填写方法。通过实例讨论得出降维卡诺图读出的基本原则及降维卡诺图在中规模集成电路应用中的逻辑设计方法。     

试论卡诺图的降维

本文首先用逻辑代数的基本理论,对逻辑函数的表达式及卡诺图表示方法进行分析比较,得出卡诺图可以降维的结论及降维卡诺图。接着通过实例,讨论了降维卡诺图的填写及读出方法。最后进行归纳小结,得出用降维卡诺图化简逻辑函数的几条规则。     

降维ej图及其应用

提出降维ej图的概念,讨论获得降维ej图的代数方法和图形方法.提出基于降维ej图的逻辑函数在混合极性下的化简规则,并通过化简实例验证化简方法的有效性.降维ej图的引入压缩了ej图的规模,从而扩大了ej图的使用范围.     

基于伪柯西类核函数的主成分降维方法

构造了伪柯西类核函数并给出了相应的理论证明.利用伪柯西类核函数对4个癌症基因表达数据集进行降维,然后利用支持向量机、K近邻和朴素贝叶斯进行分类预测.实验结果表明,与高斯核、多项式核、双曲正切核降维以及全变量情形相比,在多数情况下,基于伪柯西类核函数进行的维度约减,可使得目前主流机器学习方法的分类精度达到最优.     

多维资源分配问题的拉格朗日乘数法探讨

本文给出应用拉格朗日乘数法求解二维资源分配问题的降维方法，对降维后的一维问题的最优解，即原问题的最优解给出理论证明，并对二维以上的资源分配问题的拉格朗日乘数解法给以推广．     

基于降维的填充函数方法

提出了一个基于降维技术的填充函数方法,用以求解箱约束非线性全局优化问题。首先利用降维变换将n维问题转化为一维问题,其次对一维问题运用填充函数方法求解,证明了降维填充函数的理论性质,并给出了算法和数值实验结果。     

论含约束项卡诺图的降维

本文运用逻辑代数的基本理论,对含约事项的逻辑函数表达式进行变换,导出用降维函数表述的含约束项的逻辑函数表达式,从而得出含约束项的降维卡诺图的填写原则。     

关于异步电机转子磁链的龙伯格降维观测器的讨论

论述了异步电机转子磁链降维观测器及其详细推导过程,并给出了稳定性证明.讨论了各种不同坐标系下取不同的K值得到降维观测器的各种表现形式.讨论表明,磁链降维观测器在转子磁链观测中具有普遍性.     

用蕴涵关系化简多输出逻辑函数

本文提出利用多输出逻辑函数之间的蕴涵关系,化简多输出逻辑函数的方法。这一方法能使多输出逻辑函数的总最小项数目减少,公有的本原蕴涵项的数目增多。这一化简法,较适合于中、大规范集成逻辑组件的综合。文中,通过具体例子将该法同常规化简法作了比较。最后,指出了这一化简法的局限性和有待进一步研究的问题。     

Spectral Characteristics of the Best Affine Approach of Multi-Output m-Valued Logical Functions

This paper discusses the best affine approach （BAA） of multi-output m-valued logical functions. First, it gives the spectra of rate of accordance between multi-output m-valued logical functions and their affine functions, then analyzes the BAA of multi-output m-valued logical functions and finally gives the spectral characteristics of BAA of multi-output m-valued logical functions.     

逻辑函数卡诺图及其应用

在数字电子技术领域,卡诺图不仅是表示和化简逻辑函数的重要工具,而且利用卡诺图还可以对逻辑函数进行各种基本逻辑运算。本文阐述了变量卡诺图和函数卡诺图的实用画法;推出了用卡诺图表示和化简逻辑函数的简捷方法。     

搜索引擎系统中搜索方法的设计

根据搜索引擎中的快速搜索方法，设计逻辑符号检索词组或短语的内容检索等7大类搜索方法，并用Java语言实现了其中的部分功能。     

关于逻辑函数化简的计算机辅助设计

本文针对用代数法,图解法进行逻辑函数化简的缺点,提出了利用电子计算机进行辅助设计。文中给出了关于五个变量化简的源程序,其主要特点:当存在竞争冒险时,该程序将自动引入校正信号,以消除竞争冒险.从而保证了付诸实际逻辑网络时速度独立(Speedind ependent).源程序已在IBM PC/XT机上调试通过.     

脉冲型时序逻辑网络设计(Ⅱ)

本文在文献[1]的基础上,利用逻辑函数的最小项展开法和矩阵运算,导出了脉冲型时序逻辑网络设计的一种解析方法,并且以实例说明了这种方法的设计过程。这种方法适用于计算机辅助设计。     

一类模糊神经元网络控制器及其仿真

针对复杂性非性系统的模糊神经元网络方法控制中，模糊子集合的划分、隶属函数和推理规则的拟定问题进行了研讨，并以此设计了一类模糊神经元网络控制器，给出了学习算法和仿真研究结果。     

Parlay CC API与SIP的逻辑关系

首先描述了ParlayCCAPI(Parlay规范中的呼叫控制应用程序接口)和SIP(会话初始化协议)的逻辑组成与结构,然后通过SIP与ParlayCCAPI逻辑关系比较,给出了从SIP到ParlayCCAPI的方法、响应码和地址的映射关系,最后给出了基于SIP的ParlayCCAPI构建基本会话的时序图,并通过模拟实验说明基于SIP的ParlayCCAPI主要功能是可以实现的。     

环上逻辑函数的相关性分析

分析了Galois和Zm环上逻辑函数的互相关函数与特征谱之间的关系,并且利用逻辑函数的互相关性研究了环上逻辑函数的密码特性.     

多输出m值逻辑函数的谱特征

讨论了剩余类环上多输出多值逻辑函数的谱特征,给出了多输出m值逻辑函数的广义一阶Chrestenson谱与单输出m值逻辑函数Chrestenson谱之间的关系,得到了多输出m值逻辑函数的广义一阶Chrestenson谱与其函数之间的转换公式,接着给出了多输出m值逻辑函数的广义一阶Chrestenson谱的概率表示式.同时讨论了多输出m值逻辑函数的广义一阶Chrestenson线性谱和循环谱之间的关系,并给出了这两种谱之间的关系式.