Relying on the universality of quantum mechanics and on recent results known as the “threshold theorems,” quantum information scientists deem the question of the feasibility of large‐scale, fault‐tolerant, and computationally superior quantum computers as purely technological. Reconstructing this question in statistical mechanical terms, this article suggests otherwise by questioning the physical significance of the threshold theorems. The skepticism it advances is neither too strong (hence is consistent with the universality of quantum mechanics) nor too weak (hence is independent of (...) technological contingencies). *Received June 2009; revised August 2009. †To contact the author, please write to: Department of History and Philosophy of Science, College of Arts and Sciences, Indiana University, Bloomington, IN 47405; e‐mail: [email protected]. (shrink)

In computer networks, vertices represent hosts or servers, and edges represent as the connecting medium between them. In localization, some special vertices are selected to locate the position of all vertices in a computer network. If an arbitrary vertex stopped working and selected vertices still remain the resolving set, then the chosen set is called as the fault-tolerant resolving set. The least number of vertices in such resolving sets is called the fault-tolerant metric dimension of the network. Because (...) of the variety of applications of the metric dimension in different areas of sciences, many generalizations were proposed, and fault tolerant is one of them. In this paper, we computed the fault-tolerant metric dimension of triangular snake, ladder, Mobius ladder, and hexagonal ladder networks. It is important to observe that, in all these classes of networks, the fault-tolerant metric dimension and metric dimension differ by 1. (shrink)

This thesis analyzes from a philosophical perspective different models for nonmonotonic inference, belief revision and the handling of inconsistencies. ;The first chapter serves as an introduction to the subject, giving examples and analyzing the main concepts. As a result of these discussions, this thesis tries to: produce a refined map of the main notions related to this subject, maintain that there can be a fault tolerant logic that stands in support of fault tolerant reasoning, and defend the use (...) of deductive databases as models for changes of belief. ;The second chapter explores monotonic proposals to deal with uncertain reasoning. These include logics based on a classical notion of consequence, interpretations of defeasible reasoning as containing implicit premises, and systems in which temporal change is an integral part of the representation of states of affairs, via temporal indices or more elaborate devices. ;The third chapter explores quantitative approaches to nonmonotonic reasoning like dispositional logic, and theories of probabilistic reasoning including Bayesian, certainty factors, and Dempster-Shafer. ;The fourth chapter explores qualitative approaches. Here we mention conditional, default, and nonmonotonic logics, and the circumscription and autoepistemic formalisms. ;The fifth chapter studies different proposals to deal with contradictions. It starts with a review of the types of belief inconsistencies, and then it presents mechanisms to prevent, control or correct them. I explore paraconsistent logics, specially relevance logics, to "bracket" the area of conflict and allow inferences about non-related topics to continue unaffected. Then I examine different methods to get rid of the inconsistencies, including the use of dependency-directed backtracking and of relevance logic. ;Finally, I present my conclusions, and mention some of the open problems. (shrink)

The problem of adaptive finite-time fault-tolerant control and output constraints for a class of uncertain nonlinear half-vehicle active suspension systems are investigated in this work. Markovian variables are used to denote in terms of different random actuators failures. In adaptive backstepping design procedure, barrier Lyapunov functions are adopted to constrain vertical motion and pitch motion to suppress the vibrations. Unknown functions and coefficients are approximated by the neural network. Assisted by the stochastic practical finite-time theory and FTC theory, the (...) proposed controller can ensure systems achieve stability in a finite time. Meanwhile, displacement and pitch angle in systems would not violate their maximum values, which imply both ride comfort and safety have been enhanced. In addition, all the signals in the closed-loop systems can be guaranteed to be semiglobal finite-time stable in probability. The simulation results illustrate the validity of the established scheme. (shrink)

This paper presents the architecture and initial feasibility results of a proto-type communication network that utilizes genetic programming to evolve services and protocols as part of network operation. The network evolves responses to environmental conditions in a manner that could not be preprogrammed within legacy network nodes a priori. A priori in this case means before network operation has begun. Genetic material is exchanged, loaded, and run dynamically within an active network. The transfer and execution of code in support of (...) the evolution of network protocols and services would not be possible without the active network environment. Rapid generation of network service code occurs via a genetic programming paradigm. Complexity and Algorithmic Information Theory play a key role in understanding and guiding code evolution within the network. (shrink)

