The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
In this paper we consider the approximate controllability for a class of semilinear delayed control systems described by a semigroup formulation with boundary control and nonlinear perturbations appearing in boundary conditions. Sufficient conditions for approximate controllability are established provided the approximate controllability of corresponding linear systems.
Coal gas outburst is very dangerous to mining workers, so the coal gas prediction and control in digging workplace are very important for safety production. In this paper, a novel the radial basis function (RBF) neural network gas prediction model is established to forecast the gas rush in coal workplace. The factors of producing gas are studied and the sample data are acquired from digging field,...
A novel stereo matching algorithm using image segmentation is proposed in this paper. We investigate disparity distribution models (DDMs) on each segment for achieving very high quality results quickly without global optimization. A novel disparity plane fitting strategy based on the investigation is developed for accurately estimating disparity planes. We assign a frontal horizontal disparity plane...
The problem of sensor set selection for cooperative spectrum sensing in cognitive radio networks is considered in this paper. The cooperative gain of the newly added cooperative sensor decreases and converges to zero as the number of cooperative sensors increases, but the consumption of system resources grows approximately linearly with the number of cooperative sensors, therefore, the number of cooperative...
This paper proposes an Improved Adaptive Time-Threshold-based Queuing bandwidth allocation scheme for Multimedia services (IATTQM) in cellular networks. Because future data service will occupy a large portion of all services in next generation mobile networks and forced termination of an ongoing call is clearly less desirable than blocking of a new call attempt, there is much significance in improving...
With the development of computer technology and calculation methods, the finite element method to analyze wheel/rail rolling contact became popular. For the increasing requirement of calculation scale and computing accuracy, the parallel computing method and parallel computing environment become an effective way to solve this problem. The parallel computing methods of contact problem is analyzed firstly...
As large size RDF data (Resource Description Framework) emerges, managing it is becoming much more important. Most of the existing methods are complex, and inefficient. In order to easily manipulate the database, we propose a new RDFS (RDF Schema) storing strategy based on relational database. In this paper, we distinguish between schema information and instance data, and handle independent RDF schema...
In off-road simulation, the terrain is being modified as a result of its interaction with the vehicles. Previous methods just deal with relatively small scale terrain inputs. In this paper we describe a large scale dynamic terrain visualization method. The potentially visible portion of the terrain is cached in the form of texture arrays and is rendered from the GPU. The terrain deformation is generated...
A new network for fuzzy-neural system was proposed based on the analysis and comparison of existing methods, which could be easy to distill the fuzzy rules. The network structure was adjusted by FBP(Fuzzy Back Propagation) learning algorithm to acquire network parameters and variable weights. By aiming at disadvantage of IP algorithm on rule-optimization, the Improved Iterative Pruning Neural Network...
In this paper, a uniform calculus-based approach for synthesizing monitors checking correctness properties specified by a large variety of logics at runtime is provided, including future and past time logics, interval logics, state machine and parameterized temporal logics. Thus we can synthesize monitors from the logical specification in an uniform fashion to incrementally analysis the current execution...
Social tagging is becoming more and more popular in various Web 2.0 applications nowadays. It is important for many web-sites with tagging capabilities like “delicious” or “flickr”. These social tagging systems usually include tag recommendation mechanism which assist users in tagging process by suggesting relevant tags to them, where tag recommendation is the task of predicting a personalized list...
The aim is to characterize the effects of cardiovascular on heart rate variability(HRV) by the nonlinear dynamical parameter complexity measure of the HRV signal. The method is that the electro-cardiogram signals of 20 normal samples and 107 various patient samples are collected. Based on the preprocessing for the raw data, the HRV signals of all samples are extracted from electrocardiogram signals...
In the implementation of Observer pattern by OOP, the subject objects and the observer objects must implement an interface or extend an abstract class to indicate their roles. When the pattern is implemented by AOP, there is not such a requirement. The participants and their relations are defined in an aspect, it isn't necessary for these participants to implement an interface or extending an abstract...
Image scrambling is one important method in image encryption field. By using some characteristics of chaos system, e.g. the sensitivity to initial conditions, the sensitivity to parameter and the pseudo-randomicity, this paper presents one image scrambling algorithm based on chaotic mapping. In order to achieve an effect of image scrambling, each pair of pixel points is exchanged for all the possible...
On the basis of the analysis of the security demands of the database, this paper proposes a novel method that simultaneously assures the confidentiality and the integrity of data items. The basic concept of this method is adding a verification table to existing database tables to the existing database tables, and the verification items for each original data item are stored in the verification table...
A technique was developed for checking whether three-dimensional CAD shape satisfies design rules. Many design rules related to reliability and manufacturability should be considered in the design stage. Our technique automatically recognizes feature shapes such as a rib and boss from a CAD model shape, and it checks the shape and arrangement. The effectiveness of the technique was demonstrated in...
Singular points detection, a crucial step for fingerprint identification system, is accurately robust, and reliable. In the processing of the fingerprint image matching and classification, many method use singular points to align two fingerprint images to surmount the problems about rotation and translation. The performances of the fingerprint recognition system rely on the effect of singular points...
In this paper, a novel algorithm for intensity inhomogeneous image segmentation is proposed. The presented method introduces a signed pressure force function using the local information of the image to be segmented. Thus, this model can work with heterogeneous images. In addition, by taking the advantages of Geodesic active contour (GAC) and Chan-Vese (C-V) model, the method could deal with objects...
Segmentation is an important step in medical image analysis. This process is crucial but challenging due to inhomogeneneity in intensity of images. In addition, the images are often corrupted by noise and with contrast edges. There are some approaches aiming to cope with this kind of images such as: region growing, region competition, watershed segmentation, global thresholding, and active contour...
In this paper, a novel model for intensity inhomogeneous image segmentation is proposed. The proposed model uses the local information of the image to be segmented; concurrently, it incorporates the geodesic active contour (GAC) model into Chan-Vese (C-V) model in energy function. Thus, the proposed model is effective when dealing with intensity inhomogeneous images. Practical experiments prove that...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.