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