基于文档安全性的工作流模型的设计与实现

本文针对文档管理和流转所面临的安全性问题 ,提出了基于文档安全性的工作流模型 ,介绍了工作流的原理、特性、文档的安全性 ,以及给出了具体设计和实现方法 .     

基于SystemC的事务级AMBA总线模型的设计与实现

针对目前SoC设计中的时间瓶颈，根据系统建模语言SystemC对SoC进行事务级建模的方法。提出并实现了采用该方法构建基于AMBA规范的SoC片内总线模型的方案．模型采用了SystemC 2．0的接口、端口和通道的概念，这使模型具有很好的开放性和可扩展性．模型各部分间的通信通过调用各接口内定义的函数来进行，模型运行时只使用SystemC自带的轻量级仿真内核．实验结果表明：本总线模型完全符合AMBA2．0规范，可以有效克服目前SoC软硬件协同设计中的时间瓶颈．     

基于工作流图的办公自动化系统需求分析

给出了办公自动化系统的两个基本要素：人员和文档．具体分析了它们的静态和动态属性,以湖北省对外贸易经济合作厅的办公自动化系统的需求分析为例,提出了一个用工作流图描述它们之间关系的新的通用的需求分析方法．     

工作流日志与过程模型的一致性分析

工作流日志体现系统的实际执行情况,工作流过程模型则是对系统流程的一种静态描述.工作流建模方法以及过程挖掘技术将系统执行日志与系统模型联系在一起,日志与过程模型的一致性问题在各种应用领域已经越来越重要,但是现在并没有很好的方法去分析一致性.针对这一问题,定义了日志与模型的一致性的概念,并根据日志与模型的相互关系,提出了两个评价指标:日志匹配性和行为一致性,并给出了相应的评价方法.该方法可以有效地评估工作流日志与工作流模型之间的一致性程度.     

一种嵌入式关系模型的形式化描述

在 Ｎ Ｒ／ Ｔ 网的基础上,对基于嵌入式关系模型的数据库信息系统的行为,给出了一种形式化的描述方法,并设计了一个变迁点火执行算法     

基于规则方法的管理对象行为形式化描述

在OSI管理框架中,GDMO是一种广泛使用而又比较有效的管理对象建模技术,但缺乏对管理对象行为的精确描述.为此,本文提出一种基于规则的方法来完整、精确、无二义性地形式描述管理对象的行为.文章首先引入了面向对象的方法、管理对象、GDMO表示法,然后通过具体例子深入研究基于规则方法的管理对象行为的形式描述.研究结果表明,带有对象通信规则的概念可以与具有继承与包封性质的面向对象方法共存,同时能很容易把这种规则方法集成到GDMO模板表示法中去.     

基于系统效益的循环结构网格工作流调度算法

针对网格计算中的工作流,大部分只考虑DAG(Directed Acyclic Graph)工作流调度模型,本文对于含有更复杂的工作流结构(如循环、并行、分支等)进行了研究,并提出了一种任务优先级调度策略,用循环并行算法(LOOP-PARAL)解决了含有循环结构的网格工作流的任务调度问题,在满足用户QoS(Quarlity of Service)需求的同时,使系统的负载更加平衡,更加适合开放复杂的网格环境,提高了系统的性能.仿真实验证明了该算法的合理性和有效性.     

基于工作流的航天器测试信息化系统的建模与分析

针对我国航天器关键测试工作主要还是由测试人员手工完成的问题,通过对测试活动的分析研究,提出了一个开放的航天器信息化测试环境体系结构,并且将工作流的思想引入到航天器的信息化测试领域中,定义出了一种航天器测试流程建模语言,对提高我旧航天器测试的效率和水平将起到一定的作用.     

土地利用现状管理信息系统中土地利用多级变更模型的建立及其事物处理机制设计

土地利用变更模型及其事务处理机制是土地利用现状管理信息系统的核心.传统变更模型所支持的变更操作粒度较为单一、事务完整性差、时空语义表现过于单薄.在分析了土地利用变更特点和存在问题的基础上,提出了一种土地利用多级变更模型LU-MCM(land use multi-level change model),模型以土地利用变迁过程为变更对象,并进一步将之划分为多级变更逻辑单元进行组合描述,而所需解决的长事务处理机制则通过扩展的多粒度树状事务模型实现.土地利用现状管理信息系统的设计和实现证明,该模型对土地利用变迁过程表达效果较好,为土地利用变更数据管理提供了思路.     

基于SystemC的周期精确事务级AMBA总线建模

采用系统建模语言SystemC建立了周期精确的事务级AMBA总线模型，并利用该模型对蓝牙模块问的通信过程进行仿真．AMBA总线模型采用SystemC2．0的接口、端口和通道的概念，运行时使用SystemC自带的仿真内核．实验结果表明：本模型完全符合AMBA2．0规范和蓝牙协议规范，实现了住SoC设计前期的高层仿真和验证。     

