本书提出了一种基于形式化模型的严密的系统设计方法，阐述了严密系统设计方法的基本原理，介绍了严密系统设计框架BIP的建模语言、形式语义及其工具链。自主系统作为人工智能技术应用落地的重要形态，讨论了自主系统设计的趋势和挑战，阐述了一种集成模型驱动方法与数据驱动方法的思路，并提出了一种新的基于替换测试的智能测试方法，用以判断

本书用20个真实的小故事，讲述了神经外科医生的日常。作者以悲天悯人的人文关怀将科学与伦理相互交融，为读者呈现了一幕幕饱含人情冷暖的生活剧。读罢本书，不仅让你唏嘘人间百态，更让你触摸到了生命的意义。

本书收录由北京大学经济学院师生撰写的38篇时评文章，专家学者紧扣“两会”脉搏，聚焦《政府工作报告》，根据党的十九大、十九届中央历次全会、中央经济工作会议精神和国家“十四五”规划，坚持以问题为导向，围绕新时代中国特色社会主义、新发展阶段、高质量发展等重大理论和现实问题展开讨论。

本书尝试梳理日常物象浮出文学地表的历史过程，并通过经典文本钩沉那些原本被视为零散、琐碎、缺乏独立价值的日常物象描写，使其重新进入读者和研究者的视野，借此激发对明清日常叙事新型审美风格及创作观念、明清物质生活及文化的感知与理解。

本书基于依托的“固废资源化”综合示范类项目，面向我国超大城市生活垃圾分类处理系统升级重构的重大需求，在项目标志性成果基础上，总结了我国超大城市生活垃圾分类处理全链条集成技术和创新模式，按照“精准分类、全程减量、梯级利用、清洁处理、智慧监管”的主线，重点介绍在选择性源头分类、全链条减量提质、园区化循环利用、污染物超低排放

计算颗粒材料力学是基于连续介质力学、离散颗粒力学和多尺度力学的理论，利用计算机和各种数值方法，解决颗粒材料中力学及与其耦合的多物理过程问题的一门新兴学科。它经历了连续体途径、离散颗粒体途径以及结合了离散体和连续体模型的多尺度途径的发展历程。《计算颗粒材料力学:从连续、离散体到多尺度途径》由三部分组成，分别介绍了作

社会心理服务体系建设是党中央提出的一项重要战略部署，经过三年试点，目前在全国范围内得到普遍推开。它面向个体、群体、社会提供多元化的社会心理服务，并逐步融入社会治理和精神文明建设，融入健康中国、平安中国、幸福中国建设，在实现社会安定和谐进步中发挥重要作用。本书阐述了社会心理服务工作胜任力的基础和核心，即社会心理服务工作者

本书针对企业数字化转型给予了详细的讲解，可以帮助传统企业结合现代化工具，认清数字化的大趋势，调整数字化转型思路，设计合理的数字化转型方案，实现企业的数字化变革。本书分为上篇和下篇。上篇主要讲述了数字化趋势引发的商业变革，包括数字经济的火爆、数字化转型的关键技术、企业数字化转型的能力建设、企业数字化转型的落地方案。下篇主

2018年10月19日，最高人民检察院针对儿童和学生法治教育、预防性侵害教育缺位等问题向国家发出了历史上首份检察建议，简称一号检察建议。本书以此建议为题，既从检察官视角讲述受害人被性侵害的悬疑故事，又从社会学视角观察受害方与加害方两个家族中不同人物命运所折射的原生家庭的爱与疗愈、罪与罚以及女性励志成才等内容，还通过司法

本书讲述了主人公顾大川因幼年事故成为残疾人，但他身残志坚、刻苦努力，成为乡村致富带头人。同时，在他奋斗过程中，也伴随着和恋人石萍的感情纠葛。在这一主线之外，作者塑造了不少乡村中典型的留守女人形象，展现了她们生活的酸甜苦辣，从一个侧面体现了“乡村振兴”的必要性和必然性。