浅谈在卡诺图中实现对偶律的方法

应用卡诺图来处理逻辑函数可以方便快速地使函数化简或变形。本文基于逻辑代数中的对偶律和卡诺图的化简方法,提出了在卡诺图中实现对偶律的方法:定义法,公式法,反码法。不同方法简单程度不同,反码法最为简便。     

四元数体上矩阵的对角化和Schur定理

定义了友向量的概念 ,给出了四元数矩阵可对角化的立分必要条件以及对角化的一种方法 ,证明了四元数矩阵的Schur定理     

几类平面图生成树数目的一种求法

求连通图生成树数目的方法有很多.本文利用平面图的对偶图的Kirchhoff矩阵求出梯形图,扇形图和轮图的生成树数目,这类平面图利用收缩边和去边的方法已经求出,但用本文的方法更简单直接且便于推广到一般平面图.     

参数为ar＋2=4的距离正则图

利用距离正则图的交叉表及性质对k=10，a1=1的距离正则图的参数进行了讨论，可对其得到的结论进行分类。     

一阶常微分方程比较定理的高阶推广

比较定理是研究常微分方程解的属性的基本工具。但对于高阶的情况,现有的结论只给出了类似把解作为向量范数之间的比较。我们将一阶常微分方程的比较定理推广到高阶,从而给出了高阶常微分方程的解自身的大小的比较定理。     

迫敛性定理的推广与应用

为了方便快捷地得出极限,将迫敛性定理进行了推广,并给出了它的应用.     

一阶泛函微分方程变号周期解的存在性

利用不动点理论，讨论如下方程y（t）=-a（t）y（t）＋f（t,y（t-τ（t）））变号周期解的存在性，给出方程三个非零变号周期解的存在性，其中一个是正的，一个是负的，另一个是变号的。     

函数矩阵的增减性及中值定理

通过对函数矩阵A（x）的研究，给出函数矩阵的增减性定义，并得出函数矩阵的中值定理等一系列结论。     

Krasnoselskii不动点定理的一个应用

不动点理论是研究方程解的存在性的一种强有力的工具.本文主要考虑了一类特殊的积分方程,并应用Krasnoselskii不动点定理得到了该类积分方程解的存在性.     

一类半线性积分方程的Stepanov型μ-伪概自守解

通过运用Stepanov型μ-伪概自守函数的概念,研究半线性积分方程在Banach空间中关于有界解的一些新的存在性结果。首先建立了这类函数的新的组合定理,并且通过这类函数的遍历性和组合定理,结合积分预解族的定义和性质,利用不动点定理和压缩原理得到半线性积分方程的μ-伪概自守解的存在唯一结果的主要结论。