The Semantics of Jitter in Anticipating Time Itself within Nano-Databases Michael Heather and Nick Rossiter CEIS, Northumbria University, Newcastle NE1.

Slides:



Advertisements
Similar presentations
I-ESA'08 Berlin1 Logical Foundations for the Infrastructure of the Information Market Heather, Michael, Livingstone, David, & Rossiter, Nick, CEIS, Northumbria.
Advertisements

WHAT IS THE NATURE OF SCIENCE?
Quantum One: Lecture 1a Entitled So what is quantum mechanics, anyway?
Lect.3 Modeling in The Time Domain Basil Hamed
Adjoint Typing: Is it Whitehead’s Category of the Ultimate?
Timed Automata.
Uncertainty in Engineering The presence of uncertainty in engineering is unavoidable. Incomplete or insufficient data Design must rely on predictions or.
1 What are Bit Strings? The View from Process Nick Rossiter Northumbria University.
TRANSMISSION FUNDAMENTALS Review
Quantum Theory of Light A TimeLine. Light as an EM Wave.
Chapter 16 Wave Motion.
Gödel on Time and Relativity Dennis Dieks History and Foundations of Science Utrecht University.
Human Evolution Session I Matter-Universe A multidisciplinary anthropic focus.
Given the Uncertainty Principle, how do you write an equation of motion for a particle? First, remember that a particle is only a particle sort of, and.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 2 Slide 1 Systems engineering 1.
Quantum Theory of the Atom
Modern Physics lecture 3. Louis de Broglie
Definitions of Reality (ref . Wiki Discussions)
Ch 9 pages Lecture 18 – Quantization of energy.
Anticipation in constructing and interrogating Natural Information Systems: From Classical through Nano to Quantum Computing.
Copyright 2002 Prentice-Hall, Inc. Modern Systems Analysis and Design Third Edition Jeffrey A. Hoffer Joey F. George Joseph S. Valacich Chapter 20 Object-Oriented.
Introduction Random Process. Where do we start from? Undergraduate Graduate Probability course Our main course Review and Additional course If we have.
Institute for Experimental Physics University of Vienna Institute for Quantum Optics and Quantum Information Austrian Academy of Sciences Undecidability.
 The Bohr model describes definite electron energy levels within atoms  Bohr’s model only applied to hydrogen – it has been replaced by more sophisticated.
