计算机科学与技术杂志，第20卷
第20卷第1期，2005年1月
许志崴 :
前言。 1-2 本杰明·W·华 , 吴哲 :
解决难满足问题的惩罚公式和陷阱避免策略。 3-17 陈健儿 :
参数化计算与复杂性：处理NP-Hard的新方法。 18-37 李晓伟 , 李广辉 , 明绍 :
基于布尔可满足性问题的形式化验证技术。 38-47 周志华 , 杨瑜 :
使行李处理适应最近的邻居分类器。 48-54 王珊（Shan Wang） , 张坤龙 :
使用关键字搜索数据库。 55-62 张忠赫（Joong Hyuk Chang） , Won Suk Lee先生 :
计数估计在在线事务数据流中查找频繁项集的效果。 63-69 大卫·张 
, 光明路 , 亚当斯·魏金刚 , 迈克尔·黄 :
用于民用应用的在线掌纹识别系统。 70-76 刘立刚（Ligang Liu） , 张波（音译） , 郭百宁 , 沈向洋 :
多边形形状与拓扑演化的融合。 77-89 张玲（Ling Zhang） , 张波（音译） :
多分辨率信号分析的商空间近似模型。 90-94 林惠民 :
谓词µ-移动环境的微积分。 95-104 文高 , 莱昂内尔·M.尼 , 许志崴 , 张世昌 , 李翠 , 琼洛 :
BLOSSOMS：大规模构建轻型优化传感器系统。 105-177 Swapan Bhattacharya公司 , 阿尼本·班纳吉 , Shibdas Bandyopadhyay公司 :
基于CORBA的多Agent行为分析。 118-124 冯小兵 , 李晨 , 王毅然 , 小米安 , 林玛（Lin Ma） , 春雷桑 , 张肇庆 :
为SMP集群集成并行编译技术。 125-133 蒋长军（Changjun Jiang） , 张朝晖 , 曾国孙 , 陈洪忠 , 多钱庙 , 于芳 , 陶晓峰 , 清志 , 冯岳 , 杨罗 , 周安庆 , 林晨（Lin Chen） , 刘雷（Lei Liu） :
城市交通信息服务应用网格。 134-140 安德鲁·钱恩 , 孙贤和 , 许志崴 :
关于栅格标准的观点。 141-143 简培 :
书评：《发疯：15位伟大计算机科学家的生活和发现》。 144-145
第20卷第2期，2005年3月
李晓伟 :
完美。 145 Dian Zhou女士 , 李瑞明 :
高速超大规模集成电路物理设计的设计与验证。 147-165 奥兹古尔·西纳诺格鲁 , 亚历克斯·奥拉伊洛格鲁 :
高效的RT级故障诊断。 166-174 李深 :
VFSim：寄存器传输级并发故障模拟。 175-186 温晓青（Xiaoqing Wen） , 田本秀雄 , Kewal K.Saluja公司 , Kozo Kinoshita公司 :
使用未知行为模型对物理缺陷进行故障诊断。 187-194 让·马克·加利埃 , 米歇尔·雷诺维尔 , 佛罗伦萨阿扎伊斯 , 伊夫·贝特朗 :
延迟测试栅氧化层短缺陷的可行性。 195-200 银河韩 , 李晓伟 , 华为Li , 安舒曼·钱德拉 :
基于高效响应压缩的测试资源划分，减少测试时间和测试通道。 201-209 Terumine Hayashi公司 , Haruna Yoshioka先生 , Tsuyoshi Shinogi公司 , 北田秀彦 , Haruhiko Takase公司 :
使用选择性不小心识别的测试数据压缩。 210-215 阿卜杜勒·拉希德·穆罕默德 , 彭泽波 , 佩特鲁大象 :
一种最小化内置自测试开销的布线软件方法。 216-223 蔡一慈 , 金石 , 罗祖英 , Xianlong Hong公司 :
具有多电压供应的网状树混合电源/接地网络时域建模与分析。 224-230 海龙瑶 , 蔡一慈 , Qiang Zhou（周强） , Xianlong Hong公司 :
串话软件路由资源分配。 231-236 银水侠 , 王伦瑶 , A.E.A.阿尔马尼 :
一种采用多值时钟的新型多值CMOS触发器。 237-242 胡伟武 , 张福新 , 李祖松 :
龙芯2号处理器的微体系结构。 243-249 平山正彦 , Osamu Mizuno公司 , 托鲁·基库诺 :
软件测试项生成分析——高技能和低技能工程师之间的比较。 250-257 李顺东 , 伊奇戴 :
安全的双方计算几何。 258-263 雷虎（Lei Hu） , Jun-Wu Dong先生 , 贝丁一 :
基于泰特配对的密码系统的实现。 264-269 吴千红 , 薄琴 , 王玉敏（Yumin Wang） :
基于GIP的RS设计与实例扩展方法。 270-275 李云（Yun Li） , 科平龙 , 赵伟良 , 杨凤瑞 :
RWBO（p d日 w） ：IEEE 802.11 DCF的一种新退避算法。 276-281 永鹏 , 程世端 , 陈俊良 :
RSAD：IEEE 802.11无线局域网的一种健壮的基于分布式竞争的自适应机制。 282-288
第20卷第3期，2005年5月
诸葛海 , 向凤罗 :
知识地图：数学模型和动态行为。 289-295 JuHum Kwon先生 , Chee-Yang宋 , 嫦娥月 , 斗观柏 :
为基于分类学的知识表示系统桥接真实世界语义和建模世界语义。 296-308 蔡燕佳 , 谢平高 :
多尺度采样：一种用于发现近似关联规则的自适应采样方法。 309-318 孟文林 , K.Robert赖 , 丁俊瑜 :
基于模糊约束的Agent协商。 319-330 张华平 , 孙健 , 王兵（Bing Wang） , 朔白 :
新颖性检测中句子语义距离的计算。 331-337 于孙 , 岳飞穗 , 夏有明 :
逻辑句子是概念的意图。 338-344 洪高 , 李建忠 :
用于范围和查询和动态更新的并行数据立方体存储结构。 345-356 邓仁彻 :
实现确定性XML查询优化。 357-366 李盛恩 , 王珊（Shan Wang） :
半封闭多维数据集：权衡数据多维数据集大小和查询响应时间的有效方法。 367-372 王国仁 , 张晓琳 :
基于高级数据模型的声明式XML更新语言。 373-377 杨杰（音译） , 穆罕默德·阿勒拉维 :
彩色图像中三维纹理的光照不变性识别。 378-388 陈东旭 , 陈法来（Fa-Lai Chen） :
基于PH曲线的混合渠道表面。 389-395 洪晨（音） , 陈玲（Ling Chen） , 陈根才 :
桌面CVE系统中局部标记机制对任务性能的影响。 396-401 纳迪尔·法拉 , Labiba Souici公司 , 莫赫塔尔·塞拉米 :
通过分类器和上下文识别阿拉伯语单词。 402-410 吴向谦 , 王宽全 , 大卫·张 :
用于掌纹识别的小波能量特征提取与匹配。 411-418 黄俊洲 , 铁牛滩 , 李马 , 王云红 :
基于相位相关的虹膜图像配准模型。 419-425 王阳利 , 吴成科 :
完整的基于多描述网格的视频编码方案及其性能。 426-431
第20卷第4期，2005年7月
应旭 , 蔡黎明 , 翁志平 :
前言。 433 梁晨 , 赵红玉 :
将mRNA衰变信息整合到协同调节研究中。 434-438 彼得·哈弗蒂 , 翁志平 , 乌拉·汉森 :
PI3K和ERK转导的生长信号在人脑胶质母细胞瘤细胞中激活的转录调控网络。 439-445 Heng Li（李恒） , 刘金松 , 赵旭 , 焦锦 , 林芳 , 雷高 , 李宇东 , 子兴星 , 邵根高 , 刘涛（Tao Liu） , 李海宏 , 阎丽 , 李俊芳 , 谢慧敏 , 魏茂正 , 白林浩 :
水稻基因组基因预测程序的测试数据集和评估。 446-453 宋英磊 , 赵吉珍 , 刘春梅 , Kan Liu（音译） , 罗素·L·马尔伯格 , 蔡黎明 :
基于简洁随机语法模型的RNA结构同源性搜索。 454-464 修风丸 , 董旭 :
本征终止预测及其在中的应用 聚球藻属。 WH8102。 465-482 伯燕 , 游兴区 , 毛凤楼 , 维克托·奥尔曼 , 应旭 :
PRIME：用于 德诺瓦 排序和PTM识别。 483-490 止咳子 , 孙志荣 :
干扰素-y诱导的JAK-STAT信号通路的稳健性分析。 491-495 苏锋 :
机械化弱接地终端——通过结构和覆盖集归纳法证明术语重写系统。 496-513 秦广平 , 吴金钊 :
具有紧急性的实时并发进程的操作优化。 514-525 彭建民 , 保罗·卡拉汉 , 罗朝晖 :
LFTOP公司 ：安 低频 -基于领域特定推理的方法。 526-535 侯萍（Ping Hou） :
恢复收缩关系的几个表示定理。 536-541 王怀敏 , 王玉凤 , 杨彬堂 :
StarBus+：互联网计算的分布式对象中间件实践。 542-551 王晓军 , 彭玉欣 :
一种新的基于文本平铺的文档相似性检索模型。 552-558 圣之都 , 陈增强 , 竹枝园 :
双向联想记忆的进化伪松弛学习算法。 559-566 惠伟 , 尚民銮 :
基于神经节的多层模型平衡设计及其守望性。 567-573 孙小平 , 李青（音） :
知识网格。 574
第20卷第5期，2005年9月
彭昌紫杉 , 薛晶凌 :
前言。 575-576 鲁比·B·李 , 肖扬 , 史志杰 :
MOMR执行的单周期比特置换。 577-585 菲利普·马查尼克 :
梦想内存和RAMpage内存层次结构的小微内核的价值。 586-595 陈颖（音） , 卡西克·兰加纳坦 , 瓦苏提夫·V·派 , 大卫·J·利尔贾 , 起亚Bazargan :
一种新的嵌入式系统存储器结构：柔性顺序和随机存取存储器。 596-606 Cheol Kim公司 , 宋忠 , 朱世俊（Chu Shik Jhon） :
通过选择性访问BTB的Power-Aware分支预测器。 607-614 永晓 , 周兴明 :
数据值预测方案的性能评估。 615-623 塞巴斯蒂安·沃勒 :
异构可重构系统中的微任务处理。 624-634 梅雯 , 吴楠（Nan Wu） , 李海燕 , 张春元 :
多变形自适应流体系结构。 635-646 吴继刚 , Thambipillai Srikanthan公司 :
可重构VLSI网格中的节能子阵列。 647-653 本·莱斯利 , 彼得·查布 , 尼古拉斯·菲茨罗伊·代尔 , 斯特凡·戈茨 , 查尔斯·格雷 , 卢克·麦克弗森 , 丹尼尔·波茨 , 岳廷申 , 凯文·埃尔芬斯通 , 格诺·海泽 :
用户级设备驱动程序：实现了性能。 654-664 吴友峰 , 李永丰 :
运行时轮廓和相位转换检测的软硬件协同技术。 665-675 魏松石 , 沙伦·桑托什 , 韩平陆飞 :
公共区域无线网络中的安全应用软件服务差异化。 676-688 余江 , 宾兴坊 , 胡明成 , 项翠（音） :
在ISP拓扑测量中确定IP地址地理位置的技术。 689-701 魏圣思 , 李成智 :
RMAC：支持无线自组网多播的可靠MAC协议。 702-712 吴亚凤 , 许银龙 , 陈国良 :
Steiner连通支配集的近似算法。 713-716 I-Shyan Hwang , I-Feng Huang（黄一峰） , 申成玉 :
WDM网络上IP/GMPLS的动态模糊控制RWA算法。 717-727 刘若晨 , 李成焦 , 杜海峰 :
基于免疫记忆的克隆策略算法。 728-734
第20卷第6期，2005年11月
Jin-yi Cai公司 , 洪朱 :
计算复杂性理论进展。 735-750 如前路 :
走向数学知识理论。 751-757 徐道云 , 志洪涛 :
定逻辑程序同态和同构的复杂性。 758-762 徐斌登 , 朱杨勇 :
L树匹配：一种新的带噪声的海量文本流数据提取模型和算法。 763-773 王永吉 , 马修·卡特梅尔 , 邱明涛 , 韩流（Han Liu） :
一种不需要Cspace计算的广义实时避障方法。 774-787 齐勒·胡马 , 穆罕默德·雷赫曼 , 纳迪姆·伊夫蒂哈尔 :
基于本体的半自动模式集成框架。 788-796 伊马德·乔哈尔 , 吴杰 :
基于TDMA的移动自组网中的QoS支持。 797-810 广金公园 , MoonBae Song公司 , 黄崇善 :
基于广播的空间查询。 811-821 周继鹏 :
网格中具有2个虚拟通道的容错虫洞路由。 822-830 张金玉 , 刘丽 , 李洪辉 , 刘峰 :
IP-DiffServ中的定量QoS管理实现机制。 831-835 张彩霞 , 沾益湖 :
P3P问题四个正解的一般充分条件。 836-842 吴向生 :
一种新的数字图像水印技术。 843-848 华立 , 水城岩 , 李忠鹏 :
基于边缘纹理的鲁棒非正面人脸对齐。 849-854 姜树强 , 杜军 , 黄清明 , 黄铁军 , 文高 :
数字化艺术图像检索的视觉本体构建。 855-860 李明（音） , 小山高 , 金山成 :
用法向量生成散乱数据的符号插值。 861-874 魏璐 , 杨秀涛 , 陶璐 , 李晓伟 :
一种用于可观测性增强语句覆盖的有效评估和向量生成方法。 875-884 姜建辉 :
一种基于互补逻辑和交替重试的错误可恢复结构。 885-894 银水侠 , 王伦瑶 , 宗刚洲 , Xien Ye公司 , 胡建平 :
多能级混合极化Reed-Muller函数的新合成与优化。 895-900 蔡一慈 , 赵欣（音译） , Qiang Zhou（周强） , Xianlong Hong公司 :
互连串扰解决方案下的屏蔽面积优化。 901-906
