1997年第8卷第1期目录

浏览其它刊期:  
  
本期目录

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

  • 计算机局域网络技术进展
  • 李腊元
  • 1997,8(1):75-80 [摘要(7233)]  [PDF(6413)462.91 K][HTML(0)]
  • 用微信扫一扫

    用微信扫一扫