| |
2015年第26卷第9期目录
本期目录 | | | 基于聚类和划分的SAT分治判定 | | | 范全润,段振华 | | | 2015,26(9):2155-2166 | | | [摘要](4104) [PDF 591.50 K](5494) | | | 基于正交实验设计的人工蜂群算法 | | | 周新宇,吴志健,王明文 | | | 2015,26(9):2167-2190 | | | [摘要](5051) [PDF 585.13 K](6863) | | | 一种面向移动应用的探索式服务组合方法 | | | 白琳,魏峻,黄翔,叶丹,黄涛 | | | 2015,26(9):2191-2211 | | | [摘要](3984) [PDF 1.23 M](6477) | | | 中断驱动系统模型检验 | | | 周筱羽,顾斌,赵建华,杨孟飞,李宣东 | | | 2015,26(9):2212-2230 | | | [摘要](13345) [PDF 777.72 K](6347) | | | 基于概念R-MUPS的本体调试方法 | | | 欧阳丹彤,苏静,叶育鑫,崔仙姬 | | | 2015,26(9):2231-2249 | | | [摘要](3545) [PDF 844.27 K](5644) | | | 半扩展规则下分解的定理证明方法 | | | 张立明,欧阳丹彤,赵毅 | | | 2015,26(9):2250-2261 | | | [摘要](3383) [PDF 621.33 K](5441) | | | 面向时序数据的矩阵分解 | | | 黄晓宇,潘嵘,李磊,梁冰,陈康,蔡文学 | | | 2015,26(9):2262-2277 | | | [摘要](3950) [PDF 809.04 K](6421) | | | Extended IF逻辑的命题演算系统 | | | 许文艳 | | | 2015,26(9):2278-2285 | | | [摘要](3161) [PDF 492.73 K](5751) | | | 具有模态词□φ=□1V□2φ且可靠与完备的公理系统 | | | 邓少波,黎敏,曹存根,眭跃飞 | | | 2015,26(9):2286-2296 | | | [摘要](4269) [PDF 577.92 K](5467) | | | 排序的相互k-Skyband查询算法 | | | 蒋涛,张彬,余法红,柳晴,周傲英 | | | 2015,26(9):2297-2310 | | | [摘要](4934) [PDF 1011.45 K](6353) | | | 基于Shapelet剪枝和覆盖的时间序列分类算法 | | | 原继东,王志海,韩萌 | | | 2015,26(9):2311-2325 | | | [摘要](4709) [PDF 720.59 K](8460) | | | 增强覆盖度与非相似性的标签选择多样化方法 | | | 汪美玲,周翔,陶秋铭,赵琛 | | | 2015,26(9):2326-2338 | | | [摘要](3613) [PDF 717.51 K](5668) | | | 基于链路预测的社会网络事件检测方法 | | | 胡文斌,彭超,梁欢乐,杜博 | | | 2015,26(9):2339-2355 | | | [摘要](4894) [PDF 994.66 K](7418) | | | TCM密钥迁移协议设计及形式化分析 | | | 张倩颖,冯登国,赵世军 | | | 2015,26(9):2396-2417 | | | [摘要](3457) [PDF 860.98 K](7081) | | | 基于局部需求的稀有资源主动复制与搜索机制 | | | 梅红岩,张玉洁,孟祥武 | | | 2015,26(9):2418-2435 | | | [摘要](3072) [PDF 984.02 K](5394) | | | 物联网移动节点直接匿名漫游认证协议 | | | 周彦伟,杨波 | | | 2015,26(9):2436-2450 | | | [摘要](3515) [PDF 922.22 K](6075) | |
综述文章
|
