基于OWL元模型的本体建模研究

采用UML(Unified Modeling Language)的Profile扩展技术作为消除OWL(Web Ontology Language)复杂符号体系与本体建模易操作性需求之间的矛盾的关键技术，制定了UML建模元素与OWL Lite语法元素之间的映射关系,建立了OWL Lite的UML Profile元模型，并且通过一个具体的示例说明使用OWL的UML Profile能够直观、清晰地进行OWL本体建模，促进OWL本体建立的易操作性．     

虚拟企业业务流程的建模方法研究

为设计分析虚拟企业生产运作系统, 针对虚拟企业业务流程的特点, 应用UML、Petri网和面向对象技术, 提出了虚拟企业业务流程的建模方法. 该方法分全局业务流程和子业务流程两个层面, 全局业务流程采用UML序列图和Petri网建模, 表示虚拟企业各成员之间的交互接口关系; 子业务流程采用面向对象的Petri网建模, 实现成员企业内部流程的表达、封装和相互之间的业务连接. 仿真验证表明, 所建模型满足合理性要求.     

基于UML的线切割数控系统可视化建模

线切割数控系统作为数控系统中的一个重要分支正不断发展.而建立完善的开发模型,有利于提升整个线切割数控系统的开发效率与质量.本文运用统一建模语言UML,借助其多视图表达方式,通过实例论述UML可视化建模方法在线切割数控系统开发过程中的具体应用.     

UML时序图向PNML转换的研究与实现

对已有行为模型向Petri网的转换机制进行对比分析,提出改进的UML2时序图到Petri网的转换规则,实现了时序图向Petri网标记语言转换的工具.实验结果表明,本文提出的工具能有效地将时序图转化为Petri网模型并生成相应PNML文件,进而更好地对UML模型进行分析和验证.     

一种混合授权的RBAC模型及其UML建模

针对核心RBAC模型在实际应用中存在的不足,提出一种对角色和用户混合授权的RBAC改进模型.在模型中加入直接用户权限指派方便了临时授权,在角色和用户权限中分别设置优先级约束和继承约束避免了权限冲突,给出了模型的形式化描述与认证算法.针对RBAC模型抽象化、形式化及开发者难以理解的问题,基于UML对RBAC改进模型进行了静态和动态建模,缩短了理论安全模型和实际应用开发间的差距.     

面向使用的GUI软件关键测试路径选择策略

从软件统计测试的思想出发，提出了窗口导航网（WNN）模型，并通过WNN选择关键测试路径，以降低GUI软件的测试代价．提出了多种窗口和输入粒度，从不同层次上描述GUI软件，并在一定粒度上构建WNN模型．模型中的顶点对应GUI中的窗口，弧对应窗口之间的转移，各弧关联一个[0，1]区间的实数，描述转移发生的概率．使用该方法可以从用户角度建模GUI软件，建模过程简单直观，且不存在状态爆炸问题．实例分析表明，通过WNN模型能有效地获取关键测试路径．     

TVGA 256色模式下的交互配色

从面向设备的ＲＧＢ颜色模型出发，引入了面向主观感觉的ＨＳＶ颜色模型及二者间的相互转换．介绍了一种快速配色法，它把ＴＶＧＡ的６４×６４×６４种颜色科学分类，快速地转换成ＨＳＶ表示的颜色块，使配色实验把握大，精度高，速度快．本文还介绍了ＴＶＧＡ２５６色模式下的编程技术，中英文显示技术和鼠标器编程技巧．     

紫色球杆菌视紫红质光谱特性的机器学习研究

近年来，机器学习等人工智能技术被应用于蛋白质工程，其在蛋白质结构、功能预测、催化活性等研究中具有独特优势。在未知蛋白质结构的情况下，将蛋白质序列和功能特性与机器学习相结合，基于序列-活性关系（innovative sequence-activity relationship，ISAR）算法，将蛋白质氨基酸序列数字化，用快速傅里叶变换（fast four transform，FFT）进行预处理，再进行偏最小二乘回归建模，可在数据集较少情况下拟合得到最佳模型。通过机器学习对紫色球杆菌视紫红质（gloeobacter violaceus rhodopsin，GR）的突变体蛋白质氨基酸序列与光谱最大吸收波长进行建模，获得了最佳模型。用最佳索引LEVM760106建模得到的确定系数R² 为0.944，均方误差E为11.64。用小波变换进行的预处理，其R² 虽也约为0.944，但E大于11.64，不及FFT进行的预处理。方法较好地解决了蛋白质序列与功能特性之间的数学建模问题，在蛋白质工程中可为预测更优的突变体提供支持。     

快速高仿真人骨有限元几何建模—–基于Mimics、Geomagic及Ansys软件的应用

