基于功能方法树的机械产品概念设计

产品设计早期的知识和设计要求是不精确和模糊的，难以形式化表示，使得概念设计活动具有挑战性．而概念设计中功能结构的确定、设计过程模型的建立及多方案生成是其技术关键．建立了产品功能结构，确定出功能参数，根据键合图基础元件建立行为矩阵模型；然后利用势流变换建立功能方法树的基本构造块，采用人工智能技术生成功能方法树，产生多方案及评价；最后结合加工中心上快速夹紧装置对其应用进行了说明．     

基于蕴涵算子上的模糊布尔代数

文中给出R-模糊布尔代数的定义,讨论了其与模糊布尔代数的关系,证明在一定的条件下,有限个R-模糊布尔代数的交(并)还是R-模糊布尔代数,R-模糊布尔代数的同态像(原像)仍是R-模糊布尔代数。     

布尔代数的软商布尔代数

定义了布尔代数的软合同关系、软商代数和软商布尔代数等概念,证明了布尔代数的软合同关系与软理想相互确定,进而由布尔代数的软真理想得到布尔代数的软商布尔代数.最后,证明了布尔代数的软同态具有保软合同性.     

基于8种常用蕴涵算子上的模糊布尔代数

在文献[1]的基础上,利用不等式的刻画方法,给出8种常用的R-蕴涵算子下的R-模糊布尔代数的8种等价形式,推广了现有相应模糊代数的结果,丰富了模糊代数的理论成果。     

布尔代数的模糊点子代数

模糊点子代数是模糊代数研究的一个重要内容.通过将相关代数理论中的模糊点子代数概念引入到布尔代数之中,给出了布尔代数的模糊点子代数的概念,推广了布尔代数模糊子代数的概念.然后,系统地讨论了布尔代数的模糊点子代数的性质,给出了布尔代数的模糊点子代数的2个简化判断定理,证明了布尔代数的模糊点子代数的交、同态像和同态逆像也是布尔代数的模糊点子代数等相关结论.研究结果推广了布尔代数的模糊子代数及其相关结论,进一步丰富了布尔代数上的模糊理论.     

无限置换群上一布尔代数的性质

证明了无限置换群G上的一布尔代数β（G,Ω）的Cantor－Bendixson导数β(1)是原子的且只有有限多个原子。     

基于功能树的权限管理在MIS中的应用

用户权限管理是管理信息系统（MIS）设计开发的重要环节,可以有力保证系统能够安全运行.介绍了基于功能树的权限管理方法,并在此基础上提出一套适用于管理信息系统的权限管理应用模型,使整个权限管理既严密又灵活.     

布尔代数的最小化──离散数学教改谈

本文针对布尔代数的三种定义,分析它们的通缉结构,讨论要理解它们所需的知识与素养上的准备,说明它们与学习者的能力的关系。从而得出对不同层次学生的不同讲法和适用矜三年制计算机应用与维护专业的用最少学时在最少前提下布尔代数的讲法。     

基于泛布尔代数的交通灯逻辑控制模型研究及其仿真

以泛布尔代数理论为依据,以城市主干道十字路口为研究对象,设计了一种新的交通灯逻辑控制模型.该模型根据实时交通流量灵活控制,突破了传统固定配时模式,全面考虑了同时通行的各种车道组合,且逻辑表述简单、实现方便.仿真表明,该模型比固定配时模式能更好地提高车辆通行效率,具有实际应用前景.     

基于泛布尔代数的GDP利率宏观调控算法

国民经济GDP的宏观调控是复杂的系统工程，由于系统的制约因素较多，具有不稳定性。目前货币政策的利率调控是世界各国调控的主要措施，不少学者从不同的角度作出了一些探讨。本文从泛布尔代数的思想体系出发，给出了控制的模型并设计了新型逻辑控制算法，对GDP的控制进行了仿真分析。仿真结果表明，该控制算法较好地反映出控制的时间和力度，为GDP的利率科学调控提供了比较系统的数学理论依据。     

软布尔代数

将软集理论应用到布尔代数中,提出了软布尔代数、软布尔子代数、软布尔代数的软理想、软理想布尔代数等概念,研究了它们的相关性质,并初步讨论了软布尔代数与几类布尔代数的模糊子代数的关系。     

Boolean代数与减法代数

根据集合代数的研究引入了减法代数的概念．证明了任一Ｂｏｏｌｅａｎ代数等价于一个具有一个二元代数运算，且仅可由四个方程式定义的减法代数系统〈Ｘ；－，０，１〉     

一种布尔代数——围棋布尔代数及其应用

研究布尔代数一种形式－围棋布尔代数,它由元素０,１所组成的四个复合元素,Ｏ,Ｉ,Θ,Θ′,即Ｏ＝（０,０）,Ｉ＝（１,１）,Θ＝（０,１）,Θ′＝（１,０）,可看作为元素０,１所组成集合子集,给出其运算规则,符合布尔代数的幂等律,交换律,结合律,吸收律,分配律,互补律,讨论了它在围棋棋团的图像轮廓识别等方面的应用。     

Boole代数的等价刻画

目的给出Boole代数的等价刻画,揭示Boole代数和二值命题逻辑的另一种内在联系,使Boole代数更便捷地和其他代数联系。方法从二值逻辑的公理集入手,运用推理,证明,举例的方法进行了讨论。结果得出了Boole代数的等价刻画以及等价刻画中各条公理的独立性.并且利用等价刻画,讨论了Boole代数与其它代数的关系。结论Boole代数新定义的引入为进一步认识和研究Boole代数提供了新的途径。     

Boolean代数上的一个置换群

本文在[1]的基础上得到如下结果:定理1,是一个Abelian群;定理2,若,则。     

高度非线性平衡布尔函数构造的注记

非线性度是用于密码体制的布尔函数的非线性准则之一。通过综合使用级联、分解、修改、变换等 方法,给出了3种高度非线性平衡布尔函数的新的构造方法,在同等条件下,它的构造函数的非线性度要高 于用以往的方法构造的函数。     

高度非线性平衡布尔函数构造的注记

非线性度是用于密码体制的布尔函数的非线性准则之一。通过综合使用级联、分解、修改、变换等方法，给出了3种高度非线性平衡布尔函数的新的构造方法，在同等条件下，它的构造函数的非线性度要高于用以往的方法构造的函数。