基于图转换的模型重构冲突检测方法

根据冲突分类规则，对非删除规则产生的关键对的计算进行优化，以避免计算2个非删除规则的交叠。探讨对一种给定带否定应用条件(NAC)的图转换系统可直接计算出关键对的方法，直接构建带NAC的关键对。针对每个冲突原因存在一个有效关键对，可用最小上下文来表示冲突。有效关键对集合仅为关键对集合的子集。该方法可简化系统中冲突的汇合性分析，简化静态冲突检测方法。     

基于缺失信号的图重构

在使用图信号处理工具之前需要知道信号的底层图,即信号的空间结构。但在实际场景中,尤其是对于缺失信号而言,图未必是已知的。对此提出一种缺失信号的图学习模型。利用信号的空间变分和稀疏惩罚项来学习图,同时利用空间变分和时间变分及学到的图重构信号,重复迭代直至目标函数值最小时得到最优解。实验结果表明在信号缺失的情况下,该模型依然能够合理学习到图结构,并且在实测温度数据中聚类和信号重构的效果要优于常用的聚类算法和图信号重构算法。     

一种面向图神经网络的图重构防御方法

近年来,图神经网络在图表示学习领域中取得了较好表现广泛应用于日常生活中,例如电子商务、社交媒体和生物学等.但是研究表明,图神经网络容易受到精心设计的对抗攻击迷惑,使其无法正常工作.因此,提高图神经网络的鲁棒性至关重要.已有研究提出了一些提高图神经网络鲁棒性的防御方法,然而如何在确保模型主任务性能的前提下降低对抗攻击的攻击成功率仍存在挑战.通过观察不同攻击产生的对抗样本发现,对抗攻击生成的对抗连边所对应的节点对之间通常存在低结构相似性和低节点特征相似性的特点.基于上述发现,提出了一种面向图神经网络的图重构防御方法GRD-GNN,分别从图结构和节点特征考虑,采用共同邻居数和节点相似度2种相似度指标检测对抗连边并实现图重构,使得重构的图结构删除对抗连边,且添加了增强图结构关键特征的连边,从而实现有效防御.最后,论文在3个真实数据集上展开防御实验,验证了GRD-GNN相比其他防御方法均能取得最佳的防御性能,且不影响正常图数据的分类任务.此外,利用可视化方法对防御结果做解释,解析方法的有效性.     

嵌入路网图模型的自动驾驶场景描述语言

深度学习的快速发展带动着自动驾驶技术的迅速进步.深度学习感知模型在识别准确率逐步提升的同时,也存在鲁棒性和可靠性不足等隐患,需要在大量场景下进行充分测试以确保达到可接受的安全标准.基于场景的仿真测试是自动驾驶技术的核心和关键,如何描述和生成多样化仿真测试场景是需要解决的关键问题之一.场景描述语言能够描述自动驾驶场景并在虚拟环境中实例化场景获取仿真数据,但现有的场景描述语言大都缺少对于场景道路结构的高层抽象和描述.提出路网属性图来表示路网中抽象出的实体及他们的关系,并设计能简洁描述场景路网结构的语言SceneRoad. SceneRoad可以基于描述的场景道路结构特征构建路网特征查询图.这样,在路网中搜索符合描述的场景道路特征的问题被抽象为路网图上的子图匹配问题,该问题可用VF2算法求解.进一步地,将SceneRoad作为扩展集成到Scenic场景描述语言中.使用拓展后的语言随机生成大量多样的静态场景并构建仿真数据集.仿真数据集的统计信息表明生成的场景具有丰富的场景多样性.不同感知模型在真实和仿真数据集上的训练测试结果表明,模型在两个数据集上的表现呈正相关,意味着模型在仿真数据集上的评估...     

一种基于元模型的访问控制策略描述语言

为了保护云资源的安全,防止数据泄露和非授权访问,必须对云平台的资源访问实施访问控制.然而,目前主流云平台通常采用自己的安全策略语言和访问控制机制,从而造成两个问题:(1)云用户若要使用多个云平台,则需要学习不同的策略语言,分别编写安全策略;(2)云服务提供商需要自行设计符合自己平台的安全策略语言及访问控制机制,开发成本较高.对此,提出一种基于元模型的访问控制策略描述语言PML及其实施机制PML-EM.PML支持表达BLP、RBAC、ABAC等访问控制模型.PML-EM实现了3个性质:策略语言无关性、访问控制模型无关性和程序设计语言无关性,从而降低了用户编写策略的成本与云服务提供商开发访问控制机制的成本.在OpenStack云平台上实现了PML-EM机制.实验结果表明,PML策略支持从其他策略进行自动转换,在表达云中多租户场景时具有优势.性能方面,与OpenStack原有策略相比,PML策略的评估开销为4.8%.PML-EM机制的侵入性较小,与云平台原有代码相比增加约0.42%.     

