UML模型和Java代码之间的一致性检测方法 被引量：6

1

作者 曾一 李函逾 +2 位作者 刘慧君 余双双 周波 《计算机科学》 CSCD 北大核心 2015年第4期151-155,共5页

针对代码与模型之间的不一致性问题,提出了一种基于UML模型和Java代码之间的一致性检测方法。首先,对UML类图和时序图进行形式化描述,并提出时序调用图(SD-CG)这一概念,在此基础上完成类的关联关系到关联属性的转换以及UML时序图到时序... 针对代码与模型之间的不一致性问题,提出了一种基于UML模型和Java代码之间的一致性检测方法。首先,对UML类图和时序图进行形式化描述,并提出时序调用图(SD-CG)这一概念,在此基础上完成类的关联关系到关联属性的转换以及UML时序图到时序调用图SD-CG的转换;其次,通过方法调用图CG来表达类方法之间的调用关系,从而反映代码动态行为,由此通过对Java源代码的词法分析与语法分析,可获得类的信息及方法调用图CG;然后设计了UML模型与Java源代码间一致性检测算法,包括对类间静态信息以及时序调用图SD-CG与方法调用图CG间的一致性检测;最后,通过开发UML模型与Java源代码一致性检测工具,验证了所提出的方法是可行有效的。 展开更多

关键词 UML模型 JAVA代码 时序调用图 方法调用图 一致性检测

下载PDF 职称材料

基于语义一致性的多层本体元模型构建方法研究 被引量：7

2

作者 李金海 马云蕾 +1 位作者 孙玲芳 何有世 《情报学报》 CSSCI CSCD 北大核心 2017年第5期494-502,共9页

为了解决各领域知识的语义异构,实现知识共享,需要建立统一的本体模型框架和方法体系。在分析其他本体构建方法特点的基础上,提出了多层本体元模型构建思想。首先,利用顶层本体描述无具体领域特征的普遍联系;然后,通过上层本体描述各领... 为了解决各领域知识的语义异构,实现知识共享,需要建立统一的本体模型框架和方法体系。在分析其他本体构建方法特点的基础上,提出了多层本体元模型构建思想。首先,利用顶层本体描述无具体领域特征的普遍联系;然后,通过上层本体描述各领域基本特征的核心类与关系;最后,基于应用本体描述明确领域内的具体实例。在此基础上,构建了三层本体元模型。通过5W1H分析法归纳了顶层本体的概念与关系,设计了三层本体元模型的概念模型,保证了本体全局的语义一致性;通过模块的裂变、重组、复用,实现了本体的模块化构建;以情境模型为例,构建了通用的情境本体实例。最后设计了通用本体的语义一致性检验方法,以提高本体建模效率,保证语义一致性要求。 展开更多

关键词 元模型 六何分析法 一致性 模块化 多层本体 语义关系

下载PDF 职称材料

语义辅助的CityGML模型一致性检测方法 被引量：4

3

作者 王永君 陈青燕 +2 位作者 杨玉娇 陈学业 孙剑 《测绘学报》 EI CSCD 北大核心 2021年第5期664-674,共11页

CityGML数据因建模方法、模型优化及数据转换等原因所导致的模型几何、拓扑、语义不一致性广泛存在,影响了对其的进一步应用。本文提出并构建了顾及语义约束的CityGML建筑物模型拓扑一致性规则集,设计了对CityGML LOD2/LOD3/LOD4多细节... CityGML数据因建模方法、模型优化及数据转换等原因所导致的模型几何、拓扑、语义不一致性广泛存在,影响了对其的进一步应用。本文提出并构建了顾及语义约束的CityGML建筑物模型拓扑一致性规则集,设计了对CityGML LOD2/LOD3/LOD4多细节层次建筑物模型数据进行自动检测与修复的算法,并采用OGC官网公开数据对算法进行了验证试验。试验结果表明,所构建一致性规则集具有较好的完备性,算法能够检测出CityGML建筑物模型数据存在的绝大多数拓扑不一致问题,并能对其中部分的拓扑错误和几何错误进行自动修复。 展开更多

关键词 CITYGML 建筑物模型 语义规则 拓扑一致性 拓扑检测

下载PDF 职称材料

业务目标模型与业务场景模型的语义一致性分析 被引量：1

