计算机科学理论与基础知识
-
多时标非线性系统的鲁棒控制与自适应控制孙富春等多时标非线性系统广泛存在于制造、交通、能源、航空航天等系统中,其控制具有重要的理论意义和应用前景。《多时标非线性系统的鲁棒控制与自适应控制》系统论述多时标非线性系统的模糊建模、鲁棒控制和自适应控制的理论方法及其应用。首先综述线性连续奇异摄动系统、线性离散奇异摄动系统、非线性奇异摄动系统,以及奇异摄动系统的智能鲁棒与自适应控制的发展现状和趋势;其次介绍多时标非线性系统的模糊奇异摄动建模方法,以及基于模糊奇异摄动模型的鲁棒控制与自适应模糊控制方法;后介绍模糊奇异摄动模型在工业生产、航空航天等领域的应用以及总结与展望。
-
持久性内存存储系统关键技术研究陈游旻 著《持久性内存存储系统关键技术研究》由清华大学博士后陈游旻撰写,内容荣获2021年度CCF优秀博士学位论文奖。全书重新思考了基于持久性内存的存储系统架构方式,并在操作系统、网络系统、存储软件等不同层次展开了研究。针对不同的问题,作者均提出了对应的解决方法或解决方案。《持久性内存存储系统关键技术研究》共七章:第1章 引言,主要介绍了研究背景与意义,概述了持久性内存存储系统,并简要叙述了全书的研究内容、主要贡献及组织结构。第2章 相关工作,主要介绍了基于持久性内存的单机存储系统,基于RDMA的分布式系统,以及分布式持久性内存存储系统。第3章 Kuco:用户态与内核态协同的文件系统架构,首先概述了研究内容与研究动机,然后介绍了Kuco的总体设计,接着介绍了KucoFS的实现细节,随后进行了实验和性能评估。第4章 ScaleRPC:面向连接分组的分布式内存通信机制,首先概述了研究内容和研究动机,然后介绍了ScaleRPC架构设计,接着进行了实验和性能评估,然后介绍了ScaleRPC在真实场景下的应用。第5章 Plor:融合悲观锁与乐观读的并发控制协议,首先概述了研究内容、研究背景和研究动机,然后介绍了Plor的基本内容,接着介绍了Plor的总体架构和Chronus的实现细节,随后进行了实验和性能评估。第6章 FlatStore:基于日志结构的键值存储引擎,首先概述了研究内容、研究背景和研究动机,然后介绍了FlatStore架构设计,接着介绍了FlatStore实现细节,随后进行了实验和性能评估。第7章 总结与展望,对分布式持久性内存存储系统的构建及关键技术进行了总述,并总结了全书的主要研究工作,随后对未来的研究进行了展望。
-
计算机组成原理与系统结构实验指导书章复嘉 冯建文 包健 编著本书是“计算机组成原理”课程及其主教材《计算机组成原理与系统结构》(第2版)配套的实验教材。全书共分上、下两篇,上篇为简单CISC模型计算机实验,主要以“Yy-z02计算机组成原理实验系统”为实验平台,引导读者使用微程序设计方法完成指令系统的实现,含14个实验项目;下篇是典型RISC计算机实验,主要以“Digilent Nexys3” FPGA开发板为实验平台,以MIPS架构CPU为模型,引导读者逐步设计实现一个单周期的MIPS CPU,含10个实验项目。上、下篇均按照概述、指令系统、硬件系统、开发软件平台和实验项目五部分来组织,使读者能够按照“了解概况—了解目标—熟悉工具—深入实现”的路径完成课程学习。
-
网络药理学导论李梢本书致力于系统地介绍网络药理学的理论、方法和应用的研究进展,主要包括四大部分:1)网络药理学涉及的概念与理论;2)常用分析方法、数据库与分析软件;3)基于网络药理学的中医药现代化、现代药物研究的典型案例;4)基于药物、疾病的网络药理学实践流程。适用于初接触网络药理学、需要系统了解该领域的研究人员和学生。网络药理学是人工智能和大数据时代药物系统性研究的新兴前沿学科,也是融合系统生物学、生物信息学、网络科学、系统药理学等学科的原创性学科,强调从系统层次和生物网络的整体角度出发,解析药物及其治疗对象之间的分子关联规律,揭示药物的系统性药理机制,指导新药研发和临床治疗。随着计算、实验方法的进步,网络药理学的发展将有望帮助系统理解药物和病证的相互作用关系,为药物研发、机制阐释、药效评价、精准用药等提供技术支撑,促进从“还原论”到“系统论”的方法论革新,为“下一代药物研究模式”的推广应用提供强劲动力。
-
云制造联盟创新生态系统演化机理与运行机制王京本书首先介绍云制造、创新生态系统、产业联盟等基本概念及其理论和实践发展,以此提出云制造联盟创新生态系统内涵及模型。其次,借鉴三螺旋理论、Logistic模型、社会网络分析方法等理论及工具,从互动演化、种群演化、网络演化三方面揭示云制造联盟创新生态系统演化机理。再次,利用演化博弈理论、量子多目标进化算法、MATLAB仿真工具等,从共生、循环、平衡三方面构建云制造联盟创新生态系统运行机制。后,以航天云制造联盟为典型案例,进行实证研究并提出发展对策。本书的研究提出了一个崭新的交叉科学研究方向——云制造联盟创新生态系统,不仅开拓了云制造领域研究视角,而且丰富了创新生态系统应用的研究成果,同时完善了云制造创新管理的技术手段和方法选择,以期承载更多创新要素、资源和力量来整合、协同推进制造业转型升级。
-
智能计算万志国计算技术正面临着一次颠覆式的创新,即从计算走向智算。智能计算将是支撑万物互联智能时代数字革命的新型计算理论方法、架构体系和技术能力的新型计算范式,寄希望于它可以突破“悟性的瓶颈”。本书对智能计算的各个方面进行了全面的介绍,系统介绍了智能计算的源起、提出、类型和形态、创新趋势,以及智能计算的之江行动和未来应用展望。
-
动态批量与预测时阈慕银平,靖富营预测时阈的确定对动态批量的生产至关重要,较长的预测时阈意味着要处理更多的未来数据信息,会导致大量人力、物力和时间的消耗,而较短的预测时阈将导致未来数据信息的缺失,造成决策结果的不准确和成本的增加。本书研究系统地研究动态批量决策与预测时阈问题。
-
敏捷组织设计[美] 斯里拉姆·纳拉扬 著,熊节 译 著数字化企业需要组织整体上的敏捷,而不只是开发团队的敏捷。在《敏捷组织设计》中, IT管理顾问 和thoughtworks资深人士斯里拉姆:纳拉扬(Sriram Narayan)展示了如何将敏捷性注入整个组织中。 依托于超过15年的IT密集型行业企业客户合作经验,他对”业务-IT有效性”提出了-种灵活的方法, 这种方法非常实用,很有价值。作者展示了组织设计的结构、政治、运营和文化方面如何影响组织整 体_上的敏捷性以及如何促进从销售和营销到产品开发、I程到IT运营等不同职能的更好协作。通过 真实的例子,作者可以帮助您评估和改进组织设计,从而增强自主性、掌握性和目的性,这三大要素 是激励员工的关键。
-
软件测评典型案例剖析于秀山 等本书以装备软件相关测试标准为基础,系统收集并整理了具有普遍性和代表性的测试案例,涵盖文档审查、代码审查、静态分析、代码走查、逻辑测试、功能测试、性能测试、接口测试、边界测试、强度测试、余量测试、容量测试、安全性测试、安装性测试、兼容性测试、人机交互界面测试等多种测试类型。本书所有测试案例均来自实际的软件测评项目,案例真实、贴切,其中既有优秀的测试案例,也有大量存在不足的测试案例,对于每一个测试案例,特别是存在不足的案例,进行了点评分析。透过这些测试案例,我们可以看到,软件测试不充分的诱因已远远超出了软件测试的范畴,其中不乏软件需求和软件设计不全面、不合理等给测试人员造成的困惑,从这个意义上说,本书不单单是一本软件测试方面的图书,同时也是软件需求分析、软件设计、软件编码方面的案例展现。
-
网络社会视阈下高校网络文化建设与治理吴靖在网络强国和网络文明建设时期,本书结合党中央的工作部署,尝试提出高校网络文化生态培育的综合实施和深化推进方案。全书立足高校网络文化建设,从网络社会角度切入,厘清高校网络文化建设的概念内涵、功能定位等,梳理其演进历程与发展态势,阐释高校网络文化建设的必要性与重要性。通过对高校网络文化建设机制、建设内容、建设举措以及生态培育等研究,力图阐明高校网络文化建设的内在规律与实践逻辑。通过调研和分析西南大学等高校网络文化建设的实践情况,分析总结不同高校网络文化建设的实践情况,总结其成功经验与建设模式,查找存在的不足与困境。