基于元模型的XML Schema到UML类图的转换

依据XML Schema文档以及XMI规范定义了与转换相关的XML Schema的元模型,并建立了它和UML元模型之间的映射关系,在此基础上提出了基于XMI和OCL的转换规则,对转换空间进行了分析,并且结合实例进行了说明。     

一种基于FPGA的图像格式转换设计

为了实现图像的实时处理,常采用现场可编程门阵列（FPGA）对采集到的图像数据首先进行格式转换处理。本文以对Micron MT9V112传感器的三种图像格式输出的处理为例,首先就YCbCr4：2：2转YCbCr4：4：4,RGB565转RGB888,Bayer格式转RGB888及降噪的原理进行了介绍,然后应用Verilog HDL语言设计出相应的硬件模块,最后结合MATLAB工具对硬件模块处理后的数据做了相应的仿真。仿真结果表明,该设计对分辨率低于640x480的图像数据能够很好的满足其实时性要求,达到了预期的效果。     

一种基于模型转换的数据仓库设计技术

该文比较了数据仓库数据库与传统操作型数据库,回顾了“规范的”操作型系统设计,介绍了三种典型的数据模型———实体关系模型、对象模型和维模型(星形模型)。提出了一种基于模型和模型转换的数据仓库设计工程方法。     

基于状态转换图的入侵检测模型STGIDM

Pattern Match based on the serial of system calls is one of the widely used intrusion detection technologies, while the courses that cause intrusion frequently accord with chosen pattens when programs monitored are complex and the number of chosen patterns is large, which always causes some intrusions to be neglected. In this a rticle, anew Intrusion Detection Model based on State Transition Graph is put forward. In this model, the programs‘ properties are accurately reflected by State Transition Graph, and transitions are introduced between states that aren‘t conjoint. Moreover, the number of transitions between states that aren‘t conjoint is one of key factors to deduce intrusions during matching.     

一种针对模型转换的图形化建模语言

模型转换是模型驱动开发的核心操作,它通常被实现成一种特殊的程序.模型转换可以实现不同模型、模型和代码,以及模型和各种结构化文档之间的转换.随着模型驱动方法的发展,模型转换正在被运用到越来越复杂的问题上,从而导致越来越庞大的规模和越来越复杂的程序结构.为了更好地控制转换开发过程中的复杂性,需要一种图形化的建模语言,支持对转换程序的分析和设计.提出一种针对模型转换程序的可视化建模语言VisTML(the visual transformation modeling language).它包含7种不同的视图,每个视图都包含一组建模概念.这些概念覆盖了整个转换程序开发过程中(从需求到部署运行)的所有主要阶段,支持开发人员在不同的抽象层次基于不同视角刻画模型转换.用VisTML对转换程序进行建模,有助于控制其复杂性,并促进开发人员的相互沟通与分工合作.最后介绍了VisTML的支持工具TModeler,并且通过3个案例论证VisTML的可行性与有效性.     

以体系结构为中心的模型转换的语义描述框架

在对类型范畴理论进行扩展的基础上,将其与进程代数相结合,为软件体系结构模型及其间的转换关系提供了一种统一的语义描述框架.模型的结构语义由类型范畴图表来指代,其行为语义则由范畴附带的进程行为迹来表示,模型间的映射关系用范畴理论中的态射和函子来形式化描述.该描述框架可用于模型转换中特性保持问题的描述、分析和判定,从而为模型驱动的软件开发提供有力的支持.     

面向汽车动力学自动建模的模型描述语言研究*

定义了一种模型描述语言--MDL,采用BNF范式描述了MDL的语法规范,分析了其实现的内在机制.在汽车动力学建模中,将汽车模型采用自顶向下的划分方式,划分为多个相对独立的子系统,采用模型描述语言对各个子系统的组成构件及其约束关系进行描述和定义,从而完成了一个整车动力学模型的描述.这种方法可以简化汽车建模的复杂性,提高模型的可扩展和可重用性,同时能够保证模型的精度和准确性.并在自主开发的汽车动力学仿真分析平台InteDyna中验证了这一方法的有效性.     

基于MARTE的面向混成系统的模型形式化转换

