《计算机学报》是中国计算机领域权威性学术刊物。其宗旨是报道中国计算机科学技术领域最高水平的科研成果。它由中国计算机学会与中国科学院计算技术研究所主办、科学出版社出版，以中文编辑形式与读者见面，同时以英文摘要形式向国际各大检索系统提供基本内容介绍。

   《计算机学报》始创于1978年,刊期为月刊。
   《计算机学报》编辑委员会由计算机领域资深专家组成。 《计算机学报》一直保持着自己的定位, 刊登的文章被国际多种著名检索刊物所收录.包括《中国学术期刊文摘》,美国《EI》,英国《SA》 、美国《数学评论》, 日本《科技文献速报》,俄罗斯《文摘杂志》等。
   《计算机学报》刊登的内容覆盖计算机领域的各个学科,以论文、技术报告、短文、研究简报、综论等形式报道以下方面的科研成果： 计算机科学理论、计算机硬件体系结构、计算机软件、人工智能、 数据库、计算机网络与多媒体、 计算机辅助设计与图形学以及新技术应用等。
　

   本刊发表的文章可在 全文检索 中查询、下载(同时可下载阅读器），全文检索提供从2002年12期到2009年12期的文章）

2009年

DNA计算机原理、进展及难点(V): DNA分子的固定技术	许进1) 李菲1),2)
〖12期(2283—2299)〗

DNA计算中荧光技术的应用及其发展	张成 杨静 王淑栋
〖12期(2300—2310)〗

绿色计算的重定义与若干探讨	郭兵1) 沈艳2) 邵子立3)
〖12期(2311—2319)〗

并行型Ramsey数DNA计算模型	许进1)，2)范月科1)
〖12期(2320—2324)〗

最小支配集问题的活体分子计算模型	刘向荣1),2) 王淑栋3) 郗方1) 陈梅1)
〖12期(2325—2331)〗

图顶点着色问题的DNA计算模型	强小利 赵东明 张凯
〖12期(2332—2337)〗

基于DNA下推自动机二进制减法和乘法的实现	程珍1) 黄玉芳1) 周康2)
〖12期(2338—2346)〗

基于DNA Tiles自组装的布尔逻辑运算	黄玉芳1) 程珍1) 周康2) 肖建华3) 石晓龙1)
〖12期(2347—2354)〗

脉冲神经膜系统在穷举使用规则下产生的二进制字符串语言	江赟 石晓龙 张征
〖12期(2355—2361)〗

脉冲神经膜系统求解任意两个自然数的乘积	张兴义1) 曾湘祥2) 潘林强2) 罗斌1)
〖12期(2362—2372)〗

一种基于DNA计算的指定结点路由算法	杨磊 黄启鑫 李肯立 李仁发
〖12期(2373—2381)〗

基于网格的遗传算法及其在公交运行计划编制中的应用研究	陈琛 洪流 陈学广 郝语嘉
〖12期(2382—2397)〗

遗传算法的计算性能的统计分析	岳嵚 冯珊
〖12期(2389—2392)〗

多级能量异构无线传感器网络的能量预测和可靠聚簇路由协议	蔡海滨1)，2) 琚小明1) 曹奇英2)
〖12期(2393—2402)〗

嵌入式实时系统中基于检验点检测的电压分配技术	李国徽1) 杨兵1) 胡方晓1) 许华杰2) 杜建强3)
〖12期(2403—2410)〗

网络演算的矩阵解释	樊葆华 窦强 张鹤颖
〖12期(2411—2419)〗

Petri网的符号ZBDD可达树分析技术	李凤英1),2) 古天龙2) 徐周波1),2)
〖12期(2420—2428)〗

Web服务流程相容性和相似性分析	李喜彤 范玉顺
〖12期(2429—2437)〗

中国手语音韵标记的建立、实现及其有效性验证	倪训博 赵德斌 姜峰 程丹松
〖12期(2438—2453)〗

一种新颖的基于颜色信息的粒子滤波器跟踪算法	李培华
〖12期(2454—2463)〗

三维图像多相分割的变分水平集方法	潘振宽1) 李华1) 魏伟波1) 郭振波1) 张春芬2)
〖12期(2464—2474)〗

改善系统能量效率的体系结构方法：并行处理	易会战 刘永鹏
〖12期(2475—2481)〗

多元多项式函数的三层前向神经网络逼近方法	王建军1),2) 徐宗本2)
〖12期(2482—2497)〗

知识库系统的逻辑基础	许文艳 刘三阳
〖11期(2123—2129)〗

标准模型下可证安全的基于身份的高效签名方案	李继国 姜平进
〖11期(2130—2136)〗

求解车间调度问题的自适应混合粒子群算法	张长胜1) 孙吉贵2) 欧阳丹彤2) 张永刚2)
〖11期(2137—2146)〗

求解三维装箱问题的混合模拟退火算法	张德富1),2) 彭煜1) 朱文兴3) 陈火旺2),4)
〖11期(2147—2156)〗

LU分解在Godson-Tv1众核体系结构上的并行化研究	龙国平 范东睿
〖11期(2157—2167)〗

基于位宽控制提高SIMD架构并行度的优化算法	张为华 朱嘉华 张宏江 臧斌宇
〖11期(2168—2177)〗

有向图并行计算中一种新的结点调度算法	张爱清 莫则尧
〖11期(2178—2186)〗

基于反馈机制的网格动态授权新模型	李明楚1) 杨彬1) 钟炜1) 田琳琳1) 江贺1) 胡红钢2)
〖11期(2187—2199)〗

面向更新密集型应用的内存数据库高效检查点技术	覃雄派1),2) 肖艳芹1),2) 曹巍1),2) 王珊1),2)
〖11期(2200—2210)〗

内积能量与边缘检测	王志衡1),2) 吴福朝1)
〖11期(2211—2220)〗

用兴趣点凸包和SVM加权反馈实现图像检索	苏小红 丁进 马培军
〖11期(2221—2228)〗

基于非下采样Contourlet的多传感器图像自适应融合	常霞1) 焦李成1) 贾建华1)，2)
〖11期(2229—2238)〗

一种新的适用于广播监视的安全视频水印算法	刘丽1),2) 彭代渊2)
〖11期(2239—2246)〗

一个新的图像单幅可视隐藏方案	刘铎1),2) 戴一奇2)
〖11期(2247—2251)〗

基于颜色和纹理信息的快速前景提取方法	穆亚东 周秉锋
〖11期(2252—2259)〗

基于混合线性模型的图像去噪	曹扬 罗予频 杨士元
〖11期(2260—2264)〗

龙芯2号处理器的同时多线程设计	李祖松1),2) 许先超1),2) 胡伟武1) 唐志敏1)
〖11期(2265—2273)〗

基于指针映射集的动态内存故障测试方法研究	张威1),2) 宫云战2) 卢庆龄1) 万琳1)
〖11期(2274—2281)〗

2009年中国计算机大会优秀论文专辑前言	郑纬民
〖10期〗

面向非一致Cache的智能多跳提升技术	吴俊杰 潘晓辉 杨学军
〖10期(1887—1895)〗

一种片上众核结构共享Cache动态隐式隔离机制研究	宋风龙1),2) 刘志勇1) 范东睿1) 张军超1) 余磊1),2)
〖10期(1896—1904)〗

一种基于存储虚拟化的异步远程镜像系统	向小佳 余宏亮
〖10期(1905—1914)〗

基于优化的COW虚拟块设备的虚拟机按需部署机制	陈彬 肖侬 蔡志平 王志英
〖10期(1915—1926)〗

对等网络中基于位置信息和文件流行度的自适应复本管理算法	陈康 余宏亮 张堃
〖10期(1927—1937)〗

多层服务系统选择性再生框架	田冠华1)，2) 詹剑锋1) 孟丹1)
〖10期(1938—1946)〗

WLAN中基于“小区呼吸”的多约束负载均衡	王胜灵 崔勇 徐恪 吴建平
〖10期(1947—1956)〗

传感器网络中无需地理信息的空洞填补算法	苏瀚 汪芸
〖10期(1957—1970)〗

传感器网络中一种基于两阶段睡眠调度的目标跟踪协议	任倩倩 李建中 高宏 程思瑶
〖10期(1971—1979)〗

基于终端行为特征的IRC僵尸网络检测	王威1)，2) 方滨兴1)，2) 崔翔2)
〖10期(1980—1988)〗

