共查询到19条相似文献，搜索用时 156 毫秒
1.
《南京大学学报(自然科学版)》1998,(1)
ＨＡＲＭＯＮＩＣＡＣＳＵＳＣＥＰＴＩＢＩＬＩＴＹＦＯＲＴＥＸＴＵＲＥＤＹＢａ２Ｃｕ３Ｏ７ＧｅＹｏｎｇ１）ＤｉｎｇＳｈｉＹｉｎｇ２）（１）ＤｅｐａｒｔｍｅｎｔｏｆＰｈｙｓｉｃｓ,ＮａｔｉｏｎａｌＬａｂｏｆＳｏｌｉｄＳｔａｔｅＭｉｃｒｏｓｔｒｕｃｔｕｒ... 相似文献
2.
ZengZaoyang DingShiying YaoXixian 《南京大学学报(自然科学版)》1997,(1):125-126
ＳＵＲＦＡＣＥＰＩＮＮＩＮＧＡＮＤＩＴＳＤＥＴＥＲＭＩＮＡＴＩＯＮＢＹＭＡＧＮＥＴＩＣＲＥＬＡＸＡＴＩＯＮＺｅｎｇＺａｏｙａｎｇ１）ＤｉｎｇＳｈｉｙｉｎｇ１）ＹａｏＸｉｘｉａｎ１，２）（１）ＰｈｙｓｉｃｓＤｅｐａｒｔｍｅｎｔａｎｄＳｏｌｉｄＳｔａｔ... 相似文献
3.
《南京大学学报(自然科学版)》1997,(3)
ＡＳＴＵＤＹＯＮＴＨＥＬＯＷＦＲＥＱＵＥＮＣＹＰＲＥＳＳＵＲＥＲＥＳＰＯＮＳＥＯＦＴＨＥＶＥＮＴＥＤＥＮＣＬＯＳＵＲＥＷＩＴＨＡＮＥＷＴＨＥＯＲＹＳｈｅｎＹｏｎｇＳｈａＪｉａｚｈｅｎｇ（ＩｎｓｔｉｔｕｔｅｏｆＡｃｏｕｓｔｉｃｓ，ＮａｎｊｉｎｇＵｎｉ... 相似文献
4.
ＧＡＭＭＡ和ＵＮＩＴＹ都是面向问题描述的程序设计语言．ＵＮＩＴＹ开发了一种公理语义规范语言，即ＵＮＩＴＹ逻辑，描述和推导程序的特性．这一规范语言也可以很自然地移植到ＧＡＭＭＡ模型上去．基于上述语义规范，给出一个将ＵＮＩＴＹ程序变换成ＧＡＭＭＡ程序的保语义等价性的程序变换方法，从而证明了ＧＡＭＭＡ模型的描述能力强于ＵＮＩＴＹ模型 相似文献
5.
《南京大学学报(自然科学版)》1995,(1)
ＴＨＥＯＰＴＩＣＡＬＯＢＳＥＲＶＡＴＩＯＮＯＦＴＨＥＣＯＬＬＩＳＴＩＯＮＳＯＦＣＯＭＥＴＳＨＯＥＭＡＫＥＲ－ＬＥＶＹ９ＷＩＴＨＪＵＰＩＴＥＲ￥ＺｈｏｕＨｏｎｇｎａｎ（ＤｅｐａｒｔｍｅｎｔｏｆＡｓｔｒｏｎｏｍｙ，ＮａｎｊｉｎｇＵｎｉｖｅｒｓｉｔｙ，２１... 相似文献
6.
陶根友 《浙江海洋学院学报(自然科学版)》1995,(3)
论高校后勤改革的阶段性与适应性陶根友（浙江水产学院，舟山３１６１０１）ＯＮＳＴＡＧＥＡＮＤＳＵＩＴＡＢＩＬＩＴＹＯＦＬＯＧＩＳＴＩＣＳＲＥＦＯＲＭＩＮＣＯＬＬＥＧＥＴａｏＧｅｎｙｏｕ（ＺｈｅｊｉａｎｇＦｉｓｈｅｒｉｅｓＣｏｌｌｅｇｅ，Ｚｈｏｕｓｈａｎ... 相似文献
7.
ＥＸＰＥＲＩＭＥＮＴＳＴＵＤＹＯＮＴＨＥＲＥＬＡＴＩＯＮＳＨＩＰＢＥＴＷＥＥＮＫＩＮＫＡＮＤＭＹＬＯＮＩＴＥＬｕｈｕａｆｕ１）ＳｈｉＨｕｏｓｈｅｎｇ１）Ｃ．Ｊ．Ｌ．ＷＩＬＳＯＮ２）（１）ＤｅｐａｒｔｍｅｎｔｏｆＥａｒｔｈＳｃｉｅｎｃｅｓ，Ｎａｎｊｉ... 相似文献
8.
ＥＸＣＩＴＡＴＩＯＮＯＦＴＨＥＤＥＬＴＡ┐ＢＡＲＹＯＮＷＩＴＨＤＥＮＳＩＴＹＤＥＰＥＮＤＥＮＣＥＩＮＱＵＡＳＩＥＬＡＳＴＩＣＥＬＥＣＴＲＯＮＳＣＡＴＴＥＲＩＮＧＷａｎｇＺｉｓｈｅｎｇＭａＺｈｏｎｇｙｕ（ＣｈｉｎａＩｎｓｔｉｔｕｔｅｏｆＡｔｏｍｉｃＥ... 相似文献
9.
蔡慧萍 《浙江海洋学院学报(自然科学版)》1997,(2)
论高校公共英语的教学ＳＴＵＤＹＯＮＴＨＥＩＮＳＴＲＵＣＴＩＯＮＩＮＰＵＢＬＩＣＥＮＧＬＩＳＨＯＦＴＨＥＵＮＩＶＥＲＳＩＴＹＣＯＬＬＥＧＥ蔡慧萍ＣａｉＨｕｉｐｉｎｇ（舟山师范专科学校，舟山３１６０００）（ＺｈｏｕｓｈａｎＴｅａｃｈｅｒｓＣｏｌｅｇｅ，Ｚ... 相似文献
10.
李红达 《四川师范大学学报(自然科学版)》1994,(2)
ＯＮＴＨＥＩＮＶＥＲＴＩＢＬＩＴＹＯＦＮＯＮＬＩＮＥＡＲＷＩＥＮＥＲ－ＨＯＰＦＯＰＥＲＡＴＯＲＬｉＨｏｎｇｄａ（李红达）（ＹａｎａｎＵｎｉｖｅｒｓｉｌｙ，Ｙａｎａｎ７６０００）Ｉｎｄｉｆｆｅｒｅｎｔａｐｐｌｉｅｄｆｉｅｌｄｓ，ｍａｎｙｐｒｏｂｌｅｍｃ... 相似文献
11.
在定量的意义下使模糊命题演算完全包容经典命题逻辑是不可能的。布尔算子命题逻辑用算子和算子的演算定性地描述和处理模糊命题的不确定性，将经典命题逻辑作为其特例。在布尔算子命题逻辑中给出了其公理系统和求公式恒真水平的机械推导算法。 相似文献
12.
左卫兵 《云南大学学报(自然科学版)》2012,(2):134-141
通过引入随机化映射和真度权函数等概念,在四值非全序R0命题逻辑系统中提出了公式的可变随机真度,得到可变随机真度的一些基本性质,提出了2公式间的随机相似度和随机伪度量,建立了四值非全序R0命题逻辑系统上的随机逻辑伪度量空间,为在四值非全序命题逻辑系统上进行近似推理提供了一种可能的框架. 相似文献
13.
简单地讨论了命题逻辑,用命题逻辑全面地研究了推理格式和数学证明方法,形成一个完整的系统.内容包括反证法推理格式、反证法、数学证明方法总结. 相似文献
14.
李若晖 《杭州师范学院学报(社会科学版)》2014,(3):1-11,93
五行学说之成立是中国哲学史研究中的重要问题。五行学说成立的标志是五行与阴阳思想相融合,亦即成功解决“五行”与“四时”相配的问题。数十年来,关于这一问题的研究主要有三条进路：王梦鸥发掘的“四时”五分以配“五行”虽然理论上精致,不过难以付诸实践,终归湮灭;庞朴抉发的“尚土说”影响较大,可惜完全基于对史料的误解;只有徐复观之说在逻辑与文献两方面都较为合理,且两者配合无间,是以可信。 相似文献
15.
针对二值神经元在不确定性知识表示和推理中的不足,提出了一种具有三值逻辑表达能力的神经元模型:三值逻辑与神经元和三值逻辑或神经元。采用这种三值逻辑神经元来表示规则和真值状态的不确定性,由这种逻辑神经元连接而成的神经元链能够实现三值逻辑推理系统,可以对三值关联规则进行表示和推理。 相似文献
16.
讨论了基于格值命题逻辑系统LP（X）的不确定性推理，证明了FMP和FMT等不确定推理规则，为进一步讨论语言值逻辑推理提供逻辑基础。 相似文献
17.
本文证明了对于给定的多值逻辑系统中的命题公式，存在有理数域上的多项式与之对应从而判定一个命题公式能否以一组命题公式推出，我们只需判定某一多项式是否在一代数值上消失通过代数簇的分解，给出了判定这一问题的算法。 相似文献
18.
In this paper,we construct a six-element intuitionistic linguistic truth-valued fuzzy propositional logic (6LTV-IP) based on the framework of linguistic truth-valued propositional logic,which can express both the comparable and incomparable truth values. Truth degree and falsity degree of intuitionistic fuzzy proposition are two truth values with linguistic hedge. With the concrete logic operation of 6LTV-IP,some special properties are obtained. Then based on (α,β)-complementary literals and (α,β)-similar literals,we propose a soft-resolution method of 6LTV-IP. 相似文献
19.
引入了强并超格的概念并给出了强并超格上超理想和超滤子的定义,探讨了元素a生成的超理想及I(a∧b)的分配性.进一步研究了带“*”条件的强并超格,并在此基础上给出了素超滤子定理. 相似文献