计算机工程与科学杂志 北大期刊 CSCD期刊 统计源期刊

计算机工程与科学 2007年第06期杂志 文档列表

计算机工程与科学杂志计算机网络与安全

Web服务事务处理的模型化方法研究1-3

摘要：Web服务技术的出现为解决跨组织的过程集成问题提供了一种模式。在集成和交互的过程中,Web服务需要事务的支持来保持数据的一致性。传统协议规范已经能够支持Web服务下的事务处理,但仍然存在着问题,比如不同事务处理规范之间兼容性处理、消息格式不匹配、补偿机制、超时和事务范围确立等问题还有待解决。本文介绍了一种Web服务系统的层次设计,并给出了一种Web服务事务处理的模型化方法。这种方法在设计初期就对事务的补偿机制、超时和事务范围这些问题进行考虑和解决,使事务处理过程更加清晰和直接。

基于满十六叉有序树的程序行为建模搜索方法4-6

摘要：程序行为建模及搜索是异常检测研究中的关键问题。本文提出利用系统调用发生时的程序计数器值对应的段号和段内偏移作为事件,将滑动窗口在有序事件上滑动得到事件序列集合,利用满十六叉有序树算法建立正常行为模型库。满十六叉有序树是为提高规则库的存储及搜索的效率而设计的,其存储的字节顺序隐含着结点间关系信息。在规则库中搜索某条规则的时间复杂度仅与树的深度有关,树的深度固定时的时间复杂度为O（1）。文中给出了满十六叉有序树的定义,分析了它的特点,并给出生成算法和搜索算法。

基于策略的网络安全防护系统框架研究7-9

摘要：基于策略的安全防护技术是当前网络安全研究的重点,但适于网络环境的安全策略应用机制还很不完善。本文全面分析了实施基于策略的网络安全防护应用系统的要求,提出了一种将安全策略、安全防护行为、网络应用逻辑三者相互独立又有机结合的安全策略防护框架。针对网络应用的行为及其状态特征综合分析了应用系统、安全策略及安全防护行为的形式化描述,制定了网络应用逻辑的监控机制和基于事件驱动的策略执行算法,实现了用策略动态控制应用系统行为的目的,增强了安全防护的灵活性和扩展性。

椭圆与超椭圆曲线密码体制的研究与进展10-13

摘要：椭圆曲线密码体制ECC与超椭圆曲线密码体制HCC是当前密码学领域研究的一大热点,它们都有自身的优势和不足。但是,从近几年密码学领域发展的情况来看,ECC和HCC必将是未来密码学领域应用的最佳选择。本文主要对ECC和HCC的基础理论知识、现状及发展趋势做了介绍和研究,并提出了在HCC的理论与实现中急需解决的一些问题。

分布式环境下用证书实现dRBAC14-17

摘要：对跨越多个管理域的系统而言,dRBAC是一个可升级的、分散的信任管理和访问控制机制。属性证书本质上是面向授权使用PKI的一种扩展方法,以支持与授权相关的任务。本文提出了用证书来实现dRBAC的思想,详细阐述了如何使用属性证书在动态结盟环境下实现dRBAC模型。

基于延迟抖动分析的TCP友好拥塞控制算法18-20

摘要：基于因特网的以UDP为传输协议的实时多媒体数据传输需要在保证实时性和可靠性的基础上,能够与因特网其他服务所使用的TCP协议公平共享有限的带宽。本文采用基于实时传输协议（RTP）和实时传输控制协议（RTCP）的反馈拥塞控制算法,提出一种简单的拥塞控制机制,使UDP数据流能与TCP数据流和平共处;研究了基于速率控制的TCP友好拥塞控制策略—TFRC,分析了其基本机制和关键问题;提出利用延迟抖动作为潜在拥塞信号来改进TFRC的速率控制机制,以适应实时业务低抖动的要求,并通过NS仿真验证了改进的TFRC算法对实时业务的良好性能。

VPN系统中安全策略系统的设计与实现21-23

摘要：VPN技术是解决网络端到端连接的安全问题的一条有效途径,其中的关键方面就是建立适合网络需求的安全策略,而安全策略由一条或多条描述特定行为的规则组成。本文对安全策略模块进行了研究,提出了一个安全策略模型,分析了安全策略管理器中规则的角色和状态转换并加以实现。实验结果表明,VPN系统工作正常,性能稳定。

基于NS2的路由器算法Droptail和RED的分析与比较24-28

摘要：随着因特网的迅速发展,网络拥塞问题日益严重,近年来提出了许多基于路由器的拥塞控制机制。本文详细分析了基于路由器的弃尾（Droptail）和随机早期检测RED拥塞控制机制的设计思想和算法实现。基于NS2网络仿真平台,分别在不同数据流和相同数据流情况下对两种算法的性能和原理进行了对比研究;对仿真结果进行吞吐量、延迟、振荡、丢包率等各项QoS指标的详细分析和比较,并给出了相应结论。

下一代互联网存储集群系统的设计与实现29-31

