2015年第26卷第9期目录
基于聚类和划分的SAT分治判定范全润,段振华2015,26(9):2155-2166 [摘要(3565)] [PDF(4680)591.50 K][HTML(1454)]基于正交实验设计的人工蜂群算法周新宇,吴志健,王明文2015,26(9):2167-2190 [摘要(4320)] [PDF(5923)585.13 K][HTML(2293)]一种面向移动应用的探索式服务组合方法白琳,魏峻,黄翔,叶丹,黄涛2015,26(9):2191-2211 [摘要(3338)] [PDF(5326)1.23 M][HTML(1434)]中断驱动系统模型检验周筱羽,顾斌,赵建华,杨孟飞,李宣东2015,26(9):2212-2230 [摘要(9926)] [PDF(5321)777.72 K][HTML(1443)]基于概念R-MUPS的本体调试方法欧阳丹彤,苏静,叶育鑫,崔仙姬2015,26(9):2231-2249 [摘要(2884)] [PDF(4819)844.27 K][HTML(2372)]半扩展规则下分解的定理证明方法张立明,欧阳丹彤,赵毅2015,26(9):2250-2261 [摘要(2756)] [PDF(4624)621.33 K][HTML(1803)]面向时序数据的矩阵分解黄晓宇,潘嵘,李磊,梁冰,陈康,蔡文学2015,26(9):2262-2277 [摘要(3267)] [PDF(5521)809.04 K][HTML(1714)]Extended IF逻辑的命题演算系统许文艳2015,26(9):2278-2285 [摘要(2572)] [PDF(4937)492.73 K][HTML(1358)]具有模态词□φ=□1V□2φ且可靠与完备的公理系统邓少波,黎敏,曹存根,眭跃飞2015,26(9):2286-2296 [摘要(3303)] [PDF(4578)577.92 K][HTML(1380)]
排序的相互k-Skyband查询算法蒋涛,张彬,余法红,柳晴,周傲英2015,26(9):2297-2310 [摘要(4310)] [PDF(5517)1011.45 K][HTML(1479)]
基于Shapelet剪枝和覆盖的时间序列分类算法原继东,王志海,韩萌2015,26(9):2311-2325 [摘要(4088)] [PDF(7363)720.59 K][HTML(1570)]增强覆盖度与非相似性的标签选择多样化方法汪美玲,周翔,陶秋铭,赵琛2015,26(9):2326-2338 [摘要(3008)] [PDF(4694)717.51 K][HTML(1526)]基于链路预测的社会网络事件检测方法胡文斌,彭超,梁欢乐,杜博2015,26(9):2339-2355 [摘要(4192)] [PDF(6443)994.66 K][HTML(1950)]TCM密钥迁移协议设计及形式化分析张倩颖,冯登国,赵世军2015,26(9):2396-2417 [摘要(2872)] [PDF(6125)860.98 K][HTML(1536)]基于局部需求的稀有资源主动复制与搜索机制梅红岩,张玉洁,孟祥武2015,26(9):2418-2435 [摘要(2490)] [PDF(4489)984.02 K][HTML(1910)]物联网移动节点直接匿名漫游认证协议周彦伟,杨波2015,26(9):2436-2450 [摘要(2914)] [PDF(5292)922.22 K][HTML(1443)]
网络链路性能参数估计的层析成像方法综述潘胜利,张志勇,费高雷,钱峰,胡光岷2015,26(9):2356-2372 [摘要(6306)] [PDF(8132)1.52 M][HTML(4707)]位置服务隐私保护研究综述张学军,桂小林,伍忠东2015,26(9):2373-2395 [摘要(7152)] [PDF(14382)1.16 M][HTML(4877)]
