It will be settled out for the open problem of designing an r-order finite-time state observer for reaction-diffusion genetic regulatory networks with time-varying delays. By assuming the Dirichlet boundary conditions, aiming to estimate the mRNA and protein concentrations via available network measurements. Firstly, sufficient F-T stability conditions for the filtering error system have been investigated via constructing an appropriate Lyapunov–Krasovskii functional and using several integral inequalities and convex technique simultaneously. These conditions are delay-dependent and reaction-diffusion-dependent and can (...) be checked by MATLAB toolbox. Furthermore, a method is proposed to design an r-order F-T state observer, and the explicit expressions of observer gains are given. Finally, a numerical example is presented to illustrate the effectiveness of the proposed method. (shrink)

We consider the problem of measurement using the Lindblad equation, which allows the introduction of time in the interaction between the measured system and the measurement apparatus. We use analytic results, valid for weak system-environment coupling, obtained for a two-level system in contact with a measurer (Markovian interaction) and a thermal bath (non-Markovian interaction), where the measured observable may or may not commute with the system-environment interaction. Analysing the behavior of the coherence, which tends to a value (...) asymptotically close to zero, we obtain an expression for the time of measurement which depends only on the system-measurer coupling, and which does not depend on whether the observable commutes with the system-bath interaction. The behavior of the coherences in the case of strong system-environment coupling, found numerically, indicates that an increase in this coupling decreases the measurement time, thus allowing our expression to be considered the upper limit for the duration of the process. (shrink)

We provide a mathematical description of quantum measurements with a finite exactness. The exactness of a quantum measurement is used as a new metric on the space of quantum states. This metric differs very much from the standard Euclidean metric. This is the so-called ultrametric. We show that a finite exactness of a quantum measurement cannot he described by real numbers. Therefore, we must change the basic number field. There exist nonequivalent ultrametric Hilbert space representations already (...) in the finite-dimensional case (compare with ideas of L. de Broglie). Different preparation procedures could generate nonequivalent representations. The Heisenberg uncertainty principle is a consequence of properties of a preparation procedure. The uncertainty principle “time-energy” is a consequence of the Schrödinger dynamics. (shrink)

This paper addresses the doubts voiced by Wigner about the physical relevance of the concept of geometrical points by exploiting some facts known to all but honored by none: Almost all real numbers are transcendental; the explicit representation of any one will require an infinite amount of physical resources. An instrument devised to measure a continuous real variable will need a continuum of internal states to achieve perfect resolution. Consequently, a laboratory instrument for measuring a continuous variable in a (...) class='Hi'>finite time can report only a finite number of values, each of which is constrained to be a rational number. It does not matter whether the variable is classical or quantum-mechanical. Now, in von Neumann’s measurement theory (von Neumann, Mathematical Foundations of Quantum Mechanics, Princeton University Press, Princeton, [1955]), an operator A with a continuous spectrum—which has no eigenvectors—cannot be measured, but it can be approximated by operators with discrete spectra which are measurable. The measurable approximant F(A) is not canonically determined; it has to be chosen by the experimentalist. It is argued that this operator can always be chosen in such a way that Sewell’s results (Sewell in Rep. Math. Phys. 56: 271, [2005]; Sewell, Lecture given at the J.T. Lewis Memorial Conference, Dublin, [2005]) on the measurement of a hermitian operator on a finite-dimensional vector space (described in Sect. 3.2) constitute an adequate resolution of the measurement problem in this theory. From this follows our major conclusion, which is that the notion of a geometrical point is as meaningful in nonrelativistic quantum mechanics as it is in classical physics. It is necessary to be sensitive to the fact that there is a gap between theoretical and experimental physics, which reveals itself tellingly as an error inherent in the measurement of a continuous variable. (shrink)

A solution to the measurement problem of quantum mechanics is proposed within the framework of an intepretation according to which only quantum systems with an infinite number of degrees of freedom have determinate properties, i.e., determinate values for (some) observables of the theory. The important feature of the infinite case is the existence of many inequivalent irreducible Hilbert space representations of the algebra of observables, which leads, in effect, to a restriction on the superposition principle, and hence the possibility (...) of defining (macro-) observables which commute with every observable. Such observables have determinate values which are not subject to quantum interference effects. A measurement process is schematized as an interaction between a microsystem and a macrosystem, idealized as an infinite quantum system, and it is shown that there exists a unitary transformation which transforms the initial pure state of the composite system in a finite time (the duration of the interaction) into the required mixture of disjoint states. (shrink)

