搜索到282篇“ 操作语义“的相关文章
- 一种基于变异操作语义稳定性的API误用缺陷检测方法
- 本发明公开了一种基于变异操作语义稳定性的API误用缺陷检测方法，针对API误用类缺陷，本发明利用特定的变异操作对待检测的代码注入可能的API误用错误，再利用正确代码中多次注入不同误用错误其语义稳定性要高于已存在API误用...
- 郭新琛姚远徐锋
- 文献传递
- 数据转换操作语义的可视化方法及装置、电子设备
- 本发明公开了一种数据转换操作语义的可视化方法及装置、电子设备，包括：为数据转换操作挑选含有二维数据表的图形图符模板；根据数据转换操作，确定用于展示在二维数据表上的行和列；从真实表格中挑选出与数据转换操作语义相关的行列单元...
- 巫英才熊凯傅四维王永恒罗实张璠璠于榕
- 文献传递
- 操作语义进行创造的心理模式
- 2019年
- 创造可分为艺术创作、语言创造、科学发现、技术发明等类型。操作语义进行创造的心理模式主要为:打破定势;变换参照结构;重构;从语义交集再出发;变换视角;建构异常关联;对成品进行添加;合成;将部分从整体中分离;产生像似的语言;隐喻思维;提取环境条件。对操作意义进行创造的心理模式的探讨具有重要的语义学意义、认知语言学意义、思维心理学意义。
- 王义明
- 关键词：语义心理模式思维心理学
- 一种统一的基于操作语义的程序动态更新验证方法
- 软件动态更新(Dynamic Software Updating,DSU)是一种高效的软件更新方式。传统的软件更新方式是先将正在运行中的软件关闭,然后安装新版本,最后重新开始执行新版本程序。而软件动态更新是指在软件运行过...
- 钱佳琪
- 关键词：操作语义形式化方法
- 文献传递
- 信息技术 开放系统互连 测试方法和规范(MTS) 测试和测试控制记法 第3版 第4部分：TTCN-3操作语义
- GB/T 26857的本部分规定了TTCN-3的操作语义。本部分适用于一致性测试、互操作性测试、健壮性测试等黑盒测试领域。
- 实时图编辑中参照操作语义一致性维护被引量：2
- 2016年
- 在实时协同系统中,传统的语义维护主要是针对文本编辑器中基于字符操作的一致性维护。在这种编辑环境下,字符与字符之间虽然具有前后继关系,但在属性上没有参照或者依赖关系。然而在图形编辑领域,在操作执行过程中,常通过捕获方式建立对象与对象之间的参照关系。针对这种参照关系的维持,目前实时协同中尚未有相关的研究,因此提出了CRSCM(create relation semantic consistency maintenance)语义一致性维护策略。该策略首先根据参照操作的语义信息,构建参照实体与目标实体之间的依赖关系图DRG(dependency relation graph)结构;然后通过远程操作重新获取被捕捉对象属性、并发操作执行更新转换的策略,从而实现了参照操作与其他并发操作的语义维持,并在一定程度上有效解决了协同图编辑中的一致性问题。
- 高丽萍张玉本郭淑娴付琼琼王山山
- 关键词：语义冲突
- 测试和测试控制符号版本3：TTCN-3操作语义学(研究组17)
- 关键词：通信系统信息技术数据网络
- 基于操作语义的弱内存模型描述及程序逻辑研究
- 程序语言的内存模型规定了在程序执行的过程中内存访问是如何发生的。它作为桥梁将为程序员和语言实现连接起来，帮助程序员写出正确的并发程序。在现实世界中，大多数的硬件和编译系统都是基于弱内存模型的假设，即内存访问并不是严格按照...
- 张扬
- 关键词：程序逻辑操作语义
- 信号演算的操作语义及其与代数语义的统一
- 实时系统在我们日益信息化的的社会生产和生活中,得到了越来越广泛和深入的应用。作为一种特殊的软件系统,实时系统自身的特点导致了实时系统的分析、设计、开发、实现和验证正面临着极大的挑战。 实时系统的研究工作持续了很久,比如E...
- 吴成成
- 关键词：操作语义代数语义可靠性
- 文献传递
- 基于原子操作语义描述的多源二进制代码一体化翻译方法
- 本发明涉及一种基于原子操作语义描述的多源二进制代码一体化翻译方法，具体含有如下步骤：步骤1：将源平台的机器指令进行反汇编后得到汇编指令，设计原子操作描述语言，对构成指令的指令原子操作及原子寻址方式分别进行描述，组成刻画指...
- 庞建民赵荣彩单征刘晓楠岳峰戴超孙笛崔韫楠
- 文献传递
相关作者
- 钱俊彦
- 作品数：148被引量：232H指数：6
- 供职机构：桂林电子科技大学
- 研究主题：网络 并发系统 STATECHARTS 等价 CSP
- 赵岭忠
- 作品数：120被引量：135H指数：6
- 供职机构：桂林电子科技大学
- 研究主题：并发系统 网络 CSP 多智能体 基于ASP
- 何炎祥
- 作品数：314被引量：1,707H指数：19
- 供职机构：武汉大学计算机学院
- 研究主题：分布式 AGENT 操作系统 情感分析 网格计算
- 古天龙
- 作品数：485被引量：1,418H指数：17
- 供职机构：桂林电子科技大学
- 研究主题：OBDD 装配序列规划 有序二叉决策图 离散事件系统 景点
- 宋国新
- 作品数：73被引量：144H指数：7
- 供职机构：华东理工大学信息科学与工程学院计算机科学与工程系
- 研究主题：重写 形式化 入侵容忍 访问控制 操作语义
