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.
This paper studies the problem of coverage management with two emerging formalisms in simulation based validation, namely formal specification of test points and the use of inline temporal assertions. We present methods for checking whether a test-bench with inline assertion covers a set of formal test points. This is particularly useful in developing verification IPs for standard on-chip protocols...
A performance analysis is presented for amplify-and-forward (AF) cooperative relay networks employing transmit antenna diversity with orthogonal space-time block codes (OSTBCs), where multiple antennas are equipped at the transmitter. We develop a symbol-error-rate (SER) and outage performance analysis for OSTBC transmissions with and without cooperative diversity over flat Rayleigh fading channels...
Service composition, which provides a more effective way to combine several single services into a composite service, is a kind of software reuse techniques. However, one of the most important problems is how to perform service composition correctly and effectively so as to produce high-quality source codes for describing the resulted composite service. In this paper, we propose a model-driven method...
In this article we make use of dimensional analysis in order to investigate the controller parameters dependence on model information (i.e. model parameters). The objective is to relate the influence that each model parameter has on each controller parameter. In order to accomplish this goal the model transfer function is first analyzed using dimensional analysis and characterized by means of of dimensionless...
Clustering is a phenomenon that may emerge in multi-agent systems through self-organization: groups arise consisting of agents with similar dynamic behavior. It is observed in fields ranging from the exact sciences to social and life sciences; consider e.g. swarm behavior of animals or social insects, dynamics of opinion formation, or the synchronization (which corresponds to cluster formation in...
Markov arrival process (MAP) is the most widely used traffic model to analyze performance of a node of an asynchronous packet traffic. Recent literatures make transition between overload and underload states of a node without arrival but sometimes transition may take place from underload to overload with an arrival which deviates our analysis from the present literature of Markov modulated Poisson...
This paper analyzes characteristics of chaos and game in large-scale project teams, utilizes a trait that participants lean to seek collective rationality and establish a partnership with a certain incentive and constraint from the perspective of the project manager, structures a chaos game model of internal knowledge learning in large-scale project teams and gives some constructive comments to control...
In practice, in order to improve its revenue, hotel cooperates with travel agency, website, government, corporation, etc., and provides them with low room rate. This paper does research on the pricing problem of hotel for long-term cooperative travel agency. Through building pricing model, this paper proves that cooperation is beneficial to hotel and travel agency, derives the optimal pricing strategy...
Effectiveness forecast of especial vehicle is important in vehicle development and compare research. This paper establishes forecast model of vehicle effectiveness by factors analysis with interpretability, and RBF (radial basis function) neural networks with short training time and precise function. Secondly, the result of forecasted and original is contrasted together, then the quality and creditability...
With the deepening of information technology, in an increasingly competitive market, more and more enterprises seek to import ERP system to achieve lower operating costs and improve efficiency and customer satisfaction. But in the ERP system, there is random and blindness on importing mode choosing. The three models are analyzed and "Principal agent" is established by using game theory....
Latent Dirichlet allocation (LDA) is a commonly used topic modeling method for text analysis and mining. Standard LDA treats documents as bags of words, ignoring the syntactic structures of sentences. In this paper, we propose a hybrid model that embeds hidden Markov models (HMMs) within LDA topics to jointly model both the topics and the syntactic structures within each topic. Our model is general...
The extensive attention has been paid to how to improve the efficieny of automated storage/retrieval system (AS/RS). This paper focuses on the problem of optimal goods distribution of AS/RS. Firstly based on four different distributions of goods, the models of the expected time of a storage or retrieval operation of AS/RS are developed. And then through comparison and analysis, the optimal goods distribution...
The paper studies semi-global practical input-to-state stability (SGP-ISS) of a parameterized family of discrete-time systems that may arise when an approximate discrete-time model of a sampled-data system with disturbances is used for controller design. It is shown under appropriate conditions that if the solutions of the time varying family of discrete-time systems with disturbances converge uniformly...
The vertex connectivity of many large networks follows a scale-free power-law distribution. BA model and many other BA-derived models reproduce such property and acquire a special status. The most distinct characteristic of these models is that during the preferential attachment process the choice of old vertices is based on the connectivity of the old vertices and there is no relationship between...
This paper presented the effects of attenuation from rain rate together with rain drop size distribution analysis on the model of transmitter broadband satellite in Ka-band frequency. We illustrated a new model by simulating transmission broadband signal and studied the rain attenuation which has effects to high frequency. The results of the model were represented by the relation between error probability...
The presented method extends availability assessment in multi state systems to take into account data uncertainty. Until now, propagation of uncertainty is evaluated only in the classical block diagrams methods or specific simulation modeling. Using the universal generating function technique (UGF), the number of states in the multi states model is reduced and the uncertainty evaluation is generalized...
The mechanism of swarm flocking phenomena is investigated in this paper, and a distributed coadaptive control algorithm is presented for swarm robot system. We prove that this controller can enable all swarm members to converge to a common velocity only by means of the local information, then the finish time of flocking can be estimated. An improved particle swarm optimization algorithm (PSO) is adopted...
D-matrix is the basement of large-scale-system equipment test and diagnosis. In order to cover the shortage of D-matrix information in TEAMS model construction, Advanced D-matrix is proposed, reflecting the nature of Equipment and solving the problem that could cause confusion in signal invalidation of D-matrix fault definition. A method to get advanced D-matrix data from multi-signal model is given...
The ideological and political education is the foundation of fostering talents to the university. Only having the superior ideological and political education, can the university train the outstanding university students and train the outstanding talents who constructs the motherland. Through introducing the connotation's elaboration and indicator system's analysis of the ideological and political...
A modified sum-of-sinusoids (SoS) channel model for two-dimensional (2-D) non-isotropic scattering environments is presented, which be applied on any single-path channel based on equal probability areas of the angle of arrival (AoA) and can be generalized to multi-path channels. Its performance can be improved using principle of set partitioning. The auto-correlation function (ACF) of our model is...
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.