拟左交错BCl—代数的序结构

讨论了拟左交错ＢＣｌ－代数的序结构,给出了其哈斯图,揭示了图中元素间的运算关系。     

关系代数运算的实现算法

本文论述了关系代数运算在电子计算机上的实现算法。这里将关系代数运算区别于传统的代数运算。如求两个关系的和、差、交、投影、选择,求商和连接等关系的特有运算。其中:和、差、积、投影、选择等文被视为基本运算。连接、自然连接、交、求商等一些运算又被视作导出运算。文中首先给出了五种基本运算实现算法,而后又给出了导出运算的实现例。     

反模糊群性质的研究

首先根据经典集合G的一种模糊二元运算,给出利用这种模糊二元运算定义的反模糊群,为了使反模糊群也具有经典的结构,讨论这种模糊群的一些性质,并给出反模糊群的两种等价定义.因此,反模糊群也具有和群一样经典的结构,便于更深入地研究反模糊代数.     

关于格上二元运算“－”的性质研究

在格上定义了二元运算“—”,得到一些运算性质,通过给出分散完备格的概念与性质,得出分散完备格与关于“－”运算满足分配律的格的等价性的刻画,最后,并在格矩阵上也定义了二元运算“—”,从而得到相关性质与结论。     

高级加密标准AES恒定的代数结构性质研究

介绍了高级加密标准AES一个新奇的代数性质,将AES非常简单的代数运算进行组合,出现了一系列恒定不变的代数结构,而且组合的代数运算具有非常小的代数阶数,这是目前其他的密码算法所不具有的代数性质,或许这种代数性质就是我们日后攻击AES的一个出发点。     

关系代数语言的开发

本文原则上讨论关系数据库基于关系代数运算的操纵语言的开发原理。并对该语言具体开发时所涉及的五种基本关系代数运算,给出具体的算法和它在微型机上APPLE—Ⅱ上调试模拟(打印)结果。     

关于强下(上)K-半连续性

研究了序拓扑向量空间映射的强下(上) K-半连续性与连续性及 K(-K)-连续性之间的关系,得到了一些充分条件和必要条件.     

关系代数中用基本运算表示非基本运算

关系代数中的运算可分为基本运算和非基本运算，本文重点讨论了如何用基本运算表示非基本运算，给出了用基本运算表示除法运算的关系代数表达公式，解决了以往用抽象定义进行除法运算难度大的问题，直接应用除法的基本运算表达公式得出了结果，从而找到了在其它关系操作语言中进行与除法等价运算的一条重要途径。     

BCI-代数的内在半群结构

设(X, *, 0)为BCI-代数.本文通过在X中引入二元运算“·”x·y=(0*(0*x))*(0*y):(0*y),(x, y∈X),证明了x·y=inf{z∈X|z*x≤y, x, y∈X}及(X,·)为可换幂幺半群.从而揭示了BCI-代数内在的半群结构.     

变流器谐波的一种分析方法

本文介绍了一种分析变流器谐波的方法，用代数求和运算代替积分运算，使谐波系数计算大为简化，文中用多个实例说明了这种方法在工程上的实际应用．     

集合论与命题逻辑的类比

从集合论与命题逻辑的运算角度,将二者进行了类比,由于二者分属相同代数系统中集合代数 与命题代数部分,因此它们具有布尔代数的所有性质     

Delta型并联机器人运动学正解几何解法

并联机器人运动学正解的封闭解问题到目前为止没有得到全面解决，常用的解决方案是采用基于代数方程组的数值解法，该方法不足之处是推导过程复杂，实际应用过程中存在多解取舍的问题。为此运用空间几何学及矢量代数的方法建立了三自由度Delta型并联机器人的简化运动学模型，求解并联机器人运动学正解。与基于代数方程组的求解方法相比，推导过程简单、直观，回避了并联机器人运动学正解多解取舍的问题，可直接获得工作空间内满足运动连续性的合理解。     

随机变量独立性的判定与运用

主要研究了二维离散型随机变量和二维连续型随机变量的独立性问题.对于二维离散型随机变量,先从简单例子分析得到判定定理,然后从线性代数的角度予以考虑,分别用矩阵的初等变换和秩的相关概念对其进行了证明.对于二维连续型随机变量,介绍了一个比较直观的定理;同时,对其应用进行了举例说明.     

