计算机科学理论与基础知识
-
基于数字信号处理理论的信息检索模型研究应志为 著大数据时代,信息检索系统用户对检索模型查准率提出了较高要求。然而,现阶段传统检索模型研究陷入瓶颈,表现为近若干年被提出的模型查准率提升幅度小,无法较好满足用户对于精准查询的需求。本书通过引入数字信号处理领域理论,提出了基于数字滤波的信息检索模型构架DSPF,并通过与经典向量空间模型、概率模型与统计语言模型融合,提出了三个高查准率检索模型DSPF-BM25, DSPF-DLM,DSPF-MATF。提出基于DSP理论的信息检索模型与相应的模型构建方式,并基于此初步实现一个检索系统。主要内容包含:基于DSP理论的检索模型构建方式、基于DSP理论的信息检索模型、基于DSP理论的信息检索模型在管理信息系统中的应用。 -
数控技术与操作赵金凤、陈秋霞本书以常用的GSK980T车床数控系统和FANUC 0i数控系统为例,介绍数控车床、数控铣床和加工中心的编程与操作,将理论知识与数控编程、数控仿真加工以及数控机床操作等有机地融为一体。按照企业真实案例加工流程,编写工作页式活页教材。本书理论联系实际;注重以学生为主体、以教师为主导的教学理念;重点突出、循序渐进、图文并茂;指导学生通过完成任务,巩固知识,锻炼技能。本书配套资源丰富,可满足混合式教学需求。本书可作为高等职业院校数控技术、机械设计与自动化等机电类专业的教材,也可用作企业数控加工技能培训教程。 -
网络爬虫案例教程韩莹,袁静 编本书主要以纯案例驱动的形式,分别使用和结合使用requests库、selenium库,从互联网上收集数据。主要内容包括收集静态网页数据,网页解析,JSON数据,JSON解析,多级翻页,cookie和session,验证登录,多线程,数据的存储,收集到的数据包括静态网页数据、json、图片、音频、视频等数据,并对获取的数据进行清洗。适合Python初学者,也适合研究Python的广大科研人员、学者、工程技术人员。本教材采用纯的案例,和简单的注释,其他一些先修的知识是在其他课程有开设。 -
多时标非线性系统的鲁棒控制与自适应控制孙富春等多时标非线性系统广泛存在于制造、交通、能源、航空航天等系统中,其控制具有重要的理论意义和应用前景。《多时标非线性系统的鲁棒控制与自适应控制》系统论述多时标非线性系统的模糊建模、鲁棒控制和自适应控制的理论方法及其应用。首先综述线性连续奇异摄动系统、线性离散奇异摄动系统、非线性奇异摄动系统,以及奇异摄动系统的智能鲁棒与自适应控制的发展现状和趋势;其次介绍多时标非线性系统的模糊奇异摄动建模方法,以及基于模糊奇异摄动模型的鲁棒控制与自适应模糊控制方法;后介绍模糊奇异摄动模型在工业生产、航空航天等领域的应用以及总结与展望。 -
持久性内存存储系统关键技术研究陈游旻 著《持久性内存存储系统关键技术研究》由清华大学博士后陈游旻撰写,内容荣获2021年度CCF优秀博士学位论文奖。全书重新思考了基于持久性内存的存储系统架构方式,并在操作系统、网络系统、存储软件等不同层次展开了研究。针对不同的问题,作者均提出了对应的解决方法或解决方案。《持久性内存存储系统关键技术研究》共七章:第1章 引言,主要介绍了研究背景与意义,概述了持久性内存存储系统,并简要叙述了全书的研究内容、主要贡献及组织结构。第2章 相关工作,主要介绍了基于持久性内存的单机存储系统,基于RDMA的分布式系统,以及分布式持久性内存存储系统。第3章 Kuco:用户态与内核态协同的文件系统架构,首先概述了研究内容与研究动机,然后介绍了Kuco的总体设计,接着介绍了KucoFS的实现细节,随后进行了实验和性能评估。第4章 ScaleRPC:面向连接分组的分布式内存通信机制,首先概述了研究内容和研究动机,然后介绍了ScaleRPC架构设计,接着进行了实验和性能评估,然后介绍了ScaleRPC在真实场景下的应用。第5章 Plor:融合悲观锁与乐观读的并发控制协议,首先概述了研究内容、研究背景和研究动机,然后介绍了Plor的基本内容,接着介绍了Plor的总体架构和Chronus的实现细节,随后进行了实验和性能评估。第6章 FlatStore:基于日志结构的键值存储引擎,首先概述了研究内容、研究背景和研究动机,然后介绍了FlatStore架构设计,接着介绍了FlatStore实现细节,随后进行了实验和性能评估。第7章 总结与展望,对分布式持久性内存存储系统的构建及关键技术进行了总述,并总结了全书的主要研究工作,随后对未来的研究进行了展望。 -
云制造联盟创新生态系统演化机理与运行机制王京本书首先介绍云制造、创新生态系统、产业联盟等基本概念及其理论和实践发展,以此提出云制造联盟创新生态系统内涵及模型。其次,借鉴三螺旋理论、Logistic模型、社会网络分析方法等理论及工具,从互动演化、种群演化、网络演化三方面揭示云制造联盟创新生态系统演化机理。再次,利用演化博弈理论、量子多目标进化算法、MATLAB仿真工具等,从共生、循环、平衡三方面构建云制造联盟创新生态系统运行机制。后,以航天云制造联盟为典型案例,进行实证研究并提出发展对策。本书的研究提出了一个崭新的交叉科学研究方向——云制造联盟创新生态系统,不仅开拓了云制造领域研究视角,而且丰富了创新生态系统应用的研究成果,同时完善了云制造创新管理的技术手段和方法选择,以期承载更多创新要素、资源和力量来整合、协同推进制造业转型升级。 -
信息技术理实一体教程闫俊伢 ,王文晶本书共两大模块,分别为基础任务和综合训练。基础任务共9章,包括计算机组装与维护、操作系统、文档制作与处理、表格处理与分析、演示文稿制作、计算机网络应用技术、多媒体应用技术、信息安全和新一代信息技术。综合训练是对文档制作与处理、表格处理与分析、演示文稿制作这3章知识点进行深度扩展,进一步提升学生的计算机应用技能。全书将教学、实验、考试集成于一体,便于教与学,可充分实现教学资源共享。本书既可以作为高等院校信息技术基础课程教材,也可作为信息技术爱好者的辅助参考书。 -
方正飞翔跨媒介出版实用教程杨雷鸣、贾皓、梅林、李谦本书结合我国书刊版面编排的实际情况,以跨媒介内容创意编排设计工具方正飞翔的应用和操作为切入点,由浅入深、从理论到实践,讲解书刊出版物版面设计编排的实际生产流程、排版基础知识、软件的应用方法,内容突出“实用性”,注重实际应用场景及工具操作与使用技巧的介绍。 本书主要面向出版行业的编辑、美编、排版人员、出版传媒相关专业学生、版式设计爱好者。读者可以通过本书了解图书出版的工作流程与专业规范、版式设计基础知识、软件应用方法与技巧等内容,并将其作为提升自我、获得从业知识与技能的渠道。本书配有软件操作微课视频,扫描书中二维码即可参考使用。本书可作为新闻出版类、平面设计类专业教材以及期刊编辑、排版设计人员的参考书。 -
动态批量与预测时阈慕银平,靖富营预测时阈的确定对动态批量的生产至关重要,较长的预测时阈意味着要处理更多的未来数据信息,会导致大量人力、物力和时间的消耗,而较短的预测时阈将导致未来数据信息的缺失,造成决策结果的不准确和成本的增加。本书研究系统地研究动态批量决策与预测时阈问题。 -
计算机组成原理与系统结构实验指导书章复嘉 冯建文 包健 编著本书是“计算机组成原理”课程及其主教材《计算机组成原理与系统结构》(第2版)配套的实验教材。全书共分上、下两篇,上篇为简单CISC模型计算机实验,主要以“Yy-z02计算机组成原理实验系统”为实验平台,引导读者使用微程序设计方法完成指令系统的实现,含14个实验项目;下篇是典型RISC计算机实验,主要以“Digilent Nexys3” FPGA开发板为实验平台,以MIPS架构CPU为模型,引导读者逐步设计实现一个单周期的MIPS CPU,含10个实验项目。上、下篇均按照概述、指令系统、硬件系统、开发软件平台和实验项目五部分来组织,使读者能够按照“了解概况—了解目标—熟悉工具—深入实现”的路径完成课程学习。
