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

2003年第14卷第3期目录

   
浏览其它刊期:  
  

本期目录

Verilog代数语义研究
  李勇坚,何积丰,孙永强
  2003,14(3):317-327 [摘要(2887)]  [PDF 863.16 K (3040)]
  
角色反演算法
  白硕,张浩
  2003,14(3):328-333 [摘要(2525)]  [PDF 690.78 K (2983)]
  
量子搜索算法
  孙吉贵,何雨果
  2003,14(3):334-344 [摘要(2984)]  [PDF 888.19 K (3991)]
  
中介谓词逻辑系统的λ-归结
  潘正华
  2003,14(3):345-349 [摘要(2726)]  [PDF 517.83 K (3042)]
  
基于领域知识重用的虚拟领域本体构造
  陈刚,陆汝钤,金芝
  2003,14(3):350-355 [摘要(3665)]  [PDF 560.94 K (4113)]
  
XYZ/E面向对象程序语义概述
  郭亮,唐稚松
  2003,14(3):356-361 [摘要(2936)]  [PDF 565.87 K (3361)]
  
基于规范划分集的并行循环计算划分
  黄其军,杨建武,余华山,许卓群
  2003,14(3):362-368 [摘要(2806)]  [PDF 649.68 K (3140)]
  
基于混合粒度冲突检测的事务工作流调度算法
  丁柯,魏峻,冯玉琳
  2003,14(3):369-375 [摘要(2706)]  [PDF 813.00 K (2879)]
  
一种任务优先级的综合设计方法
  金宏,王宏安,王强,戴国忠
  2003,14(3):376-382 [摘要(3435)]  [PDF 643.32 K (3247)]
  
一种意向驱动式面向agent程序设计语言
  郭磊,戈也挺,陈世福,张东摩
  2003,14(3):383-391 [摘要(3209)]  [PDF 715.71 K (3031)]
  
笔式用户界面开发工具研究
  栗阳,关志伟,戴国忠
  2003,14(3):392-400 [摘要(2887)]  [PDF 664.60 K (3098)]
  
刻面分类构件的匹配模型
  王渊峰,薛云皎,张涌,朱三元,钱乐秋
  2003,14(3):401-408 [摘要(2749)]  [PDF 785.15 K (2936)]
  
事件触发并发数据流模型
  王瑞荣,汪乐宇
  2003,14(3):409-414 [摘要(2817)]  [PDF 575.88 K (3221)]
  
面向对象程序设计语言的绑定时间分析技术
  廖湖声,童兆丰,王众
  2003,14(3):415-421 [摘要(2696)]  [PDF 633.36 K (2899)]
  
一种并发的BDI-Agent模型
  王一川,石纯一
  2003,14(3):422-428 [摘要(2712)]  [PDF 682.80 K (2875)]
  
一种基于神经网络覆盖构造法的模糊分类器
  叶少珍,张钹,吴鸣锐,郑文波
  2003,14(3):429-434 [摘要(2873)]  [PDF 570.61 K (2955)]
  
基于向量空间模型的文本过滤系统
  黄萱菁,夏迎炬,吴立德
  2003,14(3):435-442 [摘要(2923)]  [PDF 709.21 K (4321)]
  
常微分方程组并行演化建模的实验研究
  曹宏庆,康立山,陈毓屏,胡庆丰
  2003,14(3):443-450 [摘要(2523)]  [PDF 715.60 K (3086)]
  
基于支持向量机的渐进直推式分类学习算法
  陈毅松,汪国平,董士海
  2003,14(3):451-460 [摘要(3640)]  [PDF 825.70 K (3721)]
  
动态视位模型及其参数估计
  王志明,蔡莲红
  2003,14(3):461-466 [摘要(2506)]  [PDF 585.29 K (2961)]
  
基于匹配跟踪的感知梯度正弦建模方法
  张文耀,许刚,王裕国
  2003,14(3):467-472 [摘要(2459)]  [PDF 585.52 K (2924)]
  
Agent的组织承诺和小组承诺
  张伟,石纯一
  2003,14(3):473-478 [摘要(2727)]  [PDF 622.96 K (3065)]
  
从熵均值决策到样本分布决策
  何劲松,郑浩然,王煦法
  2003,14(3):479-483 [摘要(2949)]  [PDF 557.83 K (3242)]
  
基于加博函数的指纹增强算法及其应用
  尹义龙,詹小四,谭台哲,宁新宝
  2003,14(3):484-489 [摘要(2719)]  [PDF 1012.51 K (2621)]
  
基于并行特征组合与广义K-L变换的字符识别
  杨健,杨静宇,高建贞
  2003,14(3):490-495 [摘要(2405)]  [PDF 604.17 K (3275)]
  
交换式以太网上的多播协议
  王军,吴志美
  2003,14(3):496-502 [摘要(3091)]  [PDF 634.38 K (3393)]
  
大时滞网络中的拥塞控制算法
  任丰原,林闯,任勇,山秀明
  2003,14(3):503-511 [摘要(3178)]  [PDF 837.10 K (4215)]
  
一类基于混沌函数的分组密码的安全性评估
  张文涛,卿斯汉,吴文玲
  2003,14(3):512-517 [摘要(2766)]  [PDF 535.40 K (2855)]
  
