Computer Engineering and Design 2013 Issue 6 Formal transformation and verification of UML model based on specification Z

Formal transformation and verification of UML model based on specification Z
ZHANG Yang;DUAN Fu

..............page:2031-2035

Movement authority process formal modeling for china train control system-3
ZHAO Shu-xu;WANG Xiao-long

..............page:2119-2124

Design of video image acquisition and display system based on FPGA
YANG Qin;ZHOU Yun-fei;HU Yong-bing

..............page:1988-1992

Privacy-preserving technology for mobile-aware service
LIAO Long-long;YE Qiang;LU Hong

..............page:1951-1955

Research on data exchange methods based on table set partitioning algorithm
LU Jin-lai;YANG Qiu-lin

..............page:2036-2040

Image watermark scheme based on smooth support vector machine
FENG Neng-shan;LIAO Zhi-liang;XIONG Jin-zhi

..............page:2075-2078,2194

Application of MPI in water quality forecast model of Jiaozhou bay
DU Wei;NIU Pei;HUANG Wei-jian

..............page:2257-2261

Joint OFDM sampling and carrier frequency offset estimation algorithm
YU Jing

..............page:1912-1916,1940

Calibration and optimization for five-axis machine tools of CA spindle-tilting
LI Bin;LIN Hu;LIU Feng;ZHENG Liao-mo

..............page:2195-2199

Bacterial foraging algorithm for quadratic assignment problems
DAI Qiu-ping;MA Liang;XI Ying

..............page:2158-2162

Adaptive robot picking system based on saliency detection
ZOU Teng-yue;TANG Xiao-qi;SONG Bao;CHEN Ji-hong

..............page:2141-2146

Research on eigen parameters in polarimetric target decomposition
SUN Sheng;TIAN Jin-wen;CHEN Ping-hua;LIU Zhu-song

..............page:2046-2050

Research and implementation of space applications simulation support platform
LI Ze-peng;MA Chun-yong;CHEN Ge

..............page:2109-2113

Urine cells image recognition research based on support vector machine
QIN Ying-bo;SUN Jie;CHEN Ping

..............page:2185-2189

Research and design of library intelligent bookshelf system based on RFID
SHU Yuan-zhong;ZHANG Li;ZHU Xuan-hua;TIAN Lei;SU Yan-nan;SONG Li-kang

..............page:2218-2222

Hierarchical human action recognition based on normalized R-transform
OUYANG Han;FAN Yong;GAO Lin;WANG Zong-qi

..............page:2170-2174

Simulation study on transient process of 3-phase asynchronous motor braking
ZHU Chun-yang;ZHOU Zheng-xin

..............page:2125-2131

Research on improvement of SCADE-based formal verification technology
LI Yao;GUO Jin;KONG Ling-jing;SONG Hai-quan

..............page:2025-2030

Simulation study of cruise control methods of automobile cruise control system
FU Rui;QIN Jia-he;WANG Dang-qing;GUO Ming-hua

..............page:2098-2103

Fuzzy theory based study on distributed cooperative spectrum sensing technology
DONG Zhan-qi

..............page:1936-1940

Speech emotion detection based on glottal signal features
HE Ling;HUANG Hua;LIU Xiao-heng

..............page:2147-2151

Development of industrial ethernet security protocol stack based on Cortex-A8
WAN Yue-peng;HUANG Shuang;QIN Yuan-qing;ZHOU Chun-jie

..............page:1941-1945

Sparse logistic regression based on interior-point method for financial early-warning mode
LIU Zun-xiong;HUANG Zhi-qiang;ZHENG Shu-juan;ZHANG Heng

..............page:1998-2003

Selection of software reliability model based on multi-criterion decision
HAN Kun;WU Wei;HE Cheng-ming;CAO Jun-hai

..............page:2041-2045

Implementation of lightweight internet exploring behavior monitor based on BHO technology
KOU Xiao-rui

..............page:1962-1966

Chinese patent terminology extraction
XU Chuan;SHI Shui-cai;FANG Xiang;LU Xue-qiang

..............page:2175-2179

Multi-sensor information fusion of mobile robot fast follow servo
ZHOU Xia;HE Jian-zhong;WANG Bao-lei

..............page:2247-2251

Combination of motion estimation algorithm type with threshold value of block-based motion
YE Shi-tong;WAN Zhi-ping

..............page:2093-2097,2103

Analysis and design of collaborative plotting to natural disasters based on ArcGIS
MA De-sheng;WANG Gang;YAN Dong-mei;CHEN Shi-rong;YOU Jie

..............page:2235-2239

Association study of historical natural disasters based on co-occurrence analysis
HU Ming-sheng;JIA Zhi-juan;LEI Li-li;HONG Liu

..............page:2015-2019

Stable prediction method of high frequency random time series component
PAN Yu-min;ZHAO Li-yong;ZHANG Quan-zhu

..............page:2262-2266,2276

Dual-homed gateway energy management system based on ZigBee
GUO Xiu-cai;SHANG Sai-hua

..............page:1925-1930

Visual servoing with angle adaptive control camera
TANG Ming-jun;KONG Qing-sheng

..............page:2132-2135

Self-adaptive GM (1,1,λ) model and its applicable region
ZHAO Yue;ZHAO Song-zheng

..............page:1993-1997

Design of TMS320C3x instruction set simulator based on VTEST
GUO Xiang-ying;SHENG Zhuang;ZHANG Xi-chao

..............page:1973-1977,1982

