1) reductional semantics
归约语义
1.
This note attempts to outline a general approach to reductional semantics for processes.
给出了进程归约语义的一般方法。
2) general reducing rule
广义归约
1.
The “human imitating intelligent control theory” which is based on the “general reducing rule” and “imitating human” is put forward in this paper.
提出以“广义归约”和“拟人”为核心的“拟人智能控制理论”,并基于此理论成功地解决了三级倒立摆的单电机控制这一控制界的世界性难题。
3) Semantic come-back
语义回归
1.
Semantic come-back is a familiar linguistic phenomenon,but people didn t pay much atten- tion to its mechanism.
语义回归是一个非常普遍的语言现象,但尚缺乏对其内在发生机制的探讨。
4) semantic constraint
语义约束
1.
Original semantic constraints in the conversion from XML DTD to relational mode;
XML DTD转换为关系模式的原语义约束
2.
Then the algorithm XTR is presented, and the method to preserve semantic constraints is discussed.
本文研究了XML模式,分析了已有的XML模式到关系模式的转换算法及其存在的问题,提出了新的转换算法XTR,并探讨了保留语义约束的方法。
3.
It describes how to transform relational schemas to XML schemas based on semantic constraints.
本文首先研究了关系模式的特点,然后针对XML的树型结构特点,研究了基于语义约束的从关系模式到XML模式的转换,最后给出了从关系模式到XML模式转换的算法RTS。
5) semantic stipulation
语义约定
1.
Based on the judgment that semantic stipulations have semi-sequential relationship, this paper divides IEC 61850 s semantic stipulation into two levels: SCADA semantic and substation semantic stipulation, also divides the application of IEC 61850 into generalized and specialized application accordingly.
依据语义约定具有偏序关系的论断,将IEC 61850的语义约定分为SCADA语义约定和变电站语义约定两个层次,相应地将对IEC 61850的应用分为广义应用和狭义应用。
6) semantic constraints
语义约束
1.
XML semantic constraints have been widely researched already,whereas most of them ignore a basic problem:the derivation of XML semantic constraints,which is the right topic of this paper.
文章讨论了XML语义约束的产生问题。
2.
In general, we made a deep and effective research on the hypermedia semantic constraints from application area independent to specific application area de.
提出了一种基于数据库模式的超媒体语义网络模型 ,该模型通过引入模式约束图 ,对超媒体系统中的关系约束进行了分类 ,并给出了相应的约束检测算法 ;通过引入视图机制提出了结构约束的概念 ;通过扩充模式约束图的属性 ,描述了超媒体特定应用领域的计算约束 ,从而从整体上对与应用领域无关至特定应用领域的语义约束进行了深入的研究 。
3.
The semantic constraints of data can be well preserved to ensure the non-loss of the conversion from XML schema to relation schema.
数据语义约束的完整保留是实现XML Schema向关系模式"无损"转换的关键问题。
补充资料：多项式空间归约
多项式空间归约
polynomial space reduction
duoxiangshi kongiian guiyue多项式空间归约(po.”0而目spacereduc·tion)一种特殊的、归约函数是多项式空间可计算的复杂性归约。 设Ll，LZ是万上的两个语言，若存在函数S:N~N，及S空间可计算函数f:艺肠~刃并，使得 (l)对任何x任乞’，xeLI当且仅当f(x)eLZ; (2)存在正整数C，使对任何xe艺.有s(}f(x)})(岱(}x})，则称Ll可S空间归约到LZ，记为Ll戳LZ。特别当限制s为多项式函数时，则称Ll可多项式空间归约到LZ。空间归约中较为重要的一种是限制S为对数函数吨，称之为对数空间归约，可对复杂性类进行更“细”的划分，特别是研究尸和N吨等复杂性类，其时间资源不超过确定的多项式时间时，多项式时间归约则无法对其进行分类。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条