|
|
|
| ○ 共有325本专业推荐书籍 共41页 第41页
首页 上一页
|
|
|
|
|
《工业关键系统的形式化方法：应用综述》 <推荐> |
 (0)
|
查阅付款方式 |
定价：￥69.00元 |
订购电话：010-88379766 |
发行单位：机械工业出版社 |
|
|
形式化方法以数学为基础，其目标是建立精确的、无二义性的语义，对系统开发的各个阶段进行有效地描述，使系统的结构具有先天的合理性、正确性和良好的维护性，能较好地满足用户需求。本书记录和展示了作者关于形式化方法如何在工业关键系统中进行应用的研究成果。
本书分为6部分。第1部分是概述；第2部分致力于介绍建模范例；第3部分介绍了包括形式化方法和相关工具的使用以及应用程序在实际系统领域的发展；第4部分则向读者展示了形式化方法在通信系统中的发展和成果；第5部分则介绍了形式化方法在互联网和在线服务方面的应用；而在第6部分则介绍了实时应用程序的形式化方法。
本书可用作高等院校计算机科学、自动化相关专业本科生、研究生以及教师的参考用书，也可作为业内专业人士的参考书。
作 者：（意）Stefania Gnesi 等著 靳添絮 等译
书 号：978-7-111-48521-6
出版日期：2015/1/12
|
|
|
|
《无线神经接口的超低功耗集成电路设计》 <推荐> |
(0) |
查阅付款方式 |
定价：￥￥59.80元 |
订购电话：010-88379766 |
发行单位：机械工业出版社 |
|
|
本书针对目前的无线神经接口，提出了为实现神经信号记录、处理以及无线通信的超低功耗集成电路的设计方法，从基本原理到硬件及芯片的选择，以及电路的分类和原理图，并对各种设计方案进行了对比，介绍了各自的优缺点和适用范围，并将相关的设计理念应用于实际的神经记录系统进行设计，对所有的必要组件如尖峰脉冲的检测、分类和聚类分析等进行说明。实验证明,相关的设计技术能够很好地降低功耗，同时实现低噪声开环放大器、闭环放大器及斩波稳定放大器的设计，并分别介绍其应用。本书基本内容清晰明了，将电路设计应用于实际工程，突出了实用性。本书适合从事相关硬件设计和相关理论研究的人员阅读，并可作为相关工科及生物学专业的高年级本科生和研究生的参考用书
作 者：（美）Jeremy Holleman 等著 史晓霞 等译
书 号：978-7-111-41214-4
出版日期：2013/3/25
|
|
|
|
《简明实用电工查算手册》 <推荐> |
(0) |
查阅付款方式 |
定价：￥49.00元 |
订购电话：010-88379766 |
发行单位：机械工业出版社 |
|
|
本手册是一本简明、实用的电工工具书。内容包括：基本资料和电工常用计算公式，常用电工材料，输配电线路计算，变压器计算，电容器及无功功率计算，电动机计算，低压电器的选择，电子技术，接地（接零）与防雷技术，常用测试仪表等，共10章。本手册内容丰富、切合实际、简洁明了，书中配有许多计算实例，可供初、中级电工学习实用。
作 者：方大千
书 号：978-7-111-45760-2
出版日期：2014/8/6
|
|
|
|
《FPGA安全性设计指南》 <推荐> |
(0) |
查阅付款方式 |
定价：￥58.00元 |
订购电话：010-88379766 |
发行单位：机械工业出版社 |
|
|
现场可编程门阵列(FPGA)已经成为嵌入式系统设计的主要应用技术之一。可重构器件由于融合了硬件和软件的特性，能够在专用集成电路的高性能和CPU的可编程性之间找到自己的应用空间，产生更好的应用效果。与此同时，FPGA安全性设计的问题也日益突出。目前，关于FPGA安全性设计的专门著述较少，FPGA设计者很难针对具体应用进行系统的安全性分析和设计。
本书通过理论阐述并结合实用设计的方式，通过举例说明FPGA安全性设计的问题如何进行解决。作者从如何编写顶层设计的形式化说明开始，逐步涉及低层硬件电路的各项强化机制，并分为多个层面对FPGA安全性问题和解决方案进行了全面的阐述。作者结合近年来在计算机安全性理论、编程语言、编译器和硬件设计等领域中的最新进展，与FPGA设计中的安全性问题作为一个整体予以阐述，创建了一整套静态和动态分析互相配合的多样化设计技术，使得使用商业芯片构建的FPGA系统有可能成为一个稳定、可靠和安全的强健系统。
本书旨在为EDA(电子设计自动化)和FPGA领域工作的研究者和实践者们提供一整套FPGA安全性设计的管理实用方法。本书适合在公司、工厂和政府研究实验室工作，从事FPGA设计的工程师和学术界人士阅读。尤其是对FPGA安全性要求较高的领域。同时也适合致力于FPGA安全性设计研究的人士，用以提高专业技能。
作 者：（美）Ted Huffmire 等著 房亮 等译
书 号：9787111457831
出版日期：2014/5/23
|
|
|
|
《电力大数据：能源互联网时代的电力企业转型与价值创造》 <推荐> |
(0) |
查阅付款方式 |
定价：￥45.00元 |
订购电话：010-88379766 |
发行单位：机械工业出版社 |
|
|
本书将以全新的角度和生动的实例带领读者走入电力大数据的世界，全方位、多角度展现大数据技术给传统电力行业带来的深刻变革，描绘出未来应用大数据技术的智能电网发展的宏伟蓝图，以及为电力企业带来的新一轮商业模式转变和价值创新。希望本书能够为读者朋友开阔思路、丰富知识，共享电力大数据给人们生活带来的和谐与美好！
作 者：赖征田
书 号：978-7-111-51693-4
出版日期：2016/1/1
|
|
|
|
