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