The paper presents an approach to Boolean satisfiability checking. The work is based on fuzzy default logic (FDL) introduced by one of the authors on HIS'09 conference. The starting point of the presented approach...
详细信息
The paper presents an approach to Boolean satisfiability checking. The work is based on fuzzy default logic (FDL) introduced by one of the authors on HIS'09 conference. The starting point of the presented approach is WalkSAT algorithm. Authors discuss heuristic variable flipping techniques that employ commonsense reasoning methodology (FDL) and searching space pruning techniques implemented in the FUDASAT algorithm. The new algorithm called JumpSAT is presented on the examples. The paper shows interesting results of some experiments that shows effectiveness of the new proposed technique in comparison to the FUDASAT approach.
. Extended objects generate multiple measurements and are characterised with their size or volume. They require methods able to deal with the data association problem and at the same time to estimate both their kinema...
详细信息
ISBN:
(纸本)9781632666642
. Extended objects generate multiple measurements and are characterised with their size or volume. They require methods able to deal with the data association problem and at the same time to estimate both their kinematic states and shape parameters. This paper presents a solution to the extended object tracking for rectangular extended objects, with the Box Particle filter (Box PF) approach. The Box PF is implemented based on dynamically calculated constraints. Promising results are demonstrated.
This paper focuses on data replication in structured peer-to-peer systems over highly dynamic networks. A Q-learning-based replication approach is proposed. Data availability is periodically computed using the Q-learn...
详细信息
Ambient intelligence techniques and smart Internet of Things objects are empowering healthcare professionals to provide better services based on improved vital signs data enriched with contextual information. In this ...
详细信息
Ambient intelligence techniques and smart Internet of Things objects are empowering healthcare professionals to provide better services based on improved vital signs data enriched with contextual information. In this paper, we provide an overview of current solutions and propose a new taxonomy for ambient and health sensor data, based on three selected metrics. The proposed UNCHAIN architecture provides a ubiquitous communication system designed to grant seamless integration of current sensor solutions, and to maximize two identified limitations: range and autonomy. Finally, the proposed architecture is validated through a hardware implementation, with impressive results in terms of energy efficiency.
This paper studies the problem of countering the fluctuations of renewable power supply in smart grid. A fully distributed algorithm to control a network of thermostatically controlled loads (TCLs) is proposed to matc...
详细信息
Maintenance is an important activity in industry as it reduces costs and enhances availability. This can be done either to revive a system/component or to prevent it from breaking down. The increasing need for reliabi...
详细信息
ISBN:
(纸本)9781936263172
Maintenance is an important activity in industry as it reduces costs and enhances availability. This can be done either to revive a system/component or to prevent it from breaking down. The increasing need for reliability has led maintenance strategies to evolve from corrective to condition-based and predictive maintenance. The key process of the latter is prognostics and health management, a tool that predicts the remaining useful life of engineering assets. As plants are requested to offer both safety and reliability, planning a maintenance activity requires accurate information about the system/component health state. Usually, this information is gathered through independent sensors or a wired network of sensors. The use of a wireless sensor network has many advantages. First of all, the absence of wires gives sensor networks the ability to cover a large scale surveillance area. Second, it has become possible to monitor hostile and inaccessible areas by simply dropping the sensors from an aircraft to the monitoring region. Finally, the accuracy of measurements can be improved as the sensors can be placed at specific locations without being wired. Even though the deployment of wireless sensor networks is gaining great importance in monitoring applications, there are some research issues that still need to be studied to provide more accurate and reliable data. Indeed, we strongly believe that a good prognostic process starts with a reliable source of information;the wireless sensor network in our case. For this matter, in this paper, we discuss the dependability of wireless sensor networks, we highlight the attributes that have an impact on data accuracy, and present the state of the art in prognostics.
Blind system identification is known to be an ill-posed problem and without further assumptions, no unique solution is at hand. In this contribution, we are concerned with the task of identifying an ARX model from onl...
详细信息
Blind system identification is known to be an ill-posed problem and without further assumptions, no unique solution is at hand. In this contribution, we are concerned with the task of identifying an ARX model from only output measurements. We phrase this as a constrained rank minimization problem and present a relaxed convex formulation to approximate its solution. To make the problem well posed we assume that the sought input lies in some known linear subspace.
Augmented finite transition systems generalize nondeterministic transition systems with additional liveness conditions. We propose efficient algorithms for synthesizing control protocols for augmented finite transitio...
详细信息
A novel bioinspired control strategy design is proposed for generalized synchronization of nonlinear chaotic systems, combining the bioinspired stability theory, fuzzy modeling, and a novel, simple-form Lyapunov contr...
暂无评论