搜索筛选:
搜索耗时1.9661秒,为你在为你在102,285,761篇论文里面共找到 23 篇相符的论文内容
类      型:
[期刊论文] 作者:应明生,, 来源:江西师范大学学报(自然科学版) 年份:1991
本文的目的是建立与对称三值逻辑相应的集合概念,定义它们的一些运算,并讨论其若干性质....
[期刊论文] 作者:应明生, 来源:江西师范大学学报:自然科学版 年份:1990
本文对T=,·,⊙的情况讨论了语气要求下的最优Fuzzy蕴涵,给出了在一定的条件下Fuzzy蕴涵所应具有的形态,提出了用来衡量推理满足语气要求的总体程度的指标。...
[期刊论文] 作者:应明生, 来源:江西师范大学学报:自然科学版 年份:1995
本文给出了基于非经典逻辑的拓扑的一个统一的框架,综述了作者及其合作者近年来在此课题上所取得的一系列结果,指出了这些结果在其它一些课题中的应用及进一步的发展方向。...
[期刊论文] 作者:应明生, 来源:模糊系统与数学 年份:1989
在近似推理的关系合成规则中,用于表现蕴涵命题的Fuzzy关系依赖于前、后件的具体意义。为了克服这个缺点,Baldwin提出了真值限定方法。其后,他在[2]中又将这种方法推广到不限...
[期刊论文] 作者:应明生, 来源:数学研究与评论 年份:1995
本文建立了超积中的不可分辨性与各因子模型中相应性质的联系,证明了若模型关于某公式集稳定,则对其Boole闭包亦然。...
[期刊论文] 作者:应明生, 来源:计算机学报 年份:1997
关于Herbrand基上的语义映射应明生(江西师范大学数学系南昌330027)SEMANTICMAPPINGSONHERBRANDBASES¥YINGMingsheng(DepartmentofMathematics,JiangxiNormalUni.........
[期刊论文] 作者:应明生, 来源:数学年刊:A辑 年份:1993
本文引入不分明化VD-空间和线性VD-空间的概念并以其为工具刻划PM空间的拓扑结构和PN空间的线性拓扑结构。...
[期刊论文] 作者:应明生, 来源:江西师范大学学报:自然科学版 年份:1991
本文在一定的条件下证明了L值逻辑的紧致性蕴涵(F’_1)和(F’_2),其推论说明了格值模型论与二值模型论之间存在着一些本质的区别....
[期刊论文] 作者:应明生, 来源:江西师范大学学报:自然科学版 年份:1994
本文引入(?)下Menget-PIP空间与Wald-PIP空间的概念,建立了这些空间的一些基本性质,讨论了它们与对应PN空间的关系、它们的线性拓扑结构与正交性....
[期刊论文] 作者:应明生, 来源:软件学报 年份:1996
本文在一些相当直观的条件下建立了Institution中合并理论与各因子理论的初台语义之间的对应关系。...
[期刊论文] 作者:应明生, 来源:计算机学报 年份:1992
R C.T.Lee和C.L.Chang首先讨论了真值集为单位区间的模糊逻辑,特别是证明了一阶谓词公式在二值逻辑中的不可满足性与在这种模糊逻辑中的不可满足性是等价的,从而原始的...
[期刊论文] 作者:应明生, 来源:计算机学报 年份:1989
本文中的符号和术语,如未加说明,皆引自[1],给定整数M≥2,真值集合T_M={1,…,M},命题函数F_1(P_1,P_2)=P_1CP_2,F_2(P)=NP对应的真值函数分别为:...
[期刊论文] 作者:应明生, 来源:软件学报 年份:1997
本文在一定的条件下建立了Institution中理论态射的粘合与各因子态射的自由性之间的联系,并证明了自由理论态射的复合仍为自由的。...
[期刊论文] 作者:应明生, 来源:福州大学学报:自然科学版 年份:1990
本文在文[1—4]的基础上讨论了FuzzyP关系的Sup-T可实现性。...
[期刊论文] 作者:应明生, 来源:数学进展 年份:1991
本文通过引入与τ_(T,L)协调的实数与分布函数的⊙_L乘法,修正了τ_(T,L)型PN空间的定义,讨论了这类PN空间的线性拓扑,证明了一定条件下的可赋可列拟范性。 一、引言 为...
[期刊论文] 作者:应明生, 来源:Journal of Computer Science and Technology 年份:1999
This paper introduces the modifications on actions of a topologyon names of actions and the simplest topology on agents induced by a topology onnames of actions...
[期刊论文] 作者:冯元, 应明生,, 来源:软件学报 年份:2018
量子硬件设计与制造技术的飞速发展使得人们开始预言大于100个量子比特的特定用途的量子计算机有望在5-10年内实现.可以想见,到那时候,量子软件的开发将变成真正发挥这些计算机......
[期刊论文] 作者:贺仲雄,应明生, 来源:系统工程与电子技术 年份:1989
本文研究了物元特征的交互作用度,并给出了FHW专家决策系统中专家权重确定算法的交互作用计算方法。...
[期刊论文] 作者:江国彪,应明生, 来源:福州大学学报:自然科学版 年份:1990
本文把Sehgal V M[1,2]和张石生[3-7]等人在 Menger空间中所讨论的有关不动点定理的一系列工作推广到连续的三角形函数下概率度量空间中去.同时.我们还给出了Ciric[9]不动点定理的一个推广.......
[期刊论文] 作者:马少平,应明生,, 来源:中国基础科学 年份:2003
一、实验室建设与发展历程rn智能技术与系统国家重点实验室依托清华大学,1987年7月开始筹建,1990年2月通过国家验收,并正式对外开放运行.实验室由中心实验室和智能信号处理分...
相关搜索: