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

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

计算机工程与科学杂志编委约稿

信息系统及其综合集成技术1-4

摘要：信息与信息系统无处不在，信息化已成为当今的时代特征。本文通过对这一时代特征的透视，首先阐明计算机信息系统的切确含义和基本结构；然后指出，为适应信息世界的不断变化和发展，一体化信息系统所需的综合集成是柔性的，并揭示支持随需应变的若干敏捷软件技术；进而就相关的平台软件，包括基础中间件和各类应用集成中间件，以及领域应用框架进行分类并作必要诠释；最后讨论信息系统的发展趋势和云计算等若干热点问题。

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

正则表达式匹配的高效硬件实现5-7

摘要：正则表达式具有编写简单和描述能力强的特点，在报文深度内容检测中得到了广泛应用。但是，由于处理复杂，基于软件的正则表达式匹配的实现难以满足大流量下报文的内容检测。本文首先对实现正则表达式匹配的多模式确定有限自动机（MPDFA）方法进行研究，并基于该方法提出基于硬件实现报文正则表达式匹配的微引擎结构。最后，给出了我们基于Altera CycloneⅡ FPGA实现的报文深度内容检查实现方案。其核心是四个实现正则表达式匹配的微引擎。测试表明，通过四个微引擎的并行处理可实现千兆以太网接口报文的线速内容检查。

Netfilter／Iptables框架下基于TCP滑动窗口的串行流量控制算法8-11

摘要：传统的基于流量整形的流量控制算法通常需要建立对应的队列模型，实施起来极为复杂，而且所有数据包都要进入整形队列，加大了网络延时。本文从TCP协议拥塞控制和数据包组包机制出发，提出了基于TCP滑动窗口的串行流量控制算法，通过改变TCP发送端窗1：7的大小来达到流量控制的目的。本文在Linux内核Netfilter／iptables框架中实现了该流量控制方法，在部署的网络环境中，比较了不同参数设置下的算法效果。与CBQ算法相比，该方法降低了数据包在队列中排队整形的延时。

基于量子遗传退火策略的多播路由优化模型及其算法12-14

摘要：针对网络通信中带时延约束的多播路由问题，提出了一种基于量子遗传退火策略的路由算法。文中对路由选择问题的优化模型进行了描述，并深入研究了量子遗传退火及其在多播路由选择优化问题中的应用。仿真实验表明，与基于遗传算法的多播路由算法相比，该算法具有更快的收敛速度和更好的全局寻优能力。

关于推荐2009年CCF优秀博士学位论文的通知14-14

摘要：为激励计算机领域的博士研究生潜心钻研，务实创新，解决计算机领域中需要解决的理论和实际问题，使做出优秀成果的年轻学者获得同行认可并有成就感，中国计算机学会（CCF）2009年度优秀博士学位论文推荐工作即日启动，现将有关内容通知如下：

基于用户授权的安全移动存储模型研究15-17

摘要：目前针对移动存储设备的信息安全防护需求非常迫切，防止移动设备中的隐秘信息泄露问题尤其突出。本文采用Windows NT内核操作系统的驱动框架．基于文件系统过滤驱动技术对移动存储设备中的数据进行透明加／解密，同时加入用户参与授权应用程序可信性的机制来进一步提高移动存储设备的安全性。

一种安全网络在线支付协议的设计与分析23-26

摘要：为了实现安全的网络在线支付，国际上已经提出了多种安全支付协议，其中SSL是目前国内网络在线支付中最常用的安全协议。本文分析和总结了SSL的不足之处。针对这些不足提出了一种安全网络在线支付协议SNOPP，并对该协议进行了分析。分析表明，本协议可以保证网络在线支付交易的安全性、原子性、可确认性和公平性。

一种支持信息检索的安全网络文件存储模型27-29

摘要：网络技术的发展使利用网络进行文件存储和共享逐渐成为一种重要的网络应用模式。如何在网络上存储文件并实现安全有效的共享成为一个必须解决的问题。当前对安全的网络存储模型的研究大都集中在安全方面，对共享所必须的信息检索支持不充分，这大大影响了数据的共享性。本文提出了一种新型的网络存储系统模型，该模型综合运用了压缩、加密和信息检索等技术，能有效地解决信息中的网络存储的安全性和共享性问题。在原型系统上进行的实验表明，该模型具有良好的性能。

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

基于预测和粒子滤波的运动目标跟踪算法30-32

摘要：本文提出了一种改进的基于预测和粒子滤波的运动目标跟踪算法，在预测算法的基础上，结合GVF-SNAKE理论和粒子滤波器，实现了对运动目标的准确跟踪。本算法首先根据预测算法得到目标初始预测轮廓，把初始预测轮廓上的每个蛇点作为一个目标，利用粒子滤波算法对各蛇点分别进行预测，得到各蛇点的最终预测轮廓，从而实现了运动目标的准确跟踪。实验结果表明，本文算法能够对运动目标进行准确的跟踪，并具有较强的抗遮挡能力。

