软件

基于进化优化的软件变异测试理论及应用

《基于进化优化的软件变异测试理论及应用》,作者:姚香娟,巩敦卫著 出版社:科学出版社 ISBN:9787030426567。本书阐述基于进化优化的软件变异测试基本原理及应用,内容主要涉及等价变异体检测、基于相关性分析的变异体约简、变异测试数据进化生成及变异准则改进等。

软件定义无线网络及虚拟化

《软件定义无线网络及虚拟化》,作者:田霖等 编著 出版社:科学出版社 ISBN:9787030683151。利用软件定义与虚拟化技术,形成可裁剪、可定制的弹性无线网络,可为多种应用场景提供差异化的服务能力。本书围绕“软件定义无线网络与虚拟化”这一主题,介绍了软件定义与虚拟化技术的发展历程,并从无线网络功能、无线网络平台、无线网络资源三个方面阐述了软件定义与虚拟化技术在无线网络中的应用,介绍了 5G

公路代建管理综合绩效考核方法与软件

《公路代建管理综合绩效考核方法与软件》,作者:云南省交通运输厅,云南省公路开发投资有限责任公司,云南云岭高速公路桥梁工程有限公司主编 出版社:科学出版社 ISBN:9787030360830。本书从建立公路工程代建项目过程绩效考核体系模型、构建公路工程代建项目过程绩效考核指标体系入手,有针对性地提出了代建项目过程绩效的具体考核方法和基于过程绩效考核结果的代建项目管理绩效改善建议。根据公路代建管理综

中国学科发展战略·软件科学与工程

《中国学科发展战略·软件科学与工程》,作者:国家自然科学基金委员会,中国科学院 编 出版社:科学出版社 ISBN:9787030671967。“软件定义一切”,软件已经成为信息化社会不可或缺的基础设施。高效地构建和运用复杂软件系统的能力已经成为国家和社会发展的一种核心竞争力。本书系统综述软件和软件技术的发展历程与现状,总结软件科学与工程学科(简称软件学科)的基本内涵和发展规律;从系统观、形态观、价

软件定义芯片.下册

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

太湖水体环境遥感监测实验及其软件实现

《太湖水体环境遥感监测实验及其软件实现》,作者:王桥等著 出版社:科学出版社 ISBN:9787030205353。本书围绕太湖水环境遥感模型和软件系统的研究,介绍了太湖水环境遥感的基本原理和方法,给出了太湖水环境遥感实验的技术方案和遥感监测软件设计,阐述了太湖水面光谱及水质数据采集分析、水环境遥感建模以及水环境遥感平台软件开发方法。

软件并行开发过程

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

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

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

软件语言及其实现

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

10分钟软件快递 Windows 95 中文版

《10分钟软件快递 Windows 95 中文版》,作者:(美)T.赖斯纳(Trudi Reisner)著;王 〓,田玉成译 出版社:科学出版社 ISBN:7030051262。本书介绍中文Windows 95的基本功能、操作及使用。全书共分27课,每一课介绍一种功能的使用、操作。读者只需花费10分钟甚至少于10分钟的时间.即可完成一课的学习。本书内容可操作性强,按照书中内容和操作步骤实际操作,即