计算机/网络
-
拉格朗日力学理论的形式化与机器人动力学形式化分析关永等《拉格朗日力学理论的形式化与机器人动力学形式化分析》以拉格朗日力学理论与自动定理证明思想为指导,系统深入地研究了泛函变分、拉格朗日力学和机器人动力学之间的天然关系,从而构建了以泛函变分的形式化为形式化数学基础、以拉格朗日力学的形式化为中心、以机器人动力学形式化分析为应用依托的定理证明体系。内容涵盖了自动定理证明、泛函变分、拉格朗日力学、形式化验证等领域。 \n《拉格朗日力学理论的形式化与机器人动力学形式化分析》主要内容包括:泛函变分、动力学与形式化验证的进展;泛函变分、拉格朗日力学、机器人动力学与形式化验证主要理论;泛函变分主要理论的形式化;拉格朗日力学主要理论的形式化;机器人动力学的形式化建模与分析;模块化自组织机器人对接运动学和动力学验证。作者长期系统形式化与自动定理证明进行深入研究并在机器人安全验证等领域持续实践迭代,《拉格朗日力学理论的形式化与机器人动力学形式化分析》是对该过程成果的高度凝练与系统总结。
-
觉晓法考2022应试背诵系列 刑法一小本徐光华本书是《刑法培优》的压缩版,在此基础上,考虑到《刑法培优》出版后的近几个月出台了新的司法解释及2022年法考新大纲,又适度增加了一些内容,确保重要知识点无遗漏。考生应在完成《刑法培优》系统的复习后使用本书进行背诵。对于在背诵过程中不理解的地方,可以翻看《刑法培优》进行回顾,或通过《必刷题》中的真题及模拟题,进一步巩固知识点,做到对知识点原理的真正掌握。对于本书的特点和使用相关的问题,主要有以下几个方面:第一,本书收录了截至交稿时2022年5月的重要司法解释、法律规范。第二,注意考生的学习规律、记忆规律,进行了表格化的总结。第三,本书覆盖了《刑法培优》全部重要知识点,虽然字数少了,但知识点没有少,这有利于考生在背诵的过程中对刑法学知识点进行全面复习。第四,重点突出。本书删减了精讲卷中的注释、案例和真题等内容,使重要知识点的呈现更为简洁和突出。
-
刑诉 肖沛权刑诉法 法考主观题练习肖沛权大量练习是备考法考最好的复习、输出、巩固的方式,练习案例就是为了帮助少(时间少)、缺(缺少做题思维)、杂(案例案情复杂)、漏(过程繁琐)的考生解决主观练习的大难题,助力考生熟练运用法言法语分析过程。尊重官方观点,密切关注近年来法考命题的新动向,本书有助于考生提升应试能力。
-
2022新版 中级经济师教辅 重点难点详解人力资源和社会保障部人事考试中心2022新版 中级经济师教材配套教辅重点难点详解 经济基础知识(中级)2022版 中国人事出版社
-
2022新版 中级经济师教辅 知识点速记人力资源和社会保障部人事考试中心2022新版 中级经济师教材配套教辅知识点速记 经济基础知识(中级)2022版 中国人事出版社
-
人工智能实战进阶导引王文峰,安鹏,王海洋,李小强,栾博,张晶本书选择以遮挡人脸识别这一当今世界难题为例,探索人工智能技术实战进阶之路。本书重现了笔者对人脸有无口罩识别、口罩分割提取、遮挡人脸识别等方面的技术探索与实现过程。从视频图像的智能分割、图像区域生长算法设计与实现、智能采集、智能分割、智能变换、智能融合、图像边缘智能检测、图像非局部均值滤波等角度入手,尝试了遮挡人脸图像处理的探索,并最终分别基于MATLAB和Python实现了遮挡人脸识别。本书内容通俗易懂,适用于对人工智能实战应用感兴趣但缺少专业指导的读者。无论是对遮挡人脸识别技术感兴趣的大学生,还是希望向人工智能领域转型的技术人员,都可以通过本书的指引,轻松完成人工智能实战进阶。
-
从零开始设计你的智能小车胡青《从零开始设计你的智能小车》从“实战”出发,以STM32F103VET6单片机为对象,以C语言为开发语言,详细讲解如何在CMSIS固件库基础上完成嵌入式应用系统的开发。通过本书的学习,读者能够初步了解嵌入式系统设计中的硬件设计和软件设计,掌握硬件和软件调试技巧,具备设计、规划和实现一个简单嵌入式应用系统的能力。 \n全书以“智能小车设计”作为主线,内容分为基础篇、提高篇和实践篇三个层次。“基础篇”介绍嵌入式开发的基本常识、系统架构等。“提高篇”以小车功能需求为目标来组织各章节内容,每一章实现智能小车的一个功能。“实践篇”从应用系统设计规划的角度出发,通过两个不同的“智能小车”系统设计实例,从功能设计规划开始,经过硬件需求分析与选型、硬件设计与供电设计,到软件设计、系统测试,详细讲解从设计规划到开发实现的完整过程。侧重分析设计思路、设计方法,以及项目的组织架构,培养作为系统开发工程师而应该具备的“全局观”和从系统层面分析、分解系统功能的能力。 \n本书可作为高等院校自动化、电气工程等相关专业的教材,也可作为嵌入式开发爱好者的入门书籍。 \n
-
数值方法MATLAB实验袁占斌,李义强 编本书详细介绍了数值分析课程的基本算法,包括非线性方程求解、线性方程组的直接解法、线性方程组的迭代解法、数据插值与拟合、数值积分与微分及常微分方程数值解法等,并介绍了MATLAB软件编程实现上述各种方法的具体流程,给出了详细代码。本书可作为高等学校工科专业本科生或者研究生学习“计算方法”或“数值分析”课程中数值实验环节的用书,也可作为参加全国大学生数学建模竞赛的大学生尤其是编程队员学MATLAB编程的指导教材,还可作为从事科学计算的科技人员应用MATLAB求解数值计算问题时的参考书。
-
新东方 管理类联考历年真题全解新东方在线全国硕士研究生考试研究中心,张鑫,尹宏凯,李百川本书是为准备参加全国硕士研究生招生考试管理类专业学位联考综合能力(科目代码为199)的考生量身定做的真题类辅导用书。全书共包含2013-2022年10套真题,分为两册。一册是试卷,10套题10个骑马钉,按年份倒序排列,年份越近,参考价值越大;一册是解析,由新东方在线的老师们编写而成,数学、逻辑、写作三部分分别由张鑫、尹宏凯、李百川三位老师主编,解析详细,逻辑清晰,力求让考生看懂且会做。 \n
-
2022新版 中级经济师教辅 教材精讲人力资源和社会保障部人事考试中心2022新版 中级经济师教材配套教辅教材精讲 经济基础知识(中级)2022版 中国人事出版社