主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第5期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
 

2012年第23卷第9期目录

   
浏览其它刊期:  
  

本期目录

Łukasiewicz 命题逻辑中命题的Borel 概率真度理论和极限定理
  周红军
  2012,23(9):2235-2247 [摘要(2201)]  [PDF 808.95 K (2777)]
  
基于PAR 的排序算法自动生成研究
  石海鹤,薛锦云
  2012,23(9):2248-2260 [摘要(2326)]  [PDF 701.06 K (2676)]
  
正则表达式分组的1/(1-1/k)-近似算法
  柳厅文,孙永,卜东波,郭莉,方滨兴
  2012,23(9):2261-2272 [摘要(3147)]  [PDF 682.03 K (3164)]
  
电子细胞模型Analog-Cell 中前体mRNA 剪接过程的模拟与研究
  欧阳丹彤,王珏,韩霄松,卢欣华
  2012,23(9):2273-2284 [摘要(2003)]  [PDF 710.29 K (2631)]
  
求解等球packing 问题的两个策略
  余亮,黄文奇
  2012,23(9):2285-2296 [摘要(2172)]  [PDF 604.79 K (2636)]
  
多核局部领域适应学习
  陶剑文,王士同
  2012,23(9):2297-2310 [摘要(2877)]  [PDF 914.12 K (3694)]
  
一种用于常识空间信息处理的定性空间关系模型
  宋小华,欧阳丹彤
  2012,23(9):2311-2322 [摘要(2097)]  [PDF 718.38 K (2325)]
  
谓词模态逻辑到对应物理论的翻译
  申宇铭,王驹,唐素勤,蒋运承
  2012,23(9):2323-2335 [摘要(2182)]  [PDF 658.72 K (2510)]
  
无偏置支持向量回归优化问题
  丁晓剑,赵银亮
  2012,23(9):2336-2346 [摘要(2116)]  [PDF 589.47 K (2580)]
  
基于超图的翻译模型融合的研究
  刘宇鹏,李生,赵铁军
  2012,23(9):2347-2357 [摘要(2268)]  [PDF 649.83 K (2895)]
  
一种虚拟人作业行为的自主优化模型
  王朝晖,陈恳,朱心雄
  2012,23(9):2358-2373 [摘要(2055)]  [PDF 825.53 K (2659)]
  
求解约束优化问题的ε-DE 算法
  郑建国,王翔,刘荣辉
  2012,23(9):2374-2387 [摘要(2385)]  [PDF 740.26 K (2969)]
  
基于首选路由的AS 重要性评估方法
  刘红军,胡晓峰,邓文平,卢锡城
  2012,23(9):2388-2400 [摘要(2382)]  [PDF 762.31 K (2392)]
  
面向编码机会路由的无线Mesh 网络广播信道接入
  蔡顺,张三峰,董永强,吴国新
  2012,23(9):2401-2415 [摘要(2365)]  [PDF 926.56 K (2754)]
  
标准模型下的代理签名:构造模型与证明安全性
  谷科,贾维嘉,王四春,石良武
  2012,23(9):2416-2429 [摘要(2747)]  [PDF 692.54 K (2716)]
  
分组密码二元扩散结构的几点注记
  崔霆,陈河山,金晨辉
  2012,23(9):2430-2437 [摘要(2121)]  [PDF 454.10 K (2402)]
  
异构传感器网络能量空洞分析与避免研究
  刘安丰,任炬,徐娟,曾志文,陈志刚
  2012,23(9):2438-2448 [摘要(2748)]  [PDF 656.36 K (3540)]
  
一个可追踪身份的基于属性签名方案
  张秋璞,徐震,叶顶锋
  2012,23(9):2449-2464 [摘要(2396)]  [PDF 847.63 K (3225)]
  
节点证书与身份相结合的HMIPv6 网络接入认证机制
  高天寒,郭楠,朱志良
  2012,23(9):2465-2480 [摘要(2416)]  [PDF 1.04 M (2494)]
  
基于网格中心点的点在多边形内的高效判定
  李静,王文成
  2012,23(9):2481-2488 [摘要(2135)]  [PDF 501.11 K (3817)]
  
灰度不均的弱边缘血管影像的水平集分割方法
  薛维琴,周志勇,张涛,李莉华,郑健
  2012,23(9):2489-2499 [摘要(1989)]  [PDF 1.38 M (3303)]
  
结合组稀疏效应和多核学习的图像标注
  袁莹,邵健,吴飞,庄越挺
  2012,23(9):2500-2509 [摘要(3046)]  [PDF 880.54 K (4130)]
  
基于邻域比较的JPEG 脆弱水印算法及性能分析
  霍耀冉,和红杰,陈帆
  2012,23(9):2510-2521 [摘要(1850)]  [PDF 742.00 K (2623)]
  
基于自适应光标的图形用户界面输入效率优化
  喻纯,史元春
  2012,23(9):2522-2532 [摘要(1877)]  [PDF 1.00 M (2622)]
  
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利