... equivalent to an RE formula C**; then B is equivalent to C** and ~B (i.e., ~~C) is equivalent to C* If B is (C ∧ D), then by the inductive hypothesis, C and D are equivalent to RE formulae C* and D*, ... respectively, and ~C, ~D are equivalent to RE formulae C** and D**, respectively So B is equivalent to (C* ∧ D*), and ~B is equivalent to (C** ∨ D**) Similarly, if B is (C ∨ D), then B and ~B are ... are equivalent to (C* ∨ D*) and (C** ∧ D**), respectively If B is (∃xi < t) C, then B is equivalent to (∃xi )(Less(xi, t)∧C*), and ~B is equivalent to (xi < t) ~C and therefore to (xi < t) C**...
Ngày tải lên: 12/05/2014, 02:03
... Decompositions and Transformations as Peaks and Wells 31 Fig Columns and : Binary sets Z and Y and their decomposition Column : Z Y and its decomposition Column : Z Y and its decomposition 4.1 “Supremum” and ... morphology to bipolar information is to handle the two components (i.e positive and negative information) and to define an adequate and relevant ordering Two extreme cases are Pareto ordering ... right if and only if ε and δ defined by Equations 12 and 13 are algebraic erosion and dilation, respectively Proposition 11 Let δ and ε be a dilation and an erosion defined by Equations 13 and 12...
Ngày tải lên: 05/06/2014, 11:54
Báo cáo hóa học: " Editorial Time-Frequency Analysis and Its Applications to Multimedia Signals" pptx
... time-frequency analysis and its applications in music classification,” by Y Shen et al., deals with analysis and classification of music signals Music signals are decomposed into atoms using an adaptive timefrequency-based ... characterization and eigenvalue decomposition applied to speech watermarking” by I Orovi´ c and S Stankovi´ The eigenvalues decomposition is applied c to the representation obtained by the S-method to separate ... compression and fractal dimension estimation of temporal signals and images Acknowledgments We would like to thank all the authors for their contributions to this special issue We would also like to thank...
Ngày tải lên: 21/06/2014, 05:20
An identity-based broadcast signcryption scheme and its application to medical images sharing
... security with efficient storage and bandwidth utilization suitable for practical applications Such benefits make it Chapter Conclusions and Future Work Improving the security and efficiency of ... 一細 v / 2A) Efficiency evaluation and comparison In this section we evaluate the efficiency of proposed scheme and compare it with that of some other schemes Since computation cost and communication ... we aim to construct an efficient scheme which fulfils both se curity and efficiency Additionally, the question on how to incorporate broadcast signcryption in securing EHRs inspires us to bring...
Ngày tải lên: 25/03/2015, 09:39
Development of a realistic finite element model of human head and its applications to head injuries
... injury, its mechanisms and its tolerance to external loading To assess the biomechanics of head injury mechanisms, many finite element head models (FEHMs) have been built However, in order to reduce ... also go to Dr Tan Long Bin and Associate Professor Vincent Tan Beng Chye for their contributions to the project and all their help during the years I would like to direct a special thanks to all ... (ICP) and strain, before its use in applications of various head injuries due to external loading Moreover, both the traditional and the complex modal analyses of our FEHM are employed to determine...
Ngày tải lên: 10/09/2015, 09:04
Local bounding technique and its applications to uncertain clustering
... requirements of different applications, and all independent to the underlying clustering criterion and clustering algorithms Solutions to these models with respect to k-means algorithm and EM algorithm ... indebted to the powerful and faithful supports from my parents, Jianhua Zhang and Guiying Song Their unconditioned love and nutrition have brought me into the world and develop me into a person ... Figure 1.1, clustering algorithm is used to generate distribution summarization on the data at bottom level, to optimize the top-level applications In some systems with real-time requirements, such...
Ngày tải lên: 11/09/2015, 10:07
ON THE PETERSON HIT PROBLEM OF FIVE VARIABLES AND ITS APPLICATIONS TO THE FIFTH SINGER TRANSFER
... of the Steenrod algebra and the Singer transfer, “Proceedings of the International School and Conference in Algebraic Topology, Hà Nˆ ọi 2004”, Geom Topol Monogr., Geom Topol Publ., Coventry, ... International School and Conference in Algebraic Topology, Hà Nˆ ọi 2004”, Geom Topol Monogr., Geom Topol Publ., Coventry, vol 11 (2007), 309-326, MR2402811 [18] J Repka and P Selick, On the ... > 0} It is easy to see that Pk0 and Pk+ are the A-submodules of Pk Furthermore, we have the following Proposition 2.11 We have a direct summand decomposition of the F2 -vector spaces QPk =...
Ngày tải lên: 16/10/2015, 09:25
Multiple knapsack problem with inter related items and its applications to real world problems
... items and knapsacks and the constraints involved In the multiple knapsack problem (MKP)[Martello and Toth, 1990; Pisinger and Toth 1998], N items of different sizes have to be packed into M knapsacks ... shifted up and down the priority queue As a difficult element move forward in the sequence, it will be handled sooner by the constructor and tends to be handled better, its blame factor decreases ... Operator In addition to the relocate operator, we have the exchange operator which exchanges the knapsacks of two items Similar to the relocate operator, the exchange operator may help to minimize...
Ngày tải lên: 26/11/2015, 22:29
On bicubic b spline method and its applications to structural dynamics
... elastic symmetry, x − and y − axes lie in the plane parallel to the respective sides, and z − axis is normal to the other two and is therefore perpendicular to the plane 31 To express the displacement ... deeply indebted to my dear wife, Guxiang, for her love and understanding through my graduate years She was always behind me and gave her unconditional support even if that meant to sacrifice the ... plates Fujii (1981) and Fujii and Hoshino (1983) applied Bspline functions in the discrete and non-discrete mixed methods for bending and eigenvalue problems of plates Shen and Wang (1987) investigated...
Ngày tải lên: 27/11/2015, 11:26
Adaptive dual control theory and applications
... cumbersome and formidable task Before the adaptive controllers are classified, it is natural to give a definition of adaptive controllers and to draw a line between adaptive and nonadaptive controllers ... adaptive systems and to use them for other formulations of the adaptive dual control problems This leads to the elaboration of design methods for adaptive dual controllers and, practically, to the ... u w Controller Dual Control Plant Figure 2.3 Adaptive dual control system y SURVEY OF DUAL CONTROL METHODS 3.1 Classification of Adaptive Controllers The sheer number of different adaptive control...
Ngày tải lên: 01/01/2014, 18:08
Báo cáo hóa học: " Research Article An Effective Numerical Method and Its Utilization to Solution of Fractional Models Used in Bioengineering Applications" docx
... APVV-0040-07 and SK-PL-0052-09 References R Caponetto, G Dongola, L Fortuna, and I Petr´ s, Fractional Order Systems: Modeling and Control aˇ Applications, World Scientific, Singapore, 2010 R Hilfer, Applications ... the system admits a constant of motion and the level curves are closed trajectories surrounding the fixed point Consequently, the levels of the predator and prey populations cycle and oscillate ... , u ∈ Rm , and y ∈ Rp are the state, input and output vectors of the system and A ∈ r1 , r2 , , rn T are the fractional orders If r1 r2 · · · rn ≡ r, Rn×n , B ∈ Rn×m , C ∈ Rp×n , and r system...
Ngày tải lên: 21/06/2014, 05:20
Báo cáo hóa học: " Research Article A Minimax Mutual Information Scheme for Supervised Feature Extraction and Its Application to EEG-Based Brain-Computer Interfacing" pot
... function is used to create the crossover children by creating a random binary vector and selects the genes where the vector is a from the first parent, and the genes where the vector is a from the ... data and the integration on these pdfs One of the most popular ways to estimate mutual information for low-dimensional data space is to use histograms as a pdf estimator Histogram estimators ... data in which eye blinks occur This scheme is rigid and does not lend itself to adaptation Moreover, a great number of data is lost To overcome these problems and to shorten the experimental session,...
Ngày tải lên: 21/06/2014, 22:20
Protein s nitrosylation and its relevance to redox control of cell signaling
... kinases and Chapter 1: Introduction 24 phosphatases, respiratory proteins, receptor/ion channels and transporters, cytoskeletal and structural components, transcription factors and regulatory ... Martínez MC and Andriantsitohaina R, 2009) Chapter 1: Introduction 1.3 EFFECTS OF REACTIVE OXYGEN AND NITROGEN SPECIES ON CELLULAR STRACTURE AND SIGNALING 1.3.1 Cellular Toxicity Both ROS and RNS ... recycled back to bioactive NO˙ in blood and tissue and thus NO2˙- is thought to serve as part of NO˙ storage system in biological systems (Lundberg JO and Weitzberg E, 2005 & 2010) NO˙ storage system...
Ngày tải lên: 09/09/2015, 17:56
Stabilization of semi markovian jump systems with uncertain probability intensities and its extension to quantized control
... (accepted) [3] Kim Tong Hyun, Kim Sung Hyun and Ngoc Hoai An Nguyen “Speed Control of DC Motors with time-varying load torque via H2 Control Scheme. ” Institute of Control, Robotics and Systems, 2015 ... mysterious and challenging to jump systems analysis Consequently, we are also desired to study about “Mixed passive and H∞ control for nonhomogeneous Markovian jump systems with actuator saturation and ... applied in many practical applications, such as manufacturing systems, aircraft control, target tracking, robotics, networked control systems, solar receiver control, and power systems (see [1, 2,...
Ngày tải lên: 01/04/2017, 06:22
Hydraulic modeling of open channel flows over an arbitrary 3-d surface and its applications in amenity hydraulic engineering
... be sufficiently intense to form a hollow core, which could transmit air This may lead to the undesirable effects already mentioned, and considerable efforts have been made to predict and control ... thanks should go to Professor Toda Keiichi and Associate Professor Gotoh Hitoshi for their valuable commences and discussions that improved much this manuscript I am very very grateful to my best foreign ... into an open channel, flow in meandering channel, and flow in Parshall flume with supercritical outflow was satisfactory Zhou and Goodwill (1997) presented a depth-averaged model and compared its...
Ngày tải lên: 06/11/2012, 10:35
Development of the Quantitative PCR Method for Candidatus ‘Accumulibacter phosphatis’ and Its Application to Activated Sludge
... (PAO462, PAO651 and PAO846) and an FITC-labeled EUBMIX (EUB338, EUB338 II and EUB338 III) probe (Table 1) The targets of PAOMIX and EUBMIX probe are Candidatus ‘Accumulibacter phosphatis and most eubacteria, ... concentration tended to cause difficulty to determine Ct value due to high and unstable baseline of fluorescence Thus, quantitative PCR method was successfully developed with a high specificity and a high ... suitable for routine monitoring or measurement of a large number of samples, and lead to better understanding of the contribution of Candidatus ‘Accumulibacter phosphatis’ to phosphorus removal...
Ngày tải lên: 05/09/2013, 09:38
Real-Time Digital Signal Processing - Chapter 7: Fast Fourier Transform and Its Applications
... DFT The generic term FFT covers many different algorithms with different features, advantages, and disadvantages Each FFT has different strengths and makes different tradeoffs between code complexity, ... > L, and process the sequence using an N-point FFT Store the results in the complex buffer H [ N] Table 7.7 Perform FFT and IFFT using the same routine /* Start FFT */ bit_rev(X,EXP); fft(X,EXP,U,1); ... leakage To avoid spectral leakage, it is necessary to use a shaped window to reduce the sidelobe effects Suitable windows have a value of at n M, and are tapered to at points n and n N À to...
Ngày tải lên: 28/10/2013, 05:15
Tài liệu Báo cáo khoa học: "Organizing Encyclopedic Knowledge based on the Web and its Application to Question Answering" ppt
... related to how and why, so as to enhance Webbased natural language understanding Acknowledgments The authors would like to thank NOVA, Inc for their support with the Nova dictionary and Katunobu Itou ... choice can be performed to improve the coverage to 100% Thus, for each knowledge resource we compared cases without/with random choice, which are denoted “w/o Random” and “w/ Random” in Table 1, respectively ... method (see Sections and 3), and evaluated the quality of the encyclopedia itself Second, we applied the generated encyclopedia to our QA system (see Section 4), and evaluated its performance The...
Ngày tải lên: 20/02/2014, 18:20