布尔代数上的严格正测度与链条件

布尔代数上何时存在正测度的问题,虽已有相对完整的结果,但多附有一些集论的假设条件.本文在完全不附加集论假设的条件下进行了若干讨论,得到了布尔代数A存在严格正测度的充分条件,并构造了两个有趣的反例.     

（0,1）—矩阵的对称链分解

自１９５１ 年ｄｅ Ｂｒｕｉｊｎ 等人提出了对称链概念后,人们用这个特殊的偏序得到了许多优美的结果．如果一个偏序集可以分解成不相交的对称链之并,则称此偏序集具有对称链分解．目前已证明具有对称链分解结构的偏序还不多．把任意一个（０,１）－矩阵Ａ 中的某些１ 变成０ 得到的矩阵叫做Ａ的导出矩阵．Ｌ（Ａ）表示Ａ及其Ａ的所有导出矩阵所组成的集合,在Ｌ（Ａ）上定义序关系＞ ：Ｐ１＞ Ｐ２,其中Ｐ２ 是Ｐ１ 的导出矩阵．本文构造性地证明了偏序集（Ｌ（Ａ）,＞ ）具有对称链分解．     

两参数马氏链的状态分解定理的应用

本文根据两参数马氏链的状态分解定理,得出了两参数广义标准三点转移函教族不能象单参数情形一样,通过增添有限个状态而使其扩充成标准三点转移函数族;并具体求出了一类只含有限个状态的两参数马氏链的三点转移函数族。     

关于Jordan—Dedekind链定理的注记

首先推出（１）中关于有限长半模偏序集满足Ｊｏｒｄａｎ－Ｄｅｄｅｋｉｎｄ链条件定理证明中仅假定两定点间存在一个有限极大链γ〃，而对γ〃的存在性并未给出严格证明，本文给出一种新的更为严密的证明方法，并指出完善（１）中证明的途径。     

“竞争—冒险”现象判别及消除的线段布尔代数法

本文根据“线段布尔代数”理论,给出了组合逻辑设计中“竞争—冒险”现象判别及消除的一种新方法。     

布尔代数的(λ,μ)-反模糊子代数

引入了布尔代数的(λ,μ)-反模糊子代数和反直积的概念,并对它们的相关性质进行了研究.证明了布尔代数的(λ,μ)-反模糊子代数的并和反直积也是布尔代数的(λ,μ)-反模糊子代数等一系列相关结论.     

反链在正则三值逻辑函数个数计算中的应用

正则三值逻辑函数个数的计算十分复杂，本文将这一问题与ｎ维三元偏序集Ｅ＾ｎ以及（１，２，．．．，ｎ）的幂集中反链的计算联系起来，得到了两个有用的计数公式ㄧＦ（ｎ，Ｒ）ㄧ＝ㄧＥ（ｎ）ㄧ和ㄧＦ（ｎ，Ｍ）ㄧ＝ㄧＮ（ｎ，Ｃ）ㄧ＋２，从而为解决这一问题提供了一种新的途径。     

基于布尔代数的图文文件存在错误的原因和纠错机制

目的性是人类行为的本质特征,目的性体现为主体意图。各种规划和设计等图文文件是主体意图的重要形式,探讨其产生错误的原因和纠错机制,有理论价值和实践意义。本文研究了初始可视化图文文件的组成元素的性质、特点和产生错误的原因,根据幂集对其子集的包含关系,论证了其布尔代数结构,定义了的舍弃、增补、置换等等规范化等处理和修正错误的算子及布尔代数运算。实践证明,存在某些错误和欠缺的各类图文文件,经过有限的布尔运算,均可达到修正错误,优化方案的目的。     

S=1反铁磁海森堡链的热力学性质

应用二阶格式函数方法。研究了双二次相互作用项对反铁磁海森堡链激发谱和热力学性质的影响，目前用二阶格林函数方法研究此类问题尚未见报导。研究发现随着双二次相互作用的增强，反铁磁海森堡链的Ｈａｌｄａｎｅ能隙将降低，内能增加，比热曲线的峰质左移，并且存在一个双二次相互作用临界值ａｃ，当ａ〉ａｃ时，将得不到体系的激发谱。     

分解“债务链”的图论方法

本文利用图论方法建立了表达债权债务关系的图论模型,给出了分析债务关系、分解“债务链”与“三角债”的系统方法。该方法简单易行,並可根据不同管理体制进行区域性处理。     

布尔函数的单调分解

利用化简布尔函数的常用方法，讨论布尔函数的单调分解，得到了判别布尔函数单调分解的几个简明判别准则。     

自由旋转链中任意两个链段取向关联函数的研究

自由旋转链的数学描述相对成熟,它是用于线型高分子链描述的最常用、物理基础明晰的结构模型.在自由旋转链中,任意两个链段相对于空间特定方向(如外场方向)的方向余弦的关联函数与线型分子链的介电性质密切相关.对自由旋转链中任意两个链段方向余弦的关联函数进行了细致的研究,经过理论推导得到通式.     

反链在正则三值逻辑函数个数计算中的应用

正则三值逻辑函数个数的计算十分复杂，本文将这一问题与ｎ维三元偏序集Ｅｎ以及的幂集中反链的计算联系起来，得到了两个有用的计数公式和，从而为解决这一问题提供了一种新的途径．     

人胰岛素A链与B链基因的化学合成,克隆与表达

采用大肠杆菌密码子，用化学法分别合成人胰岛素２１个氨基酸的Ａ链，３０个氨基酸的Ｂ链，并在基因的５端引入甲硫氨酸密码子，尾部加入终止密码，两端加入限制性内切酶，Ａ链为８３个核苷酸，Ｂ链为１１０个核苷酸，经纯化后的寡聚核苷酸进行酶促连接反应后，分别克隆了人胰岛素Ａ、Ｂ链基因，然后选用ＰＬ启动子，构建了以牛生长前１３４个氨基酸的大片段基因，分别与人胰岛素Ａ链、Ｂ链基因的融合基因的融合基因的表达质粒ＰＬＷ     

具有最大代数免疫阶的布尔函数的新构造

针对密码学中布尔函数的构造需求, 利用布尔函数的代数标准型, 分析了布尔函数不存在次数低于 m 的非零零化子的充分条件, 得到布尔函数达到最大代数免疫阶的条件, 从而构造了一类具有最高代数免疫阶的布尔函数, 并对所构造函数的平衡性和计数问题进行了分析。     

基于函数链神经网络的传感器建模

现代测控系统对传感器的精度和工作条件提出了很高的要求.为此,人们不得不采取一些中间补偿和修正措施,实现抗干扰、线性化,以提高传感器和系统的性能.讨论基于函数链神经网络(FLNN)的传感器建模新方法,其精度提高,结构简单、使用灵活、建模容易,易于实时硬件实现.两个算例说明网络的训练和非线性逼近方法,显示出网络的自适应能力、学习能力,基于FLNN的传感器模型可同时实现温度补偿和非线性校正.实际上,利用这种模型可以跟踪补偿环境改变引起的传感器特性的各种变化,在测控系统中具有良好的应用前景.     

布尔函数的多值分解及其PLA实现

本文给出了Ｔ．Ｓａｓａｏ关于布尔函数多值分解的一些例子，讨论了任意函数，对称函数和奇偶函数的ＰＬＡ实现过程．