吝啬语义信任协商	张妍1) 冯登国2)
〖10期(1989—2003)〗

一类新的正交样条函数——Franklin函数的推广及其应用	蔡占川1) 陈伟1) 齐东旭1)，2) 唐泽圣1)，3)
〖10期(2004—2013)〗

保持特征的三维网格模型尺寸调整	何军1) 张彩明1)，2)
〖10期(2014—2022)〗

实时图像素描风格化	黄华 程威
〖10期(2023—2029)〗

基于视觉的手势界面关键技术研究	武汇岳1),2) 张凤军1) 刘玉进1) 戴国忠1)
〖10期(2030—2041)〗

基于SIMD指令的柔性物体并行碰撞检测	唐敏1) MANOCHA　Dinesh2) 童若锋1)
〖10期(2042—2051)〗

基于移动阅读器的RFID概率空间范围查询技术的研究	谷峪1),2) 郭娜2) 于戈1),2)
〖10期(2052—2065)〗

不确定图数据库中高效查询处理	张硕 高宏 李建中 邹兆年
〖10期(2066—2079)〗

HCSIM:一种长期高频Block-Level快照索引技术	吴广君1) 云晓春2) 方滨兴1),2) 王树鹏2) 余翔湛1)
〖10期(2080—2090)〗

不同逻辑间翻译的逻辑性质	申宇铭1),2) 马越1),2) 曹存根1) 眭跃飞1) 王驹3)
〖10期(2091—2098)〗

一种基于半监督学习的多模态Web查询精化方法	姜远 黎铭 周志华
〖10期(2099—2106)〗

软件分析技术进展	梅宏1) 王千祥1) 张路1) 王戟2)
〖9期(1697—1710)〗

软件网络的多粒度拓扑特性分析及其应用	韩言妮1) 李德毅1),2) 陈桂生2)
〖9期(1711—1721)〗

激进域敏感基于合并的指针分析	于洪涛 张兆庆
〖9期(1722—1735)〗

基于常微分方程的死锁检测实验分析	丁佐华1) 江明月1) 刘静2)
〖9期(1736—1749)〗

基于路径分析的死循环检测	阮辉1),2) 严俊1) 张健1)
〖9期(1750—1758)〗

面向基于场景规约的Web服务消息流分析与验证	杨璐 柳溪 王林章 陈鑫 李宣东
〖9期(1759—1772)〗

基于层次状态机的方面化特征模块的增量式验证	叶俊 谭庆平 李暾 徐建军
〖9期(1773—1781)〗

一种软件体系结构关注点分析方法	张琳琳1),2) 应时1),3) 倪友聪1),4) 赵楷1),2) 文静1)
〖9期(1782—1791)〗

基于源代码静态分析的C++0x泛型概念抽取	陈林1),2),3) 徐宝文1),2)，3)
〖9期(1792—1803)〗

一种Java遗留系统服务化切分和封装方法	李翔 怀进鹏 曾晋 高鹏
〖9期(1804—1815)〗

Web服务组合动态演化的实例可迁移性	宋巍 马晓星 吕建
〖9期(1816—1831)〗

一种基于模糊概念格和代码分析的软件演化分析方法	许佳卿 彭鑫 赵文耘
〖9期(1832—1844)〗

一种多项式时间的路径敏感的污点分析方法	李佳静1)，2)，3) 王铁磊2),3) 韦韬2),3) 凤旺森2),4) 邹维2),3)
〖9期(1845—1855)〗

多线程Java程序安全行为模型的静态检查方法	金英 李泽鹏 张晶 刘磊
〖9期(1856—1868)〗

源程序级和算法级嵌入式软件功耗特性的分析与优化方法研究	罗刚1) 郭兵1) 沈艳2) 廖海艳1) 任磊1)
〖9期(1869—1875)〗

基于CSP的构件化嵌入式软件能耗分析与评估方法研究	张滕滕 吴晓 李长德 董云卫
〖9期(1876—1883)〗

数字几何处理研究进展	胡事民1),2) 杨永亮1),2) 来煜坤1),2)
〖8期(1451—1469)〗

通过诊断图分析的快速诊断算法	陈蔼祥1) 陈清亮2) 潘久辉2) 姜云飞3) 杨晋吉4)
〖8期(1470—1485)〗

基于幂图的属性约简搜索式算法	陈玉明1),2) 苗夺谦1),2)
〖8期(1486—1492)〗

Hash快速属性约简算法	刘勇 熊蓉 褚健
〖8期(1493—1499)〗

带n-元存在量词的描述逻辑MSC推理	蒋运承1),2) 唐素勤3)
〖8期(1500—1510)〗

支持模糊数据类型表示的模糊描述逻辑F-SHOIQ(G)	王海龙1) 马宗民1) 严丽2) 程经纬1)
〖8期(1511—1524)〗

基于面向任务模型的陆基卫星测控资源克隆选择优化调度	侯翠琴 焦李成
〖8期(1525—1535)〗

基于双线性型的非负矩阵集分解	李乐 章毓晋
〖8期(1536—1549)〗

均衡集束网点密度的伪随机混合抖动半色调化算法的研究	徐国梁1),2) 谭庆平1)
〖8期(1550—1559)〗

速度驱动的复杂场景多层级力觉交互算法	周万琳 王党校 张玉茹 王瑜
〖8期(1560—1570)〗

一种统一的硬件加速自适应EWA Splatting算法	陈为1) 夏佳志1) 张龙2) 于洋1） 郑文庭1） 彭群生1）
〖8期(1571—1581)〗

基于图形硬件的光滑线条绘制	赵汉理1) 金小刚1) 沈建冰2) 卫飞飞1) 冯结青1)
〖8期(1582—1588)〗

面向交互的场景外存调度和空间剖分算法	田丰林 华炜 鲍虎军
〖8期(1589—1594)〗

一种基于与或图表示的多风格肖像画自动生成方法	闵锋 桑农
〖8期(1595—1602)〗

基于结构相似的H.264帧间预测改进算法	杨春玲1) 王华兴2) 梁荣锟1)
〖8期(1603—1610)〗

基于等效子午面与互信息量的医学图像配准	卢振泰 冯衍秋 冯前进 陈武凡
〖8期(1611—1617)〗

硬件结构支持的基于同步的高速缓存一致性协议	黄河1),2) 刘磊1),2) 宋风龙1),2) 马啸宇1),2)
〖8期(1618—1630)〗

P4｜fix｜Cmax问题的最优规则调度算法	黄金贵 李荣珩
〖8期(1631—1636)〗

个体单体型问题参数化算法研究	谢民主1),2) 陈建二1) 王建新1)
〖8期(1637—1650)〗

概念空间中上下位关系的意义识别研究	刘磊1) 曹存根2) 张春霞3) 田国刚2)
〖8期(1651—1661)〗

GPP问题的骨架分析与启发式算法设计	江贺1),2) 邱铁1)
〖8期(1662—1667)〗

信任感知的组合服务动态选择方法	王勇1) 代桂平2) 侯亚荣1)
〖8期(1668—1675)〗

基于模糊集合的网格资源访问的信任机制	陈建刚1) 王汝传1),2) 张琳1) 王海艳1)
〖8期(1676—1682)〗

图顶点覆盖问题决策神经网络模型	南晋华 齐欢
〖8期(1683—1686)〗

基于模糊核匹配追寻的特征模式识别	李青1)，2) 焦李成2) 周伟达2)
〖8期(1687—1694)〗

粗糙集理论与应用研究综述	王国胤1) 姚一豫2) 于洪1),2)
〖7期(1229—1246)〗

以数字图像为载体的隐写分析研究进展	王朔中1) 张新鹏1) 张卫明1),2)
〖7期(1247—1263)〗

值传递诊断过程的抽象和重用	张学农1),2) 姜云飞2) 陈蔼祥2) 张立成1)
〖7期(1264—1279)〗

描述逻辑μALCIO的语义及推理	蒋运承1),2) 王驹3) 邓培民3) 汤庸4) 周生明3)
〖7期(1280—1290)〗

量子可逆逻辑电路综合的快速算法研究	李志强1),2) 陈汉武1) 徐宝文1) 李文骞1) 王佳佳1) 刘文杰1),3)
〖7期(1291—1303)〗

可信计算中远程自动匿名证明的研究	刘吉强1) 赵佳1) 赵勇1),2)
〖7期(1304—1310)〗