Feynman's sum-over-histories formulation of quantum mechanics has been considered a useful calculational tool in which virtual Feynman histories entering into a coherent quantum superposition cannot be individually measured. Here we show that sequential weak values, inferred by consecutive weak measurements of projectors, allow direct experimental probing of individual virtual Feynman histories, thereby revealing the exact nature of quantum interference of coherently superposed histories. Because the total sum of sequential weak values of multitime projection operators for a complete set of orthogonal (...) quantum histories is unity, complete sets of weak values could be interpreted in agreement with the standard quantum mechanical picture. We also elucidate the relationship between sequential weak values of quantum histories with different coarse graining in time and establish the incompatibility of weak values for nonorthogonal quantum histories in history Hilbert space. Bridging theory and experiment, the presented results may enhance our understanding of both weak values and quantum histories. (shrink)

000000001. Introduction Call a theory of the good—be it moral or prudential—aggregative just in case (1) it recognizes local (or location-relative) goodness, and (2) the goodness of states of affairs is based on some aggregation of local goodness. The locations for local goodness might be points or regions in time, space, or space-time; or they might be people, or states of nature.1 Any method of aggregation is allowed: totaling, averaging, measuring the equality of the distribution, measuring the minimum, (...) etc.. Call a theory of the good finitely additive just in case it is aggregative, and for any finite set of locations it aggregates by adding together the goodness at those locations. Standard versions of total utilitarianism typically invoke finitely additive value theories (with people as locations). A puzzle can arise when finitely additive value theories are applied to cases involving an infinite number of locations (people, times, etc.). Suppose, for example, that temporal locations are the locus of value, and that time is discrete, and has no beginning or end.2 How would a finitely additive theory (e.g., a temporal version of total utilitarianism) judge the following two worlds? Goodness at Locations (e.g. times) w1:..., 2, 2, 2, 2, 2, 2, 2, 2, 2, ..... w2:..., 1, 1, 1, 1, 1, 1, 1, 1, 1, ..... Example 1 At each time w1 contains 2 units of goodness and w2 contains only 1. Intuitively, we claim, if the locations are the same in each world, finitely additive theorists will want to claim that w1 is better than w2. But it's not clear how they could coherently hold this view. For using standard mathematics the sum of each is the same infinity, and so there seems to be no basis for claiming that one is better than the other.3 (Appealing to Cantorian infinities is of no help here, since for any Cantorian infinite N, 2xN=1xN.). (shrink)

This article addresses the question whether supertasks are possible within the context of non-relativistic quantum mechanics. The supertask under consideration consists of performing an infinite number of quantum mechanical measurements in a finite amount of time. Recent arguments in the physics literature claim to show that continuous measurements, understood as N discrete measurements in the limit where N goes to infinity, are impossible. I show that there are certain kinds of measurements in quantum mechanics for which these arguments (...) break down. This suggests that there is a new context in which quantum mechanics, in principle, permits the performance of a supertask. (shrink)

Comparing the relative sensitivity of direct and indirect measures of learning is proposed as the best way to provide evidence for unconscious learning when both conceptual and operative definitions of awareness are lacking. This approach was first proposed by Reingold & Merikle (1988) in the context of subliminal perception. In this paper, we apply it to a choice reaction time task in which the material is generated based on a probabilistic finite-state grammar (Cleeremans, 1993). We show (1) that (...) participants progressively learn about the statistical structure of the stimulus material over training with the choice reaction time task, and (2) that they can use some of this knowledge to predict the location of the next stimulus in a subsequent “generation” task. However, detailed partial correlational analyses of the correspondence between performance during the reaction time task and the statistical structure of the training material showed that large effects remained even when controlling for explicit knowledge as assessed by the generation task. Hence we conclude (1) that at least some of the knowledge expressed through reaction time performance can not be characterized as conscious, and (2) that even when associations are found at a global level of analysis, dissociations can still be obtained when more detailed analyses are conducted. Finally, we also show that participants are limited in the depth of the contingencies they can learn about, and that these limitations are shared by the Simple Recurrent Network model of Cleeremans & McClelland (1991). (shrink)

