2017年第28卷第7期目录
基于验证的自适应系统决策:一种模型驱动的方法杨卓群,金芝出版日期: 2017-7月-25日 (22 页)2017,28(7):1676-1697 [摘要(2805)] [PDF(5019)2.42 M][HTML(2779)]
Goguen命题逻辑系统公理化扩张的Γ-k真度理论及性质高晓莉,惠小静,朱乃调出版日期: 2017-7月-25日 (11 页)2017,28(7):1629-1639 [摘要(2387)] [PDF(3694)1.13 M][HTML(1754)]单规格一刀切矩形排样问题的启发式搜索算法王磊,刘强,陈新出版日期: 2017-7月-25日 (15 页)2017,28(7):1640-1654 [摘要(2910)] [PDF(5189)1.32 M][HTML(2145)]ParaC:面向GPU平台的图像处理领域的编程框架卢兴敬,刘雷,贾海鹏,冯晓兵,武成岗出版日期: 2017-7月-25日 (21 页)2017,28(7):1655-1675 [摘要(3525)] [PDF(5598)2.08 M][HTML(2213)]面向同步规范的并行代码自动生成胡凯,张腾,尚利宏,杨志斌,Jean-Pierre TALPIN出版日期: 2017-7月-25日 (15 页)2017,28(7):1698-1712 [摘要(4609)] [PDF(7709)1.39 M][HTML(1794)]基于证据的软件过程可信度模型及评估方法王德鑫,王青,贺劼出版日期: 2017-7月-25日 (19 页)2017,28(7):1713-1731 [摘要(3563)] [PDF(5790)1.82 M][HTML(2374)]面向Linux的内核级代码复用攻击检测技术陈志锋,李清宝,张平,王烨出版日期: 2017-7月-25日 (14 页)2017,28(7):1732-1745 [摘要(3593)] [PDF(4859)1.49 M][HTML(2356)]软件可靠性增长模型的不确定性量化研究许家俊,姚淑珍出版日期: 2017-7月-25日 (13 页)2017,28(7):1746-1758 [摘要(2791)] [PDF(4020)410.61 K][HTML(2035)]贪婪缺省逻辑陈博,曹存根,眭跃飞出版日期: 2017-7月-25日 (14 页)2017,28(7):1759-1772 [摘要(3066)] [PDF(4076)1.37 M][HTML(1610)]基于进化聚类的动态网络社团发现牛新征,司伟钰,佘堃出版日期: 2017-7月-25日 (17 页)2017,28(7):1773-1789 [摘要(2899)] [PDF(5044)1.72 M][HTML(1901)]高效节能虚拟网络映射多反馈控制模型及算法陈晓华,李春芝,陈良育,曾振柄,蒋云良出版日期: 2017-7月-25日 (25 页)2017,28(7):1790-1814 [摘要(3354)] [PDF(5112)2.66 M][HTML(2159)]一种大规模IP网络多链路拥塞推理算法陈宇,温欣玲,段哲民,李宇翀出版日期: 2017-7月-25日 (20 页)2017,28(7):1815-1834 [摘要(2791)] [PDF(4693)2.04 M][HTML(2675)]基于半色调技术的印前图像篡改检测方法谢伟,万晓霞,叶松涛,金国念出版日期: 2017-7月-25日 (12 页)2017,28(7):1835-1846 [摘要(3149)] [PDF(4961)1.23 M][HTML(1573)]三角形约束下的词袋模型图像分类方法汪荣贵,丁凯,杨娟,薛丽霞,张清杨出版日期: 2017-7月-25日 (15 页)2017,28(7):1847-1861 [摘要(3480)] [PDF(6147)1.48 M][HTML(2054)]基于数据均衡的增进式深度自动图像标注周铭柯,柯逍,杜明智出版日期: 2017-7月-25日 (19 页)2017,28(7):1862-1880 [摘要(2820)] [PDF(7368)1.96 M][HTML(1575)]基于运行时模型的混合云管理方法陈星,兰兴土,李隘鹏,郭文忠,黄罡出版日期: 2017-7月-25日 (17 页)2017,28(7):1881-1897 [摘要(2817)] [PDF(4095)1.77 M][HTML(2008)]基于信任度的合一系统社会任务分配武丹凤,于思淼,张绳昱,张锐文出版日期: 2017-7月-25日 (28 页)2017,28(7):1898-1925 [摘要(2508)] [PDF(6118)2.83 M][HTML(1621)]