Pcanel/V2——基于Intel VT-x的VMM架构	陈文智 姚远 杨建华 何钦铭
〖7期(1311—1319)〗

使用压缩函数的非平衡Feistel结构的伪随机性和超伪随机性	张立廷 吴文玲
〖7期(1320—1330)〗

右边正则纠删码中二部图的构造算法	慕建君1) 曹训志1) 王新梅2)
〖7期(1331—1336)〗

判断集合包含关系的安全计算协议	李荣花1),2) 武传坤3) 张玉清2)
〖7期(1337—1345)〗

根据序列变化率预测软件阶段成本	王勇 宋擒豹 沈钧毅
〖7期(1346—1355)〗

无源RFID系统中能量有效的物理层设计	王宏刚 裴昌幸 易运晖
〖7期(1356—1364)〗

基于社会网络的人名检索结果重名消解	郎君 秦兵 宋巍 刘龙 刘挺 李生
〖7期(1365—1374)〗

基于索引排序的快速动态区域匹配算法	姚益平1) 张颖星1) 陈欣2) 季利春1)
〖7期(1375—1381)〗

SpMT WaveCache:开发数据流计算机中的推测多线程	裴颂文 吴百锋
〖7期(1382—1392)〗

一种基于进程执行行为分析的图形界面交互系统性能评测方法	宋博1)，2) 陈明宇1) 樊建平1)
〖7期(1393—1403)〗

分布式视频编码虚拟依赖信道模型研究	房胜1),2) 李哲1) 梁永全1) 钟玉琢2)
〖7期(1404—1412)〗

二通道线性相位Neville-Lagrange提升小波滤波器组设计	陈冬 张田文 李东
〖7期(1413—1423)〗

基于HMM的单样本可变光照、姿态人脸识别	胡峰松1) 张茂军2) 邹北骥3) 马俊容1)
〖7期(1424—1433)〗

基于CP和多小波HMT模型的克隆选择遥感图像融合	金海燕1),2) 焦李成2)
〖7期(1434—1442)〗

基于向量识别的启发式路径推测算法	吕卫锋 吴东东 诸彤宇
〖7期(1443—1450)〗

三维模型语义检索研究进展	潘翔1) 张三元2) 叶修梓2)
〖6期(1069—1079)〗

粗粒度可重构平台中循环自流水硬件实现	徐进辉1),2) 杨梦梦2) 窦勇1) 周兴铭1)
〖6期(1080—1088)〗

核心循环到粗粒度可重构体系结构的流水化映射	王大伟 窦勇 李思昆
〖6期(1089—1099)〗

基于同构多核处理器的H.264多粒度并行编码器	于俊清 李江 魏海涛
〖6期(1100—1109)〗

无界模型检验中融合电路信息的SAT算法研究	赵阳1),2),3) 吕涛1),2),3) 李华伟1),2) 李晓维1),2)
〖6期(1110—1118)〗

一种基于指针逻辑的代码安全属性分析方法	张阳1) 程亮2)
〖6期(1119—1125)〗

MANET节点不相交多路径安全源路由协议	冯涛1)，2) 郭显1)，3) 马建峰2) 李兴华2)
〖6期(1126—1133)〗

多重周期二元序列的联合k错2-adic复杂度	董丽华 胡予濮 曾勇
〖6期(1134—1139)〗

基于简单反馈的混合静态/动态节能弱硬实时调度算法	吴彤1),2) 张冬松1) 金士尧1)
〖6期(1140—1146)〗

基于缺陷均匀分布的互连线间耦合电容分析	段旭朝1),2) 赵天绪1)
〖6期(1147—1151)〗

一种基于分层率失真优化的容错性视频转码算法	韩镇1) 胡瑞敏1),2) 陈皓2) 李明2)
〖6期(1152—1161)〗

一种基于运动信息描述的视频格式自适应方案	沈秋 李厚强 王毅 何佳
〖6期(1162—1171)〗

基于空盒自适应生成的动态场景光线跟踪计算	李静1) 王文成1) 吴恩华1)，2)
〖6期(1172—1182)〗

基于面壳封闭的B-rep模型分解方法	马露杰 黄正东
〖6期(1183—1195)〗

结合图像细节特征的全局优化纹理合成	肖春霞1)，2) 黄志勇2) 聂勇伟2) 刘梦2) 何发智2)
〖6期(1196—1205)〗

一种隐式曲面交互调整的新方法	周元峰1) 伯彭波3) 张彩明1)，2) 高珊珊2)
〖6期(1206—1213)〗

用改进的散射搜索法求解带平衡约束的圆形Packing问题	王奕首1),2) 史彦军2) 滕弘飞2),3)
〖6期(1214—1221)〗

基于粒子Mean Shift迁移的红外人体目标跟踪算法	云廷进 郭永彩 高潮
〖6期(1222—1228)〗

基于程序路径分析的有效蜕变测试	董国伟1) 聂长海2),3) 徐宝文2),3)
〖5期(1002—1013)〗

动态的QoS感知Web服务选择和组合优化模型	蒋哲远 韩江洪 王钊
〖5期(1014—1025)〗

IEEE 802.11无线网络中的冲突顺序解析算法	张棋飞1) 孙宝林1) 桂超1) 刘威2) 程文青2) 杨宗凯2)
〖5期(1026—1036)〗

一种新的指纹奇异点快速检测方法	梅园 曹国 孙怀江 孙权森 夏德深
〖5期(1037—1045)〗

一种支持可重构混成系统的操作系统设计与实现	乔磊 齐骥 龚育昌
〖5期(1046—1054)〗

基于多级离散余弦变换的鲁棒数字水印算法	肖俊 王颖
〖5期(1055—1061)〗

高分辨率灰度图像的快速多分辨率着色	胡伟 秦开怀
〖5期(1062—1068)〗

面向数据库应用的隐私保护研究综述.	周水庚1), 2) 李丰1) 陶宇飞3) 肖小奎4)
〖5期(847—861)〗

重采样方法与机器学习	毕华 梁洪力 王珏
〖5期(862—877)〗

基于视频的人脸识别研究进展	严严1),2) 章毓晋1),2)
〖5期(878—886)〗

可信网络连接的安全量化分析与协议改进	罗安安 林闯 王元卓 邓法超 陈震
〖5期(887—898)〗

一种基于安全状态跟踪检查的漏洞静态检测方法	梁彬 侯看看 石文昌 梁朝晖
〖5期(899—909)〗

基于Graphplan的ARBAC策略安全分析方法	刘强1),2) 姜云飞1) 饶东宁1)
〖5期(910—921)〗

基于嵌套EMD的钓鱼网页检测算法	曹玖新 毛波 罗军舟 刘波
〖5期(922—929)〗

一种基于门限签名的可靠蠕虫特征产生系统	向继 高能 荆继武
〖5期(930—939)〗

一类无证书签名方案的构造方法	张磊 张福泰
〖5期(940—945)〗

用于图分类的组合维核方法	李宇峰1) 郭天佑2) 周志华1)
〖5期(946—952)〗

一种可处理数据缺失的视角无关手语识别方法	王骐1) 陈熙霖2) 王春立3) 高文2),4)
〖5期(953—961)〗

一种新的基于发散度函数的地形模型简化方法	张慧杰1)，2) 孙吉贵2) 吕英华1) 吕楠2) 王远志3)
〖5期(962—973)〗

随机跳跃索引：一种支持随机插入的可信赖索引	刘凤晨1) 黄河2) 刘庆文3) 丁永生1),4)
〖5期(974—981)〗

基于PAR的算法形式化开发	石海鹤1),2),3) 薛锦云1),2)
〖5期(982—991)〗

基于完备抽象解释的模型检验CTL公式研究	钱俊彦1) 徐宝文2),3)
〖5期(992—1001)〗

《信息安全测评理论与技术》专辑 前方	冯登国
〖4期(591—594)〗

一种关于分组密码的新的统计检测方法	陈华1) 冯登国1) 范丽敏1),2)
〖4期(595—601)〗

针对密码芯片的电磁频域模板分析攻击	邓高明 赵强 张鹏 陈开颜 刘晓芹
〖4期(602—610)〗

一种改进的三轮OAEP明文填充方案	胡予濮 牟宁波 王保仓
〖4期(611—617)〗

基于刚性与相似性概念的密码协议分析方法	田园1) 王颖2) 金锋1) 金月1)
〖4期(618—634)〗

