|
|
|
说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
|
|
|
1) built-in predicates
内置谓词
1.
It can find more candidate solutions,and is more efficient when the built-in predicates of the query involve only distinguished variables.
本文提出了一种基于目标的方法,可以找到更多的候选方案,当查询的内置谓词只包含特征变量时该方法更加有效。
2.
A class of integrity constraints,referred to as functional dependencies with built-in predicates(PFDs),is proposed for relational databases and their axiomatization is investigated.
研究内置谓词函数依赖及其推理规则。
2) built-in predicate
内定谓词
1.
However, the algorithm does not consider the problem of query rewriting with built-in predicates.
然而,该算法未考虑存在内定谓词情况下的重写问题,应用范围受到一定限制。
3) weakest pre-predicate
最弱前置谓词
1.
To develop a more reliable program, two checking methods about program’s varification of correctness are studied, such as Dijkstra’s weakest pre-predicate transformer and Hoare’s axiomatic approach.
为了使开发出的程序更具有可靠性,研究了两种正确性验证的演算方法,Dijkstra的最弱前置谓词变换法和Hoare的公理化方法。
4) 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.
谓词对从句补语有语义上的要求。
5) 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.
在监控理论中 ,处理状态膨胀的标准方法之一是基于语言或谓词的模监控 。
6) Dijkstra's weakest precondition method
Dijkstra最弱前置谓词法
补充资料：电脑插头内置金属壳冲压模具的设计
摘要: 电脑插头内置金属壳冲压模，主要是设计一组合凸模和复合凹模，通过其联动，将传统的分模加工合而为一，使落料、折弯成型一气呵成，既减少了误差，保证了质量，又降低了成本，提高了生产率。
关键词: 冲压模;组合凸模;复合凹模0 引言 图1为电脑插头内置金属壳零件图，该零件主要用于电脑接线插头塑料外形内置隔离电线的金属盖板，分上下两只，合起时正好将电线包住，以便于在其外部注塑。该零件属于典型的冲压件。电脑插头内置金属壳零件所用的材料为搪锡板的带料，厚度为0.3mm。 
1 工艺分析 该零件由于生产批量大，传统的生产工艺必须先在落料模上落料，再在折弯模上折弯成型。这种方法虽然所用的模具结构简单，但必须有两道工序才能完成，且在成型的过程中，零件再次定位，有误差，质量得不到保证，且操作麻烦。为避免上述现象，可设计一冲压成型模具，将落料、折弯成型在该模具中一次性完成，这样就避免了分步加工中误差的产生，减少了设备占用、减少了工序、提高了质量、降低了工人的劳动强度，也提高了生产率。如图2所示即为加工电脑插头内置金属设计的冲压模具。 2 模具设计 (1)模具结构 如图2所示，该模具分成上模和下模两部分组成，上模由模装柄1、上模板3、固定板4、卸料板7、组合凸模8等组成，其中上模板3与固定板4由螺钉2固定，卸料板7、橡皮垫6则由螺钉5固定在固定板4上，组合凸模8固定在上模板3上，与卸料板7成间隙配合，当橡皮垫6被压缩时，卸料板可随螺钉5沿组合凸模上下移动，整个上模由模装柄装在冲床上;下模由复合凹模10 ,下模板11、内推芯12、内推芯固定板13和橡皮垫15等组成，内推芯12与下模的下模板11成间隙配合，间隙只限于内推芯12可在下模板11间上下移动，内推芯12固定在内推芯固定板13上，当上模的组合凸模下压时，内推芯12随内推芯固定板13一起压缩橡皮垫15下移。图中9为搪锡板带料。
1.模柄 2.螺钉 3.上模板 4.固定板 5.螺钉 6.橡皮垫 7.卸料板 8.凸模 9.带料 10.凹模 11.下模板 12.内推芯 13.固定板 14.紧固螺钉 15.橡皮垫 (2)设计要点
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条
|