| |
1996年第7卷第zk期目录
本期目录 | | | XYZ系统中的速成原型示范及其支持工具* | | | 唐稚松,王杉 | | | 1996,7(zk):1-9 | | | [摘要](3871) [PDF 544.22 K](5204) | | | 新一代几何造型系统数据结构的研究与实现* | | | 陈玉健,杨长贵,田绿竹,孙家广 | | | 1996,7(zk):10-15 | | | [摘要](4430) [PDF 389.79 K](5523) | | | 图灵机的行为学习* | | | 邓晶,白硕 | | | 1996,7(zk):16-24 | | | [摘要](3494) [PDF 499.25 K](5349) | | | 满足多向驱动自动匹配的图形与尺寸约束自组织* | | | 张树有,彭群生,谭建荣 | | | 1996,7(zk):25-29 | | | [摘要](3914) [PDF 328.86 K](4828) | | | 面向对象数据库的推理查询语言* | | | 张成洪,施伯乐,胡运发 | | | 1996,7(zk):30-37 | | | [摘要](4066) [PDF 502.37 K](4952) | | | 面向对象数据库的推理查询实现* | | | 张成洪,施伯乐,胡运发 | | | 1996,7(zk):38-44 | | | [摘要](3854) [PDF 463.19 K](4805) | | | 一种面向对象的多媒体概念模型* | | | 张霞,刘积仁,李华天 | | | 1996,7(zk):45-56 | | | [摘要](3957) [PDF 752.74 K](5040) | | | 并行FFT算法在3种并行计算模型上的设计和分析* | | | 陈国良,李晓峰,黄伟民 | | | 1996,7(zk):57-63 | | | [摘要](4571) [PDF 485.74 K](5781) | | | 一个面向对象的计算机图形系统的实现* | | | 李文辉,庞云阶,全炳哲 | | | 1996,7(zk):64-72 | | | [摘要](4345) [PDF 599.99 K](5266) | | | 一个支持开放分布式处理的DRPC模型* | | | 汲化,谢立,孙钟秀 | | | 1996,7(zk):73-77 | | | [摘要](4008) [PDF 342.59 K](5084) | | | 高性能同步通信板TH—X25的设计与实现* | | | 朱卫国,杨家海,吴建平 | | | 1996,7(zk):78-84 | | | [摘要](4073) [PDF 490.21 K](4778) | | | 刺绣打版系统中彩色空间聚类的方法与应用* | | | 陈兆乾,谢俊元,钱海川,陈世福 | | | 1996,7(zk):85-90 | | | [摘要](3983) [PDF 380.23 K](5066) | | | 分布式图形处理的研究与发展* | | | 潘志庚,石教英 | | | 1996,7(zk):91-99 | | | [摘要](3747) [PDF 637.75 K](5087) | | | C++程序理解辅助系统* | | | 吴穹,金成柏,金淳兆 | | | 1996,7(zk):100-106 | | | [摘要](4038) [PDF 1007.03 K](4834) | | | 认证协议的形式化分析* | | | 卿斯汉 | | | 1996,7(zk):107-114 | | | [摘要](3711) [PDF 476.34 K](4834) | | | 基于STEP的产品数据表示和交换的研究* | | | 赵致格,赵荣亮 | | | 1996,7(zk):115-119 | | | [摘要](3610) [PDF 350.84 K](5269) | | | 虚拟环境中真实感空间声合成* | | | 张爱东,石教英,潘志庚 | | | 1996,7(zk):120-126 | | | [摘要](4133) [PDF 443.95 K](5368) | | | “云室效应”算法求解仓储系统的任务分配* | | | 陈方泽,张钹 | | | 1996,7(zk):127-133 | | | [摘要](4031) [PDF 449.76 K](4894) | | | 重叠规则与歧义性* | | | 陆朝俊,孙永强,林凯 | | | 1996,7(zk):134-139 | | | [摘要](3778) [PDF 358.87 K](4958) | | | POLYBASE系统中的查询处理技术* | | | 王国仁,于戈,单吉弟,郑怀远 | | | 1996,7(zk):140-146 | | | [摘要](3941) [PDF 491.38 K](5180) | | | 基于面向对象技术的多媒体作品管理模型* | | | 朱海滨,王朴,胡守仁 | | | 1996,7(zk):147-155 | | | [摘要](3943) [PDF 676.70 K](4750) | | | 标记模态归结推理* | | | 孙吉贵,刘叙华 | | | 1996,7(zk):156-162 | | | [摘要](3818) [PDF 429.91 K](4939) | | | 复杂对象数据库的递归查询语义* | | | 陈睿 | | | 1996,7(zk):163-169 | | | [摘要](3731) [PDF 435.80 K](4936) | | | 一种实现程序结构化转换的交互式图形工具* | | | 龚洁 | | | 1996,7(zk):170-177 | | | [摘要](3987) [PDF 406.25 K](4844) | | | U-循环项与易项* | | | 黄且圆,蒋颖,赵希顺,王驹 | | | 1996,7(zk):178-183 | | | [摘要](3812) [PDF 325.15 K](4665) | | | 数据库加密管理工具的设计与实现* | | | 戴一奇,苏中民,陈卫,尚杰 | | | 1996,7(zk):184-190 | | | [摘要](4110) [PDF 436.57 K](5442) | | | 神经网络求解图最短路径问题的一种新方法* | | | 朱大铭,马绍汉 | | | 1996,7(zk):191-198 | | | [摘要](4128) [PDF 466.34 K](5560) | | | 自动生成前端编译程序的一种方法* | | | 孙淑玲,郑启龙 | | | 1996,7(zk):199-204 | | | [摘要](4241) [PDF 364.07 K](5280) | | | 布尔算子Fuzzy逻辑中的锁归结原理* | | | 邓安生,刘叙华 | | | 1996,7(zk):205-209 | | | [摘要](4153) [PDF 318.30 K](4753) | | | 时态多媒体数据的生长过程及其处理算法* | | | 唐常杰,杨文川,罗运江 | | | 1996,7(zk):210-215 | | | [摘要](3957) [PDF 395.85 K](4852) | | | 证据函数的限定化关系* | | | 刘大有,李岳峰,唐海鹰 | | | 1996,7(zk):216-223 | | | [摘要](3938) [PDF 459.96 K](5469) | | | 逻辑框架的语法、语用及语义——(I)新型逻辑框架的语法和语用* | | | 傅育熙,宋哲炫,孙永强 | | | 1996,7(zk):224-231 | | | [摘要](4431) [PDF 374.65 K](4998) | | | 迭代函数及其可计算性* | | | 阎志欣,黄盛萍 | | | 1996,7(zk):232-238 | | | [摘要](3768) [PDF 427.74 K](4783) | | | 带迭代算子的函数式程序设计* | | | 阎志欣 | | | 1996,7(zk):239-248 | | | [摘要](3970) [PDF 541.39 K](5190) | | | 无存储器冲突的并行快速排序算法* | | | 管丽 | | | 1996,7(zk):249-253 | | | [摘要](4249) [PDF 279.94 K](5020) | | | 一个高效的面向数据采集的数据库管理系统* | | | 姚卿达,肖永桥,陈晓蘅 | | | 1996,7(zk):254-260 | | | [摘要](3949) [PDF 455.44 K](4809) | | | 流水—减水MPP系统广播延迟的有效方法* | | | 刘宏伟,李晓明,崔光佐 | | | 1996,7(zk):261-266 | | | [摘要](3920) [PDF 404.97 K](4797) | | | 基于极大极小准则的Hopfield联想记忆学习算法* | | | 梁学斌,吴立德 | | | 1996,7(zk):267-272 | | | [摘要](4376) [PDF 349.03 K](4851) | | | 一种基于Petri网的软件定义构造方法* | | | 何志均,应晶,吴朝晖,高济 | | | 1996,7(zk):273-278 | | | [摘要](4307) [PDF 427.21 K](4744) | | | 单向Hash函数的一种构造方法* | | | 王小云,周大水 | | | 1996,7(zk):279-283 | | | [摘要](4313) [PDF 293.66 K](5507) | | | 基于身份的动态口令验证* | | | 戴一奇,张立 | | | 1996,7(zk):284-289 | | | [摘要](3902) [PDF 376.46 K](4892) | | | 强弱混合一致性语义模型* | | | 李荣,王鼎兴,沈美明 | | | 1996,7(zk):290-296 | | | [摘要](3911) [PDF 475.97 K](4928) | | | 带继承依赖的关系数据模型* | | | 刘惟一,陆原 | | | 1996,7(zk):297-303 | | | [摘要](4091) [PDF 375.33 K](4862) | | | 面向对象软件自动化系统JDAUTO/O* | | | 金淳兆,全炳哲 | | | 1996,7(zk):304-310 | | | [摘要](4081) [PDF 503.39 K](4888) | | | 一种快速收敛的遗传算法* | | | 周春光,周国芹,李博,程彦丰,梁艳春 | | | 1996,7(zk):311-314 | | | [摘要](4080) [PDF 263.48 K](5670) | | | 一个汉语短语自动界定模型* | | | 周强 | | | 1996,7(zk):315-322 | | | [摘要](4697) [PDF 493.51 K](5097) | | | 软件可靠性工程中的操作剖面开发* | | | 党齐民,杨新发 | | | 1996,7(zk):323-328 | | | [摘要](4626) [PDF 394.37 K](5264) | | | 平行最外模式匹配* | | | 沈理,林凯,孙永强 | | | 1996,7(zk):329-337 | | | [摘要](3910) [PDF 588.82 K](5109) | | | 状态逻辑语言迭代程序的可计算性* | | | 阎志欣 | | | 1996,7(zk):338-347 | | | [摘要](3997) [PDF 623.80 K](4725) | | | 算子式语言到过程语言的变换语义* | | | 阎志欣,黄冬泉 | | | 1996,7(zk):348-357 | | | [摘要](3929) [PDF 539.19 K](5237) | | | 公平转换系统规范及其应用* | | | 贾国平,郑国梁 | | | 1996,7(zk):358-366 | | | [摘要](3815) [PDF 575.65 K](4850) | | | 逻辑结点函数的优化覆盖* | | | 叶以正,曾献君,喻明艳 | | | 1996,7(zk):367-374 | | | [摘要](3914) [PDF 437.50 K](4790) | | | 一种基于形状特征的建模方法* | | | 韩凌,董金祥,李海龙 | | | 1996,7(zk):375-380 | | | [摘要](3721) [PDF 375.29 K](4743) | | | λ演算中的第二不动点定理* | | | 宋方敏 | | | 1996,7(zk):381-384 | | | [摘要](4070) [PDF 244.74 K](4839) | | | 形式化软件开发方法DD—VDM* | | | 吕建,张建莹 | | | 1996,7(zk):385-393 | | | [摘要](3893) [PDF 534.23 K](4848) | | | 求解SSSP问题图运算的复制数据算法* | | | 杨敬安 | | | 1996,7(zk):394-399 | | | [摘要](4095) [PDF 375.63 K](5146) | | | 从关系数据库到面向对象语义数据库的语义捕捉和模式转换* | | | 王国仁,于戈,石晶,单吉第,郑怀远 | | | 1996,7(zk):400-409 | | | [摘要](4047) [PDF 582.25 K](5146) | | | 二维不规则复杂图形轮廓求解的算法研究* | | | 徐波,周明天 | | | 1996,7(zk):410-414 | | | [摘要](4045) [PDF 313.46 K](4632) | | | 全自动、多管径生物网状血管分割方法研究* | | | 李锡林,徐公文,范植华 | | | 1996,7(zk):415-420 | | | [摘要](3847) [PDF 1.27 M](4997) | | | ω—正则语言类的一个子类* | | | 庄雷,孟庆远,苏锦祥 | | | 1996,7(zk):421-424 | | | [摘要](4204) [PDF 237.13 K](4555) | | | 具非线性映射特性的广义逆联想存储器* | | | 陈松灿,高航,杨国庆 | | | 1996,7(zk):425-430 | | | [摘要](3789) [PDF 318.21 K](4676) | | | 软件项目估算* | | | 王礼强 | | | 1996,7(zk):431-435 | | | [摘要](3774) [PDF 292.26 K](4753) | | | 函数式语言的集合描述方法及其实现算法* | | | 宋凯,廖湖声 | | | 1996,7(zk):436-440 | | | [摘要](3689) [PDF 283.86 K](5118) | | | 一种主存数据库的存取方法* | | | 刘云生,胡国玲 | | | 1996,7(zk):441-446 | | | [摘要](3669) [PDF 782.94 K](5311) | | | 命题时态逻辑的分划式扩充 | | | 沈恩绍 | | | 1996,7(zk):447-454 | | | [摘要](3616) [PDF 500.21 K](4864) | | | 基于Rough集的Rough数及入算子的逻辑价值* | | | 刘清,王黔英 | | | 1996,7(zk):455-461 | | | [摘要](3624) [PDF 421.63 K](5079) | | | 面向市场分析与预测的多媒体智能数据库系统* | | | 周立柱,石纯一,陆玉昌,刘卫东,朱滇 | | | 1996,7(zk):462-468 | | | [摘要](3952) [PDF 503.98 K](5123) | | | 基于示例的组合预测方法* | | | 巩昌平,陆玉昌,周远晖 | | | 1996,7(zk):469-473 | | | [摘要](4057) [PDF 333.82 K](4842) | | | 市场分析的一种框架* | | | 毛军,陆玉昌,常芸 | | | 1996,7(zk):474-479 | | | [摘要](4120) [PDF 368.28 K](4933) | | | 市场分析与预测的一种文字报告生成方法与实现* | | | 郑彤,马少平,陆玉昌 | | | 1996,7(zk):480-484 | | | [摘要](4629) [PDF 345.71 K](4990) | | | 基于规则的市场分析方法* | | | 马少平,郑彤,陆玉昌 | | | 1996,7(zk):485-490 | | | [摘要](3332) [PDF 821.62 K](5150) | | | 面向市场分析预测的数据仓库技术应用与研究* | | | 刘卫东,冯建华,王令赤,郑彤 | | | 1996,7(zk):491-496 | | | [摘要](3865) [PDF 440.58 K](5239) | | | 媒体同步技术* | | | 肖勃雷,李新友,王诚,陆玉昌,桂涛 | | | 1996,7(zk):497-502 | | | [摘要](3926) [PDF 343.36 K](5087) | | | 三维复杂模型实时动态显示的研究与实现* | | | 周嘉玉,陈矛,唐泽圣,孙政 | | | 1996,7(zk):503-509 | | | [摘要](3622) [PDF 872.24 K](5422) | | | 管理信息可视化技术的研究与实现* | | | 张伟强,周嘉玉,唐泽圣,朱滇 | | | 1996,7(zk):510-513 | | | [摘要](3722) [PDF 877.87 K](5117) | | | 文语转换系统韵律置标方法的研究* | | | 蔡莲红,罗恒,汪泳,谭晖,涂相华 | | | 1996,7(zk):514-518 | | | [摘要](3880) [PDF 311.69 K](4851) | | | 现代应用软件的测试策略与工具* | | | 周之英,钱岭 | | | 1996,7(zk):519-524 | | | [摘要](3853) [PDF 446.86 K](4636) | | | 一种多智能体系统计算市场模型 | | | 胡军,王克宏,康小强,石纯一 | | | 1996,7(zk):525-530 | | | [摘要](3938) [PDF 400.91 K](4898) | | | 一个并行程序辅助开发工具* | | | 徐鸿,陈德来,张德富 | | | 1996,7(zk):531-536 | | | [摘要](3489) [PDF 407.94 K](5065) | | | 现实世界中的主体的一种复合式结构* | | | 汪涛,史忠植,田启家,王文杰 | | | 1996,7(zk):537-543 | | | [摘要](3822) [PDF 492.08 K](5165) | | | KBASE—P：一个知识库程序设计语言* | | | 施伯乐,朱扬勇,郭德培 | | | 1996,7(zk):544-550 | | | [摘要](4275) [PDF 458.93 K](4851) | | | 归纳法推理中的各种推理策略* | | | 李卫华,张黔,龙泉 | | | 1996,7(zk):551-557 | | | [摘要](3884) [PDF 452.31 K](5011) | | | 归纳法推理中的子句简化策略* | | | 李卫华,张黔,承雪琦 | | | 1996,7(zk):558-564 | | | [摘要](4136) [PDF 714.24 K](5053) | | | 归纳法推理中的项重写策略* | | | 李卫华,张黔,韩波 | | | 1996,7(zk):565-571 | | | [摘要](4117) [PDF 394.03 K](5064) | |
|
