Method of resolution under predicate logic;
谓词逻辑描述下的归结推理方法
Selectivity estimation of predicate is important information of database.
谓词选择率估计是关系数据库管理系统查询优化器决策的重要依据。
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.
在监控理论中 ,处理状态膨胀的标准方法之一是基于语言或谓词的模监控 。
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的优势有效的结合起来,使智能应用的开发简单而高效。
This paper discusses the context and syntax of embedded if-questions appearing as arguments of noninterrogative predicates like "admit", ect.
谓词对从句补语有语义上的要求。
Representation of design patterns based on predicate logic;
基于谓词逻辑的设计模式描述方法
Theory of quasi-truth degrees of formulas in two-valued predicate logic;
一类二值谓词逻辑中公式的准真度理论
By predicate logic,the solution is set up and the process of analysis is provided.
依据谓词逻辑规则建立解决方案,提供了求解的流程。
Application of predicate Petri net in air-defense C3I expert decision system;
谓词Petri网在防空C~3I专家决策系统中的应用
Construction of predicate calculus finite set based on the requirement of management information ontology
管理信息本体需求的谓词演算有限集构造
The safety of the system is analyzed with the predicate calculus.
本文基于模型驱动开发方法,使用结构分析和设计语言设计铁路平交道口控制系统,并使用谓词演算对系统的安全性进行分析,提高了系统的开发效率。
connective in predicate calculus
谓词演算中的连接词
predicate logic with equality
带同异性的谓词逻辑
atomic formula in predicate calculus
谓词演算中的原子公式
The Study of the Structure "Degree Adverb+VP" Attached by de(的);
“程度副词+谓词性成分”带“的”问题试探
The Etymological Motivation Comparison for Appellation of "Father" in Mongol and Chinese;
蒙、汉语中“父亲”称谓词词源理据比较
The Study of the Structure "Adverb+VP" Attached by de(的);
“副词+谓词性成分”带“的”情况考察
"A" Prefix Family Titles in the Stories of Ghosts;
《聊斋志异》“阿”词头的亲属称谓词
Research on "Pronoun+Appellation" Structure
现代汉语“人称代词+称谓词”研究
A predication consists of argument(s) and predicate.
一个述谓由一个或数个论元和一个谓词组成。
On Selectivity of Subject"I" and Adjective or Verb Predicate in Interrogative Mood;
疑问语气中主语“我”与谓词性谓语的选择性
Cognitive Explanation of Substantive Shift to Predicate in Modern Chinese Word-class;
现代汉语词类活用体词谓词化的认知解释
Positive number for 'above' predicate positioning, negative number for 'below' predicate positioning.
正数表示“高于”谓词位置，负数则表示“低于”谓词位置。
A legitimate expression of the predicate calculus. That is, it is acceptable under the predicate calculus' syntax.
一个合法的谓词演算表达式，即谓词演算语法所允许的公式。
The Variation of Monosyllabic Honji and Hansa as Predicate In Korean and Japanese
试论朝鲜语和日语谓词单音节汉字词的倾向性
The Categories and Adjective Intensification of Predicates in Positive Rhetorical Question;
正反问反问句中谓词的类及其形容词性倾向
play@ is the predicate verb;
“play”为谓语动词；
it takes a plural predicate verb.
但要使用复数谓语动词。
On grammatical bleaching of the evidential and epistemic verbs:from complement-taking predicates to pragmatic markers;
认证义谓宾动词的虚化——从谓宾动词到语用标记