2016年第27卷第3期目录
浏览其它刊期:
2025年第36卷
2024年第35卷
2023年第34卷
2022年第33卷
2021年第32卷
2020年第31卷
2019年第30卷
2018年第29卷
2017年第28卷
2016年第27卷
2015年第26卷
2014年第25卷
2013年第24卷
2012年第23卷
2011年第22卷
2010年第21卷
2009年第20卷
2008年第19卷
2007年第18卷
2006年第17卷
2005年第16卷
2004年第15卷
2003年第14卷
2002年第13卷
2001年第12卷
2000年第11卷
1999年第10卷
1998年第9卷
1997年第8卷
1996年第7卷
1995年第6卷
1994年第5卷
1993年第4卷
1992年第3卷
1991年第2卷
1990年第1卷
5年
0年
第s2期
第s1期
第1期
第2期
第3期
第4期
第5期
第6期
第7期
第8期
第9期
第10期
第11期
第12期
本期目录
基于标签路径特征融合的在线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)
]
二维逻辑PPTL
SL
的可满足性检查
陆旭,段振华,田聪
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)
]
快速直达
作者登录
审稿登录
编辑登录
读者登录
最新录用
过刊浏览
期刊检索
RSS
E-mail
下载排行
点击排行
引用排行
返回首页
用微信扫一扫