基于标记变迁系统的可信计算平台信任链测试	徐明迪 张焕国 严飞
〖4期(635—645)〗

可信平台模块的形式化分析和测试	陈小峰
〖4期(646—653)〗

可信密码模块符合性测试方法研究	李昊1),2) 胡浩1),2),3) 陈小峰1),2)
〖4期(654—663)〗

基于行为监控的自适应动态信任度测模型	李小勇 桂小林 毛倩 冷东起
〖4期(664—674)〗

盲环境下的数字图像可信性评估模型研究	胡东辉1),3) 王丽娜1),2) 江夏秋1)
〖4期(675—687)〗

一种基于实体行为风险评估的信任模型	张润莲1),2) 武小年2),3) 周胜源2),3) 董小社1)
〖4期(688—698)〗

基于UML和模型检测的安全模型验证方法	程亮1),2) 张阳2)
〖4期(699—708)〗

带敏感标签的SELinux安全策略信息流分析方法	张阳
〖4期(709—720)〗

机密数据库泄漏源检测与量化评估方案	咸鹤群
〖4期(721—729)〗

基于静态分析的强制访问控制框架的正确性验证	吴新松1)，2) 周洲仪1)，2) 贺也平1) 梁洪亮1) 袁春阳3)
〖4期(730—739)〗

一种刻画功能和时间空间性能的统一验证模型atsFPM	钮俊1)，2),3) 曾国荪1),2) 陈波1),2)
〖4期(740—750)〗

一种隐通道威胁审计的度量方法	王昌达 鞠时光 周从华 宋香梅
〖4期(751—762)〗

基于日志审计与性能修正算法的网络安全态势评估模型	韦勇1),2) 连一峰2)
〖4期(763—772)〗

ProSPer: 一个支持proactive特性的通用型事件监控系统	刘家红 吴泉源
〖4期(773—783)〗

内部威胁云模型感知算法	张红斌1),2) 裴庆祺1) 马建峰1)
〖4期(784—792)〗

一种优化的实时网络安全风险量化方法	李伟明 雷杰 董静 李之棠
〖4期(793—804)〗

移动自组网中非完全信息节点风险评估	付才1) 洪亮2) 彭冰1) 韩兰胜1) 徐兰芳1)
〖4期(805—816)〗

基于攻防博弈模型的网络安全测评和最优主动防御	姜伟1) 方滨兴1),2) 田志宏1),2) 张宏莉1)
〖4期(817—827)〗

基于博弈论的信息安全技术评价模型	朱建明1) Srinivasan Raghunathan2)
〖4期(828—834)〗

基于收发平衡判定的TCP流量回放方法	褚伟波1) 蔡忠闽1) 管晓宏1),2) 陈明旭1)
〖4期(835—846)〗

《新一代互联网体系结构》专辑 前方	林闯
〖3期(357—358)〗

支持普适服务的新一代网络传输层构架	杨冬 李世勇 王博 张宏科
〖3期(359—370)〗

一体化承载网络体系架构研究	王浩学1) 汪斌强1) 于婧1) 姜明2)
〖3期(371—376)〗

Hidra: 一个分级域间路由架构	王娜1),2) 马海龙2) 程东年2) 汪斌强2)
〖3期(377—390)〗

一种可信可控的网络体系及协议结构	罗军舟 韩志耕 王良民
〖3期(391—404)〗

可信网络中基于多维决策属性的信任量化模型	李小勇 桂小林
〖3期(405—416)〗

面向可信网络研究的虚拟化技术	张怡 孙志刚
〖3期(417—423)〗

无线Mesh网骨干层2-终端可靠性计算策略	赵蕴龙1) 单宝龙1) 高振国2) 门朝光1) 马延龙1)
〖3期(424—431)〗

无线传感器网络的QoS体系结构	文浩 林闯 任丰原 周嘉 曾荣飞
〖3期(432—440)〗

面向移动目标追踪的无线传感器网络QoS指标体系设计	俞靓 王志波 骆吉安 孙喜策 王智
〖3期(441—462)〗

一种基于QoS度量的Pareto并行路由寻优方法	秦勇1),2) 肖文俊2) 黄翰3) 梁本来4) 赵成贵2) 魏文红2)
〖3期(463—472)〗

混合内容分发网络及其性能分析模型	蒋海1),2) 李军1) 李忠诚1)
〖3期(473—482)〗

基于机制设计理论的自组网节点合作协议	郭建立 吴智博 董剑 杨孝宗 刘宏伟
〖3期(483—492)〗

DTM:一种面向网络计算的动态信任管理模型	李建欣 怀进鹏 李先贤 林莉
〖3期(493—505)〗

自治系统间的安全路由协议GesBGP	李琦1) 吴建平1) 徐明伟1) 徐恪1) 张新文2)
〖3期(506—515)〗

一种XACML规则冲突及冗余分析方法	王雅哲 冯登国
〖3期(516—530)〗

支持路径选择与快速切换的移动网络接入路由器安全Mesh	黄松华1) 孙玉星2) 黄皓1) 陈贵海1)
〖3期(531—542)〗

IBE体系的密钥管理机制	胡亮 初剑峰 林海群 袁巍 赵阔
〖3期(543—551)〗

域间IP欺骗防御服务净化机制	吕高锋 孙志刚 卢锡城
〖3期(552—563)〗

支持时延-带宽约束的动态层次组播路由	胡虹雨 陆慧梅 曹元大 饶思敏
〖3期(564—575)〗

应用层组播稳定性提高技术综述	苏金树 曹继军 张博锋
〖3期(576—590)〗

启发式探查最佳分割平面的快速KD-Tree构建方法	范文山1)，2)，3)，4) 王斌2)，3)，4)
〖2期(185—192)〗

基于三角域上V-系统的三维几何模型的正交重构	李坚1) 宋瑞霞2) 叶梦杰1) 梁延研1) 齐东旭1)，2)
〖2期(193—202)〗

体积平方度量下的特征保持网格简化方法	周元峰1) 张彩明1)，2) 贺平1)
〖2期(203—212)〗

曲面变形的水平集方法	潘青1) 徐国良2)
〖2期(213—220)〗

基于物理的植物叶子形态变化过程仿真造型	迟小羽1) 盛斌3) 陈彦云2) 吴恩华1)，3)
〖2期(221—230)〗

基于GPU的球面深度图实时绘制	朱鉴1) 吴恩华1),2)
〖2期(231—240)〗

基于联合双边滤波的纹理合成上采样算法	肖春霞1),2),3) 聂勇伟1) 黄先锋4) 赵勇2) 彭群生2)
〖2期(241—251)〗

基于模板匹配和SVM的草图符号自适应识别方法	姜映映1),2) 田丰1) 王绪刚1) 戴国忠1),2)
〖2期(252—260)〗

在线视频分割实时后处理	钟凡1) 秦学英1),2) 陈佳舟1) 莫铭臻1) 彭群生1)
〖2期(261—267)〗

基于Mumford-Shah模型的高精度MR图像轮廓提取算法	原达1)，2) 张彩明1) 李晋江1) 刘晓华2)
〖2期(268—274)〗

一种基于判别随机场模型的联机行为识别方法	黄天羽1),2) 石崇德3) 李凤霞2) 程成2)
〖2期(275—281)〗

一种基于物理反射模型颜色不变性的阈值分割算法	蔡珣 孟祥旭 郝兴伟 连莉 姜龙
〖2期(282—287)〗

双正交小波的提升构造研究	陈智能1),2),3) 高协平1)
〖2期(288—298)〗

基于概率密度梯度的边缘检测	孙达 刘家锋 唐降龙
〖2期(299—307)〗

基于特征点模板的Contourlet域抗几何攻击水印算法研究	楼偶俊 王钲旋
〖2期(308—317)〗

基于图像攻击的隐藏信息盲检测技术	毛家发1),2) 林家骏2) 戴蒙3)
〖2期(318—327)〗

由未标定手持相机拍摄的图片构造全景图	陈辉 龙爱群 彭玉华
〖2期(328—335)〗

基于动态权重裁剪的快速Adaboost训练算法	贾慧星1)，2) 章毓晋1)，2)
〖2期(336—341)〗

一种基于DDTW的三维碎片自动拼接方法	高剑1) 张彩明1) 孟祥旭1) 冯志全2)
〖2期(342—349)〗

