多值开关级代数结点方程组及其求解

多值开关级代数可以在晶体管开关级为MOS电路建模,井已在分析与设计通路晶体管开关网络中取得了很好的效果。本文对多位开关级代数作了进一步研究,取得了若干新结果:(1)提出以(A#B)*G的形式来描述MOS管的双向开关特性;(2)提出以#范式及结点方程组来描述一个复杂的MOS开关网络的特性;(3)提出吸收定理,以简化并求解网络的结点方程组。     

限幅电压开关理论及三值TTL电路的开关级逻辑设计

本文根据作者对CMOS电路的研究经验,在分析二值与三值TTL反相器工作过程的基础上,讨论了TTL电路中晶体管开关元件与信号之间的相互作用过程,并由此建立了适用于TTL电路的限幅电压开关理论,设计实例表明,该理论不仅可用于指导三值TTL电路的设计,而且还可用于指导二值TTL电路的设计,由此显示出该理论的实用意义。     

T—多值代数及其电路

举世瞩目的第五代计算机正越来越多地使用多值逻辑技术,自从1921年Post首次提出具有逻辑功能完备性的多值代数系统以来,已经发表了不同类型的多值代数系统,但大多侧重于代数理论方面的研究,忽视了工程上电路实现的问题。本文提出一种基于Bounded-Difference算术操作的新的代数系统,简称多值T——代数系统,这种T——     

浅谈PFC电路MOS管应用电路振荡问题

对于开关电源来说,场效应管(MOS管)是最为重要的零部件之一。在充分阐述PFC电路、MOS管的基本原理的基础上,分析电路振荡原理的基本概况,可以明确MOS管振荡造成损坏的根本原因。     

形式代数在空间网络结构中的应用

文章依据形式代数（Ｆｏｒｍｅｘ Ａｌｇｅｂｒａ）理论，采用ＦＯＲＴＲＡＮ语言编制了实用程序，使外形比较简单的平板网架、筒壳和外形较复杂的球壳、双曲抛物面形和马鞍形等网格结构都能够自动成形，避免了以往繁琐且易于出错的结构成形工作，与计算机辅助图形相结合，既直观又便于修改的检查。文章通过实例来说明形式代数在空间结构的自动成形中的应用。     

形式代数在空间网格结构中的应用

文章依据形式代数（ＦｏｒｍｅｘＡｌｇｅｂｒａ）理论，采用ＦＯＲＴＲＡＮ语言编制了实用程序，使外形比较简单的平板网架、筒壳和外形较复杂的球壳、双曲抛物面形和马鞍形等网格结构都能够自动成形，避免了以往繁琐且易于出错的结构成形工作，与计算机辅助图形相结合，既直观又便于修改和检查。文章通过实例来说明形式代数在空间结构的自动成形中的应用。     

事务级形式验证技术及8051验证模型

提出一种基于事务的用于电路系统的形式验证方法(TBFV)．应用该方法，验证工程师可以在行为级对系统进行验证，无需了解设计的细节．为了对该方法进行示范，验证了8051的RTL级实现，并给出了8051指令集的TBFV模型．     

CMOS电路开关级测试生成的一种新算法

本文提出了一种新的CMOS电路开关级测试生成算法,该算法以Hayes模型为基础,以开关级代数为工具,充分利用CMOS电路自身的特点,生成CMOS电路的完全测试集,这种算法较之于已有的算法简单而有效,检测CMOS电路的常开型故障需一对测试码,本文给出了一种简单的求一对稳健测试码的方法,基于这种算法,我们开发了一个测试自动生成软件。     

利用逻辑编程方法进行形式化的网络安全策略验证

高级安全策略又称为安全需求,低级策略配置是高级策略的实现,正确的低级策略配置必须能够满足安全需求。网络安全取决于低级策略配置的正确性,由于策略配置异常复杂,并且缺乏准确描述安全需求的方法,这为策略的正确性分析提出了巨大的挑战。采用逻辑编程方法来分析网络安全策略,通过将低级策略配置、高级策略、漏洞信息等元素转化为逻辑程序,将网络中所有可能存在的访问与安全需求进行对比,判定策略配置是否满足安全需求,并给出所有不满足安全需求的策略配置。     

多值逻辑研究的进展与动向

本文综述了近年来我国多值逻辑研究的进展,并对其中较有代表性的成果作了重点介绍.分析了国际上多值逻辑研究的新动向,重点讨论了多值逻辑研究与分子计算机、光计算机及人工智能等研究领域的关系.     

基于Petri网的协议并行化处理模型的描述和验证

本文提出了一个ＯＳＩ／ＲＭ运输层协议并行处理模型，以适应协议的高效处理，根据模型特点，使用Ｐｅｔｒｉ网作为形式化描述工具，对该模型进行描述，分析和验证。     

基于构件设计的正确性验证

本文研究基于构件设计的正确性问题,我们首先建立一个构件描述的模型：（１）接口：通过对ＣＯＲＢＡ的ＩＤＬ进行扩展,使其能够在构件的接口中同时描述构件的语法和语义信息,（２）实现,通过引入一个简单的程序模型,阐述如何利用子构造一个新的构件,然后我们考虑如何将构件的接口和实现联系起来,利用Ｈｏａｒｅ逻辑,验证一个构件的实现是否满足其接口中所给出的语义要求。     

面向对象的形式规格说明语言OOZS

ＯＯＺＳ语言是一种面向对象的形式规格说明语言,用于书写软件的形式规格说明。它是Ｚ语言的一种扩展,用以支持面向对象的软件分析方法,提供了类封装机制、类继承机制、和出口机制,设置了Ｐｒｅ谓词和Ｐｏｓｔ谓词,表达力强,简明精确。本文是该语言的试用文本介绍。     

从命题逻辑的需求描述到状态转移图的形式规格

信息处理系统的规模和复杂化,需要有效设计高可靠性系统的形式化的规模描述方法,本文针对以上功能,提出了基于命题逻辑的信息处理系统的新的需求描述方法,描述了通过使用逻辑ＰｅｔｒｉＮｅｔ（ＬＰＮ）,把命题逻辑的需求描述变换成状态转移图的过程,并且给出了由ＬＰＮ自动生成状态的转换图的算法。     

组合逻辑电路的逻辑级数优化

本文讨论了基于逻辑级数极化小的布尔孙数因子分解，提出了基于Ｌａｗｌｅｒ分割算法及子逻辑结构变换的组合逻辑电路的逻辑级数优化方法。     

基于Multisim 11.0的PLD图形化仿真设计与应用

简要介绍CPLD/FPGA(Complex programmable Logic Device/Field programmable Gates Array)器件的特点和应用范围,并以数字钟设计为例,介绍了在Multisim 11.0开发软件下,利用原理图的输入方式来设计数字逻辑电路的过程和方法,突出Multisim 11.0在教学中的重要作用,尤其是对于数字逻辑设计这门课程的学习。并且详细介绍了Multisim 11.0与Quartus II两个软件之间的互通,给出了一条PLD设计由:图形化模块搭建-Multisim系统化仿真-VHDL代码自动生成-Quartus II加载代码-Quartus II中的仿真-下载到硬件电路中-实际应用。整个一个完整的设计过程。