Computer Engineering and Design 2009 Issue 22 Counter example-guided design of model checking tool

Counter example-guided design of model checking tool
tan liang ; zeng hong wei

..............page:5041-5043,5047

Wavelet-based multi-scale method for parabolic equations with highly oscillating coefficient
yang jian hong ; ou yang jie

..............page:5044-5047

Research and application of improved parallel SMO
li rui zuo ; li hua peng

..............page:5162-5165

Immune-based rough sets attribute reduction algorithm and its application
xu ling ling ; wu geng feng ; hu zuo ; ji zhi wei

..............page:5158-5161

Research and development of container simulation system based on OpenGL
qiu wen ji ; chen zhe liang ; chen wei bin ; peng xing qian

..............page:5144-5146,5290

Test to real time performance of real-time simulation method based on HLA
he xin hua ; zhao ze lin ; liu xian qiu

..............page:5140-5143

Fuzzy clustering method based on particle swarm optimization used in pathology image segmentation
zou gang ; sun ji xiang ; ao yong hong

..............page:5155-5157,5161

Research and application on method of self-adaptive weight setting AHP
hu zuo ; luo sai zuo

..............page:5151-5154

Design and implementation of virtual BDAR mission system based on agent
wang hong ; yang jian jun ; guo peng song

..............page:5147-5150

Fast selection algorithm for H.264 intra-prediction mode
li qiu shan ; ma zuo

..............page:5136-5139

Knowledge representation of planning based on RBR and CBR
li qian peng ; fang jia zuo

..............page:5166-5170,5174

Method to extract features of face image combined SVD and LDA
guo zhi qiang ; yang jie

..............page:5133-5135,5139

Digital visual interpolation algorithm for screen splicing and implementation of FPGA
feng jun wei ; jiang zhi xiang

..............page:5128-5132,5150

Development of network driver program based on embedded Linux
zhou jing qiong ; zhou feng xing

..............page:5124-5127

Design of vehicle information recorder based on CAN bus
li li ; xie xian zhong

..............page:5120-5123

Design and implementation of Bluetooth host based on NiosⅡ
li hai yan ; yu bin

..............page:5116-5119

Research and application of network attributes estimation on tomography technology
zhang wei ; ji gen lin

..............page:5112-5115

Pre-fetching algorithm based on user access patterns
zhang xiao li ; zhuang zhi jian ; shi ming

..............page:5109-5111

Research on key technology of airport surface monitor system based on wireless sensor network
guo xiao qin ; sun yi gang ; chen wei xing

..............page:5106-5108,5143

Research on throughput performance of Ad hoc network MAC protocol based on CDMA
yu si ming ; wang zhi gang

..............page:5103-5105

Research on performance evaluation of computer network based on adaptive neural-fuzzy inference
zhang xiao qin ; huang yu qing ; liang zuo

..............page:5100-5102,5123

Iterative demodulation and decoding based on high frequency satellite communications
peng dong ; gao da wei

..............page:5097-5099

Improvement of GEAR in wireless sensor networks
li lu lu ; le hong bing

..............page:5094-5096,5119

Design and implementation of distributed network automatic packet capture management system
liu jie ; zhu cheng rong ; xiong qi bang

..............page:5091-5093,5228

Composite access control model in virtual knowledge community
an shi hu ; li de sheng ; sun yan min

..............page:5087-5090

Method of IDS based on neural network division
wang xiao xia ; tang yao geng

..............page:5082-5086

Research of pattern matching based on FPGA hardware strategy
sun hai jun ; zhang bo

..............page:5078-5081

Research on hardware vulnerability of network equipment
gao hong bo ; li qing bao ; xu bing ; zhou li

..............page:5075-5077,5081

Improvement and implementation of NOVOMODO-based certificate status server system
li yi bo ; xiong xuan dong

..............page:5071-5074

Authenticated key exchange protocol based on elliptic curve cryptosystem
xie rong na ; ou hai wen ; li feng hua ; li xiao dong

..............page:5068-5070,5090

Feasible method for mining closed multidimensional sequential pattern
ji zhao hui ; li cun hua

..............page:5065-5067,5074

Method to mine association rules based on concept lattice
wang yue xing ; ma yuan ; hu zhi yu

..............page:5062-5064

Component of polymorphism and its algebraic specification
chen hai bo ; qiu jian feng

..............page:5058-5061,5064

Research and implementation of software operational profile modeling tool based on Markov chain
shang jing liang ; chen wei zuo ; guo li li

..............page:5053-5057