4

作者 李宗花 叶正伟 《计算机工程》 CAS CSCD 北大核心 2019年第12期308-313,共6页

多层次多视图模型是在不确定需求环境下进行业务建模的主要方法,不同层次或不同视图模型之间的语义一致性直接影响业务建模的完整性。鉴于此,设计一种业务目标模型与业务场景模型的语义一致性验证方法。分别以范畴模型和扩展Petri网模... 多层次多视图模型是在不确定需求环境下进行业务建模的主要方法,不同层次或不同视图模型之间的语义一致性直接影响业务建模的完整性。鉴于此,设计一种业务目标模型与业务场景模型的语义一致性验证方法。分别以范畴模型和扩展Petri网模型代表业务目标模型和业务场景模型,通过定义形式化业务目标模型的紧邻序列和形式化业务场景模型的执行顺序序列,设计这两种模型之间完全语义一致性、部分语义一致性和弱语义一致性的验证条件和验证步骤。Travel Agency业务系统上的一致性验证结果证明了该方法的可行性和有效性。 展开更多

关键词 业务目标模型 业务场景模型 范畴论 PETRI网 语义一致性

下载PDF 职称材料

构件式体系结构模型转换的语义一致性

5

作者 侯金奎 《吉林大学学报（工学版）》 EI CAS CSCD 北大核心 2010年第1期238-244,共7页

基于软件体系结构模型的形式化描述,从结构语义、公理语义和行为语义等几个方面分析了模型转换中特性保持问题的描述,并建立了相应的判定标准,同时探讨了证明一个转换是否满足某些特性保持约束的方法。这些方法支持以定理证明的方式,对... 基于软件体系结构模型的形式化描述,从结构语义、公理语义和行为语义等几个方面分析了模型转换中特性保持问题的描述,并建立了相应的判定标准,同时探讨了证明一个转换是否满足某些特性保持约束的方法。这些方法支持以定理证明的方式,对模型转换的语义特性保持进行验证,克服了模型检测的不足。该研究可用于指导模型转换规则的定义和模型映射关系的正确性的验证。 展开更多

关键词 计算机软件 模型转换 形式化语义 软件体系结构 语义一致性

下载PDF 职称材料

SmartC模型与代码一致性双向生成方法及开发平台 被引量：2

6

作者 张莉苹 潘纲 +3 位作者 郑能干 杨国青 李红 赵民德 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2011年第1期20-29,共10页

为了保证汽车电子软件系统的开发在各阶段设计的一致性,并增强软件开发效率,提出SmartC模型与代码的双向生成规则,证明了这些规则能够保证模型与代码之间双向生成的一致性.在此基础上,实现了集成开发平台SmartC-PLF.该平台结合ModaEDA思... 为了保证汽车电子软件系统的开发在各阶段设计的一致性,并增强软件开发效率,提出SmartC模型与代码的双向生成规则,证明了这些规则能够保证模型与代码之间双向生成的一致性.在此基础上,实现了集成开发平台SmartC-PLF.该平台结合ModaEDA思想,支持SmartC语言的模型和代码2种描述形式,包括SmartC代码和模型之间的自动生成和SmartC代码编辑工具,具有很强的汽车电子领域专用特点.通过在SmartC-PLF平台上开发的车灯控制系统实例,演示了该平台双向自动生成的一致性;通过大量实验比较在不同情况下的生成时间,测试SmartC-PLF平台的性能指标,表明了该平台在汽车电子系统开发方面的高效性. 展开更多

关键词 SmartC ModaEDA 代码自动生成 模型自动生成 一致性

下载PDF 职称材料

基于本体的IEC 61850语义信息模型一致性校验 被引量：4

7

作者 杨紫苓 顾建炜 张铁峰 《信息技术》 2014年第5期71-74,共4页

针对IEC 61850互操作过程中出现的模型不匹配问题以及对静态测试列举测试条目较少的缺点,提出基于本体的语义信息模型一致性静态测试方法。基于本体技术对变电站相关知识进行语义建模,可对变电站自动化系统中所包含的知识语义进行有效... 针对IEC 61850互操作过程中出现的模型不匹配问题以及对静态测试列举测试条目较少的缺点,提出基于本体的语义信息模型一致性静态测试方法。基于本体技术对变电站相关知识进行语义建模,可对变电站自动化系统中所包含的知识语义进行有效的描述和传输交换。在基于本体语义测试方法的基础上,设计了一套模型验证工具并详细阐述。 展开更多

