称函数展开系数变换的新算法

在传统的二值逻辑中,存在三种构成完备集的对称函数;基本对称函数S_i、简单对称函数τ_i以及RM型基本对称函数R_i.任意对称函数均可作如下展开:f(x_1,…,x_n)= sum from j=0 to∞(A_j·S_j)（1）f(x_1,…,x_n)= (?)(B_j·τ_j)(2)f(X_1,…,X_)=(?)C_j·R_j(3)上述诸式中∑表示或运算,(?)表示异或运算,·表示与运算.根据S_i,τ_i与R_i的定义以及异或运算的性质可以得到各展开系数之间的转换关系:     

关于对称函数的性质之补充研究

在与-或-非代数系统中存在一种构成完备集的对称函数:基本对称函数.其定义如下:即S_i为所有i个变量取原变量,余下n—i个变量取反变量组成的布尔积(相与)之或它表示当n个输人变量中任意i个变量为1,其余变量为0时,函数值为1;否则函数值为0.任意对称函数可表示为     

基于RM型通用门ULM3的对称函数综合

阐述了基本RM型对称函数的定义和性质，给出了任意”变量对称函数在n-1变量基本RM型对称函数完备集中展开系数的计算公式，在此基础上，提出了基于RM型三变量通用逻辑门ULM3的变量数为奇数或偶数的对称函数综合方法，实例验证了上述方法的有效性．     

部分多值逻辑中保正规关系的准完备集的性质

在多值逻辑完备性理论中,Sheffer函数的刻划是一个重要的问题,此问题的解决可归结为定出其准完备集的最小覆盖.本文对部分多值逻辑函数集中保正规关系的准完备集的性质进行了研究,为确定部分多值逻辑函数集中准完备集的最小覆盖奠定了一定的基础.     

逻辑函数在布尔减、布尔除、非代数系统中的规范展开式

证明了布尔减与非运算、布尔除与非运算均构成完备集，并根据布尔除、布尔减的运算规则和性质，从最小项、最大项展开式出发，推导了任意逻辑函数在这两个完备集中的规范展开式。得到的展开式形式简单，容易记忆，与函数在与、或、非代数系统中的规范展开式之间的转换非常便捷。本文的工作对进一步完善布尔代数的四则运算理论具有一定的意义。     

将任意开关函数变换为对称函数的新方法

本文分析了函数部分对称性、全对称性与函数分解图之间的关系,并在此基础上提出了利用分解图及编码阵将任意开关函数变换为对称函数的图形方法.     

基于代数方法的基本 R M 型对称函数与基本对称函数 的转换`

TransformationbetweenFundamentalRMTypeSymmetricFunctionsandFundamentalSymmetricFunctionsBasedonAlgebraicMeansLuJianmin;YuanZhenfeng;ChenXiexiong(DepartmentofElectronicEngineering,Hangzhou310028)基本对称函数与基本Reed－Muller对称函数（简称为基本RM型对称函数）是对称函数族中两类重要的对称函数，它们分别定义如下[1-2]：定义1n变量的基本对称函数Si定义为所有i个变量取原变量，其余变量取反变量组成的布尔积之或，例如S1＝定义2n变量的基本RM型对称函数Ri定义为所有i个变量取原变量组成的布尔积之异或，例…     

旋转对称函数的设计

给出了一种通用的旋转对称函数的构造方法，并研究了11元旋转对称函数的非线性度，给出了12元所有的3次RotS Bent函数，特别的，构造了12元上的一批4次RotS Bent函数．利用这些函数，可以进一步提高某些密码算法的实现速度，也可用来构造特性好的密码部件。     

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

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

基于表格法的部分变量取反的对称函数检测

对称函数有许多优点,引入部分变量取反的对称函数可以大大增加对称函数的数目,从而有助于扩大对称函数的应用范围.检测对称函数是函数对称性研究中的重要工作.分析了基于表格法的对称函数检测,在此基础上进一步提出了改进的部分变量取反的对称函数检测的新方法.     

二子系复合系统定域不变量的计算

利用su（N）代数生成元表示的二子系复合系统密度矩阵以及作者此前提出的密度矩阵谱分解的取迹方法导出了计算具有一般满秩密度矩阵的二子系复合系统的所有定域不变量的递推公式。计算结果表明。S．Albeverio等人提出的定域不变量可以简化。     

软件管道化方法

用完全数据关联图CDG来表述软件管道化问题,图中有向边表示循环中各指令间的关联性,同时提出了基础集的概念,平行可扩展的基础集可以覆循环的指令,文中用遗传算法来搜索基础集的最优解或次最优解,这种方法可以处理所有可能的数据关联性,从而可以将循环高度并行化。     

压缩型集值映射族的不动点定理

<正> 自从Nadler[6]把Banach压缩映射原理推广到集值映射后,很多作者对压缩型集值映射的不动点定理做了深入的研究(见[1]—[7])。本文的目的是继续这方面的讨论,研究较为广泛的一些压缩型集值映射族,推广和改进了[4]—[6]的某些结果。以下用(X、d)表示完备度量空间。用CB(X),C(     

逻辑函数在布尔减-除-非代数系统中的标准展开式及其化简

布尔减、布尔除与非运算构成完备集．从与-或-非代数系统中的最小项、最大项展开式出发,推导了任意逻辑函数在减-除-非代数系统中的标准DOS（减之除）和标准SOD（除之减）展开式．在此基础上给出了DOS和SOD逻辑函数的代数化简法和图形化简法,给出的化简实例验证了上述化简方法的有效性．     

全自动装箱机的研制(Ⅲ)——自动趟瓶台和自动走箱槽的设计

全自动装箱机是酒类和各种饮料实现装箱自动化的专用设备。装箱速度每小时３００箱以上,能和各种灌装机配套。本文介绍了自动装箱机的两个主要部分,自动走瓶台和自动走箱槽。具体说明了它们的设计思想、机械结构和工作流程。     

基于多β 晶体管的高速开关及其应用

本文利用多β 晶体管设计了差动式非饱和高速整形开关, 并利用它设计了反相器及存贮单元.它与原有的超高速线性与或门一起组成了完备的逻辑单元集合     

拓扑空间的若干分离性及关于杨忠道定理的两个等价条件

在一般拓扑学中，有一个著名的杨忠道定理，拓扑空间X的任意子集的导集是闭集的充分必要条件是每个单点集的导集是闭集，本文给出另外两个等价条件，并讨论了T0，T1空间与我们称之为T0．5空间之间的关系。     

H.263视频编解码系统的软件实现

提出了一个完整的Ｈ．２６３视频编解码系统的软件实现方案．采用多线程技术同时完成编码、解码发送、接收、显示等多个任务,在编码模块中采用汇编语言,提高了执行速度,引入ＭＭＸ技术后,运行速度得到进一步提高．     

废弃型壳砂混凝土的基本力学性能研究

通过一系列试验证明了废弃型壳砂具有良好的级配，其有害物质含量基本符合使用要求．此外，废弃型壳砂混凝土的配置试验和基本力学性能试验结果进一步表明，废弃型壳砂混凝土的流动性较差，水灰比、砂率和龄期对废弃型壳砂混凝土的抗压强度影响巨大．最后并通过拟合得到了废弃型壳砂混凝土的受压应力-应变全曲线方程．