基于四通道不可分加性小波的多光谱图像融合	刘斌1) 彭嘉雄2)
〖2期(350—356)〗

不确定性数据管理技术研究综述	周傲英1) 金澈清1) 王国仁2) 李建中3)
〖1期(1—16)〗

基于复杂性科学基本概念的MAS涌现性量化研究	金士尧 黄红兵 任传俊
〖1期(17—29)〗

无线传感器网络中基于散列链的随机密钥预分发方案	苏忠 林闯 任丰原
〖1期(30—41)〗

Web服务工作流中基于信任关系的QoS调度	胡春华1),2) 吴敏2) 刘国平2），3)
〖1期(42—53)〗

基于非合作博弈的无线网络路由机制研究	汪洋1) 林闯1) 李泉林2) 王竞奇3) 姜欣1)
〖1期(54—68)〗

基于随机行走的无线传感器网络簇间拓扑演化	陈力军1),2) 刘明3) 陈道蓄1),2) 谢立1),2)
〖1期(69—76)〗

分片支撑矢量机	任双桥 杨德贵 黎湘 庄钊文
〖1期(77—85)〗

关于CTL与EAGLE两种规划扩展目标表示语言的语义比较	黄巍1) 姜云飞2) 文中华3) 彭宏1)
〖1期(86—96)〗

Bigraph理论在自适应软件体系结构上的应用	常志明 毛新军 齐治昌
〖1期(97—106)〗

基于视觉感知的时空联合视频拷贝检测方法	潘雪峰1),2) 李锦涛1) 张勇东1) 唐胜1) 余乐军1),3) 夏添1),2)
〖1期(107—114)〗

一种基于对象属性关注度的QoS传输控制方法	谢可 梁晓辉 赵沁平
〖1期(115—123)〗

具有期望容错域的前向掩蔽联想记忆模型的设计方法	杨国为1），2） 王守觉2） 李卫军2）
〖1期(124—131)〗

基于目标增量的无等待流水调度快速迭代贪婪算法	朱夏 李小平 王茜
〖1期(132—141)〗

通用处理器的高带宽访存流水线研究	张浩 林伟 周永彬 叶笑春 范东睿
〖1期(142—151)〗

自动映射多循环程序到有限FPGA资源的参数化流水线模板	董亚卓1) 窦勇2) 宋健3) 刘明政4)
〖1期(152—160)〗

一种高效、容错的通用量子计算机体系结构	吴楠 宋方敏
〖1期(161—168)〗

一种基于博弈论模型的Ad Hoc网络功率控制算法	孙强1)，2) 李腊元2) 陈年生3)
〖1期(169—176)〗

一种用于空间数据多尺度表达的R树索引结构	邓红艳1),2) 武芳1) 翟仁健1) 赵倩3)
〖1期(177—184)〗

2008年

经典Ramsey数DNA计算模型(Ⅰ):位序列计算模型	许进1),2) 范月科2)
〖12期(2073—2080)〗

经典Ramsey数DNA计算模型(Ⅱ): 基于位序列的DNA计算模型	许进1),2) 范月科2)
〖12期(2081—2089)〗

脉冲神经膜计算系统的研究进展及展望	潘林强 张兴义 曾湘祥 汪隽
〖12期(2090—2096)〗

利用脱氧核酶调控基因表达的DNA计算模型研究	张凤月1) 宋海刚2) 温俊海1) 张强3) 刘波4)
〖12期(2097—2102)〗

活体生物计算模型的研究进展及展望	刘向荣1),2) 赵东明1),2) 郗方1),2) 李菲1),2)
〖12期(2103—2108)〗

基于压电基因传感器的DNA计算	方刚1) 张运良1) 朱岩1) 许进2)
〖12期(2109—2115)〗

基于DNA计算自组装模型的Diffie-Hellman算法破译	陈智华
〖12期(2116—2122)〗

基于粘贴和删除系统的图着色问题分析	王淑栋
〖12期(2123—2128)〗

基于自组装DNA计算的NTRU密码系统破译方案	张勋才1),2) 牛莹2) 崔光照2) 王延峰2)
〖12期(2129—2137)〗

DNA自组装技术的研究进展及难点	杨静1),2) 张成1),2)
〖12期(2138—2148)〗

DNA计算中核酸序列设计方法比较研究	张凯1) 耿修堂2) 肖建华3) 赵东明1)
〖12期(2149—2154)〗

求解0-1规划问题的DNA计算模型	强小利1) 曾波1) 王子成1) 寇铮2)
〖12期(2155—2159)〗

DNA纳米结构自装配的语言能力分析	陈燕1) 傅岩2) 朱萌3)
〖12期(2160—2167)〗

基于DNA计算的分子下推自动机	张征1) 刘洁2) 石晓龙1)
〖12期(2168—2172)〗

一种改进的最大团问题DNA计算机算法	李肯立1),2) 周旭1) 邹舒婷1)
〖12期(2173—2181)〗

赋权图上优化问题的DNA计算方法研究	韩爱丽
〖12期(2182—2192)〗

基于动态遗传算法的DNA序列集合设计	张强 王宾 张锐 许春霞
〖12期(2193—2199)〗

可满足问题的分子信标计算模型	殷志祥1),2) 崔建中1) 支凌迎1) 孙侠1) 黄晓慧1)
〖12期(2200—2206)〗

背包问题DNA算法的反应设计及其生物实现	朱莹1) 任立红1) 丁永生1),2) Kongsuwan　Kritaya3)
〖12期(2207—2214)〗

DNA计算机中广义表数据结构的设计与实现	李汪根1),2) 丁永生1),3) 任立红1)
〖12期(2215—2219)〗

用于DNA数值计算的一种信息传递模式	刘伟 孙守霞
〖12期(2220—2224)〗

2009年总目次
〖12期(i—vii)〗

《计算机体系结构研究新进展》专辑前言	杨学军 刘志勇 窦勇
〖11期(1875—1876)〗

面向UMPC的北大众志-SK系统芯片设计	程旭 陆俊林 易江芳 刘姝
〖11期(1877—1887)〗

基于MIPS体系的扩展指令融合技术	陈文智 姜振宇 吴帆
〖11期(1888—1897)〗

高性能代价比的两层关联间接转移预测器设计	袁楠 范东睿
〖11期(1898—1906)〗

HybridTCache：一种基于专用事务Cache的软硬件协同事务内存系统	王绍刚 吴丹 庞征斌 杨晓东
〖11期(1907—1917)〗

众核处理器中使用写掩码实现混合写回/写穿透策略	林伟 叶笑春 宋风龙 张浩
〖11期(1918—1928)〗

SAGA:一种由流特性制导的微处理器高速缓存分配策略	陈彧 林隽民 乔林 汤志忠
〖11期(1929—1937)〗

面向多线程多道程序的加权共享Cache划分	所光 杨学军
〖11期(1938—1947)〗

多核处理器机群Memory层次化并行计算模型研究	涂碧波 邹铭 詹剑锋 赵晓芳 樊建平
〖11期(1948—1955)〗

高性能服务器集群部署系统传输模型研究	薛正华 董小社 胡雷钧 伍卫国
〖11期(1956—1964)〗

一种支持多种访存技术的CBEA片上多核MPI并行编程模型	冯国富 董小社 胡冰 王旭昊 王恩东
〖11期(1965—1974)〗

众核体系结构对Cilk语言的硬件支持及评测研究	龙国平 张军超 范东睿
〖11期(1975—1985)〗

一种基于元数据的采样模拟技术优化	严强 张为华 刘力力 臧斌宇 朱传琪
〖11期(1986—1994)〗

基于FPGA的嵌入式多核处理器及SUSAN算法并行化	王洁 张淑燕 刘涛 季振洲 胡铭曾
〖11期(1995—2004)〗

基于软硬件的协同支持在众核上对1-D FFT算法的优化研究	周永彬 张军超 张帅 张浩
〖11期(2005—2014)〗

面向多兴趣区域图像处理应用的高效无冲突并行访问存储模型	徐金波 窦勇
〖11期(2015—2025)〗

具有拥塞缓解策略的动态虚拟通道研究及其VLSI实现	赖明澈 王志英 郭建军 戴葵
〖11期(2026—2037)〗

一种流体系结构中软硬结合的异构核协同方法	任巨 何义 荀长庆 杨乾明 文梅 伍楠 张春元
〖11期(2038—2046)〗

