软件
软件可信性度量评估与增强规范
《软件可信性度量评估与增强规范》,作者:陈仪香,陶红伟著 出版社:科学出版社 ISBN:9787030625649。软件可信性度量评估与增强规范是目前计算机科学与软件工程的一个重要研究领域,其研究成果对可信软件开发等方向有重大的理论价值和实际意义。《软件可信性度量评估与增强规范》融入了作者及其研究团队近十年来承担完成国家重要研发任务的研究与应用成果,深入系统地论述了软件可信性层次化度量模型构建
软件适应性技术 : 从个体适应到群体适应
《软件适应性技术 : 从个体适应到群体适应》,作者:丁博,史殿习著 出版社:科学出版社 ISBN:9787030387851。本书从体系结构层面入手,研究适应性软件的构造技术。首先以较大篇幅对软件适应领域的已有研究进行阐述和分析,在此基础上阐述作者近年来在个体适应和群体适应方面所取得的成果,包括融合个体适应性和群体适应性的软件自适应概念模型、自适应软件个体构造方法、集中决策的群体自适应机制、非集中
高中压配电网可靠性评估——实用模型、方法、软件和应用
《高中压配电网可靠性评估——实用模型、方法、软件和应用》,作者:王主丁 著 出版社:科学出版社 ISBN:9787030593986。本书系统性地介绍了高中压配电网可靠性评估的实用模型、方法、软件和应用,共13章。第1~4章介绍了配电网可靠性评估基础、多重故障的影响分析和混合搜索方法。第5章和第6章介绍了中压配电网可靠性的快速评估方法(含容量电压约束、分布式电源和上级配电网的影响)以及近似估算模型
云计算软件工程 : 云软件自动生成原理及方法
《云计算软件工程 : 云软件自动生成原理及方法》,作者:周相兵著 出版社:科学出版社 ISBN:9787030423276。以云计算为思想,服务计算为基础,全书共分十章进行来研究一种面向云服务的软件生成原理及方法,并以构建的“旅游云”为具体的应用研究对象。全书以当前云与服务计算的研究基础,根据用户需求对Internet中的服务(含SaaS)采用爬行方法进行搜集,采用基于划分理论对这些资源进行划分,
统计学 : 基于R软件的实现
《统计学 : 基于R软件的实现》,作者:王涛主编 出版社:科学出版社 ISBN:9787030409119。本书内容包括:统计数据及其处理方法、描述性统计分析、结构性统计方法、可能性统计方法、估计性统计方法、检验性统计方法、方差分析、统计相关与回归分析等。
