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

1

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

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

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

在线阅读 下载PDF 职称材料

地矿工程三维可视化仿真系统设计及实现 被引量：2

2

作者 僧德文 李仲学 《辽宁工程技术大学学报（自然科学版）》 CAS 北大核心 2008年第1期9-12,共4页

为了使采矿工作者更直观准确地判断矿体的空间几何形态、确定其品位及属性分布情况,构筑了一个集成化的地矿工程三维可视化仿真系统框架,设计了既相互独立、又相互联系的系统功能模块和系统内部的数据流程,同时,对系统开发过程中的关键... 为了使采矿工作者更直观准确地判断矿体的空间几何形态、确定其品位及属性分布情况,构筑了一个集成化的地矿工程三维可视化仿真系统框架,设计了既相互独立、又相互联系的系统功能模块和系统内部的数据流程,同时,对系统开发过程中的关键技术、难点及对策进行了分析和探讨,并通过一个实例对系统运行进行验证。所有这些工作,使数字化、可视化技术向地矿工程实际应用中迈进了重要的一步。 展开更多

关键词 地矿工程 地学可视化 系统仿真 软件工程

在线阅读 下载PDF 职称材料

基于短信息服务的移动安全通信系统设计 被引量：1

3

作者 韩丽茹 《电讯技术》 北大核心 2013年第5期619-622,共4页

短信息由于其成本低廉、使用方便等特点,被广泛应用于业务数据交换。但由于其本身的不安全因素,无法满足传递敏感数据需求。为此,设计了基于短信息服务的移动安全通信系统,在移动终端设备、通信链路和应用服务等方面都采取了安全保障措... 短信息由于其成本低廉、使用方便等特点,被广泛应用于业务数据交换。但由于其本身的不安全因素,无法满足传递敏感数据需求。为此,设计了基于短信息服务的移动安全通信系统,在移动终端设备、通信链路和应用服务等方面都采取了安全保障措施。通过短信息服务,可实现移动通信网络和固网应用服务的安全无缝集成。 展开更多

关键词 移动通信 安全通信 短信息 身份认证

在线阅读 下载PDF 职称材料

基于实时性优化的CAN总线织机分布式控制系统 被引量：9

4

作者 戴国骏 张翔 +1 位作者 高申勇 张颖 《纺织学报》 EI CAS CSCD 北大核心 2008年第1期114-117,共4页

为了适应高速织机对电气控制系统通讯实时性的要求,提出了基于CAN总线的织机分布式控制系统。通过分析CAN总线的特性以及与RS-485总线的比较,说明织机采用CAN总线具有优越性和可行性;同时针对影响CAN总线通讯实时性的因素,分别分析了CA... 为了适应高速织机对电气控制系统通讯实时性的要求,提出了基于CAN总线的织机分布式控制系统。通过分析CAN总线的特性以及与RS-485总线的比较,说明织机采用CAN总线具有优越性和可行性;同时针对影响CAN总线通讯实时性的因素,分别分析了CAN协议本身固有缺陷和应用层协议CANOpen在通讯实时性方面的不足,提出CAN网络实时性优化方法,并给出了实时CANOpen协议的实现过程,及织机分布式控制系统结构。系统运行结果表明,控制系统通讯出错率低,运行稳定,具有一定的应用价值。 展开更多

关键词 织机 控制系统 CANOPEN 分布式 实时性

在线阅读 下载PDF 职称材料

一类非线性系统的误差轨迹跟踪鲁棒学习控制算法 被引量：20

5

作者 严求真 孙明轩 《控制理论与应用》 EI CAS CSCD 北大核心 2013年第1期23-30,共8页

针对一类含非参数不确定性的非线性系统,提出一种鲁棒迭代学习控制算法,该算法放宽了常规迭代学习控制方法的初始定位条件,迭代初值可任意取值.基于类Lyapunov方法设计误差轨迹跟踪控制器,通过鲁棒限幅学习机制对不确定性进行估计和补偿... 针对一类含非参数不确定性的非线性系统,提出一种鲁棒迭代学习控制算法,该算法放宽了常规迭代学习控制方法的初始定位条件,迭代初值可任意取值.基于类Lyapunov方法设计误差轨迹跟踪控制器,通过鲁棒限幅学习机制对不确定性进行估计和补偿,能够在整个作业区间上实现误差对给定期望误差轨迹的精确跟踪,期望误差轨迹根据迭代起始时刻的误差值设置.利用期望误差轨迹的衰减性状,可使系统误差在预设的时间点后收敛于原点的邻域内,邻域半径的大小可根据需要任意设置.理论分析和仿真结果表明了控制方法的有效性. 展开更多