SH波入射时多个浅埋圆形衬砌结构附近半圆形沉积层的地表位移

本文利用复变函数和多极坐标的方法,给出了多个浅埋圆形衬砌结构附近半圆形沉积层的地表位移对SH波散射问题的解答.在求解过程中,将整个求解区域分割成两个区域,一个区域为半圆形沉积层,另一区域为多个浅埋圆形衬砌结构附近带半圆形凹陷的半无限弹性空间.在这两个区域和浅埋圆形衬砌结构内部分别构造满足水平界面上应力为零的位移解,并在半无限弹性空间和半圆形沉积层及浅埋圆形结构的公共边界上分别实施位移和应力连续条件,建立求解问题的无穷代数方程组.通过算例的数值分析表明,浅埋圆形衬砌结构的存在对沉积层附近位移有明显的放大作用,且这种作用随着浅埋衬砌圆形结构之间距离的增大而减小.     

三元数及其在实数域上三维代数

三元数系是建立在实数域上的三维代数，与普通的多维代数不同，它的乘法运算不满足群的规则．针对此问题，需要重新制定其运算规则．在建立三元数与向量之间的联系之后，提出三元数的乘法在几何上对应于空间向量的旋转．通过正交分解，将两个三元数的乘法先分解成两个同构关系，然后引进两类不同的群，再按各自群的规则分别进行计算．亦即将不满足群规则的两个三元数的乘法计算转化成在群的规则下的运算，初步证实三元数系的存在．     

基于MBR的主方向关系运算

针对主方向关系推理中的合成与取反运算,利用矩形代数及区间代数理论,提出了基于MBR(Minimum Bounding Rectangles)主方向关系与矩形代数关系相结合的新模型,利用矩形代数理论实现了基于物体MBR主方向关系的表述问题,同时给出了主方向关系推理中的基本运算,并证明了理论的正确性.通过将物体方向关系和矩形代数的有机结合,利用矩形代数良好的计算性质可以为以后的主方向空间推理以及一致性检验提供更为简便快捷的算法.     

复合材料尖削结构同级优化方法研究及ISIGHT实现

现有复合材料优化方法在进行尖削结构优化时,设计变量多而且难以保证纤维的连续性,文章提出了一种基于尖削结构模型的复合材料的同级优化方法。通过引入了铺层组、铺层组厚度、铺层组铺层顺序和铺层组距离变量等参数,在不影响优化结果的同时能有效的减少设计变量个数,并保证纤维的连续性。文章借助商业软件ISIGHT实现了该同级优化方法,采用某层合板优化问题验证了该方法的有效性。     

杂交混合有限元方法求解二维椭圆界面问题

采用杂交混合有限元( H y b r i dm i x e df i n i t ee l e m e n t ) 方法求解椭圆界面问题。由于扩散系数在界面上间断, 椭圆界面问题的解和梯度在界面上会出现跳跃现象, 针对二维椭圆界面问题, 在三角网格上采取杂交混合有限元方法, 该方法的特点表现在对于复杂的界面, 三角网格剖分可以很好地拟合界面。当有限元近似空间取k阶多项式时, 方程的解和梯度在L2范数下均会达到最优阶收敛, 即k+1阶。由于线性方程组的矩阵是对称正定的, 因此可以应用共轭梯度方法求解方程组。数值算例结果表明, 杂交混合有限元方法对于求解强界面问题十分有效。     

基于Linux的高可用集群在多校区计算机实验室的应用

针对多校区计算机实验室构建高可用服务器，提高关键服务的可靠性和连续性问题，介绍了高可用集群技术，分析了2个节点集群的高可用性，给出了基于Linux平台利用廉价的COTS硬件和开放的Heartbeat软件构建高可用集群的过程，并提供了一个高性价比的解决方案．实践证明，该方案的应用获得了很好的成效．     

基于Linux的高可用集群在多校区计算机实验室的应用

针对多校区计算机实验室构建高可用服务器,提高关键服务的可靠性和连续性问题,介绍了高可用集群技术,分析了2个节点集群的高可用性,给出了基于Linux平台利用廉价的COTS硬件和开放的Heartbeat软件构建高可用集群的过程,并提供了一个高性价比的解决方案.实践证明,该方案的应用获得了很好的成效.