1997年第8卷第2期目录
基于弱一致性模型软件数据预取策略窦勇,周兴铭1997,8(2):81-86 [摘要(3708)] [PDF(4212)435.20 K][HTML(0)]关系图文法及其应用方林,谢立1997,8(2):87-92 [摘要(4182)] [PDF(4225)374.49 K][HTML(0)]主题数据库规划合理性估计的数学公式王玉书,董丕明1997,8(2):93-98 [摘要(3894)] [PDF(4150)373.65 K][HTML(0)]基于微核心的国产操作系统安全性研究李军,孙玉方1997,8(2):99-106 [摘要(3806)] [PDF(4250)550.97 K][HTML(0)]一个统一的程序验证框架贾国平,郑国梁1997,8(2):107-114 [摘要(3219)] [PDF(4374)520.95 K][HTML(0)]一个任意图的输出和编辑系统李文辉,庞云阶1997,8(2):115-121 [摘要(3541)] [PDF(4329)933.96 K][HTML(0)]利用遗传算法求解文件分配问题孟祥武,程虎1997,8(2):122-127 [摘要(3341)] [PDF(4003)374.28 K][HTML(0)]一种简单阈值方案的优化苏中民,林行良,戴一奇1997,8(2):128-136 [摘要(3960)] [PDF(3746)557.67 K][HTML(0)]基于家族优生学的进化算法吴少岩,张青富,陈火旺1997,8(2):137-144 [摘要(3693)] [PDF(4326)534.89 K][HTML(0)]迭代算子及其在可重用软件研究中的应用薛锦云,吴云峰,万剑怡1997,8(2):145-152 [摘要(3794)] [PDF(4130)453.44 K][HTML(0)]面向对象数据库的查询优化吴胜利,王能斌1997,8(2):153-160 [摘要(3774)] [PDF(4386)530.92 K][HTML(0)]