一种基于MDA的UML顺序图到状态图的转换方法

MDA(model driven architecture)是解决基于不同中间件系统的集成问题．它将不同的系统都结构化成PIM(platform independent model)和PSM(platform specific model)，并针对不同的实现技术平台制定多个映射规则，然后通过这些映射规则及辅助工具将PIM转换成PSM，再将PSM不断求精直至形成最后的代码．MDA中的模型转换有4种：PIM到PIM，PIM到PSM，PSM到PSM以及PSM到PIM．其中PIM到PIM转换最显而易见的是分析模型到设计模型的转换．UML是MDA的模型描述语言，因此UML顺序图到状态图的模型转换必将为MDA中的PIM到PIM转换提供有力的支持．介绍了从一个顺序图转换成多个状态图的算法，并进一步讨论了从多个顺序图转换到状态图以及简化状态图的方法．处于一个系统中的多个状态图不是孤立的，他们各自的状态转换是相互约束的，最后给出了组合多个状态图的方法，以及如何生成在同步约束下多个状态图的转换关系，并最终得到系统的状态图．     

一种基于顺序图的软件性能分析方法

软件性能工程SPE是一种重要的性能分析方法，它将UML顺序图转化为执行图，进而分析软件的性能是否符合期望的指标。然而软件性能工程（SPT）却未给出顺序图到执行图的具体转化方法，在实际应用特别是自动实现时存在一定的困难，文中通过对模型图的形式化定义，提出了一种顺序图转换为执行图的基本算法，并给出了一种基于顺序图的软件性能评价方法。     

一种基于顺序图的软件性能分析方法

软件性能工程SPE是一种重要的性能分析方法，它将UML顺序图转化为执行图，进而分析软件的性能是否符合期望的指标。然而软件性能工程（SPT）却未给出顺序图到执行图的具体转化方法，在实际应用特别是自动实现时存在一定的困难，文中通过对模型图的形式化定义，提出了一种顺序图转换为执行图的基本算法，并给出了一种基于顺序图的软件性能评价方法。     

UML顺序图的鲁棒性分析

鲁棒性分析技术可以帮助开发人员精确地弥合分析与设计之间的鸿沟。统一建模语言(unified modeling language, UML)顺序图模型被广泛用于面向对象软件系统的分析与设计，它的鲁棒性至关重要。首先，引入形式化模型——统一结构。其次，给出了基于统一结构的描述顺序图的方法和鲁棒性的形式定义，随后讨论顺序图在组合与精化条件下的保存问题。最后，在原型工具支持下进行实例研究。实验结果表明，设计阶段的顺序图能保持分析阶段顺序图的鲁棒性，从而可以给予从事面向对象的开发人员相关帮助及支持。     

顺序程序并行转换系统中程序中间表示的管理与维护

研究了基于并行分布式环境下的顺序程序转换系统中有关程序中间表示的管理与维护，讨论了顺序程序的转换过程的可视性与可干预性，并讨论了用图定义引导生成对程序相关图（ＰＤＧ）的操作等方面的问题     

形式化表示UML顺序图的结构操作语义

采用三元组形式化定义了UML顺序图及其对应的结构操作语义规则,并采用该方法描述了身份验证过程对应的操作顺序.这为基于UML顺序图的测试用例的自动生成奠定了基础,也为UML顺序图的模型转换和模型验证提供了必要的前提条件.     

非对称模型下的顺序诊断算法

讨论了顺序ｔ－可诊断系统的诊断算法问题。在Ｍａｌｅｋ和ＢＧＭ模型下，分别提出了一种顺序诊断算法，这些算法在测试图是二部图的情形下都是多项式时间复杂性的。     

S—盒的置换与随机化

讨论了Ｓ盒的转换特性，测试结果证明了改变Ｓ盒的顺序不会影响密文对明和密钥的敏感性，并揭示了Ｓ盒顺序影响密文的正态分布特性，后给出了随机化Ｓ盒的算法。     

UML在本体开发中的应用

分析了将UML运用于本体开发的原因，介绍了一种将OWL本体通过UML类图向面向对象语言转换的方法，讨论了OMG与W3C标准转换存在的问题，提出了改进的方向。     

小型PLC功能流程图编程的转换方法

