Journal of Central South University 2009 Issue S1 An advanced technique of symmetry-breaking for Boolean formulas

An advanced technique of symmetry-breaking for Boolean formulas
TANG Yu-lan1;ZHANG Hui-guo1;YU Zong-guang1;2

..............page:330-334

Three-dimension single photon quantum secure direct communication based on mutual authentication
LIU Wen-jie1;2;CHEN Han-wu2;LIU Jing-fa1;LIU Zhi-hao2

..............page:309-314

Study and realization of multimedia intelligent tourism navigation system
WANG Su;DU Jun-ping;GAO Tian

..............page:335-340

Exponential mean-square stability and H_∞ control for uncertain stochastic time-delay jump system
XU Li-juan;ZHANG Tian-ping;YI Yang;LU Yao

..............page:214-220

PID Pan-Boolean algebra control
CHEN Jin;ZHOU Jin;HONG Xiao-ou;CHEN Guan-ling;WANG Zhi-feng

..............page:154-157

Signal processing method for underwater welding
YE Jian-xiong1;2;XIE Jian-feng1;2

..............page:352-356

Production strategy of non-ideal state of production process
CHEN Qi1;MA Xiang-yang2

..............page:295-298

Robust output feedback synchronization on uncertain chaotic systems
WU Ling-yao;LIN Feng

..............page:209-213

Global exponentially stability for time-delay and time-varying measure large scale systems with impulsive effects
LIU Yun-long;GAO Cun-chen;LI Yun-yan;LIU Xian-ming

..............page:175-180

Multi-objective fuzzy credibility robust pid controller design
WU Hao1;XUE Ya-li2

..............page:53-57

A binocular vision localization method based on view angle of camera
CHEN Ai-bin1;2;CAI Zi-xing1;AN Ji-cheng1

..............page:80-83

Design of a novel four-dimensional fingertip force sensor
LIANG Qiao-kang1;2;SONG Quan-jun1;GE Yun-jian1

..............page:115-120

Controller for AC-DC magnetic bearings based on linear quadratic strategy
ZHU Huang-qiu;WANG Quan;CHEN Yan

..............page:239-246

Coupled consensus of second-order dynamic agents with communication delay
LIU Cheng-lin;LIU Fei

..............page:29-34

Design and analysis of a novel metamorphic wheel-legged rover mechanism
DING Xi-lun;XU Kun

..............page:91-101

Multiple neural network ensembles method based on learning knowledge database
AN Jin-xia1;2;ZHU Ji-hong1;YUAN Xia-ming1

..............page:1-9

Design of robust fuzzy sliding-mode observer based on T-S model by LMI approach
SHEN Zhong-yu1;ZHAO Jin1;GU Xing-sheng2;SHEN Shi-bin1

..............page:42-47

Controller design of networked control system based on GA
DENG Jian-qiu;SUN Zeng-qi

..............page:15-18

Error prediction based on least squares support vector machines
DAI Lin-chao;WU Lin-li;ZHAO Hai-na;LI Xun-ming

..............page:253-257

Simulation system of scheduling for steelmaking and continuous casting based on virtual reality
YU Sheng-ping1;Lü Rui-xia2;PANG Xin-fu1;ZHENG Bing-lin1;CHAI Tian-you1

..............page:277-283

Design and implement of a fast ground formation targets tracking algorithm based on UKF
LI Guo-bing1;QIN Zheng1;2;GUO Rong-hua2;LI Xiang-nan1

..............page:108-114

Orthogonalized full information fusion filtering method of multi-senor system
WANG Zhi-sheng1;2;ZHEN Zi-yang1;FAN Da-peng2

..............page:149-153

Stability of networked control system with time-varying delay and multiple-packet transmission
DANG Xiang-dong1;2;ZHANG Qing-ling1

..............page:158-163

Heuristic attribute reduction based on 0-1 discernibility matrix
LI Hua-xiong1;ZHOU Xian-zhong1;2

..............page:304-308

A review of vision-based mobile robot’s self-localization
LU Hui-min;ZHANG Hui;ZHENG Zhi-qiang

..............page:127-134

On-line calibration of traffic flow data based on data fusion
WEI Da-li;CHEN Feng;BIAN Kai;LIN Hu-bin

..............page:341-346

Human-simulated intelligent control for isolation-buffer with magnetorheological elastomer
YU Miao1;ZHU Li-xi1;DONG Xiao-min1;LI Zu-shu2

..............page:58-62

Design induction machines’ controller in soft-start based on neural networks
LI Kai;CHEN Xing-lin;SONG Shen-min

..............page:19-24

Furnace-temperature wavelet neural network predictive control strategy
TIAN Jian-yan;DAI Zheng-mei

..............page:48-52

Dynamic inversion based satellite attitude fault tolerant control system with reaction wheel fault
TIAN Ke-feng1;2;LI Zhi-bin1;2

..............page:191-199

Novel nonlinear L2 gain control method for doubly-fed induction motor based on port controlled Hamiltonian model
YANG Qian-qian1;YUAN Ming-ting1;2;YU Hai-sheng1;DING Jun-hang1

..............page:221-228

Adaptive sliding mode control of robot manipulators with unknown dead-zone
HUA Sen;ZHANG Tian-ping;ZHU Qiu-qin;ZHOU Shu-jie

