本期目录

2015年 第9卷 第7期    刊出日期：2015-07-01
上一期    下一期

目次
2015年第7期目次
2015, 9(7):  0-0. 
相关文章 | 计量指标
摘要 ( )
PDF ( )  
综述·探索
SMT求解技术简述
金继伟，马菲菲，张健
2015, 9(7):  769-780.  DOI: 10.3778/j.issn.1673-9418.1405041
相关文章 | 计量指标
摘要 ( )
PDF ( )  
系统软件与软件工程
层次化服务流程向可执行BPEL转换的方法
王朔，王忠杰，于梦，徐晓飞
2015, 9(7):  781-792.  DOI: 10.3778/j.issn.1673-9418.1410010
相关文章 | 计量指标
摘要 ( )
PDF ( )  
基于上下文无关文法的可逆变换模型
吴阳怿，吴逸鸣，熊英飞
2015, 9(7):  793-802.  DOI: 10.3778/j.issn.1673-9418.1410009
相关文章 | 计量指标
摘要 ( )
PDF ( )  
基于日志的Web系统互操作测试用例扩充方法
王飞，刘超
2015, 9(7):  803-811.  DOI: 10.3778/j.issn.1673-9418.1410008
相关文章 | 计量指标
摘要 ( )
PDF ( )  
网络与信息安全
最大流信任关系发现方法
李建军，张汝波，杨玉，苏泯元
2015, 9(7):  812-820.  DOI: 10.3778/j.issn.1673-9418.1409057
相关文章 | 计量指标
摘要 ( )
PDF ( )  
基于博弈论的车联网双重激励数据转发机制
杨树雪，王良民
2015, 9(7):  821-831.  DOI: 10.3778/j.issn.1673-9418.1410054
相关文章 | 计量指标
摘要 ( )
PDF ( )  
基于分时的LEO卫星网络非对称路由算法
韦娟，薄振雨，刘叶，雷秀英
2015, 9(7):  832-838.  DOI: 10.3778/j.issn.1673-9418.1410040
相关文章 | 计量指标
摘要 ( )
PDF ( )  
人工智能与模式识别
三维音频实时生成技术及实现
涂卫平，姚雪春，张茂胜，胡瑞敏，杨乘
2015, 9(7):  839-846.  DOI: 10.3778/j.issn.1673-9418.1412012
相关文章 | 计量指标
摘要 ( )
PDF ( )  
命题逻辑中非子句α-有序线性广义归结方法
贾海瑞，徐扬，邓鹏
2015, 9(7):  847-853.  DOI: 10.3778/j.issn.1673-9418.1409058
相关文章 | 计量指标
摘要 ( )
PDF ( )  
求解函数优化问题的改进人工蜂群算法
唐凌芸，毛力，周长喜
2015, 9(7):  854-860.  DOI: 10.3778/j.issn.1673-9418.1409047
相关文章 | 计量指标
摘要 ( )
PDF ( )  
面向近邻搜索的马尔科夫图哈希算法
刘弘，江爱文，王明文，万剑怡
2015, 9(7):  861-868.  DOI: 10.3778/j.issn.1673-9418.1409011
相关文章 | 计量指标
摘要 ( )
PDF ( )  
基于核空间中K-近邻的不均衡数据算法
杜红乐
2015, 9(7):  869-876.  DOI: 10.3778/j.issn.1673-9418.1409037
相关文章 | 计量指标
摘要 ( )
PDF ( )  
学术研究
逻辑标记转换系统下预备模拟与稳定划分
朱文涛
2015, 9(7):  877-886.  DOI: 10.3778/j.issn.1673-9418.1409033
相关文章 | 计量指标
摘要 ( )
PDF ( )  
Entropy-Beta：用于模式匹配众包方法中的发包策略
黄冬梅，许坤，张明华
2015, 9(7):  887-896.  DOI: 10.3778/j.issn.1673-9418.1410051
相关文章 | 计量指标
摘要 ( )
PDF ( )