混成系统是离散逻辑跳转与实时连续行为交织的复杂状态变迁系统,形式化建模与验证是确保混成系统正确性和可靠性的重要途径。首先介绍一种混成ZIA形式规范;然后,基于建模语言MARTE建立扩展Object-Z的规范,即OZ-MARTE,该规范弥补了MARTE规范在形式化描述方面的不足,同时为了方便描述混成系统中连续动态行为属性,给出对混成系统中连续变量的描述转换规则,增强了MARTE对混成系统的描述能力;最后,给出OZ-MARTE规范到混成ZIA规范的转换方法,因此针对混成ZIA规范的验证技术同样适用于对MARTE模型进行形式化验证。     

Applying Programming Language Evaluation Criteria for Model Transformation Languages

The appraisal of the status quo for the methods of evaluating model transformation languages (MTLs) manifests several shortcomings: they are often either language-specific or feature-specific, they may lack of sufficient discussion on possible values for proposed criteria, few MTLs may be applied in their evaluation, or a combination of these limitations. We have previously proposed a method which utilizes programming language (PL) criteria for evaluation of MTLs. In this paper, an improved method is proposed in which a large family of 11 major criteria with total of 46 sub-criteria, mainly inspired from PL evaluation criteria, is used to evaluate MTLs. Then, an interactive methodology is proposed that consolidates the criteria to establish a \textit{decision-support} system for MTL selection. In order to investigate the effectiveness of the criteria and the proposed methodology, six MTLs were used for studies: ATL, Kermeta, ETL, QVT-O, QVT-R, and TGG. The results of MTL evaluations corroborate that the criteria are highly effective in practice; they provide helpful insights for different users to enable them to choose the most appropriate MTL for the application at hand. With our decision-support methodology, we could have achieved evidence to imply applicability in real-world scenarios.     

基于最小描述长度原则的属性图概要方法

图概要技术是管理、分析和可视化大规模图的关键技术之一。如何综合结构和属性信息进行图概要是一个挑战。大部分现有的图概要方法或者只考虑结构或属性某一方面的信息,或者要求属性的表现形式是一致的。结合信息论中最小描述长度原则,对属性图概要问题建模,将其转化为求解最小表示代价问题,以实现图压缩和图概要的双重目标。提出了一种计算节点属性相似性的方法,该属性度量方法对节点属性的限制较小,并且将节点间的相似性统一为存储代价,实现了节点结构相似和属性相似的协同考虑。提出了两种求解最小代价表示的图概要算法。在真实和合成的数据集上实验,验证了提出算法的有效性。     

Termination of High-Level Replacement Units with Application to Model Transformation

Visual rewriting techniques, in particular graph transformations, are increasingly used to model transformations of systems specified through diagrammatic sentences. Several rewriting models have been proposed, differing in the expressivity of the types of rules and in the complexity of the rewriting mechanism; yet basic results concerning the formal properties of these models are still missing for many of them. In this paper, we propose a contribution towards solving the termination problem for rewriting systems with external control mechanisms. In particular, we obtain results of more general validity by extending the concept of transformation unit to high-level replacement systems, a generalization of graph transformation systems. For high-level replacement units, we state and prove several abstract properties based on termination criteria. Then, we instantiate the high-level replacement systems by attributed graph transformation systems and present concrete termination criteria. These are used to show the termination of some replacement units needed to express model transformations as a consequence of software refactoring.     

A Query Language for XML Based on Graph Grammars

In this paper we present a graphical query language for XML. The language, based on a simple form of graph grammars, permits us to extract data and reorganize information in a new structure. As with most of the current query languages for XML, queries consist of two parts: one extracting a subgraph and one constructing the output graph. The semantics of queries is given in terms of graph grammars. The use of graph grammars makes it possible to define, in a simple way, the structural properties of both the subgraph that has to be extracted and the graph that has to be constructed. We provide an example-driven comparison of our language w.r.t. other XML query languages, and show the effectiveness and simplicity of our approach.     

SRML-一种基于XML的仿真模型描述语言

该文主要介绍了仿真参考标记语言SRML。SRML是一种基于XML的用于表示仿真模型的参考标记语言，它试图确定一个灵活的表示仿真模型的参考标准，以加快模型的开发速度，支持模型的重用。SRML声明了一组数量较少但相对完备的XML元素和元素属性如ItemClass、Item、EventClass、ItemEvent、EventSink、Simulation等来描述实体、实体间的关系、事件以支持仿真；它可最大限度地利用XML用户模式定义的元素来描述仿真实体。SRML仿真引擎可以采用不同的环境实现如Web浏览器、Java语言、C#等实现，从而支持仿真模型的互操作与集成、基于Web的仿真和协同仿真等。