重新审视量子．经典关系超越简化论和多元论

经典力学和量子力学是目前为止发展的两个最成功的科学理论，一个理论是确定性，另一个是不确定性；一个理论描述了这个世界上混沌的普遍性，另一个则说明世界中混沌的不存在性。如何使这两个完全不同的理论成功地描述同一个世界，到现在还很不明确。本书则围绕“量子混沌”这个令人兴奋的领域，揭示了存在于经典和量子力学间的一种微妙和复杂的关系，     

实时系统形式化描述和自动验证

实时系统是一种带有时间约束的计算机系统,这些系统许多动作的完成是与时间相关的,即要满足一定的时间限制,它需要在特定的时间范围内的对某些输入及时做出反应。例如,碰撞中汽车的安全气囊须在300毫秒膨胀开。它的许多嵌入式应用,都有一个共同的特点就是对实时性、安全性要求很高,都需要实时的形式化规范技术。     

表面与界面分析

电化学是研究电和化学反应相互关系的科学。电化学的研究内容应包括两个方面：一是电解质的研究，二是电极的研究，也就是电极和电解质界面上的电化学行为。电化学方法与光学和表面技术的联用，使人们可以研究快速和复杂的电极反应，可提供电极界面上分子的信息。     

巴西艾滋病治疗的政治与历史

1992年，世界银行曾提醒巴西将面临艾滋病危机的巨大挑战，并预计巴西2000年将有120万人感染艾滋病毒。今天，巴西的流行艾滋病大约是66万人，同时巴西是发展中国家最早和最大的艾滋病公共治疗项目国之一。挑战传统智慧的艾滋病治疗在发展中国家行不通，巴西减少了一半艾滋病有关的死亡并显著减少与艾滋病并发症的发病率。今天，巴西的艾滋病防治计划被认为是一个全球典范。     

发射线宇宙

发射线无偿地为地球带来了日地空间环境的宝贵信息,是我们研究宇宙中天体物理性质和化学成分有力的工具。科学家希望接收这些射线来观测和研究它们的起源和宇观环境中的微观变幻。宇宙射线的研究已逐渐成为了天体物理学研究的一个重要领域。本书各章节的知识,均来自于专门研究发射线和产生发射线的天体的加那利群岛天体物理研究所（IAC）第十八届冬季讲习班的讲座内容,     

半导体制造技术

在半导体领域,技术的变化遵循着摩尔定律的快速节奏,是以月而不是以年为单位计的。本书追述了半导体发展的历史并吸收了当今最新技术资料,包括从原材料筹备到模块格式芯片的钝化,还为读者提供了半导体研究的必要背景资料。书中包含的所有材料,都是半导体产业的工程师所必须的,是一本全面、先进的教材和参考资料。     

高速无线通信

在过去的10年中，通信技术13新月异，为我们带来了不少便捷。无线通信和互联网服务已经渗透到社会的各个角落，深刻地影响着我们的日常生活，远远超过了任何先前的预期。而且，对无线通信的需求仍然迅速增长。为了满足宽带无线系统高数据速率服务的需求，相继推出了各种各样的系统和技术，如超宽带系统（UWB，     

用于有限元分析的非线性连续介质力学

工程组件的最优设计需要考虑材料的非线性特性，这些特性与制造和工作环境相关。但是，特性建模只能通过数学公式和仿真来实现，这就需要我们既要了解理论背景也要懂得相关的计算机技术解决方案。在这本新版教材中，Boner和Wood成功地把非线性连续分析和相关的有限元技术融合在了一起，使得内容更加完整清晰，还增加了关于超弹性材料行为学的新篇章，彻底更新FLagSHyP程序，可在www．flagshyp．com网站免费下载。     

多光子方法和光谱学的发展

在化学、物理、生物以及材料等学科中，原子、离子以及分子的多光子处理方法和光谱学在实验和理论上都有了很大的发展，很多人都希望了解到这些相关研究的近况。《多光子方法和光谱学的发展》系列丛书正是为此而设计出版，书内文章应时易读，选题广泛；每一章都是独立的章节，由相关领域的专家撰写；读者无需太多的前期准备，就可以找出每项研究的核心要点，快速查看所需的信息资料。     

面向遥感图像的小样本目标检测改进算法研究

针对传统的遥感图像目标检测中面临的小样本以及目标样本分布不均衡等问题, 提出了一种基于改进的卷积神经网络(convolutional neural network, CNN)的遥感图像小样本目标检测算法. 首先, 该算法利用 $K$ 近邻($K$-nearest neighbor, kNN)回归分别对每个点和卷积层提取特征构建局部邻域; 同时, 通过最大池化聚合所有局部特征进行全局特征表示; 最后, 采用全连接层与缩放指数型线性单元(scaled expected linear unit, SELU)激活函数计算各类别对应的概率并分类. 实验结果表明, 该算法能够更有效地融合局部特征, 提高了遥感图像小样本目标识别与检测的精度, 同时保持信息的非局部扩散.