航天器运行所处的宇宙空间环境中存在大量射线粒子，这些粒子会在航天器电子器件中产生空间辐射效应，导致电子系统性能下降、状态改变，甚至功能失效，影响航天器使用寿命及在轨可靠运行。航天器功能和性能要求越来越高，高可靠性、高集成度、高性能、低功耗纳米电子器件的空间应用前景广阔。纳米器件趋于物理极限的材料、工艺和结构特点对空间辐

本书全面介绍使用Verilog进行RTL设计的ASIC设计流程和综合方法。本书共20章，内容包括ASIC设计流程、时序设计、多时钟域设计、低功耗的设计考虑因素、架构和微架构设计、设计约束和SDC命令、综合和优化技巧、可测试性设计、时序分析、物理设计、典型案例等。本书提供了大量的练习题和案例分析，可以帮助读者更好地理解和

本书针对非凸变分不等式投影类方法中客观存在的错误，给出修正的理论结果，进而利用投影技术研究上述正则非凸变分不等式与不动点问题、变分包含问题之间的正确关系，从而建立正则非凸变分不等式和不动点问题之间的等价性。利用这种等价性来讨论正则非凸变分不等式的解的存在性，并且利用这等价替代形式来构造解正则非凸变分不等式的投影类迭代算

本天文年历的主要内容包括太阳表、月亮表、大行星表、天象及日月食等，可供一般天文和测量人员使用，大地测量、航海、航空等工作部门用的历书可以采用基本数据编算。天文年历从1969年开始，由中国科学院紫金山天文台历算研究室编算，经历了两次大的改动，第一次是1984年，第二次是2005年。自2009年起，岁差模型采用IAU200

函数的凸性和广义凸性是运筹学和经济学研究中的重要基础理论．本书第一版系统地介绍数值函数的各种类型的广义凸性以及它们在运筹学和经济学中的一些应用．主要内容包括:凸集与凸函数、拟凸函数、可微函数的广义凸性、广义凸性与最优性条件、不变凸性及其推广、广义单调性与广义凸性、二次函数的广义凸性和几类分式函数的广义凸性．在此基础上，

本书较全面系统地阐述自动控制理论的基本分析和校正方法。全书共分7章,主要内容包括自动控制概述、线性控制系统的数学模型、时域分析和校正、根轨迹法﹑频域分析和校正﹑离散控制系统﹑非线性系统分析等。本书较全面系统地阐述自动控制理论的基本分析和校正方法。全书共分7章,主要内容包括自动控制概述、线性控制系统的数学模型、时域分析和

面向电磁空间领域的国家战略需求，紧密围绕电磁空间领域科技创新发展全局和长远问题，立足于电磁空间的概念内涵、技术规律和应用需求，从电磁空间学科与发展规律、科学前沿动态、发展现状与挑战、全球发展态势、研究热点亮点以及年度热词等几个维度对电磁空间进行了深入分析和系统论述，分析了电磁频谱作战、电磁空间安全、电磁空间传播、电磁信

从2011年，各省市以"群众路线"思想为指导，纷纷采取了形式多样的群众路线活动或工程来解决各地区面临的社会问题，有"三问三解"、"连心工程"、"联村联户"、"三同"活动等工程。随后，中央政府明确提出地方干部需要更深入地接近人民群众，同时也提到群众路线是地方干部主要的政策工具，能帮助地方干部了解当地人民群众的生活状况及公

本书面向具备Python一级能力的初学者，基于虚构人物形象山羊博士和二叶草的教学现场，带领读者体验Python数据分析。本书内容以教学对话和场景插图呈现，讲解数据分析的概念、预处理方法，以及如何查看数据集群、如何创建易于阅读的图表、如何查看数据分布以及如何进行预测。本书可作为以PAAT全国青少年编程能力等级考试、中国自

本书注重理论与实践相结合，数值计算与仿真实验想结合，简要讲述了分析力学的研究对象、历史与现状，重点讲述分析力学中约束、约束方程、广义坐标等基本概念、虚位移原理、达朗贝尔等基本原理和拉格朗日方程、哈密尔顿正则方程等变分原理，以及正则变换基础，最后将分析力学中的方法应用于工程中常见索、梁、拱、板等一维和二维连续体的动力学建