返回首页
-
联手形式化方法专业委员会：“时间自动机”术语发布 | CCF术语快线
2022-01-28时间自动机[1]是一个对实时系统进行建模和验证的模型。它可以理解成一个带有限个时钟集合的有限自动机。每个时钟都是一个取值范围为0或正数的变量，且同步运行。时间自动机状态之间的转换要满足边上时钟约束才可能发生，且这种转换不消耗时间，在状态转移中，某些时钟可以被重置为0。只要满足当前状态中的时钟约束，时间自动机的时间可以在这个状态中流逝。换言之，时间自动机是用有限个实数值变量扩展的有限自动机。
-
联手服务计算专业委员会：“大服务”术语发布 | CCF术语快线
2022-01-20“大服务（Big Service）”指存在于互联网数字世界和现实世界中，由跨世界（现实世界与数字世界）、跨领域、跨区域、跨网络的海量异构服务经过聚合与协同而形成的复杂服务形态（或复杂服务网络）。当前，大服务由基于大数据蕴含规律和各种智能业务的大规模智能服务群落构成。它运用大数据里蕴含的规律，产生大规模分布式智能业务服务，构成复杂的务联网以及认知型服务网络，解决物理信息系统支持下企业或社会中大数据关联的业务处理与业务应用问题，以创造价值。
-
联手人机交互专业委员会：“自持续交互”术语发布 | CCF术语快线
2022-01-14自持续交互是指自供能、可持续的交互技术，通过减少交互行为产生的能耗，一方面降低了交互界面的能量维护需求，另一方面也减小了交互行为带来的碳排放。自持续交互基于能量收集、交互产能等方式为超低功耗交互设备供能，并面向此类资源受限界面设计相应交互方法以提供自然高效的交互体验。
-
联手自然语言处理专业委员会：“188体育app官网：补全”术语发布 | CCF术语快线
2022-01-07188体育app官网：补全通常定义为“三元组分类”或“链接预测”任务。首先，一条知识在188体育app官网：中通常由三元组表示：“头实体，关系，尾实体”。三元组分类即对于给定的三元组，预测其正确的概率。而链接预测则是对于三元组中缺失的某个元素加以补全。由此可见，链接预测可以转换为三元组分类任务，它们都可以对不存在于当前188体育app官网：中的“新知识”做出预测。
-
联手信息系统专业委员会：“提示学习”术语发布 | CCF术语快线
2021-12-24提示学习是一种适用于低资源场景的预训练模型方法，即在零样本或少样本的场景中获得良好的任务效果。提示学习的框架也被认为是fine-tune（微调）后NLP领域的第四范式[1]。在已有的NLP研究中大多数侧重于预训练语言模型本身，让预训练模型输出适配应用任务的结果。传统的预训练模型通常是利用fine-tune模式，而融入了提示学习的新范式可以归纳为：预训练-提示-预测(Pretrain-Prompt-Predict)。
-
联手信息系统专业委员会：“多模态表示学习”术语发布 | CCF术语快线
2021-12-10本期发布术语热词：多模态表示学习(Multimodal Representation Learning)。在大数据环境和新基建背景下，人机交互过程中数据对象的日益丰富和变化，呈现多模态的特点。其中，“多模态”可以直观地理解为数据不同的多媒体形式，也可以作为一个更加细粒度的概念。多模态表示学习旨在通过利用不同多模态数据之间的互补性，剔除模态冗余性。从而将多模态数据语义表征为实值向量..
-
联手自然语言处理专委会：“预训练语言模型”术语发布 | CCF术语快线
2021-12-03此文为CCF术语工委联合自然语言处理专委会推出的计算机行业术语介绍文章。本期所选热词为预训练语言模型，是目前的热门研究方向之一。以BERT、GPT为代表的预训练模型已经成为自然语言处理(NLP)领域的主要模型。不管在富资源任务还是低资源任务上，预训练都对模型性能有显著的提升。本文将对目前众多预训练模型进行梳理汇总，并对预训练模型的未来研究方向进行展望。
-
联手形式化方法专委会“可满足性模理论”术语发布 | CCF术语快线
2021-11-18本期新增术语新词：可满足性模理论(Satisfiability modulo theories)。可满足性模理论指函数和关系符号在背景理论中进行解释的谓词逻辑公式的可满足性判定问题。
京公网安备 11010802032778号
