高级搜索

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

2003年  第29卷  第10期

  上一期 | 下一期 
显示方式:
论文
实闭域计算的一个实用有效方法
马世龙
2003, 29(10): 847-851.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (272KB) 9
摘要:
在计算实践中,处理大型多项式时,由于复杂性原因,实闭域一阶理论判定方法实际上无效.因此寻找求解多项式方程与不等式组的有效方法(未必是判定方法)是符号计算中的重要问题.为解决这一问题,将Budan-Fourier 定理与Ritt-Wu 方法结合提出确定多项式方程实根和证明不等式的简单有效方法.尽管该方法不完备,但是在计算实践中发现这一方法对许多例子在计算上很有效.
动态构造网管中管理功能与被管对象的关联
钱德沛, 栾钟治, 陈衡, 李云春
2003, 29(10): 852-855.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (262KB) 8
摘要:
在动态构造的网络管理中,管理功能与被管对象的关联机制是核心关键技术.这种关联机制采用被管对象集MOS(Managed Objects Sets)的思想.MOS提供对协议、设备及应用相关的被管对象的定义及描述,通过动态编译的技术生成及扩展MOS,并通过对MOS的访问实现与管理功能的关联.
WSDL表示模型与实现方法
马殿富, 葛声, 刘旭东
2003, 29(10): 856-859.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (228KB) 8
摘要:
WSDL(Web Services Description Language)是Web Services技术的重要组成部分.由于WSDL通常采用协议描述,缺乏严格性和准确性.从逻辑上看,实现技术缺乏一致性.首次提出WSDL形式化模型,提出一种新的集合——Services集,该集合采用严格的数学方法来定义WSDL文档,采用Services集合可以作为WSDL表示模型,严格、准确地形式化表示WSDL文档结构和实现WSDL机制的程序语义.基于Services集给出了一种实现WSDL表示模型的算法.
基于目标操作化的多引擎协作体系结构研究
张文, 怀进鹏, 刘旭东
2003, 29(10): 860-864.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (292KB) 8
摘要:
基于目标操作化的域原子操作模型,研究分析了面向应用目标的系统设计与实现的基本问题,通过引入解释引擎,提出了面向目标的形式模型与应用软件设计实现的一体化机制;在系统级应用中间件之上,引入组件服务,提出了一个通过处理操作作业流实现目标的、多个操作服务引擎协作的体系结构,通过构造组件适配器,以满足操作服务引擎对异构组件服务的一致性访问.
虚拟场景中半动态对象的层次运动模型
王莉莉, 赵沁平
2003, 29(10): 865-868.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (290KB) 9
摘要:
为了增强视觉沉浸感,虚拟场景中存在着大量的树木、火焰、烟尘等半动态对象.针对这类对象进行运动描述时计算开销大,严重影响仿真的实时性能的问题,提出一种层次运动模型LOM(Level of Motion).首先给出了半动态对象的定义;然后根据该类对象的特点提出了层次运动模型;最后以树木随风实时摆动行为的建模为实例,对该模型的有效性进行了验证.实验表明该模型的应用可以在保证虚拟场景视觉效果逼真的同时,使仿真获得较为理想的实时性能.
上下文无关文法测试充分性
李虎, 金茂忠, 高仲仪, 刘超
2003, 29(10): 869-872.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (264KB) 8
摘要:
讨论了文法测试的基本概念,分析了文法测试的特点、应用场景及其与一般软件测试的异同.形式化地定义了上下文无关文法的测试充分性准则,提出了一个上下文无关文法的测试充分性准则族.分析了该准则族中各准则之间的包含关系,以及这种包含关系与揭示文法所特有的2类缺陷的能力之间的关系. 计算和比较了准则族中各准则的测试集规模复杂性.为了评价文法的测试开销,定义了一个上下文无关文法的测试复杂性度量,该度量能够从测试充分性的角度反映测试一个文法的难易程度和测试开销的大小.
分布式多媒体系统模型与传输控制算法的研究
侯亚荣, 熊璋, 欧阳元新
2003, 29(10): 873-876.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (275KB) 9
摘要:
作为分布式多媒体系统通信与表现控制研究的基础,提出分布式多媒体系统整体模型DMISIM(Distributed Multimedia Information System Integrated Model),将分布式多媒体系统抽象为3元组——多媒体同步时间单元SIU(Synchronization Interval Unit)、通信信道以及信道与SIU序列之间的一一映射关系．模型描述多媒体信息和通信网络的静态属性,反映系统通信传输的动态过程．基于DMISIM,对分布式多媒体通信传输控制机制进行研究,提出最小偏差调度算法MDSA(Minimum Deviation Scheduling Algorithm)作为古典列表调度算法CLSH(Classic List Scheduling Heuristic)的改进．理论分析和逻辑推导证明,在不增加算法时间复杂度,不降低多媒体同步表现质量的同时,算法提高了系统目的端缓冲区利用率,降低了缓冲区需求及多媒体数据溢出的可能性．算法与底层通信传输机制无关,可以广泛应用于分布式多媒体系统的通信传输过程中．
基于层次模型的分布服务注册与恢复算法研究
袁满, 胡建平, 何锐, 阚志刚
2003, 29(10): 877-880.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (278KB) 9
摘要:
在对数据复制协议进行充分研究的基础上,提出了基于层状模型的分布式服务注册与恢复算法,将各个管理域内的服务定位器(SL)组织成一个逻辑上的层状模型,通过复制协议实现服务注册消息向各管理域服务定位器的注册.为加快注册消息传播,提出了域内与域间消息传播的控制策略.对提出的算法进行了仿真,结果表明策略控制加速了服务注册消息的传播.
基于Web的带宽自适应组件化多媒体监控系统
范圣印, 李波, 张光卫
2003, 29(10): 881-884.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (307KB) 9
摘要:
当前的分布式多媒体监控系统存在通用性、易用性和扩展性不足等缺点,且不能自适应多种网络状况.为解决其通用性、易用性问题,参考流媒体系统结构,给出了基于Browser/Server模式的监控系统结构.为增强其可扩展性,在DirectShow技术基础上,设计了基于COM的监控系统软件结构.采用带宽自适应的策略和方法,实现了系统对多种网络状况的动态自适应.
Web服务运行管理平台安全结构的研究与实现
薛伟, 刘旭东, 葛声, 林学练
2003, 29(10): 885-888.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (272KB) 9
摘要:
使用安全管理域等基本概念分析了Web服务运行管理平台WSR(Web Service Runtime)的应用模式和安全需求.提出了基于链式处理结构的WSR安全结构.该结构支持多种新型安全技术和规范,灵活、可配置,为WSR及其所管理的Web服务提供了较为全面的安全保护.
组合Web Service支撑系统的研究与实现
杜宗霞, 怀进鹏, 王勇, 张煜
2003, 29(10): 889-892.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (271KB) 7
摘要:
为实现Internet环境下企业间的业务过程集成,分析、研究了业务过程集成的基本功能需求及Internet环境下业务过程集成的新需求,讨论了组合Web Service支撑系统的原理及其体系结构.该系统为组合Web Service提供了定义、部署、运行及监控管理等较完善的功能支持,并利用服务的动态组合机制解决了Internet环境下跨企业业务过程集成动态性要求高的问题.
支持自愈恢复的MPLS流量工程路由机制
黄河, 李伟琴, 张辉
2003, 29(10): 893-896.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (273KB) 4
摘要:
提出基于策略和流量特征的约束路由算法,算法根据网络资源和流量分布特征,为不同流预先分配带宽,优化网络资源的使用.将显式路由计算和故障恢复机制相结合,设计和实现基于MPLS(Multi Protocol Label Switch)的故障恢复系统,提高MPLS网络的生存性.
基于Web服务的网络软件运行平台研究与实现
葛声, 马殿富, 胡春明, 杜宗霞
2003, 29(10): 897-900.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (273KB) 4
摘要:
Web服务运行平台是一组软件的集合,它们通过标准协议或规范进行交互,形成一个面向Web服务及其应用部署、运行、监控和管理的系统环境.平台设计依据分层处理原则,采用核心运行环境、动态服务部署和插件式资源管理的系统结构进行实现.平台通过信息门户、工作流处理、系统服务、运行管理和安全控制机制为基于Web服务的互联网软件提供了一类应用支撑框架.
基于移动代理的自动入侵响应实施方法研究
郎波, 郑久丹, 刘军和
2003, 29(10): 901-904.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (300KB) 4
摘要:
为了在发现入侵行为后,对系统实施快速、有效的保护,提出了基于移动代理的自动入侵响应系统.通过响应分析自动产生响应计划,并自动派遣移动代理对被攻击主机实行封帐号、封端口、扬声器报警、关机等动作,或通过移动代理进行防火墙联动.响应计划的执行受到动态监控,并根据执行情况动态调整响应计划.所实现的原型系统已在金航网动态防御体系中得到应用,运行结果表明基于移动代理的自动入侵响应能对系统提供有效的保护.
一种鲁棒性盲水印算法
蔡苏, 齐越, 沈旭昆
2003, 29(10): 905-908.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (300KB) 8
摘要:
鲁棒性数字水印特别是盲水印是保护数字作品版权的重要手段.提出一种针对彩色图像的鲁棒性盲数字水印方法.该方法根据灰度图水印信号序列,结合宿主图像DCT(Discrete Cosine Transformation)系数相关性自适应地嵌入水印信号,提取水印时不需要原始宿主图像,可以批量处理,适用在Internet上检测侵权数字作品.实验结果证明该方法对JPEG有损压缩、裁减等处理操作具有较好的鲁棒性.
虚拟现实中的增强虚境技术
郝爱民, 何兵, 赵沁平
2003, 29(10): 909-913.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (331KB) 7
摘要:
增强虚境技术在基于图形的建模与绘制(GBMR)框架下利用基于图像的建模与绘制(IBMR)方法描述复杂对象及加速场景绘制,可以解决虚拟现实研究中逼真绘制与实时显示间的矛盾.将国内外增强虚境方面的最新研究成果按融入合成场景中图像对象包含几何信息的比例划分成3大类,分别是在合成场景中融入纯图像对象、融入部分几何信息的图像对象及利用IBMR方法加速场景绘制,介绍了3类工作中新的研究成果,分析了这些成果的基本原理、方法、过程和优缺点,提出了该领域技术发展面临的5大问题及可能的解决方法．
VLIW上的软件旁路与细粒度并行调度
朱凯佳, 王雷, 尹宝林
2003, 29(10): 914-918.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (319KB) 5
摘要:
描述并分析了一种新型的VLIW(Very Long Instruction Word)机器模型,为充分利用该模型的并行特性,提出了基于静态单一赋值(SSA)表示的软件旁路方法,以及集成的基于操作的指令调度与寄存器分配算法.与常规的软件旁路方法和基于周期的调度方法相比,该方法可以灵活地进行结果寄存器的分配,并有效减少由重用结果寄存器导致的"危险值"溢出次数,生成高质量的目标代码.
多层次多策略的分布式网络信息过滤系统模型
黄鑫, 尹宝林
2003, 29(10): 919-922.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (278KB) 6
摘要:
在分析现有网络信息过滤技术的基础上,描述了一种多层次、多策略、可扩展的分布式网络信息过滤系统模型框架.该模型框架包括网络信息数据分析、过滤及转发等功能,采用细粒度的内容过滤策略,在保证信息数据安全性的基础上,提高了数据转发的速度,缩短了数据传送的延时,并可以插件的形式灵活地挂载过滤程序,具有很好的开放性和可扩展性.该系统模型可以根据具体的需求,以模块的形式灵活地重组和配置各项功能,可在分布式环境下协同工作,提高了系统的性能.本系统的各种数据处理过程对用户是完全透明的,减少了对用户的影响.
嵌入式红外视频数字录像机的设计与实现
王庆元, 王瑞, 李波, 滕浩
2003, 29(10): 923-926.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (294KB) 5
摘要:
设计并实现了嵌入式红外视频数字录像机.它基于PC/104Plus体系结构,实现了PCI数据传输,在FPGA(Field-Programmable Gate Array)的控制下、使用2个存储单元轮换存储方式硬件化地实现了红外视频采集与数据传输、红外视频播放与数据传输的并行操作.该录像机人机界面友好,文件管理完善.
基于分类及不确定墒的DS证据合成及判决方法
何兵
2003, 29(10): 927-930.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (276KB) 4
摘要:
提出了一种基于证据分类及不确定墒的修正证据合成方法,以解决证据冲突情况下的合成问题,该方法模仿人处理冲突信息时所经常采用的策略,即首先将证据分类,保证分在同一类中的证据具有较大的相似性,然后依据分类结果中各类证据的个数以及其本身具有的不确定性程度,决定对该类合成结果的信任度,并通过加权方法得到最终的合成证据.
软件度量过程的研究与实施
任发科, 周伯生, 吴超英
2003, 29(10): 931-934.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (278KB) 4
摘要:
软件度量过程是实施软件过程改进的基础.为了建立支持过程改进的软件度量过程,研究了几种与过程改进有关的度量标准、模型.然后提出一种基于实用软件度量的改进过程,并对过程的实施进行了说明.
基于UML的集成化软件开发环境的研究与实现
田丽从, 张莉, 周伯生
2003, 29(10): 935-938.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (301KB) 5
摘要:
统一建模语言UML(Unified Modeling Language)的出现为研制和开发集成化面向对象软件开发环境奠定了基础.针对当前软件开发方法中所表现出的新特点,结合用户在项目开发中的实际需求,讨论了基于UML的集成化软件开发环境的设计思想及应具备的主要功能,介绍了基于该思想开发的可视化建模工具UML/Designer的功能体系结构和实现情况.
可自组织的网络测量基础设施研究
李云春, 李巍, 钱德沛
2003, 29(10): 939-942.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (271KB) 5
摘要:
在分析现有网络测量基础设施的基础上,提出了一种基于层次化覆盖网络(hierarchical overlay network)的管理机制,应用于网络测量基础设施,实现测量节点的可管理性和自组织性,减少人工干预开销和错误,并使整个测量基础设施具有良好的可扩展性.
组合Web服务建模工具的设计与实现
崔航, 马殿富, 王勇, 杜宗霞
2003, 29(10): 943-946.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (269KB) 8
摘要:
通过分析IBM提出的Web服务流程描述语言(WSFL),设计并实现了一个基于WSFL的组合Web服务建模工具(CWSMT).该工具还可与Web服务运行环境相结合,将图形化的建模结果转换为可部署、可运行的组合Web服务,实现组合Web服务的建模、部署与运行监控过程的一体化.
一种基于历史数据的软件缺陷预测方法改进
朱永春, 徐红
2003, 29(10): 947-950.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (268KB) 7
摘要:
捕获-重捕获方法常用于评审会后对产品残留缺陷数的估计.使用均方误差对几种基于捕获-重捕获模型的估计器性能进行评估.然后提出一种基于历史数据的估计器改进方法,并对改进前后估计器的缺陷预测效果进行对比分析.
常见问答

版权所有 © 《北京航空航天大学学报》编辑部

通讯地址：北京市海淀区学院路37号 《北京航空航天大学学报》编辑部　 邮编：100191 邮箱：jbuaa@buaa.edu.cn

本系统由 北京仁和汇智信息技术有限公司 开发    百度统计