43547034
Thirteen limit cycles for a class of cubic Hamiltonian system with higher-order perturbed terms
Abstract The number and distribution of limit cycles of a cubic Hamiltonian system under higher-order perturbed terms is investigated. By using the bifurcation theory and the method of detection function, we obtain that there exist at least 13 limit cycles with the distribution C 7 1 ⊃ 2 [ C 3 2 ⊃ 2 C 1 2 ] in the Hamiltonian system under the perturbed term of degree 5. Additionally, various distributions of limit cycles are given by numerical exploration.
29892228
Bifurcations of traveling wave solutions for a class of the generalized Benjamin-Bona-Mahony equation
Abstract By using the theory of bifurcations of dynamical systems to a class of the generalized Benjamin–Bona–Mahony (GBBM) equation, the existence of solitary wave solutions and uncountably infinite, many smooth and non-smooth periodic wave solutions are obtained. It can be shown that the existence of singular curves in a traveling wave system is the reason why smooth waves converge to cusp waves, finally. When parameters are varied, under different parametric conditions, various sufficient conditions to guarantee the existence of the above solutions are given.
11656353
Bifurcations of traveling wave solutions for a class of the nonlinear equations
Abstract The dynamical behavior of traveling wave solutions in a class of the nonlinear k ( n ,  n ) equations with negative exponents is studied by using the theory of bifurcations of dynamical systems. As a result, the dynamical behavior of different physical structure: solitary patterns, solitons, periodic, kink and anti-kink wave solutions are obtained. When parameters are varied, the conditions under which the above solutions appear are also shown. In addition, some exact explicit solutions are given.
11714898
On the number of limit cycles of a cubic polynomials Hamiltonian system under quintic perturbation
Abstract This paper is concerned with the number and distribution of limit cycles of a cubic Hamiltonian system under quintic perturbation. By using the bifurcation theory and the method of detection function, we obtain that this system exists at least 14 limit cycles with the distribution C 9 1 ⊃ [ C 1 1 + 2 ( C 3 2 ⊃ 2 C 1 2 ) ] . These results in the paper are useful for the study of the weakened Hilbert’s 16th problem.
5556814
Travelling wave solutions in the generalized Hirota-Satsuma coupled KdV system
By using the bifurcation theory of dynamical systems to the generalized Hirota-Satsuma coupled KdV system, bifurcation parameter sets are shown. Numbers of solitary waves, kink waves and periodic waves are given. Under various parameter conditions, all explicit formulas of solitary wave solutions and kink wave solutions and periodic wave solutions are listed.
644571
Parametric inference for progressive Type-I hybrid censored data on a simple step-stress accelerated life test model
This paper considers a simple step-stress accelerated life test model under progressive Type-I hybrid censoring scheme. The progressive Type-I hybrid censoring scheme and statistical method in synthetic accelerated stresses are provided so as to decrease the lifetime and reduce the test cost. An exponentially distributed life of test units and a cumulative exposure model are assumed. The maximum likelihood estimates of the model parameters are obtained using a pivotal quantity. Two useful lemmas and a theorem are given to construct the approximate confidence intervals for the model parameters. Finally, simulation results are provided to assess the method of inference developed in this article. The simulation results show that the method does improve for large sample size.
9372724
Provably Correct Runtime Enforcement of Non-interference Properties
Non-interference has become the standard criterion for ensuring confidentiality of sensitive data in the information flow literature. However, application of non-interference to practical software systems has been limited. This is partly due to the imprecision that is inherent in static analyses that have formed the basis of previous non-interference based techniques. Runtime approaches can be significantly more accurate than static analysis, and have often been more successful in practice. However, they can only reason about explicit information flows that take place via assignments in a program. Implicit flows that take place without involving assignments, and can be inferred from the structure and/or semantics of the program, are missed by runtime techniques. This paper seeks to bridge the gap between the accuracy provided by runtime techniques and the completeness provided by static analysis techniques. In particular, we develop a hybrid technique that relies primarily on runtime information-flow tracking, but augments it with static analysis to reason about implicit flows that arise due to unexecuted paths in a program. We prove that the resulting technique preserves non-interference, while providing some of the traditional benefits of dynamic analysis such as improved accuracy.
14760977
A nanosensor array-based VLSI gas discriminator
Chemiresistive nanowires can be organized as cross-reactive sensor arrays to mimic the human olfactory system in terms of sensing and discriminating various gases and odors. This paper presents a single chip gas discrimination system that integrates a cross-reactive array of chemiresistive nanosensors with an underlying VLSI pattern classifier to accurately and efficiently identify the gas/odor to which the system is exposed. The main focus of the work is on the design of the underlying VLSI pattern classifier and its interaction with the nanosensors.
9167227
A hierarchical naive Bayes mixture model for name disambiguation in author citations
Because of name variations, an author may have multiple names and multiple authors may share the same name. Such name ambiguity affects the performance of document retrieval, web search, database integration, and may cause improper attribution to authors. This paper presents a hierarchical naive Bayes mixture model, an unsupervised learning approach, for name disambiguation in author citations. This method partitions a collection of citations1 into clusters, with each cluster containing only citations authored by the same author, thus disambiguating authorship in citations to induce author name identities. Three types of citation features are used: co-author names, paper title words, and journal or proceeding title words. The approach is illustrated with 16 name datasets that are constructed based on the publication lists collected from author homepages and DBLP computer science bibliography.
2171158
Detecting video events based on action recognition in complex scenes using spatio-temporal descriptor
Event detection plays an essential role in video content analysis and remains a challenging open problem. In particular, the study on detecting human-related video events in complex scenes with both a crowd of people and dynamic motion is still limited. In this paper, we investigate detecting video events that involve elementary human actions, e.g. making cellphone call, putting an object down, and pointing to something, in complex scenes using a novel spatio-temporal descriptor based approach. A new spatio-temporal descriptor, which temporally integrates the statistics of a set of response maps of low-level features, e.g. image gradients and optical flows, in a space-time cube, is proposed to capture the characteristics of actions in terms of their appearance and motion patterns. Based on this kind of descriptors, the bag-of-words method is utilized to describe a human figure as a concise feature vector. Then, these features are employed to train SVM classifiers at multiple spatial pyramid levels to distinguish different actions. Finally, a Gaussian kernel based temporal filtering is conducted to segment the sequences of events from a video stream taking account of the temporal consistency of actions. The proposed approach is capable of tolerating spatial layout variations and local deformations of human actions due to diverse view angles and rough human figure alignment in complex scenes. Extensive experiments on the 50-hour video dataset of TRECVid 2008 event detection task demonstrate that our approach outperforms the well-known SIFT descriptor based methods and effectively detects video events in challenging real-world conditions.
18534223
The Distance Between Randomly Constructed Genomes
In this paper, we study the exact probability distribution of the number of cycles c in the breakpoint graph of two random genomes with n genes or markers and 1 and 2 linear chromosomes, respectively. The genomic distance d between the two genomes is d = n c. In the limit we find that the expectation of d is n 2 1 2 2 1+2 2 1 1 2 ln