This paper focuses on the problem of load frequency control and sensor fault-tolerant control in the multiarea power grid. To solve these problems, a sliding mode control strategy based on an interval observer is designed. First, an interval observer is designed to obtain the boundary estimation information of the system state online, which is used to reconstruct the load disturbance online. Based on the reconstructed values, an integral sliding mode controller is designed to keep the system frequency stable when (...) the load is disturbed. Then, sensor fault is diagnosed by interval residual. An augmented observer is designed to estimate sensor fault online by equivalent transformation, and the sensor fault is compensated by the fault estimation to reduce the influence of fault on system performance and ensure the reliable and stable operation of the power system. The simulation results show the superiority of the proposed control strategy. (shrink)

The debate around the notions of a priori knowledge and a posteriori knowledge has proven crucial for the development of many fields in philosophy, such as metaphysics, epistemology, metametaphysics etc. We advocate that the recent debate on the two notions is also fruitful for man-made distributed computing systems and for the epistemic analysis thereof. Following a recently proposed modal and fallibilistic account of a priori knowledge, we elaborate the corresponding concept of a priori belief: We propose a rich taxonomy of (...) types of a priori beliefs and their role for the different agents that participate in the system engineering process, which match the existing view exceedingly well and are particularly promising for explaining and dealing with unexpected behaviors in fault-tolerant distributed systems. Developing such a philosophical foundation will provide a sound basis for eventually implementing our ideas in a suitable epistemic reasoning and analysis framework and, hence, constitutes a mandatory first step for developing methods and tools to cope with the various challenges that emerge in such systems. (shrink)

This paper presents an active fault-tolerant control strategy for quadrotor helicopters to simultaneously accommodate sensor faults and external disturbances. Unlike most of the existing fault diagnosis and fault-tolerant control schemes for quadrotor helicopters, the proposed fault diagnosis scheme is able to estimate sensor faults while eliminating the effect of external disturbances. Moreover, the proposed fault-tolerant control scheme is capable to eliminate the adverse effect of external disturbances as well by designing a disturbance observer to effectively (...) estimate the unknown external disturbances and integrating with the designed integral sliding-mode controller. In this case, the continuous operation of the quadrotor helicopter is ensured while avoiding the unexpected control chattering. In addition, the stability of the closed-loop system is theoretically proved. Finally, the effectiveness and advantages of the proposed scheme are validated and demonstrated through comparative numerical simulations of the quadrotor helicopter under different faulty and uncertain scenarios. (shrink)

In this study, an adaptive output feedback fault tolerant control scheme is proposed for a class of multi-input and multioutput nonlinear systems with multiple constraints. The neural network is adopted to handle the unknown nonlinearity by means of its superior approximation capability. Based on it, the state observer is designed to estimate the unmeasured states, and the nonlinear disturbance observer is constructed to tackle the external disturbances. In addition, the Nussbaum function is utilized to cope with the actuator faults, (...) which are coupled with the unknown control directions. Combining with the Lyapunov theory, a NN-based output feedback FTC law is developed for the MIMO nonlinear systems, and the boundedness of all closed-loop system error signals is proved. Simulation results on the unmanned helicopter are performed to demonstrate the effectiveness of the proposed controller. (shrink)

Computational intelligence techniques are being investigated as an extension of the traditional fault diagnosis methods. This article presents, for the first time, a scheme for fault detection and isolation via artificial neural networks and fuzzy logic. It deals with the sensor fault of a three-link selective compliance assembly robot arm robot. A second scheme is proposed for fault detection and accommodation via analytical redundancy, and it deals with the sensor fault of a three-link SCARA robot. (...) These proposed FDI approaches are implemented on Matlab/simulink software and tested under several types of faults. The results show the importance of this process. Then, the sensor faults are detected and isolated successfully. Also, the actuator faults are detected and a fault tolerance strategy is used for reconfigurable control using a sliding-mode observer. (shrink)

Generally we think it good to tolerate and to accord recognition. Yet both are complex phenomena and our teaching must acknowledge and cope with that complexity. We tolerate only what we object to, so our message to students cannot be simply, ‘promote the good and prevent the bad’. Much advocacy of toleration is not what it pretends to be. Nor is it entirely clear what sort of conduct should count as intolerant. Sometimes people are at fault for tolerating what (...) they should not, or for tolerating what they should find unexceptionable. So virtue does not always lie with toleration. Tolerance can also seem condescending; should we therefore replace it with recognition? But recognition may not be able to coexist with the disapproval that makes toleration necessary. However, not everything about toleration and recognition is controversial; there are fixed points from which students can grapple with the issues presented by both. (shrink)

