CHINA MEASUREMENT & TESTING TECHNOLOGY 2007 Issue 6 Application of the abstract interpretation in the embedded software-testing

Application of the abstract interpretation in the embedded software-testing
CHANG Suo;ZHAO Bin;XIN Wen-kui

..............page:93-95

Electronic balance principle and corner load error and linearity error adjusting
LIU Qiang;XUE Liang

..............page:61-63

Measurement and analysis system for friction-induced noise based on sound card
LAN Bo;CHEN Chun-jun;WANG Wei;LI Yang

..............page:58-60

Study and implementation of distribution data sampling
CAO Jian-ping

..............page:55-57,74

Effect on errors of mass flowmeter calibrated with different medium
LUO Fan;SUN Yu-sheng

..............page:52-54

Design and realization of an open software framework for automatic test system
CHEN Yu;QIN Kai-yu

..............page:96-98,125

Ultrasound image segmentation method based on improved C-V model
YANG Hai-yang;LIU Qi

..............page:99-101

Design of embedded software controlling DC motor using DSP
SONG Nan;CHEN Guang-ju;XIE Yong-le

..............page:102-105

Controll of step motor speed-up and speed-down with ATmega16
LIU Li;HAN Zhen-yu;LI Long;LI Hong-lin

..............page:106-108

Global threshold binarization method based on LoG algorithms edge detecting
TIAN Zi-jun;LIU Yi

..............page:109-110,136

Research on device driver program of general proposal automatic test station
ZHANG Chan;CAI Jun

..............page:111-113

Brief introduction of indoor air pollution control and its treatment materials
FANG Zheng;YU Hai-yang;SUN Deng-feng;PAN Yi;DONG Jun

..............page:114-117

Determination of indoor air TVOC
FU Yan-bin

..............page:118-120

Standard methods for indoor air TVOC
ZHANG Yi;PAN Yi;SUN Deng-feng;FANG Zheng;YU Hai-yang

..............page:121-125

Application of nondestructive testing technique in construction engineering quality supervision of special industry
LU Jun

..............page:126-129

Preparation of verification device for petroleum drilling weight indicators
CHEN Shi-chao;TIAN Xiao-quan;ZHU Ke-jia

..............page:130-132

Design of the synthesize testing instrument used in aeronautic fire-control system based on PXI bus
HAN Zhao-fu;YANG Jian-xin;JIN Shi-jiao;WANG Hong-tan

..............page:133-136

Design of high precision and low drift electronic integrator
LI Xiang-yang;ZHOU Jing;DONG Wei

..............page:137-140

Overview of amino acid determinations for tea
TAN He-ping;CHEN Li;YE Shan-rong;ZOU Yan

..............page:1-4

Testing equipments for spectral absorption coefficient and spectral scattering coefficients of sea water
SU Hong-yu;YANG Hua-yuan;YU Hao-ran;YU De-ping;GONG Lan;LI Bo

..............page:5-9

Method of multi-parameter water-injection profile combination logging
DAI Jia-cai;GUO Hai-min;ZHANG Xiao-gang

..............page:10-12

Development of a monitor for cryo-mixtures
SUN Yue;SHUAI Jun-qing;SUN Dong

..............page:13-14,41

Safety monitoring and information management for CNG stations
SU Chang-lin;LIU Jin-lin;QIU Dong-li

..............page:15-18,31

Co( Ⅱ ) and Ni( Ⅱ ) contents in liquid mixture determined by spectrophotometric method
HE Hong;ZHU Ai-shi

..............page:19-21

Method to calculate coordinates of vectors of rotated single crystal in research of synchrotron radiation topography
YU Wan-li;LUO Yong-an;TIAN Yu-lian;HUANG Wan-xia;YUAN Qing-xi;ZHU Pei-ping

..............page:22-24

Lifetime measurement for minority carrier of crystalline silicon solar cells
ZHOU Chun-lan;WANG Wen-jing

..............page:25-31

Study of measurement of dielectric loss based on wavelet transform
ZOU Yan-ping

..............page:64-65,105

Temperature distribution of autoclave sterilizer
YU Hai-gang

..............page:66-67

Research on space coordinate differences of Co-located VLBI stations
WANG Hai-dong;LI Zong-chun;SONG Guo-da

..............page:68-71

Calibration and application of digital light-scattering dust test instrument
WANG Xing-dong

..............page:72-74

Design auto-monitoring system for gauge alternative pressure test based on machine vision technology
LIU Hao-feng;LI Yan-ling;WANG Shuai;HAO Luo-liang

..............page:75-76,140

Stability difference between measurement standard and standard device
BIAN Guang-qing

..............page:77-79

Some questions on application of measuring uncertainty
ZHANG Cheng-ti

..............page:80-82,89

Measurement uncertainty analysis on verification of spectrum analyzer
ZHANG Hai-lin

..............page:83-85

Measurement of thermostatic bath and evaluation of uncertainty
GUO Shen-hui;QI Xiao-hong;WANG Lin-hu

..............page:86-89

Design of test system based on VXI-bus control technology for airborne electronic equipment
WEI Jun-gan;ZHANG Ran;ZHAO Bo

..............page:90-92,108

Advanced portable and dynamic parameter test system for vehicles
PAN Ye-hui;YUAN Zhong-fan;YANG Chun-sheng;JIANG Dong

..............page:48-51

Generation of spectrophotometer wavelength errors and their controlling methods
YUAN Li

..............page:45-47,51

Design of measuring device based on the coordinate measuring machine for wheelset geometrical parameters
LI De-wei;ZHU Ping;QI Xiao-ping;ZHANG Li

..............page:42-44

Principles of simulative oil well calibration system and its application in dynamic calibration
CUI Chun-sheng;MA Tie-hua;PEI Dong-xing;SHEN Da-wei

..............page:38-41

Preparation of milliwatt ultrasonic power transfer standard
ZHANG Xue-bo;XU Jing;HE Shan;ZHOU Dan-hua

..............page:35-37

Testing system design for low frequency underwater acoustics pressure calibration
LIU Jin-chang;WANG Shuang-ji;YU Hong-tao

..............page:32-34,71