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

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

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

LINUX下一种安全的SSLVPN设计与研究1-2

摘要：结合SSL VPN的实现，本文介绍了SSL的概念和协议，详细阐述了一种SSL VPN服务器的具体架构设计与实现。SSL VPN能够提供更安全的连接。

组合Web服务的分散协调模式3-6

摘要：本文针对组合Web服务的集中协调模式的弊端，分析了组合Web服务的分散协调模式的优点，并结合在BPWS4J运行环境下的具体例子，讨论分析了分散模式下系统构造期和运行时所面临的问题及解决方案。

无线局域网认证协议及安全性证明7-8

摘要：身份认证和密钥协商方案的安全性是网络和分布式系统安全的重要基础和前提。本文提出了一种适用于无线局域网的认证机制WKE，并采用BAN逻辑对之进行了安全性分析和证明。

通用对等网络模拟器的设计与实现9-11

摘要：通用对等网络模拟器是研究对等系统的基础。本文探讨了通用对等网络模拟器的设计原则，设计了一种易扩展、可配置和模型可选择的通用对等网络模拟器，并给予实现。

基于TLA＋的BRP协议规约及验证12-15

摘要：BRP协议是为不可靠信道上传送大数据包文件设计的工业协议。该协议的正确性依赖于各部件实时方面的假设。本文主要阐述了使用时序规约语言TLA＋对BRP协议进行规约和验证的过程。首先通过自然语言非形式化地描述BRP协议的基本原理和需求，在此基础上建立了BRP的形式化模型，利用TLA＋先对不考虑实时要求的BRP进行规约，然后添加实时约束获得BRP完整的规约，最后使用模型检验器TLC验证BRP协议的各种性质。

一种带时延约束的选播路由算法16-18

摘要：选播是一种新型的网络服务，它使用户通过一个选播地址就能访问到该地址所表示的一组服务器中对用户来说“最近”的一个。在实时性要求较高的业务传输过程中，保证信息传榆时延尽可能小是非常重要的。本文研究时延受限的选播路由问题，提出一种时延受限的选播路由（DCAR）算法，生成一棵以时延为度量且代价最小的选播生成树。仿真实验结果表明了该算法的正确性和高效性。

基于系统观的网络突现性研究19-21

摘要：因特网作为一个复杂适应系统，呈现了许多突现性。本文重点提出因特网中的两个突现现象：网络流量呈现自相似以及拓扑结构呈Power-law分布，并对其现象及其形成机制进行了初步探讨；同时，对网络上业务量的自组织临界性进行了简单的分析，从而提出用复杂科学理论来研究探索网络复杂性，对研究和开发下一代网络体系结构具有积极作用和影响。

安全协议的进程代数规约到逻辑程序的自动转换22-24

摘要：安全协议用于实现开放互连网络的安全通讯，它本质上是分布式并发程序，使用进程代数可以将其描述为角色进程的并发合成系统。使用抽象方法，安全协议角色进程并发合成模型可以转化为逻辑程序；通过计算逻辑程序的不动点，能够对安全协议无穷会话的并发交叠运行进行验证。本文基于Objective Caml语言，实现了安全协议进程代数描述到安全协议逻辑程序的自动转化。

WLAN QoS机制的分析及改进25-27

摘要：本文首先分析了IEEE802．11无线局域网的MAC接入机制，针对802．11e在提供QoS上的局限性，CFB的使用让EDCF机制得到了更为有效的扩展。本文在EDCF-CFB的基础上提出了一种群ACK确认机制并从理论上进行了分析。

基于网络教育集成平台的安全系统的设计与实现28-30

摘要：本文以网络教育系统集成为应用背景，阐述在支撑平台中实现的一个基于XML安全技术系统的设计方法、系统结构和功能模块，为开发其他应用系统提供了一个具有互操作性、可移植性、可扩充性和可雏护性的安全平台。

一种基于移动IP的RSVP协议扩展方案31-32

摘要：目前的RSVP协议是针对固定网络的特性设计的，不适于移动无线网络。本文提出了一种RSVP协议的扩展方案，使其适用于移动IP网络，减小了发生拥塞的可能；最后通过模拟验证了其性能。

基于APDR信息系统安全防护体系模型的分级防护策略研究33-35

摘要：本文在提出APDR信息系统安全防护体系模型的基础上，对信息系统中信息价值级别及其可能面临的最大威胁强度进行了划分，并针对相应的安全防护强度等级和安全防护技术等级制定出了相应的安全防护策略，这对信息系统进行安全防护体系设计具有非常重要的意义。

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

基于背景构造的视频对象分割技术36-38

摘要：基于背景帧通过变化检测技术分割视频对象时，背景构造和阴影消除是两个非常重要的问题。本文提出了一种稳健的背景构造技术，利用计数器累积判决像素点是否属于背景，使得构造的背景帧更加可靠，背景的自动更新可以自适应于光照的慢变化。最后，根据光反射模型消除了阴影的影响。

LCD定标器图像缩放引擎的设计39-40

摘要：定标器（Scaler）的主要功能是时视频图像的分辨率进行变换，使图像能够正确地显示在分辨率固定的LCD显示器上。本文首先对定标器的输入输出数据格式进行说明，然后给出一种定标器图像缩放引擎的设计。

结合指纹识别的电子印章系统的研究41-44

摘要：针对办公自动化、电子商务和电子政务等应用对印章提出的新要求，本文根据指纹识别的基本原理，在PKI模型下结合数字签名和数字水印技术，提出一种既符合人们习惯又具有法律效用的电子印章系统解决方案。

基于OpenGL的一种三维拾取方法45-46

摘要：本文介绍了一种基于OpenGL的三维拾取方法，该方法可对三维地形图上的任意点进行拾取，并反馈拾取点的三维信息。在正交投影模型中，将整个图形划分成若干块均匀区域，先判断二维输入点落在哪块区域；然后再对选中的区域细化，判断输入点所选中的图元，并根据该图元的顶点信息求出二维输入设备所对应的第三维的值；最终返回该拾取点在物体坐标系下的真实三维坐标，从而实现图形交互功能。

基于Java 3D的生物大分子模拟可视化系统47-50

摘要：本文采用基于Java 3D的三维可视化编程环境，利用Java 3D、Java Applet、Java多线程等技术，开发了一个适于网络环境的生物大分子模拟的可视化系统，有效地解决了网络环境下生物大分子模拟计算中的三维图像的动静态显示、用户交互、进程控制等问题。

一种改进的基于三角形折叠和包络的网格简化51-53

摘要：我们提出了一种带属性的三角形网格简化方法，该方法利用包络和二次误差矩阵来共同控制简化：利用包络控制网格简化的全局误差，保证简化的整体效果；利用二次误差矩阵对网格简化的局部误差进行控制，以保持模型的局部特征和细节。算法中还加入了颜色、纹理方面的参数，以保持模型的颜色和纹理特征。