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

2000年第11卷第3期目录

   
浏览其它刊期:  
  

本期目录

时序逻辑语言XYZ/E中指针的形式化表示与验证
  李广元,唐稚松
  2000,11(3):285-292 [摘要(2571)]  [PDF 416.08 K (2535)]
  
扩充析取逻辑程序的争论语义
  王克文,周立柱,陈火旺
  2000,11(3):293-299 [摘要(2533)]  [PDF 422.43 K (2382)]
  
论加权扩充自由选择网的活性与安全性
  甄强,陆维明
  2000,11(3):300-307 [摘要(2042)]  [PDF 470.24 K (2734)]
  
基于语料库与层次词典的自动文摘研究
  宋今,赵东岩
  2000,11(3):308-314 [摘要(2688)]  [PDF 402.26 K (3022)]
  
Agent研究现状与发展趋势
  刘大有,杨鲲,陈建中
  2000,11(3):315-321 [摘要(5262)]  [PDF 555.47 K (4597)]
  
用弯曲体纹理构造发型
  张晓鹏,陈彦云,吴恩华
  2000,11(3):322-327 [摘要(2310)]  [PDF 744.40 K (2422)]
  
进化式信息过滤方法研究
  田范江,李丛蓉,王鼎兴
  2000,11(3):328-333 [摘要(2316)]  [PDF 382.83 K (2658)]
  
数据流分析中的区域覆盖技术
  胡世亮,臧斌宇,凌冰,朱传琪
  2000,11(3):334-341 [摘要(1967)]  [PDF 480.63 K (2410)]
  
多Agent系统的几种规范生成机制
  王一川,石纯一
  2000,11(3):342-345 [摘要(2226)]  [PDF 286.00 K (2363)]
  
电子商务安全协议的逻辑验证
  陈庆锋,王驹,白硕,张师超,隋立颖
  2000,11(3):346-362 [摘要(2508)]  [PDF 850.72 K (2937)]
  
树木的整体性运动及树内部风场的研究
  冯金辉,严涛,陈彦云,吴恩华
  2000,11(3):363-367 [摘要(2465)]  [PDF 809.75 K (2859)]
  
基于自组织结构的自主智能机器人集成系统
  朱淼良,张新晖,王寻羽,唐文彬
  2000,11(3):368-371 [摘要(2725)]  [PDF 297.26 K (2599)]
  
基于特征曲线的自动人面识别研究
  章高清,王申康,叶懋东
  2000,11(3):372-378 [摘要(2510)]  [PDF 2.62 M (2352)]
  
用最大熵原则作多阈值选择的条件迭代算法
  罗希平,田捷
  2000,11(3):379-385 [摘要(2645)]  [PDF 1.52 M (3091)]
  
基于Shared-Nothing的并行Hash连接算法效率分析
  李庆华,睢海燕,邓冲
  2000,11(3):386-392 [摘要(2028)]  [PDF 541.96 K (2900)]
  
分布式Ada语言系统的实现
  张冰,李赣生,王华民
  2000,11(3):393-397 [摘要(2643)]  [PDF 350.90 K (2651)]
  
并行计算:提高SAT问题求解效率的有效方法
  金人超,黄文奇
  2000,11(3):398-400 [摘要(2538)]  [PDF 531.10 K (2479)]
  
一种支持多重循环软件流水的寄存器结构
  容红波,汤志忠
  2000,11(3):401-409 [摘要(2337)]  [PDF 562.04 K (2418)]
  
用XYZ/E形式化体系结构风格
  焦文品,史忠植
  2000,11(3):410-415 [摘要(1920)]  [PDF 359.28 K (2399)]
  
基于模拟退火机制的多种群并行遗传算法
  吴浩扬,常炳国,朱长纯,刘君华
  2000,11(3):416-420 [摘要(2575)]  [PDF 366.93 K (3153)]
  
群决策支持系统通信部件的研究与实现
  郭朝珍,康延东
  2000,11(3):421-426 [摘要(2138)]  [PDF 327.04 K (2421)]
  
 

京公网安备 11040202500064号

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