第五代计算机及其认知逻辑方法

计算机的发展正在从顺序控制流逻辑方法飞跃进入第五代的认知逻辑方法。需要第五代计算机解决的一个关键问题是NP问题。NP机器的双语言结构与人脑的感-知双重结构相同。北大未名生物工程集团有限公司生物智能技术研究组根据人脑的结构和功能提出一套认知逻辑形式语言理论,并根据认知形式语言制成一个NP机,命名为“未名机”。未名机正在进行NP问题的多项式时间测试。如果能解决NP问题,未名机将为第五代计算机提供逻辑实施方法。     

逻辑推演--程序设计在现实生活中的应用

“逻辑推演”是指利用已知信息，通过分析和判断，得出未知信息的过程。计算机解决逻辑推演问题要依靠逻辑表达式。本文结合逻辑推演，剖析了程序设计在现实生活中的应用。     

归纳逻辑程序设计综述

归纳逻辑程序设计是逻辑程序设计和机器学习的一个交叉研究领域。先概述了归纳逻辑程序设计的历史及发展现状;对归纳逻辑程序设计学习器进行了分类和形式化定义,并给出了学习器的质量标准;按划分的类型分别讨论了归纳逻辑程序设计学习器的主要求解算法;进一步指出了归纳逻辑程序设计未来的发展前景,提出了归纳逻辑程序设计领域需要深入研究的若干问题。     

逻辑程序设计与第五代计算机核心语言

以第五代计算机的研究开发为代表的新技术革命浪潮的持续高涨,强烈刺激世界发达国家在科技领域的竞争。第五代计算机建立在革新的理论和技术的基础上,面向智能应用的知识信息处理系统,又称智能计算机,而最能体现革新理论的革命的思想的,就是逻辑程序设计,它已被选作第五代计算机的核心的程序设计语言。本文正是从这样的角度,通过扼要的历史回顾,综述介绍第五代计算机的软件与语言的特点,建立在人工智能成就上的智能数据库与专家系统,以及作为第五代机核心语言的逻辑程序设计和它在思维自动化这一重要领域中迈开的第一步——PROLOG。     

PLD在计算机控制器设计中的应用

介绍通用陈列逻辑器件GAL的特点、开发工具及在计算机系统控制器设计中的应用.     

逻辑程序设计对软件开发的影响

本文研究逻辑程序设计,广泛地讨论了它在软件开发实践中的作用及其对软件工程的影响。     

案例教学法在计算机教学中的应用

本文研究了案例教学法在高职C语言程序设计中的应用，讨论了怎样有效地把案例教学法运用到C语言程序设计教学中，以促进计算机程序设计的教学成效。并举例进行了说明。     

计算机在逻辑代数化简中的应用

利用计算机对逻辑代数进行化简，使复杂的逻辑代数分材化简工作的速度大大提高，不仅结果准确可靠，同时避免了传统人工分析中由于人为因素造成的差错。它可广泛应用于数字电路的分析、设计和教学等。     

PROLOG解释系统移植和功能扩充技术

本文介绍了Prolog-KABA解释系统的移植和功能扩充技术。在系统移植中,我们分别解决了系统运行的存贮器分配策略、操作系统调用的模拟、以及屏幕显示程序改造等问题;另外我们基于结构编辑器的设计思想,在系统中重新设计了一个菜单式屏幕编辑程序。     

动态多值逻辑函数的稳定及性质

本文讨论动态多值逻辑函数在按时态分解意义下的稳定概念，稳定性质和稳定的充要条件，从而为动态多值逻辑函数的蕴涵 分析及其它分析性质奠定了基础。     

定时控制电器的可编程逻辑器件的实现

本文介绍利用可编程逻辑器件FPGA,设计一种器件少、可靠性高、实用性强的电器定时控制电器,详细阐述了其硬件原理、逻辑实现及可编程逻辑器件的设计思路.     

科学结论的逻辑问题——科学研究规律探讨之四

讨论了科学研究的成果——科学结论的逻辑问题,因为从特定的事例归纳到普遍的规律存在着“归纳逻辑谬误”,所以,在科学研究中特别要注意科学结论外推的局限性.介绍了波普的关于科学结论的证实和证伪的观点:科学本质上是一系列命题的集合,现实世界的综合命题本体,至少在原理上可以用经验的观察来证伪,这就是科学,科学不是以它的学科内容或声称掌握某种知识的确定性为特征,而是以建立和检验命题的方法为特征的.最后,讨论了科学结论的解释功能和预言功能.     

对偶原理在组合逻辑电路设计中的应用

本文讨论了对偶原理在组合逻辑电路设计中的应用,这种应用为我们设计电路选择器件又提供了一种方法。     

逻辑设计中比较逻辑的参与

针对带有比较器的数字逻辑电路,本文提出一种比较逻辑参与的设计方法,使设计的结果更为简单和合理。     

一种用于PLC的模拟量／开关量转换电路

本文以可编程逻辑控制器(PLC)在某大型远洋测量船上首次成功的应用为例,提出一种简便、实用、可靠的模拟量/开关量转换电路。     

逻辑正弦－余弦函数在数字电子技术中的应用

将正弦－余弦三角函数和布尔逻辑代数相结合，交叉形成逻辑正弦－余弦函数，其自变量像普通三角函数的自变量一样可以连续取值，而函数值象布尔逻辑函数一样只取逻辑值“０”和“１”，遵从逻辑代数的运算规则．逻辑正弦－余弦函数既具有正弦－余弦三角函数的某些性质，又具有布尔逻辑函数的特性，为分析、设计数字逻辑电路实现的信号处理系统，提供了一种数学工具和信号形式     

动态多值逻辑函数的时态分解

本文就作者（１９９５）建立的动态多值逻辑函数的范式提出了Ｈ（ｔ，Ｘ）函数的时态分解结构．从而将其定义４的条件１°具体地表达了出来，并得到Ｈ（ｔ，Ｘ）的时态分解式．完全确定了已知函数Ｈ（ｔ．ｘ）在任一时刻ｔ的具体表达式，为深入研究动态多值逻辑函数作了准备．     

逻辑函数公式法化简技巧

本文用实例总结出逻辑函数公式法化简的技巧方法，从而可对逻辑函数进行灵活快速的化简。