利用UCT仪检测套管变形

DUAN FANGYONG¹, QU WANLI², HUANG ZAILU²

Received:1994-06-20 Revised:1995-04-22 Online:1996-06-30 Published:1996-06-30

DUAN FANGYONG, QU WANLI, HUANG ZAILU. CASE FORM CHECKED WITH UCT[J]. Journal of Applied Sciences, 1996, 14(2): 239-242.

[1]	ZENG Hong-wei1, MIAO Huai-kou1;2. Generate Safety Property Tests Using Model Checking [J]. Journal of Applied Sciences, 2011, 29(5): 529-536.
[2]	LI Gang1, WAN You-chuan1, GUAN Yu-juan2. Multi-granularity Synthesis Segmentation of Remote Sensing Image Based on Quotient Space Theory [J]. Journal of Applied Sciences, 2011, 29(4): 390-396.
[3]	CHEN Zhong-yu, MIAO Huai-kou. System Behavior Modeling for Scenario-Based Specifications [J]. Journal of Applied Sciences, 2009, 27(4): 403-408.
[4]	ZHU Bing, MIAO Huai-kou, WANG Na. Automatic Generation and Evaluation of Test Case Based on Z Specifications [J]. Journal of Applied Sciences, 2006, 24(4): 377-381.
[5]	MEI HOHG, SUN YONGQIANG. PARAMETRIC TYPE DYNAMIC TYPE CHECKING [J]. Journal of Applied Sciences, 1994, 12(4): 325-332.
[6]	TANG MINGWEI, XU MIN, ZHANG HENGHUA. THE STUDIES OF POLARIZATION BEHAVIOR ON SEMICONDUCTOR ELECTRODES [J]. Journal of Applied Sciences, 1992, 10(3): 227-232.
[7]	LIN HAIAN, ZHANG JIAWEI, CHEN JIAN. A NEW MODEL FOR THE MECHANISM OF SILICON BIAS-DEPENDENT ETCHING AND HEAUILY DOPED ETCH-STOP [J]. Journal of Applied Sciences, 1992, 10(2): 167-173.

PDF