关键词 迭代学习控制 鲁棒控制 初值问题 类Lyapunov方法

在线阅读 下载PDF 职称材料

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

6

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

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

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

在线阅读 下载PDF 职称材料

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

7

作者 宋瑾钰 魏仰苏 《计算机工程与设计》 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 职称材料

一种云环境下的镜像文件存储系统 被引量：1

8

作者 王洪发 《电信科学》 北大核心 2014年第2期82-87,共6页

随着云计算的发展进入主流,在云资源池中的虚拟机数量也越来越多,因此为满足负载平衡和节省能源的需求,怎样快速低成本地在不同主机之间迁移虚拟机成为了研究者研究的一个热点问题。设计了一个分布式镜像文件存储系统——IFSpool。基于L... 随着云计算的发展进入主流,在云资源池中的虚拟机数量也越来越多,因此为满足负载平衡和节省能源的需求,怎样快速低成本地在不同主机之间迁移虚拟机成为了研究者研究的一个热点问题。设计了一个分布式镜像文件存储系统——IFSpool。基于Lustre的该存储系统能够完成3个目标:大容量、高扩展性地支持成千上万个虚拟机镜像,高I/O吞吐率的数据访问和针对虚拟机启动风暴的启动优化。IFSpool紧密地结合队列和缓存机制,并通过协调数据访问顺序提高I/O吞吐率和减轻启动风暴。IFSpool的I/O带宽和存储容量能容易地通过动态增加存储节点和服务器扩充。实验结果表明,IFSpool对于虚拟机迁移是非常有效的。 展开更多

关键词 镜像文件存储 云计算 虚拟化 数据存储 LUSTRE I O调度

在线阅读 下载PDF 职称材料

Web应用系统中数据传输策略的研究与实现

9

作者 周志敏 岳国英 +1 位作者 陈忠文 毛辉 《电信科学》 北大核心 2012年第3期83-86,共4页

从数据库和应用的业务流程处理两个角度,讨论了影响Web应用系统数据传输的因素和策略,指出有些策略依赖于DBA、系统分析师、软件设计师的项目经验,重点讨论了一种与经验无关的高效数据传输策略,从理论上对ADMP和ADSP方法的时间复杂度进... 从数据库和应用的业务流程处理两个角度,讨论了影响Web应用系统数据传输的因素和策略,指出有些策略依赖于DBA、系统分析师、软件设计师的项目经验,重点讨论了一种与经验无关的高效数据传输策略,从理论上对ADMP和ADSP方法的时间复杂度进行了分析,并结合实例给出了两种方法的实际数据传输效率对比,证明了ADSP方法的高效性。 展开更多

关键词 WEB应用 数据传输效率 时间复杂度 主动数据库 存储过程

在线阅读 下载PDF 职称材料

基于最小连通支配集的CRL分发系统研究

10

作者 高申勇 张颖 戴国骏 《电信科学》 北大核心 2012年第4期79-83,共5页

CRL(certification revocation list,证书撤销列表)分发效率是制约PKI在无线网络中应用的重要因素之一。针对无线网络节点能量有限的不足和CRL分发的实时性要求,提出了基于最小连通支配集的"推"方式分发方法,并设计了CRL广播... CRL(certification revocation list,证书撤销列表)分发效率是制约PKI在无线网络中应用的重要因素之一。针对无线网络节点能量有限的不足和CRL分发的实时性要求,提出了基于最小连通支配集的"推"方式分发方法,并设计了CRL广播分发协议,协议的设计包括数据结构和报文格式、广播树构造描述,并在协议基础上设计CRL分发系统,最后利用NS-2仿真平台进行模拟仿真。仿真结果表明,当合理设置定时器等待时间时,该系统不仅能适应节点较多的网络,并可以保证较好的传输率、较低的传输开销及较短的传输时间,具有一定应用价值。 展开更多

关键词 最小连通支配集 CRL分发系统 无线网络

在线阅读 下载PDF 职称材料

基于调度的无线自组网邻居节点检测算法研究 被引量：5

11

作者 高申勇 仇建 +2 位作者 张颖 林炳 曾虹 《仪器仪表学报》 EI CAS CSCD 北大核心 2014年第5期1179-1184,共6页

