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

1996年第7卷第zk期目录

   
浏览其它刊期:  
  

本期目录

XYZ系统中的速成原型示范及其支持工具*
  唐稚松,王杉
  1996,7(zk):1-9 [摘要(2125)]  [PDF 544.22 K (2297)]
  
新一代几何造型系统数据结构的研究与实现*
  陈玉健,杨长贵,田绿竹,孙家广
  1996,7(zk):10-15 [摘要(2298)]  [PDF 389.79 K (2511)]
  
图灵机的行为学习*
  邓晶,白硕
  1996,7(zk):16-24 [摘要(1846)]  [PDF 499.25 K (2394)]
  
满足多向驱动自动匹配的图形与尺寸约束自组织*
  张树有,彭群生,谭建荣
  1996,7(zk):25-29 [摘要(2018)]  [PDF 328.86 K (2064)]
  
面向对象数据库的推理查询语言*
  张成洪,施伯乐,胡运发
  1996,7(zk):30-37 [摘要(2315)]  [PDF 502.37 K (2014)]
  
面向对象数据库的推理查询实现*
  张成洪,施伯乐,胡运发
  1996,7(zk):38-44 [摘要(2093)]  [PDF 463.19 K (1954)]
  
一种面向对象的多媒体概念模型*
  张霞,刘积仁,李华天
  1996,7(zk):45-56 [摘要(2234)]  [PDF 752.74 K (2289)]
  
并行FFT算法在3种并行计算模型上的设计和分析*
  陈国良,李晓峰,黄伟民
  1996,7(zk):57-63 [摘要(2590)]  [PDF 485.74 K (2733)]
  
一个面向对象的计算机图形系统的实现*
  李文辉,庞云阶,全炳哲
  1996,7(zk):64-72 [摘要(2567)]  [PDF 599.99 K (2323)]
  
一个支持开放分布式处理的DRPC模型*
  汲化,谢立,孙钟秀
  1996,7(zk):73-77 [摘要(2136)]  [PDF 342.59 K (2112)]
  
高性能同步通信板TH—X25的设计与实现*
  朱卫国,杨家海,吴建平
  1996,7(zk):78-84 [摘要(2149)]  [PDF 490.21 K (2019)]
  
刺绣打版系统中彩色空间聚类的方法与应用*
  陈兆乾,谢俊元,钱海川,陈世福
  1996,7(zk):85-90 [摘要(2009)]  [PDF 380.23 K (2007)]
  
分布式图形处理的研究与发展*
  潘志庚,石教英
  1996,7(zk):91-99 [摘要(1843)]  [PDF 637.75 K (2208)]
  
C++程序理解辅助系统*
  吴穹,金成柏,金淳兆
  1996,7(zk):100-106 [摘要(2180)]  [PDF 1007.03 K (1893)]
  
认证协议的形式化分析*
  卿斯汉
  1996,7(zk):107-114 [摘要(1932)]  [PDF 476.34 K (2022)]
  
基于STEP的产品数据表示和交换的研究*
  赵致格,赵荣亮
  1996,7(zk):115-119 [摘要(1825)]  [PDF 350.84 K (2406)]
  
虚拟环境中真实感空间声合成*
  张爱东,石教英,潘志庚
  1996,7(zk):120-126 [摘要(2370)]  [PDF 443.95 K (2413)]
  
“云室效应”算法求解仓储系统的任务分配*
  陈方泽,张钹
  1996,7(zk):127-133 [摘要(2215)]  [PDF 449.76 K (2007)]
  
重叠规则与歧义性*
  陆朝俊,孙永强,林凯
  1996,7(zk):134-139 [摘要(2131)]  [PDF 358.87 K (1979)]
  
POLYBASE系统中的查询处理技术*
  王国仁,于戈,单吉弟,郑怀远
  1996,7(zk):140-146 [摘要(2007)]  [PDF 491.38 K (2274)]
  