The first mention of the concept of an inconsistency measure for sets of formulas in first-order logic was given in 1978, but that paper presented only classifications for them. The first actual inconsistency measure with a numerical value was given in 2002 for sets of formulas in propositional logic. Since that time, researchers in logic and AI have developed a substantial theory of inconsistency measures. While this is an interesting topic from the point of view of logic, an important (...) motivation for this work is also that some intelligent systems may encounter inconsistencies in their operation. This research deals primarily with propositional knowledge bases, that is, finite sets of propositional logic formulas. The goal of this paper is to extend the concept of inconsistency measure in a formal way to sets of formulas with the modal operators “necessarily” and “possibly” applied to propositional logic formulas. We use frames for the semantics, but in a way that is different from the way that frames are commonly used in modal logics, in order to facilitate measuring inconsistency. As a set of formulas may have different inconsistency measures for different frames, we define the concept of a standard frame that can be used for all finite sets of formulas in the language. We do this for two languages. The first language, AMPL, contains formulas where a prefix of operators is applied to a propositional logic formula. The second language, CMPL, adds connectives that can be applied to AMPL formulas in a limited way. We show how to extend propositional logic inconsistency measures to such sets of formulas. Finally, we define a new concept, weak inconsistency measure, and show how to compute it. (shrink)

The article shows that the postulate of a space-time continuum is not a logical necessity, since it is possible to construct a theory, where the ultimate limit for the smallest measurable distance a is finite. This quantum of length is a universal constant, like the light velocity c and Planck's constant h. The generalized theory implies that the total energy content of our Universe Eu = hc/2a and that velocities v > c are possible for material bodies, when (...) their energy is approaching E w That's surprising, but there are no logical inconsistencies. On the contrary, this theory removes a basic contradiction between relativity and quantum mechanics: the EPR paradox. It accounts also for the mysterious "internal degrees of freedom" of elementary particles, by relating them to possible results of space-time measurements, when the quantum of length a is finite. /// O presente artigo visa demonstrar que o postulado de um espaço-tempo contínuo não constitui uma necessidade lógica, pois é possível construir uma teoria em que o derradeiro limite para a mais pequena distância mensurável a é finito. Este quantum de distância é uma constante universal, tal como a velocidade da luz c e a constante de Planck h. A teoria generalizada implica que a energia total contida no nosso Universo Eu = hc/2a e que velocidades v > c são possíveis para corpos materials, sempre que a sua energia se aproxima de Eu Segundo o autor do artigo, isto é algo surpreendente, mas pretende-se contudo demonstrar que não há aqui inconsistências lógicas. Pelo contrário, esta teoria remove uma contradição básica entre relatividade e mecânica quântica: o paradoxo EPR. Mostra-se ainda que a teoria dá também conta desses misteriosos graus internos de liberdade que as partículas elementares demonstram possuir, o que acontece precisamente mediante o estabelecimento de uma relação entre elas e os possíveis resultados de medições do espaço-tempo, sempre que o quantum de distância a é finito. (shrink)

In this paper we offer a critical account of Aristotelian theory of time. After a brief presentation of the main views of Aristotle on the infinite, we focus the attention to the status of points with respect to the potentiality-actuality distinction. Then we address Aristotle’s views on time on the basis of the Aristotelian notion of continuity. We construe the “nows” as potentialities awaiting to be actualized. We show that it is the intervention of an agent, who, through (...) finitely many unitary mental acts of noticing or perceiving, guarantees the actualization of particular “nows”, constructs or brings into existence time intervals and through their comparison measures them, so producing what Aristotle calls time. (shrink)

