随着现代社会信息化程度的提高，与计算机相关的各种系统故障足以造成巨大的经济损失。机械化的定理证明能够建立更为严格的正确性，从而奠定系统的高可信性。《高级语言程序变换的机械化证明导论》阐述机械化定理证明的逻辑基础和关键技术，分析比较各类主流证明助手的设计特点，重点讨论在编译器验证领域取得的重要研究成果，并以实例详述验证编译器的开发和实现。

随着鲲鹏生态的发展壮大，鲲鹏开发套件的使命也从1.0版本的协助开发者进行应用迁移转变到了2.0版本的鲲鹏原生开发上来。 第1章介绍了鲲鹏开发套件推出的背景及开发套件远程实验室免费申请的流程。第2章介绍了鲲鹏代码迁移工具的用法，包括迁移工作的评估、源代码的迁移、x86软件包的重构等内容。第3章介绍了鲲鹏架构下专用的加速库，可以在不更改或者极少代码更改的前提下，充分利用鲲鹏架构优良的软硬件性能。第4章介绍了针对鲲鹏架构进行了优化的专用编译器，包括毕昇编译器、毕昇JDK和鲲鹏GCC，最后演示了如何通过编译器插件实现远程调试。第5章总体介绍了鲲鹏性能分析工具的4个子工具，并演示了公共功能的使用。第6章介绍了鲲鹏性能分析工具中快速调优的工具—鲲鹏调优助手的用法。第7章介绍了鲲鹏性能分析工具中系统性能分析工具的用法，包括全景分析、微架构分析、热点函数分析等9种分析任务类型，最后给出调优示例。第8章介绍了如何使用鲲鹏性能分析工具中鲲鹏Java性能分析工具对鲲鹏架构下的Java应用进行性能分析，最后也给出调优示例。第9章介绍了鲲鹏性能分析工具中系统诊断工具的用法，演示如何进行内存诊断和网络IO诊断。第10章介绍了直接在鲲鹏架构运行X86应用的动态二级制指令翻译工具ExGear。 本书面向对鲲鹏代码迁移感兴趣的开发者，希望在鲲鹏平台进行原生开发的开发者，希望了解鲲鹏开发套件使用的开发者，以及负责鲲鹏架构调优的架构师。

本教材是针对环境设计专业所出版的一本致力于提升专业素质及能力的专用教材。针对环境设计专业所涉及的室内外平面、立面、效果图、分析图等内容进行案例讲解，让环境设计专业的学生真正具有相关软件制作能力，为后期参赛、参加工作提供有力的技术素养基础。本教材是一本完全针对环境设计专业方向的教材，每个案例均做了视频讲解，扫码即可观看，是—本紧跟时代脚步的、紧贴专业市场的专用教材。

·理解精益领导者在21世纪全球经济中面临的危机。 ·探索现代精益框架的六大维度。 ·成为精益领导者所需的九个步骤以及应用方法。 ·采用现代精益方法帮助组织内部构建可持续迭代的学习文化。 ·基于现代精益思维框架帮助组织响应变化并构建竞争优势。

《Spring IoC源码精讲/软件开发源码精讲系列》从SpringIoC核心技术的使用开始讲解，具备充分的SpringIoC使用说明，并且对SpringIoC核心源码进行分析。《Spring IoC源码精讲/软件开发源码精讲系列》分为22章，主要内容包括SpringXML模式中XML文档的验证、XML资源读取、Spring默认标签的解析、自定义标签解析、各类资源对象注册和生命周期，以及Spring注解模式中的注解元数据、注解模式的启动和注解模式下Bean的注册等。《Spring IoC源码精讲/软件开发源码精讲系列》可以帮助读者快速掌握SpringIoC容器的基本使用及SpringIoC相关的源码逻辑。《Spring IoC源码精讲/软件开发源码精讲系列》的源码分析在大部分情况下遵循测试用例优先，尽可能保证源码现象可复现。《Spring IoC源码精讲/软件开发源码精讲系列》适合具有一定Java编程基础和对Spring框架有基本开发能力的读者。《Spring IoC源码精讲/软件开发源码精讲系列》特点：详细介绍SpringIoC相关技术的实际使用方式深入阐述SpringIoC中XML模式和注解模式的技术实现、对象转换、占位符解析、事件及Bean等内容提供SpringIoC核心技术相关的基础使用范例

