本书提出和论述了智能合约工程的概念、主要内容和技术体系，在介绍相关思想、理念，以及现有主要智能合约系统基本原理的基础上，主要论述了智能合约的工程化开发方法、智能合约法律化、智能合约形式化设计与验证方法、智能合约即服务、智能合约并行化等新理论和方法。本书适合从事区块链和智能合约研究开发的科研人员参考，以及大学相关专业的本科生和研究生使用。

本书共计11章，第1章对合成孔径雷达（SAR）目标识别进行了概述；第2章介绍了基于局部保持特性和混合高斯分布的SAR目标识别；第3章介绍了基于局部保持特性和Gamma分布的SAR目标识别；第4章介绍了基于结构保持投影的SAR目标识别；第5章介绍了基于类别稀疏表示的SAR目标识别；第6章介绍了基于乘性稀疏表示和Gamma分布的SAR目标识别；第7章介绍了基于判别统计字典学习的SAR目标识别；第8章介绍了于Dempster-Shafer证据理论融合多稀疏描述和样本统计特性的SAR目标识别；第9章介绍

在当今社会，高效管理数据是一种思维方式，也是一种能力。越来越多的公司和岗位看重这一点。本书的核心理念是基于MySQL将学习数据管理的过程自然融入日常生活，使学习变得轻松，而不再是一项艰巨的任务。本书采用引入故事场景的方式来呈现SQL语句的适用情景，并以此来解释其使用原理，帮助读者更好地理解SQL语言的本质。本书不仅是一本技术入门指南，也是一次走进SQL世界的探索之旅，旨在为初学者提供全面、易于理解、实用的学习体验。

本书详细介绍了强化学习的理论推导、算法细节。全书共12章，包括强化学习概述、马尔可夫决策过程、退化的强化学习问题、环境已知的强化学习问题、基于价值的强化学习算法、基于策略的强化学习算法、AC型算法、基于模型的强化学习算法等相关知识。本书系统性强、概念清晰，内容简明通俗。除了侧重于理论推导，本书还提供了许多便于读者理解的例子，以及大量被实践证明有效的算法技巧，旨在帮助读者进一步了解强化学习领域的相关知识，提升其现实中的工程能力。本书可作为高等院校数学、计算机、人工智能等相关专业的强化学习教材，但需

Gabor框架理论研究可追溯至1946年，Gabor首次提出了Gabor系的概念，对Gabor系严格的数学分析始于Janssen1980年左右发表的系列论文。自此，Gabor框架理论迅速发展，并广泛应用于工程及无线通信等领域。目前，全空间中的Gabor框架理论研究已取得丰硕成果，其子空间Gabor框架理论研究取得了一定进展。本书关注有理时频Gabor框架，分别在全空间及子空间的背景下探讨了通常有理时频Gabor框架、混合有理时频Gabor框架、离散混合有理时频Gabor框架、向量值有理时频Gab

零基础学Python GUI 设计：tkinter（升级版）这本书以开发 Python 窗口程序常用的 tkinter 模块为主线，全面介绍了使用 tkinter 设计 Python GUI 程序的各方面技术。全书共分为 18 章，包括搭建开发环境、tkinter 与 GUI、tkinter 窗口设计、tkinter 布局管理、文本类组件、按钮类组件、选择列表与滚动条、容器类组件、对话框类组件、菜单组件、Progressbar 进度条组件、canvas 绘图、鼠标键盘事件处理、数据库操作、文件操

《零基础学Python数据分析》（升级版）以数据分析"三剑客”——Pandas、Matplotlib 和 NumPy 为主线，全面介绍了数据分析入门的必备知识，从学习与应用的角度出发，帮助读者快速掌握数据统计分析技能，拓宽职场道路。本书通过大量的示意图力求使读者能够更好地理解晦涩难懂的专业术语；通过快速示例将学习与应用相结合，打造轻松学习、零压力学习的阅读氛围；通过案例对所学知识进行综合应用；通过开发流行项目将数据统计分析与预测应用到实际工作中。

ModelSim是优秀的HDL仿真软件之一，它能提供友好的仿真环境，是业界唯一单内核支持VHDL和Verilog混合仿真的仿真器，它采用直接优化的编译技术、Tcl/Tk技术和单一内核仿真技术，编译仿真速度快，编译的代码与平台无关，便于保护IP核，个性化的图形界面和用户接口，为用户加快调错提供强有力的手段，是Window平台上FPGA/ASIC设计的首选仿真软件。本书以ModelSim SE 2020.4版软件为平台，由浅入深、循序渐进地介绍ModelSim SE 2020.4软件各部分知识，包括

本书基于ARM公司的Cortex-M3处理器的STM32微控制器，使用MDK-ARM开发软件和C语言，结合STM32固件库和STM32开发板，面向底层应用编程，介绍嵌入式系统的工作原理和应用技术，包括嵌入式系统设计基础、Cortex-M3处理器、Thumb指令集、STM32微控制器、STM32的GPIO、Cortex-M3异常和STM32中断、STM32的串行通信接口、STM32的DMA接口、STM32的定时器接口、STM32的模拟接口。 本书可以作为高等院校计算机、电子、通信及自动控制等专业"

聚合物结晶行为及其形态演化是决定聚合物制品力学性能的关键因素。本书着眼于聚合物介观尺度的结晶形态，建立了相应的数学模型与数值算法。同时，考虑到聚合物介观尺度的结晶形态与宏观尺度的温度、流场的多尺度耦合特点，本书将多尺度算法引入聚合物静态结晶、流动诱导结晶过程中，较为深入地研究了聚合物的结晶行为。本书的主要内容包括聚合物静态等温结晶的建模与模拟、聚合物静态非等温结晶的建模与模拟、冷却阶段聚合物静态结晶的多尺度建模与模拟、短纤维增强聚合物静态结晶的建模与模拟、温度梯度下聚合物静态结晶的建模与模拟、耦