基于计算机视觉的玻璃瓶在线检测方法36-38

摘要：本文在阐述数字图像处理和数理统计原理的基础上，提出了通过实施采集视频信号获得序列图像来进行一系列图像处理和缺陷提取判别的完整技术方案，并重点给出了图像预处理、检测软件算法的研究和软件系统的设计。

一种基于灰度图像的车牌定位方法39-41

摘要：采用粗定位一倾斜矫正一精确定位三步结合的方法实现车牌定位，克服了由于拍摄角度问题带来的倾斜车牌定位不精确的问题，减少了计算量，继而提高了车牌定位技术中后续的字符分割和识别的精确性。

基于改进的分块LVP直方图的人脸建模和识别算法42-44

摘要：本文提出了一种改进的基于LVP的人脸建模和识别算法。首先，利用K均值聚类算法获得LVPS dictionary；然后，利用获得的LVPS对人脸进行建模，该方法比传统的建模方法计算更简单；最后，利用分块后的LVPS加权直方图索引进行人脸识别。实验表明．本文所提出的方法比传统的LVP方法具有更好的识别效果。

一种细胞核内DNA物质含量准确测量及回归校正新方法45-48

摘要：在定量细胞学研究中，细胞核内DNA物质含量的准确测量是癌症筛查与病理诊断的必要前题与最重要依据。由于算法、设备、环境等因素的影响，在对细胞核的数字显微图像进行处理与分析、测量DNA物质含量时会产生较大的误差。本文提出了一种基于数学形态学和k近邻回归算法的DNA物质含量校正新方法。该方法首先利用膨涨算法对细胞核分割掩码进行处理，从而对DNA物质含量的测量进行空间校正；然后采用k近邻回归算法，充分利用细胞核的形态、纹理等特征参数所蕴含的信息。从而对DNA物质含量进行光学回归校正。实验表明，该方法能够显著提高DNA物质含量测量的准确性和可信度，对提高病理诊断的特异性与敏感性都有积极的意义。

一种改进的运动模糊图像复原算法49-52

摘要：根据运动造成图像模糊的特点，本文阐述了匀速直线运动模糊图像的退化模型，介绍了维纳滤波复原方法，提出了一种改进的运动模糊图像复原算法。该算法首先加强Radon变换算法的抗噪性能，利用自相关运算估计点扩展函数的模糊尺度参数，采用改进的K值自动估计算法较准确地估计出K值，再用维纳滤波复原图像。结果表明，这种改进的综合算法能够较为精确地估算出运动模糊图像的模糊参量，取得了较好的复原效果。

计算机工程与科学杂志软件工程

Pi演算对图灵机的表达53-55

摘要：为了研究Pi演算的表达能力，我们试着用它来表达图灵机。研究结果表明，只要对Pi演算进行一定的的扩展，即引入某些函数符号，允许对发送的名字作一定的运算，就可以用Pj演算的规约来表达图灵机的运算过程。

常用的基于控制流的测试充分性准则56-59

摘要：本文介绍了几种在软件测试中常用的基于控制流的测试充分性评价准则。这些测试充分性准则适用于用过程式语言、面向对象语言编写的程序。测试人员可用这些准则判断究竟测试了多少代码，还有多少代码未测试到。

基于Petri网的WSCI形式化模型分析60-63

摘要：WSCI是一种Web服务组合标记语言，对于一些关键的业务流程，任何设计错误都会造成重大损失，因此有必要为WSCI语言建立形式化模型并给予分析，从而保证正确的业务流程部署。本文主要给出了WSCI的分析方法，基于文献给出了形式化模型，提出了该形式化模型下的一种网融合方法。该方法将表示进程的网模型与其表示例外处理和子流程的网模型进行合并，形成统一的网模型。本文最后还给出了在该网模型下的可达图分析方法，从而达到分析带有例外处理的WSCI形式化模型的目的。

基于Agent的模型转换及其支撑软件工具ODAMTransformer64-68

摘要：模型驱动开发技术通过不同抽象层次模型的建立和转换，可有效提高软件开发的效率和质量。本文将模型驱动开发思想引入到面向Agent软件工程，研究了基于Agent的模型转换技术，并将它集成到面向Agent的软件开发方法学ODAM中。ODAM将基于组织抽象所建立起来的模型视为平台无关模型，将基于特定平台所建立起来的模型视为平台相关模型，支持模型驱动的软件开发。本文选取JADE作为目标系统的开发平台，建立了ODAM元模型和JADE元模型间的映射关系，提出了从ODAM组织模型到JADE模型、从JADE模型到程序代码的模型转换规则，开发了相应的支撑软件工具ODAM Transformer，通过案例分析和演示展示了技术和工具的可行性和有效性。