-
贺毅朝1,王熙照2,李文斌3,张新禄4,陈嶷瑛1(石家庄经济学院信息工程学院;深圳大学计算机与软件学院;石家庄经济学院网络与信息安全实验室;河北师范大学数学与信息科学学院).基于遗传算法求解折扣{0-1}背包问题的研究[J].计算机学报,2016,第12期
-
王东风,孟丽,赵文杰(华北电力大学控制与计算机工程学院).基于自适应搜索中心的骨干粒子群算法[J].计算机学报,2016,第12期
-
邱飞岳1,2,莫雷平1,江波2,王丽萍3(浙江工业大学信息工程学院;浙江工业大学现代教育技术研究所;浙江工业大学信息智能与决策优化研究所).基于大规模变量分解的多目标粒子群优化算法研究[J].计算机学报,2016,第12期
-
吴楠1,2,宋方敏1,2,LIXiang-Dong3(南京大学计算机科学与技术系;南京大学计算机软件新技术国家重点实验室;纽约城市大学计算机科学系).通用量子计算机:理论、组成与实现[J].计算机学报,2016,第12期
-
张焕国1,毛少武1,吴万青2,吴朔媚3,刘金会1,王后珍1,贾建卫1(武汉大学计算机学院空天信息安全与可信计算教育部重点实验室;河北大学计算机科学与技术学院;石家庄学院计算机系).量子计算复杂性理论综述[J].计算机学报,2016,第12期
-
周晓根,张贵军,郝小虎,俞立(浙江工业大学信息工程学院).一种基于局部Lipschitz下界估计支撑面的差分进化算法[J].计算机学报,2016,第12期
-
王萌萌,左万利,王英,王鑫(吉林大学计算机科学与技术学院;吉林大学符号计算与知识工程教育部重点实验室).一种基于加权非负矩阵分解的多维用户人格特质识别算法[J].计算机学报,2016,第12期
-
张胜礼1,2,李永明1(陕西师范大学计算机科学学院;兴义民族师范学院信息技术学院).否定知识的代数表示及在模糊系统设计中的应用[J].计算机学报,2016,第12期
-
张昱,陈意云,李兆鹏(中国科学技术大学计算机科学与技术学院;中国科学技术大学苏州研究院软件安全实验室).形状图理论的定理证明[J].计算机学报,2016,第12期
-
孙景昊,关楠,邓庆绪(东北大学信息科学与工程学院).带时间约束实时任务图模型上可调度性分析算法研究[J].计算机学报,2016,第12期
-
江华(闽南师范大学粒计算重点实验室;韶关学院信息科学与工程学院).基于偏序规律的μ-演算一阶谓词界程逻辑模型检测[J].计算机学报,2016,第12期
-
林运国1,2,李永明1(陕西师范大学计算机科学学院;福建农林大学计算机与信息学院).开放量子行走:概率分布与中心极限定理[J].计算机学报,2016,第12期
-
霍红卫,陈晓阳,陈龙刚,于强(西安电子科技大学计算机学院).高阶熵压缩的全文自索引[J].计算机学报,2016,第12期
-
朱维军1,周清雷1,张钦宪2(郑州大学信息工程学院;郑州大学基础医学院).基于DNA计算的线性时序逻辑模型检测方法[J].计算机学报,2016,第12期
-
陈卫东(华南师范大学计算机学院).Bi-swapped网络的支配集问题研究[J].计算机学报,2016,第12期
-
刘春1,黄冉冉1,张伟2,3,赵海燕2,3,金芝2,3(河南大学计算机与信息工程学院;高可信软件技术教育部重点实验室(北京大学);北京大学信息科学与技术学院软件研究所).信息物理融合系统的软件需求分析[J].计算机学报,2016,第11期
-
过辰楷1,许静1,司冠南2,李恩鹏1,徐思涵1(南开大学计算机与控制工程学院;山东交通学院信息科学与电气工程学院).面向移动应用软件信息泄露的模型检测研究[J].计算机学报,2016,第11期
-
杨启亮1,2,马晓星2,邢建春1,胡昊2,王平1,韩德帅1(解放军理工大学国防工程学院;计算机软件新技术国家重点实验室(南京大学)).软件自适应:基于控制理论的方法[J].计算机学报,2016,第11期
-
宋杰1,孙宗哲1,李甜甜2,鲍玉斌2,于戈2(东北大学软件学院;东北大学计算机科学与工程学院).面向代码的软件能耗优化研究进展[J].计算机学报,2016,第11期
-
章晓芳1,2,章宗长1,谢晓园3,周谊成1(苏州大学计算机科学与技术学院;南京大学计算机软件新技术国家重点实验室;武汉大学软件工程国家重点实验室).一种基于优先级的迭代划分测试方法[J].计算机学报,2016,第11期
-
苏小红,王甜甜,杨劭君,马培军(哈尔滨工业大学计算机科学与技术学院).一种基于加权软件行为图挖掘的软件错误定位方法[J].计算机学报,2016,第11期
-
陆公正1,2,缪淮扣2,3(苏州市职业大学计算机工程学院;上海大学计算机工程与科学学院;上海市计算机软件测评重点实验室).抽象精化和可满足性结合的EFSM模型测试用例优化生成[J].计算机学报,2016,第11期
-
翟治年1,卢亚辉2,周武杰1,陈志豪3,王中鹏1,林江1(浙江科技学院信息与电子工程学院;深圳大学计算机与软件学院;南加州大学软件工程中心).工作流可满足性(≠)计数的固定参数线性算法[J].计算机学报,2016,第11期
-
刘吉伟,毛新军(国防科学技术大学计算机学院).软件运行时可变性动态演化机制研究[J].计算机学报,2016,第11期
-
党向盈1,2,巩敦卫1,3,姚香娟4(中国矿业大学信息与电气工程学院;徐州工程学院信电工程学院;兰州理工大学电气工程与信息工程学院;中国矿业大学理学院).基于统计分析的弱变异测试可执行路径生成[J].计算机学报,2016,第11期
-
祖佺1,张苗苗1,刘静2(同济大学软件学院;华东师范大学上海市高可信计算重点实验室).左侧带权凸二分图动态权值匹配[J].计算机学报,2016,第11期
-
杨波1,2,吴际2,刘超2(北方工业大学计算机学院;北京航空航天大学计算机学院).基于变量影响分析与数据变异的回归测试用例生成[J].计算机学报,2016,第11期
|