decision problem formalization 决策问题形式化
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 chief task of consistent automatic checking UML model is to solve the formalization problem.
UML模型一致性自动检测的主要任务是解决形式化问题。
An important problem that the technology of text information filtering should solve is the process of text formalization, which makes text computable and reasonable information.
将基于数据库过滤与基于文本内容过滤两种过滤方式相结合，采用分级匹配过滤的策略，利用相关技术对收集到的网页进行处理。
应用推荐