Cyber-physical Systems. Pedro H. J. NardelliЧитать онлайн книгу.
terminology, Maxwell's demon could be renamed an ideal smart controller.
Clearly, with the knowledge and technology available in the nineteenth century, as well as the general context back then, defining the problem as a thought experiment in reference to a demon is understandable. The proposed change of name is an index that the demon is a computing device that is internal to the closed system. Since computing has its own fundamental laws related dissipation of energy as demonstrated by Landauer in [13], this result indicates that the Maxwell's demon experiment cannot form an isolated system because of the fundamental limits of computation. Therefore, the second law remains valid, and the Maxwell's demon experiment cannot exist as a system whose function is to decrease the entropy of an isolated system.
Given this, we can rectify our demarcation of Maxwell's demon as follows.
1 PS (a) Structural components: a completely isolated box with a door that can open and close in an ideal way, (b) operating components: an ideal smart controller which controls the door; and (c) flow components: a gas with equal temperature composed of molecules moving at different speeds.
2 PF Decrease the entropy of the system through necessary computing processes assuming no exchange of energy between it and its outside except by the unavoidable dissipation related to computing processes.
3 C1 It is physically possible to decrease the entropy of an isolated system without violating the second law of thermodynamics by utilizing necessary computing processes.
4 C2 The demon needs to know the velocity of the particles, their positions, and the sides that are associated with “cold” and “hot” states in order to control the door without using energy aiming at a decrease in the system entropy. These are the computing processes.
5 C3 The system has no relation to the environment (no flow of energy, matter, or information) except by the fundamental heat generation related to the necessary computing processes.
In this way, the conceptual system is posed in scientific terms that allow for experimentation by its material realization. As the result presented in [12] demonstrates, this thought experiment can be materially realized. However, we are not yet done with the Maxwell's demon experiment because of its relations to uncertainty, information, and decision‐making: all topics related to the following chapters! The demon will stay with us for a while more.
2.6 Summary
In this chapter, we went through different meanings of the word “system.” Among its different usages, we employed the definition and conceptualization from Systems Engineering as our theoretical raw material to then produce a scientific concept. From the general formalization of a system based on its components with their own specific attributes combined to perform a specific function or specific functions, we defined and solved the demarcation problem. The demarcation problem refers to how a particular system – determined by its peculiar function – is articulated with everything else by means of its conditions of existence. The demarcation is a theoretical process, exclusively symbolic, that produces objective knowledge of particular engineered objects that are conceptualized as functioning systems, which already exist or might exist. We also indicated different forms into which systems can be classified with respect to their own characteristics. Different examples were presented to illustrate the most important topics. At the end of this chapter, we dedicated a section to analyze as a system one classical thought experiment that will reappear in the following chapters: Maxwell's demon.
Exercises
1 2.1 Residential heating system. There are different ways to heat a house during cold periods as indicated by the USA Energy Department [14]. The idea here is to apply the concepts learned in this chapter to analyze residential heating.Consider an electric heating system connected to the main grid (as any other appliance of your house). Demarcate this system following Example 2.3.Classify the system demarcated in (a) following the examples presented in Section 2.4.During the winter months, the electricity demand in households with electric heating grows as the temperature decreases. Think about a heating system that could function without electricity from the grid. Demarcate this potential heating system and compare it with (a).
2 2.2 Boolean algebra and logic circuits. George Boole, an English mathematician and philosopher from the nineteenth century, proposed in his first book in 1847 a mathematical approach to logic by using mathematical symbols to represent classes of objects and then to manipulate them by mathematics [15]. In another groundbreaking work dating to 1938, Claude Shannon proposed in his Master's thesis a way to materially realize Boolean algebra by circuits [16]. They are represented by truth tables and logical circuits as illustrated in Figure 2.2.Analyze as a system (similar to Exercise 1) the logic gates AND, OR, and NOT, which are the basis of all logic circuits.Figure 2.2 Truth tables and logic gates of AND, OR and NOT operations.Propose a way to materially realize these three logic gates based on (a).Follow the same steps used in (a) to analyze the proposal in (b), identifying the main differences between the conceptual system and its potential material realization.Read Shannon's Master's thesis [16] and discuss the importance of such a discovery.PS The reader is suggested to play with online Boolean algebra calculators (e.g. [17]) as an extra task; a starting point could be the calculation of the truth tables presented in Figure 2.2.
References
1 1 Merriam‐Webster Dictionary. System; 2020. Last accessed 22 October 2020. https://www.merriam-webster.com/dictionary/system.
2 2 Blanchard BS, Fabrycky WJ. Systems Engineering and Analysis: Pearson New International Edition. Pearson Higher Ed; 2013.
3 3 Isermann R, Schaffnit J, Sinsel S. Hardware‐in‐the‐loop simulation for the design and testing of engine‐control systems. Control Engineering Practice. 1999;7(5):643–653.
4 4 Haag S, Anderl R. Digital twin–proof of concept. Manufacturing Letters. 2018;15:64–66.
5 5 Beltrami E. Mathematics for Dynamic Modeling. Academic Press; 2014.
6 6 Wolfram S. A New Kind of Science. vol. 5. Wolfram Media, Champaign, IL; 2002.
7 7 Wolfram S. A class of models with the potential to represent fundamental physics. Complex Systems. 2020;29(2):107–147.
8 8 Drake GWF. Thermodynamics. Encyclopædia Britannica; 2020. Last accessed 10 November 2020. https://www.britannica.com/science/thermodynamics.
9 9 Prigogine I, Stengers I. Order out of chaos: Man's new dialogue with nature. Verso Books; 2018.
10 10 Thomson W. Kinetic Theory of the Dissipation of Energy. Nature. 1874;9:441–444.
11 11 Lotha G. The Editors of Encyclopaedia Britannica. Maxwell's demon. Encyclopædia Britannica; 2007. Last accessed 09 November 2020. https://www.britannica.com/science/Maxwells-demon.
12 12 Koski JV, Kutvonen A, Khaymovich IM, Ala‐Nissila T, Pekola JP. On‐chip Maxwell's demon as an information‐powered refrigerator. Physical Review Letters. 2015;115(26):260602.
13 13 Landauer R. Irreversibility and heat generation in the computing process. IBM Journal of Research and Development. 1961;5(3):183–191.
14 14 USA Energy Department. Home Heating Systems. USA Energy Department; 2020. Last accessed 11 November 2020. https://www.energy.gov/energysaver/heat-and-cool/home-heating-systems.
15 15