基于XML的水情信息集成系统研究 被引量：4

1

作者 胡文红 梁曦 吴建玉 《中国农村水利水电》 北大核心 2008年第1期37-39,共3页

水情信息的交换是水利信息电子化的一个重要目标,但水利行业各部门由于不同的应用及运行环境,往往存在着数据交换困难的问题。基于XML的水情信息集成系统研究分析了XML在解决异构数据库集成问题中的优势,提出了以XML文档作为数据交换中... 水情信息的交换是水利信息电子化的一个重要目标,但水利行业各部门由于不同的应用及运行环境,往往存在着数据交换困难的问题。基于XML的水情信息集成系统研究分析了XML在解决异构数据库集成问题中的优势,提出了以XML文档作为数据交换中介的方案,设计了水情信息的集成系统,并对系统的功能设计进行了介绍,着重给出了水情数据在XML与数据库间相互转换的方法及步骤。基于XML的水情信息集成系统研究为水利行业的异质系统通过Internet在开放式环境中共享电子水情信息提供了可能。 展开更多

关键词 XML 水情 异构数据库 数据转换

下载PDF 职称材料

税务远程申报系统的设计与实现 被引量：1

2

作者 钱亚冠 关晓惠 《浙江科技学院学报》 CAS 2005年第4期277-281,共5页

介绍了税务远程申报系统NTDS的整体设计方案和关键技术的实现。着重分析了XML技术应用于异构数据源间的集成与交互;利用PKI不对称加密算法与DES对称加密算法相结合的方案,提高网络数据在远程传输过程中的加密效率,及利用Java多线程技术... 介绍了税务远程申报系统NTDS的整体设计方案和关键技术的实现。着重分析了XML技术应用于异构数据源间的集成与交互;利用PKI不对称加密算法与DES对称加密算法相结合的方案,提高网络数据在远程传输过程中的加密效率,及利用Java多线程技术成功解决了税务远程申报系统在并发性方面的难题。给出了系统稳定运行后的相关测试数据和结论。 展开更多

关键词 税务远程申报系统 XML 数据加密 RSA DES JAVA线程

下载PDF 职称材料

通信协议一致性测试序列自动生成算法研究 被引量：9

3

作者 魏仰苏 孟兆航 舒挺 《计算机工程与设计》 CSCD 北大核心 2007年第10期2312-2315,共4页

在通信协议的一致性测试领域中,自动生成满足测试需要的一致性测试序列一直是该领域研究的一个重要问题。在对两种基于UIO序列的通信协议的一致性测试序列的自动生成算法进行了研究和比较后,分析了这两种算法各自的测试序列的生成过程... 在通信协议的一致性测试领域中,自动生成满足测试需要的一致性测试序列一直是该领域研究的一个重要问题。在对两种基于UIO序列的通信协议的一致性测试序列的自动生成算法进行了研究和比较后,分析了这两种算法各自的测试序列的生成过程及优缺点。实验结果表明,将这两种测试序列的生成算法相结合,能够对通信协议的控制流部分进行充分的测试,使生成的测试序列具有比较高的错误覆盖率,从而提高了一致性测试的效率。 展开更多

关键词 一致性测试 控制流测试 惟一输入输出序列 可达性分析 有限状态机

下载PDF 职称材料

MPLS的基于最小干涉的负载均衡算法研究 被引量：7

4

作者 蒋国明 魏仰苏 孟兆航 《计算机工程与设计》 CSCD 北大核心 2007年第2期371-372,476,共3页

当MPLS网络中的业务流请求存在时间上的先后顺序时,选择一个高效的路由算法使得已存在的业务流的LSP对后续业务流的LSP路由影响最小变得很重要。在分析了常用的几种QoS保障的算法基础上,提出了一种基于最小干涉的负载均衡算法。该算法... 当MPLS网络中的业务流请求存在时间上的先后顺序时,选择一个高效的路由算法使得已存在的业务流的LSP对后续业务流的LSP路由影响最小变得很重要。在分析了常用的几种QoS保障的算法基础上,提出了一种基于最小干涉的负载均衡算法。该算法解决了MPLS网络中所有“入口/出口对”之间的业务流相互干扰的问题,为后续业务流路由预留了必要的“关键链路”。 展开更多

