HI,欢迎来到学术之家,发表咨询:400-888-7501  订阅咨询:400-888-7502  股权代码  102064
0
首页 期刊 软件学报杂志 软件学报杂志介绍(非官网)
软件学报杂志

软件学报杂志北大期刊CSCD期刊统计源期刊

主管单位:中国科学院  主办单位:中国科学院软件研究所;中国计算机学会

人气 14819

软件学报 2012年第07期杂志 文档列表

软件学报杂志理论计算机科学
上下文相关图文法的表达能力分析第1635-1655页
关键词: 可视化语言;  上下文相关;  图文法;  表达能力;  转换算法;  
概率计算树逻辑的限界模型检测第1656-1668页
关键词: 模型检测;  限界模型检测;  概率计算树逻辑;  马尔可夫链;  
软件学报杂志系统软件与软件工程
W4H:一个面向软件部署的技术分析框架第1669-1687页
关键词: 软件部署;  分析框架;  综合分析;  
基于约束的软件失效域识别与特征分析第1688-1701页
关键词: 软件测试;  测试用例;  软件失效;  软件缺陷;  程序分析;  
2012CCF中国计算机大会征文通知第1701-1701页
关键词: 计算机;  征文通知;  中国;  大连大学;  ccf;  学术会议;  承办单位;  
基于遗传算法的工作流个人工作列表资源调度第1702-1716页
关键词: 工作流管理系统;  资源调度;  遗传算法;  个人工作列表;  
面向SLP的多重循环向量化第1717-1728页
关键词: simd;  向量化;  依赖关系分析;  多重循环;  超字并行;  
软件学报杂志模式识别与人工智能
语义web中对象共指的消解研究第1729-1744页
关键词: 对象共指;  共指消解;  实例匹配;  语义web;  数据融合;  
粗糙集的近似集第1745-1759页
关键词: 粗糙集;  近似集;  粒计算;  知识空间;  相似度;  
自适应动态控制种群规模的自然计算方法第1760-1772页
关键词: 自然计算;  种群规模;  动态控制;  logistic模型;  数值优化;  
修正免疫克隆约束多目标优化算法第1773-1786页
关键词: 约束多目标优化;  免疫克隆;  约束处理策略;  约束偏离值;  非支配解;  
一种视觉词软直方图的图像表示方法第1787-1795页
关键词: 视觉词;  软直方图;  图像表示;  高斯混合模型;  判别学习;  
联盟规范系统及其规范能力极限第1796-1804页
关键词: 规范系统;  交互时态逻辑;  联盟;  并发博弈结构;  
一种多尺度协同变异的粒子群优化算法第1805-1815页
关键词: 粒子群算法;  早熟收敛;  多尺度;  协同变异;  适应度;  
改进求解约束满足问题粗粒度弧相容算法第1816-1823页
关键词: 约束满足问题;  维持弧相容;  粗粒度算法;  修正检查;