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