串行电子计算机的一种设计方法

本文考虑串行电子计算机设计，着重简化逻辑结构和执行指令操作的逻辑合理性。以期达到造价的经济性和使用的可靠性。     

基于FPGA的电子密码锁的设计与实现

由于电子密码锁具有成本低、安全性高、功耗低、易操作等优势，使得其越来越受到人们的青睐。本设计利用QuartuslI软件平台和大规模可编程逻辑器件FPGA，完成了电子密码锁的功能设计与仿真，大大简化了密码锁的结构，提高了密码锁的保密性和可靠性。     

命题逻辑等值演算的计算机求解方法

探讨了利用数据结构中广义表的特性来设计命题逻辑表达式在计算机上的逻辑结构和存储结构，以及在这种结构上如何实现它的基本操作，进而实现其它复杂的等值演算。     

矿体构造的逻辑结构建模方法研究

本文将逻辑结构单元作为地质建模过程中模型各组成要素的抽象,进而提出了逻辑结构建模的形式化表示方法,重点探讨了模型功能的形式化描述、模型结构的抽象化表达、逻辑结构模型的组织方式及逻辑结构模型的一般算法等主要技术。所提出的方法为煤田地质建模到软件系统设计提供了基础。     

通用阵列逻辑GAL器编程方法的研究

介绍了通用阵列逻辑ＧＡＬ器件的输出逻辑宏单元结构及组态模式，重点就ＧＡＬ器件编程中选择输出方式，合理分配引脚处理相邻性问题，选择逻辑问题的描述方式以及ＡＢＥＬ软件编辑中的几个技术问题进行了分析与探讨。     

可编程逻辑器件PLD的故障检测与诊断

本文提出的可编程逻辑器件易测试方法，充分利用了ＰＬＤ本身固有的可编程特点，简化了器件故障诊断的难度；所有延时、逻辑故障全部可以检测，对延时故障和交叉点故障具有诊断功能，故障检测、诊断十分简便     

一种安全协议的形式化验证方法

BAN(Burrows,Abadi and Needham)类逻辑可以辅助设计、分析和验证网络和分布式系统中的安全协议。介绍BAN逻辑的产生、成分和分析步骤，指出BAN逻辑的缺陷，由此而产生的改进BAN逻辑和现状，并对BAN类逻辑作全面的回顾与展望，得出：BAN类逻辑仍然是密码协议分析和设计的主要工具，但理想化步骤是BAN类逻辑的致命缺陷的结论。展望了BAN类逻辑研究。对未来协议的形式化分析工作具有指导意义。     

采用ISP逻辑器件的数字系统设计方法

可编程逻辑器件是一种可以由用户在现场进行编程的逻辑器件,它给数字系统的设计带来了全新的概念,使数字系统的逻辑规模更大,设计变得更加方便、灵活和高效。本文介绍了ISP器件的结构、开发系统和设计方法。     

汉英思维逻辑差异在语言上的表现

语言逻辑是思维规律的反映。汉英语言在字词的生成、句子和语篇结构方面都存在差异。这些差异主要表现在逻辑形式、逻辑结构和逻辑方式三个方面。了解汉英语言在逻辑方面的差异，既有利于把握两种语言的神韵，又有助于进一步理解两种文化差异。     

采用ISP逻辑器件的数字系统设计方法

可编程逻辑器件是一种可以由用户在现场进行编程的逻辑器件,它给数字系统的设计带来了全新的概念,使数字系统的逻辑规模更大,设计变得更加方便、灵活和高效.本文介绍了ISP器件的结构、开发系统和设计方法.     

论黑格尔的逻辑方法

主客同一的逻辑本体论是黑格尔逻辑方法的基础。黑格尔站在主客同一的绝对知识的高度，把逻辑学归结到本体论，把历史(哲学史)归结到逻辑，从而实现了认识论、逻辑学、本体论的统一。黑格尔的逻辑方法在今天人们的理论思维中，仍然发挥着广泛的影响。     

试论语言的逻辑成分

到目前为止，学界还没有人专门系统地研究过逻辑成分，本文弥补了这个缺憾：论述了语言中的逻辑成分、新式句法结构（特别是述宾结构）取代传统的逻辑结构的表达效果与原因，以及研究逻辑成分的意义。     

数学难以理解的逻辑透视

对数学教学内容的逻辑结构、逻辑规则和方法以及数学语言进行逻辑透视，探讨数学难以理解的客观因素及对策．     

基于Agent的IDSS的研究与设计

针对企业生产经营管理决策系统采用B／S结构，存在系统服务响应速度慢、服务高峰期易锁死等问题；提出了一种采用Agent技术将数据处理与符号处理集成在一起，构建事务逻辑服务的统一框架。为用户提供了一种快捷方便、稳定可靠的定性推理与定量计算相结合的辅助企业经营管理与决策的支持平台。     

应用ORCA结构测试FPGA逻辑单元的方法研究

给出了一种基于BIST技术测试FPGA逻辑单元CLB的方法．利用本文给出的0RCA结构对CLB进行测试，可以尽可能地对CLB中的故障进行完全测试，提高测试效率，减少了测试成本．文章给出了应用这种方法进行测试的配置结构、故障覆盖率和测试中出现的问题及其解决办法．实验结果表明，文中的方法是可行的．     

遗传算法-神经网络方法的结构损伤识别

应用人工神经网络技术，提取结构的固有频率的变化为特征参数，建立结构损伤识别模型，提出用遗传算法来调整神经网络的权值，并对一个框架模型进行了损伤数值模拟计算，即基于遗传算法一神经网络方法的结构损伤识别的研究。该方法弥补了传统的种经网络BP网络收敛速度慢，易陷入局部极小点等缺陷．结构表明，该方法具有收敛速度快和识别精度高的特点。     

数字逻辑设计方法与应用

按照逻辑功能的不同特点，常把数字逻辑电路分为两大类：一类称为组合逻辑电路，一类称为时序逻辑电路。两类逻辑电路的功能描述方法、分析和设计方法不同。本文将对两类逻辑电路的分析与设计中的有关问题分类举例说明。一、组合逻辑电路设计组合逻辑电路的输出信号的稳态值仅决定于该时刻各个输入信号的取值，与电路前一时刻的逻辑状态无关。组合逻辑电路的逻辑功能表示方法常用逻辑函数表达式、真值表、卡诺图、逻辑图。组合逻辑电路的设计就是从给定的逻辑要求出发，求出完成逻辑要求的逻辑电路图，其设计过程通常分为四步，而最重要的一…     

基于时序逻辑和SCR方法的需求分析方法

以定义事件驱动型系统需求的ＳＣＲ方法和时序逻辑为基础，提出了一种能够根据ＳＣＲ方法与时序逻辑之间的语义联系和时序逻辑的推理能力有效地检查用ＳＣＲ方法定义的事件驱动系统的需求分析方法。为便于理解，还给出了一个简单的例子来介绍如何分析和检查用ＳＣＲ方法定义的需求的有效性。     

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

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

智能数字密码锁的设计与仿真

电子密码锁由于其安全性高、成本低、功耗低、易操作等自身的优势,越来越受到人们的青睐。采用EDA技术,利用MAX plusII软件平台、大规模可编程逻辑器件FPGA,完成数字密码锁的功能设计与仿真,大大简化其结构,降低成本,提高了数字密码锁的保密性和可靠性。