验证论文

论文摘要SMBus是智能电池系统中主机、智能电池充电器、智能选择器、智能电池及外设之间的互连接口。由于其面积小、接口信号少、成本低、速度快、兼容性好,在各种SoC产品中采用。采...

论文摘要秘密共享体制为信息安全中的密钥管理和数据保密提供了一种有效实用的方法,它已成为现代密码学领域的一个重要分支和当前网络信息安全的研究热点。随着计算机网络的普及以及电子商务...

论文摘要基于身份加密已成为当前公钥密码学的研究热点。近几年,对基于身份的加密方案的改进和引申大都致力于扩展身份的概念和结构,以实现某种应用。主要的扩展有等级式身份,模糊式身份和...

论文摘要随着液晶显示产业的飞速发展,产业链上下游不断协调进步,使得TFTLCD驱动芯片的需求增长极快,而各TFTLCD驱动芯片设计企业之间的竞争也日益激烈,降低芯片成本,提高芯...

论文摘要USB技术即通用串行总线技术是一种低成本、低功耗支持双向同步传输的、支持热插拔的数据传输总线技术。它提供了一种兼容高速和低速的、可扩充且使用方便的外围设备接口。串行接口...

论文摘要当今在设计复杂性越来越大的情况下,对于数字电路功能验证的要求也越来越高。其中最大的一个挑战莫过于如何衡量验证工作的真正的进度以及预估整个项目的结束时间,所需资源等,提高...

论文摘要随着业务需求不断变化,对业务流程的设计和改造成为企业重要的竞争力。作为“企业的操作系统”,工作流技术已经成为未来企业自动化和业务重组所必须的技术,具有广阔的应用前景。工...

论文摘要信息技术是20世纪最重要的科技之一。近几十年来,国际互联网的迅速发展,其规模不断扩大,互联网用户的数量呈爆炸式上升。因此,对互联网的互联设备--交换路由器的性能要求越来...

论文摘要汽车已经成为人类社会必不可少的、便捷的交通工具和一个国家或地区现代化程度的重要标志。然而,汽车在给人们出行、货物运输带来便利的同时,也带来了能源供应紧张和环境污染等问题...

论文摘要非理性认知在日常生活中是很普遍的,它影响人的行为,常常会给人带来情绪困扰,引发心理障碍,一个人的心理健康水平和调控能力很大程度上与他们的认知有关,片面的、错误的认知和非...

论文摘要形式化B方法建立在严格的数学基础上,通过严格的验证技术证明其正确性,尤其对大型复杂系统的描述是非常有用和正确的。它是一种详细规格说明、设计和系统编码的方法。通过B方法来...

论文摘要目前,随着我国高速公路的迅猛发展,对高等级客车的安全性、舒适性、可靠性的要求越来越高,中置客车由于具有前置客车和后置客车无可比拟的优势,底盘总体布局合理,实现了最佳车轴...

论文摘要随着计算机技术的飞速发展,软件系统的广泛应用,软件系统间的可移植性、协同工作能力和可维护性问题日益突出,以模型为软件开发关键的模型驱动架构MDA方法是解决这些问题而产生...

论文摘要随着集成电路规模和复杂度的急剧提高,尤其面对面市时间的巨大压力,芯片验证的可靠性越来越低。目前的SoC设计中,验证工作需要投入的时间已占整个开发周期的70%～80%。芯...

论文摘要多核SoC综合利用了多处理器的数据并行处理能力以及SoC的高度集成能力,在当前高性能嵌入式系统中获得广泛应用。在多核体系结构中,高效的通信机制是多核处理器获得高性能的重...

论文摘要电磁环境会影响到工业电雷管在生产,运输和使用中的安全性和可靠性,历史上由于电雷管接收到电磁辐射能曾引发过多起严重的事故。本文开展了对工业电雷管在电磁环境下所受到的危害,...

论文摘要射频识别（RadioFrequencyIdentification,RFID）技术是近年来发展迅速的非接触式身份识别技术。在RFID应用系统中,RFID标签因其非接触、...

论文摘要随着现代通信、雷达、电子侦察和对抗技术的飞速的发展,对作为核心部件的频率合成器的性能指标提出了越来越高的要求,宽频带、高频率分辨、低捷变时间、高频率稳定度、低相位噪声、...

论文摘要编译器作为计算机软件中最为基础的软件之一,与操作系统、数据库系统一起被列为构成计算机系统软件的关键性的基础设施。而编译器作为任何软件的产生器,它的安全性、可靠性和稳定性...

论文摘要随着通行业的飞速发展,手机支持的功能越来越多,比如目前MP3播放、MPEG4播放和数码照相等功能都被集成到手机里面了。为了实现这些复杂的功能,目前大多数芯片设计公司都采...