Advanced Search

column
Formal Verification for Hardware Design and Temporal Logic
Han Jungang
1990, 2(1): 1-6.
Abstract PDF
The Automatic Generation Technique of Circuit Diagrams
Yang Zhengrong, Yao Linsheng
1990, 2(1): 7-13,6.
Abstract PDF
Graphic User Interface Design Environment GUIDE-GKS System——A User Interface Management System(UIMS)
Huang Tao
1990, 2(1): 14-17.
Abstract PDF
The Graphical Kernal System Implemented on IBM PC
Zhang Hongwen, Xiong Yihua, Liu Shenquan
1990, 2(1): 18-22,79.
Abstract PDF
Design and Implementation of a General Large-Scale Topographic Map Processing System
Ju Shiguang, Yu Xin, Wang Jianxin, Guo Weigang, Wang Laisheng
1990, 2(1): 23-30.
Abstract PDF
A Directional Tracing Algorithm for Vectorizing Dot Matrix Chinese Characters
Zhang Li
1990, 2(1): 31-33.
Abstract PDF
The Generation and Shadow Display of Graphics for Objects of Axial Symmetrs
Guan Qingxiang
1990, 2(1): 34-39.
Abstract PDF
The Advance of Hypertext and Its Wide Effect On Computer Application
Dong Shihai
1990, 2(1): 40-44.
Abstract PDF
Complex Surfaces Moulding and Its Use in CAD/CAM
Wang Yuegang, Wei Shiming, Liu Dingyuan
1990, 2(1): 45-50,57.
Abstract PDF
GMCADES Inference Engine Design
Wu Huizhong, Lu Xianning
1990, 2(1): 51-57.
Abstract PDF
Gear Driven Design Expert System (GDDES) Research
Chen Dingfang, Hu Xianjin
1990, 2(1): 58-62.
Abstract PDF
The Present State and Trends of CAD Data Transfer Standards
Zhang Shouren
1990, 2(1): 63-68,73.
Abstract PDF
Fractal Graphics
Dong Shihai, Zhang Hui
1990, 2(1): 69-73.
Abstract PDF
Current Technical Situation and Future Trends of Engineering Workstations
Liu Jinde
1990, 2(1): 74-79.
Abstract PDF