检索结果-维普期刊中文期刊服务平台

逻辑电路的神经网络被引量：1: 1; 作者刘永才《上海大学学报（自然科学版）》 CAS CSCD 1997年第1期82-87,共6页; Ｍ．Ｌ．Ｂｕｓｈｎｅｌ教授和作者给出了ＮＯＴ，ＡＮＤ，ＯＲ，ＮＡＮＤ，ＮＯＲ，ＸＯＲ和ＸＮＯＲ门的神经网络．以这些门的神经网络为基础，可构成任何逻辑电路的神经网络．由此，将电路的相容信号转换为平方伪布尔函数的全局极小... 展开更多; 关键词神经网络 HOPFIELD网平方伪布尔函数逻辑电路; 在线阅读下载PDF 职称材料

软件求精方法的一种实现模型: 2; 作者李刚朱关铭《上海大学学报（自然科学版）》 CAS CSCD 1996年第3期335-343,共9页; 软件求精是形式化开发方法中的一种新技术．本文介绍了软件求精的基本思想和理论基础，并结合一种广谱语言“扩展ＧｕａｒｄｅｄＣｏｍｍａｎｄｓ”介绍了其一般方法．此外，还基于人工智能技术中的产生式系统，提出了软件求精的一种实... 展开更多; 关键词形式化开发软件求精广谱语言软件工程; 在线阅读下载PDF 职称材料

相信逻辑的某些性质和定理: 3; 作者吴茂康童頫缪淮扣《上海大学学报（自然科学版）》 CAS CSCD 1996年第5期556-560,共5页; 本文研究了相信逻辑在相信蕴涵下的某些性质．在相信蕴涵的定义下，相信逻辑是非单调的．本文给出了几个相信逻辑的单调性的充分且必要条件．还证明了一个默认理论的延伸恰好就是对应的相信理论的相信公式的所有相信蕴涵式的全体．从而... 展开更多; 关键词默认理论延伸相信逻辑非单调推理相信蕴涵; 在线阅读下载PDF 职称材料