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