基于自动机的时间系统形式验证技术 

时间系统的形式验证因时间域的引入而使研究工作更具挑战性,越来越受到学术界和工业界的关注。由于模型检查技术受状态空间等方面的限制,本文以定理证明器PVS(Prototype Verification System)为第三方工具,以时间自动机TA(Timed Automata)理论为基础,设计开发了一个能够...
上海大学  博士论文  2007年 下载次数(594)| 被引次数(8)

光分组交换网络中关键技术的研究 

随着网络通信的不断发展,人们对网络速率和网络利用率提出了越来越高的要求。为了克服电交换带来的瓶颈,光分组交换网络成为通信界目前最关心的研究热点之一。本文就光分组交换网络中的两个关键技术:光分组时钟提取和1×N光分组交换节点进行了相关的理论及实验研究工作,并取得了以下研究成果: 在光分组时钟提取方面...
天津大学  博士论文  2010年 下载次数(556)| 被引次数(4)

基于多形态时钟输入输出迁移系统的安全软件测试研究 

缺乏系统的科学的测试体系是一直以来影响安全软件测试可信度的根本问题。在现有的工程实践中,测试是实验性行为的认知和实施方案普遍存在,威胁着系统的安全性并且这一问题随着安全软件需求量的激增,职责范围的外延,规模的扩大和复杂度的提高变得越来越严重。因此,构造高效可信的安全测试方法和工具已经成为安全软件行业不可回避的挑战。本文...
华东师范大学  博士论文  2017年 下载次数(129)| 被引次数()

低功耗全边沿触发器设计研究 

目前,主流集成电路(IC)使用的数字信号为信息量最少的二值信号,所以导致了IC中互联线和芯片引脚过多等问题,这是二值数字集成电路的主要缺点。而且随着CMOS工艺的进步,其发展也面临着众多基础物理极限的难题。例如,晶体管的热耗散、短沟道效应、量子力学效应和高漏电功耗等。与此同时,下一代纳米电子器件也正在研发中,例如,神经...
浙江大学  博士论文  2014年 下载次数(311)| 被引次数(1)

分布式测控系统容错关键技术研究 

分布式测控系统在航空航天、军事、铁路、石油、化工、电力等高可靠性要求的行业得到了广泛应用。在分布式处理能力日益提高的同时,人们对系统安全性、可靠性等方面也提出了更高的要求。如何提高分布式测控系统的容错能力成为当前理论和应用研究的热点问题。 针对具有高可靠性要求的分布式测控系统,本文围绕如何提高其容...
电子科技大学  博士论文  2009年 下载次数(507)| 被引次数(8)

多波长全光3R再生及全光逻辑关键技术的研究 

本论文主要对多波长全光3R再生和全光逻辑的关键技术进行了理论和实验研究。其中多波长全光3R再生技术的研究目的是研究和开发可应用于WDM光通信系统中的多波长信号的3R再生系统,主要进行了多波长全光时钟提取和多波长判决等关键技术的实验研究;在全光逻辑方面,主要利用半导体光放大器(SOA)实现可重构全光基础逻辑,...
天津大学  博士论文  2010年 下载次数(256)| 被引次数(0)

超高速并行采样模拟/数字转换的研究 

模拟/数字转换器(ADC)是数字信号处理系统的关键组成部分,并且广泛应用于通信、雷达、测试仪器和医学成像等领域。随着数字信号处理器的飞速发展,ADC成为现代信号处理的瓶颈。在给定的工艺下,ADC工作的最大采样速率受限于它的分辨率。利用多片ADC以并行的模式工作是提高最大采样率的一种重要技术。因此...
中国科学技术大学  博士论文  2007年 下载次数(2225)| 被引次数(83)