无线自组网实际应用中,查找邻居节点的效率是衡量协议性能的重要因素之一,通常采用竞争机制占用信道。但在节点密度较大的自组网络中,信道载荷加重导致传输成功率降低,造成信息包重传次数增加,从而引起节点能量严重浪费问题。针对该问题... 无线自组网实际应用中,查找邻居节点的效率是衡量协议性能的重要因素之一,通常采用竞争机制占用信道。但在节点密度较大的自组网络中,信道载荷加重导致传输成功率降低,造成信息包重传次数增加,从而引起节点能量严重浪费问题。针对该问题,提出一种基于调度的无线自组网邻居节点检测算法,随机等待P时隙广播消息包后,在获取并分析平均一跳邻居节点数基础上,确定最优时间帧长度初始值,根据成功接收消息包数量实时调整时间帧长度。仿真和实验结果表明,该算法可大幅减少消息包的碰撞概率,有效提高无线自组网的能量利用率和吞吐率。 展开更多

关键词 调度 自适应 邻居节点检测 能量利用率

在线阅读 下载PDF 职称材料

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

12

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

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

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

在线阅读 下载PDF 职称材料

Marching Cubes算法改进研究及应用 被引量：6

13

作者 僧德文 李仲学 +1 位作者 李翠平 李春民 《计算机应用研究》 CSCD 北大核心 2006年第7期50-51,61,共3页

对MC算法进行了改进和优化,运用渐近线判别法解决了原有算法的二义性问题,改善了生成图形的质量;利用线性八叉树结构提高了图形的绘制速度,使实时绘制和交互操作成为可能。运用改进后的MC算法,结合某铁矿实测数据进行矿体表面三维重构,... 对MC算法进行了改进和优化,运用渐近线判别法解决了原有算法的二义性问题,改善了生成图形的质量;利用线性八叉树结构提高了图形的绘制速度,使实时绘制和交互操作成为可能。运用改进后的MC算法,结合某铁矿实测数据进行矿体表面三维重构,得到了满意的效果。 展开更多

关键词 移动立方体法 可视化 表面重构 矿体仿真

在线阅读 下载PDF 职称材料

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

14

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

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

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

在线阅读 下载PDF 职称材料

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

15

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

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

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

在线阅读 下载PDF 职称材料

Internet拓扑建模与演化综述 被引量：2

16

作者 关晓惠 钱亚冠 周志敏 《电讯技术》 北大核心 2011年第11期121-128,共8页

认识Internet拓扑结构及其演化趋势对下一代网络技术的研究至关重要。总结了Internet拓扑研究成果,综述了Internet静态拓扑模型和动态演化模型,着重考察了拓扑在节点度和结构两方面的演化特征,据此提出了今后的研究方向,即运用统计物理... 认识Internet拓扑结构及其演化趋势对下一代网络技术的研究至关重要。总结了Internet拓扑研究成果,综述了Internet静态拓扑模型和动态演化模型,着重考察了拓扑在节点度和结构两方面的演化特征,据此提出了今后的研究方向,即运用统计物理的非广延Tsallis熵理论来研究拓扑特征以及用分层的方式研究Internet拓扑结构,以期取得有效的成果。 展开更多

关键词 下一代网络 Internet拓扑模型 幂律 演化 节点度 TSALLIS熵

在线阅读 下载PDF 职称材料

分层Dirichlet过程原理及应用综述 被引量：3

17

作者 周志敏 高申勇 《计算机应用与软件》 CSCD 北大核心 2014年第8期1-5,41,共6页

Dirichlet过程是一种应用于非参数贝叶斯模型中的随机过程。通过其良好的聚类性质,基于此的模型可以通过简单的Gibbs采样决定参数的个数,从而为模型选择提供方便。近年来,在理论和应用上均得到了迅速的发展,引起越来越多的关注。分层Dir... Dirichlet过程是一种应用于非参数贝叶斯模型中的随机过程。通过其良好的聚类性质,基于此的模型可以通过简单的Gibbs采样决定参数的个数,从而为模型选择提供方便。近年来,在理论和应用上均得到了迅速的发展,引起越来越多的关注。分层Dirichlet过程是LDA模型的非参数模型推广,可以用来构建无穷个基本组元的混合模型。HDP被广泛地应用在概率话题模型的领域。首先说明Dirichlet过程的原理和采样方法,然后将其推广到分层Dirichlet过程中,并重点介绍基于Dirichlet过程的混合模型,最后对分层Dirichlet过程的应用进行了介绍。 展开更多

关键词 话题模型 Dirichlet过程 MCMC

在线阅读 下载PDF 职称材料

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

18

作者 蒋国明 魏仰苏 宋瑾钰 《计算机工程》 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

19

作者 魏仰苏 蒋国明 宋瑾钰 《计算机工程与应用》 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

20

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

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

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

在线阅读 下载PDF 职称材料