土地利用现状管理信息系统中土地利用多级变更模型的建立及其事务处理机制设计

土地利用变更模型及其事务处理机制是土地利用现状管理信息系统的核心．传统变更模型所支持的变更操作粒度较为单一、事务完整性差、时空语义表现过于单薄．在分析了土地利用变更特点和存在问题的基础上，提出了一种土地利用多级变更模型LU-MCM（1and use multi—level change model），模型以土地利用变迁过程为变更对象，并进一步将之划分为多级变更逻辑单元进行组合描述，而所需解决的长事务处理机制则通过扩展的多粒度树状事务模型实现．土地利用现状管理信息系统的设计和实现证明，该模型对土地利用变迁过程表达效果较好，为土地利用变更数据管理提供了思路．     

判断矩阵的广义一致性变换及其排序的一种算法

针对不同标度构造的判断矩阵的一致性检验以及排序问题,给出了判断矩阵广义一致性变换的定义,并论证了判断矩阵经广义一致性变换后所具有的性质.通过对比分析指出本文的研究结论具有更广的应用范围,深化了对参数β的理解,给出了该参数取值范围的一个合理区间.最后,归纳出由不同标度构造的判断矩阵具体的广义一致性变换及其排序方法.     

UART IP核的设计及其FPGA实现

为了提高UART IP核的可重用性和灵活性,将其中波特率发生器模块设计成自适应的波特率发生器,同时采用异步FIFO作为UART与外部数据交换的缓冲器,实现处理器与UART接口的速度匹配.以IP核的参数化设计为基础进行Verilog HDL编码,在Modelsim SE 6.0上进行仿真验证,然后应用Synplicity公司的Synplify Premier 9.6.2和Synopsys公司的DC 2008分别进行综合优化,并在FPGA上加以实现.结果显示,所提出的设计功能正确,可重用性强.     

面向UPMIS的控规数据批量转换方法及实现

控规数据向ArcGIS平台数据转换并入库是城市规划管理信息系统（UPMIS）建设的一项基础性工作.针对分析控规数据转换为ArcGIS平台数据存在的问题,提出了一种高效的控规数据向ArcGIS平台数据批量转换的方法,并结合ArcGIS VBA和Python脚本开发工具,实现了上述方法.测试实验表明,该方法自动化程度高、实现简单、处理效率高.     

基于增强现实的物体运动仿真设计与实现

针对如何在增强现实(Augmented Reality, AR)的虚拟环境中体现物体运动仿真时运动学与动力学特性的问题, 设计了一套将AR技术与物体运动仿真集成, 通过模型建立、标记物注册、运动仿真交互控制、增强场景实时渲染等步骤设计物体AR运动仿真系统. 该系统由运动学仿真模块和动力学仿真模块组成. 运动学仿真模块的设计和实现以刚体绕定轴转动和平面四杆机构的几何运动为例, 通过移动标记物进行运动学仿真的交互控制. 动力学仿真模块的设计和实现以曲柄滑块机构惯性运动为例, 通过改变输入参数进行动力学仿真控制. 最后以机械类课程教学中平面四杆机构急回特性学习和曲柄滑块机构动力学方程求解为例进行实际应用. 结果表明, AR运动仿真系统提供了直观的高交互操作运动学与动力学仿真环境, 通过可视化能帮助学生理解相关的理论知识, 进而实现虚实融合的智慧化运动仿真教学.     

面向服务的防汛GIS支撑平台设计与实现

将GIS技术和面向服务的集成技术引入到了防汛信息系统建设的实际应用中,系统定义了防汛GIS支撑平台,制定了平台实现的技术路线,阐述了平台的设计思想,论述了平台的构建过程．其中,创建了汛情Web数据服务及其空间数据服务,在此基础上,建了一个面向web数据服务的开放式的防汛平台,实现了应用功能与汛情信息数据的分离,统一了汛情发布功能的展现方式,提高了平台的复用性、可维护性和可扩展性,为三维WebGIS技术在防汛减灾中的应用及建立类似系统提供了良好的设计思路和有益参考．     

基于COM+的WebGIS系统设计与实现

针对目前主流的WebGIS平台开发技术,如CGI、Server API、Plug-ins、ActiveX、Java等存在的缺陷,提出了一种新的基于COM+技术实现WebGIS的系统框架,对系统实现的技术基础和系统架构进行了论述,对系统实现中的3个关键问题提出了解决方案,给出了系统运行的实例.应用实例表明,该解决方案具有充分利用服务器资源、支持多用户并发操作、较高的系统安全性以及与客户端平台无关等优点,具有较高的实用价值和较好的应用前景.