2016年第27卷第3期目录

浏览其它刊期:  
  
本期目录

  • 基于标签路径特征融合的在线Web新闻内容抽取
  • 吴共庆,胡骏,李莉,徐喆昊,刘鹏程,胡学钢,吴信东
  • 2016,27(3):714-735 [摘要(6358)]  [PDF(5552)2.39 M][HTML(2252)]
  • 专刊文章

  • 软件形式化方法与应用专题前言
  • 詹乃军,王戟,李宣东
  • 2016,27(3):495-496 [摘要(4834)]  [PDF(7150)364.87 K][HTML(2259)]
  • 几何代数的高阶逻辑形式化
  • 马莎,施智平,李黎明,关永,张杰,Xiaoyu SONG
  • 2016,27(3):497-516 [摘要(5802)]  [PDF(9046)476.76 K][HTML(2731)]
  • 有界闭连通域上的非线性循环终止性分析
  • 李轶,冯勇
  • 2016,27(3):517-526 [摘要(5074)]  [PDF(5839)1.11 M][HTML(2616)]
  • 城市交通网络信号控制系统的实时演算模型
  • 孙景昊,关楠,邓庆绪,张鑫,杨丰源
  • 2016,27(3):527-546 [摘要(5036)]  [PDF(7320)3.09 M][HTML(2658)]
  • 基于变量访问序模式的中断数据竞争检测方法
  • 陈睿,杨孟飞,郭向英
  • 2016,27(3):547-561 [摘要(5048)]  [PDF(8395)1.69 M][HTML(2747)]
  • 安全苛刻系统测试语言中的测试设备协同语句
  • 吕江花,高世伟,马世龙,孙波,李先军
  • 2016,27(3):562-579 [摘要(4586)]  [PDF(6556)1.93 M][HTML(2420)]
  • 基于模拟关系的精化检测方法
  • 王婷,陈铁明,刘杨
  • 2016,27(3):580-592 [摘要(4870)]  [PDF(6126)1.44 M][HTML(2625)]
  • 面向条件判定覆盖的线性拟合制导测试生成
  • 汤恩义,周岩,欧建生,陈鑫
  • 2016,27(3):593-610 [摘要(4893)]  [PDF(7880)2.13 M][HTML(2700)]
  • 同步语言的时间可预测多线程代码生成方法
  • 杨志斌,赵永望,黄志球,胡凯,马殿富,Jean-Paul BODEVEIX,Mamoun FILALI
  • 2016,27(3):611-632 [摘要(4885)]  [PDF(7179)2.35 M][HTML(2857)]
  • 面向方面设计中干涉问题的分析工具
  • 陈鑫,黄超,张一帆,梅一鸣
  • 2016,27(3):633-644 [摘要(4740)]  [PDF(6321)1.41 M][HTML(2514)]
  • 运用栅栏函数验证连续系统的有界时间安全性
  • 甘庭,夏壁灿
  • 2016,27(3):645-654 [摘要(5079)]  [PDF(6477)1.20 M][HTML(2607)]
  • 不确定环境下智能大厦空调系统调度策略评估
  • 陈铭松,顾璠,徐思远,陈小红
  • 2016,27(3):655-669 [摘要(5114)]  [PDF(7698)3.01 M][HTML(2557)]
  • 二维逻辑PPTLSL的可满足性检查
  • 陆旭,段振华,田聪
  • 2016,27(3):670-681 [摘要(5065)]  [PDF(6300)1.37 M][HTML(2496)]
  • 面向无穷数据的形式模型综述
  • 宋富,吴志林
  • 2016,27(3):682-690 [摘要(5275)]  [PDF(6562)1.04 M][HTML(3044)]
  • 综述文章

  • 基于排序学习的推荐算法研究综述
  • 黄震华,张佳雯,田春岐,孙圣力,向阳
  • 2016,27(3):691-713 [摘要(9772)]  [PDF(21123)2.43 M][HTML(3762)]
  • 绿色网络理论与技术研究
  • 张国强,许自取,刘真
  • 2016,27(3):736-759 [摘要(6445)]  [PDF(7380)2.61 M][HTML(4300)]
  • 公钥密码分析简介
  • 肖人毅
  • 2016,27(3):760-767 [摘要(6665)]  [PDF(9781)948.75 K][HTML(3797)]
  • 用微信扫一扫

    用微信扫一扫