2008年第19卷第1期目录
量子程序设计语言NDQJava徐家福,宋方敏,钱士钧,戴静安,张云洁2008,19(1):1-8 [摘要(7204)] [PDF(7553)419.28 K][HTML(0)]量子程序设计语言NDQJava处理系统钱士钧,戴静安,张云洁,徐家福2008,19(1):9-16 [摘要(5895)] [PDF(6184)411.41 K][HTML(0)]变量极小不可满足在模型检测中的应用陈振宇,陶志红,KLEINE BüNING Hans,王立福2008,19(1):39-47 [摘要(5043)] [PDF(5789)424.62 K][HTML(0)]基于层次划分的最佳聚类数确定方法陈黎飞,姜青山,王声瑞2008,19(1):62-72 [摘要(7221)] [PDF(10812)633.53 K][HTML(0)]一种从不完备关系数据中学习PRM的方法李小琳,周志华2008,19(1):73-81 [摘要(5271)] [PDF(6641)920.43 K][HTML(0)]基于区分类别能力的高性能特征选择方法徐 燕,李锦涛,王 斌,孙春明2008,19(1):82-89 [摘要(6360)] [PDF(10401)442.59 K][HTML(0)]无线传感器网络中自适应数据存取蔚赵春,周水庚,肖 斌2008,19(1):103-115 [摘要(5878)] [PDF(6966)839.94 K][HTML(0)]无线网状网基于不确定性度量极小化信任模型丁旭阳,范明钰,朱大勇,王佳昊2008,19(1):116-124 [摘要(5385)] [PDF(6307)425.17 K][HTML(0)]高带宽延时网络中一种协同式拥塞控制协议王建新,龚 皓,陈建二2008,19(1):125-135 [摘要(5983)] [PDF(6685)567.53 K][HTML(0)]分布式信息检索中文档集合划分问题的评价张 刚,谭建龙2008,19(1):136-143 [摘要(4398)] [PDF(5856)429.30 K][HTML(0)]基于博弈论的域间组播计费模型赵金晶,朱培栋,卢锡城2008,19(1):144-155 [摘要(5472)] [PDF(6023)787.05 K][HTML(0)]一种用于无线网络中实时业务的跨层调度算法郝丹丹,邹仕洪,程时端2008,19(1):156-166 [摘要(4685)] [PDF(6594)766.23 K][HTML(0)]SE-BGP:一种BGP安全机制胡湘江,朱培栋2008,19(1):167-176 [摘要(5582)] [PDF(6236)493.80 K][HTML(0)]
基于抽象解释理论的程序验证技术李梦君,李舟军,陈火旺2008,19(1):17-26 [摘要(10972)] [PDF(12464)521.14 K][HTML(0)]谓词抽象技术研究屈婉霞,李 暾,郭 阳,杨晓东2008,19(1):27-38 [摘要(7947)] [PDF(9818)583.01 K][HTML(0)]聚类算法研究孙吉贵,刘 杰,赵连宇2008,19(1):48-61 [摘要(29079)] [PDF(66902)671.39 K][HTML(0)]超三代移动通信系统的QoS体系结构林 闯,曾荣飞,雷 蕾,肖圳莎2008,19(1):90-102 [摘要(8063)] [PDF(10088)964.58 K][HTML(0)]
