Lipschitz非线性系统观测器存在性的一种迭代判定方法

对Lipschitz非线性系统观测器存在性的判定进行了讨论,提出了一种观测器存在性的迭代判定方法,当出现无限迭代的情形时,其判定又转化为对一列单调不减之数列的收敛性的判定。该方法的主要优点是判定过程不必事先知道观测器增益矩阵,判断成功的同时即可定出增益矩阵。     

简单无向图的同构判定问题的研究

图的同构判定问题是图论学科的基本问题之一,但是要判定两个图是否同构却是一件非常不简单的事情。本文旨在研究简单无向图的同构判定问题;并提出了一种新的简单无向图同构的必要条件。     

二次规划的理论与算法(Ⅲ)

四、二次型的正定性和半正定性的判定条件这一节我们叙述几个比较简便实用的判定条件,用于判定二次型的正定性和半正定性,这种判定关系到我们寻求二次规划的最优解时选择哪一种合适的算法。下面的大多数定理在一般的线性代数的书中是没有的。     

多方安全计算在保密路径判定中的应用

保密路径判定是一种特殊的保密隐私的几何计算问题.基于保密点积协议和百万富翁协议提出了一种半诚实模型下的曲线与椭圆区域的保密相交判定协议,并对协议的性能进行了分析.该判定协议可用于解决保密路径判定问题.     

多元函数极值新的判定方法

函数的极值有重要的研究意义,求解方法多种多样;以三元函数一般的正定性判定方法为根据,得到了一种新的三元函数极值判定方法及证明过程,这种方法适用于条件和非条件极值的情况,并将这种判定方法推广到多元函数,得到一种多元函数极值判定方法.     

巧析“安培力的方向或感应电流的方向”

高中物理磁场一章中,通电导体在磁场中的受力方向是用左手定则判定;而电磁感应一章中,闭合回路中一段导体切割磁感线运动时,产生的感应电流的方向要用右手定则判定。而在实际教学过程中,学生往往会碰到即要判定导体切割磁感线运动产生感应电流的方     

线性时变离散大系统的模型降阶及其稳定性

本文采用模型降阶的集结法与比较原理,研究了线性时变离散大系统的稳定性。即把高维时变离散系统的稳定性判定,简化为低维定常离散系统稳定性判定,省略了对子系统稳定性判定的条件,从集结模型的辅助方程一次完成对原来高维系统的稳定性判定。     

实部半正定矩阵的判定及并行算法

给出了实部半正定矩阵的一种判定方法，并给出了该判定方法的算法，使用此方法可以对任意阶的矩阵进行判定。     

离散型γ.υ独立性的种判定方法

通过分布矩阵的秩,给出了判定随机变量（γ．υ）独立性的一种简洁的判定方法。     

比较判定法极限形式的简化

比较法判定级数的敛散性,是一种常用的方法。重点阐述了无穷小的比较在级数判定中的应用。     

基于邻接矩阵的σ全一问题判定方法

在已知的σ全一问题的集合形式判定方法的基础上,运用图的邻接矩阵给出简单图的σ全一问题的代数形式的判定方法。     

判定多值逻辑推导问题的代数方法

本文证明了对于给定的多值逻辑系统中的命题公式，存在有理数域上的多项式与之对应从而判定一个命题公式能否以一组命题公式推出，我们只需判定某一多项式是否在一代数值上消失通过代数簇的分解，给出了判定这一问题的算法。     

一种初学易用的反馈性质判定的方法一极性判定法

反馈作为电子技术的一种十分重要的技术,其反馈性质的判断在传统上使用瞬时极性法来完成。瞬时极性法对于初学者而言,直观性稍弱,因而不够简便易用。本文作者经教学提炼出瞬时极性法的修正案,力图使反馈性质的判定更加简便易用,帮助初学者尽快掌握反馈性质的判定。这种简易的判定方法笔者定义为极性判定法。极性判定法在立足于瞬时极性法的基础上,将其变得直观而易学,经教学实践检验,效果明显。     

命题公式的一种演绎判定方法

命题公式的判定是人工智能领域中的一个核心问题。目前命题公式的判定方法大都是基于语义的,不能给出演绎过程,而这种演绎过程是许多推理性应用的重要依据,本文针对命题演算系统L,给出了一种可同时给出演绎过程的判定方法——演绎判定方法。首先提出了消解复杂性的两种范式：最简范式和文字范式,在此基础上给出了L的可判性定理的演绎证明及命题公式的演绎判定算法P(F),并基于ML语言设计了基于P(F)的演绎判定机DMBD。     

离散型r.v.独立性的一种判定方法

通过分布矩阵的秩,给出了判定随机变量（γ． ｖ．）独立性的一种简洁的判定方法     

面/面目标之间拓扑关系的判定规则及其实现

针对地理信息服务中兴趣点查询检索过程中的拓扑判定问题,描述并分析了兴趣点要素之间的空间拓扑关系,设计了一套点/面、线/线和面/面拓扑关系判定的规则,将面/面目标之间的拓扑关系判定通过分解的方式,转化为点/面目标拓扑关系和线/线目标拓扑关系进行判定。并以某市公共自行车租赁点及其周边服务范围之间的拓扑关系分析为例,通过规则和算法实现了公共服务兴趣要素之间拓扑关系的判定。试验表明,面/面目标之间拓扑关系判定规则具有完备性和有效性,为地理信息服务中类似的拓扑查询、判定提供了有效的参考。     

堤坝地基土渗透变形类型的判别

本文对黄河下游冲积土渗透变形类型的判定方法进行了研究，澄清了对渗透变形类型判定的模糊认识，对现行规范中关于这一问题的规定进行了探讨．提出了适当的判定方法。     

论n=3情形下V.I.Arnold问题——中心,焦点的判定

V.I.Arnold 于1976年提出如下问题:如果一个矢量场是由具有固定次数的带有有理数的多项式来给定,那么能否给出一个判定准则的算法,来确定这一矢量场中驻定点的稳定性。中国科学院数学研究所王联,王慕秋解决了 n=2的情形,贵州大学数学系杨世藩解决了 n=3时高次奇点的情形,本文使用[3]中的中心焦点判定的方法给出了判定公式,这些公式皆用矩阵表示。全文分两个部分,第一部分:判定方法——给出了 n=3情形下,中心、焦点的判定公式。第二部分:推广的判定方法——给出了 n=k(k≥3)的情形下中心、焦点的判定公式。     

一种对称无向图的同构判定算法

文章在电路模拟法的基础上提出了一种对称无向图的同构判定算法。电路模拟法对随机图的同构判定问题非常有效,但是对于处理对称度较高的图,判定效率明显降低甚至失效。该文提出的算法针对对称无向图的特性,在电路模拟法的基础上结合Dijkstra算法,综合得到顶点属性和最短距离序列来搜索顶点之间的映射关系,能够有效判定这类图的同构问题。     

广义对角占优矩阵的实用新判定

根据广义对角占优矩阵实用判定中存在的困难,通过对矩阵行标进行划分,利用矩阵自身元素间的关系,得到一组判定条件,避免了利用α对角占优矩阵给出判定条件此类方法中关于α的讨论,改进了相关结果,进一步丰富了广义对角占优矩阵判定的理论,最后通过数值例子验证结果的有效性.