The five symbolic western aesthetic history books are written in three models : the objective the subjective the objective and subjective combined types .

西方的五 大美学史著作呈现出三种写作 模式：完全客观型、完全主观型和主客观调和中以客观史实为主型。

It is rather difficult to precisely and completely express packing problems using any single knowledge model such as mathematical model or symbolic models .

它很难用单一 模式的知识 模型（如数学模型）来精确表达。

But the struggle to determine whether West Bengal 's paddy fields yield up crops or cars is symbolic of something much bigger : the difficulty India has in emulating the manufacturing-led models of countries that have hauled themselves from poverty .

但有关西孟加拉邦稻田究竟是应该出产粮食还是生产汽车的纠纷， 象征的是一个更大的问题：在效仿脱贫国家以制造业为主的 模式时，印度所遭遇的困难。

It is basically a lightweight symbolic execution technical and may automatically extract finite models from sequential and concurrent C programs .

它本质上是一种轻量级的 符号执行，能够自动抽象出顺序和并发C程序的有限状态 模型，并 基于 模型检验 方法进行 验证。

Models of sentence and discourse comprehension from the linguistic psychology and artificial intelligence literature including symbolic and connectionist models .

从语言学、心理学和人工智慧文献所建立的各种对句子和文章之理解模型，包括 符号学和连接者 模型。

Symbolic Computation on the Soliton Solutions of Some Nonlinear Models

基于 计算机 符号计算的非线性 模型孤子解研究

A study on the symbolic constitution elements and its designing models

符号构成元素及其设计 模式的探讨

With the swift development of the computerized symbolic computation the analytic investigation on variable-coefficient nonlinear models in nonlinear sciences has become one important research direction in soliton theory especially for the integrable property issue .

随着计算机 符号计算的迅猛发展，在非线性科学中，基于符号计算的变系数 模型的解析研究已逐渐成为孤子理论的重要研究方向之一，特别是关于变系数 模型可积性质的研究备受关注。

The main research objects of symbolic computation are the algebraization and mathematization of practical questions which involves the creative construction of mathematical modeling and the manipulation on the models with algorithmization of mathematical calculation and logical reasoning .

符号计算研究的主要对象是可代数化、数学化的实际问题，对现实问题进行创造性的数学建模，而对 模型的处理需要算法化的数学计算与逻辑推理。