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

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

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

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

《冬季的旅行者》是一部诗集,收录了现代诗九十余首和古典诗一百二十余首。现代诗部分体现了作者对于奋斗、生命、归宿等主题的思考。古典诗部分分为格律诗和古体诗,按五律、七律、五绝、七绝、古体的顺序进行编排。

（用于书号实名申请和网站宣传，请控制在100-250字数之间。）本书主线清晰，语言生动，内容简洁明了，是一本易读的设计史书籍。同时相对于其他“设计史”书籍，本书囊括世界现代著名的一些设计师和设计运动风格，适合大家作为普适性阅读，以及为艺术设计类考试的读者提供了一个简洁、完整的知识点提炼及发展脉络的讲解。同时本书以手账本

你是否有这样的困惑——世界名画到底好在哪？在那些各不相同、复杂交织的图案里，到底隐藏着哪些关于“美”的秘密呢？ 其实，欣赏世界名画是有方法的。例如，艺术家们常常从线条、色彩、空间、平衡这四个角度来构思他们的艺术作品。那么，我们也可以从这些角度来欣赏作品，还原艺术家的匠心与巧思，从而更直观、深刻地领悟世界名画的超凡魅力

本书聚焦于Photoshop、AdobeCameraRaw(ACR)和生成式人工智能（AIGC)技术三个主要工具，为读者介绍了一系列关于影像后期处理的核心技法。作为现今流行且强大的后期处理工具，Photoshop和ACR为摄影师提供了广阔而深入的创作空间，而AIGC技术则为人们带来了新的影像生成和编辑方式，从而拓宽了艺

本书基于ARMCortex-A8内核的三星S5PV210CPU，主要讲解ARMCPU开发的全套相关技术，包括ARM体系的背景知识、常规开发方式、ARM体系结构和汇编指令集。本书还基于X210开发板讲解了开发板的原理图、芯片的数据手册，以及开发板的刷机流程等，讲解了GPIO、LED、DDR、串口、定时器、看门狗、SD卡、

服装面料是整个服装设计效果的关键环节之一，是人体与服装的桥梁，也是设计思路表达的通道。这是一本关于纺织服装面料再造设计的实践与应用相结合的专业书籍。本书深入浅出详细地阐述了纺织服装面料再造设计的发展历程、现状，又通过对纺织面料特性的分析，进一步将纺织服装面料再造设计的设计程序及设计方法详细归纳，对再造设计案例图文并茂地