Theoretical model of simulated fault injection platform for soft error characterization
sheng wei guang ; xiao li yi ; mao zhi gang

..............page:5048-5052

Improved ACO for protein structure prediction using 2D HP lattice model
zhou fang ; liao bo

..............page:5175-5177,5181

Spatial domain image dual watermarking based on SVM and chaotic-sequence-mapping
tang xiao fen ; lv ke ; song li juan

..............page:5294-5297

Measurement of floating ball pose by vision inspection technique
zou yi min ; jia da

..............page:5298-封3

Recognition of fabric organization structure based on SMO arithmetic
ren hai jun ; sun rui zhi ; song qiang

..............page:5178-5181

Improved clustering algorithm based on web usage mining technology
li shi shi ; fang shou hai

..............page:5182-5184

Hierarchical clustering algorithm based on cover rough set model
gong ke hua ; qiu tao rong ; xiong shu jie ; xu su

..............page:5185-5188

Analysis of pre-processing algorithms in computer handwriting identification
bai xue bing ; zhang wei

..............page:5189-5191,5196

Research for applying genetic algorithm thought to self-learning of knowledge base
di lin lin ; zhao dai ; yao qing

..............page:5192-5196

Effective method of improving C5.0 algorithm
gong gu ; lv jun huai ; huang yong qing ; hao guo sheng

..............page:5197-5199,5203

Text clustering based on information granularity
zhao ya qin ; zou hong yan

..............page:5171-5174

Improved genetic algorithm for noisy environment
hu ai feng ; li ming ; li jun hua

..............page:5200-5203

Approach to container loading with load bearing strength
liu jia min ; liu xiao zuo ; huang you qun

..............page:5204-5207,5220

Path planning of sheet metal parts considering acceleration limits based on genetic algorithm
lin zheng ying ; shen bin ; zhang li ping

..............page:5208-5210,5252

Algorithm of generalization performance optimization of neural network
bao fang ; pan yong hui

..............page:5211-5213

Method of mining association rules based on clustering analysis
zuo chang an ; you lei ; su xiao zuo

..............page:5214-5217

Optimization control for combustion system of hot stove
yuan xiao hong ; he hua ; wang xu ren

..............page:5218-5220

Rendering of live video on 3D model
zhao kai ; quan chun lai ; ai fei ; zhou xiang ; wang ge

..............page:5221-5224

Shortest path search algorithm based on MapX
li xiao peng ; yu bin ; li ya min

..............page:5225-5228

Decision support system of quality safety detection management for agricultural products and its application
yang hai dong ; qiu hui cheng

..............page:5229-5232,5238

Prospects and current studies on performance evaluation of digital watermarking
ma xiu ying ; lin jia jun

..............page:5233-5238

Finding semantic relationship among domain keywords based on concept lattice
yu zhi an ; ye fei yue

..............page:5239-5242,5247

Automatic-detection system of stimulated brillouin scattering based on virtual instruments technology
shi jiu lin ; he xing dao ; ni kai ; liu juan

..............page:5243-5247

Study and design of activity-centric collaborative plotting integrated system
wu yan yan ; wang yu mei

..............page:5248-5252

Modeling research for workflow patterns based on interval algebra
zhao yue hua ; xue juan ; wu an

..............page:5253-5256,5260

Micro spectrum measurement system based on LabVIEW
li qiang ; zhang yong lin

..............page:5257-5260

Design and implement of pulse-recording system
huang yu xue ; liu ming bo

..............page:5261-5265

Requirement analysis method of weapons SOS based on DoDAF
wang li min ; fu yong ; li qiang ; li jun mei

..............page:5266-5268,5272

Pet game-based intelligent tutoring system
du hong yan ; zeng zhen ; tian xing yan

..............page:5269-5272

Robust blind watermarking scheme on support vector machine
han ning ; zuo de qin

..............page:5273-5275

Applications of removing burr of skeleton based on PCNN
chen tie jun ; zhang sheng jun ; zhao xue ping

..............page:5276-5278,5283

Research and design of middleware in network test system
zhang yuan ; han zuo

..............page:5279-5283

Study on effect of character edge color to locate vehicle license plate
li gang ; zuo he ; wang zuo ge ; huang xi zuo

..............page:5284-5286,封3

Design of collaborative design platform based on grid services
luo zuo min ; chen xin hua ; sun ya ni

..............page:5287-5290

Task disassembling and scheduling in environment of cooperative design
jin li li ; kong ling fu

..............page:5291-5293