| |
1996年第7卷第zk期目录
本期目录 | | | XYZ系统中的速成原型示范及其支持工具* | | | 唐稚松,王杉 | | | 1996,7(zk):1-9 [摘要(3182)] [PDF 544.22 K (4140)] | | | | | 新一代几何造型系统数据结构的研究与实现* | | | 陈玉健,杨长贵,田绿竹,孙家广 | | | 1996,7(zk):10-15 [摘要(3521)] [PDF 389.79 K (4448)] | | | | | 图灵机的行为学习* | | | 邓晶,白硕 | | | 1996,7(zk):16-24 [摘要(2899)] [PDF 499.25 K (4317)] | | | | | 满足多向驱动自动匹配的图形与尺寸约束自组织* | | | 张树有,彭群生,谭建荣 | | | 1996,7(zk):25-29 [摘要(3291)] [PDF 328.86 K (3865)] | | | | | 面向对象数据库的推理查询语言* | | | 张成洪,施伯乐,胡运发 | | | 1996,7(zk):30-37 [摘要(3472)] [PDF 502.37 K (3938)] | | | | | 面向对象数据库的推理查询实现* | | | 张成洪,施伯乐,胡运发 | | | 1996,7(zk):38-44 [摘要(3207)] [PDF 463.19 K (3883)] | | | | | 一种面向对象的多媒体概念模型* | | | 张霞,刘积仁,李华天 | | | 1996,7(zk):45-56 [摘要(3354)] [PDF 752.74 K (4051)] | | | | | 并行FFT算法在3种并行计算模型上的设计和分析* | | | 陈国良,李晓峰,黄伟民 | | | 1996,7(zk):57-63 [摘要(3920)] [PDF 485.74 K (4675)] | | | | | 一个面向对象的计算机图形系统的实现* | | | 李文辉,庞云阶,全炳哲 | | | 1996,7(zk):64-72 [摘要(3762)] [PDF 599.99 K (4319)] | | | | | 一个支持开放分布式处理的DRPC模型* | | | 汲化,谢立,孙钟秀 | | | 1996,7(zk):73-77 [摘要(3322)] [PDF 342.59 K (3968)] | | | | | 高性能同步通信板TH—X25的设计与实现* | | | 朱卫国,杨家海,吴建平 | | | 1996,7(zk):78-84 [摘要(3351)] [PDF 490.21 K (3760)] | | | | | 刺绣打版系统中彩色空间聚类的方法与应用* | | | 陈兆乾,谢俊元,钱海川,陈世福 | | | 1996,7(zk):85-90 [摘要(3290)] [PDF 380.23 K (3993)] | | | | | 分布式图形处理的研究与发展* | | | 潘志庚,石教英 | | | 1996,7(zk):91-99 [摘要(3065)] [PDF 637.75 K (4074)] | | | | | C++程序理解辅助系统* | | | 吴穹,金成柏,金淳兆 | | | 1996,7(zk):100-106 [摘要(3387)] [PDF 1007.03 K (3721)] | | | | | 认证协议的形式化分析* | | | 卿斯汉 | | | 1996,7(zk):107-114 [摘要(3072)] [PDF 476.34 K (3945)] | | | | | 基于STEP的产品数据表示和交换的研究* | | | 赵致格,赵荣亮 | | | 1996,7(zk):115-119 [摘要(2911)] [PDF 350.84 K (4313)] | | | | | 虚拟环境中真实感空间声合成* | | | 张爱东,石教英,潘志庚 | | | 1996,7(zk):120-126 [摘要(3541)] [PDF 443.95 K (4297)] | | | | | “云室效应”算法求解仓储系统的任务分配* | | | 陈方泽,张钹 | | | 1996,7(zk):127-133 [摘要(3392)] [PDF 449.76 K (3904)] | | | | | 重叠规则与歧义性* | | | 陆朝俊,孙永强,林凯 | | | 1996,7(zk):134-139 [摘要(3199)] [PDF 358.87 K (3837)] | | | | | POLYBASE系统中的查询处理技术* | | | 王国仁,于戈,单吉弟,郑怀远 | | | 1996,7(zk):140-146 [摘要(3225)] [PDF 491.38 K (4181)] | | | | | 基于面向对象技术的多媒体作品管理模型* | | | 朱海滨,王朴,胡守仁 | | | 1996,7(zk):147-155 [摘要(3261)] [PDF 676.70 K (3646)] | | | | | 标记模态归结推理* | | | 孙吉贵,刘叙华 | | | 1996,7(zk):156-162 [摘要(3228)] [PDF 429.91 K (3913)] | | | | | 复杂对象数据库的递归查询语义* | | | 陈睿 | | | 1996,7(zk):163-169 [摘要(3153)] [PDF 435.80 K (3949)] | | | | | 一种实现程序结构化转换的交互式图形工具* | | | 龚洁 | | | 1996,7(zk):170-177 [摘要(3329)] [PDF 406.25 K (3766)] | | | | | U-循环项与易项* | | | 黄且圆,蒋颖,赵希顺,王驹 | | | 1996,7(zk):178-183 [摘要(3251)] [PDF 325.15 K (3669)] | | | | | 数据库加密管理工具的设计与实现* | | | 戴一奇,苏中民,陈卫,尚杰 | | | 1996,7(zk):184-190 [摘要(3368)] [PDF 436.57 K (4345)] | | | | | 神经网络求解图最短路径问题的一种新方法* | | | 朱大铭,马绍汉 | | | 1996,7(zk):191-198 [摘要(3369)] [PDF 466.34 K (4537)] | | | | | 自动生成前端编译程序的一种方法* | | | 孙淑玲,郑启龙 | | | 1996,7(zk):199-204 [摘要(3637)] [PDF 364.07 K (4376)] | | | | | 布尔算子Fuzzy逻辑中的锁归结原理* | | | 邓安生,刘叙华 | | | 1996,7(zk):205-209 [摘要(3602)] [PDF 318.30 K (3728)] | | | | | 时态多媒体数据的生长过程及其处理算法* | | | 唐常杰,杨文川,罗运江 | | | 1996,7(zk):210-215 [摘要(3323)] [PDF 395.85 K (3950)] | | | | | 证据函数的限定化关系* | | | 刘大有,李岳峰,唐海鹰 | | | 1996,7(zk):216-223 [摘要(3248)] [PDF 459.96 K (4375)] | | | | | 逻辑框架的语法、语用及语义——(I)新型逻辑框架的语法和语用* | | | 傅育熙,宋哲炫,孙永强 | | | 1996,7(zk):224-231 [摘要(3688)] [PDF 374.65 K (4046)] | | | | | 迭代函数及其可计算性* | | | 阎志欣,黄盛萍 | | | 1996,7(zk):232-238 [摘要(3101)] [PDF 427.74 K (3788)] | | | | | 带迭代算子的函数式程序设计* | | | 阎志欣 | | | 1996,7(zk):239-248 [摘要(3315)] [PDF 541.39 K (4123)] | | | | | 无存储器冲突的并行快速排序算法* | | | 管丽 | | | 1996,7(zk):249-253 [摘要(3685)] [PDF 279.94 K (4039)] | | | | | 一个高效的面向数据采集的数据库管理系统* | | | 姚卿达,肖永桥,陈晓蘅 | | | 1996,7(zk):254-260 [摘要(3213)] [PDF 455.44 K (3893)] | | | | | 流水—减水MPP系统广播延迟的有效方法* | | | 刘宏伟,李晓明,崔光佐 | | | 1996,7(zk):261-266 [摘要(3272)] [PDF 404.97 K (3815)] | | | | | 基于极大极小准则的Hopfield联想记忆学习算法* | | | 梁学斌,吴立德 | | | 1996,7(zk):267-272 [摘要(3747)] [PDF 349.03 K (3861)] | | | | | 一种基于Petri网的软件定义构造方法* | | | 何志均,应晶,吴朝晖,高济 | | | 1996,7(zk):273-278 [摘要(3614)] [PDF 427.21 K (3765)] | | | | | 单向Hash函数的一种构造方法* | | | 王小云,周大水 | | | 1996,7(zk):279-283 [摘要(3581)] [PDF 293.66 K (4491)] | | | | | 基于身份的动态口令验证* | | | 戴一奇,张立 | | | 1996,7(zk):284-289 [摘要(3294)] [PDF 376.46 K (3852)] | | | | | 强弱混合一致性语义模型* | | | 李荣,王鼎兴,沈美明 | | | 1996,7(zk):290-296 [摘要(3249)] [PDF 475.97 K (3802)] | | | | | 带继承依赖的关系数据模型* | | | 刘惟一,陆原 | | | 1996,7(zk):297-303 [摘要(3455)] [PDF 375.33 K (3902)] | | | | | 面向对象软件自动化系统JDAUTO/O* | | | 金淳兆,全炳哲 | | | 1996,7(zk):304-310 [摘要(3429)] [PDF 503.39 K (3945)] | | | | | 一种快速收敛的遗传算法* | | | 周春光,周国芹,李博,程彦丰,梁艳春 | | | 1996,7(zk):311-314 [摘要(3400)] [PDF 263.48 K (4672)] | | | | | 一个汉语短语自动界定模型* | | | 周强 | | | 1996,7(zk):315-322 [摘要(3969)] [PDF 493.51 K (4042)] | | | | | 软件可靠性工程中的操作剖面开发* | | | 党齐民,杨新发 | | | 1996,7(zk):323-328 [摘要(3835)] [PDF 394.37 K (4260)] | | | | | 平行最外模式匹配* | | | 沈理,林凯,孙永强 | | | 1996,7(zk):329-337 [摘要(3353)] [PDF 588.82 K (4070)] | | | | | 状态逻辑语言迭代程序的可计算性* | | | 阎志欣 | | | 1996,7(zk):338-347 [摘要(3327)] [PDF 623.80 K (3861)] | | | | | 算子式语言到过程语言的变换语义* | | | 阎志欣,黄冬泉 | | | 1996,7(zk):348-357 [摘要(3417)] [PDF 539.19 K (4196)] | | | | | 公平转换系统规范及其应用* | | | 贾国平,郑国梁 | | | 1996,7(zk):358-366 [摘要(3073)] [PDF 575.65 K (3871)] | | | | | 逻辑结点函数的优化覆盖* | | | 叶以正,曾献君,喻明艳 | | | 1996,7(zk):367-374 [摘要(3354)] [PDF 437.50 K (3734)] | | | | | 一种基于形状特征的建模方法* | | | 韩凌,董金祥,李海龙 | | | 1996,7(zk):375-380 [摘要(3138)] [PDF 375.29 K (3779)] | | | | | λ演算中的第二不动点定理* | | | 宋方敏 | | | 1996,7(zk):381-384 [摘要(3501)] [PDF 244.74 K (3848)] | | | | | 形式化软件开发方法DD—VDM* | | | 吕建,张建莹 | | | 1996,7(zk):385-393 [摘要(3228)] [PDF 534.23 K (3854)] | | | | | 求解SSSP问题图运算的复制数据算法* | | | 杨敬安 | | | 1996,7(zk):394-399 [摘要(3484)] [PDF 375.63 K (4102)] | | | | | 从关系数据库到面向对象语义数据库的语义捕捉和模式转换* | | | 王国仁,于戈,石晶,单吉第,郑怀远 | | | 1996,7(zk):400-409 [摘要(3282)] [PDF 582.25 K (4127)] | | | | | 二维不规则复杂图形轮廓求解的算法研究* | | | 徐波,周明天 | | | 1996,7(zk):410-414 [摘要(3372)] [PDF 313.46 K (3699)] | | | | | 全自动、多管径生物网状血管分割方法研究* | | | 李锡林,徐公文,范植华 | | | 1996,7(zk):415-420 [摘要(3219)] [PDF 1.27 M (3911)] | | | | | ω—正则语言类的一个子类* | | | 庄雷,孟庆远,苏锦祥 | | | 1996,7(zk):421-424 [摘要(3555)] [PDF 237.13 K (3531)] | | | | | 具非线性映射特性的广义逆联想存储器* | | | 陈松灿,高航,杨国庆 | | | 1996,7(zk):425-430 [摘要(3138)] [PDF 318.21 K (3623)] | | | | | 软件项目估算* | | | 王礼强 | | | 1996,7(zk):431-435 [摘要(3157)] [PDF 292.26 K (3760)] | | | | | 函数式语言的集合描述方法及其实现算法* | | | 宋凯,廖湖声 | | | 1996,7(zk):436-440 [摘要(3092)] [PDF 283.86 K (4191)] | | | | | 一种主存数据库的存取方法* | | | 刘云生,胡国玲 | | | 1996,7(zk):441-446 [摘要(3056)] [PDF 782.94 K (4257)] | | | | | 命题时态逻辑的分划式扩充 | | | 沈恩绍 | | | 1996,7(zk):447-454 [摘要(2900)] [PDF 500.21 K (3819)] | | | | | 基于Rough集的Rough数及入算子的逻辑价值* | | | 刘清,王黔英 | | | 1996,7(zk):455-461 [摘要(3029)] [PDF 421.63 K (4062)] | | | | | 面向市场分析与预测的多媒体智能数据库系统* | | | 周立柱,石纯一,陆玉昌,刘卫东,朱滇 | | | 1996,7(zk):462-468 [摘要(3210)] [PDF 503.98 K (4189)] | | | | | 基于示例的组合预测方法* | | | 巩昌平,陆玉昌,周远晖 | | | 1996,7(zk):469-473 [摘要(3483)] [PDF 333.82 K (3851)] | | | | | 市场分析的一种框架* | | | 毛军,陆玉昌,常芸 | | | 1996,7(zk):474-479 [摘要(3456)] [PDF 368.28 K (3957)] | | | | | 市场分析与预测的一种文字报告生成方法与实现* | | | 郑彤,马少平,陆玉昌 | | | 1996,7(zk):480-484 [摘要(3956)] [PDF 345.71 K (4008)] | | | | | 基于规则的市场分析方法* | | | 马少平,郑彤,陆玉昌 | | | 1996,7(zk):485-490 [摘要(2792)] [PDF 821.62 K (4092)] | | | | | 面向市场分析预测的数据仓库技术应用与研究* | | | 刘卫东,冯建华,王令赤,郑彤 | | | 1996,7(zk):491-496 [摘要(3256)] [PDF 440.58 K (4232)] | | | | | 媒体同步技术* | | | 肖勃雷,李新友,王诚,陆玉昌,桂涛 | | | 1996,7(zk):497-502 [摘要(3266)] [PDF 343.36 K (4028)] | | | | | 三维复杂模型实时动态显示的研究与实现* | | | 周嘉玉,陈矛,唐泽圣,孙政 | | | 1996,7(zk):503-509 [摘要(2976)] [PDF 872.24 K (4343)] | | | | | 管理信息可视化技术的研究与实现* | | | 张伟强,周嘉玉,唐泽圣,朱滇 | | | 1996,7(zk):510-513 [摘要(3179)] [PDF 877.87 K (4082)] | | | | | 文语转换系统韵律置标方法的研究* | | | 蔡莲红,罗恒,汪泳,谭晖,涂相华 | | | 1996,7(zk):514-518 [摘要(3285)] [PDF 311.69 K (3883)] | | | | | 现代应用软件的测试策略与工具* | | | 周之英,钱岭 | | | 1996,7(zk):519-524 [摘要(3217)] [PDF 446.86 K (3659)] | | | | | 一种多智能体系统计算市场模型 | | | 胡军,王克宏,康小强,石纯一 | | | 1996,7(zk):525-530 [摘要(3344)] [PDF 400.91 K (3873)] | | | | | 一个并行程序辅助开发工具* | | | 徐鸿,陈德来,张德富 | | | 1996,7(zk):531-536 [摘要(2887)] [PDF 407.94 K (4103)] | | | | | 现实世界中的主体的一种复合式结构* | | | 汪涛,史忠植,田启家,王文杰 | | | 1996,7(zk):537-543 [摘要(3050)] [PDF 492.08 K (4024)] | | | | | KBASE—P：一个知识库程序设计语言* | | | 施伯乐,朱扬勇,郭德培 | | | 1996,7(zk):544-550 [摘要(3368)] [PDF 458.93 K (3853)] | | | | | 归纳法推理中的各种推理策略* | | | 李卫华,张黔,龙泉 | | | 1996,7(zk):551-557 [摘要(3182)] [PDF 452.31 K (4012)] | | | | | 归纳法推理中的子句简化策略* | | | 李卫华,张黔,承雪琦 | | | 1996,7(zk):558-564 [摘要(3470)] [PDF 714.24 K (3962)] | | | | | 归纳法推理中的项重写策略* | | | 李卫华,张黔,韩波 | | | 1996,7(zk):565-571 [摘要(3484)] [PDF 394.03 K (4147)] | | | |
|
