1.There is a common knowledge,including how to comprehend the implication of quantification,using directly,using transformed and the realization of implication in the mathematical calculations performed tuple relationship(especially the ALPHA)and RDB standard language SQL. Uniting the example of case,introduces some new teaching thinking,teaching methods for craft brother to consult and exchange. So have made the better teaching result.
在元组关系演算(尤其是元组关系演算语言ALPHA)和关系数据库标准语言中,量词的含义 理解、直接使用、转换使用以及蕴涵功能(Implication)的实现等是教学难点,结合案例提出了讲授 这些知识点的一些新思路和新方法,取得了较好的教学效果.
2.A Lithospheric Boundary between Eurasia and Gondwanaland in Eastern Tethyan Orogen: Implication from Geochemistry of Continental Basalts in Southwestern China
A Lithospheric Boundary between Eurasia and Gondwanaland in Eastern Tethyan Orogen： Implication from Geochemistry of Continental Basalts in Southwestern China
3.Holocene ostracoda and sedimentary environment implication in The core NG93-1 from the Great Wall Bay, Antarctica
Holocene ostracoda and sedimentary environment implication in The core NG93－1 from the Great Wall Bay， Antarctica
4.Chapter 1: The Regular ImplicationIt is well known that the choice of implication is very important to the fuzzy logical systems,for example the Lukasiewicz system use the Lukasiewicz implication, Godel system use the Godel implication, and L~* system use the R_0-implication etc.
完备的逻辑系统的建立与蕴涵算子的选择密切相关,比如Lukasiwicz系统选择的是Lukasiewicz蕴涵算子,Godel系统选择的是Godel蕴涵算子,L~*系统选择的是R_0-蕴涵算子等等。
5.The main contributions are :(1) By analyzing and comparing the implication of several kinds of importance approaches used in the reliability analysis of general engineering, the implication of the sensitivity analysis approach for power system reliability assessment and the implication of various conditional probabilities inferred from Bayesian networks, it can be concluded that Bayesian networks based approach is more suitable to identify the weak components in a power system.
1.对一般可靠性工程中常用的几种重要度、电力系统可靠性评估的灵敏度分析和贝叶斯网络因果推理、诊断推理的条件概率的物理意义进行了对比分析,结果表明贝叶斯网络方法更适合于识别可靠性薄弱环节。
6.With reference to Russell, this article ventures to conduct an analysis of the distinction and relation between proposition and propositional function. It also discusses the true meanings of Formal Implication, and argues that Formal Implication is not a kind of independent implication.
从罗素出发,讨论了命题和命题函项的区别与联系,分析了形式蕴涵的真实含义,论证了形式蕴涵不是一种独立的蕴涵。
7.In this paper the definition of universal implication inis updated first,and the properties of universal implication are studied;
论文首先对文[6]中泛蕴涵联结词的定义进行改进,使其定义更为严格且易于运算,并研究了泛蕴涵联接词的若干性质;
8.In the sight of enlightenment, this dissertation takes the esthetic thought of Lu Xun, Liang Qi Chao and Cai Yuan Pei as research object, combs the enlightenment implication out of their esthetic thought, and puts great emphasis on discussing the modern value reconstruct of the traditional Confucianism and the modem inheritance of humanism spirit coming of the midlle period of Ming, which has produced a culture motive to the formation of enlightenment implication.
在这一启蒙的视线上，本文以鲁迅、梁启超和蔡元培美学思想为研究对象，梳理出他们美学思想的启蒙内蕴，并着重探讨了传统儒家思想的现代价值重构和明中叶以来的人文主义精神的现代继承，对这一内蕴的形成所产生的文化动力。
9.It points out that the implication operator I(x, y) defined by strict t-norms is not continuous at (0,0) and discusses under what conditions a t-norm induced by an implication operator is Archimedean.
这个工作使得仅需判断两个阿基米德t－范的减生成子在0处的值，便可以搞清楚它们是否同构，这在很大程度上简化了Hdjek的工作．指出了由严格的仁范定义的蕴涵算子方（＄叨在叮0）处不连续； 并给出了什么样的蕴涵算子定义的t－范是阿基米德的．
10.Internal Implication and Expansion of Euclidean Space and Symplectic Space for Bogus Symplectic Space
欧氏空间与辛空间关于伪辛空间的内蕴和扩张
