| 1996年第7卷第zk期目录
本期目录 | | | XYZ系统中的速成原型示范及其支持工具* | | 唐稚松,王杉 | | 1996,7(zk):1-9 [摘要(3127)] [PDF 544.22 K (3656)] | | | | 新一代几何造型系统数据结构的研究与实现* | | 陈玉健,杨长贵,田绿竹,孙家广 | | 1996,7(zk):10-15 [摘要(3442)] [PDF 389.79 K (3952)] | | | | 图灵机的行为学习* | | 邓晶,白硕 | | 1996,7(zk):16-24 [摘要(2838)] [PDF 499.25 K (3830)] | | | | 满足多向驱动自动匹配的图形与尺寸约束自组织* | | 张树有,彭群生,谭建荣 | | 1996,7(zk):25-29 [摘要(3221)] [PDF 328.86 K (3390)] | | | | 面向对象数据库的推理查询语言* | | 张成洪,施伯乐,胡运发 | | 1996,7(zk):30-37 [摘要(3400)] [PDF 502.37 K (3452)] | | | | 面向对象数据库的推理查询实现* | | 张成洪,施伯乐,胡运发 | | 1996,7(zk):38-44 [摘要(3155)] [PDF 463.19 K (3370)] | | | | 一种面向对象的多媒体概念模型* | | 张霞,刘积仁,李华天 | | 1996,7(zk):45-56 [摘要(3291)] [PDF 752.74 K (3629)] | | | | 并行FFT算法在3种并行计算模型上的设计和分析* | | 陈国良,李晓峰,黄伟民 | | 1996,7(zk):57-63 [摘要(3855)] [PDF 485.74 K (4203)] | | | | 一个面向对象的计算机图形系统的实现* | | 李文辉,庞云阶,全炳哲 | | 1996,7(zk):64-72 [摘要(3701)] [PDF 599.99 K (3846)] | | | | 一个支持开放分布式处理的DRPC模型* | | 汲化,谢立,孙钟秀 | | 1996,7(zk):73-77 [摘要(3264)] [PDF 342.59 K (3529)] | | | | 高性能同步通信板TH—X25的设计与实现* | | 朱卫国,杨家海,吴建平 | | 1996,7(zk):78-84 [摘要(3273)] [PDF 490.21 K (3325)] | | | | 刺绣打版系统中彩色空间聚类的方法与应用* | | 陈兆乾,谢俊元,钱海川,陈世福 | | 1996,7(zk):85-90 [摘要(3223)] [PDF 380.23 K (3454)] | | | | 分布式图形处理的研究与发展* | | 潘志庚,石教英 | | 1996,7(zk):91-99 [摘要(2983)] [PDF 637.75 K (3613)] | | | | C++程序理解辅助系统* | | 吴穹,金成柏,金淳兆 | | 1996,7(zk):100-106 [摘要(3329)] [PDF 1007.03 K (3294)] | | | | 认证协议的形式化分析* | | 卿斯汉 | | 1996,7(zk):107-114 [摘要(3014)] [PDF 476.34 K (3468)] | | | | 基于STEP的产品数据表示和交换的研究* | | 赵致格,赵荣亮 | | 1996,7(zk):115-119 [摘要(2845)] [PDF 350.84 K (3851)] | | | | 虚拟环境中真实感空间声合成* | | 张爱东,石教英,潘志庚 | | 1996,7(zk):120-126 [摘要(3476)] [PDF 443.95 K (3791)] | | | | “云室效应”算法求解仓储系统的任务分配* | | 陈方泽,张钹 | | 1996,7(zk):127-133 [摘要(3340)] [PDF 449.76 K (3399)] | | | | 重叠规则与歧义性* | | 陆朝俊,孙永强,林凯 | | 1996,7(zk):134-139 [摘要(3149)] [PDF 358.87 K (3340)] | | | | POLYBASE系统中的查询处理技术* | | 王国仁,于戈,单吉弟,郑怀远 | | 1996,7(zk):140-146 [摘要(3154)] [PDF 491.38 K (3709)] | | | | 基于面向对象技术的多媒体作品管理模型* | | 朱海滨,王朴,胡守仁 | | 1996,7(zk):147-155 [摘要(3212)] [PDF 676.70 K (3207)] | | | | 标记模态归结推理* | | 孙吉贵,刘叙华 | | 1996,7(zk):156-162 [摘要(3174)] [PDF 429.91 K (3426)] | | | | 复杂对象数据库的递归查询语义* | | 陈睿 | | 1996,7(zk):163-169 [摘要(3071)] [PDF 435.80 K (3475)] | | | | 一种实现程序结构化转换的交互式图形工具* | | 龚洁 | | 1996,7(zk):170-177 [摘要(3283)] [PDF 406.25 K (3280)] | | | | U-循环项与易项* | | 黄且圆,蒋颖,赵希顺,王驹 | | 1996,7(zk):178-183 [摘要(3200)] [PDF 325.15 K (3238)] | | | | 数据库加密管理工具的设计与实现* | | 戴一奇,苏中民,陈卫,尚杰 | | 1996,7(zk):184-190 [摘要(3304)] [PDF 436.57 K (3822)] | | | | 神经网络求解图最短路径问题的一种新方法* | | 朱大铭,马绍汉 | | 1996,7(zk):191-198 [摘要(3244)] [PDF 466.34 K (4034)] | | | | 自动生成前端编译程序的一种方法* | | 孙淑玲,郑启龙 | | 1996,7(zk):199-204 [摘要(3587)] [PDF 364.07 K (3875)] | | | | 布尔算子Fuzzy逻辑中的锁归结原理* | | 邓安生,刘叙华 | | 1996,7(zk):205-209 [摘要(3544)] [PDF 318.30 K (3281)] | | | | 时态多媒体数据的生长过程及其处理算法* | | 唐常杰,杨文川,罗运江 | | 1996,7(zk):210-215 [摘要(3261)] [PDF 395.85 K (3456)] | | | | 证据函数的限定化关系* | | 刘大有,李岳峰,唐海鹰 | | 1996,7(zk):216-223 [摘要(3181)] [PDF 459.96 K (3880)] | | | | 逻辑框架的语法、语用及语义——(I)新型逻辑框架的语法和语用* | | 傅育熙,宋哲炫,孙永强 | | 1996,7(zk):224-231 [摘要(3613)] [PDF 374.65 K (3581)] | | | | 迭代函数及其可计算性* | | 阎志欣,黄盛萍 | | 1996,7(zk):232-238 [摘要(3026)] [PDF 427.74 K (3316)] | | | | 带迭代算子的函数式程序设计* | | 阎志欣 | | 1996,7(zk):239-248 [摘要(3247)] [PDF 541.39 K (3656)] | | | | 无存储器冲突的并行快速排序算法* | | 管丽 | | 1996,7(zk):249-253 [摘要(3629)] [PDF 279.94 K (3566)] | | | | 一个高效的面向数据采集的数据库管理系统* | | 姚卿达,肖永桥,陈晓蘅 | | 1996,7(zk):254-260 [摘要(3145)] [PDF 455.44 K (3441)] | | | | 流水—减水MPP系统广播延迟的有效方法* | | 刘宏伟,李晓明,崔光佐 | | 1996,7(zk):261-266 [摘要(3212)] [PDF 404.97 K (3348)] | | | | 基于极大极小准则的Hopfield联想记忆学习算法* | | 梁学斌,吴立德 | | 1996,7(zk):267-272 [摘要(3677)] [PDF 349.03 K (3400)] | | | | 一种基于Petri网的软件定义构造方法* | | 何志均,应晶,吴朝晖,高济 | | 1996,7(zk):273-278 [摘要(3549)] [PDF 427.21 K (3294)] | | | | 单向Hash函数的一种构造方法* | | 王小云,周大水 | | 1996,7(zk):279-283 [摘要(3505)] [PDF 293.66 K (4001)] | | | | 基于身份的动态口令验证* | | 戴一奇,张立 | | 1996,7(zk):284-289 [摘要(3215)] [PDF 376.46 K (3353)] | | | | 强弱混合一致性语义模型* | | 李荣,王鼎兴,沈美明 | | 1996,7(zk):290-296 [摘要(3198)] [PDF 475.97 K (3335)] | | | | 带继承依赖的关系数据模型* | | 刘惟一,陆原 | | 1996,7(zk):297-303 [摘要(3377)] [PDF 375.33 K (3425)] | | | | 面向对象软件自动化系统JDAUTO/O* | | 金淳兆,全炳哲 | | 1996,7(zk):304-310 [摘要(3381)] [PDF 503.39 K (3529)] | | | | 一种快速收敛的遗传算法* | | 周春光,周国芹,李博,程彦丰,梁艳春 | | 1996,7(zk):311-314 [摘要(3338)] [PDF 263.48 K (4174)] | | | | 一个汉语短语自动界定模型* | | 周强 | | 1996,7(zk):315-322 [摘要(3914)] [PDF 493.51 K (3518)] | | | | 软件可靠性工程中的操作剖面开发* | | 党齐民,杨新发 | | 1996,7(zk):323-328 [摘要(3743)] [PDF 394.37 K (3805)] | | | | 平行最外模式匹配* | | 沈理,林凯,孙永强 | | 1996,7(zk):329-337 [摘要(3291)] [PDF 588.82 K (3601)] | | | | 状态逻辑语言迭代程序的可计算性* | | 阎志欣 | | 1996,7(zk):338-347 [摘要(3263)] [PDF 623.80 K (3353)] | | | | 算子式语言到过程语言的变换语义* | | 阎志欣,黄冬泉 | | 1996,7(zk):348-357 [摘要(3368)] [PDF 539.19 K (3717)] | | | | 公平转换系统规范及其应用* | | 贾国平,郑国梁 | | 1996,7(zk):358-366 [摘要(3016)] [PDF 575.65 K (3413)] | | | | 逻辑结点函数的优化覆盖* | | 叶以正,曾献君,喻明艳 | | 1996,7(zk):367-374 [摘要(3296)] [PDF 437.50 K (3227)] | | | | 一种基于形状特征的建模方法* | | 韩凌,董金祥,李海龙 | | 1996,7(zk):375-380 [摘要(3065)] [PDF 375.29 K (3295)] | | | | λ演算中的第二不动点定理* | | 宋方敏 | | 1996,7(zk):381-384 [摘要(3435)] [PDF 244.74 K (3382)] | | | | 形式化软件开发方法DD—VDM* | | 吕建,张建莹 | | 1996,7(zk):385-393 [摘要(3154)] [PDF 534.23 K (3368)] | | | | 求解SSSP问题图运算的复制数据算法* | | 杨敬安 | | 1996,7(zk):394-399 [摘要(3427)] [PDF 375.63 K (3649)] | | | | 从关系数据库到面向对象语义数据库的语义捕捉和模式转换* | | 王国仁,于戈,石晶,单吉第,郑怀远 | | 1996,7(zk):400-409 [摘要(3227)] [PDF 582.25 K (3670)] | | | | 二维不规则复杂图形轮廓求解的算法研究* | | 徐波,周明天 | | 1996,7(zk):410-414 [摘要(3316)] [PDF 313.46 K (3206)] | | | | 全自动、多管径生物网状血管分割方法研究* | | 李锡林,徐公文,范植华 | | 1996,7(zk):415-420 [摘要(3165)] [PDF 1.27 M (3439)] | | | | ω—正则语言类的一个子类* | | 庄雷,孟庆远,苏锦祥 | | 1996,7(zk):421-424 [摘要(3504)] [PDF 237.13 K (3070)] | | | | 具非线性映射特性的广义逆联想存储器* | | 陈松灿,高航,杨国庆 | | 1996,7(zk):425-430 [摘要(3063)] [PDF 318.21 K (3159)] | | | | 软件项目估算* | | 王礼强 | | 1996,7(zk):431-435 [摘要(3106)] [PDF 292.26 K (3319)] | | | | 函数式语言的集合描述方法及其实现算法* | | 宋凯,廖湖声 | | 1996,7(zk):436-440 [摘要(3037)] [PDF 283.86 K (3717)] | | | | 一种主存数据库的存取方法* | | 刘云生,胡国玲 | | 1996,7(zk):441-446 [摘要(3005)] [PDF 782.94 K (3787)] | | | | 命题时态逻辑的分划式扩充 | | 沈恩绍 | | 1996,7(zk):447-454 [摘要(2844)] [PDF 500.21 K (3342)] | | | | 基于Rough集的Rough数及入算子的逻辑价值* | | 刘清,王黔英 | | 1996,7(zk):455-461 [摘要(2979)] [PDF 421.63 K (3549)] | | | | 面向市场分析与预测的多媒体智能数据库系统* | | 周立柱,石纯一,陆玉昌,刘卫东,朱滇 | | 1996,7(zk):462-468 [摘要(3146)] [PDF 503.98 K (3722)] | | | | 基于示例的组合预测方法* | | 巩昌平,陆玉昌,周远晖 | | 1996,7(zk):469-473 [摘要(3443)] [PDF 333.82 K (3414)] | | | | 市场分析的一种框架* | | 毛军,陆玉昌,常芸 | | 1996,7(zk):474-479 [摘要(3392)] [PDF 368.28 K (3478)] | | | | 市场分析与预测的一种文字报告生成方法与实现* | | 郑彤,马少平,陆玉昌 | | 1996,7(zk):480-484 [摘要(3875)] [PDF 345.71 K (3525)] | | | | 基于规则的市场分析方法* | | 马少平,郑彤,陆玉昌 | | 1996,7(zk):485-490 [摘要(2748)] [PDF 821.62 K (3610)] | | | | 面向市场分析预测的数据仓库技术应用与研究* | | 刘卫东,冯建华,王令赤,郑彤 | | 1996,7(zk):491-496 [摘要(3206)] [PDF 440.58 K (3752)] | | | | 媒体同步技术* | | 肖勃雷,李新友,王诚,陆玉昌,桂涛 | | 1996,7(zk):497-502 [摘要(3206)] [PDF 343.36 K (3592)] | | | | 三维复杂模型实时动态显示的研究与实现* | | 周嘉玉,陈矛,唐泽圣,孙政 | | 1996,7(zk):503-509 [摘要(2930)] [PDF 872.24 K (3847)] | | | | 管理信息可视化技术的研究与实现* | | 张伟强,周嘉玉,唐泽圣,朱滇 | | 1996,7(zk):510-513 [摘要(3118)] [PDF 877.87 K (3594)] | | | | 文语转换系统韵律置标方法的研究* | | 蔡莲红,罗恒,汪泳,谭晖,涂相华 | | 1996,7(zk):514-518 [摘要(3213)] [PDF 311.69 K (3389)] | | | | 现代应用软件的测试策略与工具* | | 周之英,钱岭 | | 1996,7(zk):519-524 [摘要(3169)] [PDF 446.86 K (3137)] | | | | 一种多智能体系统计算市场模型 | | 胡军,王克宏,康小强,石纯一 | | 1996,7(zk):525-530 [摘要(3281)] [PDF 400.91 K (3421)] | | | | 一个并行程序辅助开发工具* | | 徐鸿,陈德来,张德富 | | 1996,7(zk):531-536 [摘要(2829)] [PDF 407.94 K (3616)] | | | | 现实世界中的主体的一种复合式结构* | | 汪涛,史忠植,田启家,王文杰 | | 1996,7(zk):537-543 [摘要(3002)] [PDF 492.08 K (3540)] | | | | KBASE—P:一个知识库程序设计语言* | | 施伯乐,朱扬勇,郭德培 | | 1996,7(zk):544-550 [摘要(3269)] [PDF 458.93 K (3328)] | | | | 归纳法推理中的各种推理策略* | | 李卫华,张黔,龙泉 | | 1996,7(zk):551-557 [摘要(3123)] [PDF 452.31 K (3523)] | | | | 归纳法推理中的子句简化策略* | | 李卫华,张黔,承雪琦 | | 1996,7(zk):558-564 [摘要(3411)] [PDF 714.24 K (3518)] | | | | 归纳法推理中的项重写策略* | | 李卫华,张黔,韩波 | | 1996,7(zk):565-571 [摘要(3419)] [PDF 394.03 K (3643)] | | |
|