基于消息语义的UML2.0顺序图控制流分析

基于消息语义提出一种分析UML2.0顺序图控制流的方法, 分析了UML2.0顺序图消息发送和接收动作之间的关系, 并将其映射到相应的消息上, 得到消息的相继顺序关系. 根据消息的顺序关系设计了由顺序图到活动图的一致性映射规则, 并得到基于消息语义的并发控制流图（MSCCFG）, 从而获取顺序图的控制流信息.     

基于地理标识语言的空间数据查询模式与实现

提出了基于地理标识语言（GML）的地籍和房产空间对象模型,并以此探讨了基于可扩展标识语言（XML）的地籍空间对象及其关系的查询模式,给出了基于XQuery的查询实现方法．开发了一个采用JAVA、文档对象模型（DOM）、简单应用程序接口（SAX）和XQuery的空间数据管理应用平台,验证了本文提出的基于GML的空间对象模型和基于XQuery实现查询XML地籍空间数据与空间关系的可行性．     

类簇级测试任务并行化研究

为了提高传统串行类簇级测试速度, 对类簇测试任务并行化方法进行研究。使用类间依赖关系和类测试依赖关系分析方法将类簇级测试任务并行化问题转化为求解对象关系图中节点的并行性。复杂的类簇关系会形成有向环路, 为确定环路中测试的起始位置需要将环路打破, 提出了综合考虑节点度数、环路数和测试桩复杂度3 种因素的破环方法; 对消除环路的对象关系图进行并行性分析, 并设计了一种分层并行算法。通过实验对串行方案和分层并行方案进行对比, 证明了分层并行方案的有效性。     

基于Voronoi图的复杂对象空间方位关系的推理计算

在分析总结前人研究成果的基础上,研究了复杂对象之间的空间方位关系,提出了基于Voronoi图的空间方位关系的推理模型,并详细论述了该模型的算法实现过程及步骤.实例计算表明该模型是正确和有效的.模型无需区分源目标与参考目标,具有自反性,不受对象的形状、大小、位置和距离等的影响,容易与基于Voronoi图的空间拓扑关系的相关理论结合,形成统一的推理模型.     

基于OCL约束的多态性时序图测试用例生成方法

由于UML时序图不能够描述多态性,导致根据时序图生成的测试用例存在不足,无法测试多态性方法.提出了一种对多态性时序图的形式化及相应测试用例的生成方法.根据类约束和满意集规则确定类的多态性方法集CSPM(class sets of polymorphism methods),并将多态性时序图转换为多态扩展有向无环图PCOMDAG(polymorphism class object method acyclic graph).使用提出的测试覆盖准则及深度优先算法对PCOMDAG图进行遍历,自动生成多态性时序图的测试用例.通过实例验证方法的有效性,其结果表明,本方法能够生成基于OCL约束时序图的测试用例对多态性方法进行测试,提高时序图测试集的覆盖度.     

用于控制图模式识别的广义神经网络系统

面向过程控制图的模式识别,提出了一个广义神经网络系统.该系统基于广义过程对象模型发生数据,离线训练后能够在线识别各类工业过程常见的控制图模式,模块化的设计使得神经网络系统的结构相对简单,有效地提高了网络的训练速度和模式识别的准确率.首先研究了广义过程对象模型参数对神经网络控制图模式识别率的影响,并基于此影响规律设计了包含模式识别分类模块与模式参数估计模块的集成化神经网络系统结构;其次使用基于广义对象模型产生的数据对神经网络系统进行了训练和验证,讨论了学习训练方法,并进行了控制图模式识别性能的仿真测试,获得了满意的结果.在TE过程仿真平台上进行了实验,给出了对上升阶跃模式和下降阶跃模式的识别结果,表明了具有较高的识别率.     

一种适合于MIS的系统分析方法

分析了数据流程图方法的局限性，提出了一种基于对象的改进数据流程图方法。该方法用对象关系图描述信息系统的结构，用改进的数据流程图来描述每个对象内部处理关系。     

完全二分图的生成树的个数

给出了生成子图的定义．证明了生成子图的构造定理和计数定理．提出了任意G（p,q）的生成树的计数方法和构造方法．介绍了完全二分图K3,3的生成树的计数和构造．     

工业控制系统上基于安全域的攻击图生成

将攻击图技术应用于工业控制系统(ICS),并基于工业控制系统网络结构特点,简化了攻击图的生成复杂度。该文将工业控制系统作为研究对象,下位机作为攻击目标,依据工业控制系统的层次化结构特点,提出了主机安全域和网络安全域的概念,对系统网络进行安全域划分实现攻击图的分布式生成,并依据划分结果使用攻击模式(remote/local)等要素来降低攻击图的生成复杂度。最后,通过搭建实验测试环境进行验证,实验结果表明本方法将会提高攻击图生成效率并简化攻击图规模。     

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

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

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

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

基于微分进化算法的电力系统最优潮流