关键词 流量工程 最小干涉 负载均衡 MPLS QOS

下载PDF 职称材料

基于COM原理的UML模型信息提取技术 被引量：5

5

作者 吴柏青 魏仰苏 蒋国明 《计算机工程与设计》 CSCD 北大核心 2007年第17期4099-4101,共3页

提出了一种提取UML模型信息的方法。UML是一种优秀的建模语言,使用UML可以为软件模型的建立带来很多方便。同时,为了验证模型的一致性,有必要将模型信息提取出来,通过一些成熟的算法进行测试。因此,研究如何从UML图中提取相应的模型信... 提出了一种提取UML模型信息的方法。UML是一种优秀的建模语言,使用UML可以为软件模型的建立带来很多方便。同时,为了验证模型的一致性,有必要将模型信息提取出来,通过一些成熟的算法进行测试。因此,研究如何从UML图中提取相应的模型信息有其现实意义。利用Rose提供的基于COM技术的REI,实现了从UML文档中自动提取用于软件测试的模型信息。 展开更多

关键词 统一建模语言 状态图 软件测试 组件对象模型 协议

下载PDF 职称材料

大规模网络模拟的背景流量建模 被引量：3

6

作者 钱亚冠 王滨 关晓惠 《电信科学》 北大核心 2011年第9期66-72,共7页

大规模网络模拟的一个巨大挑战就是对计算资源的巨大需求,因此建立适合大规模网络模拟的背景流量模型具有十分重要的意义。本文提出的一种背景流量模型可实现3个目标:真实性、高效性和对网络动态的反馈性。该模型利用ON/OFF模型表达两... 大规模网络模拟的一个巨大挑战就是对计算资源的巨大需求,因此建立适合大规模网络模拟的背景流量模型具有十分重要的意义。本文提出的一种背景流量模型可实现3个目标:真实性、高效性和对网络动态的反馈性。该模型利用ON/OFF模型表达两种典型的应用(Web和P2P)的用户行为模型;在TCP层上采用fluid的抽象流量表示,以提高模拟效率;用微分方程表达拥塞避免行为,使得流量源具有对网络的响应能力。最后通过DaSSFNet建立了模型原型,通过实验模拟,该模型框架可以很好地表达自相似的流量特征,同时在模拟效率上也远远高于包级流量模型。因此,该模型适合作为大规模的网络模拟环境的背景流量发生器。 展开更多

关键词 大规模网络模拟 背景流量 ON/OFF模型 流体流

下载PDF 职称材料

数据流控制流相叠加的可执行测试序列生成研究 被引量：2

7

作者 魏仰苏 孟兆航 舒挺 《计算机工程与应用》 CSCD 北大核心 2007年第10期121-124,共4页

提出了一种可执行的测试序列的自动生成策略。先从UML模型中提取出协议模型的EFSM信息,然后利用变迁可执行性分析自动生成可执行的测试序列。该生成策略同时结合了数据流测试和控制流测试的优点,既具有比较高的错误覆盖率,又对通信协议... 提出了一种可执行的测试序列的自动生成策略。先从UML模型中提取出协议模型的EFSM信息,然后利用变迁可执行性分析自动生成可执行的测试序列。该生成策略同时结合了数据流测试和控制流测试的优点,既具有比较高的错误覆盖率,又对通信协议中的数据部分进行了充分的测试,从而提高了一致性测试的效率。 展开更多

关键词 一致性测试 数据流 控制流 TEA树

下载PDF 职称材料

基于UML类图的企业信息视图建模的研究 被引量：1

8

作者 王知强 祝世海 +2 位作者 陈本士 王延娜 纪景志 《哈尔滨商业大学学报（自然科学版）》 CAS 2010年第6期735-738,747,共5页

利用UML方法建立企业的信息视图,研究了在信息建模方面采用类图(class diagram)建立逻辑模型以及逻辑模型向关系型数据库支持的物理模型的转换.

关键词 企业建模 UML 类图 信息视图

下载PDF 职称材料

基于UML状态图的模型信息自动提取技术研究 被引量：2

9

作者 宋瑾钰 魏仰苏 《计算机工程与设计》 CSCD 北大核心 2007年第20期4860-4861,4864,共3页

