| |
2015年第26卷第10期目录
本期目录 | | | 多目标优化的测试用例优先级在线调整策略 | | | 张娜,姚澜,包晓安,董萌,桂宁 | | | 2015,26(10):2451-2464 | | | [摘要](4557) [PDF 702.47 K](6649) | | | 故障检测率不规则变化的软件可靠性模型 | | | 王金勇,吴智博,舒燕君,张展 | | | 2015,26(10):2465-2484 | | | [摘要](4212) [PDF 1.22 M](6745) | | | 中断驱动控制系统的有界模型检验技术 | | | 周筱羽,顾斌,赵建华,杨孟飞 | | | 2015,26(10):2485-2503 | | | [摘要](3542) [PDF 691.95 K](5935) | | | 基于统计占优分析的变异测试 | | | 张功杰,巩敦卫,姚香娟 | | | 2015,26(10):2504-2520 | | | [摘要](3823) [PDF 646.66 K](6519) | | | 基于关键迹和ASP的CSP模型检测 | | | 赵岭忠,翟仲毅,钱俊彦,郭云川 | | | 2015,26(10):2521-2544 | | | [摘要](4453) [PDF 982.90 K](7285) | | | 可信软件非功能需求形式化表示与可满足分析 | | | 张璇,李彤,王旭,于倩,郁湧,朱锐 | | | 2015,26(10):2545-2566 | | | [摘要](4198) [PDF 1.25 M](8845) | | | 具有回忆和遗忘机制的数据流挖掘模型与算法 | | | 赵强利,蒋艳凰,卢宇彤 | | | 2015,26(10):2567-2580 | | | [摘要](4341) [PDF 1.00 M](7145) | | | 用户感知的重复数据删除算法 | | | 张沪寅,周景才,陈毅波,查文亮 | | | 2015,26(10):2581-2595 | | | [摘要](3973) [PDF 1.02 M](6904) | | | 基于信息元的模式匹配方法 | | | 杜小坤,李国徽,王江晴,帖军,李艳红 | | | 2015,26(10):2596-2613 | | | [摘要](5166) [PDF 877.95 K](7668) | | | 面向数据流的多粒度时变分形维数计算 | | | 倪志伟,王超,胡汤磊,倪丽萍 | | | 2015,26(10):2614-2630 | | | [摘要](3755) [PDF 991.99 K](10556) | | | 双流模式下高吞吐量移动对象范围查询算法 | | | 薛忠斌,周烜,王珊 | | | 2015,26(10):2631-2643 | | | [摘要](3190) [PDF 787.92 K](5431) | | | 一种面向MSM型Clos交换结构的启发式并发调度算法 | | | 刘晓锋,赵有健,陈果 | | | 2015,26(10):2644-2655 | | | [摘要](3311) [PDF 650.73 K](6090) | | | P盒为n-MDS矩阵的SPS模型差分概率的新上界 | | | 刘国强,金晨辉 | | | 2015,26(10):2656-2666 | | | [摘要](3321) [PDF 621.61 K](5894) | | | 一种温度自适应无线传感网络时间同步方法 | | | 金梦,陈晓江,房鼎益,汤战勇,刘晨,徐丹,王薇 | | | 2015,26(10):2667-2683 | | | [摘要](4396) [PDF 885.59 K](6713) | | | 分组密码TWINE的中间相遇攻击 | | | 汪艳凤,吴文玲 | | | 2015,26(10):2684-2695 | | | [摘要](3499) [PDF 819.05 K](6757) | | | 近似理想格上的全同态加密方案 | | | 古春生 | | | 2015,26(10):2696-2719 | | | [摘要](3850) [PDF 868.44 K](8814) | | | 基于视点评分的三维模型摆正 | | | 韩红雷,王文成,华淼 | | | 2015,26(10):2720-2732 | | | [摘要](3950) [PDF 1.45 M](6467) | | | 部件级表观模型的目标跟踪方法 | | | 王美华,梁云,刘福明,罗笑南 | | | 2015,26(10):2733-2747 | | | [摘要](4330) [PDF 2.50 M](6257) | |
|
