在软件主宰世界的当下,软件行业发展迅猛,成为让人关注的领域。从史前的计算需求,从1930年到2019年,作者从大历史观的角度追古鉴今,从大趋势,典型企业,赢家和输家,新技术,生产力/质量问题,方法,工具,语言,风险等角度,勾勒出波澜壮阔的软件工程发展史,检视软件工程发展史上的重要发明,把脉软件行业并指出企业、职业兴衰的底层原因,同时还对一些的软件企业商业模式有所涉猎。 本书引人入胜,读起来让人娓娓难以释卷,是一本见微知著、令人醍醐灌顶的通史,非常适合软件工程和信息技术相关专业的学生、从业人员与有志于科技创新创业的人阅读和参考。
张雄、王天舒、刘岩编著的这本《计算动力学( 第2版)》将计算结构动力学、计算冲击动力学和计算 多体系统动力学内容有机整合,系统讲授工程结构 和机械系统在各类瞬态载简作用下动力学行为的数值 分析方法和程序实现技术。 全书分为3篇,共有16章和4个附录。章从加 权余量法出发,讲述达朗贝尔-拉格朗日原理、哈密 顿原理和广义变分原理。第2章以平面三结点三角形 单元为例,讲述有限元法的一般过程,详细讨论了 有限元法的程序实现方法,并给出了有限元法示例程 序STAP90。第3章详细讲述大型特征值问题的求解 方法及误差估计问题,给出了广义雅可比法、子空间 迭代法和Lanczos迭代法的FORTRAN 90程序。第4 章阐述大型离散系统运动方程的求解方法,给出了时 间积分示例程序TIP90。第5章讲述大型复杂系统动 力分析的有效方法——动态子结构法。第6章简
《可计算一般均衡建模初级教程》内容简介:CGE模型的特点和强项决定了它的研究对象通常聚焦于国民经济发展的重大战略或政策问题,因而其研究和应用工作在外通常受到高等院校、科研机构或决策部门的青睐。计量经济学目前在我国已经相当普及,多数经管类院校都讲授至少初、中级水平的课程,各种应用也比比皆是,而可计算一般均衡模型的课程教学和应用研究却凤毛麟角,只见少数学术科研机构有所提及,仅为少数专家学者掌握和承担。另一方面,CGE模型的现实应用领域却相当广泛,现实应用价值很高,是国际重大战略问题和政策研究不可或缺的工具。同时,CGE模型也是经济学界普遍认可的一种规范研究工具,其成果在高质量国际学术期刊上占据不小的比例,被接纳率较高。
本书对形式概念的理论进行了全面系统地论述,第0章介绍了序理论基础,、2章分别论述了形式背景与形式概念、概念格的确定与表示,第3、4、5、6章分别研究了部分和因子、概念格的分解、概念格的构造、概念格的性质,第7章论述了形式背景比较和概念测量。 本书是软件工程、数据挖掘及知识发现、类层次设计、视频音频格实例匹配及分类、数字图书馆及文献检索等领域,及相关学科领域的广大科技工作者和工程技术人员的研究及学习用书,对计算机、自动化及数学等专业的博士生、硕士生及高年级学生也有重要的参考价值。·
张雄、王天舒、刘岩编著的这本《计算动力学( 第2版)》将计算结构动力学、计算冲击动力学和计算 多体系统动力学内容有机整合,系统讲授工程结构 和机械系统在各类瞬态载简作用下动力学行为的数值 分析方法和程序实现技术。 全书分为3篇,共有16章和4个附录。章从加 权余量法出发,讲述达朗贝尔-拉格朗日原理、哈密 顿原理和广义变分原理。第2章以平面三结点三角形 单元为例,讲述有限元法的一般过程,详细讨论了 有限元法的程序实现方法,并给出了有限元法示例程 序STAP90。第3章详细讲述大型特征值问题的求解 方法及误差估计问题,给出了广义雅可比法、子空间 迭代法和Lanczos迭代法的FORTRAN 90程序。第4 章阐述大型离散系统运动方程的求解方法,给出了时 间积分示例程序TIP90。第5章讲述大型复杂系统动 力分析的有效方法——动态子结构法。第6章简
本书系统地分析和描述数字信息与智能、智慧之间的关系,明确提出“智慧源自信息、智能起于智慧”的学术观点。本书同时描述智慧的内涵和外延及其特性,并进行特性的分析和阐述。书中阐述信息系统中各个环节、各个子系统的智能表现内容、特性、技术要点等,描述一些未来发展的趋势,书中还对相关的实际案例进行分析和描述。
点云数据处理是三维重建领域的一项重要研究内容之一,涉及去噪、简化、配准、分割及检索等关键技术,已经在医学研究、文物虚拟复原及工程建设等领域得到日益广泛的应用。本书共14章,全面系统地介绍了点云数据的类型、特点和获取方法,以及常见点云数据处理技术的应用领域,重点提出了与点云去噪、点云简化、点云配准、点云分割、点云模型检索等相关的11种优化点云数据处理算法,并将其应用于实际领域中。本书强调理论创新,注重实验验证,并提供了样例示范,内容丰富多样,可供图形图像处理、测绘遥感、计算机视觉等专业研究生使用,对从事相关研究的科技人员及业余爱好者也有的参考价值。