Comparing the relative sensitivity of direct and indirect measures of learning is proposed as the best way to provide evidence for unconscious learning when both conceptual and operative definitions of awareness are lacking. This approach was first proposed by Reingold & Merikle (1988) in the context of subliminal perception. In this paper, we apply it to a choice reaction time task in which the material is generated based on a probabilistic finite-state grammar (Cleeremans, 1993). We show (1) that (...) participants progressively learn about the statistical structure of the stimulus material over training with the choice reaction time task, and (2) that they can use some of this knowledge to predict the location of the next stimulus in a subsequent “generation” task. However, detailed partial correlational analyses of the correspondence between performance during the reaction time task and the statistical structure of the training material showed that large effects remained even when controlling for explicit knowledge as assessed by the generation task. Hence we conclude (1) that at least some of the knowledge expressed through reaction time performance can not be characterized as conscious, and (2) that even when associations are found at a global level of analysis, dissociations can still be obtained when more detailed analyses are conducted. Finally, we also show that participants are limited in the depth of the contingencies they can learn about, and that these limitations are shared by the Simple Recurrent Network model of Cleeremans & McClelland (1991). (shrink)

In this compendium of essays, some of the world's leading thinkers discuss their conceptions of space and time, as viewed through the lens of their own discipline. With an epilogue on the limits of human understanding, this volume hosts contributions from six or more diverse fields. It presumes only rudimentary background knowledge on the part of the reader. Time and again, through the prism of intellect, humans have tried to diffract reality into various distinct, yet seamless, atomic, yet (...) holistic, independent, yet interrelated disciplines and have attempted to study it contextually. Philosophers debate the paradoxes, or engage in meditations, dialogues and reflections on the content and nature of space and time. Physicists, too, have been trying to mold space and time to fit their notions concerning micro- and macro-worlds. Mathematicians focus on the abstract aspects of space, time and measurement. While cognitive scientists ponder over the perceptual and experiential facets of our consciousness of space and time, computer scientists theoretically and practically try to optimize the space-time complexities in storing and retrieving data/information. The list is never-ending. Linguists, logicians, artists, evolutionary biologists, geographers et cetera, all are trying to weave a web of understanding around the same duo. However, our endeavour into a world of such endless imagination is restrained by intellectual dilemmas such as: Can humans comprehend everything? Are there any limits? Can finite thought fathom infinity? We have sought far and wide among the best minds to furnish articles that provide an overview of the above topics. We hope that, through this journey, a symphony of patterns and tapestry of intuitions will emerge, providing the reader with insights into the questions: What is Space? What is Time? Chapter [15] of this book is available open access under a CC BY 4.0 license. (shrink)

Fifty years ago Hartman studied the barrier transmission time of wave packets (J Appl Phys 33:3427–3433, 1962). He was inspired by the tunneling experiments across thin insulating layers at that time. For opaque barriers he calculated faster than light propagation and a transmission time independent of barrier length, which is called the Hartman effect. A faster than light (FTL or superluminal) wave packet velocity was deduced in analog tunneling experiments with microwaves and with infrared light thirty years (...) later. Recently, the conjectured zero time of electron tunneling was claimed to have been observed in ionizing helium inside the barrier. The calculated and measured short tunneling time arises at the barrier front. This tunneling time was found to be universal for elastic fields as well as for electromagnetic fields. Remarkable is that the delay time is the same for the reflected and the transmitted waves in the case of symmetric barriers. Several theoretical physicists predicted this strange nature of the tunneling process. However, even with this background many members of the physics community do not accept a FTL signal velocity interpretation of the experimental tunneling results. Instead a luminal front velocity was calculated to explain the FTL experimental results frequently. However, Brillouin stated in his book on wave propagation and group velocity that the front velocity is given by the group velocity of wave packets in the case of physical signals, which have only finite frequency bandwidths. Some studies assumed barriers to be cavities and the observed tunneling time does represent the cavity lifetime. We are going to discus these continuing misleading interpretations, which are found in journals and in textbooks till today. (shrink)

