Acta Electronica Sinica 2011 Issue 2 Distribution of the Symmetrical Logic Formulas in the Classical Logic Metric Space

Distribution of the Symmetrical Logic Formulas in the Classical Logic Metric Space
HU Ming-di;WANG Guo-jun

..............page:419-423

PKUsim-86:A Cycle Level Full System Simulator for x86 Processor and AMBA-Based SoC
PANG Jiu-feng;TONG Dong;LI Hao;HE Lang;CHENG Xu

..............page:351-357

Now Integral Attack on Rijndaol-256
WEI Yue-chuan;SUN Bing;LI Chao

..............page:476-480

Fast Tate Pairing Algorithm Using Double-Base Chains
CHEN Hou-you;MA Chuan-gui

..............page:408-413

An Exact Transient Analysis Approach Based On Time-Sequence for CCM Buck Switching Converters
WU Jian-hua;PENG Han-yang;ZHANG Hai-xin;XU Xin-he

..............page:435-439

Design and VLSI Implementation of an Asynchronous Microprocessor Based on Transport Triggered Architecture
SHI Wei;CHEN Fang-yuan;WANG Zhi-ying;REN Hong-guang;SU Bo;WANG You-rui;LU Hong-yi

..............page:395-401

A MBR-Based Approach for Modeling Direction Relations between Uncertain Regions
DONG Yi-qun;LIU Da-you;WANG Fang;WANG Sheng-sheng;L(U) Shuai

..............page:329-335

Object Tracking Based on Kalman Filter for Catadioptric Omnidirectional Image
TAN Shu-ren;LIN Gao-peng;ZHANG Mao-jun

..............page:464-470

An Automatic Feature Selection Algorithm for High Dimensional Data Based on the Stochastic Complexity Regularization
MU Qiao;WANG Juan;CHEN Wei;QIN Zhi-guang

..............page:370-374

A Novel DPA-Resistance Configurable Logic
YUE Da-heng;ZHANG Min-xuan;LI Shao-qing;SUN Yan;GU Xiao-chen

..............page:453-457

Syntactic Graded Method of Formulas in the System L*
LUO Min-xia;YAO Ning

..............page:424-428

A Method of Variable Range Analysis Based on Abstract Interpretation and Its Applications
WANG Ya-wen;GONG Yun-zhan;XIAO Qing;YANG Zhao-hong

..............page:296-303

A Processor-Independent Trace Co-Processor Synthesis Method
SANG Sheng-tian;QIU Shan-qin;LI Xiao-ming;YU Ming-yan

..............page:402-407

Classical Planning Methods Based on Axioms Reduction
L(U) Shuai;LIU Lei;SHI Lian;WEI Wei;YANG Chao

..............page:322-328

Accelerated Algorithm to Incomplete Nonnegative Matrix Factorization
SHI Jia-rong;JIAO Li-cheng;SHANG Fan-hua

..............page:291-295

Sequence Outlier Detection Based on Rough Set Theory
JIANG Feng;DU Jun-wei;GE Yan;SUI Yue-fei;CAO Cun-gen

..............page:345-350

Image Poisson Denoising Using Sparse Representations
SUN Yu-bao;WEI Zhi-hui;WU Min;XIAO Liang;FEI Xuan

..............page:285-290

A Distributed Multi-View Object Tracking Algorithm Under the Bayesian Framework
FENG Wei;HU Bo;YANG Cheng;LIN Qing;YANG Tao

..............page:315-321

Ultrasonic Recognition of Cobalt Crust Based on Discriminatively Regularized Least-squares Classification
YANG Bo;BU Ying-yong

..............page:448-452

Design and Implementation of an Embedded Visual Media Process SoC
YAN Ming;LI Si-kun;SHEN Jian-liang;ZHAO Peng

..............page:249-254

Research on the Model and Algorithms Based on Distributed Spanning Tree for Resource Location Service
WANG Tie-jun;LIU Heng;SUN Ming;ZHOU Ming-tian

..............page:364-369

A Hybrid Index Structure Based on Multi-Core Cluster
LONG Bai;SUN Guang-zhong;XIONG Yan;CHEN Guo-liang

..............page:275-279

A Garbage Collection Algorithm for Flash File System Based on Differential Evolution
SHI Zheng;JI Jin-song;CHEN Xiang-lan;GONG Yu-chang

..............page:280-284

Hierarchical Co-Evolution Immune Algorithm and Its Application on TSP
WU Jian-hui;ZHANG Jing;ZHANG Xao-gang;LIU Zhao-hua

..............page:336-344

Research on a Model Driven Development Framework for Pen-Based User Interface
CHEN Ming-xuan;DENG Chang-zhi;REN Lei;TIAN Feng;DAI Guo-zhong

..............page:268-274

Interactive Particle Filter Based Algorithm for Tracking Multiple Objects in Videos
LIU Chen-guang;CHENG Dan-song;LIU Jia-feng;HUANG Jian-hua;TANG Xiang-long

..............page:260-267

A Product Reconfiguration Method Based on Mass Customization
LI Ni-ya;ZHANG Jian;LIU Da-you

..............page:383-388

The Linear Complexity of the Generalized Self-Shrinking Generator on GF(q)
WANG Hui-juan;WANG Jin-ling

..............page:414-418

k-Nearest Neighbors Query in Dynamic Spatial Network Databases
YIN Xiao-lan

..............page:389-394

A Recovery Scheme Against Malware Attacks in Virtualization System
SUN Xian-jun;LIN Chuang;JIANG Yi-xin;LIU Wei-dong

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

Design of Multicast Network of Dawning 5000 High Performance Computer
CAO Zheng;WANG Da-wei;LIU Xin-chun;SUN Ning-hui

..............page:481-488

A Novel Self-Adaptive Cauchy Evolutionary Programming for Combinatorial Optimization
WAN Shou-hong;LIANG Xiao;YUE Li-hua;XIONG Yan

..............page:375-377

Effectiveness Analysis and Application in Data Streams of Cross Validation Noise-Tolerance Classification Algorithm
ZHANG Jian-pei;YANG Xian-fei;YANG Jing

..............page:378-382

Designing Method of Residual Generator for Multi-sensor Fault Detection and Isolation
HOU Yan-dong;WEN Cheng-lin;CHEN Zhi-guo

..............page:429-434

A Feature Model Componentization Method Based on Role
ZHANG Jun;LIU Shu-fen;YAO Zhi-lin

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

A QoS Management Mechanism of Memory Controller Based on Row Conflict Prediction
HUANG Kan;TONG Dong;CHENG XU

..............page:358-363

An Energy-Efficient Executing Ahead Mechanism for Improving the Performance of Single-Issue In-Order Microprocessors
WANG Xiao-yin;TONG Dong;AONG Xing-lei;FENG Yi;CHENG Xu

..............page:458-463

PN Sequence Estimation and Spread-Spectrum Steganalysis
XIE Chun-hui;CHENG Yi-min;CHEN Yang-kun

..............page:255-259

A Survey of Device Collaboration Teohnology and System Software
CHEN Feng;RONG Xiao-hui;DENG Pan;MA Shi-long

..............page:440-447

Detection of GNSS Weak Signal in Cross Correlation Interference
HE Wen-tao;XU Jian-hua;YE Tian-chun

..............page:471-475