On Boolean elements and derivations in 2-dimension linguistic lattice implication algebras

A 2-dimension linguistic lattice implication algebra(2DL-LIA)can build a bridge between logical algebra and 2-dimension fuzzy linguistic information.In this paper,the notion of a Boolean element is proposed in a 2DL-LIA and some properties of Boolean elements are discussed.Then derivations on 2DL-LIAs are introduced and the related properties of derivations are investigated.Moreover,it proves that the derivations on 2DL-LIAs can be constructed by Boolean elements.

基于无序导线数据的井巷三维自动建模新方法及其应用

提出一种基于无序导线数据自动提取井巷结点的井巷三维自动建模方法,克服了现有井巷建模方法存在的原始导线数据提取复杂,具有复杂斜坡道、竖井、多水平井巷难以进行数据集成,无法同步建模等问题。首先提出基于Bentley-Ottmann算法的三维空间线段求交算法,获取三维井巷各类结点单元信息;然后根据所求结点单元使用广度优先遍历算法进行标准化井巷网络图构建,形成井巷结点单元的空间几何结构;最后通过中线结点单元信息及邻接矩阵数据集,采用多源画线框算法构建基本三维井巷模型,并利用布尔运算技术处理井巷交岔点、竖井、斜坡道等复杂建模情况。结果表明:该算法可以通过无序导线快速生成任意方位三维井巷模型,并结合多源画线框算法与布尔运算算法的优点提高了井巷结点建模连通性处理的速度和效果。本文的研究成果已经在甘肃某矿区采场稳定性安全监测平台得到应用,其自动化生成的井巷模型能够为安全监测数据分析提供实时的可视化信息服务。

R_0代数中的真布尔元

通过研究R0代数中一类特殊的元——真布尔元的性质,给出了一些特别的R0等式,并据此得到了真布尔元对R0代数分类的充要条件,为格上研究R0代数开辟了一个新的方向。

关于Boole语义的真度不变性定理

基于B-赋值理论,在B为有限Boole代数的前提下,得出了三个主要结论。首先,讨论了广义Boole函数与Boole函数之间的关系。其次,得出了在有限Boole语义理论意义下的真度不变性定理。最后给出了经典逻辑系统关于有限Boole语义的完备性定理。

格蕴涵代数的LI-理想格及其素元刻画

运用格理论的原理和方法对格蕴涵代数L的LI-理想概念作进一步研究.首先,在L的全体LI-理想之集ф_(LI)(L)上定义了格运算■和■,蕴涵运算■以及伪补运算■,证明了(ф_(LI)(L),,■,■,■,{O},L)构成一个完备Heyting代数的结论.其次,利用运算固的性质给出了(ф_(LI)(L),,■,■,■,■,{O},L)成为Boolean代数的若干充要条件.最后,借助于L的素LI-理想之特性获得了格(ф_(LI)(L),,■,■,{O},L)中素元的若干等价刻画.

Kleene代数有直积分解的一个条件

本文利用分明元等概念 ,讨论了Kleene代数的直积分解 ,得到了Kleene代数为既约的条件 ,并在完备的条件下给出了Kleene代数有既约分解的一个充要条件 .

MBD环境下加工元的三维机加工艺设计方法

针对目前基于模型定义(Model-Based Definition,MBD)环境下三维机加工艺设计过程中出现的信息不一致问题,在MBD加工元的概念基础上,提出基于MBD加工元的三维机加工艺设计方法和设计过程。研究基于MBD加工元的生成方法,并在此基础上研究基于MBD加工元的工艺方法决策。基于工序模型的关联复制技术和布尔运算,建立基于MBD加工元的工艺模型。开发基于MBD加工元的机加工艺设计系统,并以飞机盒类零件为例验证所提方法的有效性。

基于布尔交运算的三维流形单元生成研究

三维流形单元的生成是进行三维数值流形分析的首要问题之一。详细研究了三维流形单元的生成过程,并采用C++语言编写了相应的程序。借鉴二维流形单元的形成技术,基于拓扑学的"有向性"原理,将点、有向边、有向环、有向面和有向壳等作为三维块体的基本数据结构。将材料体和数学网格进行布尔交运算,并对形成的流形块体进行有效性检测,满足要求后即形成新的三维流形单元。每个数学网格的顶点作为新流形单元的数学覆盖,再对数学覆盖进行细分,形成流形单元的物理覆盖。分别选取凹形体、空心体和包含有限结构面的材料体与数学网格进行布尔交运算,并选取一个典型工程来检查该方法和程序的可行性。计算结果表明,该方法可以对复杂块体(凹形体、空心体和包含有限结构面的体)进行处理,为今后进行复杂结构计算和分析奠定基础,具有较强的适应性和可靠性。

电路三要素理论和布尔代数失效原因分析

本文提出一个克服布尔代数失效的电路三要素理论。文中首先分析布尔代数在数字电路中失效的原因,接着证明开关运算定理等,它概括了文献中曾需一一证明的绝大多数开关运算等式,然后表明:数字电路的统一性既存在于门级和元件级电路间,也存在于各型元件级电路结构间,以及动态与静态电路间。此外,本文提出元件级电路设计的卡诺图方法和代数方法。

可计算的复杂桥梁特征建模技术研究

