软件

软件定义芯片.下册

《软件定义芯片.下册》,作者:刘雷波等 著 出版社:科学出版社 ISBN:9787030687807。《软件定义芯片》共分上、下两册,本书为下册。通过回溯现代通用处理器和编程模型协同演化历程分析了软件定义芯片编程模型的研究重点,介绍了如何利用软件定义芯片的动态可重构特性提升芯片硬件安全性和可靠性,分析了软件定义芯片面临的挑战并展望未来实现技术突破的发展方向,涵盖了软件定义芯片在人工智能、密码计算、

软件可信性度量评估与增强规范

《软件可信性度量评估与增强规范》,作者:陈仪香,陶红伟著 出版社:科学出版社 ISBN:9787030625649。软件可信性度量评估与增强规范是目前计算机科学与软件工程的一个重要研究领域,其研究成果对可信软件开发等方向有重大的理论价值和实际意义。《软件可信性度量评估与增强规范》融入了作者及其研究团队近十年来承担完成国家重要研发任务的研究与应用成果,深入系统地论述了软件可信性层次化度量模型构建

软件适应性技术 : 从个体适应到群体适应

《软件适应性技术 : 从个体适应到群体适应》,作者:丁博,史殿习著 出版社:科学出版社 ISBN:9787030387851。本书从体系结构层面入手,研究适应性软件的构造技术。首先以较大篇幅对软件适应领域的已有研究进行阐述和分析,在此基础上阐述作者近年来在个体适应和群体适应方面所取得的成果,包括融合个体适应性和群体适应性的软件自适应概念模型、自适应软件个体构造方法、集中决策的群体自适应机制、非集中

高中压配电网可靠性评估——实用模型、方法、软件和应用

《高中压配电网可靠性评估——实用模型、方法、软件和应用》,作者:王主丁 著 出版社:科学出版社 ISBN:9787030593986。本书系统性地介绍了高中压配电网可靠性评估的实用模型、方法、软件和应用,共13章。第1~4章介绍了配电网可靠性评估基础、多重故障的影响分析和混合搜索方法。第5章和第6章介绍了中压配电网可靠性的快速评估方法(含容量电压约束、分布式电源和上级配电网的影响)以及近似估算模型

云计算软件工程 : 云软件自动生成原理及方法

《云计算软件工程 : 云软件自动生成原理及方法》,作者:周相兵著 出版社:科学出版社 ISBN:9787030423276。以云计算为思想,服务计算为基础,全书共分十章进行来研究一种面向云服务的软件生成原理及方法,并以构建的“旅游云”为具体的应用研究对象。全书以当前云与服务计算的研究基础,根据用户需求对Internet中的服务(含SaaS)采用爬行方法进行搜集,采用基于划分理论对这些资源进行划分,

软件语言及其实现

《软件语言及其实现》,作者:徐家福,吕建著 出版社:科学出版社 ISBN:7030084853。全书分为需求级语言篇;功能级语言篇;设计级语言篇;实现级语言篇。着重讲述作者设计之语言及其实现系统。侧重语言兼及实现。讨论了语言源流、设计背景、设计思想、设计原则、成分取舍、应用实况、利弊得失等。

软件移植

《软件移植》,作者:P.J.布朗 出版社:科学出版社 ISBN:15031457。本书较全面地介绍了软件移植的基本原理、主要技术以及一些重要的研究成果. 本书首先讲述了移植的基本概念,随后介绍了编译程序的移植、抽象机硬件的实现和有关软件移植实用化的一些研究,最后叙述了软件的保护以及软件移植的一些研究成果和实例. 本书可供计算机软

软件并行开发过程

《软件并行开发过程》,作者:李彤等著 出版社:科学出版社 ISBN:7030120078。本书以软件开发过程中的并行性为研究对象,对可并行的软件过程及其模型、并行成分划分、并行控制、测试与集成技术、软件开发过程和自动化等进行深入研究。

统计学 : 基于R软件的实现

《统计学 : 基于R软件的实现》,作者:王涛主编 出版社:科学出版社 ISBN:9787030409119。本书内容包括:统计数据及其处理方法、描述性统计分析、结构性统计方法、可能性统计方法、估计性统计方法、检验性统计方法、方差分析、统计相关与回归分析等。

网络式软件

《网络式软件》,作者:何克清[等]著 出版社:科学出版社 ISBN:9787030231604。本书针对大规模软件开发中设计和维护存在的实际问题,借鉴复杂网络研究的最新成果,系统地介绍了复杂系统和复杂网络与软件工程相融合的思想以及软件网络(software network)的概念、分析度量体系、调控方法和核心技术。