Runtime verification: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
Added Contrast Security to the list of commercial products
Corrected typo "formalsism" to "formalisms"
 
(One intermediate revision by one other user not shown)
Line 1: Line 1:
{{Sidebar with collapsible lists
Myrtle Benny  at home std testing is how I'm called and I feel comfortable when individuals use the full title. Hiring is  [http://fankut.com/index.php?do=/profile-2572/info/ home std test] her working day job now but over the counter std [http://www.onlinedatingmagazine.com/STDs/STDadvice/treatablestds.html test she's] usually needed her own business. One of [http://checkmates.co.za/index.php?do=/profile-120229/info/ std home test] the things he enjoys most is ice skating but he is having home std test difficulties to find time for it. For many years he's been living in North Dakota and his family loves it.<br><br>Feel free to visit my web page [http://www.articlestunner.com/cures-for-the-yeast-infection-suggestions-to-use-now/ www.articlestunner.com]
| 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>

Latest revision as of 18:53, 6 November 2014

Myrtle Benny at home std testing is how I'm called and I feel comfortable when individuals use the full title. Hiring is home std test her working day job now but over the counter std test she's usually needed her own business. One of std home test the things he enjoys most is ice skating but he is having home std test difficulties to find time for it. For many years he's been living in North Dakota and his family loves it.

Feel free to visit my web page www.articlestunner.com