formulized

formulized的基本解释

-

[变形] formulize的过去分词

vt.

用公式表示, 系统地计划, 阐述, 把...化成公式

与formulized相关的网络例句 [注：此内容来源于网络，仅供参考]

To verify the properties of the concurrent and reactive systems based on the theorem proving approach, an axiomatization is formulized for the first order projection temporal logic.

为了采用定理证明的方法对并发及交互式系统进行验证，提出了一阶投影时序逻辑的公理系统。

A matching algorithm was presented based on the formulized definition of semantic description for Web services.

在匹配与过程优化模块中，深入研究了服务匹配算法与过程优化方法。

Chinese digital libraries has formulized in a national and professional centered system with a tree structure in every field.

我国的数字图书馆体系正在逐步形成以国家和行业中心为核心的、行业内部树型结构的格局，呈现出国家和行业中心横向联合更深入、行业纵向覆盖更广泛的发展趋势。

And the formulized expressions of the linear complexity of the periodic sequences obtained are given.

所谓稳定性是指在有限传输差错时，序列的周期与线性复杂度均不发生退化，否则将该周期序列作为密钥流序列是极不安全的[1]。因此，序列的

And/or we advanced formulized definition about concept of conservation of information, and information essence definiens: information is a set of mark of attribute of thing.

及我们提出的&信息守恒&概念与公式化的定义，与&信息是事物及其属性标识的集合&的信息实质定义。