关于布尔代数诱导的布尔环的性质

本文提出了由布尔代数所诱导的布尔环的概念，并应用布尔代数的运算性质，给出了布尔环的若干运算性质。     

单位圆布尔代数与布尔函数简化

本文利用单位圆建立布尔代数,并确立简化布尔函数的方法.继刘祥南(1982)后构成又一种新的布尔代数例证,使得逻辑设计和布尔公式的演算简捷、直观,便于初学者对概念的理解和接受。     

含原子运动多光子J-C模型中热纠缠现象

利用共生纠缠度研究了含原子运动的多光子Jaynes-Cummings模型中原子与腔在有限温度下的热纠缠态. 结果表明, 存在一个临界温度, 当环境温度高于该临界温度时, 原子和腔场之间将没有任何纠缠, 临界温度随耦合系数及原子跃迁时吸收和发射的光子数的增加而增高. 并且随温度的升高, 共生纠缠度减小. 对于典型的实验数据, 临界温度大约在10-5K数量级.     

含原子运动多光子J-C模型中热纠缠现象

利用共生纠缠度研究了舍原子运动的多光子Jaynes—Cummings模型中原子与腔在有限温度下的热纠缠态．结果表明,存在一个临界温度,当环境温度高于该临界温度时,原子和腔场之间将没有任何纠缠,临界温度随耦合系数及原子跃迁时吸收和发射的光子数的增加而增高．并且随温度的升高,共生纠缠度减小．对于典型的实验数据,临界温度大约在10^-5K数量级．     

弱场作用下二能级原子的线性熵研究

在弱相干场作用下,研究了二能级原子和光场相互作用系统中原子和光场线性熵的演化规律,讨论了原子初态对原子和光场线性熵的影响。结果表明,原子和光场的线性熵既与原子初始时刻的无序度有关,也与原子处于基态的概率大小有关。当原子处于基态时,原子和光场的线性熵完全相同;当原子处于混合态时,原子和光场的线性熵存在负关联。     

双光子J-C模型中原子和场的熵特性

研究了双光子J-C模型中原子和场线性熵的演化规律，讨论了原子初态对原子和光场线性熵的影响，结果表明，当原子初始处于纯态时，在原子布居回复周期Tr处，原子（场）的线性熵趋近于零；当原子初始处于混态时，在原子布居回复周期Tr处，原子线性熵较大，而场的线性熵接近于零，在t=π／4g和t=3π／4g处，原子的线性熵有极小值，而场的线性熵较大。     

原子与压缩真空场线性熵的演化特性

研究了二能级原子与压缩真空场相互作用系统中原子和场线性熵的演化规律。在弱压缩真空场作用下,原子和场线性熵的振荡频率依赖于原子的初态。当原子初始处于纯态,原子和场线性熵的演化完全相同;当原子处于混态时,原子和压缩真空场线性熵的变化有着负关联。在强压缩真空场作用下,原子线性熵的演化与原子的初始状态无关。     

热化学非平衡流场辐射特性数值计算

设计了耦合辐射的三维热化学非平衡流场计算方法,以适用于任意形状的网格。采用Jameson有限体积法求解耦合辐射源项的三维N-S方程。化学模型包含11个组元,20个化学反应。辐射源项通过直接求解辐射输运方程RTE获得。在空间和方向上分别离散后,利用有限体积法求解不同方向上的辐射输运方程,精确计算了波长为100-1500nm所有主要组元的吸收系数,逐条计算了目前已观测到的空气组元的原子谱线,而对分子的带状谱采用了带模型计算,并最终得到了驻点处辐射密度随波长变化的分布情况。     

腔外原子选择测量对腔内原子量子性质的调控

考虑了2个初始处于纠缠态的级联三能级原子,将其中一个原子注入高Q腔中与单模压缩真空场发生共振相互作用。利用全量子理论和数值计算方法研究了腔外原子的选择测量对腔内原子偶极振幅平方压缩的影响。结果表明,通过对腔外原子进行选择性测量,可调控腔内原子的偶极振幅平方压缩。     

石油储罐火灾爆炸事故树分析

油罐的火灾爆炸主要由点火源和油气泄漏造成。通过应用事故树分析法(FTA)对点火源和油气泄漏的基本原因进行分析,建立了石油储罐火灾爆炸事故树。采用布尔代数化简法求出系统的最小径集,给出了事故树中基本事件的结构重要度分析结果。通过对系统的事故树分析,探讨了引起油罐火灾爆炸的主要原因,并提出了相应的预防和改进措施。     

Boolean方阵的性质

本文主要研究了Booleam方阵(以下简称B方阵)的性质,将所得主要结果归结为3个定理。     

基于AutoCAD的任意复杂窗口裁剪技术

根据AutoCAD图形的特点及AutoCAD中已有的功能提出，将封闭的窗口定义成“面域（region）”参与裁剪运算，并给出了面域的自动生成方法；提出将被裁图形实体分成开环实体和闭环实体分别进行处理：对开环实体，利用ObjectARX提供的实体交函数实现了求交和排序同步完成；对闭环实体，组合使用“面域”的布尔操作实现窗口裁剪。综合以上技术编写的窗口裁剪程序模块具有结构简单，稳定性好的特点。     

德摩根拓扑代数的可数公理,可分性和连通性

本文引入和研究德摩根拓扑代数的可数公理，可分性和连通性，拓宽了原有的结果。     

电气控制(PLC)设计

本文分析了固定变化的自动生产机械的特点，利用较少的中间元件，减少区分中间元件的动作次数，利用逻辑分析法，建立布尔代数模型，比较方便和可靠地解决这类生产机械的控制程序设计。用这个方法设计的控制程序，很容易用可编程序控制器（PLC）的指令编程运行，也能方便地用继电器、接触器予以实现。     

广义代数格的可加性与T0拓扑

证明广义代数格同构于拓扑空间的闭集格当且仅当它是可加的，进而证明可加广义代数格之范畴等价于T0拓扑空间之范畴。因此可加广义代数格在拓扑中可起与传统代数格在代数中相同的作用。     

德摩根拓扑子代数和乘积代数

引进和研究德摩根拓扑子代数和乘积代数，它们分别包括点集拓扑中的子空间和乘积空间，并以其作为特例。     

计算机图形学中二维布尔运算的稳定性分析

系统介绍了二维图形布尔运算的原理及其计算机实现，详细分析了被覆盖实体的起点在覆盖多边形边界上时布尔运算的不稳定性，给出了当被覆盖实体起点在覆盖多边形边界上时奇偶段的取舍规则，应用该规则可提高算法的稳定性。     

Hopf代数的一类表示

在Hopf代数的Killing根为零的情形下,讨论了有限维Hopf代数的伴随子模.通过给定的基,完全刻划了所有伴随单模的模作用,得到了Hopf代数上的正则单模与伴随单模之间的同构.     

Heyting代数与关联BCK代数的关系

 Heyting代数是作为直觉主义命题的代数模型而引进的,而BCK代数是日本数学家于1966年引入的代数。讨论了Heyting代数与BCK代数之间的关系,给出了构成Heyting代数的一个充要条件。