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.
Interrupt behaviors are extremely difficult to verify and reason about in the development of operating system due to their randomicity and nondeterminism. This paper proposes a formal model of interrupt program which is an extension of Dijkstra's language of guarded commands. The probabilistic operational semantics exhibiting how the effect of interrupt is produced is explored for the interrupt program...
To minimize transmission time, the quickest path problem arises to find a path which sends a given amount of data from the unique source to the unique sink. Two deterministic attributes are involved in this problem: the capacity, and the lead time. However, in many real-life networks such as computer systems, or telecommunication systems, the arc capacity should be multistate due to failure, maintenance,...
This paper presents a solution to maneuvering networked airborne sensors with both time and motion constraints to benefit sensing. Decentralized maneuver design is shown to enhance the network tolerance to loss of sensors, in addition to reducing the complexity in computation and communications. Sensing accuracy and speed are achieved by a high-level aggregation of the sensor outputs and a time-coordinated...
Vehicle routing optimization problem with time constraint is researched in this paper and a hybrid optimization algorithm-PBIL combined with ant algorithm is proposed and applied to VRP. The objective function is to minimize the cost and reduce the loss caused by customerspsila time restriction. The probability matrix of PBIL algorithm is modified with the positive feedback and information disappearing...
The intelligent optimization algorithm PBIL is applied to VRP. Faced to the concrete problem that the objective function is to minimize the cost and meet the time restriction. And the probability statistics for the road traffic status distributed in working hours is considered to decide the routing. The probability matrix of PBIL algorithm is modified with the quick velocity update strategy of particle...
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.