表示式

On the base of applied tech. and system structure, the key tech. are expressed in detail. It includes:Knowledge representation technology: it is described in two stages by "Depictive frame + Rule group"."Depictive frame" is used to reflect the factors concerning question field."Rule group" reflects the son-question in question field; knowledge management system: it is made up of knowledge-base editing component, factor classifying component, knowledge inspecting component and extractive knowledge component; uncertainty reasoning adopt method of elicitation search strategy and data drive controlled by member knowledge. It take reliability of compound proof at first. That can resolve the matching contradiction. Reasoning explanation introduce pre-text and followed method of resolving path. Knowledge discovery component take SLIQ as basic arithmetic. It provides classification model in two stage forms which aim at training suit. That is decision tree and productive rule.

在确定应用技术与系统结构的基础上，重点阐述了本文的核心技术，这包括：知识表示技术，采用"描述框架+规则组"的层次结构，"描述框架"用于描述问题域所涉及的因素，"规则组"反映问题域内的子问题；知识管理系统，由知识库编辑构件、因素分类构件、知识检测构件和知识求精构件组成；不确定性推理机采用启发式搜索策略，元知识控制的数据驱动，以复合证据可信度优先作为匹配冲突消解的策略，推理解释采用预置文本与求解路径追踪的方法；知识发现，采用SLIQ快速可伸缩算法，分类模型用判定树与产生式规则两种形式描述。

You are more than entitled not to know what the word 'performative' means.

你完全有理由不知道'完成行为式'这个词表示什么意思。

The singular perturbation method is a useful tool to work with the mathematical and physical problems.

它的主要思想是将非线性的，高阶的或变系数的数学物理问题的解用所含某个小变量的渐进近似式来表示。

Gu Yongqiang expresses further, actor cruel still can develop the star acting character according to ad business to undertake directional put in, the network is interactive the product of playlet is embedded the brand-new video sale mode such as type advertisement.

古永锵进一步表示，优酷还会开拓根据广告商的明星代言进行定向投放、网络互动短剧的产品植入式广告等全新的视频营销模式。

In this paper, we give explicit constructions and formulations for harmonic maps from R1,1 into classical real semisimple Lie groups by using Darboux transformation. We also discuss pluriharmonic maps from complex manifoldsinto symmetric spaces and Willmore surfaces in Sn. By converting geometric conditions satisfied by these maps into integrable systems, and using the the-ory of integrable systems, we give explicit constructions for pluriharmonic maps from complex manifolds into symmetric spaces and the Willmore surfaces in Sn respectively. Finally, we classify hypersurfaces in Sn+1 with three distinct prin-ciple curvatures and zero Mobius form using the theory of Mobius geometry. The paper consists of four chapters.

本文首先利用Darboux变换的方法给出了从Lorentz平面R~(1，1)到经典实半单Lie群的调和映照的具体构造，并给出其显式表示；其次研究了复流形到对称空间的多重调和映照及球空间S~n中Willmore曲面，将这些映照所满足的几何条件转化为可积系统，然后利用可积系统理论分别给出复流形到对称空间的多重调和映照与S~n中Willmore曲面的构造；最后利用Mōbius几何的理论给出S~(n+1)中具有三个不同主曲率且Mōbius形式为零的超曲面的分类。

A neural network is then used to represent the estimation of potentials,both the parameterized TD(0) learning formulas and algorithm are also derived for approximating the policy evaluation.By the approximation values of potentials and approximation policy iteration,a unified neuro-dynamic programming optimization approach is consequently proposed for both two criteria.

根据定义式，建立性能势在平均和折扣性能准则下统一的即时差分公式，并利用一个神经元网络来表示性能势的估计值，导出参数TD(0)学习公式和算法，进行逼近策略评估；然后，根据性能势的逼近值，通过逼近策略迭代来实现两种准则下统一的神经元动态规划(neuro-dynamic programming，NDP)优化方法。

In addition, an experimental system using C language is established, including modules such as representation of waveform polynomial, decision of path senstization, delay computing, clocking based on single-period sensitization, clocking based on multi-period sensitization, test generation considering noise and transformation from bit-level waveform polynomial to word-level polynomial model. They respectively used to test models and techniques proposed in this paper.

另外，：基于C语言本人设计开发了一个实验软件系统，该系统包括波形多J一贞式表示模块、敏化通路判定模块、延时计算模块、单周期敏化的最小时钟周期精确确定模块、多周期敏化的最小时钟周期确定方法模块、考虑噪声的测试生成模块和位级波形多项式描述转化成字级多项式描述模块，分别用于对本文各章中提出的自动化设计的模型和方法进行实验验证。

In the predicate calculus, a connector connecting two conjunctive formulas denoted by sign ∧or∩.

在谓词演算中，一种连接二个合式公式的连接符，用符号∧或∩表示。

Is given the relationship of the turning angles of the friction ratchet wheel and the moving distance of the connecting rod at different warp beam diameters of d.

本文进行了該式送经机构的运动分析及动力分析在图4中表示出在不同的經軸直徑时锯止轮所轉过的角度α及釣魚杆上升距离y之間的关系。

Based on production representation method, design method and reasoning process framework for system reasoner are presented.

基于产生式表示法，本文提出了系统推理器的设计思路和推理过程框架。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。