代数

They are to monadic predicate logic what Boolean algebras are to propositional logic, and what polyadic algebras are to first-order logic.

它们对应一元谓词逻辑，而布尔代数对应于命题逻辑，而多元代数对应于一阶逻辑。

The modal logic S5, viewed as a theory in S4, is a model of monadic Boolean algebras in the same way that S4 is a model of interior algebra.

模态逻辑 S5，被看作 S4 中一个理论，是一元布尔代数的模型，如同模态逻辑 S4 是内部代数的模型。

Nither CDMP-1, nor cryopreservation can effect cell cycle of the chondrocytes.

结果：残耳软骨细胞在体外培养时随代数增加呈异染性的糖胺多糖减少，第1、3代Ⅱ型胶原阳性细胞比例约68％/～71％，第5代为23％、显著降低；冻存后第3代为65％，与同代数的细胞没有差别，100ng/ml浓度的CDMP-1可以将第4代细胞的阳性比例维持在66％，而且冻存和生长因子不会引起细胞周期的变化。

Especially, by use of the new point, the concept of atom is defined from which the essential implications of atom and nonseparation are brought in, and Stone theorem of finite Boolean algebra is extended to alleged atomic algebra.

特别本文用新的观点给出了&原子&的定义，这个定义给出了&原子&的&不可再分&的本来含义，并且将有限布尔代数的Stone定理推广到所谓原子代数中去。

A detailed comparison of PISO and SIMPLE methods is presented in numerical simulation of natural convection flow in a square cavity, and which demonstrates that the convergence rate of PISO method is better than the SIMPLE method.

对于每一时层离散得到的代数方程组，采用预条件共轭梯度算法求解，保证每一时层能够高效且较完全地求解代数方程组，从而得到真实的非定常流动发展过程。

Two construction methods for fewer views from limited range—ART and SART are studied, and simulated a physical fields views whose variation of deflection is equal to double-Gauss function, and then reconstructed it, and still analyzed the accuracy of the reconstruction methods.After study and analysis on the theory of ART and SART, and after analysis the properties resulted from their theory root cause, A modified simultaneous algebraic reconstruction method is presented, which is based on ART, this method takes into account both the pixel itself and the pixels close by it which are crossed by the same ray.

论文研究了两种有限投影方向的非轴对称场的CT重建算法——代数重建法和联合代数重建法，并用VC++程序模拟实现了折射率分布为双高斯函数的场的正向投影及重建过程，并对所用算法的重建精度进行了分析。

The derived group series of p - semisimple BCI - algebras and the derived semigroup series of generalized a - associative BCI - algebras are given.

并给出了p-半单BCI-代数的一个导群列和广义a-结合BCI-代数的导半群列。

This fills a gap in the theory of bi-Froebnius algebras introduced by Doi and Takeuchi.

首先，我们给出了基本圈上Frobenius代数成为对称代数的一个数值刻画。

It is the first time to give the formulae of non diagonal matrix elements of tensor operator s which can be employed to describe the ro vibrational interaction for linear tetratomic molecules.

利用Lie代数方法研究了四原子分子振转相互作用，在代数框架内首次给出四原子分子振转相互作用的张量算子非对角矩阵元的表达式，利用这些表达式对线型四原子分子HCCF振转相互作用的l doubling进行了计

Based on the knowledge of real f -algebra, the important properties of semi and unital complex f -algebra are studied.

以实f-代数的理论作为基础，主要讨论了半素和有单位元的复f-代数的重要性质。

And discuss some key point of integrated management system design, include hazard identification and risk assessment and risk control in the occupational health and safety management, the measure of satisfaction target of customer, the flawlessness of law system, the integration of the integrated management system and enterprise standardization system, unify lead institution and work orgnization, integreted internal audit and integrated management review.

同时，论述了一体化管理体系构建中的几个主要问题，包括职业健康安全管理中的危险源辨识、风险评价和风险控制、顾客满意度的科学监测、法律、法规体系的完善、一体化管理体系与企业标准化体系的有机结合、统一的领导机构和工作机构、一体化的内部审核和管理评审。

Deepwater Taranaki is investigated for its petroleum potential, using all available seismic data tied to shallow-water wells.

运用与浅水井相关的现有全部震波探测数据考察了深海区塔拉纳基盆地的油藏前景。