综合运用Mimics、Geomagic及Ansys软件, 探讨快速、高度仿真、具有通用性意义的不同类型人骨的有限元建模方法. 采集长骨(股骨)30例、不规则骨(胸椎)10例及扁骨(骨盆)10例的薄层CT扫描数据, 在Mimics中进行图像编辑及三维重建. 实验分设3组, 分别为传统方法组、改良方法组及快速建模组. 快速建模组由Geomagic进行模型网格简化, 在Mimics中进行体积恢复, 运用Ansys命令流进行快速网格划分, 在Mimics中赋予材料属性后进行最简单的有限元分析. 比较3组的建模时间、仿真程度, 并进行统计分析. 结果发现: (1)快速建模组具有建模时间少、仿真程度高及网格质量高等显著优势; 统计分析表明, 快速建模组与其他2组具有显著性差异. (2)在Geomagic中进行模型简化的主要参数“Target Edge Length”为2.0mm(规则骨), 1.5~ 1.8mm(不规则骨); 模型体积/简化网格数为1.50±0.92(股骨)、2.86±0.84(骨盆)、0.36±0.05(胸椎). (3)可以通过Geomagic处理后模型体积/原模型体积的立方根或者二者的回归函数来进行体积恢复. 研究结果表明, 基于逆向工程软件Geomagic的人骨有限元建模方法具有快速、高仿真、高成功率及通用性等优势, 推广价值较高.     

基于UML2.0的软件安全测试方法

提出了一种从UML2.0序列图产生软件安全测试用例的方法,该方法以基于模型的测试技术为基础,将序列图转换为事件迁移图,从而产生测试用例集,提高了软件安全性测试的自动化水平.该方法可应用于软件设计与开发过程的早期阶段.所添加的UML2.0序列图的新特征,可将传统的软件测试方法应用于软件安全性测试.     

自行调整粒度的XML向量空间检索

对XML文档的信息检索技术进行了研究，提出了一种在向量空间模型中自动界定信息单元的检索方法．这种方法能够充分利用XML的结构和语义信息，在向量空间模型中，根据具体的查询条件动态地调整信息单元的粒度，确定适于检索的信息单元，从而有效地减少检索计算量，提高整个检索系统的运行效率．     

基于Windows Mobile平台的产品管理软件的设计与开发

分析了基于Windows Mobile平台的维吾尔文产品管理系统,着重研究Windows Mobile的应用开发及维吾尔文的书写特点、手机输入法设计中的难点与不等宽问题．设计实现了具有不同编辑方向的维、汉、英、多语种智能手机的混合输入和屏幕显示．在基于.NET compact Framework的智能设备开发框架下,使用Pocket outlook对象模型,实现了客户的便捷通讯功能．在系统的设计和实现过程中,引入Windows Mobile技术和SQL Server Mobile数据库技术来解决相关数据的存储和处理问题．     

一个基于Multi-agent的决策支持系统的设计

在DSS开发中，引入agent技术，提出了一个基于Multi-agent的决策支持系统的框架结构设计并为该系统的造界面Aent、信息Agent，模型Agent和管理Agent，在实际使用中，取得了良好的效果。     

基于知识的多媒体创作模型

通过对传统方法进行分析,引入语义网络的知识表示方法,将面向对象技术与超媒体方法相结合,提出了一个基于知识的多媒体创作模型（ＫＡＭ）,给出了ＫＡＭ模型的形式化定义,并对该模型的结构进行了讨论．ＫＡＭ模型具有以下特点：（１）支持结构与内容的分离;（２）支持复合机制;（３）基于语义的导航,有效地避免了在交互性系统中的迷路问题;（４）独立的链服务功能和管理功能,保持系统的开放性、可扩充性     

基于网格技术的企业网格系统模型的研究

传统的企业内部信息系统已经不能满足用户不断增长的需求.利用支持网格思想的W ebServ ice、O racle数据库10g技术将企业内部C/S模式的信息系统集成为B/S模式,提供便捷、高效的企业网上办公成为当务之急.本文设计一个基于W ebServ ice的企业内部的系统模型(EG SM),并对其框架结构、网络部署机制以及其核心技术进行了详细描述.     

UML建模与动态模拟:案例研究

为检查模型之间的一致性和模型的完备性, 本文根据ＵＭＬ１．１ 规范,通过在可视化建模工具Ｒｏｓｅ９８上开发的一个铁路模型的实例详细描述了对于软件系统如何从多个视点建立一个规范、实用的模型;并提出了一种基于ＵＭＬ模型的动态模拟方法,给出了动态模拟工具设计方案, 这种方法充分结合了当前的用户界面、动画技术和ＵＭＬ语言的半形式化语义特点．     

基于遗传算法的人脸精确定位

提出一种基于遗传算法的人脸图象精确定位方法,作为人脸检测与人脸识别之间的一个中间优化处理过程,以解决由于人脸检测技术的定位误差导致人脸识别错误的问题。精确定位问题转化为一个在离散空间中的优化搜索问题,以遗传算法作为优化搜索方法,利用其收敛速度较快、鲁棒性强和全局寻优等优点,改进了基于身份子空间统一模型的人脸识别系统的识别效果。实验结果表明,基于遗传算法的人脸图象精确定位方法能够有效地提高人脸识别系统的识别率。