计算机科学理论与基础知识
-
中国大百科全书影视学总编辑委员会本书以百科条目的形式介绍了影视学科的知识体系、基本概念、基本理论以及重要人物、影视作品、代表性著作和机构等。主要内容包括中国影视、外国影视、影视理论、影视编剧、影视导演、影视表演、影视摄影、影视美术、影视声音、影视技术等方面。是汇集了影视领域基本知识及其 研究成果,反映影视学科 发展特点的专业工具书。全书收录约1800个条目,配有约960幅照片,总计221余万字。设置彩色插页,展示中外影视作品剧照等。内文列有条目分类目录;设有参见系统及笔画索引、外文索引、内容索引等多种检索渠道;附设二维码,用手机扫描可查阅网络版相关内容如影视作品片段等,可为读者提供多维立体的知识系统。
-
战略管理数字决策工程王维平 等本书主要介绍战略管理数字决策工程的理论方法和技术平台,具体内容包括三个部分:第一部分是战略管理数字决策需求分析。第二部分是战略管理数字决策理论,包括战略管理与发展规划测度化、闭合化、数据化、智能化、数字化等理论。第三部分是战略管理数字决策工程平台,包括力量对比仿真评估平台、作战构想仿真评估平台、体系配系仿真评估平台、杀伤链仿真评估平台、路径决策智能推演平台、项目决策智能推演平台、投资决策智能推演平台、调控决策智能推演平台、能力建设知识图谱平台、战略态势知识图谱平台、传递支撑知识图谱平台、基础数据知识图谱平台、数字决策数据服务环境、数字决策智慧研判环境。
-
服务计算贾志淳,赵苗苗,商荣华针对国内外服务计算研究及其教学应用的热点问题,作者在服务计算、Web服务学科领域基础理论方面从事多年深入研究,借鉴国内外已有资料和前人成果,经过分析论证,收集大量专家和学者近年来有关服务计算前沿问题的著作和报告等,围绕Web服务、面向服务的体系结构、服务质量和质量预测、服务选择和服务推荐、服务组合、云计算和教育云等六个方面的基本概念、研究现状、主要研究问题、待解决问题及未来发展趋势等展开研究,以形成支持新一代服务计算应用的一些新思路。其目的是增进社会各界对服务计算、Web服务等新一代技术发展情况和应用前景的体验和认识,进而推进服务计算技术的发展和完善。
-
多时标非线性系统的鲁棒控制与自适应控制孙富春等多时标非线性系统广泛存在于制造、交通、能源、航空航天等系统中,其控制具有重要的理论意义和应用前景。《多时标非线性系统的鲁棒控制与自适应控制》系统论述多时标非线性系统的模糊建模、鲁棒控制和自适应控制的理论方法及其应用。首先综述线性连续奇异摄动系统、线性离散奇异摄动系统、非线性奇异摄动系统,以及奇异摄动系统的智能鲁棒与自适应控制的发展现状和趋势;其次介绍多时标非线性系统的模糊奇异摄动建模方法,以及基于模糊奇异摄动模型的鲁棒控制与自适应模糊控制方法;后介绍模糊奇异摄动模型在工业生产、航空航天等领域的应用以及总结与展望。
-
持久性内存存储系统关键技术研究陈游旻 著《持久性内存存储系统关键技术研究》由清华大学博士后陈游旻撰写,内容荣获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仿真工具等,从共生、循环、平衡三方面构建云制造联盟创新生态系统运行机制。后,以航天云制造联盟为典型案例,进行实证研究并提出发展对策。本书的研究提出了一个崭新的交叉科学研究方向——云制造联盟创新生态系统,不仅开拓了云制造领域研究视角,而且丰富了创新生态系统应用的研究成果,同时完善了云制造创新管理的技术手段和方法选择,以期承载更多创新要素、资源和力量来整合、协同推进制造业转型升级。
-
智能计算万志国计算技术正面临着一次颠覆式的创新,即从计算走向智算。智能计算将是支撑万物互联智能时代数字革命的新型计算理论方法、架构体系和技术能力的新型计算范式,寄希望于它可以突破“悟性的瓶颈”。本书对智能计算的各个方面进行了全面的介绍,系统介绍了智能计算的源起、提出、类型和形态、创新趋势,以及智能计算的之江行动和未来应用展望。
-
动态批量与预测时阈慕银平,靖富营预测时阈的确定对动态批量的生产至关重要,较长的预测时阈意味着要处理更多的未来数据信息,会导致大量人力、物力和时间的消耗,而较短的预测时阈将导致未来数据信息的缺失,造成决策结果的不准确和成本的增加。本书研究系统地研究动态批量决策与预测时阈问题。