关键词 IEC 61850 一致性校验 语义信息模型 静态测试 本体

下载PDF 职称材料

基于乘性一致性调整算法的二元语义决策模型

8

作者 钱佳燕 乔青青 +3 位作者 金飞飞 何莹莹 杨丽 梁翠娴 《佳木斯大学学报（自然科学版）》 CAS 2021年第4期102-106,共5页

为了提高专家评价信息的准确性和有效性,在二元语义的环境下,提出了一种基于乘性一致性调整算法的二元语义决策模型。首先,简单回顾二元语义偏好关系(2-TLPR)的概念;其次,为提升2-TLPR的一致性,构造局部调整的乘性一致性改进模型;通过... 为了提高专家评价信息的准确性和有效性,在二元语义的环境下,提出了一种基于乘性一致性调整算法的二元语义决策模型。首先,简单回顾二元语义偏好关系(2-TLPR)的概念;其次,为提升2-TLPR的一致性,构造局部调整的乘性一致性改进模型;通过上述算法,进一步重新构造全新的二元语义偏好关系,并运用二元语义算术平均算子进行集结;最后,将二元语义决策模型运用到公共卫生突发事件的决策问题中,并与现有方法的对比,验证了该决策模型的可行性与有效性。 展开更多

关键词 二元语义偏好关系 乘性一致性 决策模型 公共卫生突发事件

下载PDF 职称材料

面向国产机载操作系统的IMA软件代码生成方法

9

作者 凌仕翔 杨志斌 +1 位作者 郭鹏 周勇 《航空计算技术》 2024年第4期84-88,93,共6页

随着航空电子系统复杂化的发展趋势及自主可控的要求,对这类复杂系统建模后如何自动生成面向国产机载操作系统的软件代码并验证模型/代码语义一致性具有重要研究意义。文章提出面向国产机载操作系统的航空电子软件代码自动生成方法。首... 随着航空电子系统复杂化的发展趋势及自主可控的要求,对这类复杂系统建模后如何自动生成面向国产机载操作系统的软件代码并验证模型/代码语义一致性具有重要研究意义。文章提出面向国产机载操作系统的航空电子软件代码自动生成方法。首先,使用AADL对综合化航空电子系统进行建模,设计AADL模型到源代码的转换规则,自动生成面向国产机载操作系统的平台相关代码及配置文件;其次,通过AGREE Annex和BLESS Annex契约对AADL模型进行形式化验证,并提出契约到C语言验证代码的转换规则,将验证代码与模型生成的源代码进行结合,部署在国产机载操作系统上进行仿真执行;最后,基于AADL开源建模环境OSATE设计并实现了代码自动生成工具,实验结果验证了方法和工具的有效性。 展开更多

关键词 综合模块化航空电子系统 国产机载操作系统 AADL 代码生成 模型/代码语义一致性

下载PDF 职称材料

基于多教师网络模型的半监督语义分割方法

10

作者 许华杰 肖毅烽 《计算机科学》 CSCD 北大核心 2023年第12期279-284,共6页

基于一致性正则化的方法在半监督语义分割任务中展现出了较好的性能,这类方法通常涉及两个角色:一个显式或隐式的教师网络和一个学生网络。其中学生网络通过最小化两个网络对不同扰动样本预测结果之间的一致性损失实现训练。但是来自单... 基于一致性正则化的方法在半监督语义分割任务中展现出了较好的性能,这类方法通常涉及两个角色:一个显式或隐式的教师网络和一个学生网络。其中学生网络通过最小化两个网络对不同扰动样本预测结果之间的一致性损失实现训练。但是来自单个教师网络的不可靠预测可能会导致学生网络学习到错误的信息。通过将平均教师模型MT的单教师网络扩展为多教师网络,提出了多平均教师网络(Multiple Mean Teacher Network,MMTNet)模型,使学生网络从多个教师网络的平均预测结果进行学习,有效降低单个教师网络预测错误的影响。此外,MMTNet通过对无标签数据进行强、弱数据增强的方式对无标签数据进行数据扰动,增加了无标签数据的多样性,在一定程度上缓解了学生网络和教师网络之间存在的耦合问题,避免了学生网络对教师网络的过度拟合,从而进一步降低了教师网络进行伪标签预测错误时所产生的影响。在PASCAL VOC 2012扩充数据集上的实验结果表明,所提出的多平均教师网络MMTNet模型可获得比其他目前主流的半监督语义分割方法更高的平均交并比,且实际分割效果更优。 展开更多

