暂缺简介...

暂缺简介...

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Unifying Theories of Programming， UTP 2006， held at Walworth Castle， County Durham， UK， in February 2006. The 14 revised full papers presented， including those by the six invited speakers， were carefully reviewed and selected for presentation at the symposium and went through a second round of improvement after the meeting. Based on the pioneering work on unifying theories of programming by Tony Haare and Jifeng He， UTP 2006 reaffirmed the relevance of the ongoing UTP project and advanced it by focusing on the most significant results and by raising awareness of the benefits of unifying theoretical frameworks among the wider computer science and software engineering communities.

本书旨在培养学生的Java Web框架技术实践创新和工程能力，为广大读者提供一本Java Web框架知识综合学习和积累项目开发经验的书。 全书理论联系实际，引进以项目为驱动的教学模式，详细系统地讲解Struts2、Hibernate5和Spring5框架技术，将项目开发贯穿整个知识体系。全书共分11章，内容包括Struts2框架技术入门、Struts2核心组件详解、Struts2的高级组件、基于Struts2的个人信息管理系统项目实训、Hibernate5框架技术入门、Hibernate5核心组件详解、Hibernate5的高级组件、基于Struts2 Hibernate5的教务管理系统项目实训、Spring5框架技术入门、Spring5的AOP框架、基于Struts2 Hibernate5 Spring5的校园论坛BBS项目实训。通过30多个小项目和3个大项目的开发实践，使读者能够掌握基本理论知识，并锻炼读者的科学思维能力和综合应用能力。 本书可作为普通高等院校的Java Web框架技术教材，也可作为Java工程师培训教材或作为Java工程师的参考书。

中国航空学会组织开发了以人工智能、无人机和航空知识为核心的“爱上无人机系列教材。本书是其中之一。 本书是学习无人机编程知识的基础性教材，通过图形化编程的方式，给学生设计任务，由浅入深地引导学生掌握无人机编程能力。 本书结构清晰，内容丰富，设计精良，寓教于乐，是学校开展人工智能和无人机教育的优选教材，也可供青少年朋友自学。

随着通信技术的快速发展，通信系统往往会采用多种调制方案，从而更好地利用频谱资源，满足爆发式增长的通信需求。调制识别是指在信号解调之前采集信号样本，通过相关技术自动判断信号调制类型，为后续信号的信息提取和处理等提供依据的技术。本书以深度学习和软件无线电技术为研究方法，将通信信号调制识别问题分为单载波信号识别和多载波信号识别两个方面，讨论调制识别的技术与实现。全书共有7章，主要内容包括研究背景及意义、深度学习与SDR相关基础理论、基于MRNN的单载波信号调制识别算法及软件无线电实现、基于TRNN的OFDM信号调制识别算法及软件无线电实现等。本书是一部关于通信信号调制识别理论与技术的专著，可作为高等学校和科研院所信号与信息处理、通信与信息系统等专业研究生的教材或参考书，也可供从事通信、导航、电子对抗等领域的广大技术人员学习与参考。

Scalable parallel systems or， more generally， distributed memory systems offer a challenging model of computing and pose fascinating problems regarding compiler optimization， ranging from language design to run time systems. Research in this area is foundational to many challenges from memory hierarchy optimizations to communication optimization.This unique， handbook-like monograph assesses the state of the art in the area in a systematic and comprehensive way. The 21 coherent chapters by leading researchers provide complete and competent coverage of all relevant aspects of compiler optimization for scalable parallel systems. The book is divided into five parts on languages， analysis， communication optimizations， code generation， and run time systems.This book will serve as a landmark source for education， information， and reference to students， practitioners， professionals， and researchers interested in updating their knowledge about or active in parallel computing.

本教程专门为程序设计零基础读者编写，适合无编程经验的C／C++初学者。本教程分为5章，第一章简要介绍了计算机与程序设计。第二章详细介绍了VC++6.0开发工具的使用方法。第三章简要介绍了程序调试与测试技术。后两章实验内容由浅入深、循序渐进，主要包括两方面内容：①面向过程的程序设计，适合C／C++语言课程实验。面向过程编程实验中的数组实验、指针实验、结构体实验很好地衔接了后续《数据结构》课程。②面向对象的程序设计，让C++初学者学习面向对象程序设计的基本概念，为今后学习其他以面向对象语言，如Java、C#、Python等，打下坚买的基础。本教程每个实验都简要介绍了实验原理，着重强调算法设计、代码独立编写、程序注释、调试、测试、遇到的问题及解决方法等步骤，这些重要步骤对于培养良好编程习惯和计算思维能力至关重要，是学好编程的必要前提，在国内很多同类教材强调不够，甚至没有。兴趣是最好的老师，为了培养读者对程序设计的兴趣，本教程也安排了Easyx图形化程序设计内容，希望借此培养初学者的编程兴趣。在本实验教程编写过程中，笔者参考了大量网络上的资源，在此一并表示感谢。本书可以作为高等学校C和C++程序设计课的实验指导书，也可供编程爱好者和初学编程人员参考使用。

本书以SPSS 28.0为平台，由浅入深地全面讲解SPSS软件的相关知识，通过图文并茂的方式讲解各项操作，讲解深入浅出，实例引导，内容翔实。 全书分为三部分共11章，详细介绍SPSS在社会科学调查、心理学、教育学、农业领域、经济领域、医学、市场营销、管理科学、房地产、生物学、环境保护、物流等领域的应用，涉及了数据编辑与整理、基本统计分析、参数估计与假设检验、非参数检验、方差分析、相关分析、回归分析、聚类分析、判别分析、因子分析、对应分析、信度分析、生存分析、时间序列分析等综合应用案例。本书涉及面广，涵盖了一般用户需要使用的各种功能，全书按逻辑顺序编排，自始至终结合实例进行描述，内容完整且每章相对独立，是一本详尽实用的SPSS学习用书。 本书适合高等院校统计分析专业的学生、科研人员、SPSS用户，以及希望从事SPSS软件技术相关工作的人员学习。本书适合高等院校统计分析专业的学生、科研人员、SPSS用户，以及希望从事SPSS软件技术相关工作的人员学习。

视觉跟踪是计算机视觉领域的基础性研究课题之一。随着计算机处理性能、机器学习技术的不断提升，以及摄像机等设备的普及，视觉跟踪技术已广泛应用于军事、监控和安防、智能人机交互、机器人、智能交通等诸多领域，具有重要的研究价值。而众多的应用场景也使视觉跟踪算法面临许多具有挑战性的难点，如背景干扰、遮挡、光照变化等。为此，国内外的学者主要从构建目标的表观模型出发，设计视觉跟踪算法。本著作对表观模型的特征表达和统计建模方法进行了重点研究，针对现有视觉跟踪算法在实时性、鲁棒性、精确性等方面存在的问题，提出了若干基于判别式表观模型的新算法。