Chapter 4 MODELING AND ANALYSIS. Model component Data component provides input data User interface displays solution It is the model component of a DSS.
A Holistic Security Architecture for Distributed Information Systems – A Categorical Approach.
Physics Department Phys 3650 Quantum Mechanics – I Lecture Notes Dr. Ibrahim Elsayed Quantum Mechanics.
Signals CY2G2/SE2A2 Information Theory and Signals Aims: To discuss further concepts in information theory and to introduce signal theory. Outcomes:
Anticipation as Prediction in the Predication of Data Types Michael Heather and Nick Rossiter CEIS, Northumbria University, Newcastle NE1 8ST
Conceptual Modelling and Hypothesis Formation Research Methods CPE 401 / 6002 / 6003 Professor Will Zimmerman.
WHAT IS THE NATURE OF SCIENCE?. SCIENTIFIC WORLD VIEW 1.The Universe Is Understandable. 2.The Universe Is a Vast Single System In Which the Basic Rules.
1 The Contravariancy of Anticipatory Systems Dimitrios Sisiaridis, Michael Heather & Nick Rossiter Northumbria University, Newcastle NE2 1XE, UK Symposium.
21st May 2004Informatics Research Conference, Northumbria University 1 Some Fundamental Questions in Databases Nick Rossiter (with Michael Heather)
The Representation of Reality in Computational Form Nick Rossiter Visiting Fellow with Michael Heather and Dimitrios Sisiaridis Computing, Engineering.
MODULE 1 In classical mechanics we define a STATE as “The specification of the position and velocity of all the particles present, at some time, and the.
The Quantum Theory of Atoms and Molecules The Schrödinger equation and how to use wavefunctions Dr Grant Ritchie.
Some figures adapted from a 2004 Lecture by Larry Liebovitch, Ph.D. Chaos BIOL/CMSC 361: Emergence 1/29/08.
Complex Systems Concepts
Definitions of Reality (ref. Wiki Discussions). Reality Two Ontologic Approaches What exists: REALISM, independent of the mind What appears: PHENOMENOLOGY,
SIMULATIONS, REALIZATIONS, AND THEORIES OF LIFE H. H. PATTEE (1989) By Hyojung Seo Dept. of Psychology.
1 Typing in Information Systems Nick Rossiter, Michael Heather Computer Science and Digital Technologies Northumbria University, Newcastle NE1 8ST, UK.
Winter 2011SEG Chapter 11 Chapter 1 (Part 1) Review from previous courses Subject 1: The Software Development Process.
Monday, March 30, 2015PHYS , Spring 2015 Dr. Jaehoon Yu 1 PHYS 3313 – Section 001 Lecture #15 Monday, March 30, 2015 Dr. Jaehoon Yu Wave Motion.
AREIN, I-ESA March Higher Order Logic and Interoperability in Global Enterprise Heather, Michael, Livingstone, David, & Rossiter, Nick, CEIS, Northumbria.
Physics Lecture 10 2/22/ Andrew Brandt Monday February 22, 2010 Dr. Andrew Brandt 1.HW4 on ch 5 is due Monday 3/1 2.HW5 on ch 6 will be.
Banaras Hindu University. A Course on Software Reuse by Design Patterns and Frameworks.
Free and Open Systems Theory Nick Rossiter Michael Heather University of Northumbria
Information Systems and the Theory of Categories: Is Every Model an Anticipatory System?
Modern Physics lecture X. Louis de Broglie
Framework for Modeling the Cognitive Process Spatial and Temporal Considerations in a Signal-Based Approach Paul Yaworsky AFRL/IFSB 10th ICCRTS June.
The Natural Metaphysics of Computing Anticipatory Systems Michael Heather Nick Rossiter University of Northumbria
Topic I: Quantum theory Chapter 7 Introduction to Quantum Theory.
PHY 151: Lecture Motion of an Object attached to a Spring 12.2 Particle in Simple Harmonic Motion 12.3 Energy of the Simple Harmonic Oscillator.
WOSC 2008 Wroclaw1 Problems of Interoperability in Information Systems Nick Rossiter and Michael Heather CEIS, Northumbria University, UK
The Quantum Theory of Atoms and Molecules
Quantum Mechanics.
Complexity Time: 2 Hours.
Quantum One.
Introduction.
Chapter 20 Object-Oriented Analysis and Design
Quantum Mechanics.
Nature of Light and Principle
Week 5: INTERNAL CRISIS Armahedi Mahzar ICAS Jacarta 2010
LECTURE 1 – FUNDAMENTAL OF VIBRATION
PHYS 3313 – Section 001 Lecture #17
General Principles 4/10/2019.
Conditions for Interoperability
The Process Semantics of Time and Space as Anticipation
Process in the World as a Transaction
Wave Mechanics Physics 1.
Presentation transcript:

The Semantics of Jitter in Anticipating Time Itself within Nano-Databases Michael Heather and Nick Rossiter CEIS, Northumbria University, Newcastle NE1 8ST /

INVITED SESSION 6.3. THURSDAY AUGUST 9, 8:30-12:30, ROOM 138 Logic and Semantics in Front of Nanoscale Physics Chairman: Salvatore Santoli - Co-Chairman: Peter J. Marcer Dialoguing – Delusion or Physical Reality?, Salvatore Santoli (Italy) Intent, Future, Anticipation: A Semiotic, Transdisciplinary Approach, Hellmut K. Loeckenhoff (Germany) Semantics and Selforganization in Nanoscale Physics, Mikhail B. Ignatyev (Russia) Computers, Nanotechnology and Mind, Bertil Ekdahl (Sweden) The Mind of the Scientist, Otto van Nieuwenhuijze (The Netherlands) The Semantics of Jitter in Anticipating Time Itself Within Nano-Databases, Michael Heather, Nick Rossiter (United Kingdom)

Nano-technology Development of nano-technology –careful examination of anticipatory systems at this small scale –in particular characteristics of time at the boundary between classical and quantum domains quite critical for the advancement of the new technology

Nature of Time Time is not absolute –even in classical subjects like navigation and dynamics –idealised concepts used to iron out fluctuations solar time and Newton's dynamical time –astronomy cannot relate sideral and solar time by exact formulism relies on experimental methods. International Atomic time is a convention –relying on a naturally occurring but arbitrarily selected frequency

Temporal Problems Any temporal component for anticipation –even more problematic for anticipatory systems of modern physics Einstein postulated in his Special Theory that –simultaneity is indeterminable and in General Theory of Relativity –that time is not independent of space and matter Quantum Mechanics places time uncertainty deeper within the laws of physics String theory makes the dimension of time only a potential particle The time between multiverses is not related –Everett’s Theory of Parallel Universes –variety of bubbling universes

Time is Data Time therefore is the data of the Universe and belongs in the semantics of its extensional form At the boundary between classical and quantum behaviour –the uncertainty of time data becomes a significant effect –and this is why it is of great importance in nanotechnology

