1) model theory
模型论
1.
Semantics of Model Theory and Fixed Points for Logic Programming Based on Further Extension of Fuzzy Logic;
再扩充模糊逻辑中逻辑程序的模型论语义和不动点语义研究
2.
In this paper, the author presented the viewpoint that System Simulation is based on model theory, simulation algorithms and simulation credibility evaluation theory.
本文提出将模型论、仿真算法和仿真可信度评估理论作为系统仿真学科的基础理论的观点。
3.
Back-and-forth method is an important tool for studying model theory and its application.
向前向后方法是模型论及其应用研究中的一个很重要的工具 。
2) theoretical model
理论模型
1.
Establishment of new titer sensing theoretical model of denierer;
新定纤感知器纤度感知理论模型的建立
2.
The theoretical model of fluid-solid coupling seepage in low permeability reservoirs;
低渗透储层流固耦合渗流理论模型
3.
A theoretical model of rain-wind induced vibration of stay cables:a coupled two-mass oscillators with three degree-of-freedoms;
斜拉桥拉索风雨激振的两质量三自由度理论模型
3) theory model
理论模型
1.
the Theory Model Simulation of Dual—Frequency Doppler Flowmeter Based on MATLAB;
基于MATLAB的双频超声波多普勒流量计的理论模型仿真
2.
Study on the theory model and the phrasing analysis of machine translation;
机器翻译的理论模型与语法分析研究
3.
Study on the Theory Model and Measurement System of China's Creative Index
我国创意指数理论模型与测度指标体系研究
4) theoretical models
理论模型
1.
Advances in research on the theoretical models of hemodynamics of cerebral arteriovenous malformation(AVM);
脑动静脉畸形血流动力学的理论模型研究进展
2.
Comparison and Evaluation of Major Western Theoretical Models of Organizational Stress;
国外主要组织压力理论模型的比较与评析
3.
The Study of the Theoretical Models of the Demolition Blasting of Reinforced Concrete Chimney;
钢筋混凝土烟囱拆除爆破理论模型研究
5) theoretic model
理论模型
1.
The theoretic model for heat exchange to cause thermal lesion was established according to the principle for infrared laser revascularization in myocardium.
根据红外激光心肌打孔的机理建立热传导产生热损伤的理论模型,采用有限元算法对打孔时间不同、孔径不同的激光孔道周围心肌组织的温度分布情况进行了计算研究。
2.
In this paper,the theoretic model of same space dual-wavelength tunable TEA CO2 laser is established in the light of Kirchhoff′s diffraction theory.
根据光腔的菲涅耳衍射积分方程,建立了具有同空间特性的双波长可调谐TEA CO2激光器输出光场的理论模型;对光栅位置固定不变改变所选支线和固定所选支线改变光栅的有效使用面积两种情况下的输出光场进行了数值计算。
3.
In this paper,the author analyze the already communication model of information-hiding system,and intro-duce the own theoretic model based on information theory.
新模型重点考虑了信息隐藏系统实际存在的鲁棒性,全面综合了信息隐藏的嵌入、检测和攻击模型,对以往信息隐藏理论模型中没有考虑检测模型做出了改进。
6) model theory
模型理论
1.
According to mental model theory,presentation of minor premise as the initial premise should produce facilitation in modus tollens.
为了进一步检验模型理论的观点并深入揭示条件推理的认知机制,以大学生为被试,探讨了交换推理的前提顺序以及推理内容对条件推理的影响,结果发现:交换条件推理的前提顺序的确不能促进MT推理,不支持心理模型观点。
2.
This paper establishes a model theory for a four identical boson system, investigates the origin of the structural characters of the low-lying state, and finds that the quantum mechanical symmetry is the key factor in determining the structure of a few body system.
本文建立了一个全同四玻色子系统的模型理论，并深入探讨了系统低激发态结构的本质，发现对称性是少体系统结构特征的起源。
补充资料：模型论
| 模型论 model theory 研究形式语言与其解释(模型)之间的关系，也就是形式语言的语法与语义之间的关系。数理逻辑的主要分支之一。模型论把形式语言中的公式、句子、理论(句子集)和模型当作数学对象，引进了近世代数中的一些概念、方法，从而模型论的一些结果和方法也被用到数学之中。因此，模型论成为数学的一个学科，模型论的一些重要定理，如紧致性定理，L－S － T 定理，省略型定理， 插值定理等等， 不仅对逻辑，集合论，递归论的研究有重要作用 ，而且也在数论 、 代数、拓扑等数学学科中得到应用。模型论的一些基本方法，如构造模型的常量方法，图像方法，模型链，超积也已成为常用的方法。一阶逻辑的模型论是模型论的基础，事实上，任何一种逻辑系统都有各自的模型论 。 除各种逻辑的模型论外，模型论的新发展层出不穷 ； 用模型论手法来研究逻辑系统，也叫做模型论逻辑；用模型论方法比较各种逻辑系统的强弱，分析各种逻辑系统的特点，叫抽象逻辑的模型论。用递归论方法研究模型论问题产生递归模型论。只研究有限模型的构造和判定叫有限模型论 。 用模型论的思想去研究代数结构、群、环、模、域等叫做代数模型论。研究模型分类的理论叫稳定性理论。现代模型论对计算机科学也有一定影响。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条