This chapter contains sections titled: Introduction The Fault Lines of Toleration in the Context of Education Toleration and Mutual Respect Toleration and an Autonomy Facilitating Education Appreciation Instead of Non‐Bigoted Acceptance Restrained Manifestation Limited Associational Liberty Implications Conclusion Notes References.

THE ELEMENTARY MORAL DISTINCTION. The ultimate objects of moral assessment are people and their lives. I will call this the "elementary moral distinction." Many today seem to have lost sight of it. How often are we told that we should show respect for other people, only to discover that what we are actually being asked to show respect for is how those other people live? The equation of the two should be resisted. We do not always respect a person by (...) respecting how he lives. Sometimes quite the reverse. If someone is wasting his life but still deserves to be respected, the default way to show him the respect that he deserves is to do something that improves the way he is living- shake him out of it, block his path, change his incentives, shield him from further exploitation, and so forth. Sometimes, of course, there is no action open to us that will yield any improvement in how he lives, while on other occasions the only things we can do are disproportionate. In such cases we have to tolerate his continuing to live as badly he does. But toleration is one thing, and respect is quite another. Toleration is the moral virtue of those who appropriately curb their wish to eliminate what they do not respect. One cannot respect the way someone is living and tolerate it at the same time. (shrink)

In recent years, there has been a proliferation of studies of international justice. This book is a valuable contribution to that trend. Tan presents his theory as a rival to Rawls’s “law of peoples”. He argues that his critique of Rawls’s work on international justice points to deep flaws in Rawls’s general account of justice and not merely to a mistaken application in a particular area. Specifically, Tan claims that the core fault of the law of peoples is its (...) neglect of individual liberty and that this neglect “stems ultimately from political liberalism’s mistaken stress on toleration as the fundamental liberal principle”. Tan argues that comprehensive liberalism is superior to political liberalism because it takes “individual autonomy to be fundamental”. (shrink)

Aiming at the suspension cable system of an unmanned helicopter with sensor fault under complex environment, this paper studies the robust antiswing tolerant control scheme. To suppress the swing of the hanging load when the unmanned helicopter is in the forward flight state, a nonlinear line motion model is firstly established. Considering the sensor fault of the unmanned helicopter, a sensor fault estimator is developed. By using the fault estimator output, the robust antiswing tolerant controller is (...) proposed using the backstepping technique and sliding mode control method. Under the designed robust antiswing tolerant controller, the desired tracking control performance can be obtained and the swing angle of the load is guaranteed small under the sensor fault. Furthermore, the closed-loop system stability is analyzed by using the Lyapunov technique. Simulation studies are given to show the efficiency of the designed robust antiswing control strategy. (shrink)

A blockchain can be considered a technological phenomenon that is made up of different interconnected and autonomous systems. Such systems are referred to here as cyber-physical systems: complex interconnections of cyber and physical components. When cyber-physical systems are interconnected, a new whole consisting of a system of systems is created by the autonomous systems and their intercommunication and interaction. In a blockchain, individual systems can independently make decisions on joint information transactions. The decision-making procedures needed for this are executed based (...) on fault-tolerant communication and voting and consensus procedures, while the results of these decision-making procedures are stored in distributed ledgers. Due to the intercommunication, interaction, and independent decision making by autonomous systems, the new whole of a blockchain is a complex entity. Complexity science rather than the usual reductionist scientific approach can help us better understand the behaviour of the new and continuously developing whole of a blockchain as a technological phenomenon. (shrink)

The potential for scalable quantum computing depends on the viability of fault tolerance and quantum error correction, by which the entropy of environmental noise is removed during a quantum computation to maintain the physical reversibility of the computer’s logical qubits. However, the theory underlying quantum error correction applies a linguistic double standard to the words “noise” and “measurement” by treating environmental interactions during a quantum computation as inherently reversible, and environmental interactions at the end of a quantum computation (...) as irreversible measurements. Specifically, quantum error correction theory models noise as interactions that are uncorrelated or that result in correlations that decay in space and/or time, thus embedding no permanent information to the environment. I challenge this assumption both on logical grounds and by discussing a hypothetical quantum computer based on “position qubits.” The technological difficulties of producing a useful scalable position-qubit quantum computer parallel the overwhelming difficulties in performing a double-slit interference experiment on an object comprising a million to a billion fermions. (shrink)

