本书系统介绍了软件源代码分析的基本原理和常用方法,同时介绍了当今比较主流的基于源代码分析的测试工具,基本上涵盖了当今源代码分析技术的内容。本书共分11章,内容包括:源代码分析基础、抽象解释、符号分析技术、区间运算、路径敏感分析、抽象内存建模、上下文分析、程序切片、路径计算、约束求解和源代码分析应用。本书结合实例介绍了多种源代码分析方法,并将它们合理地融合在每一章中。
全书一共8章,具体内容和逻辑如下:章以一个C程序(先简单,后复杂)的运行时结构为依托,对程序编译的整体过程做了宏观讲述,让读者对编译有整体认识,这样更容易理解后面的内容。第2~6章通过实际的程序案例、结合GCC的源代码,根据程序编译的顺序和流程,依次讲解了词法分析、语法分析、中间结构和目标代码的生成,遵循了由易到难的原则,先是通过简单程序讲解清楚原理,然后再通过复杂程序强化理解。第7章讲解了与编译器紧密关联的汇编器和链接器,能让读者对可执行程序的最终生成有一个完整的了解。第8章讲解了预处理,就编译器的执行顺序而言,预处理器的执行比较靠前,之所以放在最后讲,是因为它比较独立,在读者已经了解整个编译过程中之后再讲解,读者会更容易理解。
适应性Multi-Agent(多主体)体系和基于Agent(主体)的复杂适应性建模与仿真理论及其研究方法,对于人们认识、理解、控制、管理复杂系统,以及以计算手段研究经济、社会问题提供了新思路。本书系统介绍复杂适应性系统建模与多Agent仿真及其在南水北调东线工程运行调度管理中的应用。
本书是为那些制作爱好者准备,教你将基本的材料通过艺术与技术转化成创造性的艺术作品,赋予其新的艺术魅力。可以制作一个一束特殊的电子玫瑰,一个可以表示喜怒哀乐的电子情绪脸,漂亮的项链,特殊的椅子等等。21个酷炫的项目所需的材料都可以来自我们的日常生活,同时附有精美的图片,即使是电子初学者,也能够轻松完成
本书主要介绍了台达DVP-PLCWPLSoft软件的编程设计范例,内容简洁实用、圈文并茂。全书共分16章,分别为基本程序设计范例,计数器设计范例,定时器设计范例,变址寄存器E、F设计范例,应用指令程序流程设计范例,应用指令传送比较控制设计范例,应用指令四则运算设计范例,应用指令旋转位移设计范例,应用指令数据处理设计范例,应用指令高速输入输出设计范例,应用指令浮点数运算设计范例,应用指令通信设计范例,应用指令万年历时间设计范例,应用指令简单定位设计范例,便利指令设计范例和网络连线设计范例。本书即可作为PLC程序设计师的实用编程学习用书,也可作为业界相关人员的实用参考书。
本书是《编程之道》系列书的第二卷,将探讨怎样用语言(而非汇编语言)编程得到高效率机器代码。在书中,您可以学到如何分析编译器的输出,以便检验代码的所作所为,从而得到高质量的机器码;了解编译器为常见控制结构生成的典型机器指令,以便在编写语言程序时选用恰当的语句;掌握编译器将各种常量和变量类型转换成机器数据的方法,以便于使用这些数据写出又快又短的程序。 书中的理论超出了特定的编程语言和CPU架构,以各种处理器平台进行开发的语言程序员都能从中汲取到编程的营养。
中国传统文化典籍中的神奇动物都有哪些?它们都有怎样的故事来历?它们长相如何?它们究竟有怎样的神奇能力?这些动物又活跃在古外今来的口耳相传的传说与幻想之中。 本书以古代各个时期神话中的动物为蓝本,打破人文与科学的界限,从文学、艺术、动物、地理、自然、民俗、神话、志怪、典故、历史等方面,通过博物艺术相结合的超美图鉴形式再现古代神奇动物,从全面解析的方式来呈现这些动物的神奇神秘之处,重现中国文化中的神兽奇幻世界。
统计语言学是一门涉及语言学、计算机科学和数学等多门学科的交叉学科,覆盖面广。刘颖编著的这本《统计语言学》详细阐述语言统计知识、语言统计的R语言实现、统计结果的直观展示和统计结果的语言分析。主要介绍语言学的基本统计、参数假设检验、非参数假设检验、方差分析、文本聚类、文本分类和综合运用这些统计知识的计量风格学研究。本书结构完整,层次分明,条理清楚。既便于教学,又便于自学。可作为中文、外语、计算机等专业高年级本科生和研究生教材,也可供从事语言统计和计量分析的研究者参考。
本书内容自成体系,思想新颖,特点鲜明,理论与实际紧密结合,并提供了丰富的案例和软件代码。因此,这是一部在数据拟合和小二乘估计领域中的著作。译者团队于2016年完成了对《数据拟合与不确定度:加权小二乘拟合及其推广(第2版)》(版)的翻译工作。值得庆幸的是,TiloStrutz教授于2015年对《数据拟合与不确定度:加权小二乘拟合及其推广(第2版)》又做了进一步完善,补充了很多新内容,并在Springer出版社出版了《数据拟合与不确定度:加权小二乘拟合及其推广(第2版)》的第2版。鉴于TiloStrutz教授在第2版中新增了很多重要知识点,并且改进了版中的部分内容,故译者团队决定继续对第2版进行翻译,以期能有更多中国学者、科研人员以及工程技术人员从本书中受益。