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.
A latency-hiding algorithm for the parallelization of large scale agent-based model simulations (ABMS) on parallel/distributed computing platform is proposed. The key idea of this algorithm is using redundant computations to hide communication latencies. An analytical model for this algorithm is presented to tell how to select R value to reach the best speedup. Compared to B+2R algorithm [1], theoretical...
We discuss our approach to federating dissimilar discrete event simulations, leveraging the strengths and design goals of both, to produce a packet-level detailed network model federated with a component-level detailed input-queuing router model. All existing network simulation tools that we are aware of incorporate a very simplistic model for the flow of packets through a router. The simplistic model...
Aimed to reduce the overheads using the Time Management (TM) in HLA based distributed simulations, the TM based on publish-subscribe topology information is investigated. The condition under which the message may be received before its causal predecessor is firstly analyzed. And then, the TM algorithms using vector clock are put forward, in which the condition is judged before the clock is comparing...
The synchronous programming model is perfect for modeling, simulation, verification and implementation of reactive systems. While this paradigm can be directly implemented as hardware circuits, multithreaded software implementations are typically based on asynchronous threads. For this reason, an efficient multithreaded software implementation of a synchronous program requires a so-called desynchronization...
There has been significant interest in model based testing (MBT), in which testing is based on a model of the required behaviour of the system under test (SUT) or some aspect of this required behaviour. Most MBT approaches use statebased languages such as input output transition systems (IOTSs) (see, for example, [1]) or finite state machines (FSMs) (see, for example, [2], [3]). Given a model M, it...
By using a continuation theorem based on coincidence degree, we study the global existence of positive periodic solution of the periodic Lotka-Volteraa food chain model with delays. A set of easily verifiable sufficient conditions are obtained, some new results obtained.
A three-stage-structured prey-predator system with predator density dependent time delay is considered. The positive and uniformly bounded of the solution of the system are obtained, and the conditions for the system occurring global Hopf bifurcation is given. Finally, numerical simulations and brief conclusion are given.
In this paper, a non-autonomous predator-prey diffusion system of two species with depositings and ratio-dependence is investigated. By using Comparability Theorem and Mawhin's continuation theorem of coincidence degree theory, a set of easily verifiable sufficient conditions are obtained to guarantee the permanent and existence of positive periodic solutions of the system. Some new results obtained.
Space Wire is a standard of on-board networks for satellites promoted by the ESA. As the ESA plans to use Space Wire as the sole network for both critical and non-critical traffics, network designers need tools to check that all the critical messages meet their deadlines. We previously proposed two such tools to compute an upper-bound on the worst-case end-to-end delay of a packet traversing a Space...
In the article we propose a method of improving ITU-T E-model MOS estimate of VoIP call quality. The improvement consists of including the effects of network jitter as measured and distributed in RTCP packets; jitter buffer size at receiver and codec packetization settings as input parameters of E-Model. Our method uses Pareto/D/1/k system for modeling general VoIP input traffic stream interarrival...
This paper discusses the robustness of nonlinear model predictive control (NMPC) based on sub-optimal solution obtained under reduced precision solution (RPS) criteria. NMPC needs to solve the optimal control problem (OCP) quickly and the input is injected to the controlled plant in time. Traditional convergence criteria in optimization algorithms usually cost excessive long computation time with...
Parallelization of big-data analytics services over a federation of heterogeneous clouds has been considered to improve performance. However, contrary to common intuition, there is an inherent tradeoff between the level of parallelism and the performance for big-data analytics principally because of a significant delay for big-data to get transferred over the network. The data transfer delay can be...
In this paper we briefly describe multi-agent system architectures that are proved to be suited to address problems which simultaneously are of a Distributed, Decentralized and Dynamic nature. Two clearly different scenarios are used to show how the multi-agent system paradigm can be used to cope with realistic situations which are eiter mainly cooperative or mainly competitive and, thus, asking for...
The non-recurrent congestion caused by incident happens frequently in urban traffic network and influences normal operation of traffic system greatly, so that studying on congestion control strategies under propagation of non-recurrent congestion is very important. The aim of this dissertation is to investigate the spatio-temporal distribution of traffic flow and location of variable message sign...
We propose a novel admission control policy for database queries. Our methodology uses system measurements of CPU utilization and query backlogs to determine interference between queries in execution on the same database server. Query interference may arise due to the concurrent access of hardware and software resources and can affect performance in positive and negative ways. Specifically our admission...
In this paper we present the use of a SystemC-based design environment called DESYRE to the simulation of a modern elevator system designed by Otis Elevator Company for large scale buildings. We describe the construction of the virtual prototype of a scalable elevator system based on the CAN communication protocol. We show the tuning and validation of the simulated model against a test system composed...
In this paper, we design an efficient method of simulating wireless networks that use CSMA/CA-based protocols in the MAC layer. In the method, a stochastic model to estimate the CSMA/CA frame transmission delay is naturally incorporated into the conventional fully event-based model. The stochastic model can simplify the interactions between a frame transmitter and its surrounding nodes, which alleviates...
The paper proposes a methodology to model and simulate a medium scale distribution network with several feeders in a real-time multi-core environment. Due to the small length of the lines, this type of simulation is still quite challenging especially when several cores are addressed to compute the simulation. Problems of model conditioning for multi-core computing are discussed. Validation results...
Both of Quality of Service (QoS) and Quality of Experience (QoE) are defined to specify the degree of service quality. Although they are dealt with in different layers in multi-layered models, collaboration of these is necessary to improve the user satisfaction for telecommunication services. In this paper, after sorting out the concepts and specification of QoS and QoE, a service quality coordination...
Managed software development organizations are de facto closed loop systems, in which management actions influence future behavior based on observations of previous behavior thus forming a closed feedback loop. It is well known from control theory that a closed loop system might exhibit dynamics very different from the dynamics of its open loop components. Therefore, it is the goal of this work to...
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.