1997年第8卷第1期目录
规则库冗余性控制策略的研究宗成庆,陈肇雄,黄河燕1997,8(1):1-6 [摘要(4079)] [PDF(4805)401.22 K][HTML(0)]在动态开放环境中的一种跳步实时搜索算法罗翊,胡蓬,石纯一,王克宏1997,8(1):7-13 [摘要(4053)] [PDF(4742)511.11 K][HTML(0)]知识库维护过程中检查其协调性的有效方法沈宁川,龙翔,李未1997,8(1):14-21 [摘要(3823)] [PDF(4863)470.09 K][HTML(0)]LogP模型上的最优播送与求和算法的实现寿标,陈国良1997,8(1):22-28 [摘要(3852)] [PDF(5119)459.81 K][HTML(0)]基于活跃变量分析的流图语言的部分求值器陆卫东,金成植1997,8(1):29-35 [摘要(3612)] [PDF(5156)459.20 K][HTML(0)]传统程序设计语言的面向对象扩充的若干技术李宣东,郑国梁1997,8(1):36-43 [摘要(3925)] [PDF(4809)583.09 K][HTML(0)]实时数据及时态知识的表示郭宏飞,周建常1997,8(1):45-50 [摘要(4103)] [PDF(4949)451.03 K][HTML(0)]并行文件系统中diskcache一致性协议的正确性证明武北虹,邢汉承,黄大海1997,8(1):51-61 [摘要(3600)] [PDF(5078)688.60 K][HTML(0)]基于比较的一种定性仿真方法顾宇红,石纯一1997,8(1):62-70 [摘要(3805)] [PDF(5115)502.82 K][HTML(0)]NURBS三参数实体造型及在模具CAD/CAM中的应用孙善忠,刘晓强,阮雪榆1997,8(1):71-74 [摘要(3989)] [PDF(5203)618.78 K][HTML(0)]
计算机局域网络技术进展李腊元1997,8(1):75-80 [摘要(7457)] [PDF(8092)462.91 K][HTML(0)]
