论文部分内容阅读
本文通过对荣华二采区10<
α-Input and α-Unit Resolution Methods for Generalized Horn Clause Set in (L)V(n 2)F(X)
【摘 要】
：
本文通过对荣华二采区10
【机 构】
：
Intelligent Control Development Center,Southwest Jiaotong University,Chengdu 610031,China
【出 处】
：
东华大学学报（英文版）
【发表日期】
：
2012年1期
其他文献
In this paper,the network reliability of an actual digital instrument and control system (DICS) network is analyzed by using GO-FLOW methodology (GFM).The evalu
A New Clustering Algorithm Using Adaptive Discrete Particle Swarm Optimization in Wireless Sensor Ne
Wireless sensor networks ( WSNs ) are mainly characterized by their limited and non-replenishable energy supply.Hence,the energy efficiency of the infrastructur
Based on double pulse welding process charocteristics,expert database structure and work flow are designed.Further,multiple outstanding specifications of 1.0 mm
This paper proposes rate-maximized (MR) joint subcarrier pairing (SP) and power allocation (PA) (MR-SP&PA),a novel scheme for maximizing the weighted sum rate o
Tone model (TM) integration is an important task for mandarin speech recognition.It has been proved to be effective to use discriminatively trained scaling fact
In the traditional power transmission network planning,deterministic analysis methods are widely used.In such methods,all contingencies are deemed to have the s
In order to identify all the appropriate system schemes for the compound split systems formed primarily with a four-port mechanical power split device,power tra
Heat exchangers are widely used in the process engineering such as the chemical industries,the petroleum industries,and the HVAC applications etc.An optimally d
A hybrid of ensemble empirical mode decomposition and empirical mode decomposition (EEMD-EMD)is introduced to diagnose the valve-slap vibration signal,which is
The safety performance of pedestrian and roadway dimensional-dividing buildings under seismic excitations are analysed.Considering the large displacement of the