| |
2005年第16卷第7期目录
本期目录 | | | 粗代数研究 | | | 代建华,潘云鹤 | | | 2005,16(7):1197-1204 [摘要(3888)] [PDF 760.43 K (5165)] | | | | | 正则序类逻辑Institution的Lawvere定理及其初始与终结语义 | | | 刘富春 | | | 2005,16(7):1205-1209 [摘要(4111)] [PDF 657.31 K (4768)] | | | | | 关于蜕变测试和特殊用例测试的实例研究 | | | 吴鹏,施小纯,唐江峻,林惠民,陈宗岳 | | | 2005,16(7):1210-1220 [摘要(5966)] [PDF 1.24 M (5314)] | | | | | 关于软件需求中的不一致性管理 | | | 朱雪峰,金芝 | | | 2005,16(7):1221-1231 [摘要(4782)] [PDF 476.41 K (7380)] | | | | | 下一代通信软件中的特征冲突检测 | | | 王栋,梅宏 | | | 2005,16(7):1232-1241 [摘要(3715)] [PDF 1021.12 K (5650)] | | | | | 一种基于Petri网化简的工作流过程语义验证方法 | | | 周建涛,史美林,叶新铭 | | | 2005,16(7):1242-1251 [摘要(5086)] [PDF 1.06 M (6433)] | | | | | 数据流上的预测聚集查询处理算法 | | | 李建中,郭龙江,张冬冬,王伟平 | | | 2005,16(7):1252-1261 [摘要(4668)] [PDF 765.33 K (8503)] | | | | | 分布式序列模式发现算法的研究 | | | 邹翔,张巍,刘洋,蔡庆生 | | | 2005,16(7):1262-1269 [摘要(4789)] [PDF 693.70 K (5669)] | | | | | SEEKER:基于关键词的关系数据库信息检索 | | | 文继军,王珊 | | | 2005,16(7):1270-1281 [摘要(4898)] [PDF 467.25 K (6953)] | | | | | 基于奇异值分解的异常切片挖掘 | | | 遇辉,马秀莉,谭少华,唐世渭,杨冬青 | | | 2005,16(7):1282-1288 [摘要(3737)] [PDF 298.12 K (5528)] | | | | | 一类存在特权集的门限群签名方案 | | | 陈伟东,冯登国 | | | 2005,16(7):1289-1295 [摘要(3810)] [PDF 642.07 K (4951)] | | | | | 具有最低竞争吞吐率保证的准入控制算法 | | | 付晓蕊,张连芳 | | | 2005,16(7):1296-1304 [摘要(3821)] [PDF 764.64 K (5074)] | | | | | 移动IP的切换特征分析 | | | 赵庆林,李忠诚,冯丽,杨建华 | | | 2005,16(7):1305-1313 [摘要(3342)] [PDF 779.38 K (5154)] | | | | | 移动IPv6中的一种分布式动态型微移动管理方案 | | | 王胜灵,刘国荣,沈钧毅,侯义斌,黄建辉 | | | 2005,16(7):1314-1322 [摘要(3809)] [PDF 405.49 K (5347)] | | | | | 基于小波域HMM模型的稳健多比特图像水印算法 | | | 张荣跃,倪江群,黄继武 | | | 2005,16(7):1323-1332 [摘要(4395)] [PDF 1.74 M (5969)] | | | | | 一个安全公钥广播加密方案 | | | 谭作文,刘卓军,肖红光 | | | 2005,16(7):1333-1343 [摘要(4710)] [PDF 876.23 K (5487)] | | | | | 关于三个流密码的安全性 | | | 张斌,伍宏军,冯登国,鲍丰 | | | 2005,16(7):1344-1351 [摘要(4092)] [PDF 755.12 K (5271)] | | | | | QoS供应体系中的新型网络改进算法 | | | 杨挺,孙雨耕,胡华东,孙永进 | | | 2005,16(7):1352-1358 [摘要(3639)] [PDF 686.37 K (5131)] | | | |
|
