【断言集】

断言集

[数] predicative set

... 断言的；断定的；直谓的 predicative 断言集 predicative set 预报滤过器；预测滤过器 predicting filter ...

基于20个网页-相关网页

a box

断言集(ABox):断言的有限集合。其中,断言是陈述一个实例的具体信息,在基础描述逻辑中,实例的描述信息包含两种,描述该实例从属于某个类的类断...

基于6个网页-相关网页

短语

非断言集论 [数] impredicative set theory

断言集论 [数] predicative set theory

断言迹集合 [计] assertion trace set

断言聚集 assertion collection

更多收起网络短语

数学

·2,447,543篇论文数据，部分数据来源于NoteExpress

每组断言集在术语上称为替代。

Each set of assertions is termed an alternative.

youdao
应用程序策略集用于业务相关的断言，例如WSDL文件中定义的业务操作。

Application policy sets are used for business-related assertions, such as business operations that are defined in the WSDL file.

youdao
Web服务策略集提供可以配置的具体策略，以保证实现这些断言。

Web services policy sets provide concrete policies that can be configured to guarantee these assertions.

youdao

更多双语例句

应用推荐

$firstVoiceSent

- 来自原声例句