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

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

软件学报杂志理论计算机科学

Goguen命题逻辑系统公理化扩张的Γ-k真度理论及性质第1629-1639页

关键词: goguen命题逻辑系统；  

软件学报杂志算法设计与分析

单规格一刀切矩形排样问题的启发式搜索算法第1640-1654页

关键词: 固定尺寸；  装箱问题；  启发式；  适应度；  组化；  

软件学报杂志系统软件与软件工程

ParaC：面向GPU平台的图像处理领域的编程框架第1655-1675页

关键词: 图像处理；  通用gpu加速器；  领域编程语言；  编译优化；  源源变换；  

基于验证的自适应系统决策：一种模型驱动的方法第1676-1697页

关键词: 自适应系统；  优化决策；  需求建模；  模型驱动；  需求验证；  

面向同步规范的并行代码自动生成第1698-1712页

关键词: 同步规范；  signal；  并行程序；  代码生成；  openmp；  

基于证据的软件过程可信度模型及评估方法第1713-1731页

关键词: 软件可信；  过程可信；  软件制品可信；  

面向Linux的内核级代码复用攻击检测技术第1732-1745页

关键词: 代码复用攻击；  内核；  控制流完整性；  插桩；  约束规则；  

软件可靠性增长模型的不确定性量化研究第1746-1758页

关键词: 可靠性；  不确定性；  nhpp；  噪音；  相关性；  

软件学报杂志模式识别与人工智能

贪婪缺省逻辑第1759-1772页

关键词: 缺省逻辑；  扩展；  伪子公式；  gentzen系统；  

基于进化聚类的动态网络社团发现第1773-1789页

关键词: 进化聚类；  标签传播；  动态网络；  社团发现；  

软件学报杂志计算机网络与信息安全

高效节能虚拟网络映射多反馈控制模型及算法第1790-1814页

关键词: 虚拟网络映射；  多反馈控制；  高效节能；  资源整合；  软件定义网络；  

一种大规模IP网络多链路拥塞推理算法第1815-1834页

关键词: 拥塞链路推理；  tomography；  贝叶斯网模型；  拉格朗日松弛；  

软件学报杂志计算机图形学与计算机辅助设计

基于半色调技术的印前图像篡改检测方法第1835-1846页

关键词: 复制移动；  篡改检测；  半色调；  数字图像取证；  

三角形约束下的词袋模型图像分类方法第1847-1861页

关键词: 词袋模型；  显著区域；  空间拓扑结构；  三角剖分；  图像分类；  

基于数据均衡的增进式深度自动图像标注第1862-1880页

关键词: 深度学习；  数据均衡；  图像标注；  语义传播；