为解决这一问题,该文首先构造一个能够用于软部件动态语义检测的抽象描述模型;
互联网摘选 2025-01-20 12:48:02
本文将通用语义理论概括为3个大原则和10个相关的从属原则和外延性工具进行了深入分析,并且把这些思想和社会生活实践相结合,给出了严谨地思考和有益地尝试。
来源:互联网摘选探讨普遍语义学的主张及其方法,不仅可以深化对语义学的学术研究,而且对理解我们的生活世界也具有重要的实践意义。
来源:互联网摘选文章主要运用了认知语义学中的隐喻理论,对下的整体语义进行了分析与归类。
来源:互联网摘选普通语义学是美国语言哲学领域中的一个重要派别,我国学术界对此也有一些粗浅的评介,但大都持否定的态度。
来源:互联网摘选程序以操作表达式的形式呈现,而其语义则以公理的形式给出。
来源:互联网摘选部分最弱前置条件是程序保守近似语义的另一种表示方法,同样基于变量抽象定义。
来源:互联网摘选基于变量抽象,我们定义了部分最强后置条件,进而定义了程序的保守近似语义。
来源:互联网摘选So, this paper addresses how to define program semantics on dynamic data structures.
本文针对这种情况,研究了如何正确刻划动态数据结构的程序语义问题。
来源:互联网摘选改进了基于语义相似度的术语聚类算法,在此基础上提出了基于语义聚类的概念生成方法,其基本思想是由各知识源的术语集合,通过基于语义相似度的术语聚类,生成领域概念。
来源:互联网摘选编译器由词法分析、语法分析、语义分析、目标代码生成、符号表管理、错误处理六部分组成。
来源:互联网摘选And Markup Language parser includes three parts: token, syntax and semantic analyzer.
标记性语言的解析包括:词法分析、语法分析、语义分析三个部分。
来源:互联网摘选The second pass acts as semantic analyzer and intermediate code generator.
第二遍用于语义分析和中间代码生成;
来源:互联网摘选NDJCMT& The Semantic Analyzer in Japanese-Chinese automatic translation system
NDJCMT&日汉自动翻译系统中的语义分析器
来源:互联网摘选Early studies of presupposition took semantic approach, using static devices and context free.
先设的早期研究是从语义的角度入手的,其分析手段是静态的,并且脱离语境。
来源:互联网摘选研究方法大致分三类:词汇法、语义法和句法。
来源:互联网摘选但总体来看,霍译更多地使用了交际翻译法,乔译和杨译则倾向于使用语义翻译法。
来源:互联网摘选
简答网 · 高考英语

简答网 · 双语娱乐资讯

简答网 · 高考英语

简答网 · 考研英语

简答网 · 中考英语
简答网 · 双语娱乐资讯

简答网 · 高考英语

简答网 · 高考英语
简答网 · 双语新闻

简答网 · 中考英语