本期目录

2013年 第7卷 第3期    刊出日期：2013-03-01
上一期    下一期

目次
2013年第3期目次
2013, 7(3):  0-0. 
相关文章 | 计量指标
摘要 ( )
PDF ( )  
学术研究
主动模糊访问控制规则集终止性分析
窦文阳，王小明，张立臣
2013, 7(3):  193-208.  DOI: 10.3778/j.issn.1673-9418.1208037
相关文章 | 计量指标
摘要 ( )
PDF ( )  
基于浮点区间幂集抽象域的浮点程序分析
姜加红，陈立前，王戟
2013, 7(3):  209-217.  DOI: 10.3778/j.issn.1673-9418.1209023
相关文章 | 计量指标
摘要 ( )
PDF ( )  
基于时间序列分析的Web Service QoS预测方法
华哲邦，李萌，赵俊峰，谢冰
2013, 7(3):  218-226.  DOI: 10.3778/j.issn.1673-9418.1209009
相关文章 | 计量指标
摘要 ( )
PDF ( )  
分子场快速计算及在蛋白质识别研究中的应用
张繁，王章野，吴韬，彭群生
2013, 7(3):  227-235.  DOI: 10.3778/j.issn.1673-9418.1208014
相关文章 | 计量指标
摘要 ( )
PDF ( )  
HBase数据库迁移工具的设计与实现
杨寒冰，赵龙，贾金原
2013, 7(3):  236-246.  DOI: 10.3778/j.issn.1673-9418.1211006
相关文章 | 计量指标
摘要 ( )
PDF ( )  
流量仿真中虚拟管制员模型的研究
梁海军，杨红雨，杨波，刘洪，陈正茂
2013, 7(3):  247-253.  DOI: 10.3778/j.issn.1673-9418.1208003
相关文章 | 计量指标
摘要 ( )
PDF ( )  
保留自由曲线特征点的逆向细分
高敏，郑红婵，彭国华
2013, 7(3):  254-261.  DOI: 10.3778/j.issn.1673-9418.1208015
相关文章 | 计量指标
摘要 ( )
PDF ( )  
度数法求解最大团问题
胡新，王丽珍，何瓦特，姚华传
2013, 7(3):  262-271.  DOI: 10.3778/j.issn.1673-9418.1208048
相关文章 | 计量指标
摘要 ( )
PDF ( )  
诱导核空间选择的LPKHDA维数约简算法
任世锦，杨茂云，刘小平，徐桂云
2013, 7(3):  272-281.  DOI: 10.3778/j.issn.1673-9418.1205027
相关文章 | 计量指标
摘要 ( )
PDF ( )  
区间集上的弱S-蕴涵
薛占熬，程惠茹，黄海松，李跃军
2013, 7(3):  282-288.  DOI: 10.3778/j.issn.1673-9418.1206050
相关文章 | 计量指标
摘要 ( )
PDF ( )