Russell on Time as Logic Dr. Whitehead, at this stage, persuaded me to abandon points of space, instance of time, and particles of matter, substituting for them logical constructions composed of events. In the end, it seemed to result that none of the raw material of the world has smooth logical properties, but that whatever appears to have such properties is constructed artificially in order to have them. B. Russell, The Principles of Mathematics, 2nd ed, p.xi, 1937

Effect of Gödel The Theory of Anticipating Systems – provides a method for anticipating data classically with respect to time In nano-phenomenon where different time becomes apparent – it is necessary to anticipate time data independent of time itself Classical methods of formal mathematics give only weak anticipation –subject to Gödel undecidability –of limited use for nanotechnology which needs the techniques of strong anticipation To escape the clutches of Gödel undecidability –it is necessary to advance to mathematical categories beyond the category of sets

Interoperability of Time Domains A prime example in current nanotechnology is –the interoperability of different time domains in the ASIC hardware presently available A lack of synchronicity results from many different clock signals

Clock Domain A Clock Domain B Clock Domain C Clock Domain D Clock Domain E Example of Problem: Multiple Time Domains and Signals transferring Data from one Domain to Another From Cohen, D, & Banks, C, Taking the Risk out of Multi-clock Design, Electronics Weekly no p (2007).

Industry Practice Practice in industry –treat uncertainty as noise –provide a clock conditioner designed to generate an ideal time based on a classical model for a sinusoid oscillator additive phase noise,  N (t): [equation 2.28 in the National Semiconductor’s Clock Conditioner Owner's Manual for winter 2006]

Time Correction It follows that the (weak) anticipatory time correction is: Amplitude noise in addition to additive phase noise may be expressed as:

Amplitude Noise Amplitude noise in addition to additive phase noise may be expressed as: with the optimal behaviour given by –v(t) = V 0 (sin(  0 t)) –where oscillator output v(t) is a perfect sinusoid of amplitude V 0 and frequency  0 This provides a higher order component of anticipation

Jitter Capture of time data in databases at this level –exhibits the limitations of weak anticipation –derived by statistical data modeling Noise gives rise to jitter –measure of the displacement from the anticipated phase cycle Jitter has two components: –deterministic –random Jitter causes problems which are difficult to cure

Cycle-to-Cycle Period Jitter This figure from Clock Conditioner Owner’s Manual

Deterministic/Random Deterministic –relates to behaviour that is predictable and determinable Random –relates to phase noise Jitter causes a system to behave in an unpredictable fashion –a severe and expensive problem for anticipating how time will be handled –fundamental difficulty is that jitter is represented using numbers giving rise to undecidability and incompleteness according to Gödel’s theorems In single local time system, jitter may not be a problem –inevitable offence of Gödel though in multiple time systems as interoperability is needed with higher-order operations

This diagram and next from Clock Conditioners Owner’s Manual Cycle-to-Cycle Period Jitter

Period Jitter

Categorical Form Advanced categorical form –calls for the use of adjointness –time jitter is measurable as unit of adjunction counit of adjunction These measures (units) are not a number and are therefore Gödel free

Unit/Counit Measures Similar to those used to achieve simultaneity in database transactions –Rossiter, Heather & Sisiaridis in Process as a World Transaction, Proceedings ANPA 27, (2006). In the categorical view –time is part of the data and is with the system –not an external parameter. To anticipate time is a semantic operation, not a syntactic one. Undecidability –as in transactions with non-deterministic aspects –cannot completely decide how a transaction will behave –random part is undecidable: part of our understanding

Adjointness between Functors F and G mapping Categories L and R F ┤ G

Composition Triangles in Detail a) unit of adjunction  ; b) co-unit of adjunction  Coherence (true time) is when two triangles are satisfied

is eta from η from reference time view ε from actual time view Period Jitter from Categorial Viewpoint

Reference Time L Actual Time R F G η: 1 L  GF(L) ε: FG(R)  1 R Categorial View for η (unit) and ε (counit) of adjunction

Adjointness between Functors F and G: Use of Multiple ‘Cycles’ Three ‘cycles’ GFGFGF: to measure unit in L; counit in R; overall consistency. Performed simultaneously.

Can also be viewed as Monad Monad = where T = GF Comonad would look at dual perspective (FG) CGNR1: Could put categorial version of magazine diagram from earlier CGNR1: Could put categorial version of magazine diagram from earlier

Summary Clock article is example of problems with jitter Different time domains gives problems in interoperability Should be adjointness between the time domains Coherence is achieved when two triangles (for unit and counit) are satisfied Potential of 3-’cycle’ Approaches