动态语义相关论文
图是数据分析的一种关键技术,能够充分建模真实系统中实体之间的复杂关联和交互行为。图表示学习旨在将高维稀疏的拓扑节点映射成......
基于动态语义理论设计的互联网产品,在实际应用中具有更强的交互表现力和交互舒适度,通过优化产品使用体验和降低操作学习成本,增......
“忽略型行动”是行动哲学中备受争议的一个概念,它关乎心理因果、道义责任、多行动者互动等重要主题.清晰界定“忽略型行动”中的......
该文首先介绍了以时序逻辑为基础的适合多种序设计和不同层次抽象描述的SASE环境XYZ系统及其核心语言XYZ/E.接着讨论了基于XYZ系统......
语义Web服务是将语义Web技术和Web服务技术结合起来，引入本体来增强对Web服务的语义描述，使得Web服务的描述成为机器可读和可理解，并......
该文对汉语主题句提出了一个统一的语义分析模式。作者们认为无论主题句是否含有句法空位，主题和说明句之间都存在着回指性照应关系......
关于拼音汉字智能转换的研究大都致力于整句分析转换。这样做难度很大，且在汉字键盘输入的应用中，修改错误的汉字也不方便。该文提出......
当今网络时代引发了生活和交流方式的变革。网络语言作为科技创新、经济发展、语言涵化以及思维方式改变的结果，已成为语言学研究的......
博弈论起源于西方经济学，侧重于用数学的思维方法和表现形式来分析与实际相关的各种现象，最后用公式化的模型和客观数字或者是代表字......
SDL语言自身的形式化描述对于该语言的不断发展、完善将发挥重要的核心作用 ,而SDL- 92的形式语义已无法充分满足应用需要 ,本文分......
从认知的角度研究介词above静态和动态空间的语义及其意象图式.以静态空间的基本语义为基础,通过空间隐喻,介词above延伸出五种表......
Theories of Chinese complex sentences and sentence groups refer to the research of complex sentences and sentence groups......
本文简要介绍了可执行规范技术。可执行规范在软件工程过程的早期就能发现错误，随着形式化规范研究的发展，它越来越受到重视。ＸＹＺ系统是......
提出了用基本ASM(Abstract State Machine)定义SDL(Specisification and Descripiton Language)动态语义的方法框架.由于SDL的复杂......
本文将动态描述逻辑与语义服务描述语言相结合，提出了一种动态语义描述方法来描述Web服务，并在经典服务匹配基础上进行改进，完善了服......
针对已有时空数据模型在表达时空信息上存在的问题,提出基于一个新的历史拓扑和描述子的时空数据模型STORM。STORM采用结合显式表......
不断增加的产品复杂性要求掌握设计的过程中所有的相互依存关系。动态语义设计网络的建立可对各设计步骤之间和产品零件之间的相互......
讨论了SDL-2000的建议Z.100的附件F中用分布式实时抽象状态机(ASM: Abstract State Machine)形式地定义SDL(Specisification and D......
UML活动图是一种特殊的状态机,被认为最适合描述软件过程建模,但其缺乏精确的语义,不利于对模型进行形式化分析和验证。针对传统描......
下面两个句子一正一误:①It is suggested that he be a teacher.(√);②It is surprising that he be a teacher.(×)第二句......
根据过程执行的特点,定义了一种以活动为中心的反应式过程元模型,并为其提供了一种图形表示,同时为此元模型指定了一种体现过程运......
静态语义和动态语义是语言体系中两个性质相互对立的语义集合。语境因素对语言的影响和制约是动态语义生成的必要条件。语言表达的......
本文从认知的角度研究了介词over静态和动态的空间语义及其意象图式。介词over存在四种静态空间语义,在这四种语义的基础上,该词通......
针对已有数字权限描述模型的动态语义描述能力较弱问题,提出了一个能够描述权限动 作状态的数字产品权限描述模型DDRM。基于一阶......
根据统一建模语言（UML）顺序图的时序特征，提出一种基于时序描述逻辑ALCQIus的UML顺序图形式化方法。研究ALCQIus时序扩展部分的语法和......
话语表现理论DRT（Discourse Representation Theory）的组合性问题一直受到学界关注。DRT的组合问题,涉及到DRS（Discourse Representat......
混淆技术被认为是当前最有效的软件保护方法之一,混淆编译是一项新的混淆技术应用框架,该方法将程序的编译混淆而不是原有的混淆程......
＂皮尔士谜题＂由皮尔士（C.S.Peirce）提出,其核心问题在于,一阶逻辑框架内两对表达式真值相同,而它们在自然语言中所对应的句子却不等值......
动态语义是汉英翻译中译者关注的焦点,动态语义的获得与表现取决于译者对双语语境的能动性分析。宏观语境与译者的酌情善断对汉英......
标准编制背景和范围本标准应建筑行业的需要而制定,以作为一种信息交付物或数据仓来处理多文档。信息交付物往往是图纸、信息模型......
期刊
语义Web服务是将语义Web技术和Web服务技术结合起来,引入本体来增强对Web服务的语义描述,使得Web服务的描述成为机器可读和可理解,......
ＳＤＬ语言自身的形工化描述对该语言的不断发展，完善将发挥重要的核心，而ＳＤＬ－９２的形式语义已无法分满足应用需要，本文分析了现有形式语义定义的基......
语境语义是指在言语交际中，由于语境的异化作用而使语言中某个词语产生异变的语义成分。本文借鉴西方语境论者的观点，从汉语语用角度......
本文主要从人工智能视角研究动态的自然语言逻辑,探讨真值条件语义,动态修正和更新等动态系统以及可用来处理单主体和多主体之间的......
作为汉语中的一个二元连接词，“否则”实际上有3个主目，其中的一个被省略掉了．这种省略是依赖于语境的，确切地说，其主要与“否则”之前......
驴子句研究是当代西方语义学研究的一个热点问题,其中涉及到量词、不定名词、照应代词等语言性质和量化、约束、辖域等逻辑问题。......
泛在学习环境下的学习资源存在分散无序、共享性差、聚合性不足等缺陷,学习资源的深度聚合问题已成为教育技术研究热点之一。学习......
博弈论起源于西方经济学，侧重于用数学的思维方法和表现形式来分析与实际相关的各种现象，最后用公式化的模型和客观数字或者是代表字......
分析了时空表达与建模理论的5个发展阶段:基于静态数据模型扩展、面向对象表达、基于对象变化(事件序列)、时空集成和以过程为核心......
介词学习是英语学习重要组成部分,本文从认知的角度研究和探讨了介词I N静态和动态的空间语义及其意象图式。本文还从射体(Traject......
在互联网产品快速发展的环境中,在交互界面设计中应用动态语义对于"优质用户体验"目标的实现具有重要意义。本文首先对动态语义指......
俄语中的动词静态句和静词动态句田文清俄语中，除表示动态语义的动词外，有一些动词可以表示静态意义，如６。；·ｒ，。，引ｕ订３门１，Ｃ川．Ｍａ＊（）ＸＭ”ｎ。ｃ月，Ｈ＊ｅ＊ｂ，１１ｐ＊Ｈａ４刀ｅ爿Ｋａ＊ｈ，（）６－ｑｌｉｌｌ”Ｉ”......
研究了语篇间接回指的转喻问题。语言学界公认转喻的主要功能是指称。语料分析表明，在语篇中间接回指的转喻机制受到语义关联关系、......
