语义验证

作品数：20被引量：56H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：周建涛叶新铭史美林蔡章利吴峥更多>>
相关机构：清华大学内蒙古大学北京信息科技大学重庆大学更多>>
相关期刊：《电子学报》《现代电子技术》《南开语言学刊》《计算机集成制造系统》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划山东省科技发展计划项目山东省高等学校优秀中青年骨干教师国际合作培养计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
副词“陆续”的分布特征与量化语义
《华文教学与研究》2024年第2期59-67,共9页陈泽群 
2017年度国家社会科学基金一般项目“汉语情态副词的语义提取与分类验证研究”(17BYY026);2022年度国家社会科学基金一般项目“现代汉语方式副词的句法语义与分类排序研究”(22BYY135);中央高校基本科研业务费专项资金(暨南领航计划)(19JNLH04)。
本文以语义语法为理论指导,在精确定位副词“陆续”单句分布并正反验证其同现成分语义特征的基础上,将“陆续”的语义功能概括为“散事顺联”。首先,总结前人研究主要存在的“释义宽泛、表述模糊、验证不足”等问题,据此明确本文的研究...
关键词：“陆续” 副词 量化语义 分布特征 语义验证 
极值消竭义“V尽”的组配规律和语义验证
《南开语言学刊》2022年第1期99-107,共9页阮秀娟 赵春利 
本文以语义语法理论为基础,以语义双向选择为原则,从宏观到微观再到宏观,依次提取“V尽”的整体句法语义限制条件,述语动词、结果补语“尽”以及“V尽”的语义特征。首先,根据句子成分的隐现规律,揭示“V尽”入句的句法语义限制条件。其...
关键词：V尽 消耗 竭点 极值消竭 
面向移动云服务系统的形式化语义描述方法
《计算机应用研究》2016年第2期467-472,共6页侯金奎 张玉艳 
山东省优秀中青年科学家科研奖励基金计划资助项目(BS2011DX039);山东省科技发展计划资助项目(2011YD01042;2011YD01043);山东省高等学校优秀中青年骨干教师国际合作培养计划资助项目(2013)
针对移动云服务系统构建过程中架构设计和语义描述等方面存在的问题,以类型范畴理论为基础,为基于agent的移动云服务系统建立了一种形式化语义描述模型。该方法中,将agent描述为范畴理论中的对象节点,agent之间的交互和依赖关系作为态射...
关键词：移动云服务 AGENT 形式化描述 语义验证 范畴理论 
支持模型驱动开发的软构件形式化描述方法被引量：2
《计算机应用》2015年第9期2692-2700,共9页侯金奎 王成端 
山东省优秀中青年科学家科研奖励基金计划项目(BS2011DX039);山东省科技发展计划项目(2011YD01042;2011YD01043);山东省高等学校优秀中青年骨干教师国际合作培养计划资助项目
针对模型驱动的软件开发(MDSD)中语义特性保持的描述和验证等问题,基于类型范畴理论的形式化框架和进程代数理论,提出了一种软件结构模型的形式化描述方法。在此基础上对模型转换前后构件规范之间应满足的语义约束进行了深入的分析和探...
关键词：模型驱动的软件开发 模型转换 特性描述 语义验证 
“出租汽车”类歧义动名组合格式理解策略
《广播电视大学学报（哲学社会科学版）》2015年第2期61-67,共7页王淑华 
教育部人文社会科学研究青年基金项目(09YJC740050);上海市哲学社会科学规划青年项目(2009EYY001);上海市教委科研创新一般项目(10YZ21)资助
抽象的歧义格式实例化以后,仍有部分留有歧义。就静态的歧义实例而言,其歧义也是一种潜在歧义,不同句法关系在动态使用中的实现频率不同。"出租汽车"类歧义格式"V+N"在实际语料中实现为定中关系的频率远远高于实现为述宾关系的频率,这...
关键词：歧义格式 V双+N双 理解策略 句法优选 语义验证 语境确认 
装备保障仿真概念模型的语义验证方法研究被引量：2
《计算机科学》2014年第9期24-27,37,共5页顾闯 刘彬 张星 田书超 王桂起 
国家自然科学基金项目(60904071)资助
概念模型验证是保证概念模型正确、可信的重要手段。针对现有概念模型形式化验证方法复杂、繁琐,非形式化验证方法的主观性较强、可信性不高等问题,采用本体理论和语义网技术,提出了一种基于本体与规则推理的装备保障仿真概念模型语义...
关键词：装备保障仿真 概念模型 语义验证 本体 规则推理 
基于规则推理的军事概念模型验证方法研究被引量：1
《计算机应用研究》2013年第12期3586-3588,3613,共4页顾闯 刘彬 张学民 孙王虎 田书超 
国家自然科学基金资助项目(60904071)
针对现有的概念模型形式化验证方法较复杂、非形式化验证方法的主观性较强,提出了一种基于规则推理的军事概念模型验证方法,并详细介绍了该方法的原理、框架、实施步骤、验证内容和验证规则。该方法的实质是利用验证规则和推理机代替领...
关键词：军事概念模型验证 语义验证 规则推理 语义网规则语言 
基于条件约束的工作流语义验证方法及应用被引量：4
《小型微型计算机系统》2013年第9期2051-2055,共5页袁钢 孙瑞志 向勇 吴峥 
国家自然科学基金项目(60736020)资助;中央高校基本科研业务费专项资金项目(2012QJ090)资助
针对业务流程在动态执行时,由于业务环境、资源的复杂性和多变性会给流程的正确执行带来影响的问题,提出一个用于描述基于业务目标实现的流程、业务资源,以及三者协作和约束关系的四维元模型;并且基于流程模式对业务过程进行表示,利用XM...
关键词：工作流 语义验证 条件约束 流程模式 
基于语义验证的可视化BPR建模工具
《现代电子技术》2012年第24期24-28,共5页韩强 
国家自然科学基金资助项目(91118002;71061001;61162013);宁夏科技攻关计划资助项目(宁科计字[2010]168号);宁夏自然科学基金资助项目(NZ0955)
为满足业务流程重组领域的需求变化,重组业务流程需要可验证需求语义特征的建模方法与工具支持,从而为提高执行重组业务流程应用软件的系统支撑平台可信性奠定需求语义验证方面的关键技术基础。针对该问题,研究并提出一种BPR框架下可出...
关键词：业务流程重组 语义验证 可视化建模工具 随机Petri NET 
一种基于报文序列分析的半自动协议逆向方法被引量：5
《计算机工程》2012年第19期277-280,共4页杜有翔 吴礼发 潘璠 洪征 
江苏省自然科学基金资助项目(BK2011115)
基于报文序列分析的协议逆向方法在自动化分析过程中缺乏对人工知识的引入。为此,提出一种半自动协议逆向方法。通过人工输入的方式,将先验知识加入到报文分析中,用于指导报文的语义推断,并对分析结果进行人工纠正。实验结果表明,该方...
关键词：协议逆向工程 人工知识 先验知识 人工纠正 语义推断 语义验证 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部