• 中国精品科技期刊
  • CCF推荐A类中文期刊
  • 计算领域高质量科技期刊T1类
高级检索

栏目
工作流过程建模中的形式化验证技术
周建涛, 史美林, 叶新铭
2005, 42(1): 1-9.
摘要 PDF
VAR-Tree——一种新的高维数据索引结构
董道国 梁刘红 薛向阳
2005, 42(1): 10-17.
摘要 PDF
一种面向混合实时事务调度的并发控制协议
王 强 王宏安 金 宏 付 勇 戴国忠
2005, 42(1): 18-29.
摘要 PDF
一种基于DTD的XML索引方法
路 燕, 张 亮, 段起阳, 施伯乐
2005, 42(1): 30-37.
摘要 PDF
LDPChecker——一个实时和混成系统模型检验工具
裴 玉 李宣东 郑国梁
2005, 42(1): 38-46.
摘要 PDF
文本分类中结合评估函数的TEF-WA权值调整技术
唐焕玲, 孙建涛, 陆玉昌
2005, 42(1): 47-53.
摘要 PDF
BDI模型信念特性研究
刘 勇, 蒲树祯, 程代杰, 曹泽翰
2005, 42(1): 54-59.
摘要 PDF
SAT问题中局部搜索法的改进
杨晋吉, 苏开乐
2005, 42(1): 60-65.
摘要 PDF
基于最小不确定性神经网络的茶味觉信号识别
王 岩 周春光 黄艳新 丰小月
2005, 42(1): 66-71.
摘要 PDF
基于分段时间弯曲距离的时间序列挖掘
肖 辉 胡运发
2005, 42(1): 72-78.
摘要 PDF
一种改进的自适应文本信息过滤模型
马 亮 陈群秀 蔡莲红
2005, 42(1): 79-84.
摘要 PDF
一种实用高效的文本分类算法
王建会, 王洪伟, 申 展, 胡运发
2005, 42(1): 85-93.
摘要 PDF
使用最大熵模型进行中文文本分类
李荣陆 王建会 陈晓云 陶晓鹏 胡运发
2005, 42(1): 94-101.
摘要 PDF
应用于计算机网络协议一致性测试的传输机制
张玉军 李忠诚 郑红霞 田 野 孙静波
2005, 42(1): 102-108.
摘要 PDF
基于Small-World网络的非结构化DHT算法
周 晋 李衍达
2005, 42(1): 109-117.
摘要 PDF
同构计算环境中一种快速有效的静态任务调度算法
李庆华, 韩建军, Abbas A. Essa
2005, 42(1): 118-125.
摘要 PDF
分布式数据库服务器系统及其自适应配置管理策略
田俊峰, 刘玉玲, 杜瑞忠
2005, 42(1): 126-133.
摘要 PDF
基于遗传算法的B样条曲线和Bézier曲线的最小二乘拟合
周明华, 汪国昭
2005, 42(1): 134-143.
摘要 PDF
建筑工程图识别与理解——模型与算法
路 通 席晓鹏 芮 明 蔡士杰 窦万春
2005, 42(1): 144-152.
摘要 PDF
SOC可测试性设计与测试技术
胡 瑜, 韩银和, 李晓维
2005, 42(1): 153-162.
摘要 PDF
无线传感器网络研究进展
崔 莉, 鞠海玲, 苗 勇, 李天璞, 刘 巍, 赵泽
2005, 42(1): 163-174.
摘要 PDF