..............page:102-107

Robust fuzzy sliding-mode control for T-S model based permanent magnet synchronous motor
ZHANG Xi-zheng1;2;WANG Yao-nan2

..............page:68-73

Multi-objective model and algorithm for charge design problem of steel-making
LU Ke-bin1;2;HUANG Ke-wei2;ZHANG Rui-you1;WANG Ding-wei1

..............page:315-318

Trajectory planning approach of autonomous parallel parking with kinodynamic constraints
SONG Jin-ze;DAI Bin;SHAN En-zhong;SUN Zhen-ping;HE Han-gen

..............page:135-141

Fault diagnosis and accommodation for linear parameter-varying in flight control systems
CHEN Wei;JIANG Bin;ZHANG Ke

..............page:247-252

Flow regime identification based on hybrid model of multi-scale Renyi entropy feature and LS-SVM
PENG Zhen-rui

..............page:263-267

Brittleness of complex system based on entropy theory
WU Hong-mei1;JIN Hong-zhang2

..............page:347-351

Dissolved oxygen control in wastewater treatment process based on growing neural network
ZHEN Bo-ran;HAN Hong-gui;QIAO Jun-fei

..............page:74-79

Design and utilize of a scheme for measuring temperature and AD transformation of engine in UAV system
SHENG Wei1;FEI Shu-min2;ZHANG Kan-jian2

..............page:325-329

New approach to robust stabilization for a class of singular systems with time-delays
WU Xiang1;2;CUI Bao-tong1

..............page:204-208

Optimal design model of distributed simulation system based on quotient space
WU Di1;CHEN Jie1;Oquendo Flavio2;ZHANG Juan1

..............page:268-272

Improved results on passivity analysis of discrete-time stochastic neural networks with time-varying delay
YU Jian-jiang1;2;ZHANG Kan-jian2;FEI Shu-min2

..............page:63-67

Practical φ₀-stability of stochastic differential equations and corresponding stochastic perturbation theory
ZHAO Ping1;KANG Yu2;ZONG Xi-ju1

..............page:235-238

Non-fragile robust multi-performance optimization design for control system of heating furnace
HENG Qing-hai1;LU Jing1;HENG Qing-zhu2;ZHANG Wen1;HUANG Qian1

..............page:164-168

Image encryption scheme based on hyperchaos system
LIU Yun;ZHENG Yong-ai;MO Li-li

..............page:121-126

Sliding mode observer-based fault reconstruction for uncertain descriptor linear systems
YU Jin-yong;LIU Zhi-yuan

..............page:273-276

zhong nan da xue xue bao ( zi ran ke xue ban ) tou gao xu zhi

..............page:357

RBF neural network design based on multi-objective hierarchical genetic algorithm
QIN Yong1;ZHANG Yuan2;XING Zong-yi2;HOU Yuan-long2;JIA Li-min1

..............page:35-41

Research method of circuit fault diagnosis based on FCM
ZHOU De-xin;LI Wei

..............page:290-294

Tasks scheduling strategies of real-time communication systems in mine based on grid computing
QIAO Fu1;2;ZHANG Guo-yin1;HE Ming2

..............page:319-324

Design and realization of monitoring system for temperature and humidity based on can-bus and Ethernet
SHAO Yong;ZHAO Fang-ping;HUANG Quan-zhen;WU Xiao-jun

..............page:186-190

Heterogeneous catalysis modeling strategies integrating support vector machine and phase space reconstruction
HAN Xiao-xia1;XIE Gang1;REN Jun2;XIE Ke-ming1

..............page:258-262

Approach on failure diagnosis knowledge acquisition in beginning stage of maintenance for complex equipments
ZHANG Deng-feng1;2;FEI Sheng-wei3;LIU Yuan-wei2;SUN Yu1

..............page:284-289

Decentralized guaranteed cost control for uncertain large-scale interconnected systems with multiple delays
YANG Xiao-hong1;XU Jian-ming2

..............page:229-234

H_∞ state feedback control for network switched systems with random communication delays
MA Yu-qiang1;CAI Feng-huang1;WANG Wu1;2;YANG Fu-wen3

..............page:181-185

A new network application framework based on Component development and multi-threaded technologies
DONG Guang-bo;WU Ning-sheng;GAO Xiao;ZENG Qing-hu;YANG Jin;WEN Jing

..............page:299-303

Residual energy real-time monitoring of wireless sensor network
CHENG Xiao-liang;DENG Zhi-dong

..............page:84-90

Stabilization of multi-sampled networked control systems with dynamic output feedback controller
WANG Ge-xia;LI Li-hua

..............page:200-203

Direct torque control for electrical propulsion system of ship based on extended Kalman filter
LIU Yu;GUO Chen;ZHANG Chuang

..............page:169-174

Forming mechanism of BDI agent based on activity and its application
LIU Gang1;2;ZHENG Li1;SUN Yuan-yun2;ZHU Tao2

..............page:25-28

Real-time target detection based on combining gray correlation frames differencing and background differencing
WANG Jing-jing;LIN Ming-xiu;WEI Ying

..............page:142-148

Memetic algorithm for flow shop scheduling with limited buffers
CAO Jun-jie;SHI Hong-bo

..............page:10-14