论文部分内容阅读
为满足不完全信息系统应用的需要，本文构造了基于命题联结词∧、∨、→、ヲ、∽和∽的中介逻辑命题演算系统ＭＰ＾Ｎ和中介逻辑谓词演算系统ＭＦ＾Ｎ，并证明了ＭＰ＾Ｎ与ＭＰ、ＭＦ＾Ｎ与ＭＦ的表达能力等价，ＭＦ＾Ｎ将为进一步讨论不完全信息数据库作准备。
中介逻辑演算系统MP^N及MF^N
【摘 要】
：
为满足不完全信息系统应用的需要，本文构造了基于命题联结词∧、∨、→、ヲ、∽和∽的中介逻辑命题演算系统ＭＰ＾Ｎ和中介逻辑谓词演算系统ＭＦ＾Ｎ，并证明了ＭＰ＾Ｎ与ＭＰ、ＭＦ＾Ｎ与ＭＦ的表达能力等价，ＭＦ＾Ｎ将为进一步讨
【机 构】
：
南京航空航天大学计算机科学与工程系,南京通信工程学院数学教研室
【出 处】
：
模糊系统与数学
【发表日期】
：
1999年2期
其他文献
利用排队理论，建立了一个到达率递增、服务率不变、服务台数量递减的变参数随机服务系统最优设计模型。给出了满足投资有限，在一定时期内设备使用率和用户服务质量满足给定的要
本文介绍了用于解决纸厂能量平衡及质量平衡问题的ＧＥＭＳ软件，采用该软件可进行纸厂的静态及动态工艺分析，且勿需过多的时间和人力，本文采用该软件对一个蒸发站的质量平衡实例进行了计
目的介绍郑亮教授治疗慢性萎缩性胃炎临床经验。方法通过对慢性萎缩性胃炎病因病机的分析,结合临床所常见的证型,提出了疏肝理气,和胃止痛的治法,及其经验方—加味抑肝散。结
流速分布规律的研究是揭示水流流动特性的关键,含沙量分布规律的定量描述是研究悬移质运动的基础。鉴于同室内水槽试验资料相近的经典公式,同天然河流实测资料存在较大差距,
软件开发过程中的管理与控制对于软件开发的质量以及效率至关重要。探讨了中小型软件开发项目管理与控制中存在的问题,并从管理艺术的角度,探讨了中小型软件开发质量管理与控
本文考虑存在多源验前信息的情况，以二项分布为例，首先把各种验前信息化成不同的约束条件，并运用最大熵准则推导出各种验前信息所对应的验前分布，然后将这些分布综合成最终的验前
本文运用模糊数学的理论方法对汛期径流预报进行了探讨,即首先对汛期来水的理论实测资料,运用最大树法和软化分法进行了模糊聚类分析,得到汛期来水的多个预报模式;进而利用Ga
目的探讨急性闭角型青光眼采用激光周边虹膜切开术治疗的临床效果。方法选取2015年7月至2017年12月就诊于本院的急性闭角型青光眼患者共60例作为研究对象,所有患者均在常规治
目的研究与分析院前急救护理在急性脑出血患者中的应用及其对预后的影响。方法选取在2015年1月在至2017年12月时间内来我院进行治疗的患有急性脑出血50例患者,随后采取统计学