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