本手册是在总结航天工程软件研制成功经验的基础上，针对新时期软件系统架构设计、安全性可靠性、测试验证充分性等软件研制瓶颈问题，参考借鉴国内外软件管理技术方法，并瞄准航天工程软件复杂度提升和未来发展需求编制的一本实用性工程手册。本手册对航天软件研制顶层要求的有关条款进行了解释、阐述，用于指导航天型号软件研制过程中的技术和管

国务院新闻办公室7日发布《携手构建网络空间命运共同体》白皮书。白皮书介绍了新时代中国互联网发展和治理理念与实践，分享中国推动构建网络空间命运共同体的积极成果，展望网络空间国际合作前景。 白皮书指出，随着新一轮科技革命和产业变革加速推进，互联网让世界变成了“地球村”，国际社会越来越成为你中有我、我中有你的命运共同体。发

什么是互联网呢？小小的我一直不太明白。每天看着爸爸妈妈工作发邮件、生活打电话感觉好神奇。随着爸爸妈妈的介绍以及我的观察，我知道了，原来互联网是一个巨大的通信网络，它连接了众多计算机，使它们能够相互交换信息。多亏了互联网，我们可以玩各种游戏、进行电子商务、发送邮件和文件、参观虚拟博物馆以及学习在线课程等等。随着互联网的各

本书分15章，分为两部分：前8章，主要是结构化编程和函数式编程。从基本类型开始，探讨运算符、表达式、语句、函数、数组、自定义类型、指针、引用、Lambda表达式和匿名函数。作为基础，大约需要4学分完成。后7章，主要是面向对象编程和泛型编程。从第9章类和对象开始，探讨面向对象封装性、继承性和多态性。第13章探讨基于模板的

本书讲解了SystemVerilogTestbench强大的验证功能，清楚地解释了面向对象编程、约束随机测试和功能覆盖的概念。本书涵盖SystemVerilog所有验证结构，如类、程序块、随机化和功能覆盖等，并通过超过500个代码示例和详细解释，说明了学习多态性、回调和工厂模式等概念的内部工作原理。此外，本书提供了数百

在工业4.0时代，嵌入式系统作为芯片和软件的结合体，在工业自动化、机电控制、移动设备、通信、汽车等领域发挥着不可替代的作用。本书系统介绍了嵌入式系统硬件与软件的设计，并简要介绍了多个应用实例，使读者全面了解嵌入式系统的内部结构、设计思路和开发过程。书中配有适量习题，紧扣本书主旨，帮助读者巩固重要的知识点。本书适宜机械、

本书为职业教育移动物联网技术实训教材，以智能家居为编写背景，案例设计档次高，可操作性好。所完成的实训项目就是一适用的远程智能家居控制系统，可在手机APP上，随时观察家居温度，任意操控6路家电的开或关，还能根据所需的任意温度值，在手机上设定家居环境中的1路高温报警运作和1路低温报警运作。受控终端全套器材（51单片机板+8

Web系统是目前最为流行的架构，由于它是黑客攻击的重要目标，因此迫切需要大量掌握Web安全攻防技术的人才提高其安全性。本书结合渗透测试项目实施过程，分为Web系统安全技术基础、信息收集与漏洞扫描、利用漏洞进行渗透测试与防范、项目验收4个部分，共10个单元，详细介绍了Web系统安全技术与利用漏洞进行渗透测试的方法。每个单

本书主要内容为虚拟现实领域的3D建模，共分为5章，第1章为3D游戏场景道具制作概述；第2章为低模手绘武器道具制作；第3章为手绘卡通场景制作；第4章为次世代道具制作；第5章为次世代场景道具制作。本书既适用于职业院校及普通高校虚拟现实技术应用相关专业的教师和学生使用，又适用于虚拟现实相关技术人员参考。本书将随书提供课程中相

Ghidra是美国国家安全局（NSA）开发的免费和开源的逆向工程工具，已于2019年的RSA正式发布，包含了一整套功能齐全的高级软件分析工具，可以帮助广大研究人员在Windows、macOS和Linux各大常见系统平台上进行源代码分析。目前已在技术安全社区掀起一股学习热潮。