片上多核处理器容软错误执行模型	龚锐 戴葵 王志英
〖11期(2047—2059)〗

抢占阈值调度的功耗优化	贺小川 贾焰
〖11期(2060—2071)〗

网络保护质量研究	林闯 肖岩平 王元卓 曾荣飞
〖10期(1667—1678)〗

高速长距离光网络传输协议性能分析	任勇毛 秦刚 唐海娜 李俊 钱华林
〖10期(1679—1686)〗

受限网络中基于转发历史异步路由及中继数量研究	陈辉 樊秀梅 单志广
〖10期(1687—1694)〗

基于DHT的P2P系统中高可用数据冗余机制	陈贵海 吴帆 李宏兴 邱彤庆
〖10期(1695—1704)〗

一个公平的多方不可否认协议	韩志耕 罗军舟
〖10期(1705—1715)〗

网格服务可管理性模型及策略研究	王元卓 林闯 杨扬 单志广
〖10期(1716—1726)〗

曙光5000高性能计算机Barrier网络的设计	曹政 王达伟 刘新春 孙凝晖
〖10期(1727—1736)〗

一种面向多核DSP的小容量紧耦合快速共享数据池	陈书明 汪东 陈小文 万江华
〖10期(1737—1744)〗

基于区域平均执行时间和数据依赖信息的可能并行区域识别	张超 王蕾 向晓娅 冯晓兵
〖10期(1745—1753)〗

供应链环境下通用可组合安全的RFID通信协议	张帆 孙璇 马建峰 曹春杰 朱建明
〖10期(1754—1767)〗

基于本地虚拟化技术的隔离执行模型研究	温研 王怀民
〖10期(1768—1779)〗

一种基于密度的自适应最优LDA模型选择方法	曹娟 张勇东 李锦涛 唐胜
〖10期(1780—1787)〗

模糊有穷自动机与单体二阶Lukasiewicz逻辑	李永明
〖10期(1788—1794)〗

基于个性特征仿真邮件分析系统挖掘犯罪网络核心	乔少杰 唐常杰 彭京 刘威 温粉莲 邱江涛
〖10期(1795—1803)〗

产品开发过程中的数据流建模与分析	李伟刚 王文斌 沈钧毅
〖10期(1804—1813)〗

基于贝叶斯网络的多阶段系统可靠性分析模型	刘东 张春元 邢维艳 李瑞
〖10期(1814—1825)〗

混合定变长码的测试数据压缩方案	詹文法 梁华国 时峰 黄正峰
〖10期(1826—1834)〗

基于DPSO的改进AO*算法在大型复杂电子系统最优序贯测试中的应用	蒋荣华 王厚军 龙兵
〖10期(1835—1840)〗

移动环境下支持实时事务处理的数据预取	李国徽 杨兵 陈辉 杜建强
〖10期(1841—1847)〗

一种新的三维模型水印嵌入空域算法	廖学良 王瑀屏
〖10期(1848—1856)〗

基于统计特征的时序数据符号化算法	钟清流 蔡自兴
〖10期(1857—1864)〗

基于LDA模型的文本分割	石晶 胡明 石鑫 戴国忠
〖10期(1865—1873)〗

《计算机学报》创刊30周年特辑序言	高文
〖9期(1491—1492)〗

并行算法研究方法学	陈国良 孙广中 徐云 吕敏
〖9期(1493—1502)〗

HPP：一种支持高性能和效用计算的体系结构	孙凝晖 李凯 陈明宇
〖9期(1503—1508)〗

网络计算系统的分类研究	徐志伟 廖华明 余海燕 查礼
〖9期(1509—1515)〗

虚拟计算环境中的覆盖网技术	卢锡城 李东升
〖9期(1516—1524)〗

新一代网络QoS研究	林闯 王元卓 任丰原
〖9期(1525—1535)〗

下一代互联网体系结构基础研究及探索	吴建平 吴茜 徐恪
〖9期(1536—1548)〗

精确的程序静态分析	张健
〖9期(1549—1553)〗

一种问题驱动基于场景的协同式需求诱导方法	张伟 刘峰 赵海燕 梅宏
〖9期(1554—1562)〗

大规模分布式系统中的多属性查询处理	周傲英 周敏奇 钱卫宁 张蓉
〖9期(1563—1572)〗

支持Whatif分析的OLAP系统研究	王珊 肖艳芹 张延松 陈红
〖9期(1573—1587)〗

不同知识粒度下粗糙集的不确定性研究	王国胤 张清华
〖9期(1588—1598)〗

基于动态描述逻辑的语义Web服务推理	史忠植 常亮
〖9期(1599—1611)〗

基于用户关注空间与注意力分析的视频精彩摘要与排序	黄庆明 郑轶佳 蒋树强 高文
〖9期(1612—1621)〗

基于曲率流的四边形主导网格的光顺方法	胡事民 来煜坤 杨永亮
〖9期(1622—1628)〗

基于图学习的自动图像标注	卢汉清 刘静
〖9期(1629—1639)〗

可信计算环境证明方法研究	冯登国 秦宇
〖9期(1640—1652)〗

普适复合水银承诺方案	徐海霞 李红达 李宝
〖9期(1653—1660)〗

一个新型的NTRU类数字签名方案	胡予濮
〖9期(1661—1666)〗

《服务计算》专辑前言	李德毅 韩燕波 魏峻 李涓子 陈桂生
〖8期(1291—1292)〗

面向服务的建模：一种全过程复用的方法	吴步丹 金芝 赵彬
〖8期(1293—1308)〗

Web服务之间数据关联的建模与应用	顾志峰 李涓子 胡建强 许斌 王克宏
〖8期(1309—1318)〗

一种基于泛化-特化关系模式的业务服务实例化方法	张鹏 王菁 赵小伟
〖8期(1319—1330)〗

一种改进的基于WSDL描述的操作相似性度量方法	何玲娟 刘连臣 吴澄
〖8期(1331—1339)〗

利用服务聚类优化面向过程模型的语义Web服务发现	孙萍 蒋昌俊
〖8期(1340—1353)〗

一种基于情境推理的语义Web服务发现方法	冯在文 何克清 李兵 龚平 何扬帆 刘玮
〖8期(1354—1363)〗

基于二分图匹配的语义Web服务发现方法	邓水光 尹建伟 李莹 吴健 吴朝晖
〖8期(1364—1375)〗

QFMA: 一种支持负载均衡的多属性资源定位方法	刘德辉 周宁 尹刚 王怀民 邹鹏
〖8期(1376—1382)〗

支持服务关联的组合服务选择方法研究	叶世阳 魏峻 李磊 黄涛
〖8期(1383—1397)〗

基于组合服务执行信息的服务选取方法研究	张明卫 魏伟杰 张斌 张锡哲 朱志良
〖8期(1398—1411)〗

Deep Web集成服务的不确定模式匹配	姜芳艽 孟小峰 贾琳琳
〖8期(1412—1421)〗

基于适配的服务协作流程动态管理	乔晓强 魏峻 黄涛
〖8期(1422—1433)〗

一种可信的自适应服务组合机制	郭慧鹏 怀进鹏 邓婷 李扬
〖8期(1434—1444)〗

可靠服务组合的协调策略与分析	范贵生 刘冬梅 陈丽琼 虞慧群
〖8期(1445—1457)〗

一种可扩展的Web Service QoS管理框架	邵凌霜 李田 赵俊峰 王亚沙 谢冰 梅宏
〖8期(1458—1470)〗

一种能力属性增强的Web服务信任评估模型	李海华 杜小勇 田萱
〖8期(1471—1477)〗

基于补偿业务生成图的组合服务异常处理方法研究	尚宗敏 崔立真 王海洋 史玉良
〖8期(1478—1490)〗

基于ε-支配的多目标进化算法及自适应ε调整策略	刘鎏 李敏强 林丹
〖7期(1063—1072)〗

序列泛函网络模型及其学习算法与应用	周永权 赵斌 焦李成
〖7期(1073—1081)〗

基于云模型的进化算法	张光卫 何锐 刘禹 李德毅 陈桂生
〖7期(1082—1091)〗

Imagine流处理器上流的优化组织方法	杨学军 曾丽芳 邓宇 唐玉华
〖7期(1092—1100)〗

基于逃逸分析的循环中栈式分配优化研究	王雷 徐星
〖7期(1101—1108)〗

