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