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

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

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

人气 14819

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

软件学报杂志理论计算机科学
■ukasiewicz命题逻辑中命题的Borel概率真度理论和极限定理第2235-2247页
关键词: borel概率测度;  概率真度;  极限定理;  
软件学报杂志算法设计与分析
基于PAR的排序算法自动生成研究第2248-2260页
关键词: 排序算法;  自动生成;  领域特定语言;  形式化模型;  
正则表达式分组的1/(1-1/k)-近似算法第2261-2272页
关键词: 正则表达式;  深度包检测;  分组算法;  局部搜索;  
电子细胞模型Analog-Cell中前体mRNA剪接过程的模拟与研究第2273-2284页
关键词: 电子细胞;  选择性剪接;  前体mrna的剪接;  
求解等球packing问题的两个策略第2285-2296页
关键词: 等球packing问题;  拟物模型;  启发式;  伪球策略;  序列对称换位策略;  
软件学报杂志模式识别与人工智能
一种用于常识空间信息处理的定性空间关系模型第2311-2322页
关键词: 定性空间推理;  常识空间信息;  邻域划分图;  
谓词模态逻辑到对应物理论的翻译第2323-2335页
关键词: 谓词模态逻辑;  对应物理论;  语义忠实语义满翻译;  
无偏置支持向量回归优化问题第2336-2346页
关键词: 偏置;  支持向量回归;  有效集;  泛化性能;  
基于超图的翻译模型融合的研究第2347-2357页
关键词: 超图;  推导;  规则;  翻译模型融合;  伪歧义;  一致性翻译;  
一种虚拟人作业行为的自主优化模型第2358-2373页
关键词: 虚拟人;  行为元素;  多agent;  合作博弈;  人机工程学;  
求解约束优化问题的ε-DE算法第2374-2387页
关键词: 约束优化问题;  差分进化算法;  
软件学报杂志计算机网络与信息安全
基于首选路由的AS重要性评估方法第2388-2400页
关键词: 自治系统;  网络生存性;  首选路由;  重要性评估;  
面向编码机会路由的无线Mesh网络广播信道接入第2401-2415页
关键词: 机会路由;  网络编码;  广播mac;  最优停止理论;  多用户分集;  
标准模型下的签名:构造模型与证明安全性第2416-2429页
关键词: 可证安全性;  身份;  cdh问题;  
分组密码二元扩散结构的几点注记第2430-2437页
关键词: 分组密码;  扩散结构;  分支数;