逻辑函数在布尔减-除-非代数系统中的标准DOS和SOD展开式

本文首先证明了布尔减、布尔除与非运算构成完备集,并根据布尔减、布尔除与非运算的运算规则和性质,从与或非代数系统中的最小项、最大项展开式出发,推导了任意逻辑函数在减除非代数系统中的标准DOS(减之除)和标准SOD(除之减)展开式。最后举例说明了二个代数系统中展开式之间的转换。本文的工作对进一步完善布尔代数的四则运算理论具有一定的意义。     

计算含无关项布尔差分及布尔偏导数的表格算法

为简化布尔函数布尔差分及布尔偏导数的计算过程,提出了与-或-非代数系统中计算含无关项布尔函数布尔差分及布尔偏导数的表格算法。该算法通过表格列出1值最小项及无关项的二进制编码,并对表格中二进制编码的相应位取反运算后产生新项来计算布尔差分及布尔偏导数。表格算法与代数方法、图形方法相比,具有快速便捷,适用多变量布尔函数及易于计算机编程等优点。     

基于或-符合展开系数图的布尔差分计算

分析了逻辑函数在部分变量取反时的或-符合展开系数图(即dj图)和降维或-符合展开系数图(即降维dj图),在此基础上提出了用dj图和降维dj图计算逻辑函数的一阶布尔差分和二阶布尔差分的图形方法。实例表明,该图形方法有直观、简单等特点。它能给出逻辑函数布尔差分的最简或/符合式。     

高阶布尔网络的结构

介绍高阶布尔（控制）网络,并研究了其拓扑结构.以矩阵的半张量积作为工具,把高阶布尔网络的动态过程转化为2种标准离散事件动态系统的代数形式.证明了高阶布尔网络和第1代数形式的一一对应关系,并由此得到其拓扑结构（不动点、极限圈以及暂态期等）.还研究了高阶布尔网络系统与它第2代数形式的关系.     

非稳态酶动力学的布尔函数图解研究

提出了一种研究非稳态酶动力学的布尔函数图形方法，利用这一方法，用代数及微分方法处理十分困难的大稳态酶动力学问题便可用相对简易的图形算法来处理。     

逻辑函数的规范减-异或展开式及其与最小项展开式的转换

从香农展开定理出发,推导了任意逻辑函数在布尔减一异或代数系统中的规范XOS（减之异或）展开式,并对函数的XOS展开系数（ej系数）和SOP展开系数（cj系数）之间的关系作了较详细的讨论,给出两者的矩阵转换法。本文的工作对进一步完善布尔代数的四则运算理论具有一定的意义。     

3-代数的张量积

研究构造3-代数的方法对多元代数的结构研究非常有意义。本文对一个已知的3-代数L和一个已知的交换的结合代数A构造一个新的3-代数AL，称其为A与L的张量3-代数。并对张量3-代数的导子的性质进行了研究。     

计算含无关项布尔C-导数的表格算法

为简化布尔逻辑代数系统中布尔C-导数的计算过程,提出了计算含无关项布尔函数布尔C-导数的表格算法。该算法通过真值表列出布尔函数的1值最小项及无关项的二进制编码,并对相应位取反变换操作产生新项来计算布尔C-导数。举例说明了基于表格算法计算含无关项布尔函数布尔C-导数的过程。应用结果表明,与代数法、图形法相比较,该方法快速便捷,可适用计算多变量布尔函数及计算机编程操作等特点。     

随机变量的代数论

传统的代数把数值抽象为变量,本文把随机变量抽象为随机数这一特定的数域。运用传统代数的方法初步描述了随机数的相反数、绝对值等基本概念。随机数的加,减,乘,除不再是简单的对应项的加,减,乘,除,而是要分别随机变量之间的关系是否相互独立而有其独特的运算法则。对随机数的应用进行了简单举例。     

基于表格法的减-异或展开系数与除-符合展开系数的转换

讨论了逻辑函数减-异或展开系数ej和除-符合展开系数gj间的关系,分析了ej图和gj图之间的转换方法.在此基础上提出了逻辑函数ej系数→gj系数以及gj系数→ej系数转换的表格方法.与图形方法相比,表格法具有不需要画图、不受变量数限制以及易于计算机编程操作等优点.     

检测逻辑函数对称性的新方法

本文论述了逻辑函数的Ｒｅｅｄ－Ｍｕｌｌｅｒ展开及ｂ＿ｊ系数图，在此基础上提出了直接检测基于Ｒｅｅｄ－Ｍｕｌｌｅｒ展开的逻辑函数的对称性的新方法。     

Frequency-shifting-based stable on-line algebraic parameter identification of linear systems

In this paper a new approach to algebraic parameter identification of the linear SISO systems is proposed. The standard approach to the algebraic parameter identification is based on the algebraic derivatives in Laplace domain as the main tool for algebraic manipulations like elimination of the initial conditions and generation of linearly independent equations. This approach leads to the unstable time-varying state-space realization of the filters for the on-line parameter estimation. In this paper, the finite difference and shift operators in combination with the frequency-shifting property of Laplace transform is applied instead of algebraic derivatives. Resulting state-space realization of the estimator filters is asymptotically stable and doesn’t require switch-of mechanism to prevent overflow of the estimator variables. The proposed method is especially suitable for applications in closed-loop on-line identification where the stable behavior of the estimators is a necessary requirement. The efficiency of the proposed algorithm is illustrated on three simulation examples.     

基于ABC管理法的人力资源核算模式的研究

本文分析了知识经济时代企业人力资源的特征,提出以ABC管理法为核心的一种全新的人力资源核算模式。其基本原理是根据企业员工工作绩效归属于n个等级,在每个会计期末求出基于最新财务数据的各个等级价值权重系数Vi,将各等级员工人数与相应的Vi相乘累加即可得到企业现行人力资源价值。本文重点研究了核算人力资源的关键计量问题,并探讨了该管理模式在企业管理中的应用前景。     

Convergence analysis of Newton method without inversion for solving discrete algebraic Riccati equations

In this paper, we first introduce the necessary and sufficient conditions for the existence of the solution of discrete algebraic Riccati equation. Then we propose the Newton method without inversion to find the solution of the discrete algebraic Riccati equation. We show that the proposed method converges to a positive definite solution of the discrete algebraic Riccati equation. Finally, the accuracy and effectiveness of the proposed method in compare to some existing algorithms are demonstrated by various numerical examples.     

分组密码S盒的代数方程

研究了几种著名的分组密码体制的Ｓ盒所满足的代数方程的个数,如DES、AES、MARS、SERPENT等,分别计算出这几种分组密码的Ｓ盒从低次到高次的代数方程的个数,并把 计算结果和理论极小值进行了比较．此外,还针对一类对密码分析具有特别意义的不完全代数方程研究了Ｓ盒所满足的这类不完全代数方程的个数,通过这类方程的个数,可以看到它们的Ｓ盒与随机Ｓ盒的差别．     

多项式模代数在多值逻辑系统中的适应性

针对文献［１］中的模代数系统对多值逻辑的适应性定理，指出了多项式模代数系统对于基数为素数幂值逻辑的适应性     

ON THE PROBLEM OF UNIQUENESS AND DETERMINATION OF ALGEBRAIC FUNCTIONS

This paper gives the unicity theorem of algebraic functions and further inquires into the problem of determination of algebraic functions.