形式语义

作品数：116被引量：355H指数：8
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：黄海军云晓春陈意云苗德成邹崇理更多>>
相关机构：华东师范大学中国科学院软件研究所吉林大学南京大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家社会科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Apache Flink复杂事件处理语言的形式语义被引量：2
《软件学报》2024年第10期4510-4532,共23页傅宣登 吴志林 
国家自然科学基金(61872340)。
Apache Flink是目前最流行的流式计算平台之一,已经在工业界得到了广泛应用.复杂事件处理是流式计算的一种重要使用场景,Apache Flink平台定义并实现了一种复杂事件处理语言(简称FlinkCEP).FlinkCEP语法特性丰富,不仅包括常见的过滤、...
关键词：流式计算 Flink 复杂事件处理 形式语义 数据流转换器 查询求值 
带有并发行为的UML状态机图的形式语义
《计算机技术与发展》2024年第5期87-94,共8页陈华豪 蒋建民 谢嘉成 陈卓然 唐国富 
科技部重点研发计划(2022YFB3305104);国家自然科学基金(61772004);成都信息工程大学人才科研基金(KYTZ202009)。
在软件开发过程中,UML(统一建模语言)状态机图是目前最流行的建模形式之一,它属于半形式化模型,无法用形式化的方法进行推理。为了能对UML状态机图进行推理,现有工作采用Petri网、时序逻辑语言XYZ/E、动态描述逻辑、Z(Object-Z)语言、C...
关键词：统一建模语言 状态机图 形式化模型 并发行为 可达性 死锁 
弱共识与语境复义:人工智能自然语言大模型重塑文艺美学被引量：2
《社会科学辑刊》2024年第1期201-208,共8页刘方喜 
实质语义的弱共识性是人工智能自然语言大模型自动生成文本的基本特性,也是文学文本的基本特性。科学与文学文本语元组合运动生成的形式语义都要在个人的直观理解中转化为实质语义。形式语义概念化的单义决定着科学文本实质语义的强共识...
关键词：弱共识 语境复义 实质语义 形式语义 自然语言大模型 
形式语义知识驱动的中文伪情感句智能识别模型
《外国语》2023年第3期13-20,共8页周红照 
国家社会科学基金项目“中文情感计算的形式语义逻辑研究”(22CYY023)。
情感因子(情感词、情感短语、情感句式)是情感句的必要不充分条件,有效鉴别包含情感因子但并不表达情感意义的“伪情感句”,是过滤噪声、提升情感句识别准确率的关键一环。本文首先基于语料归纳和同义词扩展,总结出七类鉴别“伪情感句...
关键词：情感分析 情感句识别 伪情感句 形式语义知识 词典-规则 
面向产业化的光学相干断层成像仪用户体验设计
《包装工程》2023年第12期438-448,共11页赵志勇 丁伟 于钊 顾闻 周艳 
中国建设教育协会教育教学科研课题“基于职业能力目标的设计学本科生创新力构建因素研究”(2019139);2022年上海市促进文化创意产业发展财政扶持基金产业研究类项目“上海设计创新型城市评级指标体系研究”(2022020026)。
目的以光学相干断层成像扫描系统为研究对象,以产业化为导向,结合人本设计、用户体验设计理论,探讨如何更好地使其适应中国市场需求,提高产品使用效率和精准度,缓解患者紧张心理,促进医疗设施智慧化发展。方法根据人本设计和包容性设计...
关键词：光学相干断层成像系统 用户体验 产品形式语义 医疗健康 
事件–状态语义学:一个关于英语时体时态句的形式语义被引量：1
《逻辑学研究》2023年第1期36-54,共19页张文彦 周北海 
教育部国家语委科研项目“面向义务教育阶段的中文修辞能力智能识别研究”(YB145-56);教育部国家语委科研项目“面向基础教育的语言文字运用能力提升——信息化条件下领域专用情感词库构建研究”(YB135-163)。
英语中与时间相关的表达不仅有时态,还有时体,二者是英语时间表达的两个维度,共同形成了多种时体时态句。时态逻辑、区间语义学、RK理论给出了部分时态句的形式语义解释。如何理解时体维度,给出时体时态句的全面解释,是自然语言的形式...
关键词：事件–状态语义学 时体 时态 形式语义学 
副词“都_(2)”语义语用研究综述
《语言历史论丛》2021年第1期54-76,2-3,共25页李宇凤 朱嘉诚 
在现代汉语副词里,“都”是非常受关注的、具有多层次语义关联价值的研究单元。就目前来看,学界长期流行的做法是对几类“都”在语义和语用上做定性分析。我们通过对20世纪以来近七十篇研究表“甚至”的“都_(2)”的论文进行梳理,总结...
关键词：“都_(2)” 形式语义 主观性 
汉语名-名组合的形式语义探析被引量：1
《湖南科技大学学报（社会科学版）》2020年第4期39-44,共6页石运宝 邹崇理 
湖南省社科基金项目(18YBA388)。
不论是在人类智能领域还是人工智能领域,名词都起着非常重要的认知作用。名词与名词的组合(简称“名-名组合”)在心理学、语言学、认知科学、逻辑学等领域备受关注。而如何选用恰当的工具刻画名-名组合,对揭示名词的句法和语义功能起着...
关键词：修饰语名词 中心语名词 形式语义分析 组合原则 
一种包解析器硬件配置描述语言及其编译结构被引量：1
《软件学报》2020年第8期2285-2308,共24页李璜华 李凌 赵宇 王生原 李翔宇 
核高基国家科技重大专项(2017ZX01030-301-003)。
设计了一种用于实现可重构网络数据包解析器的专用硬件配置描述语言P3.由于要有利于高安全等级网络的实现,侧重于从高可信性角度进行语言设计,包括形式化定义该语言的类型系统和操作语义,以及设计其可信编译结构.基于对可重构硬件基本...
关键词：领域专用语言 可重构数据包解析器 形式语义 可信编译 软件定义网络 
概数助词“多”的形式句法和形式语义被引量：3
《当代语言学》2020年第2期237-253,共17页贺川生 邓丽芳 谢丽丽 
国家社科基金后期项目(19FYYB024)“中国境内民族语言逆序计数及数词系统研究”;湖南省社科基金一般项目(16YBA082)“湖南省境内民族语言数词系统句法语义界面研究”。
本文提出概数助词“多”的一种句法语义界面分析,在句法树的基础上建立一一对应的语义诠释步骤。在句法上,“多”只能粘在整个数词短语后面而不会只粘在位数词后面。在语义上,本文给出“多”的形式定义。这种分析既可以解释“多”能够...
关键词：“多” 概数词 句法语义界面 类推 重新分析 
全选清除导出
共12页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部