Search results

...urrent]] and [[distributed system]]s—have long been formulated by giving ''safety properties'' ("bad things don't happen") and ''liveness properties'' ("good ...a state satisfying <math>Q</math>. Total correctness is a conjunction of a safety property and a liveness property:<ref name="totalcorrectness">{{Cite journa ...

...vior of repairable systems in [[reliability engineering]]. [[Poisson point process]] is a particular case of GRP. The G-renewal process is introduced by [[Masaaki Kijima|Kijima]] and Sumita through the notion of ...

...nding machine does not dispense a drink until money has been entered" (a [[safety property]]) or "the computer program eventually terminates" (a [[liveness p .... Every property can be rewritten as "''P'' and ''Q'' both occur" for some safety property ''P'' and liveness property ''Q''. An invariant for a system is so ...

...hundreds of petroleum refineries worldwide and each of them is designed to process either a specific crude oil or specific types of crude oils. Naphtha is a g ...&BackDesc=Results%20page&MaximumPages=1&ZyEntry=1&SeekPage=x&ZyPURL#|title=Process and Environmental Technology for Producing SNG and Liquid Fuels|last=Beycho ...

...ic reactions]] release heat, and ones that are highly exothermic can cause safety concerns. Semibatch reactors allow for slow addition of reactants in order ...etween using a batch, a semibatch or a [[continuous reactor]] in a certain process. Both batch and semibatch reactors are more suitable for [[liquid phase]] r ...

...spontaneous]] reaction or [[Biotic component|biotic]] conditions through a process known as [[bacterial anaerobic corrosion]]. Along with other forms of corro ...both oxygen-driven and anaerobic mechanisms.<ref name=":0" /> The dominant process will depend on the given conditions. During oxygen-driven corrosion, layers ...

...site factories and transportation to construction sites for assembly. This process has the potential to be superior to traditional building in terms of both t ...s to develop module libraries which would assist in the automation of this process. These modules libraries would hold various pre-designed 2D panels and 3D s ...

...ern safety features including a containment building and [[passive nuclear safety]] systems. Fuel can be changed while the reactor is in operation ([[online ...800 has an electrical generation capacity of 800 [[watt|MW]]. An automated process control system for the MKER-800 was under development in a joint project of ...

...er|ISO 26262#Part 9: Automotive Safety Integrity Level (ASIL)-oriented and safety-oriented analysis}} ...erity, Exposure and Controllability of the vehicle operating scenario. The safety goal for that hazard in turn carries the ASIL requirements. ...

{{Short description|Statistical parameter of random process evolution}} ...' is the average amount of time it takes for a [[stochastic process|random process]] to reach a certain boundary value, usually a boundary far from the mean. ...

...mean. It is usually defined in terms of the number of peaks of the random process that are outside the boundary. It has applications related to predicting ex ...have multiple upcrossings or multiple peaks in rapid succession before the process reverts to its mean.{{sfn|Richardson|Atkins|Kabamba|Girard|2014|pp=2029–203 ...

...w.sciencedirect.com/science/article/pii/S0957582021006959 |journal=Process Safety and Environmental Protection |volume=158 |pages=461–473 |doi=10.1016/j.psep ...

[[File:qprofile.png|thumb|The safety factor profile shortly before and shortly after a sawtooth relaxation in a ...n the final state, the safety factor is greater than unity everywhere. The process flattens temperature and density profiles in the core. ...

...ng where the attacker is lying about a vehicle's position to disrupt VANET safety application. This attack can be performed either through existent vehicles ...nce techniques against traffic accidents.<ref>Leonard Evans. A new traffic safety vision for the united states. American Journal of Public Health, 93(9):1384 ...

...g baking of the metal.<ref name=":3" /> Optimization of the electroplating process, adjusting electrolyte concentrations in Cadmium tetrafluoroborate mixes, h == Hazards and Safety == ...

...xhaustion|title=CDC - Heat Stress - Heat Related Illness - NIOSH Workplace Safety and Health Topic|website=www.cdc.gov|access-date=2016-03-21}}</ref> ...es]] attributable to heat include those caused by: sweaty palms, fogged-up safety glasses, and [[dizziness]].<ref name=":5" /> [[Burn]]s may also occur as a ...

...nt of new bio-based associated by-products. The [[Mill (grinding)|milling process]] separates the [[grain]] into four distinct physical components: the [[Cer ...during fuel [[ethanol]] production. The main objective of the dry-milling process is to separate the [[endosperm]], which is mainly composed of [[starch]], f ...

...compare DSU-capable variants of programs to the original program to assess safety and performance overhead. ...date safety check]] limits the scope of updates to updates which pass that safety check. The mechanism used to transform code and state influences what kinds ...

==Safety== ...ed because no heavy tightening equipment needs to be lifted onto the bolt. Safety is also increased because MJTs prevent parts from becoming loose.<ref name= ...

...is not the caes, it means a duplication occurred and the run rejects. This process allow to encode any channel system into a machine capable of duplication er === Safety property === ...