关于蕴涵BCK-代数的半群刻划

给出了蕴涵BCK-代数的伴随半群作为剩余半群时的若干特征，并从剩余半群的角度对蕴涵BCK-代数进行了刻划．     

n-李代数导子的Jordan-Chevalley分解

利用n-李代数导子性质和一般线性变换的Jordan-Chevalley分解，得到，n-李代数的导子也可以进行Jordan—Chevalley分解．     

随机数学中若干典型问题的计算机仿真

运用计算机代数系统Maple研究了随机数学中若干典型问题的计算机仿真．研究结果表明，计算机仿真是数学实验的重要手段之一，也是科学研究的重要方法．     

基于抽象语法描述的中间表示技术

中间表示技术是高质量可重定目标编译器开发中的关键技术。针对嵌入式软件危机 ,提出了一种基于抽象语法描述的中间表示技术 AIR。AIR以代数数据类型为主体 ,并用面向对象特征对其进行扩展。在这种中间表示技术中 ,通过使用不受限制的高级中间表示 ,可充分利用现有的前端。通过这种语法能对现有中间表示提供自然编码的抽象中间表示 ,提高了编译成份的可复用性和互操作性 ,简化了编译基础设施的建构 ,进一步实现了高质量编译器的快速开发     

拱坝的危险

玛尔帕塞的悲剧 西欧和北美是世界上推动建坝技术发展的两大中心,西欧的历史更早一些。这两位祖师爷的建坝思路和风格似乎有些差异。对于美国来讲,她修建的坝以大体积的重力坝和土石坝为多,当然也修建了不少高拱坝,但坝身也常较厚实。像那座著名的高221米的胡佛拱坝,它的断面完全不比重力坝瘦小。这也许是她国力强大、物资丰富的反映,     

左Yetter-Drinfeld模范畴中的双Frobenius代数

考虑左Yetter—Drinfeld模范畴中的双Frobenius代数(A，φ，t，Ψ)．证明了左Yetter—Dfinfeld模范畴中的双Frobenius代数(A，φ，t，Ψ)的对偶(A，t，φ，Ψ*)也是左Yetter—Drinfeld模范畴中的双Frobenius代数．给出了右积分φ∈∫A^r,t∈∫A^r,模函数α和模元g的模和余模结构，也给出了Yetter—Drinfeld模范畴中的双Frobenius代数的Radford的对极Ψ^4公式．     

鲁米诺-H2O2-CuSO4体系中针剂维生素C的抗自由基活性

采用鲁米诺 H2 O2 CuSO4化学发光体系 ,测定了 2种不同厂家生产的维生素C的抗自由基活性 ,比较了 2种维生素C针剂的自由基清除率 .结果表明 ,该体系可以用于抗自由基活性检测 ,方法简单快速     

玉林市黑斑蛙冬季感染曼氏迭宫绦虫裂头蚴情况调查

通过对玉林市黑斑蛙冬季感染曼氏迭宫绦虫裂头蚴情况进行了调查，结果是：总感染率达77．6％，平均感染虫体数为7．2条，并随蛙体重量增加而增多；在不同部位，以后肢肌肉检出率最高，感染率为72．37％，平均感染虫体数为5．07条。首次报道肝脏内有感染。     

内存数据库查询优化

基于一种广泛接受的内存数据库系统基本概念及内存数据库中的SB-树索引结构，提出了更方便关系代数操作的SB^*-树．在此基础上，提出了优化的关系代数操作的实现算法．根据这些算法和关系代数等价定理，给出了对关系代数查询树进行逻辑优化的规则，并证明了逻辑优化的正确性．最后给出了代价评估模型，实验表明提出的内存数据库查询优化算法相对于传统的优化算法具有更好的时间及空间性能．     

最简线状李代数

作者定义了一类线状李代数，即所谓的最简线状李代数，它是一类结构最简单的线状李代数，也是Luis Boza, Francisco J. Echarte 和 Juan Nunez在1994年对复数域上的10维线状李代数的分类中所提到的参数全为零的代数μ₁₀¹³⁰的推广。设g是域F上的n维最简单的线状李代数（n≧4）,确定了g的导子代数，并且证明了当F 的特征为0或p＞n-2时g的导子代数不可解的完备李代数。 还计算了g的自同构群，并证明了当∣F∣≥n时它是一个无中心的可解群。此外，对于素特征的的情形，还考虑了g 的可限制的充要条件，并对非可限制的情形确定了g 的极小p—包络。