关键词 半监督学习 语义分割 平均教师模型 多教师网络 一致性正则化

下载PDF 职称材料

基于场景语义先验和全局外观一致性的运动目标检测

11

作者 焦玉清 王文中 罗斌 《计算机与现代化》 2016年第11期58-63,共6页

在摄像机固定的视频监控中,动态背景下的运动目标检测是一个非常有挑战的基础问题。本文提出一种鲁棒的运动目标检测方法。首先,为有效利用场景区域的先验信息,把事先定义的语义区域信息融合到ViBe算法中,消除一些特定语义区域中的动态... 在摄像机固定的视频监控中,动态背景下的运动目标检测是一个非常有挑战的基础问题。本文提出一种鲁棒的运动目标检测方法。首先,为有效利用场景区域的先验信息,把事先定义的语义区域信息融合到ViBe算法中,消除一些特定语义区域中的动态背景干扰。其次,根据改进的ViBe算法的结果估计背景和前景的全局外观GMM模型,利用该模型对每个像素进行进一步的分类,从而通过全局外观模型去除一些错误的检测结果。最后,使用超像素对结果进行后期处理,得到更加精确的检测结果。实验结果表明,本文方法在检测有强烈动态背景干扰的监控视频时,远远超过了其他的运动目标检测方法。 展开更多

关键词 动态背景 场景语义先验 ViBe算法 外观一致性 GMM模型

下载PDF 职称材料

分布式指挥控制决策冲突问题的一致性模型

12

作者 黄海燕 鲍广宇 +1 位作者 董强 刘晓明 《指挥控制与仿真》 2014年第1期14-18,共5页

基于复合标度的二元语义评价方法,提出了一种用于分布式指挥控制决策冲突问题的一致性模型。该模型首先对决策者的一致程度进行判断;其次,测量出个人与整体的偏好偏差,并由模型中的反馈机制提出相关反馈建议;最后通过算例表明该模型可... 基于复合标度的二元语义评价方法,提出了一种用于分布式指挥控制决策冲突问题的一致性模型。该模型首先对决策者的一致程度进行判断;其次,测量出个人与整体的偏好偏差,并由模型中的反馈机制提出相关反馈建议;最后通过算例表明该模型可以较好地解决决策过程中由于个人认知不同而产生的冲突问题。 展开更多

关键词 分布式指挥控制决策 决策冲突 一致性模型 二元语义评价方法

下载PDF 职称材料

一种基于语义重构的模型映射方法 被引量：4

13

作者 杨潇 万建成 侯金奎 《计算机工程》 CAS CSCD 北大核心 2007年第23期45-47,50,共4页

通过对模型描述语言的语法结构和语义表达特性的抽象分析,提出了一种基于语义重构的模型映射方法。该方法通过归纳分析建立抽象目标语义模型,基于源模型语义域在目标语义域中的重新构造,以目标语义模型为中介建立源模型到目标模型的映... 通过对模型描述语言的语法结构和语义表达特性的抽象分析,提出了一种基于语义重构的模型映射方法。该方法通过归纳分析建立抽象目标语义模型,基于源模型语义域在目标语义域中的重新构造,以目标语义模型为中介建立源模型到目标模型的映射关系。该方法不仅可为模型转换的具体实现提供理论指导,还可为验证不同抽象层次模型之间映射关系的正确性提供依据。以JSF+EJB为目标平台阐述了该方法的应用。 展开更多

关键词 模型驱动开发 模型映射 语义重构 语义一致性

下载PDF 职称材料

直觉语义决策模型应用于区块链风险投资

14

作者 徐冬寅 陈慧琴 《控制工程》 CSCD 北大核心 2022年第5期944-952,共9页