摘要：针对以IPv6为主要特征的下一代互联网的需求,本文介绍了将基于对象的分布式文件系统Lustre由仅支持IPv4改进为同时支持IPv4与IPv6双协议栈的设计原则与实现,并测试比较了Lustre在IPv6与IPv4环境下的性能。其中的设计原则是通过分析Linux系统的IP协议栈得到的,因此同样适用于其他期望使用Linux的Socket接口实现支持双协议栈的网络程序。

TCP报文在操作系统探测系统中的应用32-35

摘要：操作系统探测是网络攻防研究的一项重要内容,它既可以为安全检测服务,也可以为网络攻击提供基础。本文首先深入分析现有国内外操作系统探测工具存在的问题,然后在研究TCP报文结构的基础上提出了基于TCP报文分析的操作系统探测方法,并利用该方法实现了基于TCP报文的OS探测系统。系统能够直接对目标主机进行探测,分析操作系统类型、开放端口服务等。

计算机工程与科学杂志图形与图像

基于FCM算法与互信息量的图像自动分割36-38

摘要：传统的阈值分割算法只考虑到图像的灰度信息,而忽略了灰度的空间分布以及分割后图像与原图像之间的关系。本文从分割图像与原图像的内在联系出发,提出了一种新的基于FCM算法与互信息量技术相结合的分割算法,即FCM-MI算法。首先利用FCM算法确定全局阈值作为初值,以互信息量为目标函数,在小范围内计算分割图像与原图像的互信息量,互信息量达到最大时的阈值即为最优值。对大量医学图像和车牌图像进行的实验结果表明,本算法所得到的目标图像的边界特征保持完好,虚假目标信息大大降低,图像边界细腻、连续且定位性能好。

成像卫星任务规划可视化仿真系统实现技术39-41

摘要：对成像卫星任务规划的方案进行可视化仿真分析,是确保成像卫星任务规划的可靠性和高效益的有效途径。本文在分析成像卫星任务规划的可视化仿真特性、建模特性、数据处理技术等的基础上,设计了一种适合于成像卫星任务规划的可视化仿真系统。该系统基于GIS设计了任务规划二维规划视图,在STK基础上构建了任务规划三维视景仿真分析环境。同时,建立了资源库,对仿真的场景、模型资源进行有效管理。该系统已成功应用于某卫星任务规划系统,提高了成像卫星任务规划的效率。

图像搜索中基于网页分块的图像分类研究42-44

摘要：本文提出并实现了一种基于网页分块的图像分类模型,利用图像位于网页中的特点,将图像和网页结构有效地结合起来对网络环境中的图像进行分类。首先利用VIPS页面分块算法对网页进行分块,然后根据分块网页结构的特点将各分块网页中的图像分为背景类、广告类和主题类,最后利用这个图像分类结果指导网络环境下的图像搜索。实验结果表明,这种方法能够显著提高图像搜索性能。

一种分布式实时视景仿真系统中的DR算法研究45-46

摘要：在分布式实时视景仿真系统中,由于多武器平台的客观因素,使得系统中网络传输数据量大大增加,DR算法是DIS中提出的减少网络传输数据量的重要方法。本文根据实际分布式实时视景仿真系统中常用的数据标准,提出了一种时间步长具有可变性的通用DR算法,并通过实验数据说明二阶和三阶算法的适用范围。

计算机工程与科学杂志算法研究

专家系统辅助的多Agent蚁群算法研究47-50

摘要：本文提出了一种使用专家系统辅助的多Agent蚁群算法,该算法使用专家系统来辅助蚂蚁寻找可行路径,更好地适应了具有动态复杂约束的生产调度问题。它采用JESS专家系统外壳、JADE多Agent平台构建系统,对大规模定制供应链调度模型进行了算法检验。

一种基于赌选择遗传算法的随机微粒群算法51-54

摘要：以保证全局收敛的随机微粒群算法SPSO为基础,本文提出了一种改进的随机微粒群算法——GAR-SPSO。该方法是在SPSO的进化过程中,以赌选择机制下的遗传算法所产生的最优个体来代替SPSO中停止的微粒,参与下一代的群体进化。通过对五个多峰的测试函数进行仿真明：在搜索空间维数相同的情况下,GAR-SPSO收敛率及收敛速度均大大优于SPSO。

一种解决更新相关的更新冲突协商算法55-56

摘要：针对数据一致性维护过程中存在的更新相关问题,本文提出一种更新冲突协商算法,利用Bloom Filter压缩技术表示更新,通过结点间的分工协作发现和解决更新相关冲突,并实现副本最终一致。模拟测试结果表明,该方法在一致性维护开销方面具有较好的性能。

一个改进的基本方向约束一致性的判定算法57-60

摘要：基本方向约束的一致性判定是定性空间推理中的基本问题之一。本文采用将基本方向约束集转化成有向图的方法,给出了一致性判定的相关结论,并据此在Skiadopoulos算法基础上提出了一种改进算法。新算法不但能判定出所有导致不一致的约束子集,而且还提高了执行效率。