对合Quantale的一个定理

本文给出了〈〈-＆对合Quantale的概念,并给出了它的几个命题,最后得出了〈〈-＆对合Quantale上的一个重要定理．     

Quantale的子结构

研究了子Quantale的性质,给出了子Quantale的几种具体构造,利用Quantale的强子Quantale给出了一个元素是素元的等价刻画．     

Quantale矩阵的广义逆

给出了Quantale矩阵广义逆的定叉,并对Quantale矩阵的广义逆进行了较为系统的研究,得到了Quantale矩阵的广义逆存在的若干条件.     

Girard Quantale中的算子

讨论了Girard Quantale的内部结构,研究了Girard Quantale中各种运算的若干性质和它们之间的相互关系,证明了Girard Quantale中六个二元运算中的任何一个结合一元算子⊥均可以完全刻画剩余的五个二元运算.     

预余Quantale态射及其性质

给出了预余Quantale态射的概念,证明了预余Quantale中的特殊元在预余Quantale态射的左伴随下不变的性质,找到了预余Quantale中态射与蕴含运算的关系,得到了预余Quantale上的一个开映射是预余Quantale态射的充要条件.     

Quantale上的预余核及其性质

给出了Quantale预余核的定义,并在此基础上讨论了预余核的一些性质,以及预余核与子Quantale的关系,并讨论了它与Galois联络的关系和性质,进一步说明了预余Quantale的应用.     

Quantale上的Boolean子代数

给出了单位Quantale上的Boolean子代数的概念,并讨论了Boolean子代数若干性质;同时介绍了左（右）保持元和左（右）零化子,并研究了最小左保持与最大左零化子限制在完备Boolean子代数上两者之间的关系.     

Q-fuzzy序若干性质的研究

引入了Q-fuzzy序的概念,研究了Q-fuzzy序与Q-fuzzy覆盖之间的关系,验证了任意非空集合上的所有Q-fuzzy关系的全体构成Quantale.在Q-fuzzy关系基础上,给出了Q-fuzzy等价关系的定义,证明了当赋值域为Frame时,任意非空集上的Q-fuzzy等价关系的截集恰为其上的等价关系.     

对合正规带簇

运用半群的对合半格序系统研究对合正规带簇,并对对合正规带作出了刻画.对合半群S是含对合运算的正规带当且仅当S是矩形带的对合半格.推广了正规带成为对合正规带的一些结果.     

对合矩阵和反对合矩阵的若干性质

在高等代数中矩阵是研究问题很重要的工具,在讨论矩阵的乘法运算时给出了对合矩阵的定义,但对其性质研究很少.对合矩阵和反对合矩阵作为特殊矩阵无论在矩阵理论方面,还是在实际应用方面都有重要的意义.我们在研究矩阵及学习有关数学知识时,经常要讨论这两种特殊矩阵的性质.本文先给出对合矩阵和反对合矩阵的定义,然后讨论了它们的若干性质.     

ERP沙盘教学研究及其管理监控实现

介绍了ERP沙盘教学的背景和教学过程,明确了该教学方式的优势和存在的主要问题,详细给出了应用软件技术解决该问题的系统方案,最后对已经实现的系统做出了客观的评价,并指出了进一步的工作。     

逐步Ⅱ型寿命下逆Rayleigh分布参数的估计

在逐步Ⅱ型截尾样本下讨论了逆Rayleigh分布参数的估计问题,给出了参数的最大似然估计,并在三种不同的损失函数下给出了参数的Bayes估计和区间估计.最后给出了数值模拟的例子。     

单圈图Laplace谱半径的新排序方法

本文给出了一种新颖而简单的单圈图Laplace谱半径的排序方法,由此得到了n阶单圈图Laplace谱半径的第一到第十三大值,并给出了相应的极图。     

用系统分解法研究不等式及其他

提出了用系统分解法研究不等式的思路和方法,以实例方式介绍了这种方法的应用;提出了聚合集和聚合量级的概念．从而为量级研究提供了新视角和新课题;最后给出3个待解决的不等式问题．     

康托集与康托函数的推广

本文在康托三分集的基础上定义了康托五分集,康托七分集,康托2k 1(其中k是任意给定的自然数)分集,并给出了它们的一些性质,同时,在给定的范围内推广了康托函数的定义及性质。     

基于MATLAB的Routh稳定判据实现

稳定性是控制系统的能够正常工作的首要条件,判定控制系统稳定性的算法很多,本文对经典控制理论中的Routh稳定判据及其两种特殊情况进行了较为详细的讨论,并给出了采用这种代数判据进行稳定性判定的程序代码.代码的运行可以快速给出系统稳定性判定的Routh表格和所验证系统是否稳定的确切信息.最后,通过对一个具体的系统实例进行了仿真验证发现.本文方法的判定结论和系统仿真结论相同,即系统稳定,说明给定程序代码的正确性.     

正态总体方差和标准差的无偏估计

在正态总体分布下,给出了方差及标准差的矩估计量和极大似然估计量,讨论了两者之间的关系,得出两类估计量相同,并进一步给出无偏估计量。     

二维距与位值

本文将物元分析中“距与位值”的概念推广到二维的情形,给出了定义,研究了有关性质,并给出了详细证明。     

基于PSPICE的电路仿真分析与设计

通过模拟电路、数字电路、数字模拟混合电路等三个具体的仿真分析实例,阐述了PSPICE在电路的仿真分析与设计中的应用,电路仿真分析结果完全符合设计的理论分析值的要求,并提出了在PSPICE的使用过程中应该注意的一些问题。     

Euler数与集合的纯偶排列数

引入集合的纯偶排列数,给出了纯偶排列数的一些性质,用纯偶排列数得到了Euler数及正切数的一种简洁的表示形式,利用Akiyama-Tanigawa算法给出了Euler数表,并且给出Euler数几个同余式.