高级检索

栏目
行为功能级模拟系统BFLSIM及其DEBUG环境的设计与实现
贾良玉, 刘明业
1990, 2(2): 1-6.
摘要 PDF下载
向量式布尔等价性证明算法
姚林声, 杨峥嵘
1990, 2(2): 7-13.
摘要 PDF下载
基于单元分解的实体构造几何技术(CDCSG)——一种构造实体模型的新方法
张申生
1990, 2(2): 14-23.
摘要 PDF下载
线生成圆弧的最佳逼近新算法
刘勇奎
1990, 2(2): 24-27.
摘要 PDF下载
物体仿真中的纹理表示
詹永照, 陈天滋, 王来生
1990, 2(2): 28-34,23.
摘要 PDF下载
窗口系统的内部结构和标准化
董士海, 熊志国
1990, 2(2): 35-40.
摘要 PDF下载
面向有限元集成系统的工程数据库管理系统FEDO
黄声扬, 程耿东
1990, 2(2): 41-49.
摘要 PDF下载
容错计算系统中数据的可信性
闵应骅
1990, 2(2): 50-58.
摘要 PDF下载
基于FAN算法的测试产生系统及实验研究
李忠诚, 闵应骅
1990, 2(2): 59-68.
摘要 PDF下载
通用机械零部件CAD系统在微机上的设计及实现
唐卫清
1990, 2(2): 69-75.
摘要 PDF下载
EDIF简介
沈羚, 刘明业
1990, 2(2): 76-78.
摘要 PDF下载
    邮件订阅 RSS