面向ROLAP的时态垂直粗分区方法	李文海 冯玉才 马晓鸣 付铨 胡文斌
〖7期(1109—1121)〗

一种多信任域内的直接匿名证明方案	陈小峰 冯登国
〖7期(1122—1130)〗

计算椭圆曲线上多标量乘的快速算法	刘铎 戴一奇
〖7期(1131—1137)〗

基于相关任务分配的网络计划的算法	郭强
〖7期(1138—1146)〗

无等待流水车间调度问题的优化	潘全科 赵保华 屈玉贵
〖7期(1147—1154)〗

一种鲁棒灵活的非平衡多描述视频编码和传输方案	李彬 黄峰 孙立峰 杨士强
〖7期(1155—1164)〗

目标跟踪中巴氏系数误差的分析及其消除方法	文志强 蔡自兴
〖7期(1165—1174)〗

一种面向SVC的码率控制算法	徐龙 高文 季向阳 赵德斌
〖7期(1175—1184)〗

数字媒体适配过程的一般框架、模型及应用研究	黄天云
〖7期(1185—1199)〗

约束优化模式搜索法研究进展	黄天云
〖7期(1200—1215)〗

基于代理缓存的移动流媒体动态调度算法	廖建新 杨戈 朱晓民 黄海
〖7期(1216—1223)〗

基于改进的弹簧质子模型的医学图像配准	龚永义 罗笑南 贾维嘉 黄厚生
〖7期(1224—1233)〗

基于提升Directionlet域高斯混合尺度模型的SAR图像噪声抑制	白静 侯彪 王爽 焦李成
〖7期(1234—1241)〗

体育视频分析	童晓峰 刘青山 卢汉清
〖7期(1242—1251)〗

一种基于流特性描述的P2P流量模糊识别方法	孙知信 宫婧
〖7期(1252—1260)〗

一种基于多移动Agent的对等计算动态协作模型	徐小龙 王汝传
〖7期(1261—1267)〗

神经网络在计算系统软件抗衰重启技术中的应用研究	王湛 郭成昊 刘凤玉 张宏
〖7期(1268—1275)〗

基于统计模型的书法创作模拟	董军 徐淼 潘云鹤
〖7期(1276—1282)〗

窄带的自同步音频水印算法	雷赟 刘建 严波 颜永红
〖7期(1283—1290)〗

面向涌现的多Agent系统研究及其进展	金士尧 黄红兵 范高俊
〖6期(881—895)〗

动态描述逻辑的Tableau判定算法	常亮 史忠植 邱莉榕 林芬
〖6期(896—909)〗

一个基于插值的解非线性双层规划的遗传算法	李和成 王宇平
〖6期(910—918)〗

一种基于预处理技术的约束满足问题求解算法	孙吉贵 朱兴军 张永刚 李莹
〖6期(919—926)〗

人类基因PolyA位点预测	廖堃 段江波 周艳红
〖6期(927—933)〗

基于模糊区域分布的分类规则提取及推理算法	李洁 邓一鸣 沈士团
〖6期(934—941)〗

应用统计方法综合评估核函数分类能力的研究	王泳 胡包钢
〖6期(942—952)〗

利用无私节点改善基于支付机制P2P应用的性能	彭冬生 林闯 刘卫东
〖6期(953—959)〗

面向Web网页的区域用户行为实证研究	马卫东 李幼平 马建国 周明天
〖6期(960—967)〗

无线传感器网络的链路稳定成簇与功率控制算法	李方敏 刘新华 徐文君 韩屏
〖6期(968—978)〗

基于SCC空性检测中状态空间的缩减方法	晏荣杰 张文亮 唐稚松
〖6期(979—988)〗

滑动窗口应用循环展开及其数据通路生成	董亚卓 刘明政 夏飞 窦勇
〖6期(989—997)〗

基于网格索引的连续Skyline计算方法	田李 邹鹏 李爱平 贾焰
〖6期(998—1012)〗

面向不同数据分布的多维直方图算法COCA-Hist	曹巍 王珊 覃雄派 王秋月
〖6期(1013—1024)〗

一种新的变异测试数据自动生成方法	单锦辉 高友峰 刘明浩 刘江红 张路 孙家骕
〖6期(1025—1034)〗

SET证书申请协议在SPV下的自动化验证及改进	肖茵茵 苏开乐 岳伟亚 陈清亮 吕关锋 杨晋吉
〖6期(1035—1045)〗

数字键汉字编码技术的研究和应用	王永民
〖6期(1046—1055)〗

基于双阶样条的代数双曲B样条升阶及割角算法	张波 汪国昭
〖6期(1056—1062)〗

MINI——一种可减小变更影响范围的本体演化算法	刘晨 韩燕波 陈旺虎 王建武
〖5期(711—720)〗

集成对象代理数据库的科学工作流服务框架中的数据跟踪	王黎维 黄泽谦 罗敏 彭智勇
〖5期(721—732)〗

基于任务复制的分簇与调度算法	何琨 赵勇 黄文奇
〖5期(733—740)〗

一种基于数据相关性的优化数据一致性维护方法	周婧 王意洁 李思昆
〖5期(741—754)〗

大规模流媒体应用中关键技术的研究	尹浩 林闯 文浩 陈治佳 吴大鹏
〖5期(755—774)〗

PFWRR:能实现比例公平的增强型WRR	王胜灵 侯义斌 黄建辉 黄樟钦
〖5期(775—782)〗

不同置换矩阵对基于分块H矩阵的LDPC码性能的影响	彭立 朱光喜
〖5期(783—792)〗

基于延迟部分推理的快速前向规划系统	蔡敦波 殷明浩 谷文祥 孙吉贵 刘科成
〖5期(793—802)〗

基于特征可分性的核函数自适应构造	任双桥 魏玺章 黎湘 庄钊文
〖5期(803—809)〗

多维背包问题的一个蚁群优化算法	喻学才 张田文
〖5期(810—819)〗

一种基于内容相关性的跨媒体检索方法	张鸿 吴飞 庄越挺 陈建勋
〖5期(820—826)〗

基于WDDL和行波流水技术的抗功耗攻击高性能分组密码协处理器设计与实现	童元满 王志英 戴葵 陆洪毅 石伟
〖5期(827—834)〗

基于正反控制模型的可逆逻辑综合	管致锦 秦小麟 施佺 郑吉平
〖5期(835—844)〗

基于线程感知寄存器重命名的SMT处理器资源分配	杨华 崔刚 刘宏伟 杨孝宗
〖5期(845—857)〗

一种智能网络磁盘(IND)存储系统结构	赵跃龙 戴祖雄 王志刚 杨希
〖5期(858—867)〗

基于元胞自动机算法的三维玻璃微流控芯片湿法刻蚀模拟研究	杜立群 李璞 刘军山
〖5期(868—874)〗

基于局部对比度的自适应PCNN图像融合	苗启广 王宝树
〖5期(875—880)〗

粒计算研究现状及基于Rough逻辑语义的粒计算研究	刘清 孙辉 王洪发
〖4期(543—555)〗

安全语言PointerC的设计及形式证明	华保健 陈意云 李兆鹏 王志芳 葛琳
〖4期(556—564)〗

求解卸装一体化的车辆路径问题的混合启发式算法	陈萍 黄厚宽 董兴业
〖4期(565—573)〗

数据发布中面向多敏感属性的隐私保护方法	杨晓春 王雅哲 王斌 于戈
〖4期(574—587)〗

一个基于事件驱动的面向服务计算平台	刘家红 吴泉源
〖4期(588—599)〗

基于组密钥服务器的加密文件系统的设计和实现	肖达 舒继武 薛巍 刘志才 郑纬民
〖4期(600—610)〗

中国AS级拓扑测量与分析	张宇 方滨兴 张宏莉
〖4期(611—619)〗

基于Labeled-LDA模型的文本分类新算法	李文波 孙乐 张大鲲
〖4期(620—627)〗

基于基本要素的文摘内容连贯性评测模型	刘德喜 姬东鸿
〖4期(628—635)〗

肿瘤信息基因启发式宽度优先搜索算法研究	王树林 王戟 陈火旺 李树涛 张波云
〖4期(636—649)〗

多摄像机之间基于区域SIFT描述子的目标匹配	明安龙 马华东
〖4期(650—661)〗

基于句法结构特征分析及分类技术的答案提取算法	胡宝顺 王大玲 于戈 马婷
〖4期(662—676)〗