Reinforcement learning is very effective for robot learning. Because it does not need priori knowledge and has higher capability of reactive and adaptive behaviors. In our previous works, we proposed new reinforcement learning algorithm: “Q-learning with Dynamic Structuring of Exploration Space Based on Genetic Algorithm (QDSEGA)”. It is designed for complicated systems with large action-state space like a robot with many redundant degrees of freedom. And we applied it to 50 link manipulator and effective behavior is acquired. However optimality and (...) fault tolerance of the proposed algorithm were not considered and to demonstrate effectiveness of the proposed algorithm other applications are necessary. Acquiring of locomotion patterns by a multi-legged robot is a very interesting problem. As it has many redundant degrees of freedom, application of usual reinforcement learning is difficult and an optimal locomotion has not been acquired using previous reinforcement learning algorithm. And the redundancy of the robot is effective to the fault tolerance and various locomotion patterns can be acquired for adapting the faults of the legs. In this paper, we applied QDSEGA to acquiring of locomotion pattern by the multi-legged robot and considered the optimality and fault tolerance. Effective behavior has been obtained by using our proposed algorithm. (shrink)

An iterative learning robust fault-tolerant control algorithm is proposed for a class of uncertain discrete systems with repeated action with nonlinear and actuator faults. First, by defining an actuator fault coefficient matrix, we convert the iterative learning control system into an equivalent unknown nonlinear repetitive process model. Then, based on the mixed Lyapunov function approach, we describe the stability of the nonlinear repetitive mechanism on time and trial indices and have appropriate conditions for the repeated control system’s stability (...) in terms of linear matrix inequality theory. Through LMI techniques, we have obtained satisfactory results and controller stability, and robustness against fault tolerance is also discussed in detail. Finally, the simulation results of the output tracking control of the two exemplary models verify the effectiveness of the proposed algorithm. (shrink)

A fuzzy predictive fault-tolerant control scheme is proposed for a wide class of discrete-time nonlinear systems with uncertainties, interval time-varying delays, and partial actuator failures as well as unknown disturbances, in which the main opinions focus on the relevant theory of FPFTC based on Takagi-Sugeno fuzzy model description of these systems. The T-S fuzzy model represents the discrete-time nonlinear system in the form of the discrete uncertain time-varying delay state space, which is firstly constructed by a set of local (...) linear models and the nonlinear membership functions. The novel improved state space model can be further obtained by extending the output tracking error to the constructed model. Then the fuzzy predictive fault-tolerant control law based on this extended model is designed, which can increase more control degrees of freedom. Utilizing Lyapunov-Krasovskill theory, less conservative delay-range-dependent stable conditions in terms of linear matrix inequality constraints are given to ensure the asymptotically robust stability of closed-loop system. Meanwhile, the optimized cost function and H-infinity performance index are introduced to the stable conditions to guarantee the robust performance and antidisturbance capability. The simulation results on the temperature control of a strong nonlinear continuous stirred tank reactor show that the proposed control scheme is feasible and effective. (shrink)

This groundbreaking proceedings volume explores the integration of Artificial Intelligence (AI) across key domains—healthcare, finance, education, robotics, industrial and other engineering applications —unveiling its transformative potential and practical implications. With a multidisciplinary lens, it transcends technical aspects, fostering a comprehensive understanding while bridging theory and practice. Approaching the subject matter with depth, the book combines theoretical foundations with real-world case studies, empowering researchers, professionals, and enthusiasts with the knowledge and tools to effectively harness AI. Encompassing diverse AI topics—machine learning, natural (...) language processing, computer vision, data analytics and supervisory control — the volume showcases state-of-the-art techniques propelling AI advancements. Structured into four parts: Part 1: Artificial Intelligence (AI), explores evolving deep neural networks, reinforcement learning, and explainable AI, providing a deep dive into the technical foundations of AI advancements. Part 2: Robotics and Control Systems, delves into the integration of AI in robotics and automatic control, addressing supervisory control, automated robotic movement coordination, anomaly detection, dynamic programming, and fault tolerance, offering insights into the evolving landscape of intelligent automation. Part 3: AI and Society, examines the societal impact of AI through chapters on ethical considerations, economic growth, environmental engagements, and hazard management, providing a holistic perspective on AI's role in shaping society. Part 4: PhD Symposium, presents the future of AI through cutting-edge research, covering legal and ethical dimensions, privacy considerations, and computationally efficient solutions, offering a glimpse into the next generation of AI advancements. Catering to a diverse audience—from industry leaders to students—the volume consolidates the expertise of renowned professionals, serving as a comprehensive resource for navigating the ever-evolving AI landscape. An essential reference for those staying at the forefront of AI developments. (shrink)

