1996年第7卷第zk期目录
XYZ系统中的速成原型示范及其支持工具*唐稚松,王杉1996,7(zk):1-9 [摘要(3191)] [PDF(4162)544.22 K][HTML(0)]新一代几何造型系统数据结构的研究与实现*陈玉健,杨长贵,田绿竹,孙家广1996,7(zk):10-15 [摘要(3533)] [PDF(4472)389.79 K][HTML(0)]图灵机的行为学习*邓晶,白硕1996,7(zk):16-24 [摘要(2909)] [PDF(4341)499.25 K][HTML(0)]满足多向驱动自动匹配的图形与尺寸约束自组织*张树有,彭群生,谭建荣1996,7(zk):25-29 [摘要(3300)] [PDF(3895)328.86 K][HTML(0)]面向对象数据库的推理查询语言*张成洪,施伯乐,胡运发1996,7(zk):30-37 [摘要(3476)] [PDF(3957)502.37 K][HTML(0)]面向对象数据库的推理查询实现*张成洪,施伯乐,胡运发1996,7(zk):38-44 [摘要(3211)] [PDF(3906)463.19 K][HTML(0)]一种面向对象的多媒体概念模型*张霞,刘积仁,李华天1996,7(zk):45-56 [摘要(3363)] [PDF(4067)752.74 K][HTML(0)]并行FFT算法在3种并行计算模型上的设计和分析*陈国良,李晓峰,黄伟民1996,7(zk):57-63 [摘要(3925)] [PDF(4695)485.74 K][HTML(0)]一个面向对象的计算机图形系统的实现*李文辉,庞云阶,全炳哲1996,7(zk):64-72 [摘要(3770)] [PDF(4342)599.99 K][HTML(0)]一个支持开放分布式处理的DRPC模型*汲化,谢立,孙钟秀1996,7(zk):73-77 [摘要(3331)] [PDF(3985)342.59 K][HTML(0)]高性能同步通信板TH—X25的设计与实现*朱卫国,杨家海,吴建平1996,7(zk):78-84 [摘要(3365)] [PDF(3777)490.21 K][HTML(0)]刺绣打版系统中彩色空间聚类的方法与应用*陈兆乾,谢俊元,钱海川,陈世福1996,7(zk):85-90 [摘要(3296)] [PDF(4017)380.23 K][HTML(0)]分布式图形处理的研究与发展*潘志庚,石教英1996,7(zk):91-99 [摘要(3080)] [PDF(4093)637.75 K][HTML(0)]C++程序理解辅助系统*吴穹,金成柏,金淳兆1996,7(zk):100-106 [摘要(3401)] [PDF(3742)1007.03 K][HTML(0)]认证协议的形式化分析*卿斯汉1996,7(zk):107-114 [摘要(3076)] [PDF(3966)476.34 K][HTML(0)]基于STEP的产品数据表示和交换的研究*赵致格,赵荣亮1996,7(zk):115-119 [摘要(2923)] [PDF(4337)350.84 K][HTML(0)]虚拟环境中真实感空间声合成*张爱东,石教英,潘志庚1996,7(zk):120-126 [摘要(3553)] [PDF(4321)443.95 K][HTML(0)]“云室效应”算法求解仓储系统的任务分配*陈方泽,张钹1996,7(zk):127-133 [摘要(3399)] [PDF(3926)449.76 K][HTML(0)]重叠规则与歧义性*陆朝俊,孙永强,林凯1996,7(zk):134-139 [摘要(3203)] [PDF(3862)358.87 K][HTML(0)]POLYBASE系统中的查询处理技术*王国仁,于戈,单吉弟,郑怀远1996,7(zk):140-146 [摘要(3236)] [PDF(4203)491.38 K][HTML(0)]基于面向对象技术的多媒体作品管理模型*朱海滨,王朴,胡守仁1996,7(zk):147-155 [摘要(3264)] [PDF(3666)676.70 K][HTML(0)]标记模态归结推理*孙吉贵,刘叙华1996,7(zk):156-162 [摘要(3233)] [PDF(3930)429.91 K][HTML(0)]复杂对象数据库的递归查询语义*陈睿1996,7(zk):163-169 [摘要(3161)] [PDF(3974)435.80 K][HTML(0)]一种实现程序结构化转换的交互式图形工具*龚洁1996,7(zk):170-177 [摘要(3339)] [PDF(3783)406.25 K][HTML(0)]U-循环项与易项*黄且圆,蒋颖,赵希顺,王驹1996,7(zk):178-183 [摘要(3255)] [PDF(3682)325.15 K][HTML(0)]数据库加密管理工具的设计与实现*戴一奇,苏中民,陈卫,尚杰1996,7(zk):184-190 [摘要(3377)] [PDF(4371)436.57 K][HTML(0)]神经网络求解图最短路径问题的一种新方法*朱大铭,马绍汉1996,7(zk):191-198 [摘要(3387)] [PDF(4562)466.34 K][HTML(0)]自动生成前端编译程序的一种方法*孙淑玲,郑启龙1996,7(zk):199-204 [摘要(3646)] [PDF(4395)364.07 K][HTML(0)]布尔算子Fuzzy逻辑中的锁归结原理*邓安生,刘叙华1996,7(zk):205-209 [摘要(3606)] [PDF(3755)318.30 K][HTML(0)]时态多媒体数据的生长过程及其处理算法*唐常杰,杨文川,罗运江1996,7(zk):210-215 [摘要(3333)] [PDF(3971)395.85 K][HTML(0)]证据函数的限定化关系*刘大有,李岳峰,唐海鹰1996,7(zk):216-223 [摘要(3255)] [PDF(4403)459.96 K][HTML(0)]逻辑框架的语法、语用及语义——(I)新型逻辑框架的语法和语用*傅育熙,宋哲炫,孙永强1996,7(zk):224-231 [摘要(3697)] [PDF(4078)374.65 K][HTML(0)]迭代函数及其可计算性*阎志欣,黄盛萍1996,7(zk):232-238 [摘要(3113)] [PDF(3810)427.74 K][HTML(0)]带迭代算子的函数式程序设计*阎志欣1996,7(zk):239-248 [摘要(3320)] [PDF(4142)541.39 K][HTML(0)]无存储器冲突的并行快速排序算法*管丽1996,7(zk):249-253 [摘要(3697)] [PDF(4068)279.94 K][HTML(0)]一个高效的面向数据采集的数据库管理系统*姚卿达,肖永桥,陈晓蘅1996,7(zk):254-260 [摘要(3223)] [PDF(3911)455.44 K][HTML(0)]流水—减水MPP系统广播延迟的有效方法*刘宏伟,李晓明,崔光佐1996,7(zk):261-266 [摘要(3279)] [PDF(3835)404.97 K][HTML(0)]基于极大极小准则的Hopfield联想记忆学习算法*梁学斌,吴立德1996,7(zk):267-272 [摘要(3754)] [PDF(3881)349.03 K][HTML(0)]一种基于Petri网的软件定义构造方法*何志均,应晶,吴朝晖,高济1996,7(zk):273-278 [摘要(3625)] [PDF(3784)427.21 K][HTML(0)]单向Hash函数的一种构造方法*王小云,周大水1996,7(zk):279-283 [摘要(3587)] [PDF(4514)293.66 K][HTML(0)]基于身份的动态口令验证*戴一奇,张立1996,7(zk):284-289 [摘要(3303)] [PDF(3877)376.46 K][HTML(0)]强弱混合一致性语义模型*李荣,王鼎兴,沈美明1996,7(zk):290-296 [摘要(3256)] [PDF(3821)475.97 K][HTML(0)]带继承依赖的关系数据模型*刘惟一,陆原1996,7(zk):297-303 [摘要(3457)] [PDF(3923)375.33 K][HTML(0)]面向对象软件自动化系统JDAUTO/O*金淳兆,全炳哲1996,7(zk):304-310 [摘要(3438)] [PDF(3962)503.39 K][HTML(0)]一种快速收敛的遗传算法*周春光,周国芹,李博,程彦丰,梁艳春1996,7(zk):311-314 [摘要(3413)] [PDF(4693)263.48 K][HTML(0)]一个汉语短语自动界定模型*周强1996,7(zk):315-322 [摘要(3975)] [PDF(4066)493.51 K][HTML(0)]软件可靠性工程中的操作剖面开发*党齐民,杨新发1996,7(zk):323-328 [摘要(3844)] [PDF(4271)394.37 K][HTML(0)]平行最外模式匹配*沈理,林凯,孙永强1996,7(zk):329-337 [摘要(3363)] [PDF(4099)588.82 K][HTML(0)]状态逻辑语言迭代程序的可计算性*阎志欣1996,7(zk):338-347 [摘要(3332)] [PDF(3885)623.80 K][HTML(0)]算子式语言到过程语言的变换语义*阎志欣,黄冬泉1996,7(zk):348-357 [摘要(3422)] [PDF(4235)539.19 K][HTML(0)]公平转换系统规范及其应用*贾国平,郑国梁1996,7(zk):358-366 [摘要(3085)] [PDF(3897)575.65 K][HTML(0)]逻辑结点函数的优化覆盖*叶以正,曾献君,喻明艳1996,7(zk):367-374 [摘要(3373)] [PDF(3757)437.50 K][HTML(0)]一种基于形状特征的建模方法*韩凌,董金祥,李海龙1996,7(zk):375-380 [摘要(3144)] [PDF(3804)375.29 K][HTML(0)]λ演算中的第二不动点定理*宋方敏1996,7(zk):381-384 [摘要(3504)] [PDF(3868)244.74 K][HTML(0)]形式化软件开发方法DD—VDM*吕建,张建莹1996,7(zk):385-393 [摘要(3237)] [PDF(3872)534.23 K][HTML(0)]求解SSSP问题图运算的复制数据算法*杨敬安1996,7(zk):394-399 [摘要(3489)] [PDF(4133)375.63 K][HTML(0)]从关系数据库到面向对象语义数据库的语义捕捉和模式转换*王国仁,于戈,石晶,单吉第,郑怀远1996,7(zk):400-409 [摘要(3291)] [PDF(4143)582.25 K][HTML(0)]二维不规则复杂图形轮廓求解的算法研究*徐波,周明天1996,7(zk):410-414 [摘要(3387)] [PDF(3727)313.46 K][HTML(0)]全自动、多管径生物网状血管分割方法研究*李锡林,徐公文,范植华1996,7(zk):415-420 [摘要(3225)] [PDF(3942)1.27 M][HTML(0)]ω—正则语言类的一个子类*庄雷,孟庆远,苏锦祥1996,7(zk):421-424 [摘要(3565)] [PDF(3552)237.13 K][HTML(0)]具非线性映射特性的广义逆联想存储器*陈松灿,高航,杨国庆1996,7(zk):425-430 [摘要(3144)] [PDF(3647)318.21 K][HTML(0)]软件项目估算*王礼强1996,7(zk):431-435 [摘要(3163)] [PDF(3781)292.26 K][HTML(0)]函数式语言的集合描述方法及其实现算法*宋凯,廖湖声1996,7(zk):436-440 [摘要(3101)] [PDF(4224)283.86 K][HTML(0)]一种主存数据库的存取方法*刘云生,胡国玲1996,7(zk):441-446 [摘要(3062)] [PDF(4274)782.94 K][HTML(0)]命题时态逻辑的分划式扩充沈恩绍1996,7(zk):447-454 [摘要(2904)] [PDF(3839)500.21 K][HTML(0)]基于Rough集的Rough数及入算子的逻辑价值*刘清,王黔英1996,7(zk):455-461 [摘要(3037)] [PDF(4085)421.63 K][HTML(0)]面向市场分析与预测的多媒体智能数据库系统*周立柱,石纯一,陆玉昌,刘卫东,朱滇1996,7(zk):462-468 [摘要(3221)] [PDF(4210)503.98 K][HTML(0)]基于示例的组合预测方法*巩昌平,陆玉昌,周远晖1996,7(zk):469-473 [摘要(3487)] [PDF(3864)333.82 K][HTML(0)]市场分析的一种框架*毛军,陆玉昌,常芸1996,7(zk):474-479 [摘要(3471)] [PDF(3975)368.28 K][HTML(0)]市场分析与预测的一种文字报告生成方法与实现*郑彤,马少平,陆玉昌1996,7(zk):480-484 [摘要(3967)] [PDF(4032)345.71 K][HTML(0)]基于规则的市场分析方法*马少平,郑彤,陆玉昌1996,7(zk):485-490 [摘要(2798)] [PDF(4116)821.62 K][HTML(0)]面向市场分析预测的数据仓库技术应用与研究*刘卫东,冯建华,王令赤,郑彤1996,7(zk):491-496 [摘要(3260)] [PDF(4264)440.58 K][HTML(0)]媒体同步技术*肖勃雷,李新友,王诚,陆玉昌,桂涛1996,7(zk):497-502 [摘要(3277)] [PDF(4046)343.36 K][HTML(0)]三维复杂模型实时动态显示的研究与实现*周嘉玉,陈矛,唐泽圣,孙政1996,7(zk):503-509 [摘要(2985)] [PDF(4369)872.24 K][HTML(0)]管理信息可视化技术的研究与实现*张伟强,周嘉玉,唐泽圣,朱滇1996,7(zk):510-513 [摘要(3183)] [PDF(4107)877.87 K][HTML(0)]文语转换系统韵律置标方法的研究*蔡莲红,罗恒,汪泳,谭晖,涂相华1996,7(zk):514-518 [摘要(3291)] [PDF(3915)311.69 K][HTML(0)]现代应用软件的测试策略与工具*周之英,钱岭1996,7(zk):519-524 [摘要(3230)] [PDF(3679)446.86 K][HTML(0)]一种多智能体系统计算市场模型胡军,王克宏,康小强,石纯一1996,7(zk):525-530 [摘要(3350)] [PDF(3894)400.91 K][HTML(0)]一个并行程序辅助开发工具*徐鸿,陈德来,张德富1996,7(zk):531-536 [摘要(2898)] [PDF(4130)407.94 K][HTML(0)]现实世界中的主体的一种复合式结构*汪涛,史忠植,田启家,王文杰1996,7(zk):537-543 [摘要(3051)] [PDF(4045)492.08 K][HTML(0)]KBASE—P：一个知识库程序设计语言*施伯乐,朱扬勇,郭德培1996,7(zk):544-550 [摘要(3379)] [PDF(3880)458.93 K][HTML(0)]归纳法推理中的各种推理策略*李卫华,张黔,龙泉1996,7(zk):551-557 [摘要(3195)] [PDF(4029)452.31 K][HTML(0)]归纳法推理中的子句简化策略*李卫华,张黔,承雪琦1996,7(zk):558-564 [摘要(3480)] [PDF(3988)714.24 K][HTML(0)]归纳法推理中的项重写策略*李卫华,张黔,韩波1996,7(zk):565-571 [摘要(3493)] [PDF(4161)394.03 K][HTML(0)]
