t—正则环与t—v环

本文把可换正则环类恰为可换 v-环类的结果推向广义的情形.定义了 t-正则环的概念,并在可换情形下研究它与文献[1]中提出的 t-v 环的关系.     

减速器设计专家系统中知识库的构造

本文首先简单介绍了通用减速器设计专家系统——ICADGR的结构,然后着重讨论了该系统知识库(包括领域知识库和元知识库)的构造。最后指出知识、特别是其中的无知识(meta-knowledge),在问题求解和人类知识活动中的核心作用。     

甘草属植物中三萜类化学成分研究进展

本文扼要阐述了甘草属植物中三萜皂甙及三萜皂甙元提取、分离、纯化及鉴定方法,系统归纳了该属植物中发现的三萜类化学成分的结构特征及波谱技术在该类化合物结构鉴定中的应用。     

F映射(I)

本文引入一种点式的F映射,定义了内像、全像、内逆像、对偶映射及对称映射等概念,研究它们的基本性质,并证明了F映射的分解定理。文中还给出了mF单、满、双射及F单、满、双射的定义,讨论了它们之间的关系。     

Fe-C-Si三元系熔体热力学

用银浴法在1450℃测定了两组Fe-C-Si合金熔体的等活度(α_(Si))数据,由此计算了活度交互作用系数ε_(Si)~C,ρ_(Si)~C及ρ_(Si)~(Si,C);用Gibbs-Duhem方程积分计算了Fe-C-Si三元熔体的碳的活度系数lnγ_C。     

中厚板GMAW近缝区焊接传热的边界元计算

依据焊接准稳态传热的边界元计算模型,编制了计算机程序。对中厚板熔化极气体保护焊(GMAW)条件下常见的指状熔深的近缝区传热问题进行了计算,计算结果与实测符合较好。说明用边界元法分析焊接热过程是有效的,为焊接热过程的计算机模拟提供了新的数值分析手段。在进行焊接近缝区传热计算时,如果以熔池边界直接作为热源,则忽略材料热物理参数的非线性对计算精度没有明显的影响,因此焊接近缝区传热计算的关键是熔池形状的确定问题。     

P^k元域上的二项方程和三项方程根的状况

F是一个p~k元域,n是一个正整数,x~n=d与ax~(2n)+bx~n+c=0(a≠0)是F上的方程。本文中给出方程x~n=d与ax~(2n)+bx~n+c=0(a≠0)在F中有根或没有根的条件。若方程有根,则给出根的个数。     

矿山压力问题的离散元-有限元耦合分析

本文介绍了离散元的基本理论,提出了离散元锚杆模拟基本原理,离散元与有限元耦合计算式,并用自编D-I-1程序分析了两个典型算例。