| |
1997年第8卷第1期目录
本期目录 | | | 规则库冗余性控制策略的研究 | | | 宗成庆,陈肇雄,黄河燕 | | | 1997,8(1):1-6 | | | [摘要](4687) [PDF 401.22 K](5662) | | | 在动态开放环境中的一种跳步实时搜索算法 | | | 罗翊,胡蓬,石纯一,王克宏 | | | 1997,8(1):7-13 | | | [摘要](4684) [PDF 511.11 K](5716) | | | 知识库维护过程中检查其协调性的有效方法 | | | 沈宁川,龙翔,李未 | | | 1997,8(1):14-21 | | | [摘要](4525) [PDF 470.09 K](5706) | | | LogP模型上的最优播送与求和算法的实现 | | | 寿标,陈国良 | | | 1997,8(1):22-28 | | | [摘要](4626) [PDF 459.81 K](5889) | | | 基于活跃变量分析的流图语言的部分求值器 | | | 陆卫东,金成植 | | | 1997,8(1):29-35 | | | [摘要](4361) [PDF 459.20 K](6056) | | | 传统程序设计语言的面向对象扩充的若干技术 | | | 李宣东,郑国梁 | | | 1997,8(1):36-43 | | | [摘要](4623) [PDF 583.09 K](5771) | | | 实时数据及时态知识的表示 | | | 郭宏飞,周建常 | | | 1997,8(1):45-50 | | | [摘要](4698) [PDF 451.03 K](5820) | | | 并行文件系统中diskcache一致性协议的正确性证明 | | | 武北虹,邢汉承,黄大海 | | | 1997,8(1):51-61 | | | [摘要](4289) [PDF 688.60 K](5842) | | | 基于比较的一种定性仿真方法 | | | 顾宇红,石纯一 | | | 1997,8(1):62-70 | | | [摘要](4369) [PDF 502.82 K](5938) | | | NURBS三参数实体造型及在模具CAD/CAM中的应用 | | | 孙善忠,刘晓强,阮雪榆 | | | 1997,8(1):71-74 | | | [摘要](4795) [PDF 618.78 K](6096) | |
综述文章
|