In this compendium of essays, some of the world's leading thinkers discuss their conceptions of space and time, as viewed through the lens of their own discipline. With an epilogue on the limits of human understanding, this volume hosts contributions from six or more diverse fields. It presumes only rudimentary background knowledge on the part of the reader. Time and again, through the prism of intellect, humans have tried to diffract reality into various distinct, yet seamless, atomic, yet (...) holistic, independent, yet interrelated disciplines and have attempted to study it contextually. Philosophers debate the paradoxes, or engage in meditations, dialogues and reflections on the content and nature of space and time. Physicists, too, have been trying to mold space and time to fit their notions concerning micro- and macro-worlds. Mathematicians focus on the abstract aspects of space, time and measurement. While cognitive scientists ponder over the perceptual and experiential facets of our consciousness of space and time, computer scientists theoretically and practically try to optimize the space-time complexities in storing and retrieving data/information. The list is never-ending. Linguists, logicians, artists, evolutionary biologists, geographers et cetera, all are trying to weave a web of understanding around the same duo. However, our endeavour into a world of such endless imagination is restrained by intellectual dilemmas such as: Can humans comprehend everything? Are there any limits? Can finite thought fathom infinity? We have sought far and wide among the best minds to furnish articles that provide an overview of the above topics. We hope that, through this journey, a symphony of patterns and tapestry of intuitions will emerge, providing the reader with insights into the questions: What is Space? What is Time? Chapter [15] of this book is available open access under a CC BY 4.0 license. (shrink)

Linear temporal logic is a widely used method for verification of model checking and expressing the system specifications. The relationship between theory of automata and logic had a great influence in the computer science. Investigation of the relationship between quantum finite automata and linear temporal logic is a natural goal. In this paper, we present a construction of quantum finite automata on finite words from linear-time temporal logic formulas. Further, the relation between quantum finite automata (...) and linear temporal logic is explored in terms of language recognition and acceptance probability. We have shown that the class of languages accepted by quantum finite automata are definable in linear temporal logic, except for measure-once one-way quantum finite automata. (shrink)

In the dissertation we study the complexity of generalized quantifiers in natural language. Our perspective is interdisciplinary: we combine philosophical insights with theoretical computer science, experimental cognitive science and linguistic theories. -/- In Chapter 1 we argue for identifying a part of meaning, the so-called referential meaning (model-checking), with algorithms. Moreover, we discuss the influence of computational complexity theory on cognitive tasks. We give some arguments to treat as cognitively tractable only those problems which can be computed in polynomial (...) class='Hi'>time. Additionally, we suggest that plausible semantic theories of the everyday fragment of natural language can be formulated in the existential fragment of second-order logic. -/- In Chapter 2 we give an overview of the basic notions of generalized quantifier theory, computability theory, and descriptive complexity theory. -/- In Chapter 3 we prove that PTIME quantifiers are closed under iteration, cumulation and resumption. Next, we discuss the NP-completeness of branching quantifiers. Finally, we show that some Ramsey quantifiers define NP-complete classes of finite models while others stay in PTIME. We also give a sufficient condition for a Ramsey quantifier to be computable in polynomial time. -/- In Chapter 4 we investigate the computational complexity of polyadic lifts expressing various readings of reciprocal sentences with quantified antecedents. We show a dichotomy between these readings: the strong reciprocal reading can create NP-complete constructions, while the weak and the intermediate reciprocal readings do not. Additionally, we argue that this difference should be acknowledged in the Strong Meaning hypothesis. -/- In Chapter 5 we study the definability and complexity of the type-shifting approach to collective quantification in natural language. We show that under reasonable complexity assumptions it is not general enough to cover the semantics of all collective quantifiers in natural language. The type-shifting approach cannot lead outside second-order logic and arguably some collective quantifiers are not expressible in second-order logic. As a result, we argue that algebraic (many-sorted) formalisms dealing with collectivity are more plausible than the type-shifting approach. Moreover, we suggest that some collective quantifiers might not be realized in everyday language due to their high computational complexity. Additionally, we introduce the so-called second-order generalized quantifiers to the study of collective semantics. -/- In Chapter 6 we study the statement known as Hintikka's thesis: that the semantics of sentences like ``Most boys and most girls hate each other'' is not expressible by linear formulae and one needs to use branching quantification. We discuss possible readings of such sentences and come to the conclusion that they are expressible by linear formulae, as opposed to what Hintikka states. Next, we propose empirical evidence confirming our theoretical predictions that these sentences are sometimes interpreted by people as having the conjunctional reading. -/- In Chapter 7 we discuss a computational semantics for monadic quantifiers in natural language. We recall that it can be expressed in terms of finite-state and push-down automata. Then we present and criticize the neurological research building on this model. The discussion leads to a new experimental set-up which provides empirical evidence confirming the complexity predictions of the computational model. We show that the differences in reaction time needed for comprehension of sentences with monadic quantifiers are consistent with the complexity differences predicted by the model. -/- In Chapter 8 we discuss some general open questions and possible directions for future research, e.g., using different measures of complexity, involving game-theory and so on. -/- In general, our research explores, from different perspectives, the advantages of identifying meaning with algorithms and applying computational complexity analysis to semantic issues. It shows the fruitfulness of such an abstract computational approach for linguistics and cognitive science. (shrink)

