本书以交互设计的理论方法为主线，建立正确的认识论和方法论，通过六个步骤，从三个角度介绍交互设计的流程和思维方法。六个步骤主要包括市场调研与设计研究、用户研究与任务分析、商业模型与概念设计、信息架构与设计实现、设计评估与用户测试、系统开发与运营跟踪。本书通过真实、完整的案例，与读者分享作者的实践心得，帮助读者加深对交互设计方法的理解，掌握其在实践中的运用过程。本书也涉及一些交互设计在商业中的应用。学习交互设计的目的不仅是成为专业的交互设计师，更需要通过掌握相关的技能将交互设计的理念融入日常工作。本书可作为设计学专业交互设计、用户研究、可用性测试等相关课程的专业教材。读者对象主要包括专注于数字产品设计和用户体验的交互设计师、界面设计师、项目经理、可用性测试工程师，以及交互设计、用户体验和数字媒体等相关方向的学生。

暂缺简介...

本书研究如何将故障检测工作量、故障修正工作量、故障修正延迟和排错等待延迟考虑到基于排队论的软件可靠性增长模型中。 测试工作量是影响测试过程的重要因素，与日历时间相比，测试工作量随测试时间的变化情况对软件可靠性增长模型具有显著影响。在软件测试中，适当规模的软件项目在系统测试过程中通常由不同的团队人员进行故障检测和故障修正。因此可以认为，软件故障检测资源和故障修正资源是相互独立的资源。本书将软件故障检测和故障修正过程的资源进行区分，即将软件测试工作量分为两部分：故障检测过程所需要的资源称为故障检测工作量，故障修正过程所需要的资源称为故障修正工作量，并分别为它们建立模型。 大多数软件可靠性增长模型都假设检测到的故障被立即修正。这个假设与实际的软件测试情况并不相符。实际上，从故障检测到故障被修正完成之间会有一定的延迟，而且此延迟受到多种因素的影响。本书使用无限服务台排队（infinite server queuing，ISQ）模型来解释这个软件故障修正延迟，即已检测到的故障和故障修正人员分别对应于排队模型的到达顾客和服务人员。此外，书中重点讨论影响故障修正延迟的因素——故障检测工作量和故障修正工作量，并将它们应用到ISQ模型中，提出一个考虑故障检测工作量和故障修正工作量的基于ISQ的软件可靠性增长模型，即ISQFDEFCE模型，并对ISQFDEFCE模型做了进一步修正，即在故障修正时引入新故障。 绝大部分软件可靠性增长模型都假设故障修正率服从同一分布。但是在实际故障修正过程中，故障修正率受多种因素的影响，一旦这些因素发生变化，软件的故障修正率也会随之发生变化，即故障修正率既非不变的又非平稳的，而是可能在某些点发生变化，这就是软件可靠性建模中的移动点（change point，CP）问题。本书提出在考虑故障检测工作量和故障修正工作量的基于ISQ的软件可靠性增长模型基础上，将移动点应用到软件故障修正延迟建模过程中。建立基于移动点的ISQFDEFCE的软件可靠性增长模型，即ISQFDEFCECP模型，并对ISQFDEFCECP模型做了进一步修正，即在故障修正时引入新故障。

本书是作者在运动控制和神经力学领域多年的研究和教学工作的积累，综合了生理学、工程学和计算神经科学的方法，从神经控制系统适应性和机械设备性能适应性的角度，提供了对人类运动控制的全面和严格的阐述。

交替式下推自动机是当前并行与分布式计算环境的数学模型，而墨水点是对移动智能体在宿主机器上写入信息的一种模拟，交替式下推自动机的研究对于解明基于互联网的并行与分布式计算的复杂性具有重要的理论意义。 交替式是由Chandra、Kozen和Stockmeyer提出来的一个并行与分布式计算的理论模型。交替式图灵机（Alternating Turing Machine）是对非确定性图灵机的一个扩展，它的有穷状态被分为全称状态（Universal State）和存在状态（Existential State）两种不同的计算状态。交替式图灵机采用交替的方式，不断采用存在和全称两种计算方式进行计算，已经证明，这种交替式计算模式有效地提高了计算能力，交替式下推自动机则是比交替式图灵机更为简单的计算模型。关于亚对数空间限定的交替式图灵机的研究取得了较大进展，但是，目前国际上关于多墨水点交替式下推自动机的研究还比较少。 本书引入两种类型的机器模型，即具有亚对数空间的2方向交替式下推自动机和具有多个墨水点的交替式下推自动机，并对这两种类型自动机模型的一些重要性质进行了深入研究，并提出了多墨水点交替式下推自动机的概念；研究了在亚对数空间下，墨水点个数对仅有全称状态的多墨水点交替式下推自动机计算能力的影响；证明了亚对数空间限定的仅有全称状态的多墨水点交替式下推自动机计算能力随着墨水点个数的增加而增强，研究了在亚对数空间下，仅有全称状态和仅有存在状态的多墨水点交替式下推自动机计算能力的关系，证明了它们的计算能力是不可比较的；论证了在亚对数空间下，仅有全称状态的多墨水点交替式下推自动机所识别的语言族，以及仅有存在状态的多墨水点交替式下推自动机所识别语言族的闭包属性，证明了这些语言族在补、与正则语言的连接、星号及保持长度的同态运算下是不封闭的；引入自验证的1墨水点2方向非确定性下推自动机，证明了在亚对数空间下，具有1墨水点的非确定性下推自动机计算能力比具有1墨水点的自验证非确定性下推自动机的计算能力强。本书最后讨论了相关的几个尚待研究解决的问题，提出了今后研究的方向。

