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