Back-and-forth method is an important tool for studying model theory and its application.
向前向后方法是模型论及其应用研究中的一个很重要的工具。
Agas breakdown model theory was suggested by the author.
作者提出了气体击穿理论模型。
RDF inference is carried out on a triple based model theory.
RDF推理主要是在其以三元组为基础的模型理论上展开。
Back and forth method is a new tool in study of model theory and its application.
向前向后方法是模型论及其应用研究中的一个新的工具。
Continuous model theory also preserves many key properties of classical model theory.
连续模型论拥有很多经典模型论所拥有的重要性质。
A system model of a mooring line was constructed according to the NARMAX model theory.
根据带控制变量的非线性自回归滑动平均(NARMAX)模型理论，建立了锚泊线的系统模型。
The convex model theory is implemented to handle the uncertain parameters of multidisciplinary systems.
研究了用凸集模型描述不确定参数时，多学科系统的不确定性分析方法。
The core idea of the algorithm is to use the cloud model theory to generate crossover and mutation probability.
算法的核心思想在于利用云模型理论生成交叉和变异概率。
The space truss model theory argues that the stress flow transfers along with the truss composed of piles and column.
空间桁架模型理论认为，承台内部力流是沿桩柱间的空间桁架传递的。
To address the problem above, the speech recognition system has been built on the basis of HTK as well as hidden markov model theory.
针对上述问题，结合隐马尔可夫模型原理，在HTK语音处理工具箱的基础上构建了中英文特定词语音识别系统。
This paper further expands the "quasi-photon" model theory, and tries to explain some physical phenomena in physics applying the model.
本文对“类光子”模型理论做进一步扩展，并尝试应用“类光子”模型解释物理学上一些物理现象。
OBJECTIVE: To introduce the mental model theory and probabilistic theory with their disputation and tradeoff in conditional inference domain.
目的：介绍条件推理领域心理模型理论与概率理论以及它们之间的争论与融合。
The analytical method of softened truss model theory is proved feasible by comparing the experimental data with calculated carrying capacity.
将计算得出的抗剪承载力和试验数据进行对比，证明了软化桁架模型的分析方法是可行的。
Based on the cell model theory of chaotic systems, a new control method for the chaotic system with (1-core) single-scroll attractor is proposed.
基于混沌细胞模型理论，提出适用于单核单涡旋混沌系统的定平面折返控制法。
The competency model theory frame can provide theoretical guidance to improve the quality-oriented education in the direction and the actual effect.
素质模型的理论框架能够为大学生素质教育提供方向性的理论指导，提高素质教育的针对性与实效性。
The possible existence of the narrow width structures in the Antinucleon-Nucleussystem is discussed qualitatively by using complex shell model theory.
用复平均场和复剩余相互作用的壳模型理论，定性地讨论了反核子与原子核相互作用体系出现窄宽度结构的可能性。
Proof theory semantics provides a proof procedure, corresponds to model theory semantics, which may lead to the implementation of model theory semantics.
一般逻辑程序的证明论语义给出一个证明过程，对应于相应的模型论语义，同时也为模型论语义的实现提供基础。
Applying random trouble process model theory of maintainable system, this paper tests reliability and maintenance on China-built 190a model diesel engine.
应用可维修系统随机故障过程模型理论，对国产190a型柴油机进行了可靠性和维修性试验。
The results showed: (1) the solution of transitive reasoning with spatial and temporal contents supported the mental model theory, not the formal rule theory.
结果发现：（1）空间位置和时间关系的推理结果都支持心理模型理论，而不支持形式规则理论。
We research the model theory and experimental support of HH model, in addition to two similar models which can describe the main characteristics of real neurons.
本文详细介绍了HH模型的建模原理及其实验基础，以及另两种类似的反映神经元基本电生理活动和发放动力学特性的简单神经元模型。
Thesecond chapter introduced semantic network model theory in detail based on ontology, including model structure, knowledge expression and inferential mechanism.
第二章详细介绍了基于本体论的语义网络模型理论，包括语义网络模型的结构、知识表示及推理机制。
The model theory of the performance evaluation from structural capability, spoiling condition, riding quality, safety performance and combined evaluation is studied.
从路面结构强度、损坏状况、行驶质量、安全性能以及各项性能综合评价等方面研究了路面使用性能评价的建模方法和理论。
In this paper, the author presented the viewpoint that System simulation is based on model theory, simulation algorithms and simulation credibility evaluation theory.
本文提出将模型论、仿真算法和仿真可信度评估理论作为系统仿真学科的基础理论的观点。
Finally the article tries to give some advice to the attitude improvement of civil servants with the stage theories, the cognition theory and the convince model theory.
最后结合三阶段理论、认知理论和说服模型，提出了改善我国行政机关公务员服务态度的基本思路和若干建议。
Back and forth method is a new tool in study of model theory and its application. This paper construct short proofs for two theorems in modal logic by back and forth method.
向前向后方法是模型论及其应用研究中的一个新的工具。本文使用向前向后方法，对模态逻辑的两个定理构造了一种简单的证明。
Using the evaluation task, examine the pattern of belief bias effect in relational reasoning, and test the explanatory power of the mental model theory about the belief bias.
采用结论评估范式，考察时间和空间关系推理中信念偏差效应的表现形式，以及心理模型理论对关系推理中信念偏差效应的解释力。
Using the evaluation task, examine the pattern of belief bias effect in relational reasoning, and test the explanatory power of the mental model theory about the belief bias.
采用结论评估范式，考察时间和空间关系推理中信念偏差效应的表现形式，以及心理模型理论对关系推理中信念偏差效应的解释力。
应用推荐