The formalization analysis, exemplification and experimentation result prove that GKCP is correct and feasible.
形式化分析、例证和实验结果表明GKCP 的正确性和可行性。
Rules of this nature tend to arise at analysis time within process models and require formalization to drive soft coded process flow (for example, BPEL) or application logic.
这种规则往往出现在流程模型中的分析时，并且需要规范化，以驱动软编码的过程流(例如BPEL)或应用程序逻辑。
However, different participants in the requirements-analysis-design cycle express rules with varying degrees of formalization and structure.
但是，需求-分析-设计周期中的不同参与者是以不同程度的规范化和结构来表达规则的。
My opinion is that, the formalization of the group personality is the normal state in history through analysis.
笔者通过对历史的分析，认为团体人格的形式化是历史的常态。
Seeing that problem is present in natural language formalization research, this paper tries to make analysis and discuss for few basic problem on ambiguity and formalization and system model.
针对目前自然语言形式化研究中存在的问题，就歧义性、形式化与系统模型等几个基本问题做了进一步的分析与讨论。
The computer-assisted approach to studies on Uygur dialects is an interactive research method, which combines the computer-based formalization of dialectal data with the researcher's analysis.
利用计算机技术辅助维吾尔语方言研究，是将计算机对方言语料的形式化处理和研究者对语料的分析判断结合起来的一种人机互动的研究方法。
The formalization of prepositional meaning can offer necessary calculation resources for the automatic Russian text analysis.
前置词的机用语义词典描述可为俄语文本语义分析提供必要的计算资源。
The formalization of prepositional meaning can offer necessary calculation resources for the automatic Russian text analysis.
前置词的机用语义词典描述可为俄语文本语义分析提供必要的计算资源。
应用推荐