| |
1995年第6卷第zk期目录
本期目录 | | | 数据传送进程的符号互模拟* | | | 林惠民 | | | 1995,6(zk):1-9 | | | [摘要](4126) [PDF 484.37 K](5392) | | | 含数组引用的过程间数据流分析* | | | 吉晓梅,张兆庆,乔如良,李杰 | | | 1995,6(zk):10-17 | | | [摘要](3893) [PDF 422.41 K](4980) | | | 面向对象的MIs开发方法DDD* | | | 诸葛海 | | | 1995,6(zk):18-27 | | | [摘要](3271) [PDF 585.75 K](5452) | | | 基于知识的数据自动分布模型* | | | 杨莉,葛建新,何志均 | | | 1995,6(zk):28-35 | | | [摘要](3756) [PDF 563.67 K](5124) | | | 最小平方高阶联想存贮器* | | | 陈松灿,陈德建 | | | 1995,6(zk):36-39 | | | [摘要](3513) [PDF 247.79 K](5063) | | | 增量式解释学习算法EBG—plus* | | | 郝继刚,石纯一 | | | 1995,6(zk):40-45 | | | [摘要](3831) [PDF 403.74 K](4738) | | | 分配问题及其数学模型* | | | 苏明,薛宏熙,洪先龙 | | | 1995,6(zk):46-51 | | | [摘要](3867) [PDF 384.48 K](5136) | | | 基于多UIO序列的协议一致性测试生成* | | | 刘积仁,都军 | | | 1995,6(zk):52-58 | | | [摘要](3539) [PDF 475.17 K](5524) | | | 随机高级Petri网的层次模型和分层性能评价* | | | 林闯,吴建平,王鼎兴 | | | 1995,6(zk):59-67 | | | [摘要](3824) [PDF 556.96 K](4914) | | | 门阵列和标准单元布图中一种有效的走线道分配算法* | | | 洪先龙,黄劲 | | | 1995,6(zk):68-77 | | | [摘要](3507) [PDF 594.54 K](5040) | | | 基于搭配词典的词汇语义驱动算法* | | | 唐泓英,姚天顺 | | | 1995,6(zk):78-85 | | | [摘要](3405) [PDF 552.17 K](5296) | | | 面向对象的PROLOG程序测试工具的研究与实现* | | | 王雷,侯广德 | | | 1995,6(zk):86-93 | | | [摘要](3560) [PDF 514.06 K](5127) | | | 支持智能体的通信原语库系统的研究与实现* | | | 周立,吴泉源,陈火旺 | | | 1995,6(zk):94-99 | | | [摘要](3969) [PDF 415.09 K](5188) | | | 关于McEliece公钥体制的安全性* | | | 隆永红 | | | 1995,6(zk):100-103 | | | [摘要](3684) [PDF 258.27 K](4898) | | | MIDS P++语言* | | | 车敦仁,麦中凡 | | | 1995,6(zk):104-111 | | | [摘要](3479) [PDF 486.27 K](4845) | | | 具有非线性映射能力的RAM式联想存贮器* | | | 陈松灿 | | | 1995,6(zk):112-117 | | | [摘要](3562) [PDF 324.93 K](5013) | | | 一个基于层次结构的超媒体写作系统* | | | 杨德顺,王文清 | | | 1995,6(zk):118-123 | | | [摘要](4051) [PDF 409.30 K](5151) | | | 利用超级编译技术优化串行程序* | | | 张兆庆,乔如良 | | | 1995,6(zk):124-131 | | | [摘要](3901) [PDF 486.05 K](5335) | | | 关于有ω-穷自动机的两个新的接受条件* | | | 周文俊,苏锦祥 | | | 1995,6(zk):132-137 | | | [摘要](3688) [PDF 361.69 K](5002) | | | 分解式软件流水DESP——一种开发循环程序指令级并行性的新方法* | | | 汤志忠,张赤红,王剑 | | | 1995,6(zk):138-147 | | | [摘要](3562) [PDF 600.66 K](4999) | | | 带条件分支的指令级循环优化新方法* | | | 汤志忠,张赤红,王剑 | | | 1995,6(zk):148-156 | | | [摘要](3623) [PDF 561.11 K](5278) | | | ω幂上下文无关语言及其封闭性质* | | | 郭清泉 | | | 1995,6(zk):157-161 | | | [摘要](3711) [PDF 288.44 K](4371) | | | “青鸟”系统中永久对象的实现* | | | 柳军飞,邵维忠,杨芙清 | | | 1995,6(zk):162-169 | | | [摘要](3630) [PDF 522.67 K](4768) | | | 用于描述面向对象并发系统的实用图文法模型* | | | 徐建礼,周龙骧 | | | 1995,6(zk):170-181 | | | [摘要](3743) [PDF 764.11 K](5192) | | | 并行程序的流程图分析法* | | | 马军,马绍汉 | | | 1995,6(zk):182-186 | | | [摘要](4135) [PDF 308.36 K](6086) | | | 广义继承及其在面向对象程序设计语言中的实现* | | | 李宣东,郑国梁 | | | 1995,6(zk):187-193 | | | [摘要](3346) [PDF 471.59 K](5240) | | | 基于知识的计算机辅助命题及分析系统外壳的系统设计* | | | 林复华,陈光中,洪潮兴,汪国强 | | | 1995,6(zk):194-201 | | | [摘要](4359) [PDF 521.04 K](5187) | | | 管理信息系统中的面向对象体系模型* | | | 王立福,易晓勇,杨芙清 | | | 1995,6(zk):202-206 | | | [摘要](3534) [PDF 365.64 K](5386) | | | 对象形式语义模型* | | | 黄涛,冯玉琳,李京 | | | 1995,6(zk):207-212 | | | [摘要](3711) [PDF 425.73 K](4879) | | | 电子CAD框架系统的数据模型和DDL* | | | 潘雪增,寿宇澄,赵余平,平玲娣 | | | 1995,6(zk):213-218 | | | [摘要](3639) [PDF 378.80 K](4858) | | | 信息系统的开发方法及其体系模型* | | | 仲萃豪,曹东启,郭荷清 | | | 1995,6(zk):219-225 | | | [摘要](3859) [PDF 509.38 K](5467) | | | MIs系统的程序生成方法* | | | 郭荷清,仲萃豪,马建 | | | 1995,6(zk):226-230 | | | [摘要](3403) [PDF 358.58 K](4861) | | | 软件构造过程中的对象规范和实现* | | | 李京,冯玉琳,黄涛 | | | 1995,6(zk):231-237 | | | [摘要](3898) [PDF 401.07 K](4938) | | | 中文页面描述语言解释器CPDL Level 2的设计与实现* | | | 徐福培,金亚东,周栋,吴钊 | | | 1995,6(zk):238-245 | | | [摘要](4046) [PDF 557.26 K](5191) | | | 拟双线性方程(组)的展开算法及其求解* | | | 孙永强,袁华强 | | | 1995,6(zk):246-252 | | | [摘要](3634) [PDF 426.87 K](4923) | | | STREAMS机制及IP协议实现* | | | 胡彦莉,鞠九滨 | | | 1995,6(zk):253-257 | | | [摘要](3635) [PDF 364.46 K](5122) | | | 函数式语言编译实现技术的研究* | | | 廖湖声 | | | 1995,6(zk):258-265 | | | [摘要](3999) [PDF 488.23 K](5342) | | | 一种用于基于知识系统开发的形式化模型* | | | 徐殿祥,郑国梁 | | | 1995,6(zk):266-273 | | | [摘要](3514) [PDF 503.45 K](4986) | | | 一种责任驱动的面向对象分析与设计方法* | | | 田忠,钱乐秋,赵文耘,钱家骅 | | | 1995,6(zk):274-280 | | | [摘要](3664) [PDF 509.40 K](5171) | | | 基于小波变换的多尺度立体视觉方法* | | | 钟声,石青云,程民德 | | | 1995,6(zk):281-291 | | | [摘要](3570) [PDF 2.83 M](4930) | | | 从软件工程的发展看软件自动化* | | | 白光野,徐崇,范植华,蒋东溟 | | | 1995,6(zk):292-300 | | | [摘要](4220) [PDF 646.26 K](5748) | |
|