将微分进化算法（Differential Evolution,DE）应用到电力系统最优潮流（Optimal Power Flow,OPF）问题中,以系统总发电成本为目标函数,除平衡节点外发电机节点有功功率、发电机节点电压幅值和可调变压器变比作为控制变量,建立了DE-OPF的数学模型．基于增广拉格朗日函数法,将状态变量约束考虑入优化的目标函数中．以IEEE30节点测试系统进行了测试,仿真结果表明,与两种遗传算法和一种改进的粒子群算法：传统遗传算法（canonical genetic algorithm,CGA）、自适应遗传算法（adapive genetic algorithm,AGA）和全面学习粒子群算法（CLPSO）相比,DE算法具有较好的全局寻优能力和较快的收敛速度,能有效地解决最优潮流问题．     

基于偏序结构理论的知识发现方法

大数据中的知识发现是大数据应用中的核心热点.本文从高度抽象认知事物视角出发,以表征事物普遍性为特征的概念驱动与表征事物特异性为特征的数据驱动两种方法学为哲学原理,提出了基于属性偏序结构图和对象偏序结构图的知识发现方法.分别从群结构、子群结构、支路、节点等角度对数据特征之间的结构关系进行讨论分析.属性偏序结构图将数据中具有某些共同特征的对象聚类到一起,是数据共性的表达;对象偏序结构图中,通过数据的独有属性可以快速有效的将特异性对象区分于其他对象.最后,以中医药方剂配伍研究问题为例,对张锡纯治疗中风的32个处方进行数据挖掘和知识发现,证明了该方法的有效性和实用性,为大数据知识发现研究提供了新的思路和方法.     

面向对象数据库中对象模型和规范化研究

从分析面向对象数据库中对象模型、数据依赖着手,提出了对象函数依赖的概念,在此基础上提出了以分解为基础的对象模式、规范化方法,并在分析对象模型、关系模型的基础上,介绍了用四元组的方式研究这两种模型的表述关系以及关系模型可以用对象模型完全描述的结论,据此,给出了关系模型与对象模型间的映射关系,通过简单实例,探讨了关系模型中嵌入对象机制的可行性     

9AC访问控制策略的研究

自主访问控制（DAc）模型是根据自主访问控制策略建立的一种模型,允许合法用户以用户或用户组的身份访问策略规定的客体,同时阻止非授权用户访问客体。这种技术通常应用于一些实际的单安全级的系统中,在web系统的安全访问控制中有一定的优势,也存在一些弊端。     

基于自相关的GM（1，1）与GM（1，N）联合模型优化及应用

分析基于自相关理论的GM（1,1）与GM（1,N）联合模型,将仅适合GM（1,1）模型的数据拓展到适合GM（1,N）模型。用数值积分中的Simpson公式来重建GM（1,1）与GM（1,N）的联合模型,在参数辨识过程中引入累积法,降低线性方程组系数矩阵的条件数,使联合模型求解更加稳定,提高了模拟及预测精度,并且克服了原GM（1,N）模型必须获得预报时刻点相关数据列的值的缺陷,有利于新息GM（1,N）模型的应用。数值实验结果表明,优化后模型数值稳定性好,其系数矩阵的条件数在数值上比通用的最小二乘法有所降低,且模拟平均相对误差也有所降低,预测精度得到提高。     

一种基于路网D树的无线广播环境下路网最近邻查询处理算法

位置相关查询是数据库领域的一个研究热点。重点研究了无线广播环境下路网最近邻查询（NN）处理问题。对一个给定的路网结构及路网上分布的数据对象,构造对应的路网Voronoi图（NVD）,并在NVD图的基础上构建路网D树索引结构。然后,将路网D树索引结构线性化以支持无线广播环境下路网NN查询的处理,并提出了相应的路网NN查询处理算法。模拟实验表明,所提出的算法是有效的。     

基于聚类评分的暴雨/冰雹分类模型

针对暴雨和冰雹2种强对流天气的区分问题,研究了主成分分析联合线性鉴别分析对雷达图像中提取的冰雹及暴雨特征降维和去相关的作用,设计了基于聚类评分的暴雨/冰雹分类模型,采用K均值聚类评分的办法确定具有高分类性的主成分,并以此主成分设计分类器对暴雨和冰雹进行区分.结果表明:主成分分析联合线性鉴别分析进行特征处理能够在降维的同时保留大部分分类性信息,基于聚类评分的分类模型有利于提高冰雹识别的命中率并降低其误警率,且对一般类型公共数据分类问题有效.     

藏文排序方法研究与拓展

文章通过对藏文编码国家标准（GB）藏文信息系统之上的藏文排序问题进行研究，提出了基于藏文编码国家标准（GB）的藏文音节及词的排序方法，并给出相应的排序算法，测试结果良好。     

基于关系型产品模型支持快速变型设计的环境

提出了一项能提高企业产品竞争能力的产品设计策略,即按照关系型产品模型,对企业已有的产品信息资源进行科学重组,以支持用变型设计快速响应市场需求和／或用户订单的新思路．阐明企业面临的全球市场激烈竞争的态势及应采取的对策,并论述通过企业产品信息资源重组以建立变型产品设计支持环境的意义及其原则．针对关系型产品模型,介绍了它的原理组成、对象类信息构成、对象分类框架和基于关系的族类属模型等内容．例举了一个减速机的产品变型设计