Sample weighted fuzzy C-means algorithm based on simulated annealing
DUAN Lin-shan;LIU Pei-yu;XIE Fang-fang

..............page:2004-2008

Protecting against traffic analysis attacks in wireless sensor networks based LEACH
LI Yun;WANG Yu-mei;WANG Hai-tao;CHEN Dai-mei

..............page:1956-1961

Study on well-founded semantic of basic monotonic constraint logic programs
CHANG Wan-jun;GUO Zu-hua;WEI Kun-peng

..............page:2180-2184

Implementation of field video monitoring system based on S3C6410
YANG Kuo;HE Dong-jian

..............page:1978-1982

Construction and application of semantic collocation knowledge base based on multiple knowledge bases
GUAN Jun;XIE Wei;ZHANG Yang-sen

..............page:2136-2140

Study on video tracking based on Mean Shift algorithm
YANG Hui;LIU Jun;RUAN Song

..............page:2062-2066

Design and implementation of mobile reading social system
XIAO Can;ZHU Zhen-min;YE Jian

..............page:2212-2217

Modeling water effects based on real energy attenuation equation
ZHUANG Gan-lin;CHEN Xiu-hong

..............page:2114-2118

Application of DDS for SCA system
LI Xin-yu

..............page:1931-1935

B/S architecture virtualization management system based on KVM
DANG Fei;JIANG Ming-yan;YUAN Dong-feng

..............page:2252-2256

Detection model of false data based on vehicular Ad-Hoc network
LUO Chong-wei;ZHANG Li-chen

..............page:2272-2276

Automatic recognition research on preposition's usages based on combination of rules and statistics
ZAN Hong-ying;ZHANG Teng-fei;ZHANG Kun-li

..............page:2152-2157

Pseudo-K-nearest neighbor text classification algorithm based on cosine distance metric learning
PENG Kai;WANG Wei;YANG Yu-pu

..............page:2200-2203,2211

Scheme of cooperative cost resource management in Het-Net for LTE-A
TANG Quan-wu;LI Bo

..............page:1906-1911

Analysis and comparison of research on lossless chain codes
LI Ling-hua;LIU Yong-kui

..............page:2079-2086

Design and implementation of Kerberos protocol under trusted computing platform
WEN Bo-wei;WU Zhen-qiang;ZHANG Li-juan

..............page:1946-1950

Monitoring and supervising of iron and steel production processes with real-time data streams
ZHANG Xiao-long;YU Hai;BIAN Xiao-yong

..............page:2204-2211

Formula dependency analysis and performance optimization of calculation in spreadsheet system
LI Jun;CAO Zhen;YANG Xiao-guang

..............page:2228-2234

Approximate algorithm of curves and its convergence based on cubic B-spline
JIANG Yong;LI Yu-mei

..............page:2009-2014

Prediction of temperature and humidity in underground space based on BP neural network
GE Ke-nan;CHENG Zhong-qing;ZHAO Yun-peng

..............page:2190-2194

Three-dimensional wireframe model for partial discharge detection
LI Hong-kai;JI Bo;YI Yong-hui;CHEN Lei;ZHAO Cheng-gong

..............page:2277-2281

Automatic panorama recognition and stitching method based on graph structure
ZHAO Yi-Li;WU Zhong-Ke;ZHANG Yan;XIA Yan

..............page:2067-2070

Integrated cross-factor and metropolis rule group search optimization algorithm
YANG Wen-lu;NING Yu-fu

..............page:2020-2024

DNS traffic anomaly detection based on W-Kmeans algorithm
LIN Cheng-hu;LI Xiao-dong;JIN Jian;YUCHI Xue-biao;WU Jun

..............page:2104-2108

Design of high power LED drive system besed on SEPIC and its realization
WANG Hui-feng;GAO Jun-li;LI Long-chang

..............page:1967-1972

Research on behavior detection based on visual background extractor and particle filter
QU Zhong;GUAN Xing;ZHANG Ning;ZHANG Kang

..............page:2057-2061

Design of data acquisition and processing for CBS systems based on PCI 1716
LIU Wei-hao;CHEN Jia-min;SHEN Tian-ming;YOU Xiao-ming

..............page:2240-2246

Research and design of three omni-direction wheels mobile robot
YAO Dong-dong;MIN Hua-song

..............page:2163-2169

Research and design of wireless projector gateway on Wi-Fi Direct
WU Peng-zhan;LONG Zhao-hua;ZHANG Lin

..............page:2223-2227

Music retrieval based on latent semantic analysis
ZHOU Hao-dong;LIU Wei

..............page:2071-2074,2146

Synchronization playing of audio and video based on FFMPEG
LIU Li-xia;BIAN Jin-song;ZHANG Li;MU Sen

..............page:2087-2092

Performance analysis of RAKE receiver for WCDMA in satellite communication
NI Juan;HUANG Guo-ce;TONG Yang;CHEN Qiang;CHEN Mao

..............page:1901-1905

Design of phase locked loop applying to USB full speed equipment
JIANG Xu;SHEN Hai-bin

..............page:2267-2271

UDX:Reliable transfer protocol based on UDP
YU Ben-cheng;CAO Tian-jie

..............page:1917-1924

Feature points re-localization method based on eigenvalue correction
LIU Xiao-qin;ZHAO Hui

..............page:2051-2056

Design and implementation of temperature early-warning system based on GPRS for pharmaceuticals monitoring
CHEN Yu;YE Gang

..............page:1983-1987