脉冲型时序逻辑网络设计(Ⅰ)

本文讨论了脉冲型时序逻辑网络中各触发器控制方程的求法,并给出了脉冲型时序逻辑网络设计的一种新方法。这种方法适用于计算机辅助设计。     

同步时序网络的快速设计法

数字电子技术中,时序网络的设计比较复杂.这是因为时序网络中还包含有记忆单元用以记住作用于该网络各输入信号的过去情况,并以状态变量的形式反馈于时序网络的输入.本文提出一种通用的网络结构以及怎样满足各种不同逻辑功能要求时,如何去编制网络中PROM中的数据.     

脉冲型时序逻辑网络设计(Ⅱ)

本文在文献[1]的基础上,利用逻辑函数的最小项展开法和矩阵运算,导出了脉冲型时序逻辑网络设计的一种解析方法,并且以实例说明了这种方法的设计过程。这种方法适用于计算机辅助设计。     

时序逻辑网络设计的一种简便算法

本文导出了触发器的激励方程,从而给出了同步时序逻辑网络设计的一种简便算法.该算法容易编程,便于上机操作,适用于多变量网络设计.     

时序逻辑网络的矩阵分析

本文是前文所述数学方法在时序逻辑网络分析方面的应用.利用矩阵布尔代数运算与逻辑函数方程的最小项展开,本文给出了时序逻辑网络状态转移矩阵的计算方法以及状态方程和输出方程的矩阵解法.这些方法易于在计算机上实现.     

脉冲型时序逻辑网络设计（Ⅲ）

为文献［１］的继续，利用多值逻辑方法讨论二值脉冲型时序逻辑网络的设计，并以实例说明这种方法的设计过程。该方法适用于计算机辅助设计。此外，首次提出了初态自启动的概念及初态自启动网络设计问题。     

引信系统爆炸逻辑网络起爆控制技术研究

着重研究用于可瞄式战斗部引爆系统和低能安全系统的爆炸逻辑网络的起爆时序控制技术。讨论了少输入-多输出和多输入-单输出的时序、能量和结构匹配技术,并提出了一种简便可靠的方法以解决爆炸逻辑网络的多点隔爆问题。     

基于CPLD的CCD图像敏感器驱动时序设计

介绍了一种CCD图像敏感器——TCD142D,分析了其驱动时序信号,选用复杂可编程逻辑器件(CPLD)作为硬件设计平台,使用VHDL语言对驱动时序发生器进行了硬件描述,采用QuartusII对所设计的时序发生器进行了仿真,针对Altera公司的可编程逻辑器件EPM7064SLC44进行适配。实验结果表明,驱动时序发生器的设计是正确的,可以满足CCD工作驱动要求。     

时序逻辑网络计算机辅助分析的一种方法

本文给出时序逻辑网络分析的一个计算机算法,利用该算法所编程序占用内存少,操作速度快,适用于多变量网络的逻辑分折.     

人工智能中的时序逻辑研究

时序逻辑是人工智能研究领域的重要内容之一,文章讨论各种不同的时序逻辑在本体基元、时序结构、时间约束和时间算子选择等四个方面的区别,分析基于点和基于区间时序逻辑的优缺点,研究线性时序逻辑与分支时序逻辑的主要区别.同时,基于时序逻辑对单Agent形式化公理及多Agent协商公理体系的构建进行了初步讨论.     

诊断组合逻辑网络的SDT算法

本文提出诊断组合逻辑网络的一种新算法。其特点是根据组合逻辑网络的结构,将产生测试码与时序测试过程统一起来进行。使算法的复杂性大大降低。这种算法称为S D T(sequential fiagnostic tree)算法。     

流体逻辑网络失效状态的研究与计算机处理

本文对流体逻辑网络系统的偶然失效状态进行了全面的研究。就组合网络及时序网络的各种失效状态进行了详尽的分析及系统的归纳,分析了可能产生的失效状态并研究了解决方法,就此研制了分析与消除流体逻辑网络系统偶然失效状态的计算机软件。此软件采用FORTRAN77高级程序设计语言编写,能对大型的、复杂的网络系统进行分析与处理,其运行结果能指出网络系统的偶然失效状态及其类型,并能自动消除静态及静态逻辑型偶然失效状态。     

