基于与一异或代数系统的对称函数的研究

本文在分析与一或一非代数系统的基础上研究了基于与一异或代数系统的对称函数，讨论了RM型基本对称函数的定义和性质.在此基础上提出了二种基于RM型对称型函数的任意对称函数的综合方法:基于RM型通用逻辑组件ULM 3的逻辑综合及基于余加器与RM型PLA的逻辑综合.     

一类广义分离变量系统的全局稳定性

借助一般可分离变量系统的Lyapunov函数方法，对一类广义分离变量系统的全局稳定性和不稳定性进行了讨论，通过分析技巧得到了由系统自身特点所给出的显示代数判据，这些结果验证方便，改进和推广了有关文献中的相应结果。     

离散广义随机Markov跳变系统零和博弈及应用

针对离散广义随机Markov跳变系统零和博弈问题,讨论了其在有限时间情形和无限时间情形下鞍点均衡策略。通过配方法,分别得到了有限时间和无限时间内,离散广义随机Markov跳变系统零和博弈问题均衡策略存在等价于相应的耦合Riccati差分(代数)方程存在解,并给出了最优解的显式表达式及最优值函数。然后根据现有研究,把所得结果应用于现代鲁棒控制中的随机H_∞控制问题,得到了H_∞控制策略存在的条件。     

逻辑函数的布尔减-异或、布尔除-符合展开式在固定极性下的最小化方法

在混合极性下的减-异或、除-符合展开式的最小化方法基础上,讨论了在固定极性下减-异或、除-符合展开式的代数化简法和图形化简法,并给出了化简实例．实例验证了上述方法有效性．该法有助于进一步完善减-异或、除-符合代数系统的理论并促进新的数字元件及新一代数字电路的研发．     

蜕化三值逻辑及其应用

本文提出一种蜕化代数系统，并证明了该系统可以用二值逻辑电路实现.设计实例表明，在某些领域，基于该代数系统设计.1}二值逻辑电路具有电路结构简单、冗余态少等特点.而这些问题用传统的二值代数系统是无法解决的.     

CRM型对称函数及其逻辑综合

逻辑函数的CRM展开式是逻辑函数在或-符合代数系统中的一种基本表示形式,而对称函数又有许多独特的优点.在讨论了与-或-非代数系统中和最大项对应的对称函数定义、性质基础上,研究了CRM型基本对称函数的定义及其性质.进而提出了基于全加器以及CRM型PLA网络的逻辑综合,还举例说明了逻辑综合过程.该综合的PLA网络是以或、符合二种运算作为基本运算的,类似于与、异或的电路实现,CRM型对称函数常常可以导致使用较少的门及较少的连线,更重要的是它具有易于测试等特点.本文的讨论揭示了CRM型基本对称函数的内在规律,有助于开拓或-符合代数系统的应用.     

外噪声下马尔萨斯系统随时间的演化

采用微分方程的李群方法，研究了外噪声影响下的马尔萨斯系统对应的福克-普朗克方程，得出了含时间概率密度P（x,t）的严格表达式；讨论了最可几值x随时间的变化。并讨论了此时的最可几值x与确定性描述的区别。     

关于双对称余代数

通过研究双对称代数的对偶结构，主要讨论双对称余代数的张量积及双对称代数和双对称余代数之间的对偶关系。同时，也讨论了双对称双代数。     

基于多线程技术的智能小区管理服务系统构建

设计并实现了一个由485网络构成的智能小区数据采集、控制及管理服务系统，该系统能实现抄表、安防和物业管理等功能，对该系统的整体结构做了介绍，并讨论了中心主机管理服务系统软件的两大模块——通信引擎和管理平台，其中详细分析了多线程技术在通信引擎中的重要作用．     

逻辑函数在布尔减-异或、布尔除-符合代数系统中的规范展开式

证明了布尔减、异或运算以及布尔除、符合运算的完备性,并从与-异或及或-符合代数系统中的RM、CRM展开式出发,分别推导了任意逻辑函数在布尔减-异或及布尔除-符合代数系统中的规范展开式.举例说明了与-或-非代数系统中规范展开式与布尔减-异或、布尔除-符合代数系统中的规范展开式之间的转换.     

群S4对称高维自治系统的Hopf分岔

研究群对称高维自治系统的Hopf分岔.利用Lyapunov-Schmidt方法得到分岔问题的约化映射,讨论约化映射的对称性和不变子空间,由此导出分岔方程,利用分岔方程不仅研究了Hopf分岔解的对称结构,而且得到了Hopf分岔产生的条件.     

对称三值代数系统

本文对对称三值格代数与对称三值模代数进行了讨论,提出了任意对称三值函数的格代数规范展开和模代数的一般化展开、最后讨论两种代数之i可的关系,并求出函数展开式系数之间的转换矩阵.     

关于有限维循环群代数中的可逆元及其应用

讨论有限维循环群代数中的可逆元,给出了有限维循环群代数中的可逆元的逆元表达式,并把结果应用到循环矩阵中.     

BCK-代数添零扩张中的理想

本文对ＢＣＫ－代数的添零扩张作了深入研究,指出了原ＢＣＫ－代数中的理想、Ｖａｒｌｅｔ理想、素理想等与添零扩张后相应的理想、Ｖａｒｌｅｔ理想、素理想之间的关系。     

超对称量子力学的高维含时非中心可解势

用超对称性量子力学和形状不变势,求解了12种可以在柱坐标下分离变量的非中心势,并给出了其能量本征值以及本征函数的解析形式.利用此结果以及已经建立的一维含时超对称量子力学的结果,将含时超对称量子力学推广到高维情况,提出了一种可以用来精确求解含时非中心势的理论方法,并利用此方法求解了6种可以在球坐标下分离变量的含时非中心势和另外6种可以在柱坐标下分离变量的含时非中心势,同时给出了其本征值与相应的本征函数的解析形式.     

Nichols代数及其Hecke型子代数

对Nichols代数 (V,c)=T(V)/I(V),给出了它的Hecke型Nichols子代数的定义.在HH 范畴中,H为群代数时,给出(V,c)是Hecke型的充要条件.设A=T(V)/IV是一个代数,讨论了IV成为余理想的条件.计算了二维对角型向量空间的二次Hopf代数,并且找出了一些Nichols代数.     

一类线性方程组的求解及其并行算法

本文对由子结构法来逼近偏微分方程所得到的一类线性方程组给出了一个求解方法,并就其平行性的实现进行了分析和讨论。     

多值模代数中单变量函数的微分运算

提出了模为素数r的多值模代数中单变量函数的导数的定义，建立了真值向量与各阶导数的关系，讨论了微分运算和导数矩阵的性质．     

关于自双反函数的性质之研究

阐述了双反函数、自双反函数和多数函数的定义,提出了自双反函数的性质.根据上述定义利用布尔代数中的基本概念、定理和公式证明了这些性质,展示了自双反函数在RM展开系数图(bj图)中的特点,讨论了自双反函数在函数分类中的应用.     

关于余模范畴中的Lie结构

研究三角Hopf代数众模范畴上的Lie代数和Lie余代数,主要讨论Lie代数和Lie众代数的对偶．给出了Lie代数的泛包络代数的结构．