Backtracking is famous in computerscience area, but no one has applied that concept in solving this problem. Back-tracking has successfully been applied to the search of MPs, and by now, it is still the fastest metho...
详细信息
ISBN:
(纸本)9780976348696
Backtracking is famous in computerscience area, but no one has applied that concept in solving this problem. Back-tracking has successfully been applied to the search of MPs, and by now, it is still the fastest method for searching MPs. this paper proposes a very efficient method to search for all MCs in aow network in terms of backtracking. Some benchmarks from the best-known algorithms in the litera-ture are examined and compared. the results show that the efficiency of the method is excellent.
Railway cyber physical system observes, plans, controls and manages the trains and the track-side equipment so as to meet operational goals without compromising on safety requirements. the quality of railway cyber phy...
详细信息
the number of requirements on information and controlsystems features grows. they often contain flexibility, safety, reliability, and security. Balancing all these features is not easy. We propose architectural turn ...
详细信息
ISBN:
(纸本)9783030243081
the number of requirements on information and controlsystems features grows. they often contain flexibility, safety, reliability, and security. Balancing all these features is not easy. We propose architectural turn enabling to control flexibility and security (and to some extent also reliability/availability). the proposed solution enables agile involvement of people into processes. It simplifies solution of rare cases or emergency situations. It can be used during system development and maintenance. We discuss some implementation details.
In recent years, the increasing demand for multi-media communication, even in the wireless mobile environment overcrowding, QoS (Quality of Service) is important. In such environment, since many mobile stations (STAs)...
详细信息
In recent years, the increasing demand for multi-media communication, even in the wireless mobile environment overcrowding, QoS (Quality of Service) is important. In such environment, since many mobile stations (STAs) are using the same channel, it occurs the problem of unfair channel access time and downlink channel. In this paper, we propose a scheme to achieve a good balance of QoS, fairness and downlink/uplink traffic asymmetry by the combined operation of channel access priority control and packet scheduling with require modification only to AP and require no changes in STAs. (C) 2015 the Authors. Published by Elsevier B.V.
Qualitative spatial reasoning (QSR) is a powerful tool in automated computer reasoning, a necessary step forward in fields like computer vision and media analysis. Stereo graphical media has rapidly become a prevalent...
详细信息
Withthe rapid development of information, network security and information have played an increasingly important role in national production. As a result, the environment and application of industrial control network...
详细信息
One of the leading frontiers of the Internet of things (IoT) era, smart building systems have made modern homes more innovative, interconnected, and autonomous. the goal of a smart home system is to enhance users'...
详细信息
Due to their distinguishable features, specification and verification of multi-agent systems are non-trivial tasks. In this paper, we present the modeling and verification of event-driven interaction in multi-agent sy...
详细信息
ISBN:
(纸本)9781467361408
Due to their distinguishable features, specification and verification of multi-agent systems are non-trivial tasks. In this paper, we present the modeling and verification of event-driven interaction in multi-agent systems. the model is specified and verified using Event-B and the Rodin platform.
In this paper we describe the design of a PetCare system following slow intelligence principles, so that its performance will improve gradually over time. the PetCare system uses a PC with webcam to monitor pet(s) at ...
详细信息
Given a dynamical system and a specification, assumption mining is the problem of identifying the set of admissble disturbance signals and initial states generate trajectories satisfying the specification. We first in...
详细信息
ISBN:
(纸本)9781450339551
Given a dynamical system and a specification, assumption mining is the problem of identifying the set of admissble disturbance signals and initial states generate trajectories satisfying the specification. We first introduce the notion of a directed specification, which describes either upper or lower sets in a partially ordered signal space, and show that, this notion encompasses an expressive temporal logic fragment. We next show that the order preserving nature of monotone dynamical systems makes them amenable to a systematic form of assumption mining that checks numerical simulations of system trajectories against directed specifications. the assumption set is then located with a multidimensional bisection method that converges to the boundary from above and below. Typical objectives in vehicular traffic control, such as avoiding or clearing congestion, are directed specifications. In an application to a freeway flow model with monotone dynamics, we identify the set, of vehicular demand profiles that satisfy a specification that congestion be intermittent.
暂无评论