《SSM轻量级敏捷框架开发技术》以敏捷开发框架为前提，论述SSM框架在项目开发实战中的组合与配置，以应用技术为主线，着重阐述三大框架的核心应用、技术实现与编程语法。全书共分7章：第1~3章论述Spring框架的常规功能组件与编程语法，分别讲述IoC容器原理、AOP横截面编程、各类型通知组件、Bean生命周期管理、注解注入、事务控制等方面内容；第4章论述Spring框架3.0后加入的新模块SpringMVC的功能用法，包括SpringMVC的底层实现原理、各种常见的视图组件、视图解释器的配置、专用注解语法、JSON数据交互、专用持久化模块等方面内容；第5~6章论述MyBatis框架的ORM持久化实现机制，包括框架的核心组件、流程控制、关系表操作实现语法、各类动态标签的使用、逆向工程操作过程等方面；第7章论述SSM三大框架的整合操作过程，以一个Web信息系统的设计、开发为主线，详述各业务模块中三大框架的应用与编码实现。

本书以图配文的形式，直观易懂地介绍了面向对象的全貌及其包含的各项技术，包括面向对象编程、框架、设计模式、UML、建模、面向对象设计和敏捷开发方法等。对于各项技术是如何使用的（How），书中只进行简要的说明，而重点介绍这些技术是什么（What），以及为什么需要这些技术（Why）。另外，“编程往事”专栏介绍了作者年轻时的一些经历；“对象的另一面”专栏以与正文不同的视角讲解面向对象这一概念普及的背景和原因，通俗有趣；“当今的OOP”专栏介绍了Java、Python、Ruby、JavaScript等当今流行的编程语言的**动向。

《价值流动：数字化场景下软件研发效能与业务敏捷的关键》聚焦于传统项目管理模式的误区和问题，强调了以产品为导向的管理模式，同时基于丰富的案例创造性地提出了流框架，这是一种观察、度量和管理软件交付的新方法。流框架可以帮助公司从面向项目的管理模式转变为软件时代以产品为中心的创新管理模式，从度量驱动软件效能提升以及在组织在不同层面驱动变革的角度，提供了数字化转型成功落地的一种新的思路。

计算机技术与软件专业技术资格考试是国家资格水平类考试，是目前 IT 行业、信息化领域最具权威的考试，由工业和信息化部、人力资源和社会保障部共同颁发合格证书。系统集成项目管理工程师考试的级别为中级，通过该考试并获得证书的人员，表明已具备从事相应专业岗位工作的水平和能力。本书根据《系统集成项目管理工程师考试大纲（第 2 版）》的要求，结合作者的培训经验和知识储备，通过反复总结提炼，利用口诀、关键词等重点记忆，帮助广大学员快速掌握核心重点知识、历年高频考点，并在每一章设计了一些学霸演练题目，学员在学习过程中要注重学练结合。

尽管跨学科研究设计已被提倡多年，但关于“微观音系语汇习得”与“人工智能AI”的创造性研究仍然非常有限。《基于人工智能测试的“微观音系语汇习得”效应研究》探讨一项语汇习得准实验性设计——以福州商英专业的101名大学生为对象，采用自底向上、声乐技巧，及AI测试的混合性设计，评估其“音系语汇训练”的习得效果。参与者接受为期10周的“自下而上音系词汇习得”训练。其习得成绩通过皮尔森学术英语（PTE）测试模块（WFD听写、RA诵读和RS复述）作为前测、后测和滞后测。实验结果表明，后测在语汇接受性和控制产出性知识均显著优于前测。