基于信息瓶颈的社区发现	沈华伟 程学旗 陈海强 刘悦
〖4期(677—686)〗

基于子话题分治匹配的新事件检测	洪宇 张宇 范基礼 刘挺 李生
〖4期(687—695)〗

面向网络演化信息的动态文摘方法研究	张瑾 许洪波 程学旗
〖4期(696—701)〗

一种新的多版本增创算法	杨君 窦万峰
〖4期(702—710)〗

DNA计算的基本代数原理(一)	黄育潜
〖3期(353—371)〗

一种用于指针程序安全性证明的指针逻辑	陈意云 华保健 葛琳 王志芳
〖3期(372—380)〗

一种基于同步合成构造Petri网进程表达式的方法	曾庆田
〖3期(381—390)〗

一个基于微处理器功能模型的可靠度评估系统	张仕健 许彤 章隆兵 胡伟武
〖3期(391—399)〗

一种基于代表元的划分算法	张为华 王鹏 臧斌宇 朱传琪
〖3期(400—410)〗

一种并行提升小波基的设计方法与VLSI实现研究	田昕 谭毅华 田金文
〖3期(411—418)〗

点间确定别名及其在Java程序数据依赖分析中的应用	钱巨 徐宝文 周毓明
〖3期(419—430)〗

基于测试用例设计信息的回归测试优先级算法	屈波 聂长海 徐宝文
〖3期(431—439)〗

EHSTCP:改进的高速TCP算法	龙承念 杨会龙 李欣 关新平
〖3期(440—449)〗

并行数据广播中的亚可串行化并发控制	党德鹏
〖3期(450—455)〗

层次式体系结构下一种似然时标系统	陈春鹏 王怀民 姚益平
〖3期(456—466)〗

一种具有信元保序能力的Clos网络分布式调度算法	杨君刚 鲍民权 刘增基 邱智亮 赵瑞琴 石增增
〖3期(467—475)〗

拟概率空间上学习理论的关键定理和学习过程一致收敛速度的界	哈明虎 冯志芳 宋士吉 高林庆
〖3期(476—485)〗

多传感器图像融合效果综合评价研究	何贵青 陈世浩 田沄 郝重阳
〖3期(486—492)〗

一种基于旋转体的摄像机定位方法	王挺 王越超 姚辰
〖3期(493—501)〗

可动态生成具有优先级工序集的动态Job-Shop调度算法	谢志强 杨静 杨光 谭光宇
〖3期(502—508)〗

求解矩形Packing问题的砌墙式启发式算法	张德富 韩水华 叶卫国
〖3期(509—515)〗

一种检测TAL-freeness的代数方法	彭蓉 崔竞松 曾祥勇
〖3期(516—521)〗

Seal演算的偶图语义	金龙飞 刘磊
〖3期(522—528)〗

基于双向耦合扩散的保持特征的边缘锐化和图像增强	付树军 阮秋琦 穆成坡 王文洽
〖3期(529—535)〗

双环网络的［+h］边优先寻径策略	方木云 屈玉贵 赵保华
〖3期(536—542)〗

描述逻辑FL-循环术语集的语义及推理	蒋运承 王驹 邓培民 汤庸
〖2期(185—195)〗

基于进化策略方法求任意函数的数值积分	周永权 张明 赵斌
〖2期(196—206)〗

多项式等式型几何定理的可读证明	江建国 张景中 王晓京
〖2期(207—213)〗

一种具有精确边界的重复体识别算法	霍红卫 白帆
〖2期(214—219)〗

基于泛化竞争和局部渗透机制的自组织网TSP问题求解方法	张军英 周斌
〖2期(220—227)〗

用于约束多目标优化问题的双群体差分进化算法	孟红云 张小华 刘三阳
〖2期(228—235)〗

多Agent动态影响图及其一种近似推理算法研究	姚宏亮 王浩 张佑生 汪荣贵
〖2期(236—244)〗

多智能体系统时态认知规范高效符号模型检测的算法研究	吴立军 苏金树 苏开乐
〖2期(245—252)〗

无线传感器网络中节点非均匀分布的能量空洞问题	吴小兵 陈贵海
〖2期(253—261)〗

Ad hoc网络寻路阶段的合作激励机制研究	黄蕾 刘立祥
〖2期(262—269)〗

一种基于推荐证据的有效抗攻击P2P网络信任模型	田春岐 邹仕洪 王文东 程时端
〖2期(270—281)〗

基于逆向分层的网格工作流调度算法	苑迎春 李小平 王茜 张毅
〖2期(282—290)〗

Petri网的一类禁止状态问题的混合型监控器算法设计	罗继亮
〖2期(291—298)〗

一种基于活跃周期的低端口数低能耗寄存器堆设计	赵雨来 李险峰 佟冬 孙含欣 陈杰 程旭
〖2期(299—308)〗

使用取指策略控制同时多线程处理器中个体线程的性能	孙彩霞 张民选
〖2期(309—317)〗

一种数据并行中的群通信优化策略	王珏 胡长军 张纪林 李建江
〖2期(318—328)〗

H.264/AVC码率控制优化算法	袁武 林守勋 牛振东 罗海勇 张勇东
〖2期(329—339)〗

基于变分和小波变换的图像放大算法	冯象初 姜东焕 徐光宝
〖2期(340—345)〗

一种用于解决非线性滤波问题的新型粒子滤波算法	王法胜 赵清杰
〖2期(346—352)〗

对等网络中的搭便车行为分析与抑制机制综述	余一娇 金海
〖1期(1—15)〗

循环ALCN-Tbox具有模型的条件	曹发生 余泉 王驹 蒋运承
〖1期(16—23)〗

一类根式不等式的有理化算法与机器证明	徐嘉 姚勇
〖1期(24—31)〗

一种在元素与颜色规模相近时的有效着色算法及其应用	王建新 刘云龙 陈建二
〖1期(32—42)〗

结合位点进化距离与支持向量机的蛋白质分类方法	李玉岗 张法 刘志勇
〖1期(43—50)〗

基于离散Hopfield网络求解极大独立集的茎区选择算法以及在RNA二级结构预测中的应用	刘琦 张引 叶修梓 俞荣栋
〖1期(51—58)〗

一类具有大线性复杂度的四值低相关序列集	江文峰 曾祥勇 胡磊
〖1期(59—64)〗

面向多自治域网格的信息服务模型及其实现	张海辉 周兴社 杨志义 吴小钧 杨刚
〖1期(65—76)〗

基于分片的XML快速结构连接算法	王国仁 乔百友 韩东红 王斌
〖1期(77—90)〗

基于相似关系的数据库分类不一致程度评价	张伟钢 潘泉 张洪才
〖1期(91—103)〗

一种新的业务过程管理模型	李向宁 郝克刚 赵克
〖1期(104—111)〗

基于运动趋势的自适应垂直切换算法及其性能评价	刘敏 李忠诚 过晓冰 郑坤
〖1期(112—119)〗

一类非规则并行应用问题的通信集生成算法	胡长军 李静 王珏 姚广利 李永红 丁良 李建江
〖1期(120—126)〗

寄存器堆互连的VLIW结构及其指令调度算法	周志雄 何虎 杨旭 张延军 孙义和
〖1期(127—132)〗

一种流处理器体系结构MASA及其在流体力学计算中的评测	伍楠 文梅 何义 荀长庆 任巨 柴俊 张春元
〖1期(133—141)〗

低信噪比多目标检测的贪心算法	张海英 温玄 张田文
〖1期(142—150)〗

一种新的基于在线采样的多物体跟踪方法	朱琳 周杰 宋靖雁
〖1期(151—160)〗

时空谱点源目标自适应滤波检测算法	胡静 张天序 林两魁
〖1期(161—169)〗

利用模糊识别算法分析冠状动脉造影图像中的血管结构	江贵平 周寿军
〖1期(170—175)〗

多重数字签名方案及其安全性证明	王晓峰 张璟 王尚平
〖1期(176—183)〗

2007年

一种计算动作派生前提的激活集的改进方法	蒋志华 姜云飞
〖12期(2061—2073)〗

一种近似Markov Blanket最优特征选择算法	崔自峰 徐宝文 张卫丰 徐峻岭
〖12期(2074—2081)〗

一种基于SAT的运算电路查错方法	陈云霁 张健 沈海华 胡伟武
〖12期(2082—2089)〗