由于缺乏有效的计算机图形学技术和三维几何建模支持,当前可计算桥梁三维几何建模面临着很大的困境。通过以下四方面的研究,建立了复杂桥梁的可计算三维特征几何模型:a)通过布尔运算,实现了任意桥梁构件基本截面的定义;b)建立了适合桥梁建模特点的曲线拉伸、渐变和构件放样等基本的三维建模方法;c)通过单元划分和节点编号策略,实现了复杂桥梁三维几何模型的构件间约束的定义;d)通过特征依赖树结合桥梁几何模型,建立了桥梁三维特征模型,并在原型系统BridgeDesign中进行了系统实现。本研究表明,根据复杂桥梁建模的专业特点,建立可计算复杂建模技术,对于提高复杂工程构件特征建模和设计计算具有显著的意义。

一种基于焦元解耦和PCR6证据推理方法

证据推理适用于无先验信息情况下的信息融合,在不确定性的表示、融合方面有明显优势。提出一种基于焦元解耦和第六类比例冲突分配规则(PCR6)的证据推理方法,在各证据源中利用Smarandache编码得到各焦元的单调布尔函数,将冲突焦元、不确定焦元及混合焦元分配到相应的单原子焦元上,再利用PCR6进行融合。通过数值算例仿真表明:提出的方法充分考虑冲突焦元、不确定焦元及混合焦元对融合结果影响,与直接利用PCR6融合相比,减少了推理结果中不确定、冲突焦元的融合。融合过程简单,融合结果更直观、合理,便于判决。

一类特殊布尔函数的代数免疫度研究

构造具有好的代数免疫度的布尔函数是布尔函数研究的重要问题之一。基于布尔函数的级联构造方法,给出了一类具有好的代数免疫度的布尔函数;分析了所构造函数的性质,证明了构造布尔函数hn+1与其子函数代数免疫度之间的关系,并确定了已构造一阶级联函数的代数次数、平衡性以及非线性度。研究结果表明,在级联构造方法下,i次级联构造函数比一阶构造H0的代数免疫度有显著提高。

基于ANSYS的智能制造实体模型的构建方法研究

结构的有限元分析必须通过物体的实体模型来进行,也是有限元分析软件ANSYS具有的重要功能之一,ANSYS软件中实体模型的有两种方法获取,一种方法可以通过CAD软件绘制零件得模型,采用一定的文件格式输入,再一种方法就是在ANSYS可以通过ANSYS软件所提供各种工具的构建模型,直接在ANSYS中建立实体模型时,可以分为自上而下和自下而上两种建模方式,分析了两种类型的建模方法,为有限元分析提供参考.

基于虚拟现实CAD系统的虚拟零件设计

根据虚拟装配理论,介绍了基于虚拟现实的CAD系统,阐述了虚拟零件建模原理,研究了虚拟零件基于约束的三维操作。

布尔元在软代数中的应用

软代数是布尔代数的本质性推广，概括了Ｆｕｚｚｙ集理论的运算特性．本文研究了布尔元的几个重要性质，给出了布尔元的代数特征之后，利用布尔元刻画了软代数中的“分支”问题，为软代数中的分支构造问题的探讨奠定了一定的基础．

广义循环布尔矩阵三明治半群中的完全正则元(英文)

设n是一个正整数,Cn(r)是B={0,1}上所有n阶r-循环矩阵组成之集,Gn=∪r=0 n-1 Cn(r).对于半群Gn中任一个固定的r-循环矩阵C,在Gn中定义一个新的运算"*":A,B∈Gn,A*B=ACB.则(Gn,*)构成一个半群,称(Gn,*)为(带有三明治矩阵C的)广义循环布尔矩阵三明治半群,并记为Gn(C).刻画了半群Gn(C)中的完全正则元,并给出了求Gn(C)中所有完全正则元的算法.

Boole代数上的几个新度量结构

设B是Boole代数,Ω是B到Boole代数{0,1}的全体格同态,μ是Ω上的概率测度,基于B中元素的尺寸的概念提出了元素之间的几个伪度量,建立了B上的度量结构,研究了其上运算的连续性及相互关系.

布尔群代数夹心半群中的幂等元

设ＢＧ是布尔群代数，Ｒ是ＢＧ中的非零元素，在ＢＧ中讨论关于Ｒ的夹心半群 ＢＧ（Ｒ）、主要给出ＢＧ（Ｒ）中的元是幂等元的充要条件、幂等元的结构定理和求幂等元的一 种算法，并把结果应用到布尔矩阵中．

无原子布氏代数理论的计算复杂性

研究无原子布氏代数的计算复杂性 .得到了下面的新定理 :定理 1 无原子布氏代数理论Δ具有完全的量词消去法 ,也就是说每一个式子都Δ等价于一个开式子 .定理 2 无原子布氏代数的初等型Γ (x1,… ,xn)是由型内的不含量词的全体开式子所唯一决定 .定理 3 无原子布氏代数的一个长度为 n的语句的判断过程所消耗的 Turing时间和空间都是属于 2 2 cn指数级 .

基于ANSYS的智能制造实体模型构建方法

结构的有限元分析必须通过物体的实体模型来进行,也是有限元分析软件ANSYS具有的重要功能之一.ANSYS软件中实体模型的有两种方法获取,一种方法可以通过CAD软件绘制零件得模型,采用的一定的文件格式输入;再一种方法就是在ANSYS可以通过ANSYS软件所提供各种工具的构建模型,直接在ANSYS中建立实体模型时,可以分为自上而下和自下而上两种建模方式. 文章分析了两种类型的建模方法,为有限元分析提供参考.