语言-一流百科

童声妙语儿童成长中心

公司简介童声妙语成立于2021年，致力于为2-12岁的儿童提供学习能力培养。采用精准评估和个体化教学，Individual Educational Program，形成一套教学系统。通...

企业百科

人工智能国内大语言模型应用

产品介绍智语AI脚本宝是人工智能国内大语言模型应用，为了服务于新媒体行业所创的一款人工智能APP。其核心功能有短视频脚本功能、直播脚本功能、朋友圈文案功...

企业百科

LAB Profile（语言解码）

品牌简介LAB Profile是一种用于识别人们言语和行为模式的方法，其全称为'Language and Behavior Profile”。这套工具是“语言行为量表”，用来探讨个体及群体语...

企业百科

数据交换

简介数据交换是获取在源模式下结构化的数据并将其转换为目标模式的过程，以便目标数据是源数据的准确表示。数据交换允许数据在不同的计算机程序之间共享。它...

词条百科

信息模型

信息模型软件工程中的信息模型是概念和关系、约束、规则和操作的表示，用于为选定的讨论领域指定数据语义。通常它指定各种事物之间的关系，但也可能包括与个...

词条百科

电话口译

简介电话口译通过电话将人工口译员与希望彼此交谈但没有共同语言的个人联系起来。电话口译员将口头语言从一种语言转换为另一种语言，使听众和说话者能够相互...

词条百科

系统生物学标记语言

系统生物学标记语言系统生物学标记语言（系统生物标记语言）是一种基于 XML 的表示格式，用于通信和存储生物过程的计算模型。它是一个免费和开放的标准，具...

词条百科

图灵焦油坑

图灵焦油坑图灵焦油坑是任何编程语言或计算机界面，它允许功能灵活但难以学习和使用，因为它对常见任务提供很少或根本不支持。在任何图灵完备语言中，都可以...

词条百科

递归可枚举语言

递归可枚举语言在数学、逻辑和计算机科学中，一种形式语言被称为递归可枚举的（也可识别的、部分可判定的、半可判定的、图灵可接受的或图灵可识别的）如果它...

词条百科

枚举器

枚举器枚举器是带有打印机的图灵机。图灵机可以使用该打印机作为输出设备来打印字符串。每次图灵机要向列表中添加一个字符串时，它都会将该字符串发送到打...

词条百科

计算理论

计算理论在理论计算机科学和数学中，计算理论是处理在计算模型上可以解决哪些问题、使用算法、解决这些问题的效率或程度（例如，近似解决方案与精确解决方案...

词条百科

编程语言理论

编程语言理论编程语言理论 (PLT) 是计算机科学的一个分支，它处理被称为编程语言的形式语言的设计、实现、分析、表征和分类。编程语言理论与其他领域密切相...

词条百科

头等函数

头等函数在计算机科学中，如果一种编程语言将函数视为一等公民，则称该语言具有一等函数。这意味着该语言支持将函数作为参数传递给其他函数，将它们作为其他...

词条百科

形式语义学

形式语义学在编程语言理论中，语义学是对编程语言含义的严格数学研究。语义为编程语言语法中的有效字符串分配计算意义。语义描述了计算机在以该特定语言执行...

词条百科

科德十二定律

科德十二定律Codd 的十二条规则是由数据库关系模型的先驱 Edgar F. Codd 提出的一组十三个规则（编号为 0 到 12），旨在定义数据库管理系统的要求，以便它能...

词条百科

国际化与本地化

国际化与本地化在计算中，国际化和本地化或国际化和本地化，通常缩写为 i18n 和 L10n，是使计算机软件适应不同语言、区域特性和目标区域技术要求的方法。国际...

词条百科

页面描述语言

页面描述语言在数字印刷中，页面描述语言 (PDL) 是一种计算机语言，它以比实际输出位图（或一般光栅图形）更高的级别描述印刷页面的外观。一个重叠的术语是...

词条百科

编译程序指令

编译程序指令在计算机编程中，指令或 pragma是一种语言结构，指定编译器（或其他翻译器）应如何处理其输入。指令不是编程语言语法的一部分，并且可能因编译...

词条百科

系统建模语言

系统建模语言系统构建模型语言 (SysML) 是一种用于系统工程应用程序的通用建模语言。它支持范围广泛的系统和系统系统的规范、分析、设计、验证和确认。SysML...

词条百科

串接

串接在形式语言理论和计算机程序设计中，字符串连接是将字符串首尾相接的操作。例如，雪和球的串联是雪球。在串联理论（也称为弦理论）的某些形式化中，弦...

词条百科

字符串运算

简介在计算机科学中，在形式语言理论领域，经常使用各种字符串函数；但是，所使用的符号与计算机编程所使用的符号不同，一些理论领域常用的函数在编程时很少...

词条百科

架构描述语言

简介结构描述语言 (ADL) 用于多个学科：系统工程、软件工程以及企业建模和工程。系统工程社区使用架构描述语言作为语言和/或概念模型来描述和表示系统架构。...

词条百科

编程语言历史

编程语言历史编程语言的历史跨越了从早期机械计算机的文档到现代软件开发工具。早期的编程语言是高度专业化的，依赖于数学符号和类似晦涩的语法。在整个 20...

词条百科

统一建模语言

统一建模语言统一建模语言（UML）是软件工程领域的一种通用的、开发性的建模语言，旨在提供一种标准的方式来可视化系统的设计。创建UML的最初动机是希望将不...

词条百科

守卫命令语言

守卫命令语言Guard命令语言（GCL）是Edsger Dijkstra在EWD472中为谓词转换语义定义的一种编程语言。它以一种紧凑的方式结合了编程概念。它使开发一个程序和它...

词条百科

Zig

ZigZig是一种命令式的、通用的、静态类型的、编译的系统编程语言，由AndrewKelley设计。该语言的设计是为了实现鲁棒性、优化和可维护性，并支持编译时的泛化...

词条百科

Lua

LuaLua（/ˈluːə/LOO-ə；来自葡萄牙语：lua[ˈlu.(w)ɐ]意思是月亮）是一种轻量级、高级、多范式的编程语言，主要为应用程序嵌入而设计。Lua是跨平台的，因为编...

词条百科

MISRA C

MISRA CMISRA C是一套由MISRA联盟开发的C编程语言的软件开发指南。它的目的是促进嵌入式系统的代码安全、安保、可移植性和可靠性，特别是那些用ISO C / C90 /...

词条百科

嵌入式C语言

简介嵌入式C语言是C语言标准委员会为解决不同嵌入式系统的C语言扩展之间的共性问题而对C语言编程进行的一套语言扩展。嵌入式C语言编程通常需要对C语言进行非...

词条百科

BERT

简介Bidirectional Encoder Representations from Transformers (BERT) 是一种基于变压器的机器学习技术，用于自然语言处理 (NLP) 预训练，由 Google 开发。B...

词条百科

1 2 3 … 5