基于面向对象技术的多媒体作品管理模型*
  朱海滨,王朴,胡守仁
  1996,7(zk):147-155 [摘要(1963)]  [PDF 676.70 K (1827)]
  
标记模态归结推理*
  孙吉贵,刘叙华
  1996,7(zk):156-162 [摘要(2020)]  [PDF 429.91 K (2012)]
  
复杂对象数据库的递归查询语义*
  陈睿
  1996,7(zk):163-169 [摘要(2069)]  [PDF 435.80 K (2103)]
  
一种实现程序结构化转换的交互式图形工具*
  龚洁
  1996,7(zk):170-177 [摘要(2203)]  [PDF 406.25 K (1896)]
  
U-循环项与易项*
  黄且圆,蒋颖,赵希顺,王驹
  1996,7(zk):178-183 [摘要(2134)]  [PDF 325.15 K (1984)]
  
数据库加密管理工具的设计与实现*
  戴一奇,苏中民,陈卫,尚杰
  1996,7(zk):184-190 [摘要(2164)]  [PDF 436.57 K (2369)]
  
神经网络求解图最短路径问题的一种新方法*
  朱大铭,马绍汉
  1996,7(zk):191-198 [摘要(1987)]  [PDF 466.34 K (2504)]
  
自动生成前端编译程序的一种方法*
  孙淑玲,郑启龙
  1996,7(zk):199-204 [摘要(2407)]  [PDF 364.07 K (2447)]
  
布尔算子Fuzzy逻辑中的锁归结原理*
  邓安生,刘叙华
  1996,7(zk):205-209 [摘要(2236)]  [PDF 318.30 K (1887)]
  
时态多媒体数据的生长过程及其处理算法*
  唐常杰,杨文川,罗运江
  1996,7(zk):210-215 [摘要(2139)]  [PDF 395.85 K (2134)]
  
证据函数的限定化关系*
  刘大有,李岳峰,唐海鹰
  1996,7(zk):216-223 [摘要(1967)]  [PDF 459.96 K (2433)]
  
逻辑框架的语法、语用及语义——(I)新型逻辑框架的语法和语用*
  傅育熙,宋哲炫,孙永强
  1996,7(zk):224-231 [摘要(2393)]  [PDF 374.65 K (2175)]
  
迭代函数及其可计算性*
  阎志欣,黄盛萍
  1996,7(zk):232-238 [摘要(1930)]  [PDF 427.74 K (1924)]
  
带迭代算子的函数式程序设计*
  阎志欣
  1996,7(zk):239-248 [摘要(2234)]  [PDF 541.39 K (2279)]
  
无存储器冲突的并行快速排序算法*
  管丽
  1996,7(zk):249-253 [摘要(2519)]  [PDF 279.94 K (2176)]
  
一个高效的面向数据采集的数据库管理系统*
  姚卿达,肖永桥,陈晓蘅
  1996,7(zk):254-260 [摘要(1996)]  [PDF 455.44 K (2040)]
  
流水—减水MPP系统广播延迟的有效方法*
  刘宏伟,李晓明,崔光佐
  1996,7(zk):261-266 [摘要(2129)]  [PDF 404.97 K (1967)]
  
基于极大极小准则的Hopfield联想记忆学习算法*
  梁学斌,吴立德
  1996,7(zk):267-272 [摘要(2541)]  [PDF 349.03 K (2016)]
  
一种基于Petri网的软件定义构造方法*
  何志均,应晶,吴朝晖,高济
  1996,7(zk):273-278 [摘要(2311)]  [PDF 427.21 K (1959)]
  
单向Hash函数的一种构造方法*
  王小云,周大水
  1996,7(zk):279-283 [摘要(2452)]  [PDF 293.66 K (2558)]
  
基于身份的动态口令验证*
  戴一奇,张立
  1996,7(zk):284-289 [摘要(1929)]  [PDF 376.46 K (1990)]
  
强弱混合一致性语义模型*
  李荣,王鼎兴,沈美明
  1996,7(zk):290-296 [摘要(2075)]  [PDF 475.97 K (1975)]
  
