Fuzzy Petri Net Based Formalized Reasoning Algorithm with Applications

采用模糊Petri网的形式化推理算法及其应用

It was introduced in Japan in the 6th century by Chinese Buddhist missionaries, who had formalized the ritual of offering flowers to the Buddha.

插花在6世纪由中国高僧传入日本，他们把对佛献花定为正式仪式。

The Formalized Description of Spatio-temporal Topological Relationship of Geographical Features of Real Estate

房产地理特征的时空拓扑关系形式化描述

General Discussion about the True Property of Rules and Formalized Algorithm for True Rules

规则“真”的一般概念和“真”规则形式算法

Formalized Solution of Conceptual Design Based on Polychromatic Sets

基于多色集合理论的概念设计形式化解决方法

Formalized Description of Management Object Behavior Based on the Rule Approach

基于规则方法的管理对象行为形式化描述

The Food and Drug Administration (FDA)has a large, formalized advisory committee system to obtain advice concerning both drugs and human devices.

食品和药品管理局(以下简称FDA)有着庞大的正式化的咨询委员会体系，以获得关于药品和医疗器械方面的建议。

Formalized Revolution-Interpretation of Wang Meng’s the Butterfly

形式化的革命―王蒙《蝴蝶》别解

Rules were first formalized in 1887, and the Badminton association of England was organized in 1893.

羽毛球规则是1887年制定的，1893年成立了英国羽毛球协会。

From the above we can have some idea of how the name of the city first began as Resa or Goat carrying Earth with its Chinese transliteration of Luoxie and then was formalized as Lhasa or the Holy Land

这就是从山羊背土建成“惹萨”、汉译的“罗些”到圣地“拉萨”的来龙去脉。

Allen describes his formalized system for creating greater efficiency.

Allen描述了他的形式化系统，其目的在于提高效率。

SIP was outlined in 1996 through a SIP charter and was formalized in RFC 2543 in 1999.

SIP是1996年通过一份SIP契约提出的，于1999年在RFC2543中正式确立。

Reference to operational risk (first time being formalized by regulators)

操作风险的纳入（首次被监管机构正式采用）

In addition, the Bus supports formalized , pluggable discovery and selection mechanisms in the Bus on-ramp.

此外，总线还支持总线入站内形式化的、可插的发现和选择机制。

Most businesses have some established ways of getting work completed, from loosely-organized tasks to highly formalized systems.

大多数企业都有一些既定的完成工作的方法，包括从结构松散的任务到高度规范化的系统。

But there are signs it may be formalized and result in concrete projects.

但是有迹象表明，它将会正式进行并产生一些具体的项目。

The process models, when formalized and validated, serve as the main input for the next phase of a project, for example, use case modeling.

当流程模型正式形成并经过了验证后，可以将其作为项目的下一阶段（如用例建模）的主要输入使用。

The Process Definition and formalized description for workflow Based on Distributed Environment

分布式环境下工作流过程定义及形式化描述

Existing music articles were analyzed and the music rhythm was transformed into a set of formalized expressions by the PCFG system.

该系统对实际音乐作品进行分析学习，将音乐节奏转化为形式化的文法语句。

On formalized contract and the protection of consumer’s rights and interests

格式合同与消费者权益保护

More likely, Blankfein just formalized certain elements that already existed in practice.

更可能的是，布兰克费恩只是将实践中已经存在的某些元素形式化。

The Legislative Affairs Office of the State Council did not indicate when the draft will be formalized .

国务院法制办也未明确该法律何时正式颁布。

process maturity, the organization’s processes are formalized and executed

过程完备性，组织结构过程是形式化的和可执行的。

Research On Logically Formalized Description of Interlocked Railway Signals Based On Petri Network

基于Petri网的铁路信号联锁逻辑形式化描述的研究

Formalized Description of Indeterminate Geographic Object Based on Fuzzy Degree

基于模糊度的不确定地理目标的形式化描述方法

Accident Scenario Based on Hazard and its Formalized Description

基于危险的事故场景及其形式化描述

In Wuhan, Hubei province in June, another, creepier type of beauty contest was taking place, one that neatly formalized this arrangement.

今年6月，湖北省武汉举办了一场安排巧妙，但怪诞的选美比赛。

Recent years have seen greater difficulties in the work and practice is in the danger of being formalized .

近年来，教育实习工作的开展难度越来越大，内容也越来越形式化。

In deference to the concept of code reviews, you really can’t enforce standards that have not been formalized or are not readily available.

考虑到代码检查，您必须形式化相关的标准并推广它们，这样才能真正地实施这些标准。

Shares in both Chinese carriers were suspended Monday, sparking talk that a long awaited merger is close to being formalized .

两家中国航空公司的股票周一均暂停交易，引发外界猜测等待已久的合并接近正式达成。

formalized model

形式化模型

formalized meaning

形式化了的意义

formalized pva fibre

n.缩甲醛化聚乙烯醇纤维

formalized pva fiber

n.缩甲醛化聚乙烯醇纤维

formalized arithmetic

形式化算术

formalized computer program

n.形式化计算机程序