1996年第7卷第zk期目录

浏览其它刊期:  
  
本期目录

  • XYZ系统中的速成原型示范及其支持工具*
  • 唐稚松,王杉
  • 1996,7(zk):1-9 [摘要(3235)]  [PDF(4344)544.22 K][HTML(0)]
  • 新一代几何造型系统数据结构的研究与实现*
  • 陈玉健,杨长贵,田绿竹,孙家广
  • 1996,7(zk):10-15 [摘要(3589)]  [PDF(4625)389.79 K][HTML(0)]
  • 图灵机的行为学习*
  • 邓晶,白硕
  • 1996,7(zk):16-24 [摘要(2959)]  [PDF(4481)499.25 K][HTML(0)]
  • 满足多向驱动自动匹配的图形与尺寸约束自组织*
  • 张树有,彭群生,谭建荣
  • 1996,7(zk):25-29 [摘要(3343)]  [PDF(4036)328.86 K][HTML(0)]
  • 面向对象数据库的推理查询语言*
  • 张成洪,施伯乐,胡运发
  • 1996,7(zk):30-37 [摘要(3513)]  [PDF(4087)502.37 K][HTML(0)]
  • 面向对象数据库的推理查询实现*
  • 张成洪,施伯乐,胡运发
  • 1996,7(zk):38-44 [摘要(3249)]  [PDF(4039)463.19 K][HTML(0)]
  • 一种面向对象的多媒体概念模型*
  • 张霞,刘积仁,李华天
  • 1996,7(zk):45-56 [摘要(3410)]  [PDF(4193)752.74 K][HTML(0)]
  • 并行FFT算法在3种并行计算模型上的设计和分析*
  • 陈国良,李晓峰,黄伟民
  • 1996,7(zk):57-63 [摘要(3953)]  [PDF(4834)485.74 K][HTML(0)]
  • 一个面向对象的计算机图形系统的实现*
  • 李文辉,庞云阶,全炳哲
  • 1996,7(zk):64-72 [摘要(3807)]  [PDF(4480)599.99 K][HTML(0)]
  • 一个支持开放分布式处理的DRPC模型*
  • 汲化,谢立,孙钟秀
  • 1996,7(zk):73-77 [摘要(3354)]  [PDF(4130)342.59 K][HTML(0)]
  • 高性能同步通信板TH—X25的设计与实现*
  • 朱卫国,杨家海,吴建平
  • 1996,7(zk):78-84 [摘要(3399)]  [PDF(3918)490.21 K][HTML(0)]
  • 刺绣打版系统中彩色空间聚类的方法与应用*
  • 陈兆乾,谢俊元,钱海川,陈世福
  • 1996,7(zk):85-90 [摘要(3330)]  [PDF(4164)380.23 K][HTML(0)]
  • 分布式图形处理的研究与发展*
  • 潘志庚,石教英
  • 1996,7(zk):91-99 [摘要(3124)]  [PDF(4235)637.75 K][HTML(0)]
  • C++程序理解辅助系统*
  • 吴穹,金成柏,金淳兆
  • 1996,7(zk):100-106 [摘要(3443)]  [PDF(3874)1007.03 K][HTML(0)]
  • 认证协议的形式化分析*
  • 卿斯汉
  • 1996,7(zk):107-114 [摘要(3109)]  [PDF(4094)476.34 K][HTML(0)]
  • 基于STEP的产品数据表示和交换的研究*
  • 赵致格,赵荣亮
  • 1996,7(zk):115-119 [摘要(2963)]  [PDF(4487)350.84 K][HTML(0)]
  • 虚拟环境中真实感空间声合成*
  • 张爱东,石教英,潘志庚
  • 1996,7(zk):120-126 [摘要(3584)]  [PDF(4508)443.95 K][HTML(0)]
  • “云室效应”算法求解仓储系统的任务分配*
  • 陈方泽,张钹
  • 1996,7(zk):127-133 [摘要(3429)]  [PDF(4068)449.76 K][HTML(0)]
  • 重叠规则与歧义性*
  • 陆朝俊,孙永强,林凯
  • 1996,7(zk):134-139 [摘要(3234)]  [PDF(4012)358.87 K][HTML(0)]
  • POLYBASE系统中的查询处理技术*
  • 王国仁,于戈,单吉弟,郑怀远
  • 1996,7(zk):140-146 [摘要(3269)]  [PDF(4340)491.38 K][HTML(0)]
  • 基于面向对象技术的多媒体作品管理模型*
  • 朱海滨,王朴,胡守仁
  • 1996,7(zk):147-155 [摘要(3302)]  [PDF(3828)676.70 K][HTML(0)]
  • 标记模态归结推理*
  • 孙吉贵,刘叙华
  • 1996,7(zk):156-162 [摘要(3263)]  [PDF(4085)429.91 K][HTML(0)]
  • 复杂对象数据库的递归查询语义*
  • 陈睿
  • 1996,7(zk):163-169 [摘要(3194)]  [PDF(4099)435.80 K][HTML(0)]
  • 一种实现程序结构化转换的交互式图形工具*
  • 龚洁
  • 1996,7(zk):170-177 [摘要(3373)]  [PDF(3941)406.25 K][HTML(0)]
  • U-循环项与易项*
  • 黄且圆,蒋颖,赵希顺,王驹
  • 1996,7(zk):178-183 [摘要(3281)]  [PDF(3843)325.15 K][HTML(0)]
  • 数据库加密管理工具的设计与实现*
  • 戴一奇,苏中民,陈卫,尚杰
  • 1996,7(zk):184-190 [摘要(3414)]  [PDF(4500)436.57 K][HTML(0)]
  • 神经网络求解图最短路径问题的一种新方法*
  • 朱大铭,马绍汉
  • 1996,7(zk):191-198 [摘要(3447)]  [PDF(4702)466.34 K][HTML(0)]
  • 自动生成前端编译程序的一种方法*
  • 孙淑玲,郑启龙
  • 1996,7(zk):199-204 [摘要(3673)]  [PDF(4540)364.07 K][HTML(0)]
  • 布尔算子Fuzzy逻辑中的锁归结原理*
  • 邓安生,刘叙华
  • 1996,7(zk):205-209 [摘要(3641)]  [PDF(3899)318.30 K][HTML(0)]
  • 时态多媒体数据的生长过程及其处理算法*
  • 唐常杰,杨文川,罗运江
  • 1996,7(zk):210-215 [摘要(3379)]  [PDF(4136)395.85 K][HTML(0)]
  • 证据函数的限定化关系*
  • 刘大有,李岳峰,唐海鹰
  • 1996,7(zk):216-223 [摘要(3296)]  [PDF(4544)459.96 K][HTML(0)]
  • 逻辑框架的语法、语用及语义——(I)新型逻辑框架的语法和语用*
  • 傅育熙,宋哲炫,孙永强
  • 1996,7(zk):224-231 [摘要(3734)]  [PDF(4221)374.65 K][HTML(0)]
  • 迭代函数及其可计算性*
  • 阎志欣,黄盛萍
  • 1996,7(zk):232-238 [摘要(3145)]  [PDF(3989)427.74 K][HTML(0)]
  • 带迭代算子的函数式程序设计*
  • 阎志欣
  • 1996,7(zk):239-248 [摘要(3355)]  [PDF(4307)541.39 K][HTML(0)]
  • 无存储器冲突的并行快速排序算法*
  • 管丽
  • 1996,7(zk):249-253 [摘要(3736)]  [PDF(4238)279.94 K][HTML(0)]
  • 一个高效的面向数据采集的数据库管理系统*
  • 姚卿达,肖永桥,陈晓蘅
  • 1996,7(zk):254-260 [摘要(3277)]  [PDF(4048)455.44 K][HTML(0)]
  • 流水—减水MPP系统广播延迟的有效方法*
  • 刘宏伟,李晓明,崔光佐
  • 1996,7(zk):261-266 [摘要(3316)]  [PDF(4008)404.97 K][HTML(0)]
  • 基于极大极小准则的Hopfield联想记忆学习算法*
  • 梁学斌,吴立德
  • 1996,7(zk):267-272 [摘要(3798)]  [PDF(4049)349.03 K][HTML(0)]
  • 一种基于Petri网的软件定义构造方法*
  • 何志均,应晶,吴朝晖,高济
  • 1996,7(zk):273-278 [摘要(3668)]  [PDF(3924)427.21 K][HTML(0)]
  • 单向Hash函数的一种构造方法*
  • 王小云,周大水
  • 1996,7(zk):279-283 [摘要(3619)]  [PDF(4672)293.66 K][HTML(0)]
  • 基于身份的动态口令验证*
  • 戴一奇,张立
  • 1996,7(zk):284-289 [摘要(3343)]  [PDF(4035)376.46 K][HTML(0)]
  • 强弱混合一致性语义模型*
  • 李荣,王鼎兴,沈美明
  • 1996,7(zk):290-296 [摘要(3291)]  [PDF(3971)475.97 K][HTML(0)]
  • 带继承依赖的关系数据模型*
  • 刘惟一,陆原
  • 1996,7(zk):297-303 [摘要(3484)]  [PDF(4090)375.33 K][HTML(0)]
  • 面向对象软件自动化系统JDAUTO/O*
  • 金淳兆,全炳哲
  • 1996,7(zk):304-310 [摘要(3479)]  [PDF(4119)503.39 K][HTML(0)]
  • 一种快速收敛的遗传算法*
  • 周春光,周国芹,李博,程彦丰,梁艳春
  • 1996,7(zk):311-314 [摘要(3451)]  [PDF(4853)263.48 K][HTML(0)]
  • 一个汉语短语自动界定模型*
  • 周强
  • 1996,7(zk):315-322 [摘要(4011)]  [PDF(4218)493.51 K][HTML(0)]
  • 软件可靠性工程中的操作剖面开发*
  • 党齐民,杨新发
  • 1996,7(zk):323-328 [摘要(3889)]  [PDF(4442)394.37 K][HTML(0)]
  • 平行最外模式匹配*
  • 沈理,林凯,孙永强
  • 1996,7(zk):329-337 [摘要(3404)]  [PDF(4240)588.82 K][HTML(0)]
  • 状态逻辑语言迭代程序的可计算性*
  • 阎志欣
  • 1996,7(zk):338-347 [摘要(3371)]  [PDF(3995)623.80 K][HTML(0)]
  • 算子式语言到过程语言的变换语义*
  • 阎志欣,黄冬泉
  • 1996,7(zk):348-357 [摘要(3455)]  [PDF(4390)539.19 K][HTML(0)]
  • 公平转换系统规范及其应用*
  • 贾国平,郑国梁
  • 1996,7(zk):358-366 [摘要(3121)]  [PDF(4048)575.65 K][HTML(0)]
  • 逻辑结点函数的优化覆盖*
  • 叶以正,曾献君,喻明艳
  • 1996,7(zk):367-374 [摘要(3414)]  [PDF(3902)437.50 K][HTML(0)]
  • 一种基于形状特征的建模方法*
  • 韩凌,董金祥,李海龙
  • 1996,7(zk):375-380 [摘要(3186)]  [PDF(3942)375.29 K][HTML(0)]
  • λ演算中的第二不动点定理*
  • 宋方敏
  • 1996,7(zk):381-384 [摘要(3530)]  [PDF(4023)244.74 K][HTML(0)]
  • 形式化软件开发方法DD—VDM*
  • 吕建,张建莹
  • 1996,7(zk):385-393 [摘要(3279)]  [PDF(4010)534.23 K][HTML(0)]
  • 求解SSSP问题图运算的复制数据算法*
  • 杨敬安
  • 1996,7(zk):394-399 [摘要(3530)]  [PDF(4290)375.63 K][HTML(0)]
  • 从关系数据库到面向对象语义数据库的语义捕捉和模式转换*
  • 王国仁,于戈,石晶,单吉第,郑怀远
  • 1996,7(zk):400-409 [摘要(3348)]  [PDF(4272)582.25 K][HTML(0)]
  • 二维不规则复杂图形轮廓求解的算法研究*
  • 徐波,周明天
  • 1996,7(zk):410-414 [摘要(3430)]  [PDF(3873)313.46 K][HTML(0)]
  • 全自动、多管径生物网状血管分割方法研究*
  • 李锡林,徐公文,范植华
  • 1996,7(zk):415-420 [摘要(3260)]  [PDF(4099)1.27 M][HTML(0)]
  • ω—正则语言类的一个子类*
  • 庄雷,孟庆远,苏锦祥
  • 1996,7(zk):421-424 [摘要(3632)]  [PDF(3702)237.13 K][HTML(0)]
  • 具非线性映射特性的广义逆联想存储器*
  • 陈松灿,高航,杨国庆
  • 1996,7(zk):425-430 [摘要(3188)]  [PDF(3786)318.21 K][HTML(0)]
  • 软件项目估算*
  • 王礼强
  • 1996,7(zk):431-435 [摘要(3191)]  [PDF(3911)292.26 K][HTML(0)]
  • 函数式语言的集合描述方法及其实现算法*
  • 宋凯,廖湖声
  • 1996,7(zk):436-440 [摘要(3135)]  [PDF(4352)283.86 K][HTML(0)]
  • 一种主存数据库的存取方法*
  • 刘云生,胡国玲
  • 1996,7(zk):441-446 [摘要(3088)]  [PDF(4412)782.94 K][HTML(0)]
  • 命题时态逻辑的分划式扩充
  • 沈恩绍
  • 1996,7(zk):447-454 [摘要(2924)]  [PDF(3987)500.21 K][HTML(0)]
  • 基于Rough集的Rough数及入算子的逻辑价值*
  • 刘清,王黔英
  • 1996,7(zk):455-461 [摘要(3065)]  [PDF(4253)421.63 K][HTML(0)]
  • 面向市场分析与预测的多媒体智能数据库系统*
  • 周立柱,石纯一,陆玉昌,刘卫东,朱滇
  • 1996,7(zk):462-468 [摘要(3276)]  [PDF(4329)503.98 K][HTML(0)]
  • 基于示例的组合预测方法*
  • 巩昌平,陆玉昌,周远晖
  • 1996,7(zk):469-473 [摘要(3512)]  [PDF(3994)333.82 K][HTML(0)]
  • 市场分析的一种框架*
  • 毛军,陆玉昌,常芸
  • 1996,7(zk):474-479 [摘要(3514)]  [PDF(4130)368.28 K][HTML(0)]
  • 市场分析与预测的一种文字报告生成方法与实现*
  • 郑彤,马少平,陆玉昌
  • 1996,7(zk):480-484 [摘要(4009)]  [PDF(4158)345.71 K][HTML(0)]
  • 基于规则的市场分析方法*
  • 马少平,郑彤,陆玉昌
  • 1996,7(zk):485-490 [摘要(2828)]  [PDF(4242)821.62 K][HTML(0)]
  • 面向市场分析预测的数据仓库技术应用与研究*
  • 刘卫东,冯建华,王令赤,郑彤
  • 1996,7(zk):491-496 [摘要(3289)]  [PDF(4412)440.58 K][HTML(0)]
  • 媒体同步技术*
  • 肖勃雷,李新友,王诚,陆玉昌,桂涛
  • 1996,7(zk):497-502 [摘要(3325)]  [PDF(4197)343.36 K][HTML(0)]
  • 三维复杂模型实时动态显示的研究与实现*
  • 周嘉玉,陈矛,唐泽圣,孙政
  • 1996,7(zk):503-509 [摘要(3013)]  [PDF(4525)872.24 K][HTML(0)]
  • 管理信息可视化技术的研究与实现*
  • 张伟强,周嘉玉,唐泽圣,朱滇
  • 1996,7(zk):510-513 [摘要(3212)]  [PDF(4238)877.87 K][HTML(0)]
  • 文语转换系统韵律置标方法的研究*
  • 蔡莲红,罗恒,汪泳,谭晖,涂相华
  • 1996,7(zk):514-518 [摘要(3330)]  [PDF(4080)311.69 K][HTML(0)]
  • 现代应用软件的测试策略与工具*
  • 周之英,钱岭
  • 1996,7(zk):519-524 [摘要(3264)]  [PDF(3831)446.86 K][HTML(0)]
  • 一种多智能体系统计算市场模型
  • 胡军,王克宏,康小强,石纯一
  • 1996,7(zk):525-530 [摘要(3379)]  [PDF(4026)400.91 K][HTML(0)]
  • 一个并行程序辅助开发工具*
  • 徐鸿,陈德来,张德富
  • 1996,7(zk):531-536 [摘要(2927)]  [PDF(4277)407.94 K][HTML(0)]
  • 现实世界中的主体的一种复合式结构*
  • 汪涛,史忠植,田启家,王文杰
  • 1996,7(zk):537-543 [摘要(3092)]  [PDF(4233)492.08 K][HTML(0)]
  • KBASE—P：一个知识库程序设计语言*
  • 施伯乐,朱扬勇,郭德培
  • 1996,7(zk):544-550 [摘要(3436)]  [PDF(4020)458.93 K][HTML(0)]
  • 归纳法推理中的各种推理策略*
  • 李卫华,张黔,龙泉
  • 1996,7(zk):551-557 [摘要(3239)]  [PDF(4176)452.31 K][HTML(0)]
  • 归纳法推理中的子句简化策略*
  • 李卫华,张黔,承雪琦
  • 1996,7(zk):558-564 [摘要(3530)]  [PDF(4147)714.24 K][HTML(0)]
  • 归纳法推理中的项重写策略*
  • 李卫华,张黔,韩波
  • 1996,7(zk):565-571 [摘要(3524)]  [PDF(4295)394.03 K][HTML(0)]

    		•


    版权所有：中国科学院软件研究所 京ICP备05046678号-3
    地址：北京市海淀区中关村南四街4号,邮政编码：100190
    电话：010-62562563 传真：010-62562533 Email：jos@iscas.ac.cn
    技术支持：北京勤云科技发展有限公司

    京公网安备 11040202500063号

    用微信扫一扫

    用微信扫一扫