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

2003年第14卷第12期目录

   
浏览其它刊期:  
  

本期目录

同步合成Petri网系统活性与无死锁性的保持性
  蒲飞,陆维明
  2003,14(12):1977-1988 [摘要(2934)]  [PDF 1.25 M (3144)]
  
Monad的一种自动生成技术
  吕江花,金成植
  2003,14(12):1989-1995 [摘要(2594)]  [PDF 595.30 K (2993)]
  
具有高可理解性的二分决策树生成算法研究
  蒋艳凰,杨学军,赵强利
  2003,14(12):1996-2005 [摘要(2842)]  [PDF 769.67 K (3278)]
  
回归支持向量机的改进序列最小优化学习算法
  张浩然,韩正之
  2003,14(12):2006-2013 [摘要(2911)]  [PDF 700.39 K (4695)]
  
基于联合得分的连续语音识别确认方法
  严斌峰,朱小燕
  2003,14(12):2014-2020 [摘要(2775)]  [PDF 605.90 K (3448)]
  
具有已知代理人的不可否认门限代理签密方案
  李继国,李建中,曹珍富,张亦辰
  2003,14(12):2021-2027 [摘要(3095)]  [PDF 592.05 K (3205)]
  
认证协议两种形式化分析方法的比较
  卿斯汉
  2003,14(12):2028-2036 [摘要(2411)]  [PDF 739.21 K (2970)]
  
一个加强的NAT-PT模型
  曾立安,程朝辉,凌力
  2003,14(12):2037-2044 [摘要(3172)]  [PDF 616.49 K (3197)]
  
低轨卫星通信网络中动态位置更新管理方案
  王亮,张乃通
  2003,14(12):2045-2051 [摘要(2344)]  [PDF 534.20 K (2865)]
  
安全组播中密钥分配问题的研究
  朱文涛,熊继平,李津生,洪佩琳
  2003,14(12):2052-2059 [摘要(2400)]  [PDF 760.12 K (3632)]
  
线路速率缓存的重端口交换机方案及行为分析
  吴俊,陈晴,罗军舟
  2003,14(12):2060-2067 [摘要(2841)]  [PDF 644.26 K (3379)]
  
基于内容的分布式Web服务器调度算法
  杜增凯,郑名扬,鞠九滨
  2003,14(12):2068-2073 [摘要(2864)]  [PDF 636.96 K (3720)]
  
基于Hessian矩阵的中心路径提取算法
  李光明,田捷,赵明昌,何晖光
  2003,14(12):2074-2081 [摘要(3881)]  [PDF 940.78 K (6177)]
  
基于非均匀Catmull-Clark细分方法的曲线插值
  张景峤,王国瑾,郑建民
  2003,14(12):2082-2091 [摘要(2789)]  [PDF 948.41 K (3686)]
  
参数化模型欠、过和完整约束的判定算法
  蒋鲲,高小山,岳晶岩
  2003,14(12):2092-2097 [摘要(3157)]  [PDF 621.08 K (3387)]
  
基于特征流的面部表情运动分析及应用
  金辉,高文
  2003,14(12):2098-2105 [摘要(3245)]  [PDF 1.47 M (4267)]
  
参数曲线导矢界估计及在曲线绘制中的应用
  解本怀,王国瑾
  2003,14(12):2106-2112 [摘要(2205)]  [PDF 668.19 K (2794)]
  
 

京公网安备 11040202500064号

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