-
题名基于UML扩展机制的MDA协议建模语言研究
被引量：3
- 1
-
-
作者
宋瑾钰
蒋国明
高会聪
-
机构
浙江理工大学信息电子学院
燕山大学计算机软件中心
-
出处
《计算机工程与设计》
CSCD
北大核心
2009年第5期1113-1114,1291,共3页
-
基金
浙江省教育厅科研基金项目(20060621)。
-
文摘
由于UML缺少精确的形式化语义,从标准的UML记法产生一个有效的协议实现是比较困难的。为了满足协议工程的要求,通过UML的Profile扩展机制,提出了一种基于模型驱动构架的协议建模语言——交互抽象状态机描述语言IASMsDL,并说明了如何使用该语言描述通信协议,填补UML这方面的缺陷。
-
关键词
形式化语义
协议工程
UML扩展机制
模型驱动构架
交互抽象状态机描述语言
-
Keywords
formal semantics
protocol engineering
UML profile mechanism
model driven architecture （MDA）
interactive abstract state machines description language
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于局部语义上下文的场景分类方法
- 2
-
-
作者
温旭杰
卢辉斌
李强
-
机构
燕山大学信息科学与工程学院
燕山大学计算机软件中心有限公司
-
出处
《燕山大学学报》
CAS
2014年第6期551-556,共6页
-
文摘
针对现有方法难以解决复杂场景图像分类的问题,本文提出一种基于局部语义上下文的场景分类方法。该方法将整个图像分割为一系列超像素,从超像素提取局部特征表示图像的局部观察;在观察图像和场景类别标签之间引入表示超像素区域语义的随机变量,通过不同随机变量之间的依赖关系引入局部语义上下文信息,较好地描述了图像观察、图像内容与场景类别标签之间的语义关联度,最后定义判别图像场景类别的目标函数,采用优化方法推断图像的场景类别。在标准图像库进行的实验证明了该方法的有效性。
-
关键词
场景分类
局部语义
特征提取
函数优化
-
Keywords
scene classification
local semantic
feature extraction
function optimization
-
分类号
TP391.4
[自动化与计算机技术—计算机应用技术]
-
