查询词典 formalize

Proof theory grew out of David Hilbert 's ambitious program to formalize all the proofs in mathematics.

证据理论中衍生出来的大卫希尔伯特的雄心勃勃的计划，正式的所有证据在数学。

It proposes a method to formalize and analyze workflow with SoD constraints based on Colored Petri Nets.

提出了一种基于着色Petri网的工作流系统建模和安全性分析的方法。

BizArt currently seeks core funds in order to formalize and fully exploit the possibilities for this program.

比翼现在正寻找核心的基金为项目将来的正式化和发展做好准备。

This paper proposes a graph transformation based description language of model refactoring to formalize model refactorings.

提出了一种基于图转换的模型重构描述语言。

Firstly, we formalize message flow of a single web service; then give a model for asynchronous composition of web services.

形式化的描述Web服务的操作流程，并建立异步通信的Web服务合成的交互模型。

Formalize the base conception and property of Function Net, and describe the fundamental structure of it.

针对传统技术的局限性，提出了工作流环境，工作流运行的全局限制和相关限制的概念和定义，形式化描述了全局限制和相关限制图，并借助时间分割概念，以功能网为工具进行分析和推导，提出工作流执行的正确性保证准则，并证明了准则的正确性。

Consideration of the natural numbers also leads to the transfinite numbers , which formalize the concept of counting to infinity .

考虑自然数也引起了超越数，超越数形式化计数到无限的概念。

The information collecting module deployed on resources is designed to obtain state information of resources; the information node server is introduced for assembling and managing resource information. The XML format is used to formalize the data source and information transport. Meanwhile adopt native-XML database technology for direct data store and process. The interface for information query and resource information filtering is implemented through Web service capsulation.

开发了部署于资源上的信息采集模块，获取资源状态信息；引入信息结点服务器实现对资源信息的汇集与管理；在采用XML格式对子系统中信息来源和信息传输进行规范的同时，利用native-XML数据库技术实现对数据的直接存储及处理，并通过Web服务的封装提供了资源信息过滤与信息查询接口；基于RIA技术开发了友好的Web访问界面。

We formalize a notion of security for proxy multi-signature and multi-proxy signature, i.e., existentially unforgeability under an adaptive chosen-message attack and an adaptive chosenwarrant attack.

本文给出了代理多重签名和多重代理签名的安全定义，即适应性选择消息攻击和适应性选择授权文件攻击下的不可存在性伪造，并建立了形式化安全模型。

The challenge is to formalize and systemize what we do without sacrificing the sex appeal.

但是，当前最大的挑战是如何让这些充满创造性的酒店设计精神既能成体系、有章可循又不会以牺牲吸引力为代价。

Listen,point and check your answers.

听，指出并且检查你的答案。

Warming needle is one of effective treatment methods for knee arthralgia aggravated by cold,and it is simple,safety,so it should be developed in clinical acupuncture and moxibustion extensively.

但以本院科针灸门诊在2005年1月—2006年6月期间共收治膝痛患者100余例，经过临床的诊断后，其中施以温针治疗的48例，疗效显著，报道如下。1临床资料本组病例48