1) total predicate
全谓词
2) secure predicate
安全谓词
3) predicates
[英]['predikit] [美]['prɛdɪkɪt]
谓词
1.
Based on analyzing the relationship between domains of Visual Prolog and data types of C language,calling conventions of predicates and functions are discussed,a way to program with Visual Prolog and Visual C++ is presented,and a code example for this method is demonstrated in detail.
分析了V isual Prolog论域与C数据结构的对应关系以及函数、谓词的调用约定,讨论了V isual Prolog与V isual C++进行混合编程的实现方法,并通过二者相互调用的代码演示了该方法,从而将VC与V isual Prolog的优势有效的结合起来,使智能应用的开发简单而高效。
2.
This paper discusses the context and syntax of embedded if-questions appearing as arguments of noninterrogative predicates like "admit", ect.
谓词对从句补语有语义上的要求。
4) predicate
[英]['predɪkət] [美]['prɛdɪkɪt]
谓词
1.
Method of resolution under predicate logic;
谓词逻辑描述下的归结推理方法
2.
Selectivity estimation of predicate is important information of database.
谓词选择率估计是关系数据库管理系统查询优化器决策的重要依据。
3.
One of the standard ways to handle the state explosion in large systems is to practise the modular supervision of languages or predicates,or of discrete event systems.
在监控理论中 ,处理状态膨胀的标准方法之一是基于语言或谓词的模监控 。
5) predicate logic
谓词逻辑
1.
Representation of design patterns based on predicate logic;
基于谓词逻辑的设计模式描述方法
2.
Theory of quasi-truth degrees of formulas in two-valued predicate logic;
一类二值谓词逻辑中公式的准真度理论
3.
By predicate logic,the solution is set up and the process of analysis is provided.
依据谓词逻辑规则建立解决方案,提供了求解的流程。
6) Petri net
谓词Petri网
1.
Application of predicate Petri net in air-defense C3I expert decision system;
谓词Petri网在防空C~3I专家决策系统中的应用
补充资料：《乏燃料管理安全和放射性废物管理安全联合公约》
《乏燃料管理安全和放射性废物管理安全联合公约》
Joint Convention on the Safety of Spent Fuel Management and on the Safety of Radioac-tion Waste Management
代卜Oronl一00 GuonJ一Anquon he Fongshex一ng Fe一wLJ GLJanllAnquon Llonhe Gongyue《乏燃料管理安全和放射性废物管理安全联合公约》(了访”tC加祖ventlon胡th￡SafetyojSPent Fuel Mana岁ment and on th‘Safet少of尺。己~t姗WasteManageme力t)加强乏嫩料和放封性度物管理安全方面的一项鼓励性国际公约。1997年9月5日通过，1997年9月29日开放供签署。截至1999年3月10日，已有39个国家签署，6个国家交存了批准书。但按该公约规定，需得到25个国家批准，而且其中要包括15个拥有运行的核电厂的国家才能生效，因而目前尚未生效。 《公约》的目的是，通过加强缔约国的管理和国际合作，包括适当时与安全有关的技术合作，以在世界范围内实现和保持高安全水平的乏嫩料和放射性废物管理;确保在乏嫩料和放射性废物管理的一切阶段都有预防潜在危害的有效措施，保护个人、社会和环境免受电离辐射的有害影响;防止有辐射后果的事故发生，一旦发生尽可能地减轻其后果。 《公约》适用于民用核反应堆运行产生的乏燃料的管理安全以及民事应用产生的放射性废物的管理安全，但为后处理而在其设施中保存的乏燃料除外。对于军用或国防计划所产生的乏燃料和放射性废物，则仅当其被永久转为民用计划时才适用。 《公约》强调，确保乏嫩料和放射性废物管理安全的最终责任在于对应这些材料拥有管辖权的国家身上。 缔约国的主要义务为:应在其国家法律框架内通过立法、管理和行政的措施以及其他必要的步骤，确保在乏嫌料和放射性废物管理的所有阶段都能充分保护个人、社会和环境不受到辐射的伤害.就履约所采取的措施向缔约方审评会议提交报告。《公约》还对这类物质的踌越国界运翰做了规定。 中国派代表参加了《公约》的制订和审议工作，由于对其中关于放射性废物跨境运输的条款有保留，故未签署本公约。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条