It provides a formalized model for understanding sustainable utilization of water resources.
它为理解水资源持续利用提供了形式化模型。
Extenics is a new subject which solves contradictory problems. It studies the extensive possibility of things and the rules and methods of exploitation and innovation with formalized model.
可拓学是用形式化的模型研究事物拓展的可能性和开拓创新的规律与方法，并用于解决矛盾问题的新学科。
This statement is crucial; the model is not the system itself but a formalized representation of the system.
这一论断很重要，模型不是系统本身，而是系统的形式化表示。
Based on our experience, we believe that an accepted and formalized governance model is key for successfully achieving business objectives.
基于我们的经验，我们相信公认的、正式的治理模型是成功实现业务目标的关键。
Regardless of its origin, the presence of a glossary model in RDA enables mapping of standard business terms into the formalized structures of the canonical (conceptual/logical) data model.
不论出处如何，当术语表模型在RDA 中时，就可以将标准业务术语映射到规范化（概念/逻辑）数据模型的形式化结构。
The applications are developed mostly from scratch within a formalized programming model.
应用程序很大程度上是由正式编程模型中的草稿开发而来。
A formalized workflow model will become more important than it has been.
形式化的工作流模型越来越重要。
RDF is a metadata system with an XML serialization for the Web, a model for describing collections of formalized statements about a Web resource.
RDF是一个具有WebXML序列化的元数据系统，即用于描述Web资源形式化陈述集合的模型。
For REST services development, the simple servlet model is extended in more formalized APIs.
对于REST服务开发，这个简单的servlet模型以更为正式的API得到扩展。
Dynamic behavior can also be formalized into something called the dynamic model, but before we can do that, we have to figure out what the dynamic behavior is.
还可以以动态模型的形式来表示动态行为，但在那样做之前，我们必须确定动态行为是什么。
Resource Description Framework (RDF) is a model for describing collections of formalized statements about a Web resource.
资源描述框架(Resource Description Framework,RDF)是一种描述有关Web资源的格式化语句集合的模型。
During the third step, a business Analysis Model is developed wherein each business use case realization is formalized in terms of two major UML artifacts.
在第三个步骤中，将开发业务分析模型，在其中，每个业务用例实现根据两个主要的UML工件进行形式化。
While some organizations pursue Total Quality Management, Six Sigma, or Capability Maturity Model certification, others prefer a less formalized approach.
当一些组织追求全面质量管理，6希格玛或者能力成熟度模型认证，其它人更喜欢较少使用的非正式的方法。
Workflow modeling technique is always one of important research tasks of workflow, including workflow model definition and sematic formalized expression method and so on.
工作流建模技术一直是工作流技术研究的重要课题之一，它的研究范围包括：工作流模型定义、语义的形式化表示方法等。
Considering the problems in actual application, this paper proposed a kind of domain knowledge centered know-ledge discovery process model, then formalized it and described its dynamic semantics.
针对知识发现在实际应用中的问题，提出了一种以领域知识为中心的知识发现过程模型，并将其形式化，描述了其动态语义。
Also, the course of IKVOS in the compressed domain is formalized and the model of IKVOS is proved to satisfy the criterion of coinduction.
将压缩域关键视频对象选择算法形式化为压缩域关键视频对象选择模型，证明该模型满足归纳法准则；
The access control rule of the ACBAC model is formalized by the first order predicate logic. The realization method of the model in business process management systems is also discussed.
文章用一阶谓词对该模型的访问控制约束规则进行了形式化描述，并讨论了该模型在业务流程管理系统中的实现方法。
The formalized description and definition of the kernel model are also given.
同时对该模型的核心模型进行了形式化描述和定义。
Although layered mechanism model may alleviate this contradiction, it lacks of strict formalized definition.
分层机制可以缓解这种矛盾，但又缺乏严密的形式化定义。
With the specific features of better communication predictability of the timing token protocol, a formalized analysis model for the predictability has been developed.
提出了一种以波长为标签的新型全光变长分组交换环网的体系结构、网络节点的光分组数据包收发模型，以及防止光分组冲突的多令牌协议。
The formalized description of supply chain workflow is offered, the workflow graph, front-chain and front-set provide a way to model and analyze flow supply chain.
然后对供应链工作流进行形式化定义，用工作流图、前趋链节、前趋链集等的概念和定义为下一步的流程供应链建模及分析提供了概念自包的方法。
The mechanism of buffer overflow from the point of view of security operating system is analyzed, buffer overflow with BLP model is formalized.
首先分析了操作系统中客体的类型，将客体分为静态客体和动态客体，然后总结了安全操作系统中对客体的处理存在的问题。
The mechanism of buffer overflow from the point of view of security operating system is analyzed, buffer overflow with BLP model is formalized.
首先分析了操作系统中客体的类型，将客体分为静态客体和动态客体，然后总结了安全操作系统中对客体的处理存在的问题。
应用推荐