1996年第7卷第zk期目录
XYZ系统中的速成原型示范及其支持工具*唐稚松,王杉1996,7(zk):1-9 [摘要(3132)] [PDF(3724)544.22 K][HTML(0)]新一代几何造型系统数据结构的研究与实现*陈玉健,杨长贵,田绿竹,孙家广1996,7(zk):10-15 [摘要(3450)] [PDF(4024)389.79 K][HTML(0)]图灵机的行为学习*邓晶,白硕1996,7(zk):16-24 [摘要(2847)] [PDF(3900)499.25 K][HTML(0)]满足多向驱动自动匹配的图形与尺寸约束自组织*张树有,彭群生,谭建荣1996,7(zk):25-29 [摘要(3229)] [PDF(3449)328.86 K][HTML(0)]面向对象数据库的推理查询语言*张成洪,施伯乐,胡运发1996,7(zk):30-37 [摘要(3414)] [PDF(3513)502.37 K][HTML(0)]面向对象数据库的推理查询实现*张成洪,施伯乐,胡运发1996,7(zk):38-44 [摘要(3166)] [PDF(3437)463.19 K][HTML(0)]一种面向对象的多媒体概念模型*张霞,刘积仁,李华天1996,7(zk):45-56 [摘要(3304)] [PDF(3691)752.74 K][HTML(0)]并行FFT算法在3种并行计算模型上的设计和分析*陈国良,李晓峰,黄伟民1996,7(zk):57-63 [摘要(3863)] [PDF(4280)485.74 K][HTML(0)]一个面向对象的计算机图形系统的实现*李文辉,庞云阶,全炳哲1996,7(zk):64-72 [摘要(3710)] [PDF(3919)599.99 K][HTML(0)]一个支持开放分布式处理的DRPC模型*汲化,谢立,孙钟秀1996,7(zk):73-77 [摘要(3274)] [PDF(3598)342.59 K][HTML(0)]高性能同步通信板TH—X25的设计与实现*朱卫国,杨家海,吴建平1996,7(zk):78-84 [摘要(3282)] [PDF(3390)490.21 K][HTML(0)]刺绣打版系统中彩色空间聚类的方法与应用*陈兆乾,谢俊元,钱海川,陈世福1996,7(zk):85-90 [摘要(3235)] [PDF(3542)380.23 K][HTML(0)]分布式图形处理的研究与发展*潘志庚,石教英1996,7(zk):91-99 [摘要(2994)] [PDF(3677)637.75 K][HTML(0)]C++程序理解辅助系统*吴穹,金成柏,金淳兆1996,7(zk):100-106 [摘要(3337)] [PDF(3347)1007.03 K][HTML(0)]认证协议的形式化分析*卿斯汉1996,7(zk):107-114 [摘要(3027)] [PDF(3539)476.34 K][HTML(0)]基于STEP的产品数据表示和交换的研究*赵致格,赵荣亮1996,7(zk):115-119 [摘要(2855)] [PDF(3915)350.84 K][HTML(0)]虚拟环境中真实感空间声合成*张爱东,石教英,潘志庚1996,7(zk):120-126 [摘要(3492)] [PDF(3858)443.95 K][HTML(0)]“云室效应”算法求解仓储系统的任务分配*陈方泽,张钹1996,7(zk):127-133 [摘要(3350)] [PDF(3472)449.76 K][HTML(0)]重叠规则与歧义性*陆朝俊,孙永强,林凯1996,7(zk):134-139 [摘要(3158)] [PDF(3415)358.87 K][HTML(0)]POLYBASE系统中的查询处理技术*王国仁,于戈,单吉弟,郑怀远1996,7(zk):140-146 [摘要(3166)] [PDF(3778)491.38 K][HTML(0)]基于面向对象技术的多媒体作品管理模型*朱海滨,王朴,胡守仁1996,7(zk):147-155 [摘要(3222)] [PDF(3258)676.70 K][HTML(0)]标记模态归结推理*孙吉贵,刘叙华1996,7(zk):156-162 [摘要(3181)] [PDF(3504)429.91 K][HTML(0)]复杂对象数据库的递归查询语义*陈睿1996,7(zk):163-169 [摘要(3080)] [PDF(3544)435.80 K][HTML(0)]一种实现程序结构化转换的交互式图形工具*龚洁1996,7(zk):170-177 [摘要(3289)] [PDF(3352)406.25 K][HTML(0)]U-循环项与易项*黄且圆,蒋颖,赵希顺,王驹1996,7(zk):178-183 [摘要(3209)] [PDF(3301)325.15 K][HTML(0)]数据库加密管理工具的设计与实现*戴一奇,苏中民,陈卫,尚杰1996,7(zk):184-190 [摘要(3313)] [PDF(3899)436.57 K][HTML(0)]神经网络求解图最短路径问题的一种新方法*朱大铭,马绍汉1996,7(zk):191-198 [摘要(3263)] [PDF(4103)466.34 K][HTML(0)]自动生成前端编译程序的一种方法*孙淑玲,郑启龙1996,7(zk):199-204 [摘要(3595)] [PDF(3951)364.07 K][HTML(0)]布尔算子Fuzzy逻辑中的锁归结原理*邓安生,刘叙华1996,7(zk):205-209 [摘要(3555)] [PDF(3341)318.30 K][HTML(0)]时态多媒体数据的生长过程及其处理算法*唐常杰,杨文川,罗运江1996,7(zk):210-215 [摘要(3272)] [PDF(3530)395.85 K][HTML(0)]证据函数的限定化关系*刘大有,李岳峰,唐海鹰1996,7(zk):216-223 [摘要(3190)] [PDF(3950)459.96 K][HTML(0)]逻辑框架的语法、语用及语义——(I)新型逻辑框架的语法和语用*傅育熙,宋哲炫,孙永强1996,7(zk):224-231 [摘要(3627)] [PDF(3661)374.65 K][HTML(0)]迭代函数及其可计算性*阎志欣,黄盛萍1996,7(zk):232-238 [摘要(3034)] [PDF(3388)427.74 K][HTML(0)]带迭代算子的函数式程序设计*阎志欣1996,7(zk):239-248 [摘要(3257)] [PDF(3729)541.39 K][HTML(0)]无存储器冲突的并行快速排序算法*管丽1996,7(zk):249-253 [摘要(3640)] [PDF(3631)279.94 K][HTML(0)]一个高效的面向数据采集的数据库管理系统*姚卿达,肖永桥,陈晓蘅1996,7(zk):254-260 [摘要(3155)] [PDF(3514)455.44 K][HTML(0)]流水—减水MPP系统广播延迟的有效方法*刘宏伟,李晓明,崔光佐1996,7(zk):261-266 [摘要(3223)] [PDF(3413)404.97 K][HTML(0)]基于极大极小准则的Hopfield联想记忆学习算法*梁学斌,吴立德1996,7(zk):267-272 [摘要(3690)] [PDF(3461)349.03 K][HTML(0)]一种基于Petri网的软件定义构造方法*何志均,应晶,吴朝晖,高济1996,7(zk):273-278 [摘要(3556)] [PDF(3356)427.21 K][HTML(0)]单向Hash函数的一种构造方法*王小云,周大水1996,7(zk):279-283 [摘要(3518)] [PDF(4070)293.66 K][HTML(0)]基于身份的动态口令验证*戴一奇,张立1996,7(zk):284-289 [摘要(3231)] [PDF(3423)376.46 K][HTML(0)]强弱混合一致性语义模型*李荣,王鼎兴,沈美明1996,7(zk):290-296 [摘要(3209)] [PDF(3404)475.97 K][HTML(0)]带继承依赖的关系数据模型*刘惟一,陆原1996,7(zk):297-303 [摘要(3389)] [PDF(3499)375.33 K][HTML(0)]面向对象软件自动化系统JDAUTO/O*金淳兆,全炳哲1996,7(zk):304-310 [摘要(3387)] [PDF(3583)503.39 K][HTML(0)]一种快速收敛的遗传算法*周春光,周国芹,李博,程彦丰,梁艳春1996,7(zk):311-314 [摘要(3347)] [PDF(4257)263.48 K][HTML(0)]一个汉语短语自动界定模型*周强1996,7(zk):315-322 [摘要(3922)] [PDF(3592)493.51 K][HTML(0)]软件可靠性工程中的操作剖面开发*党齐民,杨新发1996,7(zk):323-328 [摘要(3751)] [PDF(3872)394.37 K][HTML(0)]平行最外模式匹配*沈理,林凯,孙永强1996,7(zk):329-337 [摘要(3299)] [PDF(3669)588.82 K][HTML(0)]状态逻辑语言迭代程序的可计算性*阎志欣1996,7(zk):338-347 [摘要(3271)] [PDF(3433)623.80 K][HTML(0)]算子式语言到过程语言的变换语义*阎志欣,黄冬泉1996,7(zk):348-357 [摘要(3377)] [PDF(3783)539.19 K][HTML(0)]公平转换系统规范及其应用*贾国平,郑国梁1996,7(zk):358-366 [摘要(3022)] [PDF(3479)575.65 K][HTML(0)]逻辑结点函数的优化覆盖*叶以正,曾献君,喻明艳1996,7(zk):367-374 [摘要(3303)] [PDF(3297)437.50 K][HTML(0)]一种基于形状特征的建模方法*韩凌,董金祥,李海龙1996,7(zk):375-380 [摘要(3075)] [PDF(3375)375.29 K][HTML(0)]λ演算中的第二不动点定理*宋方敏1996,7(zk):381-384 [摘要(3443)] [PDF(3444)244.74 K][HTML(0)]形式化软件开发方法DD—VDM*吕建,张建莹1996,7(zk):385-393 [摘要(3167)] [PDF(3433)534.23 K][HTML(0)]求解SSSP问题图运算的复制数据算法*杨敬安1996,7(zk):394-399 [摘要(3436)] [PDF(3716)375.63 K][HTML(0)]从关系数据库到面向对象语义数据库的语义捕捉和模式转换*王国仁,于戈,石晶,单吉第,郑怀远1996,7(zk):400-409 [摘要(3238)] [PDF(3750)582.25 K][HTML(0)]二维不规则复杂图形轮廓求解的算法研究*徐波,周明天1996,7(zk):410-414 [摘要(3324)] [PDF(3272)313.46 K][HTML(0)]全自动、多管径生物网状血管分割方法研究*李锡林,徐公文,范植华1996,7(zk):415-420 [摘要(3173)] [PDF(3511)1.27 M][HTML(0)]ω—正则语言类的一个子类*庄雷,孟庆远,苏锦祥1996,7(zk):421-424 [摘要(3514)] [PDF(3140)237.13 K][HTML(0)]具非线性映射特性的广义逆联想存储器*陈松灿,高航,杨国庆1996,7(zk):425-430 [摘要(3078)] [PDF(3225)318.21 K][HTML(0)]软件项目估算*王礼强1996,7(zk):431-435 [摘要(3112)] [PDF(3379)292.26 K][HTML(0)]函数式语言的集合描述方法及其实现算法*宋凯,廖湖声1996,7(zk):436-440 [摘要(3045)] [PDF(3780)283.86 K][HTML(0)]一种主存数据库的存取方法*刘云生,胡国玲1996,7(zk):441-446 [摘要(3015)] [PDF(3868)782.94 K][HTML(0)]命题时态逻辑的分划式扩充沈恩绍1996,7(zk):447-454 [摘要(2849)] [PDF(3413)500.21 K][HTML(0)]基于Rough集的Rough数及入算子的逻辑价值*刘清,王黔英1996,7(zk):455-461 [摘要(2986)] [PDF(3624)421.63 K][HTML(0)]面向市场分析与预测的多媒体智能数据库系统*周立柱,石纯一,陆玉昌,刘卫东,朱滇1996,7(zk):462-468 [摘要(3153)] [PDF(3783)503.98 K][HTML(0)]基于示例的组合预测方法*巩昌平,陆玉昌,周远晖1996,7(zk):469-473 [摘要(3454)] [PDF(3475)333.82 K][HTML(0)]市场分析的一种框架*毛军,陆玉昌,常芸1996,7(zk):474-479 [摘要(3401)] [PDF(3551)368.28 K][HTML(0)]市场分析与预测的一种文字报告生成方法与实现*郑彤,马少平,陆玉昌1996,7(zk):480-484 [摘要(3884)] [PDF(3597)345.71 K][HTML(0)]基于规则的市场分析方法*马少平,郑彤,陆玉昌1996,7(zk):485-490 [摘要(2753)] [PDF(3679)821.62 K][HTML(0)]面向市场分析预测的数据仓库技术应用与研究*刘卫东,冯建华,王令赤,郑彤1996,7(zk):491-496 [摘要(3210)] [PDF(3811)440.58 K][HTML(0)]媒体同步技术*肖勃雷,李新友,王诚,陆玉昌,桂涛1996,7(zk):497-502 [摘要(3212)] [PDF(3651)343.36 K][HTML(0)]三维复杂模型实时动态显示的研究与实现*周嘉玉,陈矛,唐泽圣,孙政1996,7(zk):503-509 [摘要(2942)] [PDF(3911)872.24 K][HTML(0)]管理信息可视化技术的研究与实现*张伟强,周嘉玉,唐泽圣,朱滇1996,7(zk):510-513 [摘要(3125)] [PDF(3662)877.87 K][HTML(0)]文语转换系统韵律置标方法的研究*蔡莲红,罗恒,汪泳,谭晖,涂相华1996,7(zk):514-518 [摘要(3223)] [PDF(3458)311.69 K][HTML(0)]现代应用软件的测试策略与工具*周之英,钱岭1996,7(zk):519-524 [摘要(3182)] [PDF(3216)446.86 K][HTML(0)]一种多智能体系统计算市场模型胡军,王克宏,康小强,石纯一1996,7(zk):525-530 [摘要(3287)] [PDF(3497)400.91 K][HTML(0)]一个并行程序辅助开发工具*徐鸿,陈德来,张德富1996,7(zk):531-536 [摘要(2837)] [PDF(3681)407.94 K][HTML(0)]现实世界中的主体的一种复合式结构*汪涛,史忠植,田启家,王文杰1996,7(zk):537-543 [摘要(3012)] [PDF(3605)492.08 K][HTML(0)]KBASE—P:一个知识库程序设计语言*施伯乐,朱扬勇,郭德培1996,7(zk):544-550 [摘要(3280)] [PDF(3399)458.93 K][HTML(0)]归纳法推理中的各种推理策略*李卫华,张黔,龙泉1996,7(zk):551-557 [摘要(3135)] [PDF(3588)452.31 K][HTML(0)]归纳法推理中的子句简化策略*李卫华,张黔,承雪琦1996,7(zk):558-564 [摘要(3418)] [PDF(3580)714.24 K][HTML(0)]归纳法推理中的项重写策略*李卫华,张黔,韩波1996,7(zk):565-571 [摘要(3431)] [PDF(3706)394.03 K][HTML(0)]