1995年第6卷第zk期目录
数据传送进程的符号互模拟*林惠民1995,6(zk):1-9 [摘要(3414)] [PDF(3884)484.37 K][HTML(0)]含数组引用的过程间数据流分析*吉晓梅,张兆庆,乔如良,李杰1995,6(zk):10-17 [摘要(3218)] [PDF(3575)422.41 K][HTML(0)]面向对象的MIs开发方法DDD*诸葛海1995,6(zk):18-27 [摘要(2656)] [PDF(3954)585.75 K][HTML(0)]基于知识的数据自动分布模型*杨莉,葛建新,何志均1995,6(zk):28-35 [摘要(3109)] [PDF(3679)563.67 K][HTML(0)]最小平方高阶联想存贮器*陈松灿,陈德建1995,6(zk):36-39 [摘要(2915)] [PDF(3651)247.79 K][HTML(0)]增量式解释学习算法EBG—plus*郝继刚,石纯一1995,6(zk):40-45 [摘要(3136)] [PDF(3340)403.74 K][HTML(0)]分配问题及其数学模型*苏明,薛宏熙,洪先龙1995,6(zk):46-51 [摘要(3126)] [PDF(3709)384.48 K][HTML(0)]基于多UIO序列的协议一致性测试生成*刘积仁,都军1995,6(zk):52-58 [摘要(2835)] [PDF(4009)475.17 K][HTML(0)]随机高级Petri网的层次模型和分层性能评价*林闯,吴建平,王鼎兴1995,6(zk):59-67 [摘要(3133)] [PDF(3393)556.96 K][HTML(0)]门阵列和标准单元布图中一种有效的走线道分配算法*洪先龙,黄劲1995,6(zk):68-77 [摘要(2886)] [PDF(3548)594.54 K][HTML(0)]基于搭配词典的词汇语义驱动算法*唐泓英,姚天顺1995,6(zk):78-85 [摘要(2840)] [PDF(3674)552.17 K][HTML(0)]面向对象的PROLOG程序测试工具的研究与实现*王雷,侯广德1995,6(zk):86-93 [摘要(2985)] [PDF(3662)514.06 K][HTML(0)]支持智能体的通信原语库系统的研究与实现*周立,吴泉源,陈火旺1995,6(zk):94-99 [摘要(3381)] [PDF(3691)415.09 K][HTML(0)]关于McEliece公钥体制的安全性*隆永红1995,6(zk):100-103 [摘要(2922)] [PDF(3391)258.27 K][HTML(0)]MIDS P++语言*车敦仁,麦中凡1995,6(zk):104-111 [摘要(2797)] [PDF(3443)486.27 K][HTML(0)]具有非线性映射能力的RAM式联想存贮器*陈松灿1995,6(zk):112-117 [摘要(2850)] [PDF(3594)324.93 K][HTML(0)]一个基于层次结构的超媒体写作系统*杨德顺,王文清1995,6(zk):118-123 [摘要(3156)] [PDF(3742)409.30 K][HTML(0)]利用超级编译技术优化串行程序*张兆庆,乔如良1995,6(zk):124-131 [摘要(3169)] [PDF(3812)486.05 K][HTML(0)]关于有ω-穷自动机的两个新的接受条件*周文俊,苏锦祥1995,6(zk):132-137 [摘要(3085)] [PDF(3504)361.69 K][HTML(0)]分解式软件流水DESP——一种开发循环程序指令级并行性的新方法*汤志忠,张赤红,王剑1995,6(zk):138-147 [摘要(2857)] [PDF(3516)600.66 K][HTML(0)]带条件分支的指令级循环优化新方法*汤志忠,张赤红,王剑1995,6(zk):148-156 [摘要(2853)] [PDF(3817)561.11 K][HTML(0)]ω幂上下文无关语言及其封闭性质*郭清泉1995,6(zk):157-161 [摘要(2986)] [PDF(3135)288.44 K][HTML(0)]“青鸟”系统中永久对象的实现*柳军飞,邵维忠,杨芙清1995,6(zk):162-169 [摘要(3043)] [PDF(3398)522.67 K][HTML(0)]用于描述面向对象并发系统的实用图文法模型*徐建礼,周龙骧1995,6(zk):170-181 [摘要(3098)] [PDF(3856)764.11 K][HTML(0)]并行程序的流程图分析法*马军,马绍汉1995,6(zk):182-186 [摘要(3442)] [PDF(4703)308.36 K][HTML(0)]广义继承及其在面向对象程序设计语言中的实现*李宣东,郑国梁1995,6(zk):187-193 [摘要(2759)] [PDF(3769)471.59 K][HTML(0)]基于知识的计算机辅助命题及分析系统外壳的系统设计*林复华,陈光中,洪潮兴,汪国强1995,6(zk):194-201 [摘要(3643)] [PDF(3733)521.04 K][HTML(0)]管理信息系统中的面向对象体系模型*王立福,易晓勇,杨芙清1995,6(zk):202-206 [摘要(2821)] [PDF(3937)365.64 K][HTML(0)]对象形式语义模型*黄涛,冯玉琳,李京1995,6(zk):207-212 [摘要(3009)] [PDF(3401)425.73 K][HTML(0)]电子CAD框架系统的数据模型和DDL*潘雪增,寿宇澄,赵余平,平玲娣1995,6(zk):213-218 [摘要(2992)] [PDF(3560)378.80 K][HTML(0)]信息系统的开发方法及其体系模型*仲萃豪,曹东启,郭荷清1995,6(zk):219-225 [摘要(3133)] [PDF(3952)509.38 K][HTML(0)]MIs系统的程序生成方法*郭荷清,仲萃豪,马建1995,6(zk):226-230 [摘要(2793)] [PDF(3413)358.58 K][HTML(0)]软件构造过程中的对象规范和实现*李京,冯玉琳,黄涛1995,6(zk):231-237 [摘要(3147)] [PDF(3471)401.07 K][HTML(0)]中文页面描述语言解释器CPDL Level 2的设计与实现*徐福培,金亚东,周栋,吴钊1995,6(zk):238-245 [摘要(3358)] [PDF(3771)557.26 K][HTML(0)]拟双线性方程(组)的展开算法及其求解*孙永强,袁华强1995,6(zk):246-252 [摘要(2868)] [PDF(3491)426.87 K][HTML(0)]STREAMS机制及IP协议实现*胡彦莉,鞠九滨1995,6(zk):253-257 [摘要(2954)] [PDF(3700)364.46 K][HTML(0)]函数式语言编译实现技术的研究*廖湖声1995,6(zk):258-265 [摘要(3325)] [PDF(3839)488.23 K][HTML(0)]一种用于基于知识系统开发的形式化模型*徐殿祥,郑国梁1995,6(zk):266-273 [摘要(2808)] [PDF(3477)503.45 K][HTML(0)]一种责任驱动的面向对象分析与设计方法*田忠,钱乐秋,赵文耘,钱家骅1995,6(zk):274-280 [摘要(2890)] [PDF(3713)509.40 K][HTML(0)]基于小波变换的多尺度立体视觉方法*钟声,石青云,程民德1995,6(zk):281-291 [摘要(2887)] [PDF(3481)2.83 M][HTML(0)]从软件工程的发展看软件自动化*白光野,徐崇,范植华,蒋东溟1995,6(zk):292-300 [摘要(3388)] [PDF(4141)646.26 K][HTML(0)]