带继承依赖的关系数据模型*
  刘惟一,陆原
  1996,7(zk):297-303 [摘要(2195)]  [PDF 375.33 K (2042)]
  
面向对象软件自动化系统JDAUTO/O*
  金淳兆,全炳哲
  1996,7(zk):304-310 [摘要(2116)]  [PDF 503.39 K (1992)]
  
一种快速收敛的遗传算法*
  周春光,周国芹,李博,程彦丰,梁艳春
  1996,7(zk):311-314 [摘要(2178)]  [PDF 263.48 K (2730)]
  
一个汉语短语自动界定模型*
  周强
  1996,7(zk):315-322 [摘要(2820)]  [PDF 493.51 K (2144)]
  
软件可靠性工程中的操作剖面开发*
  党齐民,杨新发
  1996,7(zk):323-328 [摘要(2644)]  [PDF 394.37 K (2442)]
  
平行最外模式匹配*
  沈理,林凯,孙永强
  1996,7(zk):329-337 [摘要(2150)]  [PDF 588.82 K (2229)]
  
状态逻辑语言迭代程序的可计算性*
  阎志欣
  1996,7(zk):338-347 [摘要(2276)]  [PDF 623.80 K (1987)]
  
算子式语言到过程语言的变换语义*
  阎志欣,黄冬泉
  1996,7(zk):348-357 [摘要(2192)]  [PDF 539.19 K (2389)]
  
公平转换系统规范及其应用*
  贾国平,郑国梁
  1996,7(zk):358-366 [摘要(1945)]  [PDF 575.65 K (2022)]
  
逻辑结点函数的优化覆盖*
  叶以正,曾献君,喻明艳
  1996,7(zk):367-374 [摘要(2218)]  [PDF 437.50 K (1864)]
  
一种基于形状特征的建模方法*
  韩凌,董金祥,李海龙
  1996,7(zk):375-380 [摘要(1909)]  [PDF 375.29 K (1956)]
  
λ演算中的第二不动点定理*
  宋方敏
  1996,7(zk):381-384 [摘要(2452)]  [PDF 244.74 K (2023)]
  
形式化软件开发方法DD—VDM*
  吕建,张建莹
  1996,7(zk):385-393 [摘要(2076)]  [PDF 534.23 K (2005)]
  
求解SSSP问题图运算的复制数据算法*
  杨敬安
  1996,7(zk):394-399 [摘要(2293)]  [PDF 375.63 K (2264)]
  
从关系数据库到面向对象语义数据库的语义捕捉和模式转换*
  王国仁,于戈,石晶,单吉第,郑怀远
  1996,7(zk):400-409 [摘要(2017)]  [PDF 582.25 K (2222)]
  
二维不规则复杂图形轮廓求解的算法研究*
  徐波,周明天
  1996,7(zk):410-414 [摘要(2203)]  [PDF 313.46 K (1825)]
  
全自动、多管径生物网状血管分割方法研究*
  李锡林,徐公文,范植华
  1996,7(zk):415-420 [摘要(2004)]  [PDF 1.27 M (2023)]
  
ω—正则语言类的一个子类*
  庄雷,孟庆远,苏锦祥
  1996,7(zk):421-424 [摘要(2341)]  [PDF 237.13 K (1791)]
  
具非线性映射特性的广义逆联想存储器*
  陈松灿,高航,杨国庆
  1996,7(zk):425-430 [摘要(1866)]  [PDF 318.21 K (1790)]
  
软件项目估算*
  王礼强
  1996,7(zk):431-435 [摘要(2037)]  [PDF 292.26 K (1933)]
  
函数式语言的集合描述方法及其实现算法*
  宋凯,廖湖声
  1996,7(zk):436-440 [摘要(1955)]  [PDF 283.86 K (2329)]
  
一种主存数据库的存取方法*
  刘云生,胡国玲
  1996,7(zk):441-446 [摘要(1981)]  [PDF 782.94 K (2355)]
  
