1) EDB predicate
EDB谓词
2) 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.
谓词对从句补语有语义上的要求。
3) 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.
在监控理论中 ,处理状态膨胀的标准方法之一是基于语言或谓词的模监控 。
4) 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.
依据谓词逻辑规则建立解决方案,提供了求解的流程。
5) Petri net
谓词Petri网
1.
Application of predicate Petri net in air-defense C3I expert decision system;
谓词Petri网在防空C~3I专家决策系统中的应用
6) predicate calculus
谓词演算
1.
Construction of predicate calculus finite set based on the requirement of management information ontology
管理信息本体需求的谓词演算有限集构造
2.
The safety of the system is analyzed with the predicate calculus.
本文基于模型驱动开发方法,使用结构分析和设计语言设计铁路平交道口控制系统,并使用谓词演算对系统的安全性进行分析,提高了系统的开发效率。
补充资料：EDB
分子式：C2H4Br2
分子量：187.87
CAS号：106-93-4
性质：常温常压下为具有挥发性的无色液体，有特殊甜味。凝固点9.79℃，沸点为131.4℃，34℃（1.86kPa），熔点9.9℃，冰点-8.3℃，相对密度2.1792，折光率1.5387，折射率1.5380，粘度（20℃）1.727mPa·s，表面张力（20℃）38.91mN/m，蒸气压（20℃）1.133kPa。常温下比较稳定，但在光照下能缓缓分解为有毒物质。能与乙醇，乙醚、四氯化碳、苯、汽油等多种有机溶剂互溶，并形成共沸物，溶于约250倍的水。有氯仿气味，能乳化。与液氨混合至室温会发生爆炸。
制备方法：1.乙烯溴化法 工业生产采用乙烯与溴进行非催化加成，反应速度随反应温度升高而增加，水蒸气的存在能加速反应的进行。排放尾气中含过剩乙烯和HBr，经洗涤塔用水洗涤脱HBr，再回收过剩乙烯。2.乙烷溴化法。3.乙二醇和溴氢酸反应法。
用途：用作乙基化试剂、溶剂；农业上用作杀线虫剂、合成植物生长调节剂；医药上用作合成二乙基溴苯乙腈中间体，溴乙烯、乙烯叉二溴苯阻燃剂；还用作汽油抗震液中铅的消除剂、金属表面处理剂和灭火剂等。车用汽油采用二溴乙烷与二氯乙烷的混合物以降低成本，而航空汽油，则用纯二溴乙烷。
分子量：187.87
CAS号：106-93-4
性质：常温常压下为具有挥发性的无色液体，有特殊甜味。凝固点9.79℃，沸点为131.4℃，34℃（1.86kPa），熔点9.9℃，冰点-8.3℃，相对密度2.1792，折光率1.5387，折射率1.5380，粘度（20℃）1.727mPa·s，表面张力（20℃）38.91mN/m，蒸气压（20℃）1.133kPa。常温下比较稳定，但在光照下能缓缓分解为有毒物质。能与乙醇，乙醚、四氯化碳、苯、汽油等多种有机溶剂互溶，并形成共沸物，溶于约250倍的水。有氯仿气味，能乳化。与液氨混合至室温会发生爆炸。
制备方法：1.乙烯溴化法 工业生产采用乙烯与溴进行非催化加成，反应速度随反应温度升高而增加，水蒸气的存在能加速反应的进行。排放尾气中含过剩乙烯和HBr，经洗涤塔用水洗涤脱HBr，再回收过剩乙烯。2.乙烷溴化法。3.乙二醇和溴氢酸反应法。
用途：用作乙基化试剂、溶剂；农业上用作杀线虫剂、合成植物生长调节剂；医药上用作合成二乙基溴苯乙腈中间体，溴乙烯、乙烯叉二溴苯阻燃剂；还用作汽油抗震液中铅的消除剂、金属表面处理剂和灭火剂等。车用汽油采用二溴乙烷与二氯乙烷的混合物以降低成本，而航空汽油，则用纯二溴乙烷。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条