本书是是《软件测试技术实战 设计、工具及管理》一书的姊妹书，是一本全面介绍全面软件测试的书籍。分为上下两篇，上篇为技术篇（第1章——第5章），主要介绍软件测试技术；下篇为工具篇（第6章——第12章），主要介绍软件测试工具。通过对本书的阅读可以使您尽快从一位软件菜鸟变为测试领域的达人，当然这里需要您的努力和天赋。另外阅读此书后，您对于软件测试工作不会变得枯燥，让您可以在工作中享受逮BUG的乐趣。本书适合于有3年以上经验的软件测试从业人员，也适合于在校的本科生和研究生作为参考资料。

《基于AnyLogic的系统建模与仿真》主要以AnyLogic8为平台，介绍了系统建模与仿真概述、AnyLogic仿真软件简介、适用于AnyLogic的Java基础知识、基于离散事件建模、基于智能体建模、系统动力学建模、柔性制造供应链模型、产品配送模型、配送中心运营模型等内容。通过精心选择学习内容及循序渐进安排学习内容，详细介绍了AnyLogic软件基础及建模过程，旨在引导读者了解掌握AnyLogic建模基本方法。 《基于AnyLogic的系统建模与仿真》适用于物流管理、物流工程及其他工程类相关专业本科生和研究生使用，也可以作为系统建模相关工作人员的学习用书和参考用书。

领域驱动设计简称DDD，《复杂软件设计之道：领域驱动设计全面解析与实战》前6章全面解析了DDD的分析方法和技术架构，包括领域驱动设计基础、领域驱动战略设计（有界上下文和统一语言）、聚合设计、实体和值对象、CQRS架构和事件溯源，第7章使用经典的货物运输系统案例进行了完整、详细的综合演示。 《复杂软件设计之道：领域驱动设计全面解析与实战》同时引入了DDD的*新发展成果，如事件风暴建模，并以此建模方式替代传统的DDD建模方式讲解了多个案例。还涉及大量软件系统实现相关的技术和架构，读者在学习DDD的同时，也可以掌握这些技术、架构在DDD实现中的灵活应用。 另外，每个概念或方法的讲解过程都穿插了具体实例，以方便读者结合实例进行学习；第2～7章每章*后都有总结与拓展，将本章涉及的案例和知识进行总结，并引入国际DDD专家的心得经验，试图告诉读者一条DDD实战中行之有效的途径。 《复杂软件设计之道：领域驱动设计全面解析与实战》主要面向拥有一定实践经验的软件产品经理、领域专家、软件设计开发相关从业人员，相关初级从业者也可阅读本书。

区块链技术在未来二三十年里将产生重要的、颠覆性的、革命性的大变革。基于多年来对国内外众多创新型企业长期的跟踪调查和深入分析，《区块链技术及实用案例分析》以具有特色的企业为案例，简明扼要地阐述了区块链技术的内涵与实质，以及区块链技术如何影响人们处理信任、安全和隐私问题，使读者深刻理解区块链技术正快速成为自互联网诞生以来重要的新技术。全书共分13章，主要内容有区块链、区块链技术、区块链的发展及应用领域、应用场景分析、分布式系统核心问题、密码学及安全技术、共识机制、比特币项目——思想诞生的摇篮、数字货币、区块链应用案例研究、区块链技术与金融创新、中华文化下的创业研究。《区块链技术及实用案例分析》可作为高等院校计算机、互联网金融、大数据、人工智能等相关专业本科生的教材，对政府和企事业单位技术及管理人员从事理论研究和企业实战也具有很好的参考作用。

《软件体系结构实用教程（第2版）/高等学校新工科计算机类专业系列教材》共分10章。第1章简单介绍了软件重用和构件技术的一些基本概念，它们是学习软件体系结构有关知识的基础。第2章介绍了软件体系结构的概念、发展和研究现状。第3章对软件体系结构的风格进行了较详细的介绍，并给出了一些应用实例。第4章讨论软件体系结构的三种描述方法。第5章介绍软件体系结构设计过程中使用的一般原理和设计模式，以及关键质量属性需求驱动的体系结构设计方法。第6章对Bass等人提出的一种基于体系结构的软件开发过程做了详细介绍。第7章介绍软件体系结构评估方法，重点介绍SAAM和ATAM方法。第8章介绍基于服务的体系结构，对SOA、Web Services和微服务架构进行了较详细的介绍。第9章对特定领域的软件体系结构进行介绍，详细讨论了其建立过程。第10章介绍了软件体系结构集成开发环境的具体功能。《软件体系结构实用教程（第2版）/高等学校新工科计算机类专业系列教材》可作为普通高等学校计算机软件专业高年级本科生和研究生教材，也可作为软件开发人员的参考书。