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.
Achieving mission objectives in complex and increasingly adversarial networks is difficult even under the best of circumstances. Currently, there are few tools for reasoning about how to react to rapid changes in a given network's environmental state; that is, we do not know how to cope with adversarial actions in hostile environments. In this paper, we consider a preliminary operational model that...
Consensus is a fundamental approach to implementing fault-tolerant services through replication. It is well known that there exists a tradeoff between the cost and the resilience. For instance, Crash Fault Tolerant (CFT) protocols have a low cost but can only handle crash failures while Byzantine Fault Tolerant (BFT) protocols handle arbitrary failures but have a higher cost. Hybrid protocols enjoy...
The relationship between emitted energy spectrum and multipactor threshold of impedance transformer is investigated numerically in this paper. Secondary electron yield remains the same, while the emitted energy spectrum changes. Numerical simulations are provided for different cases of emitted energy spectrum. We analyze the practicability of this method in theory and simulation. Simulation results...
Data applications can tolerate an initial delay before packet transmission begins. It is possible to take advantage of this initial delay to reduce the energy required to operate the small access points (SAPs) and decrease transmission power in small cell networks. To demonstrate the trade-off between delay and transmit power, we consider a simple access scheme and analyze the distribution of the...
Relay node (RN) plays a key role in cooperative communications and RN selection may substantially affects the performance gain. In this paper we address the issue of RN selection while taking into account Medium Access Control (MAC) overhead, which is incurred by not only handshake signaling but also frame retransmissions due to transmission error. We use a theoretical model to analyze the cooperation...
Recently, several formal approaches have been presented to address the problem of schedulability analysis of real-time systems by some varieties of timed automata, e.g., UPPAAL and TIMES. In this paper, we consider a more general and complicated formal computational model for distributed systems. To analyze the schedulability of tasks within this model by automata theory, we present a model, action...
Applications must be integrated into a system configuration which satisfies all the requirements of applications in the ARINC653 system. The goal of this paper is to assist system integrator to generate correct configuration tables. Architecture Analysis and Design Language (AADL) is widely used in avionics systems modeling and analysis. In order to model and analyze avionics systems that meet the...
In order to analyze the structure and behaviour characteristics of enterprise energy consumption process, the evolution rules of enterprise energy consumption process model based on fuzzy timed Petri nets are introduced in detail. The conflicts existing in the model and the conflicts resolving approaches are analyzed. Moreover, the effective conflicts are defined from the aspects of resource conflicts...
Personalized search is more suitable to return search results for user based on different user's search history and improve the search efficiency and user's retrieval experience. In this paper, we put forward a search results ranking method that uses user interest model based on a semantic ontology WordNet, so that it returns the search results in accordance with user interestingness. There into,...
Architecture analysis and design language (AADL), which is a modeling language standard brought forward by the Society of Automotive Engineers and Avionics Systems Division, is becoming a hot research topic for many organizations and institutes in the world. Though there are some tools could generate C code or Java code from a subset of AADL models as application program directly, it could not be...
With rapid developments in science and technology, we now see the ubiquitous use of different types of safety-critical systems in our daily lives such as in avionics, consumer electronics, and medical systems. In such systems, unintentional design faults might result in injury or even death to human beings. To make sure that safety-critical systems are really safe, only using the traditional methods...
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.