命题时态逻辑的分划式扩充
  沈恩绍
  1996,7(zk):447-454 [摘要(1881)]  [PDF 500.21 K (2068)]
  
基于Rough集的Rough数及入算子的逻辑价值*
  刘清,王黔英
  1996,7(zk):455-461 [摘要(1861)]  [PDF 421.63 K (2175)]
  
面向市场分析与预测的多媒体智能数据库系统*
  周立柱,石纯一,陆玉昌,刘卫东,朱滇
  1996,7(zk):462-468 [摘要(1860)]  [PDF 503.98 K (2269)]
  
基于示例的组合预测方法*
  巩昌平,陆玉昌,周远晖
  1996,7(zk):469-473 [摘要(2379)]  [PDF 333.82 K (2068)]
  
市场分析的一种框架*
  毛军,陆玉昌,常芸
  1996,7(zk):474-479 [摘要(2326)]  [PDF 368.28 K (1919)]
  
市场分析与预测的一种文字报告生成方法与实现*
  郑彤,马少平,陆玉昌
  1996,7(zk):480-484 [摘要(2545)]  [PDF 345.71 K (2016)]
  
基于规则的市场分析方法*
  马少平,郑彤,陆玉昌
  1996,7(zk):485-490 [摘要(1768)]  [PDF 821.62 K (2193)]
  
面向市场分析预测的数据仓库技术应用与研究*
  刘卫东,冯建华,王令赤,郑彤
  1996,7(zk):491-496 [摘要(2001)]  [PDF 440.58 K (2342)]
  
媒体同步技术*
  肖勃雷,李新友,王诚,陆玉昌,桂涛
  1996,7(zk):497-502 [摘要(1948)]  [PDF 343.36 K (2262)]
  
三维复杂模型实时动态显示的研究与实现*
  周嘉玉,陈矛,唐泽圣,孙政
  1996,7(zk):503-509 [摘要(1825)]  [PDF 872.24 K (2486)]
  
管理信息可视化技术的研究与实现*
  张伟强,周嘉玉,唐泽圣,朱滇
  1996,7(zk):510-513 [摘要(1894)]  [PDF 877.87 K (2162)]
  
文语转换系统韵律置标方法的研究*
  蔡莲红,罗恒,汪泳,谭晖,涂相华
  1996,7(zk):514-518 [摘要(2040)]  [PDF 311.69 K (1942)]
  
现代应用软件的测试策略与工具*
  周之英,钱岭
  1996,7(zk):519-524 [摘要(2152)]  [PDF 446.86 K (1813)]
  
一种多智能体系统计算市场模型
  胡军,王克宏,康小强,石纯一
  1996,7(zk):525-530 [摘要(2196)]  [PDF 400.91 K (1996)]
  
一个并行程序辅助开发工具*
  徐鸿,陈德来,张德富
  1996,7(zk):531-536 [摘要(1850)]  [PDF 407.94 K (2279)]
  
现实世界中的主体的一种复合式结构*
  汪涛,史忠植,田启家,王文杰
  1996,7(zk):537-543 [摘要(1842)]  [PDF 492.08 K (2082)]
  
KBASE—P:一个知识库程序设计语言*
  施伯乐,朱扬勇,郭德培
  1996,7(zk):544-550 [摘要(2079)]  [PDF 458.93 K (1983)]
  
归纳法推理中的各种推理策略*
  李卫华,张黔,龙泉
  1996,7(zk):551-557 [摘要(2005)]  [PDF 452.31 K (2100)]
  
归纳法推理中的子句简化策略*
  李卫华,张黔,承雪琦
  1996,7(zk):558-564 [摘要(2231)]  [PDF 714.24 K (2068)]
  
归纳法推理中的项重写策略*
  李卫华,张黔,韩波
  1996,7(zk):565-571 [摘要(2241)]  [PDF 394.03 K (2273)]
  
 

京公网安备 11040202500064号

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