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