In this paper, finite-time tracking problem of nonholonomic mobile robots for a moving target is considered. First of all, polar coordinates are used to characterize the distance and azimuth between the moving target and the robot. Then, based on the distance and azimuth transported from the sensor installed on the robot, a finite-time tracking control law is designed for the nonholonomic mobile robot by the switching control method. Rigorous proof shows that the tracking error converges to (...) zero in a finite time. Numerical simulation demonstrates the effectiveness of the proposed control method. (shrink)

The nondecay probability of an unstable particle at a definite moment of time is investigated provided this particle existed at all earlier observation moments separated with the time interval Δ. Using the usual postulates for quantum measurements it is proved that this probability is described by the exponential function of Δ>0, and it tends to 1 as Δ → 0. An approximate formula is found for the effective decay width Γ(Δ) appearing in the case of multiple measurements. It (...) is shown that Γ(Δ) → 0 as Δ → 0. For Δ → ∞, the width Γ(Δ) → Γ0, with Γ0 being the standard decay with in Weisskopf-Wigner theory. At finite δ's Γ(Δ) may be smaller or greater than Γ0 depending on the parameters of the theory. (shrink)

Entanglement and non-locality are non-classical global characteristics of quantum states important to the foundations of quantum mechanics. Recent investigations have shown that environmental noise, even when it is entirely local in influence, can destroy both of these properties in finite time despite giving rise to full quantum state decoherence only in the infinite time limit. These investigations, which have been carried out in a range of theoretical and experimental situations, are reviewed here.

This work investigates the finite-time control problem for a nonlinear four-tank cross-coupled liquid level system by the port-controlled Hamiltonian model. A fixed-free methodology is exhibited which can be used to simplify the controller design procedure. To get an adjustable convergent gain of the finite-time control, a feasible technique named damping normalization is proposed. A novel parameter autotuning algorithm is given to clarify the principle of choosing parameters of the PCH method. Furthermore, a finite-time controller (...) is designed by a state-error desired Hamiltonian function, and the relationship between the settling time and a parameter is given, which can be applied in practical engineering easily to adjust the settling time according to the industrial need. Finally, simulation and experimental results verify the effectiveness of the proposed algorithm. (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)

The problem of finite-time stability of switched genetic regulatory networks with time-varying delays via Wirtinger’s integral inequality is addressed in this study. A novel Lyapunov–Krasovskii functional is proposed to capture the dynamical characteristic of GRNs. Using Wirtinger’s integral inequality, reciprocally convex combination technique and the average dwell time method conditions in the form of linear matrix inequalities are established for finite-time stability of switched GRNs. The applicability of the developed finite-time stability conditions (...) is validated by numerical results. (shrink)

The problem of finite-time tracking control is discussed for a class of uncertain nonstrict-feedback time-varying state delay nonlinear systems with full-state constraints and unmodeled dynamics. Different from traditional finite-control methods, a C 1 smooth finite-time adaptive control framework is introduced by employing a smooth switch between the fractional and cubic form state feedback, so that the desired fast finite-time control performance can be guaranteed. By constructing appropriate Lyapunov-Krasovskii functionals, the uncertain terms produced (...) by time-varying state delays are compensated for and unmodeled dynamics is coped with by introducing a dynamical signal. In order to avoid the inherent problem of “complexity of explosion” in the backstepping-design process, the DSC technology with a novel nonlinear filter is introduced to simplify the structure of the controller. Furthermore, the results show that all the internal error signals are driven to converge into small regions in a finite time, and the full-state constraints are not violated. Simulation results verify the effectiveness of the proposed method. (shrink)

