本书系统地总结了安全归约的证明方法,包括相关概念的辨析、框架的设计、技巧的详细讲解以及思路模板化,从基于群的密码学基础、安全归约基础理论(包括安全模型、困难问题假设、攻击类型、敌手定义、概率优势等)、数字签名的安全证明、公钥加密体制的安全证明、基于身份加密体制的安全证明等方面对内容进行编排。 本书可作为密码学、信息安全、网络空间安全等相关专业的教材或教学参考书,也可供对公钥密码方案及安全性证明感兴趣的学生和教师参考。
本书主要介绍ASIC设计所需的时序收敛问题,旨在提供一种动手解决问题的方法去完成设计实现中 挑战性的部分。 本书针对时序收敛流程进行充分解释,内容涉及数据结构和视图、MMMC分析、时序分析、布局和时序、放置和时序、时钟树综合、 终布线和时序、设计签收等,每章末尾都有相应的Perl脚本作为参考。本书抓住物理设计和时序分析的精髓,解决复杂ASIC系统日常设计中遇到的问题,向读者展示物理设计和时序分析方法。 本书适合从事芯片设计和ASIC时序验证领域的工程师阅读,也可作为高等院校微电子、自动化、电子信息等相关专业师生的参考用书。
本书由浅入深、条理毒晰、系统全面地介绍了流致振动型压电俘能器。全书共8章,第1章首先从新型流体能量俘获技术的实际需求出发,引出了流致振动及压电的相关知识:第1章搭建了各类流致振动型压电俘能器的数学模型,以此对系统的俘能行为进行评估与预测;第3章至第5章介绍了相关的试验设备及试验系统,通过试验研究验证数学模型并直观了解能量转换过程;第6章在数学模型的基础上,对流致振动型压电俘能器系统进行了非线性分析;第7章讲述了相关的数值模拟研究及分析方法,从流体动力学的角度剖析引起各工况下俘能器表现出差异的根本原因;第8章阐述了导致振动型压电俘能器的实际应用。 本书主要为工科科研人员提供流致振动型压电俘能器的前沿研究及研究方法。 并可以为其在实际工程中的应用提供一定的参考。
本书系统地总结了安全归约的证明方法,包括相关概念的辨析、框架的设计、技巧的详细讲解以及思路模板化,从基于群的密码学基础、安全归约基础理论(包括安全模型、困难问题假设、攻击类型、敌手定义、概率优势等)、数字签名的安全证明、公钥加密体制的安全证明、基于身份加密体制的安全证明等方面对内容进行编排。 本书可作为密码学、信息安全、网络空间安全等相关专业的教材或教学参考书,也可供对公钥密码方案及安全性证明感兴趣的学生和教师参考。
本书首先在IMS标准进展和体系架构介绍的基础上,重点针对IMS新业务,如可视电话、多媒体彩铃、多媒体彩像、多媒体会议、数据协同办公、媒体共享等,进行深入的分析和研究。并对其中相关的关键技术,包括安全、QoS、计费、漫游支持、信令管理、会话管理、注册鉴权、业务互通等进行了介绍。本书最后结合当前电信技术的发展趋势,分析了基于IMS的新业务融合与互通等技术,介绍了现有业务向IMS业务的演进和前景规划及IMS业务相关的协议等。本书是一本深入介绍IMS新业务的关键技术、流程、架构和实现的书籍,结构清晰,内容丰富,适合于广大电信工作者,尤其是移动通信业务系统的研发人员、运营和维护人员阅读,也可供高等院校通信及相关专业的师生参考。
这是一本专门针对中老年朋友学用智能手机而编写的工具书,对中老年朋友在使用智能手机的过程中可能遇到的基本操作问题进行全面而详细的介绍。 本书一共9章,内容包括智能手机的基本操作、管理手机中的应用软件、手机拍照怎么用、微信怎么玩、手机购物支付怎么操作、手机在生活中的应用,手机上的娱乐活动有哪些,如何用手机快速购买理财产品以及如何使用手机炒股等。 本书的主要读者是对智能手机毫无接触或接触较少的中老年朋友。另外,由于书中介绍了很多日常生活中 实用的手机应用软件,所以对除中老年朋友之外的其他读者也有一定的参考使用意义。
“ 在线, 连接”正成为当代社会的“新常态”并且将对个人和社会发展产生深远的影响。本书主要探讨移动终端传播为社会带来的新现象、新问题,为读者全面了解 在线/ 连接现象及其产生原因和影响提供了必要的概念基础,就该问题综述了业界 学者的相关观点和理论方法:不仅关注数字传播 性所产生的外显化行为及社会变革, 是聚焦于其引发的内隐性媒介心理,对这种新媒介生态下的传播范式、数字行为动机、身份建构、社会化过程、政治参与、网络生活与幸福感等不同维度多有关照,为传播学者系统且快速开展相关研究提供借鉴和指导。本书是媒体从业者、传播学者及学生在研究新媒体、媒体效果和传播理论时的 书目。
本书全面介绍使用Verilog进行RTL设计的ASIC设计流程和综合方法。 本书共20章,内容包括ASIC设计流程、时序设计、多时钟域设计、低功耗的设计考虑因素、架构和微架构设计、设计约束和SDC命令、综合和优化技巧、可测试性设计、时序分析、物理设计、典型案例等。本书提供了大量的练习题和案例分析,可以帮助读者 好地理解和掌握所学的知识。 本书适合数字IC设计工程师阅读,也可作为高等院校微电子、自动化、电子信息等相关专业师生的参考用书。
本书主要内容有数字电路的基本知识、数字逻辑的应用、逻辑门电路的应用、组合逻辑电路及其应用、触发器的应用、时序逻辑电路的应用、脉冲波形的产生和变换、数模和模数转换器的应用、半导体存储器及其应用、可编程逻辑器件及其应用和数字电子技术技能综合实训等。
本书主要内容有数字电路的基本知识、数字逻辑的应用、逻辑门电路的应用、组合逻辑电路及其应用、触发器的应用、时序逻辑电路的应用、脉冲波形的产生和变换、数模和模数转换器的应用、半导体存储器及其应用、可编程逻辑器件及其应用和数字电子技术技能综合实训等。
本书系统地总结了安全归约的证明方法,包括相关概念的辨析、框架的设计、技巧的详细讲解以及思路模板化,从基于群的密码学基础、安全归约基础理论(包括安全模型、困难问题假设、攻击类型、敌手定义、概率优势等)、数字签名的安全证明、公钥加密体制的安全证明、基于身份加密体制的安全证明等方面对内容进行编排。 本书可作为密码学、信息安全、网络空间安全等相关专业的教材或教学参考书,也可供对公钥密码方案及安全性证明感兴趣的学生和教师参考。
本书系统地总结了安全归约的证明方法,包括相关概念的辨析、框架的设计、技巧的详细讲解以及思路模板化,从基于群的密码学基础、安全归约基础理论(包括安全模型、困难问题假设、攻击类型、敌手定义、概率优势等)、数字签名的安全证明、公钥加密体制的安全证明、基于身份加密体制的安全证明等方面对内容进行编排。 本书可作为密码学、信息安全、网络空间安全等相关专业的教材或教学参考书,也可供对公钥密码方案及安全性证明感兴趣的学生和教师参考。
本书是美国麻省理工学院(MIT)的经典教材之一,讨论了信号与系统分析的基本理论、基本分析方法及其应用。全书共分11章,主要讲述了线性系统的基本理论、信号与系统的基本概念、线性时不变系统、连续与离散信号的傅里叶表示、傅里叶变换以及时域和频域系统的分析方法等内容。本书作者使用了大量在滤波、采样、通信和反馈系统中的实例,并行讨论了连续系统、离散系统、时域系统和频域系统的分析方法,使读者能透彻地理解各种信号系统的分析方法并比较其异同。
本书主要介绍了射频和无线技术的基本知识、主要发展趋势以及具体应用。其中包括CDMA技术、宽带技术的具体应用、无线网络、蓝牙技术等。本书以图文对应的方式进行讲解,让读者能更深入地了解书中的内容。本书可供射频电路设计人员和无线电技术人员阅读,也可作为相关专业的高年级本科生、研究生的参考书。
《教你搭建自己的智能家居系统(第2版)》以目前最为流行的物联网概念为主线,介绍了智能家居知识及搭建智能家居系统的全过程,也是目前国内较早教您搭建智能家居系统的书籍。全书共分为9章内容,包括什么是智能家
本书首先从基础理论上,通过几何关系不变量总结出几类代数关系,给出余切关系定理和三距离定位算法定理;其次,系统地介绍了单、多站纯方位、纯距离、纯仰角的目标跟踪原理;进而,针对单站单坐标滤波和参数航迹跟踪目标的问题,阐述了包括纯方位、纯距离、纯仰角滤波和航迹参数目标跟踪方法;然后,针对单站目标复合坐标滤波问题,给出单站复合坐标滤波和参数航迹跟踪目标的新框架和新方法;很后,针对多站组网实际问题,阐述了多站测量坐标情况下目标的参数解算与参数航迹融合,并且给出了多站单-单、单-复、复-复坐标等航迹参数的解算方法。
本书主要内容有数字电路的基本知识、数字逻辑的应用、逻辑门电路的应用、组合逻辑电路及其应用、触发器的应用、时序逻辑电路的应用、脉冲波形的产生和变换、数模和模数转换器的应用、半导体存储器及其应用、可编程逻辑器件及其应用和数字电子技术技能综合实训等。
本书系统地总结了安全归约的证明方法,包括相关概念的辨析、框架的设计、技巧的详细讲解以及思路模板化,从基于群的密码学基础、安全归约基础理论(包括安全模型、困难问题假设、攻击类型、敌手定义、概率优势等)、数字签名的安全证明、公钥加密体制的安全证明、基于身份加密体制的安全证明等方面对内容进行编排。 本书可作为密码学、信息安全、网络空间安全等相关专业的教材或教学参考书,也可供对公钥密码方案及安全性证明感兴趣的学生和教师参考。