计算机科学理论与基础知识
-
基于矩信息的鲁棒优化模型、算法及应用张玉利本书主要介绍不确定性环境下基于随机参数矩信息的鲁棒优化方法,讨论其模型构建、算法设计及实际应用等方面的最新研究成果。本书旨在为不确定性环境下优化决策提供理论建模、算法设计及分析的新方法和工具,同时为复杂环境下供应链管理、运营管理、物流运作等实际问题提供科学决策支持。 -
自主无人系统的智能环境感知技术毕欣面向下一代机器人与自主无人系统的发展需求,项目重点研究解决非结构性和多态性复杂环境下自主飞行和自主漫游的信息感知关键技术问题,构建机器人与无人系统多模态信息感知协同测试系统,建立机器人与无人系统信息感知的性能验证和效能评估的综合测评体系,为无人系统及其相关核心技术的研究工作提供更加全面深入的理论研究与应用技术平台。该项目在复杂电磁环境和空间环境下微弱目标探测和航迹跟踪、基于时频特征与时空特征的目标识别、多源信息融合框架、无人系统自主飞行和自主漫游路径规划等方面的研究均有自己的特色和创新之处。自动控制、信息感知、人工智能、物联网技术等新一代信息技术促进了新一代机器人与无人系统的发展。自主无人系统在军事和民用方面都具有广泛应用前景成为机器人领域的研究热点。不确定的非结构性和多态性复杂环境下智能自主控制的自主决策源于对当前环境的判断,从根本上来说,无人系统的环境感知是自主飞行和自主漫游需要解决的关键问题。自主无人系统的智能信息感知核心技术的研究开发,涉及到国家的重大战略需求,对提升我国军用无人系统的作战能力和推动我国国防现代化建设具有重大意义。 -
高级HDL综合和SoC原型设计(印)瓦伊巴夫·塔拉特《高级HDL综合和SoC原型设计》通过实际案例介绍高级HDL综合与SoC原型设计,提供有关SoC和ASIC设计性能改进的实用信息。《高级HDL综合和SoC原型设计》共16章,内容包括SoC设计、RTL设计指南、RTL设计和验证、处理器设计和架构设计、SoC设计中的总线和协议、存储器和存储控制器、DSP算法与视频处理、ASIC和FPGA综合、静态时序分析、SoC原型设计、SoC原型设计指南、设计集成与SoC综合、互连线延迟和时序、SoC原型设计和调试技巧、板级测试等。《高级HDL综合和SoC原型设计》源于作者在RTL和SoC设计领域多年实践经验的总结,旨在为SoC设计工程师提供有价值的参考。 -
边缘工作流系统李学俊本书是边缘计算环境中工作流系统领域的专著,主要注重工作流技术的理论与边缘计算环境的结合。本书全面系统的介绍了边缘计算环境中工作流系统的相关理论、设计与实现,主要包括边缘计算环境中的系统架构、系统功能、系统服务质量、安全性管理等。 -
计算机应用基础学习指导陈志辉主编.本书是《计算机应用基础》配套的学习指导教材。首先,书中梳理了教材《计算机应用基础》的核心知识点,形成了一个完整的知识学习体系。搭配的习题紧扣知识点,难度适中,解析全面详尽,既有助于读者巩固所学知识,又有助于提升应试能力。其次,本书还通过丰富的实验内容帮助读者将所学知识应用于实际操作中,实验步骤清晰,图文并茂,有助于读者更好地理解和掌握计算机应用技能。最后,本书还与全国等级考试考核有机结合,附有模拟试卷和参考答案,为顺利通过等级考试打下坚实基础。本书突出资源建设与使用,激发读者的学习兴趣,真正做到学以致用。本书可作为高等院校计算机应用的教材。 -
对象代理数据库系统原理彭智勇,王黎维对象代理数据库系统既具有关系数据库的灵活性,又具有面向对象数据库表现复杂语义的能力,非常适合管理结构复杂、语义丰富的数据。本书根据作者提出的对象代理模型,给出对象代理代数,描述对象代理数据库语言,并围绕对象代理数据库的存储管理、查询处理、事务管理和安全机制等实现技术进行深入介绍,使读者能够全面掌握对象代理数据库系统原理。 -
小心没大错!新手程序员排错指南(日) 樱庭洋之,(日) 望月幸太郎排查故障是困扰新手程序员的主要问题之一。《小心没大错!新手程序员排错指南》旨在帮助新手程序员消除对代码错误的抵触情绪,提升解决故障的能力,同时掌握编写高质量程序的方法。《小心没大错!新手程序员排错指南》共分为6章,通过漫画导读和丰富的示例,生动剖析了新手程序员对代码错误产生抵触情绪的原因,详细介绍了错误信息的阅读方法及程序员在编程过程中可能遇到的各种代码错误,直观讲解了高效排查故障的策略、利用工具简化调试流程的方法、应对复杂代码故障的技巧,以及编写易于调试代码的方法。 -
计算机组成与体系结构胡学钢 总主编;赵姝,陈洁 主编本书是安徽省高等学校“十四五”省级规划教材,从计算机的组成和结构两个方面介绍冯氏计算机的五大部件工作原理及其性能指标,并介绍整机性能评价及改进方法,将MIPS指令系统代表的RISC设计理念和X86指令系统代表的CISC设计理念进行对比,将MIPS指令系统架构贯穿五大部件的原理介绍,让读者将章节内容与实际机型结合理解,了解不同系统计算机的差异性,更好地理解所学知识。读者学习本课程之前应具有一定的计算机基础知识、掌握某种程序设计语言并适当了解数字逻辑电路。本书结构清晰,具有良好的教学适用性、实用性和可操作性,既适合作为高等学校计算机、电子信息等相关专业教材,也可作为学生考研复习时的必 备指导书。 -
办公自动化技术可视化教程邵杰 主编本书是“十四五”职业教育国家规划教材,采用影视分镜原理,使用全息图解标注法,全面介绍办公自动化工作中需要掌握的常用办公软件的操作、常用办公设备的使用与维护,以及网络的有关知识,特别新增了对于AI绘图软件“悟空图像”的介绍,教学素材详尽,并配有全套精心制作的教学视频,既可作为高等院校办公自动化课程的教材,也可供广大电脑爱好者自学使用。 -
状态反馈控制及卡尔曼滤波费红姿,肖友洪,刘冰鑫本书系统介绍了基于状态空间模型的状态反馈及卡尔曼滤波方法,共8章,由三部分组成,第一部分(第1、2章),连续时间状态反馈控制;第二部分(第3~6章),离散时间状态反馈控制;第三部分(第7、8章),卡尔曼滤波。本书介绍了连续系统及离散系统的状态空间模型建模、状态反馈控制器、观测器、干扰抑制及参考信号跟踪的设计方法,并结合工程应用中控制系统案例以及MATLAB/Simulink教程,来讲解基于状态空间模型的状态反馈方法,包括汽包锅炉控制、糖厂控制、风力涡轮机传动系统控制、机械臂控制、加热炉控制等。同时,本书介绍了卡尔曼滤波器的原理及设计方法,并解决了卡尔曼滤波应用过程中的实时计算及计算精度问题。
