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.
本文运用最新发展起来的有限元语言和有限元程序自动生成技术生成了解三维磁场问题所需要的FORTRAN有限元程序系统,在此矢量磁位被用来作为磁场的描述函数。
本网站所收集内容来自网友分享仅供参考,实际请以各学校实际公布信息为主!内容侵权及错误投诉:1553292129@qq.com
CopyRight © 2020-2024 优校网[www.youxiaow.com]版权所有 All Rights Reserved. ICP备案号:浙ICP备2024058711号