导读:本文包含了语义操作论文开题报告文献综述及选题提纲参考文献，主要关键词:住区,概念建筑,图像叙事,复杂性
语义操作论文文献综述
曹凯中[1]（2019）在《图像叙事与空间操作：概念建筑的语义变迁及其研究》一文中研究指出本文从概念建筑这一特点类型建筑实践出发,通过对布雷、超级工作室、埃森曼、海杜克以及屈米等人的实践读解,归纳了这一类型实践的特征,并进一步从图像叙事与空间操作两个维度探讨了概念建筑的操作途径。(本文来源于《住区》期刊2019年05期）
林梅辉,赖松林[2]（2019）在《一种将语音转成语义导航操作路径的框架》一文中研究指出A framework for converting speech into semantic navigation operational path In order to make indoor service robots understand human language better and navigate more accurately in indoor environment,a new framework is proposed to transform speech input into robot operation path.Firstly,the combination of n-gram and Chinese pinyin is used to detect and correct the Chinese characters converted into speech input to(本文来源于《电子世界》期刊2019年18期）
钱佳琪[3]（2019）在《一种统一的基于操作语义的程序动态更新验证方法》一文中研究指出软件动态更新(Dynamic Software Updating,DSU)是一种高效的软件更新方式。传统的软件更新方式是先将正在运行中的软件关闭,然后安装新版本,最后重新开始执行新版本程序。而软件动态更新是指在软件运行过程中无需中断软件执行就完成版本升级。随着社会的高速信息化发展,各类软件系统在社会生活的方方面面起到了十分重要的作用。动态更新这项技术对于一些需要提供24小时不间断服务的软件系统尤其重要,例如:云计算,网络服务以及金融行业系统等。中断这类程序的执行有可能会产生巨大的代价。同时信息物理融合系统(Cyber-Physical Systems,CPS)和物联网(Internet of Thing,IoT)发展迅猛,人们对于更加智能的能够动态更新的软件的需求不断扩大。研究人员在动态更新的研究上投入了大量的精力,已经实现了一些主流编程语言程序的动态更新,例如,C语言,Java和Python等。但是动态更新仍未能和预期一样被广泛运用,其中最重要的原因是很难保证更新的正确性。然而切实需要这项技术的软件系统往往需要高度安全可信。针对动态更新的安全性保障问题,本文提出了一种统一的基于操作语义的方法来形式化建模和验证软件的动态更新。在我们的方法中,具体的动态更新策略被定义为一系列可执行的重写规则,这些重写规则的执行依赖于目标编程语言的操作语义。这种方法是基于K框架的,K框架(K-Framework)是一种程序设计语言的形式化语义框架。由于许多主流编程语言的操作语义已经在K框架上得到了较完整的定义,所以我们在实际使用中只需要关注具体的动态更新策略的建模,这样就极大地提高了我们方法的可推广性以及研究效率。K框架可以通过形式化的操作语义定义自动产生一些验证工具,例如可以模拟程序动态更新过程的解释器,可以检查所有可能的运行结果的状态空间探测器和可以验证线性时序逻辑性质的模型检测器。我们使用这种方法开发了一个针对C语言的动态更新的验证工具,K??C,并使用几个示例程序说明该工具在分析和验证软件动态更新策略正确性方面的可用性。据我们所知,K??C是第一个在代码层面验证软件动态更新的形式化工具。(本文来源于《华东师范大学》期刊2019-06-30）
李涛[4]（2019）在《基于语义的oneM2M跨平台互操作性研究》一文中研究指出从物联网(Internet of Things)起源至今,物联网的发展速度已经远远超出了人们最初的预期。尤其是5G技术的不断成熟,使得物联网的通信瓶颈问题得到解决。人们已充分感受到物联网世界中物与物之间的互联互通带来的便利。然而,随着物联网设备规模的不断发展,设备跨平台之间的相互通信变得极为困难。为解决上述问题,各个国家的物联网领域标准化组织都在大力研究物联网统一标准,其中oneM2M是目前全球范围内最为权威的物联网领域的标准。一方面,它支持不同应用类型的设备的统一管理;另一方面,它通过统一标准来规范设备与设备之间的互联互通。但由于oneM2M标准体系是封闭的,使得oneM2M体系内的节点与外部物联网设备无法灵活地进行信息互通,需要严格遵循标准中复杂的互通方式,这增加了开发人员的工作量和后期的维护成本。为此,提出一种基于语义技术的外部物联网设备与oneM2M设备之间的互通模型。具体研究工作如下:1、研究了物联网体系标准化技术,重点分析了oneM2M标准的体系架构。在原有架构中融入了语义标注,提出了SMO本体模型,实现对物联网设备的语义标注;并通过oneM2M中互通代理节点实现对语义标注后的物理设备元数据解析。并通过实验验证了SMO本体模型在设备注册、稳定性和效率方面的优势。2、设计实现了一个基于开源平台OM2M的跨平台应用原型,以智能家居设备作为与oneM2M互通的外部设备。首先对智能家居领域的设备以SMO本体进行语义标注;其次,基于OM2M平台设计实现支持语义的互通代理节点;最后,修改OM2M的前端展现,实现了一套具有语义互操作功能的智能家居跨平台应用原型。依照上述两点,本文构建了SMO本体模型,并通过智能家居设备与oneM2M之间的语义互通的实现,验证了基于语义的oneM2M跨平台互操作的可行性。(本文来源于《重庆邮电大学》期刊2019-06-14）
郭思成,李纲,周华阳[5]（2019）在《基于Word2Vec的医学知识组织系统互操作研究——以词表间语义映射为例》一文中研究指出[目的/意义]随着大数据环境下医疗信息化的飞速发展,医学数据类型和规模也不断增加。面对医学信息在该过程中出现的冗余、异构等现象,通过词表间映射进行知识组织系统的互操作可以实现语义消歧和概念逻辑上的统一。[方法/过程]以《中国中医药学主题词表》TC类、《中国图书馆分类法》R类向《中文医学主题词表》语义映射为例,依靠深度学习工具Word2Vec为技术手段,实现了实验对象词条的向量形式转化。在此基础上根据词向量相似度结果与目标词表类目进行自动化匹配筛选,建立映射。[结果/结论]基于Word2Vec进行的映射能够在一定程度上实现互操作,其思路可为在类似的知识组织系统间建立语义关联时提供参考,在精确性和方法的综合运用上仍存在着提升空间。(本文来源于《情报理论与实践》期刊2019年09期）
王义明[6]（2019）在《操作语义进行创造的心理模式》一文中研究指出创造可分为艺术创作、语言创造、科学发现、技术发明等类型。操作语义进行创造的心理模式主要为:打破定势;变换参照结构;重构;从语义交集再出发;变换视角;建构异常关联;对成品进行添加;合成;将部分从整体中分离;产生像似的语言;隐喻思维;提取环境条件。对操作意义进行创造的心理模式的探讨具有重要的语义学意义、认知语言学意义、思维心理学意义。(本文来源于《集宁师范学院学报》期刊2019年03期）
孙海霞,李军莲,华薇娜,钱庆[7]（2019）在《科技知识组织体系语义互操作网络协同工作平台设计与实现》一文中研究指出科技知识组织体系语义互操作是实现多源知识融合和创新服务的重要基础,计算机辅助工具则是影响科技知识组织体系语义互操作效率、质量和可持续发展的重要因素之一。旨为知识组织体系互操作项目提供实践案例和参考,文章以国家科技图书文献中心STKOS超级科技词表语义互操作项目软件工作环境—STKOS超级科技词表网络协同工作平台为例,总结科技知识组织体系互操作平台需求,介绍平台整体功能架构和术语归并、概念—范畴映射、质量控制、协同管理、知识编码等计算辅助自动处理关键技术实现思路,以及软件实现、应用情况,并提出后续研究方向。(本文来源于《农业图书情报》期刊2019年01期）
周文博,刘磊,张鹏,吕帅[8]（2019）在《Tabular表达式中正规函数表操作的形式语义》一文中研究指出正规函数表是一类典型的Tabular表达式,被广泛应用于软件说明文档.文中对Tabular表达式中正规函数表操作的语义进行研究.首先给出了正规函数表的形式文法,讨论了规整性、完全性和不可交叉性等性质,说明了其求值过程;然后根据操作的影响范围,以内部操作和外部操作为分类标准,分别对二元操作、替换操作、提取操作和扩展操作的语义进行刻画,讨论了各个操作的封闭性;最后通过电梯控制系统实例分析了相关操作的实际应用场景,说明了正规函数表操作的形式语义的合理性和可用性.实例结果表明,文中提出的正规函数表操作的语义描述与实际结果是一致的.(本文来源于《华南理工大学学报(自然科学版)》期刊2019年02期）
冯培禄[9]（2019）在《基于语义物联网的多领域的信息互操作方式的研究》一文中研究指出在社会经济的不断发展之下,语义物联网得到了快速发展,但由于语义物联网的发展还没形成一个比较完善的语义系统,对多个领域的信息互操作都无法支持。语义在传感器中的添加,能够对机器数据的理解和信息进行补充。本文通过对具体实例的研究,并和其他的方法进行对比,进而得出其能够更好的实现多领域的信息互操作。(本文来源于《数码世界》期刊2019年01期）
阎欢[10]（2018）在《不同场景类型对可操作对象语义竞争效应的影响》一文中研究指出在对可操作对象语义类别竞争效应的系列研究中,研究者主要关注的是动作表征对语义竞争效应的影响,很少关注场景变量的作用。而在实际生活中,我们却将不同功能的对象分类放在不同的场景中,例如,我们将钳子、起子、扳手等放在五金店中。本研究探讨不同场景类型对语义竞争效应的影响。本研究通过语义特性生成任务将不同类型的场景信息整合到标准化的语句中,形成语句-场景整合刺激作为启动刺激,并运用经典的视觉-情境范式来探究不同场景类型对操作性对象概念语义竞争效应的影响。本研究共3个实验,实验一考察不同语义相关类型的语义竞争效应。结果发现,在目标激活条件下,主题相关、功能相似的竞争效应显着。实验二考察不同匹配场景条件下,竞争窗口期(600ms-1200ms)不同语义相关类型的语义竞争效应。结果发现,在场景匹配条件下一般功能相似的竞争效应提前了,而主题相关的竞争效应不受匹配条件的影响。实验叁考察不同场景语义类型条件下,竞争窗口期不同语义相关类型的语义竞争效应。结果发现,在一般场景条件下,相比特殊功能相似一般功能相似的竞争效应提前了,在特殊场景条件下,相比一般功能相似特殊功能相似的竞争效应提前了,但两种场景类型对主题相关的竞争效应都没有影响。本研究实验结果表明,不同场景类型对可操作性对象语义知识的竞争效应存在影响,而且场景对一般功能相似和特殊功能相似的语义竞争效应的影响存在差异。(本文来源于《云南师范大学》期刊2018-12-03）
语义操作论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
A framework for converting speech into semantic navigation operational path In order to make indoor service robots understand human language better and navigate more accurately in indoor environment,a new framework is proposed to transform speech input into robot operation path.Firstly,the combination of n-gram and Chinese pinyin is used to detect and correct the Chinese characters converted into speech input to
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
语义操作论文参考文献
[1].曹凯中.图像叙事与空间操作：概念建筑的语义变迁及其研究[J].住区.2019
[2].林梅辉,赖松林.一种将语音转成语义导航操作路径的框架[J].电子世界.2019
[3].钱佳琪.一种统一的基于操作语义的程序动态更新验证方法[D].华东师范大学.2019
[4].李涛.基于语义的oneM2M跨平台互操作性研究[D].重庆邮电大学.2019
[5].郭思成,李纲,周华阳.基于Word2Vec的医学知识组织系统互操作研究——以词表间语义映射为例[J].情报理论与实践.2019
[6].王义明.操作语义进行创造的心理模式[J].集宁师范学院学报.2019
[7].孙海霞,李军莲,华薇娜,钱庆.科技知识组织体系语义互操作网络协同工作平台设计与实现[J].农业图书情报.2019
[8].周文博,刘磊,张鹏,吕帅.Tabular表达式中正规函数表操作的形式语义[J].华南理工大学学报(自然科学版).2019
[9].冯培禄.基于语义物联网的多领域的信息互操作方式的研究[J].数码世界.2019
[10].阎欢.不同场景类型对可操作对象语义竞争效应的影响[D].云南师范大学.2018