语义等价

作品数：15被引量：49H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：王小兵田聪段振华朱杰蒋烈辉更多>>
相关机构：西安电子科技大学浙江大学北方工业大学西安邮电大学更多>>
相关期刊：《计算机工程与设计》《自动化博览》《计算机集成制造系统》《小型微型计算机系统》更多>>
相关基金：国家高技术研究发展计划国家自然科学基金国家科技型中小企业技术创新基金国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
丰富特征提取的句子语义等价识别研究
《小型微型计算机系统》2021年第10期2017-2022,共6页刘高军 寇婕 段建勇 霍卫涛 王昊 
国家自然科学基金项目(61972003,61672040)资助。
句子语义等价识别任务(SSEI)在问答任务中扮演着至关重要的角色.目前,基于中文的语义等价任务在没有给定场景的前提下直接判断两个问句的语义,仍存在相同的意思也会被错误理解的问题.因此,本文提出了一种丰富特征信息提取的RFEM (richer...
关键词：句子语义等价识别 特征提取 句子匹配 变体多头注意力机制 
基于线性路径匹配的C程序评分方法被引量：2
《西安邮电大学学报》2020年第3期88-91,共4页舒新峰 何孝敏 贾敬霞 付稳稳 王振宇 
陕西省重点研发计划项目(2020GY-210);西安邮电大学创新基金项目(CXJJLI201018)。
针对现有C程序评测方法评分结果过于粗糙的问题,提出一种基于线性路径匹配的C程序评分方法。将待判定程序转化为语义等价的标准形式,引入程序语句依赖图(program statement dependency graph,PSDG)准确表达语句在控制和数据上的依赖关系...
关键词：线性路径 程序评分 语义等价 程序语句依赖图 依赖关系 
《黄埔条约》中法版本“语义等价”之探究
《法国研究》2019年第4期99-112,共14页周力 贠冰洁 
两国之间签订的条约由两国代表共同商讨成文,在对比分析条约的两种语言版本时,若没有界定条约的官方成文语言,则应该与分析传统翻译文本不同,因为无源语言与目的语言之分,翻译策略及技巧便无从谈起。因此本文另辟蹊径,试图以奈达的功能...
关键词：《黄埔条约》 功能对等理论 语义等价 内政外交意图 文化差异 
格罗宁根衰弱指标的汉化研究被引量：12
《护理学报》2019年第18期1-5,共5页黄韵芝 林清 
广东省教育厅2018年度广东省普通高校重点科研平台和科研项目-青年创新人才类项目(2018GkQNCX134)
目的对英文版格罗宁根衰弱指标(Groningen Frailty Indicator)进行中文翻译,并测试其语义等价、内容效度和表面效度,验证问卷接受度和理解程度,为评价中国老年人衰弱程度提供量表工具。方法采用Brislin翻译法对英文版格罗宁根衰弱指标...
关键词：格罗宁根衰弱指标 衰弱 老年人 翻译 语义等价 
分支结构程序的约束转换及语义等价
《无线通信技术》2019年第2期1-6,共6页王奎 
通过复用已有的开源代码或内部遗留代码,可极大地提高软件开发效率、降低开发成本,而准确地搜索到所需代码是代码复用的前提和基础。当前基于"输入/输出"语义匹配的代码搜索方法解决了关键字搜索中因为语义歧义存在代码搜索准确度不高...
关键词：代码搜索 语法语义 分支结构 语义等价 
基于指令交换的代码混淆方法被引量：7
《软件学报》2019年第6期1778-1792,共15页潘雁 祝跃飞 林伟 
国家重点研发计划(2016YFB08011601)~~
软件程序是按一定顺序排列的指令序列,指令的排列组合构成了千变万化的程序语义.指令顺序重排通常会相应地导致程序语义的变化,通过分析相邻指令序列的相对独立性,可以在不影响程序语义的前提下交换相邻指令序列,增大指令距离,改变程序...
关键词：指令交换 代码混淆 语义等价 虚拟机保护 模拟退火 
可信编译器中地址不相交的保持性证明
《自动化博览》2017年第4期72-78,共7页谷伟卿 张智慧 白涛 齐敏 
同步数据流语言是一种广泛应用于核电及其他安全关键领域的语言,在同步数据流语言到顺序执行语言的翻译转换过程中,语义等价要保证赋值语句的左右值地址互不相交,这至关重要。本文使用形式化方法描述了翻译过程中地址互不相交的性质,并...
关键词：同步数据流 定理证明 COQ 语义等价 地址不相交 
关于建立面向应用的规范词异名库的若干理论探讨被引量：1
《中国科技术语》2013年第4期12-16,共5页张晖 
收集整理规范术语的异名,用于开发面向应用的术语纠错工具,可使规范科技术语的宣传与推广工作达到事半功倍的效果。规范词异名是指与国家审定公布的规范科技术语"正名"表达相同概念,但词形不同的非推荐名。规范词异名的认定需经过收词...
关键词：规范词 异名 语义等价 自然语言处理 
支持语义等价的自动化订阅分解方法
《计算机工程》2010年第22期259-261,264,共4页来瑾颖 徐印成 尹建伟 陈越 
国家自然科学基金资助项目(60703042);国家"863"计划基金资助项目(2007AA01Z124)
传统的发布/订阅系统不能自动完成原子订阅到语义等价的复合订阅转换,降低了系统的可用性和订阅匹配能力。针对该问题,提出支持语义等价的自动化订阅分解模型,给出相应的基于XChangeEQ的订阅分解算法,将原子订阅分解成语义上等价的复合...
关键词：复合订阅 发布 订阅 本体 XChangeEQ订阅语言 
基于本体的产品数据语义互操作被引量：14
《计算机集成制造系统》2008年第4期821-828,共8页陈磊 叶修梓 潘翔 张三元 张引 彭维 
国家863计划资助项目(2007AA01Z311,2007AA04Z1A5,2006AA04Z159)~~
在协同产品开发领域,为了实现产品数据语义互操作,提出了一个基于本体的产品数据语义互操作框架。首先,框架采用标准化方法,构建产品数据语义描述语言形式化表达产品模型;然后,组合语义等价和语义相似性度量方法在已有的应用本体和产品...
关键词：语义互操作 本体 语义等价 语义相似性 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部