基于扩展投影时序逻辑的组合Web服务描述与验证

针对编制方式生成的组合Web服务需要用一个工作流引擎执行这个特征,对投影时序逻辑进行了扩展,并用扩展投影时序逻辑描述和验证组合Web服务.将组合Web服务视为一个基于过程的工作流,将工作流引擎与组合Web服务组成部分的一次不可分割的消息交互抽象为一个原子过程.用扩展投影时序逻辑公式描述原子过程,用扩展投影时序逻辑操作符定义过程组合规则、连接过程描述公式,得到组合Web服务描述公式.通过模拟组合Web执行,可验证组合Web服务满足系统的需求和性质,为提高组合Web服务设计的可靠性提供了依据.     

基于线性时序逻辑的业务流程验证

目的为了解决业务流程设计与需求的不一致性问题。方法提出了一种基于XML过程定义语言和线性时序逻辑的业务流程验证方法。结果采用Promela语言描述业务流程模型,线性时序逻辑表示抽象的业务需求,通过模型检测器Spin完成流程的验证工作。结论实现了对流程正确性的判断。     

基于进化规划的神经网络设计方法

利用进化规划同时进化神经网络的结构和权值。为了避免在网络中形成信号的冲突和竞争，用连续规则决定神经元之间的连接方式。在进化规划中，变异分为结构变异和权值变异两种。提出在静态网络中引入延时权概念来构成时序网络，从而将静态网络的设计方法推广到时序网络的设计，最后给出了仿真结果。     

数字逻辑实验

本实验指导书分为两大部分:组合逻辑,时序逻辑。共有九个实验。 每个实验都是从设计着手,通过卡诺图,实现逻辑电路,然后组成测试电路进行试验。     

EKE协议的描述与TLA验证

行为时序逻辑(TLA)是Leslie Lamport于20世纪90年代提出的一种新的逻辑,运用这种逻辑对软件或协议系统进行建模,在一定程度上减少了由于状态空间爆炸带来的压力,它能在一种语言中同时表达模型程序与系统属性。文中首先介绍了行为时序逻辑的语法和语义,然后以EKE协议为例,用基于行为时序逻辑语言TLA+对EKE协议进行了建模分析,用TLA建模并用行为时序逻辑语言TLA+进行协议的描述,最后用TLC检测工具进行分析,发现存在中间人的重放攻击漏洞。     

基于轮询机制的Utopia接口设计与实现

针对多个物理层传输芯片(PHY)、单ATM层的应用情况,分析了Utop ia level 2接口时序,基于现场可编程门阵列(FPGA)设计并实现了轮询机制的Utop ia接口逻辑,给出了时序仿真结果。设计了一种ATM同高层协议的接口逻辑并给出了进一步减小轮询操作开销的方法。同传统单端口模式相比,节约了75%的逻辑资源和引脚。测试结果表明,4个物理层单元能以155 Mbps的速度双向并行通信,可为模块化设计提供参考。     

基于VHDL的面阵CCD图像传感器的驱动设计

介绍一种面阵图像传感器--TH7888A的性能及特点,并详细分析了其驱动时序的设计。采用VHDL对所设计的驱动时序进行仿真,并针对ALTERA公司可编程逻辑器件EPM7128SLC84-7进行适配。系统测试结果表明,设计的CCD驱动程序可以满足其帧转移面阵CCD的各项驱动要求。     

基于交叉开关网络的多处理机系统研究

提出了基于交叉开关网络连接的多处理机系统的一种设计方法，该方法将交叉开关网络的互连结构看成是共总线结构的扩展形式，用公共辅助时钟作为裁决时基发生器，辅助以简单的时序逻辑，实现了以机器周期为裁决时间单位的高速裁决，有效地缓解了多机运行时的争用矛盾。