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