为了全面且精确地表达和处理复杂风险投资决策问题中的评价信息,构建了直觉模糊语义决策模型,并将其应用于区块链风险投资过程。首先,给出了直觉模糊语义互补判断矩阵(IFLCJM)的加性一致性概念,并建立了加性一致性IFLCJM与规范化直觉模... 为了全面且精确地表达和处理复杂风险投资决策问题中的评价信息,构建了直觉模糊语义决策模型,并将其应用于区块链风险投资过程。首先,给出了直觉模糊语义互补判断矩阵(IFLCJM)的加性一致性概念,并建立了加性一致性IFLCJM与规范化直觉模糊权重向量之间的转化关系;其次,构造最优化模型计算IFLCJM与其完全加性一致性IFLCJM之间的差距,并以此来衡量IFLCJM的一致性水平;最后,设计了基于一致性提升算法的直觉模糊语义决策模型,并将其应用于区块链风险投资问题,结果验证了模型的合理性和可靠性。 展开更多

关键词 直觉模糊语义互补判断矩阵 加性一致性 直觉模糊权重向量 决策模型 区块链投资

原文传递

场景的一致性效应及其机制 被引量：3

15

作者 龚明亮 禤宇明 傅小兰 《生物化学与生物物理进展》 SCIE CAS CSCD 北大核心 2011年第8期694-701,共8页

有关场景一致性效应的研究发现,人们对与背景语义一致的前景物体的命名、分类、搜索和再认等都快于与背景不一致的物体.和与情境一致的物体相比,与情境不一致的物体在中央顶区等部位,会诱发一个幅度更大的负波(N390).旁海马皮层/旁海马... 有关场景一致性效应的研究发现,人们对与背景语义一致的前景物体的命名、分类、搜索和再认等都快于与背景不一致的物体.和与情境一致的物体相比,与情境不一致的物体在中央顶区等部位,会诱发一个幅度更大的负波(N390).旁海马皮层/旁海马位置区(PHC/PPA)和压部后皮层(RSC)是负责场景加工的重要脑区.场景一致性效应的时间进程可能首先由低空间分辨率(LSF)信息激活眶额皮层(OFC)(130 ms左右)、PHC/PPA和RSC,之后LSF信息与高空间分辨率(HSF)信息在颞叶进行整合.在诸多理论模型中,情境促进模型从生理角度对一致性效应作了较充分的解释. 展开更多

关键词 一致性效应 场景 情境 语义关系 理论模型 生理机制

原文传递

一种模型驱动的云制造联邦接入技术 被引量：2

16

作者 马成 孙宏波 +2 位作者 肖田元 范文慧 李犁 《计算机集成制造系统》 EI CSCD 北大核心 2012年第7期1536-1546,共11页

基于联邦式的云制造服务架构及云制造联邦执行支撑环境,研究了基于模型驱动的云制造联邦接入技术,包括以扩展UML Profile进行云制造平台的问题域元模型的规范化表示、对象约束语言定义的形式化约束表达以及关系定义语言实现的平台对象... 基于联邦式的云制造服务架构及云制造联邦执行支撑环境,研究了基于模型驱动的云制造联邦接入技术,包括以扩展UML Profile进行云制造平台的问题域元模型的规范化表示、对象约束语言定义的形式化约束表达以及关系定义语言实现的平台对象模型生成算法。这些技术有利于云制造平台快速、一致地构建联邦式协同环境,避免人工准备协同过程难以保持语义一致性的问题,提高协同准备的效率。 展开更多

关键词 云制造 联邦集成架构 语义一致性 模型驱动架构 协同环境

下载PDF 职称材料

科学理论的语义分析——科学实在论的重要研究方法 被引量：3

17

作者 郭贵春 《社会科学研究》 CSSCI 北大核心 1991年第3期43-49,共7页

一、问题的提出随着科学理论越来越远离经验的发展,在如何构造、理解和诠释科学理论方面,语义分析越来越成为不可忽视的科学研究方法,并赋有了普遍的时代特征。语义分析方法并不为现代语言学和分析哲学所独有。无论人们承认与否,语义分... 一、问题的提出随着科学理论越来越远离经验的发展,在如何构造、理解和诠释科学理论方面,语义分析越来越成为不可忽视的科学研究方法,并赋有了普遍的时代特征。语义分析方法并不为现代语言学和分析哲学所独有。无论人们承认与否,语义分析方法都在科学理论的构造和解释中客观地存在着。比如,在玻尔的氢原子模型中就内含着一种语义分析框架,因为它实际上包含着对微观粒子运动作出描述和解释的语义分析。正是这种语义分析的一致性,潜在地成为一个理论模型是否合理的标准之一。可见。 展开更多