UML是OMG用于软件系统的可视化、详述、构造和文档化的统一建模语言,状态图是UML模型的重要组成部分,用于描述系统的动态行为。在研究Rational Rose及其状态图文档的基础上,提出了通过UML状态图自动提取模型信息的两种方法—基于LALR(1... UML是OMG用于软件系统的可视化、详述、构造和文档化的统一建模语言,状态图是UML模型的重要组成部分,用于描述系统的动态行为。在研究Rational Rose及其状态图文档的基础上,提出了通过UML状态图自动提取模型信息的两种方法—基于LALR(1)文法和基于Rose的扩展接口的提取方法,并对两种方法进行了比较分析。自动提取模型信息技术提高了协议测试序列的自动生成效率。 展开更多

关键词 UML状态图 模型信息提取 LALR(1)文法 rose扩展接口 协议测试

下载PDF 职称材料

基于BISON的UML语法分析器设计 被引量：1

10

作者 蒋国明 魏仰苏 宋瑾钰 《计算机工程》 CAS CSCD 北大核心 2007年第8期267-269,272,共4页

目前基于UML类图和状态图做面向对象软件测试方面已有不少研究,因此研究如何实现一个UML语法分析器有其现实意义。利用BISON设计了一个UML语法分析器,通过对UML文档的词法语法分析,实现了从UML文档中自动提取用于软件测试的信息,提高了... 目前基于UML类图和状态图做面向对象软件测试方面已有不少研究,因此研究如何实现一个UML语法分析器有其现实意义。利用BISON设计了一个UML语法分析器,通过对UML文档的词法语法分析,实现了从UML文档中自动提取用于软件测试的信息,提高了软件测试效率。在VC6.0环境下对该分析器仿真,实验结果表明,软件能正确提取测试需要的信息。 展开更多

关键词 软件测试 统一建模语言 语法分析器 类图 状态图

下载PDF 职称材料

基于MPLS-DiffServ的LSP动态抢占算法研究 被引量：1

11

作者 魏仰苏 蒋国明 宋瑾钰 《计算机工程与应用》 CSCD 北大核心 2006年第30期145-147,192,共4页

在支持具有不同优先级和不同QoS需求的多业务网络中,抢占是带宽分配和管理的有效策略,但同时也对网络造成了振荡。基于普通的LSP路由方案,提出了一个动态的LSP抢占算法——Min_Prec算法:总是首先抢占最低优先级的LSP;在同一个优先级别... 在支持具有不同优先级和不同QoS需求的多业务网络中,抢占是带宽分配和管理的有效策略,但同时也对网络造成了振荡。基于普通的LSP路由方案,提出了一个动态的LSP抢占算法——Min_Prec算法:总是首先抢占最低优先级的LSP;在同一个优先级别内最优化被抢占的带宽和LSP数目。最后,通过引入一个抢占策略对于路由过程的反馈机制,减少抢占引起的重路由,增强网络稳定性。仿真结果验证了算法的有效性、优越性。 展开更多

关键词 区分服务 流量工程 抢占 MPLS

下载PDF 职称材料

将UML模型转换成SDL模型的方法 被引量：1

12

作者 吴柏青 魏仰苏 蒋国明 《计算机工程与设计》 CSCD 北大核心 2007年第16期3864-3866,3869,共4页

提出了一种将UML模型转换成SDL模型的方法。UML是一种优秀的建模语言,使用UML可以为协议建立模型带来很多方便。但是,UML缺乏形式化语义,因此不能满足协议精确性的要求。SDL是一种用于通信软件规格的标准语言,它拥有形式化语义,而且有... 提出了一种将UML模型转换成SDL模型的方法。UML是一种优秀的建模语言,使用UML可以为协议建立模型带来很多方便。但是,UML缺乏形式化语义,因此不能满足协议精确性的要求。SDL是一种用于通信软件规格的标准语言,它拥有形式化语义,而且有很多商业软件都支持它。在协议设计和开发中,将UML模型转换成SDL模型可以克服这样的缺点。通过为UML制作适当的profile,并制定严格的转换规则可以实现模型的转换。 展开更多

关键词 统一建模语言 规范和描述语言 模型转换 形式化语义 协议

下载PDF 职称材料