Bell inequalities play a central role in the study of quantum nonlocality and entanglement, with many applications in quantum information. Despite the huge literature on Bell inequalities, it is not easy to find a clear conceptual answer to what a Bell inequality is, or a clear guiding principle as to how they may be derived. In this paper, we introduce a notion of logical Bell inequality which can be used to systematically derive testable inequalities for a very wide variety of (...) situations. There is a single clear conceptual principle, based on purely logical consistency conditions, which underlies our notion of logical Bell inequalities. We show that in a precise sense, all Bell inequalities can be taken to be of this form. Our approach is very general. It applies directly to any family of sets of commuting observables. Thus it covers not only the n-partite scenarios to which Bell inequalities are standardly applied, but also Kochen-Specker configurations, and many other examples. There is much current work on experimental tests for contextuality. Our approach directly yields, in a systematic fashion, testable inequalities for a very general notion of contextuality. There has been much work on obtaining proofs of Bell's theorem “without inequalities” or “without probabilities.” These proofs are seen as being in a sense more definitive and logically robust than the inequality-based proofs. On the hand, they lack the fault-tolerant aspect of inequalities. Our approach reconciles these aspects, and in fact shows how the logical robustness can be converted into systematic, general derivations of inequalities with provable violations. Moreover, the kind of strong non-locality or contextuality exhibited by the GHZ argument or by Kochen-Specker configurations can be shown to lead to maximal violations of the corresponding logical Bell inequalities. Thus the qualitative and the quantitative aspects are combined harmoniously. (shrink)

Traditional libraries will evolve to digital libraries which are clearly superior at: Dissemination, sharing, linking, storing, and information variety. Therefore, one can say that electronic libraries have specific needs in terms of content, services and long-term preservation. In contrast, digital libraries suffer from several inherent constraints: storage limitation, performance, relevancy, decentralization, lack of semantic, fault tolerance, scalability. The main intention of this paper is to present a design of an integrated digital library system based on peer-to-peer data mining. (...) This article aims also to prove that peer-to-peer mining, an emerging branch of distributed data mining, is a hot research area well suited to overcome intrinsic problems of digital libraries. (shrink)

Computer Science and Artificial Intelligence will be the twenty-first century logic development of the main power source, and in the twenty-first century will largely determine the face of logic. At least in the early twenty-first century, logic will focus on the following topics: how to deal with common sense reasoning in the logic of Eph coordination, non-monotonic and fault tolerance factors? how to make robots with human intelligence and creativity, as established from the empirical evidence used to guide (...) future action in the induction of judgments can be wrong? how the knowledge representation and knowledge reasoning, in particular, is based on the existing knowledge base and between the cognitive subject knowledge and the reasoning? how contextual factors, combined with a variety of natural language understanding and reasoning, so that intelligent robots to employing natural language for successful communication with people? . . . . And so on. (shrink)

Syntax and semantics in Łukasiewicz infinite-valued sentential logic Ł are harmonized by revising the Bolzano-Tarski paradigm of “semantic consequence,” according to which, θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\theta $$\end{document} follows from Θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Theta $$\end{document} iff every valuation v that satisfies all formulas in Θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Theta $$\end{document} also satisfies θ.\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\theta.$$\end{document} For θ\documentclass[12pt]{minimal} \usepackage{amsmath} (...) \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\theta $$\end{document} to be a consequence of Θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Theta $$\end{document}, we also require that any infinitesimal perturbation of v that preserves the truth of all formulas of Θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Theta $$\end{document} also preserves the truth of θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\theta $$\end{document}. An elementary characterization of Łukasiewicz implication shows that the Łukasiewicz axiom →Y)→→X)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \rightarrow Y ) \rightarrow \rightarrow X )$$\end{document} guarantees the continuity and the piecewise linearity of the implication operation →\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\rightarrow $$\end{document}, an appropriate fault-tolerance property of any logic of [0,1]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\,\mathrm{[0,1]}\,}}$$\end{document}-valued observables. The directional derivability of the functions coded by all ψ∈Θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\psi \in \Theta $$\end{document} and by θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\theta $$\end{document} then provides a quantitative formulation of our refinement of Bolzano-Tarski consequence, which turns out to coincide with the time-honored syntactic Ł-consequence. (shrink)