This study presents the fundamental concepts and technical details of a U-model-based control system design framework, including U-model realisation from classic model sets, control system design procedures, and simulated showcase examples. Consequently, the framework provides readers with clear understandings and practical skills for further research expansion and applications. In contrast to the classic model-based design and model-free design methodologies, this model-independent design takes two parallel formations: it designs an invariant virtual controller with a specified closed-loop transfer function in a feedback (...) control loop and it determines the real controller output by resolving the inverse of the plant U-model. It should be noted that this U-control provides a universal control system design platform for many existing linear/nonlinear and polynomial/state-space models and it complements many existing design approaches. Simulation studies are used as examples to demonstrate the analytically developed formulations and guideline for potential applications. (shrink)

It is shown that there exist subsets A and B of the real line which are recursively constructible such that A has a nonrecursive Hausdorff dimension and B has a recursive Hausdorff dimension but has a finite, nonrecursive Hausdorff measure. It is also shown that there exists a polynomial-time computable curve on the two-dimensional plane that has a nonrecursive Hausdorff dimension between 1 and 2. Computability of Julia sets of computable functions on the real line is investigated. It (...) is shown that there exists a polynomial-time computable function f on the real line whose Julia set is not recurisvely approximable. (shrink)

An expression of the Lindbladian form is proposed that ensures an unambiguous time-continuous reduction of the initial system-pointer wave-packet to one in which the readings and the observable’s values are aligned, formalized as the transition from an outer product to an inner product of the system’s and apparatus’ density matrices. The jump operators are in the basis of the observables, with uniquely determined parameters derived from the measurement set-up (thereby differing from S. Weinberg’s Lindbladian resolution of wave-packet formalism) (...) and conforming to Born’s probability rules. The novelty lies in formalising the adaptability of the surroundings (including the measuring device) to the mode of observation. Accordingly, the transition is of finite duration (in contrast to its instantaneousness in the von Neumann’s formulation). This duration is estimated for a simple half-spin-like model. (shrink)

This paper focuses on the finite-time synchronization analysis for complex-valued recurrent neural networks with time delays. First, two kinds of common activation functions appearing in the existing references are combined together and more general assumptions are given. To achieve our aim, a nonlinear delayed controller with two independent parameters different from the existing ones is provided, which leads to great difficulty. To overcome it, a newly developed inequality is used. Then, via Lyapunov function approach, some criteria are (...) derived to guarantee the finite-time synchronization of the considered system, and the settling time for synchronization is also estimated. Finally, two numerical simulations are given to support the effectiveness and advantages of the obtained results. (shrink)

The concept of time-coarsened density matrix for open systems has frequently featured in equilibrium and non-equilibrium statistical mechanics, without being probed as to the detailed consequences of the time averaging procedure. In this work we introduce and prove the need for a selective and non-uniform time-sampling, whose form depends on the properties of the bath. It is also applicable when an open microscopic sub-system is coupled to another finite system. By use of a time-periodic minimal (...) coupling model between these two systems, we present detailed quantitative consequences of time coarsening, which include initial state independence of equilibration, deviations from long term averages, their environment size dependence and the approach to classicality, as measured by a Leggett–Garg type inequality. An interacting multiple qubit model affords comparison between the time integrating procedure and the more conventional environment tracing method. (shrink)

Abstract In this article, I attempt to trace Emmanuel Levinas's notion of transcendence and its relation to infinity to his Talmudic lectures to offer both a philosophical diagnosis as well as a counter to the essentialist logic of what Levinas considers the traditional or ?metaphysical? concept of time. This opens my speculative argument up to two levels of interpretation as it requires an historical investigation into the cultural context that conditioned Levinas's particular understanding of transcendence and infinity in relation (...) to his turn toward Talmud and sacred Jewish texts in the years following World War Two. But it also requires that we take seriously the critique of history as inadequate to such a task that is inherent in Levinas's presentation of these concepts. All of this hinges on the role and place of ?time? in Levinas. I consider Levinas's category of ?time immemorial? as a counter to the essentialist logic of what Levinas considers the traditional or ?metaphysical? concept of time which I claim is at the core of the ?realist? attitude toward the practice of history founded upon the categories of agency, experience, memory, testimony, and most recently the importance of ?presence?. This in turn leads me to propose two possible alternatives, through Freud and Derrida, that conserve Levinas's critique of the essentialist understanding of time uncoupled from any transcendent or theological mechanism. (shrink)