1) ordered proposition
有序命题
1.
To solve the problems of the ordered propositions, an evidence theory model is given.
吉林大学知识工程研究小组针对有序命题类问题给出了适合于有序命题类问题的一类证据理论模型，该模型中，由于ｇ 的计算不够准确导致了组合误差，最大误差为一个分类等级。
2) finite propositioanl linear temporal logic
有穷命题线性时序逻辑
3) meaningful proposition
有意义命题
4) a hypothetical proposition
有前提的命题
5) propositional linear temporal logic
命题线性时序逻辑
1.
In this paper, the concept of dual models of a propositional linear temporal logic formula is defined: A formula f has dual models if it has two models (namely two ω-sequences of states) such that the assignments to atomic propositions at each position of them are dual.
定义了一个命题线性时序逻辑的对偶模型的概念。
6) proposition
[英][,prɔpə'zɪʃn] [美]['prɑpə'zɪʃən]
命题
1.
Treating the propositions with measure word “all” cautiously——some problems in “discrete mathematics”;
慎待含全称量词的命题——谈谈《离散数学》一书存在的几个问题
2.
An experimental study of test proposition design of physical education psychology;
《体育心理学》考试命题设计的实证分析
3.
Constructing Auxiliary Function and Prove Proposition F (ξ)=0;
构造辅助函数,巧证F (ξ)=0命题
补充资料：超分子有序
分子式：
CAS号：
性质：又称超分子有序。为高分子的聚集态结构。是指高分子链之间的排列和堆砌结构。高分子的链结构是决定聚合物基本性质的主要因素，而高分子的聚集态结构是决定高聚物本体性质的主要因素。对于实际应用中的高分子材料或制品，其使用性能直接决定于加工成型过程中形成的聚集态结构。因此，对超分子结构的研究，具有重要的理论和实际意义。了解超分子结构特征、形成条件及其材料性能之间的关系对于通过控制加工成型条件以获得具有预定结构和性能的材料是必不可少的，同时也为高分子材料的物理改性和材料设计提供科学的依据。
CAS号：
性质：又称超分子有序。为高分子的聚集态结构。是指高分子链之间的排列和堆砌结构。高分子的链结构是决定聚合物基本性质的主要因素，而高分子的聚集态结构是决定高聚物本体性质的主要因素。对于实际应用中的高分子材料或制品，其使用性能直接决定于加工成型过程中形成的聚集态结构。因此，对超分子结构的研究，具有重要的理论和实际意义。了解超分子结构特征、形成条件及其材料性能之间的关系对于通过控制加工成型条件以获得具有预定结构和性能的材料是必不可少的，同时也为高分子材料的物理改性和材料设计提供科学的依据。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条