- 重点词汇
- royaladj.王室的;皇家的;庄严的;
- were be的过去时复数和第二人称单数形式;有时代替 was,用于条件从句、动词 wish 之后等;
- waysn.方法;(做某事现有的)方法和资源;你不可能做到两全其美;(所说的话)不止一个意思;路( way的名词复数 );方法;方向;某方面;
- somedet. 一些,若干;某些,部分;某个;好些,不少的,相当多的;少量的;真可谓,算不上;
- theart.这个;指已提到或易领会到的人或事物;指独一无二的、正常的或不言而喻的人或事物;用以泛指;与形容词连用,指事物或统称的人;用于姓氏的复数形式前,指家庭或夫妇;(指特定用途的事物)足够,恰好;每,一;当前的,本,此;(重读,表示所指的为知名或重要的人或事物)
- ofprep. 关于;属于…的;由…制成;
- news conferencen.记者招待会;
- formalizingv.使(协议、计划等)成书面文字形式( formalize的现在分词 );使成为正式,使具有一定形式;
- 相关例句
由Jason Bloomberg提出的流程同构模式是形式化服务和流程之间对齐的重要工具,同时也是改善两者的重要工具。
互联网摘选
从agent形式化表示、agent间通信机制和系统实现环境方面介绍了系统的实现方案。
互联网摘选
提出了用户请求的形式化表达方法,并基于逻辑推理技术,分析了用户请求的可接受性,只向系统传送可实现的用户请求,提高了服务组合的效率。
互联网摘选
布朗在旧金山发表了声明,称许多加州民众已经察觉到这个情况数月之久了。
互联网摘选
But the role played by the heavens in formalizing the days of the week doesn't stop there.
但天体对星期的形成所起的作用可并不止这些。
互联网摘选
白皮书在最后还谈到了服务契约规范化以及服务可视化,这通常是通过服务注册实现的。
互联网摘选
意义无涉既是形式化的逻辑结果,又是形式化的重要前提。
互联网摘选
在可拓学建立之前,一直缺乏形式化,系统性的矛盾问题研究。
互联网摘选
关于线状地理特征空间关系的自然语言描述的形式化表达
互联网摘选
每个计划团队都有一个业务主管,负责收集和确定业务需求。
互联网摘选
Nowadays, there are lots of study results of formalizing UML, but they are limited.
目前,已经有很多UML形式化的研究成果,但都存在一定的局限性。
互联网摘选