Runtime verification: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
Newer edit →
en>AnomieBOT
m Dating maintenance tags: {{Citation needed}}
 
Added Contrast Security to the list of commercial products
Line 1: Line 1:
Hello and welcome. My name is Irwin and I completely dig that name. Her spouse and her reside in Puerto Rico but she will have to move 1 day or another. My day occupation is a librarian. The factor she adores most is physique developing and now she is attempting to make money with it.<br><br>Feel free to visit my webpage - [http://www.lankaclipstv.com/blog/165665 lankaclipstv.com]
{{Sidebar with collapsible lists
| name = Thermodynamics
| title = [[Thermodynamics]]
| bodyclass = hlist
| imagestyle = border-top:1px solid #aaa;
| image = [[File:Carnot heat engine 2.svg|frameless|link=Carnot heat engine]]
| captionstyle = padding-bottom:0.65em;border-bottom:1px solid #aaa;
| caption = The classical [[Carnot heat engine]]<br />
'''{{Icon|Book}} [[Book:Thermodynamics]]'''
| listtitlestyle = text-align:center;
| liststyle = border-top:1px solid #aaa;border-bottom:1px solid #aaa;
| expanded = {{{cTopic|{{{expanded|}}}}}}
 
| content1 =
 
| list2name = Branches
| list2title = Branches
| list2 =
* [[Thermodynamics|Classical]]
* [[Statistical mechanics|Statistical]]
* [[Chemical thermodynamics|Chemical]]
* [[Equilibrium thermodynamics|Equilibrium]]{{\}}[[Non-equilibrium thermodynamics|Non-equilibrium]]
 
| list3name = Laws
| list3title = [[Laws of thermodynamics|Laws]]
| list3 =
* [[Zeroth law of thermodynamics|Zeroth]]
* [[First law of thermodynamics|First]]
* [[Second law of thermodynamics|Second]]
* [[Third law of thermodynamics|Third]]
 
| list4name = Systems
| list4title = [[Thermodynamic system|Systems]]
| list4 = {{sidebar|navbar=off
| bodystyle = {{subsidebar bodystyle}}
| headingstyle = font-style:italic;
|heading1 = [[Thermodynamic state|State]]
|content1 =
* [[Equation of state]]
* [[Ideal gas]]
* [[Real gas]]
* [[State of matter|Phase{{\}}State of matter]]
* [[Thermodynamic equilibrium|Equilibrium]]
* [[Control volume]]
* [[Thermodynamic instruments|Instruments]]
 
|heading2 = [[Thermodynamic process|Processes]]
|content2 =
* [[Isobaric process|Isobaric]]
* [[Isochoric process|Isochoric]]
* [[Isothermal process|Isothermal]]
* [[Adiabatic process|Adiabatic]]
* [[Isentropic process|Isentropic]]
* [[Isenthalpic process|Isenthalpic]]
* [[Quasistatic process|Quasistatic]]
* [[Polytropic process|Polytropic]]
* [[Free expansion]]
* [[Reversible process (thermodynamics)|Reversibility]]
* [[Irreversible process|Irreversibility]]
* [[Endoreversible thermodynamics|Endoreversibility]]
 
|heading3 = [[Thermodynamic cycle|Cycle]]s
|content3 =
* [[Heat engine]]s
* [[Heat pump and refrigeration cycle|Heat pumps]]
* [[Thermal efficiency]]
}}
 
| list5name = System properties
| list5title = [[List of thermodynamic properties|System properties]]
| list5 ={{sidebar|navbar=off
| bodystyle = {{subsidebar bodystyle}}
| content1 =
* [[Thermodynamic diagrams|Property diagrams]]
* [[Intensive and extensive properties]]
 
| heading2 = [[State function|Functions of state]]<br/>{{small|([[Conjugate variables (thermodynamics)|Conjugate variables]] in ''italics'')}}
| content2 =
* [[Thermodynamic temperature|Temperature]]{{\}}''[[Entropy]]''
* [[Introduction to entropy]]
* [[Pressure]]{{\}}''[[Volume (thermodynamics)|Volume]]''
* [[Chemical potential]]{{\}}''[[Particle number]]
* [[Vapor quality]]
* [[Reduced properties]]
 
|heading3 = [[Process function]]s
|content3 =
* [[Work (thermodynamics)|Work]]
* [[Heat]]
}}
 
| list6name = Material properties
| list6title = [[Material properties (thermodynamics)|Material properties]]
| list6 =
<div style="text-align:center;font-size:90%;">{{Material properties equations (thermodynamics)}}</div>
* [[Thermodynamic databases for pure substances|Property database]]
 
| list7name = Equations
| list7title = [[Thermodynamic equations|Equations]]
| list7 =
* [[Carnot's theorem (thermodynamics)|Carnot's theorem]]
* [[Clausius theorem]]
* [[Fundamental thermodynamic relation|Fundamental relation]]
* [[Ideal gas law]]
* [[Maxwell relations]]
* [[Onsager reciprocal relations]]
* [[Bridgman's thermodynamic equations]]
* [[Table of thermodynamic equations]]
 
| list8name = Potentials
| list8title = [[Thermodynamic potential|Potentials]]
| list8 =
* [[Thermodynamic free energy|Free energy]]
* [[Free entropy]]
* {{longlink|style=line-height:1.35em;padding-bottom:0.4em; |[[Internal energy]]<br/><math>U(S,V)</math>}}
 
* {{longlink|style=line-height:1.35em;padding-bottom:0.4em; |[[Enthalpy]]<br/><math>H(S,p)=U+pV</math>}}
 
* {{longlink|style=line-height:1.35em;padding-bottom:0.4em; |[[Helmholtz free energy]]<br/><math>A(T,V)=U-TS</math>}}
 
* {{longlink|style=line-height:1.35em;padding-bottom:0.4em; |[[Gibbs free energy]]<br/><math>G(T,p)=H-TS</math>}}
 
| list9name = History/culture
| list9title = History / Culture
| list9 = {{sidebar|navbar=off
| bodystyle = {{subsidebar bodystyle}}
| headingstyle = font-style:italic;
 
|heading1 = [[Philosophy of thermal and statistical physics|Philosophy]]
|content1 =
* [[Entropy (arrow of time)|Entropy and time]]
* [[Entropy and life]]
* [[Brownian ratchet]]
* [[Maxwell's demon]]
* [[Heat death paradox]]
* [[Loschmidt's paradox]]
* [[Synergetics (Haken)|Synergetics]]
 
|heading2 = History
|content2 =
* [[History of thermodynamics|General]]
* [[History of heat|Heat]]
* [[History of entropy|Entropy]]
* [[Gas laws]]
* [[History of perpetual motion machines|"Perpetual motion" machines]]
 
|heading3 = Theories
|content3 =
* [[Caloric theory]]
* [[Vis viva]]
* [[Theory of heat]]
* [[Mechanical equivalent of heat]]
* [[Motive power]]
 
|heading4 = [[List of important publications in physics|Key publications]]
|content4 =
* {{longlink|"[[An Experimental Enquiry Concerning the Source of the Heat which is Excited by Friction|An Experimental Enquiry<br/>Concerning ... Heat]]"}}
 
* {{longlink|"[[On the Equilibrium of Heterogeneous Substances|On the Equilibrium of<br/>Heterogeneous Substances]]"}}
 
* {{longlink|"[[Reflections on the Motive Power of Fire|Reflections on the<br/>Motive Power of Fire]]"}}
 
|heading5 = Timelines
|content5 =
* [[Timeline of thermodynamics|Thermodynamics]]
* [[Timeline of heat engine technology|Heat engines]]
 
|heading6 = Art
|content6 =
* [[Maxwell's thermodynamic surface]]
 
|heading7 = Education
|content7 =
* [[Entropy (energy dispersal)|Entropy as energy dispersal]]
}}
 
 
| list10name = Scientists
| list10title = Scientists
| list10 =
<!--Alphabetical:-->
* [[Daniel Bernoulli|Bernoulli]]
* [[Nicolas Léonard Sadi Carnot|Carnot]]
* [[Benoît Paul Émile Clapeyron|Clapeyron]]
* [[Rudolf Clausius|Clausius]]
* [[Constantin Carathéodory|Carathéodory]]
* [[Pierre Duhem]]
* [[Josiah Willard Gibbs|Gibbs]]
* [[Hermann von Helmholtz|von Helmholtz]]
* [[James Prescott Joule|Joule]]
* [[James Clerk Maxwell|Maxwell]]
* [[Julius von Mayer|von Mayer]]
* [[Lars Onsager|Onsager]]
* [[William John Macquorn Rankine|Rankine]]
* [[John Smeaton|Smeaton]]
* [[Georg Ernst Stahl|Stahl]]
* [[Benjamin Thompson|Thompson]]
* [[William Thomson, 1st Baron Kelvin|Thomson (Baron Kelvin)]]
* [[John James Waterston|Waterson]]
* [[Meghnad Saha|saha]]
}}<noinclude>
 
{{collapsible lists option
|listnames = Branches, Laws, System, System properties, Material properties,<br/>Equations, Potentials, History/culture, Scientists
|example = Material properties
}}
 
[[Category:Chemistry templates]]
[[Category:Mechanics templates]]
[[Category:Physics sidebar templates]]
[[Category:Exclude in print]]
 
</noinclude>

Revision as of 23:03, 7 January 2014

Analyst Programmer Roman from Picton, has interests for instance individuals watching, property developers real estate in singapore [Highly recommended Resource site] singapore and dancing. Previous year just made a journey Vallée de Mai Nature Reserve.

Template:Collapsible lists option


Retrieved from "https://en.formulasearchengine.com/index.php?title=Runtime_verification&oldid=11640"