传输层安全协议的安全性分析及改进
  孙林红,叶顶锋,吕述望,冯登国
  2003,14(3):518-523 [摘要(2576)]  [PDF 576.80 K (3012)]
  
Internet路由仿真系统研究与实现
  崔勇,徐恪,吴建平
  2003,14(3):524-530 [摘要(2547)]  [PDF 628.63 K (3405)]
  
一种提供延迟保证的多级FIFS队列包调度算法
  杨明川,钱华林
  2003,14(3):531-537 [摘要(2879)]  [PDF 676.97 K (2884)]
  
一种用于网络计算的可定制启动协议
  周悦芝,张尧学,王勇
  2003,14(3):538-546 [摘要(2650)]  [PDF 801.15 K (2867)]
  
一个安全标记公共框架的设计与实现
  梁洪亮,孙玉芳,赵庆松,张相锋,孙波
  2003,14(3):547-552 [摘要(2983)]  [PDF 615.69 K (2884)]
  
按需分枝组播
  金志权,项晓晶,陈佩佩
  2003,14(3):553-561 [摘要(3100)]  [PDF 719.88 K (2851)]
  
ABR流量控制中的变结构控制器
  任丰原,林闯,王福豹
  2003,14(3):562-568 [摘要(2840)]  [PDF 649.20 K (2918)]
  
AC分组密码的差分和线性密码分析
  吴文玲,马恒太,卿斯汉
  2003,14(3):569-574 [摘要(3313)]  [PDF 672.60 K (2946)]
  
RP(k)网络上Hypercube通信模式的波长指派算法
  刘方爱,刘志勇,乔香珍
  2003,14(3):575-581 [摘要(2826)]  [PDF 684.87 K (3032)]
  
一种基于概率的QoS单播路由算法
  陈萍,董天临,石坚,赵淼
  2003,14(3):582-587 [摘要(2337)]  [PDF 602.04 K (2871)]
  
基于DSA及RSA的证实数字签名方案
  王尚平,王育民,张亚玲
  2003,14(3):588-593 [摘要(3193)]  [PDF 536.09 K (3764)]
  
基于抽样测量的高速网络实时异常检测模型
  程光,龚俭,丁伟
  2003,14(3):594-599 [摘要(3361)]  [PDF 547.75 K (3160)]
  
互联网密钥交换协议及其安全性分析
  范红
  2003,14(3):600-605 [摘要(3211)]  [PDF 544.68 K (3286)]
  
并发TTCN测试执行机的设计与实现
  张卫星,蒋凡
  2003,14(3):606-611 [摘要(2886)]  [PDF 554.75 K (3167)]
  
二进制流量控制算法的性能分析
  任丰原,林闯,任勇,山秀明
  2003,14(3):612-618 [摘要(3098)]  [PDF 651.34 K (3407)]
  
基于改进的弹簧-质点模型的三维服装模拟
  刘卉,陈纯,施伯乐
  2003,14(3):619-627 [摘要(3097)]  [PDF 1.08 M (4246)]
  
交互状态机模型模拟矢量自动生成方法
  李暾,郭阳,李思昆
  2003,14(3):628-634 [摘要(2540)]  [PDF 781.93 K (3154)]
  
多角色与虚拟场景的运动融合
  罗忠祥,庄越挺,潘云鹤,李岳梅
  2003,14(3):635-642 [摘要(2720)]  [PDF 874.96 K (3281)]
  
具有真实感的三维人脸动画
  张青山,陈国良
  2003,14(3):643-650 [摘要(2942)]  [PDF 1.17 M (3478)]
  
基于FBM约束模型的可控性分形生成方法
  谭建荣,陈洪亮
  2003,14(3):651-659 [摘要(2605)]  [PDF 1.37 M (2863)]
  
基于伪直母线的复杂曲面自适应分片与展开
  陈动人,王国瑾
  2003,14(3):660-665 [摘要(2664)]  [PDF 651.27 K (2738)]
  
复映射z←(z)-a+c(a≥2)的广义M集及其对称周期检测法
  谭建荣,程锦
  2003,14(3):666-674 [摘要(3063)]  [PDF 787.46 K (2856)]
  
一种分级检索MPEG视频的方法
  刘阳,许松涛,吴志美
  2003,14(3):675-681 [摘要(2761)]  [PDF 1009.22 K (2757)]
  
PnP问题的线性求解算法
  吴福朝,胡占义
  2003,14(3):682-688 [摘要(2983)]  [PDF 602.72 K (4173)]
  
一种基于正则化方法的准最佳图像复原技术
  曾三友,康立山,丁立新,黄元江
  2003,14(3):689-696 [摘要(3084)]  [PDF 949.53 K (3681)]
  
推广的多值指数双向联想记忆模型及其应用
  张道强,陈松灿
  2003,14(3):697-702 [摘要(2965)]  [PDF 1.18 M (3080)]
  
由矩形确定摄像机内参数与位置的线性方法
  吴福朝,王光辉,胡占义
  2003,14(3):703-712 [摘要(2988)]  [PDF 684.06 K (3004)]
  
 

京公网安备 11040202500064号

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