The task of computing a function F with the help of an oracle X can be viewed as a search problem where the cost measure is the number of queries to X. We ask for the minimal number that can be achieved by a suitable choice of X and call this quantity the query complexity of F. This concept is suggested by earlier work of Beigel, Gasarch, Gill, and Owings on “Bounded query classes”. We introduce a fault tolerant version (...) and relate it with Ulam's game. For many natural classes of functions F we obtain tight upper and lower bounds on the query complexity of F. Previous results like the Nonspeedup Theorem and the Cardinality Theorem appear in a wider perspective. (shrink)

A useful logic in which to specify normative system behaviour, deontic logic has a broad spectrum of possible applications within the field: from legal expert systems to natural language processing, database integrity to electronic contracting and the specification of fault-tolerant software.

Cloud computing deals with voluminous heterogeneous data, and there is a need to effectively distribute the load across clusters of nodes to achieve optimal performance in terms of resource usage, throughput, response time, reliability, fault tolerance, and so on. The swarm intelligence methodologies use artificial intelligence to solve computationally challenging problems like load balancing, scheduling, and resource allocation at finite time intervals. In literature, sufficient works are being carried out to address load balancing problem in the cloud using (...) traditional swarm intelligence techniques like ant colony optimization, particle swarm optimization, cuckoo search, bat optimization, and so on. But the traditional swarm intelligence techniques have issues with respect to convergence rate, arriving at the global optimum solution, complexity in implementation and scalability, which limits the applicability of such techniques in cloud domain. In this paper, we look into performance modeling aspects of some of the recent competitive swarm artificial intelligence based techniques like the whale, spider, dragonfly, and raven which are used for load balancing in the cloud. The results and analysis are presented over performance metrics such as total execution time, response time, resource utilization rate, and throughput achieved, and it is found that the performance of the raven roosting algorithm is high compared to other techniques. (shrink)

Traditional spatial enabled grammars lack flexibility in specifying the spatial semantics of graphs. This paper describes a new graph grammar formalism called the multigranularity Coordinate Graph Grammar (mgCGG) for spatial graphs. Based on the Coordinate Graph Grammar (CGG), the mgCGG divides coordinates into two categories, physical coordinates and grammatical coordinates, where physical coordinates are the common coordinates in the real world, and grammatical coordinates describe the restrictions on the spatial semantics. In the derivation and reduction of the mgCGG, the spatial (...) matching conditions between nodes are evaluated on the basis of the grammatical coordinates, which can be obtained by the specified granularities. By adjusting the granularities, both qualitative and quantitative analyses for spatial semantics can be obtained, including the transition states between them. In addition, a new redex searching algorithm with polynomial time complexity is designed for the mgCGG. A running example of drawing a flowchart is given to illustrate a practical application of the mgCGG. Through a detailed comparison with related spatial-enabled grammars, it is found that the mgCGG has good performance in four critical aspects—the semantics processing mechanism, fault-tolerance, redex searching algorithm, and practical application—providing a flexible yet uniform way to specify spatial graphs and building a bridge between nonspatial and spatial grammars. (shrink)

Aiming at the high false alarm rate when using single sensor to detect fire in aircraft cabin, a multisensor data fusion method is proposed to detect fire. First, the weights of multiple factors, that is, temperature, smoke concentration, CO concentration, and infrared ray intensity in the event of fire, were calculated by using the improved analytic hierarchy process method on each sensor node of wireless sensor network, and the probability of fire event in the cabin was evaluated by multivariable-weighted fusion (...) method. Second, based on the mutual support among the evaluation data of fire probabilities of each node, the adaptive weight coefficient is assigned to each evaluation value, and the weighted fusion of all evaluation values of each node is conducted to obtain the fire probability. In the end, compared to the threshold of probability, the fire alarm is determined. Comparing the proposed algorithm to the grey fuzzy neural network fusion algorithm and fuzzy logic fusion algorithm in terms of the time consumption for fire detection and sending alarm and the accuracy of fire alarm perspectives, the experiments demonstrate that the proposed fire detection algorithm can detect the fire within 10s and reduce the false alarm rate to less than 0.5%, which verifies the superiority of the algorithm in promptness and accuracy. In the meanwhile, the fault tolerance of the algorithm is proved as well. (shrink)