关键词 科学研究方法 理论模型 一致性 语义分析方法 理论解释 科学理论 科学实在论 表征 理论概念 理论系统

下载PDF 职称材料

基于范畴论的形式语言模型建模方法研究

18

作者 苗德成 奚建清 苏锦钿 《计算机应用与软件》 CSCD 2015年第4期19-23,共5页

形式语言模型转换的语义一致性与其形式系统完备性分析是当前形式语言理论尚未有效解决的难题。针对形式语言模型的应用需求与研究现状,建立形式文法模型及其形式语言模型,应用范畴论方法构建具有普适意义的形式文法模型范畴与形式语言... 形式语言模型转换的语义一致性与其形式系统完备性分析是当前形式语言理论尚未有效解决的难题。针对形式语言模型的应用需求与研究现状,建立形式文法模型及其形式语言模型,应用范畴论方法构建具有普适意义的形式文法模型范畴与形式语言模型范畴。在形式语言族模型的形式化理论框架内,用与特定形式语言无关的范畴论方法研究形式语言模型转换的语义一致性。初步分析形式系统的完备性,通过与形式语言理论主要研究方法的比对论证了范畴论方法的优势,为形式语言模型的范畴论方法研究提供一个便利、高效的形式化理论框架。 展开更多

关键词 模型 形式语言 范畴论 语义一致性 完备性

下载PDF 职称材料

基于Petri网可达分析的代码搜索方法 被引量：1

19

作者 丁雪儿 钮俊 +1 位作者 张开乐 毛昕怡 《计算机研究与发展》 EI CSCD 北大核心 2022年第1期236-250,共15页

复用已有高质量源代码可提高软件开发效率及软件质量.当前,基于用户提供的输入输出对的匹配判断是代码语义搜索的主要方法之一,但该方法难以刻画完整代码行为,且仅能处理单输入类型.提出一种针对多种形式类型匹配的代码语义搜索方法.首... 复用已有高质量源代码可提高软件开发效率及软件质量.当前,基于用户提供的输入输出对的匹配判断是代码语义搜索的主要方法之一,但该方法难以刻画完整代码行为,且仅能处理单输入类型.提出一种针对多种形式类型匹配的代码语义搜索方法.首先将代码集内各个代码片段中数据对象个数及类型的加工过程转换为Petri网模型;其次根据用户查询中蕴含的数据类型及个数、输出数据类型等约束来构造Petri网初始标识和目标标识;然后在Petri网中通过可达图及诱发网分析判断是否存在相应的可达路径,从而获得代码匹配依据.分析及实验表明,该方法能有效实现多种形式的输入输出类型匹配的代码搜索,且相对于传统类型匹配方法,能明显提高搜索准确度和效率. 展开更多

关键词 代码复用 语义搜索 类型匹配 PETRI网模型 可达分析

下载PDF 职称材料

模型驱动开发的今天

20

作者 卢敏 《软件世界》 2008年第9期41-42,共2页

“流行、趋势”这两个词永远都可以代表时尚圈。每年，都会有一批新元素出现在时尚圈，但仔细看看，却又觉得似曾相识。今年，IT圈也有一位让大家似曾相识的新人独领风骚。它，就是桌面虚拟化。表达模型的语言。模型提供了这样一种能力... “流行、趋势”这两个词永远都可以代表时尚圈。每年，都会有一批新元素出现在时尚圈，但仔细看看，却又觉得似曾相识。今年，IT圈也有一位让大家似曾相识的新人独领风骚。它，就是桌面虚拟化。表达模型的语言。模型提供了这样一种能力，能够一致性地显示这个系统的不同视图。一个常见的错误是认为模型驱动开发是模型和代码之间的一种关系，通过代码实现了模型。 展开更多

关键词 模型驱动开发 代码实现 表达模型 新元素 虚拟化 一致性 时尚 IT

下载PDF 职称材料