针对目前采用小型可编程序逻辑控制器（PLC）实现顺序控制所存在的问题，采用模块化转换思想，使用5种不同方法将顺序功能图转换为梯形图．提高了顺控编程方法的规律性，实现其编程方法的简单、实用．以西门子S7—200PLC为例进行实例转换分析，最后对各转换方法进行了综合比较．     

有向最大祖先图的Markov等价转换

针对Markov等价的有向祖先图等价转换问题,研究双向边向单向边等价转换的条件,给出了多条双向边向单向边转换的顺序.结果表明,在保持Markov等价的条件下,任意两个等价的有向祖先图可经过一系列的单向边变双向边、双向边变单向边、单向边反转而相互转换.     

一种EDA虚拟仪器系统实现方法

研究了虚拟仪器系统的实现技术。首先利用UML工具分析并设计了虚拟仪器系统的模型,给出了系统类图和顺序图。最后采用MVC模式,文档解析、数据转换及消息响应机制等技术实现了虚拟示波器。     

关于调和图的一些结果

本文讨论调和图的边数以及调和转换的一些应用，本文提供了关于调和图边数的由顶点数表示的上界，并且给出一种可用于将调和图标号转变为序列标号的方法。     

基于特征的工艺决策

从并行工程的原理出发，讨论了基于特征的并行ＣＡＰＰ系统．利用特征建模，通过对特征关系的推理，产生零件的特征向量图，确定特征的加工顺序．通过工艺优化，确定零件的最佳工艺规程     

从控制传播图导出分层结构图

为了转换数据流图成为结构图,引入了一种新的图形工具即控制传播图(CSD)。控制传播图是介于数据流图和结构图之间的图形工具,是实现从数据流图到结构图转换的中间产物。本文着重讨论从控制传播图导出分层结构图的基本原则和方法。     

时序逻辑电路的次态卡诺图分析法

讨论了同步时序逻辑电路的次态卡诺图分析法与异步时序逻辑电路的次态卡诺图的分析法,这两种方法分别是利用状态方程给出各触发器的次态卡诺图,并由次态卡诺图画出状态转换图以及利用状态方程和时钟方程绘出包含“动令”在内的各触发器的次态卡诺图,并由次态卡诺图画出状态转换图,该法是１种分析时序逻辑电路功能的新方法。     

采用排序和打分-搜索的多阶转换网学习方法

针对现有学习方法主要用于先验网和一阶转换网,且对于多变量复杂转换网其效率和可靠性难以得到保障等问题,建立了一种从向量时间序列数据中发现多阶转换网的方法.在给出多阶数据集构造方法的基础上,通过条件相对平均熵计算建立完全有向无环图,并基于完全有向无环图排序结点,在结点顺序的基础上,通过局部打分-搜索建立转换网.这种方法将更加高效、可靠和实用.     

UML 2.0的形式化语义研究

由于UML 2.0动态视图缺乏精确的语义,难以对它所表示的系统进行分析和验证.基于此,在描述UML 2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML 2.0顺序图和状态图之间的模型转换,也为使用UML和形式化方法相结合描述软件体系结构的交互行为奠定了基础.     

基于峰值频率特征的音-图转换音频隐密分析

为了分析音-图转换音频隐密方法嵌入的秘密信息长度，通过考察音-图转换后小波系数直方图的分布特性，提取出与嵌入容量成线性关系的峰值频率特征，建立了线性回归模型，根据音-图转换后小波系数子带选取的不同，确定不同的嵌入方案，并针对这些方案进行了相应的隐密分析，实验结果表明：所提特征与秘密信息长度之间存在显著的线性相关性；同时，对于音-图转换隐密算法性能如不可感知性、提取信息正确率等有重要影响的隐密参数TH，对回归模型参数的估计值影响较小，所提出的方法可较为准确地估计出利用音-图转换隐密方法嵌入信息的长度。     

转换波勘探的若干问题

根据仁苏和四川油区转换波勘探试脸的结果,作者讨论了转换波应用中的四个问题,首先由大t的AVO曲线的分析,提出了主转换波的概念,确定了主转换波的波型;确定了接收主转换波的最佳未集范围。其次讨论了在实际地襄图中如何识别转换波。然后,文中介绍了转换波共转换.点(CCP)登加的一步法[lj,将反射点精确归位、非双曲线动校和CCP受加一步完成.最后讨论了转换波钊面的地质意义.