Data Transfer Service (DTS) is an open-source project that is developing a document-centric message model for describing a bulk data transfer activity, with an accompanying set of loosely coupled and platform-independent components for brokering the transfer of data between a wide range of (potentially incompatible) storage resources as scheduled, fault-tolerant batch jobs. The architecture scales from small embedded deployments on a single computer to large distributed deployments through an expandable ‘worker-node pool’ controlled through message-orientated middleware. Data access and transfer (...) efficiency are maximized through the strategic placement of worker nodes at or between particular data sources/sinks. The design is inherently asynchronous, and, when third-party transfer is not available, it side-steps the bandwidth, concurrency and scalability limitations associated with buffering bytes directly through intermediary client applications. It aims to address geographical–topological deployment concerns by allowing service hosting to be either centralized (as part of a shared service) or confined to a single institution or domain. Established design patterns and open-source components are coupled with a proposal for a document-centric and open-standards-based messaging protocol. As part of the development of the message protocol, a bulk data copy activity document is proposed for the first time. (shrink)

Quantum computers are hypothetical quantum information processing (QIP) devices that allow one to store, manipulate, and extract information while harnessing quantum physics to solve various computational problems and do so putatively more efficiently than any known classical counterpart. Despite many ‘proofs of concept’ (Aharonov and Ben–Or 1996; Knill and Laflamme 1996; Knill et al. 1996; Knill et al. 1998) the key obstacle in realizing these powerful machines remains their scalability and susceptibility to noise: almost three decades after their conceptions, experimentalists (...) still struggle to maintain useful quantum coherence in QIP devices with more than a pair of qubits (e.g., Blatt and Wineland 2008). This slow progress has prompted debates on the feasibility of quantum computers, yet the quantum information community has dismissed the skepticism as “ideology” (Aaronson 2004), claiming that the obstacles are merely technological (Kaye et al. 2007, 240). In a recent paper (Hagar 2009) I’ve argued that such a skepticism with respect to the feasibility of quantum computers need not be deemed ideological at all, and that the aforementioned ‘proofs of concept’ are physically suspect. Using analogies from the foundations of classical statistical mechanics (SM), I’ve also argued that instead of active error correction, the appropriate framework for debating the feasibility of large–scale, fault–tolerant and computationally superior quantum computers should be the project of error avoidance: rather than trying to constantly ‘cool down’ the QIP device and prevent its thermalization, one should try to locate those regions in the device’s state space which are thermodynamically ‘abnormal’, i.e., those regions in the device’s state space which resist thermalization regardless of external noise. This paper is intended as a further contribution to the debate on the feasibility of large–scale, fault–tolerant and computationally superior quantum computers. Relying again on analogies from the foundations of classical SM, it suggests a skeptical conjecture and frames it in the ‘passive’, error avoidance, context.. (shrink)

Darwin’s insight that species are mutable, and descent, and origin by means of natural selection is one of the most widely acknowledged strategies for the origin of species and their survival in nature. In his famous contribution, however, Darwin also writes that he is convinced that “... Natural Selection has been the main but not exclusive means of modification ” (Darwin in The origin of species. Oxford Univeristy Press, Oxford, p. 7, 1996 ). This research suggests robustness as another fundamental (...) strategy for survival in nature. The paper does not contradict the popular view, which usually sees robustness as a feature making systems fault-tolerant, thereby focusing on the identification of strategies and techniques for making systems robust (i.e., how to achieve robustness). The paper rather extends this view with an interpretation resting on the question—WHY is robustness omnipresent in the world around us? From this point of view, robustness is interpreted as a fundamental mechanism that is in place because of another fundamental feature in nature—the design and use of sub-optimal systems. The paper argues that, in a sense, nature under-specifies systems but compensates for this by providing systems with various degrees of robustness. We believe that this interpretation may lead to fundamentally new design approaches and insights in several fields. (shrink)