软件与编程

英国数学家，其1843年关于查尔斯·巴贝奇分析机的注释成为计算技术史上的奠基性文献。

安娜的档案是一个影子图书馆搜索与保存项目，汇集书目记录并提供数字馆藏的访问入口。

编程语言是一种表达计算的形式系统，通过规则规定程序的结构与行为。

并发计算组织时间上重叠的计算活动并协调其交互，这些活动可在单个或多个处理器上执行。

操作系统管理计算机硬件与资源，并为应用程序提供服务、抽象和执行环境。

层叠样式表是一种样式表语言，用于控制以标记语言为基础的文档（主要是网页）的呈现方式，使外观与结构分离。

大数据指因规模、产生速度或复杂性而需要采用可扩展方法进行存储、处理和分析的数据集。

懂车帝（DCar）是中国的一款汽车信息、车友社区与汽车交易平台，于2017年推出。

分布式计算协调联网计算机，在通信延迟和组件故障的条件下执行计算、管理共享数据并提供服务。

氛围编程是一种通过自然语言请求和反复反馈来构建软件的人工智能辅助方法，通常很少检查生成的代码。

弗朗西丝·豪根是美国前Facebook产品经理，2021年披露公司内部文件，此后致力于推动社交媒体透明化。

共享内存是多个执行主体可访问的存储空间，使其能够通过共用数据通信，而不必完全依赖显式消息。

谷歌是Alphabet旗下的美国科技公司，以互联网搜索、数字广告、软件平台、云计算和人工智能闻名。

鸿蒙操作系统是华为开发的分布式操作系统，面向手机、平板、个人计算机、穿戴设备和汽车等多种智能设备。

鸿蒙操作系统7是华为于2026年推出的操作系统版本，重点涵盖AI智能体、空间界面、性能优化、安全及跨设备服务。

计算图表示运算及其依赖关系，支持数值程序的有序执行、自动微分与优化。

开源软件提供源代码，并通过许可证授予使用、修改和再分发的权利。

美国计算机科学家，曾在麻省理工学院领导阿波罗飞行软件开发，并推动提高软件工程可靠性的方法。

软件文档向用户、开发者和维护者说明软件系统的需求、设计、接口、运行与使用方法。

允许用户创作内容并建立社交关系的互联网服务，及其技术、经济、政治和社会影响。

数据可视化指以图形化方式呈现数据，用于支持探索、分析、解释与信息传达。

数据库是有组织的数据集合，通常由数据库管理系统维护，以便高效访问、修改和受控使用。

搜索引擎是一种软件，用于查找、索引和排序信息（主要是网页），以响应用户的查询。

同步通过控制共享资源的访问、规定操作顺序和确立变更的可见时机，协调并发计算。

图像处理主要通过对数字数据进行计算，实现图像的变换、增强、复原、压缩和分析。

用于获取、渲染网页并让用户与之交互的软件。本词条涵盖其历史、架构、网络标准、安全、隐私及市场结构。

微数据是一种在网页中嵌入实体及其属性等机器可读描述的超文本标记语言机制。

维基百科是多语言、自由授权的在线百科全书，由志愿者协作撰写和维护。

小米澎湃OS是小米公司开发的跨设备操作系统，于2023年10月发布，旨在取代MIUI并连接各类智能终端。

信息检索是根据特定信息需求，从资料集合中查找相关内容的实践及对这一过程的研究。

形式验证在明确假设下，利用精确的数学模型和逻辑推理，确立硬件或软件满足指定性质。

一种软件定义的执行环境，通过实现计算机系统或抽象机来运行程序。

由计算机生成的环境，用户通过沉浸式显示设备、动作追踪和输入设备感知并与之交互。

一组定义和协议，使软件组件能够相互通信并调用彼此的功能，而无需暴露内部实现。

云计算通过网络提供共享计算资源，支持按需获取、弹性扩缩容和用量计量。

证明助手是一类软件，通过人工引导、自动推理和精确定义的逻辑规则来构造并检查形式证明。

知识库是有组织的信息集合，供人查阅、自动推理或软件系统检索使用。

aiwiki.page 是一个域名形式的标识符，所查阅的公开资料未能确认其对应的项目。

arXiv是一个免费、开放获取的学术预印本在线库，创立于1991年，主要涵盖物理学、数学和计算机科学。

C是20世纪70年代初在贝尔实验室创建的通用过程式编程语言，以高效、可移植和贴近硬件著称，至今仍被广泛使用。

NVIDIA 开发的并行计算平台与编程模型，让通用程序利用 NVIDIA GPU 的大规模并行能力。

DuckDB 是一款开源、进程内、列式分析型关系数据库管理系统，采用 C++ 编写，基于 MIT 许可证发布。

Facebook 是于2004年推出的社交网络服务，连接世界各地的个人关系网、社群、企业和媒体。

由开放家居基金会维护的免费开源智能家居软件，专注于本地控制与用户隐私。

HTML（超文本标记语言）是用于构建网页结构的标准标记语言，1991年诞生于欧洲核子研究组织，现以“活标准”形式持续维护。

IBM是一家美国跨国科技公司，业务涵盖企业软件、计算基础设施、咨询、人工智能和量子计算。

Instagram 是 Meta 旗下以分享照片和视频为核心的社交网络服务。

iOS 27是苹果公司推出的第20个iOS主要版本，于2026年9月14日发布，搭载重构的Siri AI并扩展了苹果智能功能。

一种动态类型的高级编程语言，标准化为 ECMAScript，原生运行于网页浏览器，也可借助 Node.js 运行于服务器。

jsDelivr 是一个免费的多供应商内容分发网络，主要用于分发开源软件的 JavaScript 软件包和网页资源。

JSON-LD 是一种基于 JSON 的关联数据格式，通过全局唯一实体、显式关系和共享词表来表达图结构数据。

Lean 是开源的证明助手兼编程语言，利用依赖类型论表达数学命题并检查形式证明。

Linux 是一种自由开源的类 Unix 操作系统，以 Linux 内核为核心，广泛用于服务器、手机、嵌入式设备和超级计算机。

Liquid Glass 是苹果公司的界面设计语言和动态视觉材质，将半透明表面、光学效果与流畅交互应用于旗下软件平台。

macOS 27 又名 Golden Gate，是苹果于 2026 年推出的 Mac 操作系统，仅支持苹果芯片，并引入 Siri AI。

微软开发的专有操作系列，从1985年基于MS-DOS的图形界面发展到基于NT内核的Windows 11，用于个人电脑、服务器和嵌入式设备。

Python 3.15 引入了显式惰性导入、不可变字典、哨兵值、默认 UTF-8 模式，并改进了性能分析与自由线程扩展支持。

RDFa 是一种通过标记属性在网页文档中嵌入机器可读 RDF 数据的标准规范。

Redis 是一种内存数据结构数据库，支持缓存、持久化存储、消息传递和搜索。

Snapchat 是一款多媒体通信及社交媒体服务，以阅后即焚消息、故事和增强现实相机特效著称。