In finite language framew ork, this paper explores valuation structures associated with ordinary KLM prefe rential models.
本文在有限语言框架下 ,对一般 KLM占先模型的赋值结构性质进行了研究 ,给出了占先模型与其赋值结构逻辑等价的充分必要条件 ,证明了有限语言框架下 ,逻辑等价的单射模型在同构意义下的唯一性。
A computer program written by the finite element language is very like a finite element paper or textbook and very easy to understand,modify and maintain.
本文运用最新发展起来的有限元语言和有限元程序自动生成技术生成了解三维磁场问题所需要的ＦＯＲＴＲＡＮ有限元程序系统，在此矢量磁位被用来作为磁场的描述函数。