Process safety might be considered as the most important area to improve several aspects in the process industry design. Ways of dealing with hazards include means to either control them or totally remove them. Both control and removal ways can be applied during the design stage to produce inherently safer designs. There exist several practical examples where issues related to inherently safer ...

1 Inductive Treatment of Safety In MA00] Neophytos G. Michael and Andrew W. Appel introduce machine safety for a transition relation 7 ! on the set of machine states S as follows: Safe(s) :() 8s 0 : s 7 ! s 0) 9s 00 : s 0 7 ! s 00 This expresses that a state is safe if after a nite number of transitions starting from this state there is still one more possible transition. Given an invariant Inv...

In this paper, we first establish a new fixed point theorem for a Meir-Keeler type condition. As an application, we derive a simultaneous generalization of Banach contraction principle, Kannan's fixed point theorem, Chatterjea's fixed point theorem and other fixed point theorems. Some new fixed point theorems are also obtained.

In this paper, a vector version of the intermediate value theorem is established. The main theorem of this article can be considered as an improvement of the main results have been appeared in [textit{On fixed point theorems for monotone increasing vector valued mappings via scalarizing}, Positivity, 19 (2) (2015) 333-340] with containing the uniqueness, convergent of each iteration to the fixe...

In this paper, we study fuzzy calculus in two main branches differential and integral.  Some rules for finding limit and $gH$-derivative of $gH$-difference, constant multiple of two fuzzy-valued functions are obtained and we also present fuzzy chain rule for calculating  $gH$-derivative of a composite function.  Two techniques namely,  Leibniz's rule and integration by parts are introduced for ...

recently, zhang and song [q. zhang, y. song, fixed point theory forgeneralized $varphi$-weak contractions,appl. math. lett. 22(2009) 75-78] proved a common fixed point theorem for two mapssatisfying generalized $varphi$-weak contractions. in this paper, we prove a common fixed point theorem fora family of compatible maps. in fact, a new generalization of zhangand song's theorem is given.

We enrich the static semantics of Haskell in order to give stronger static guarantees about the input/output behavior of programs. Our approach has two parts: a contract system for Haskell, and a novel strategy for statically checking that a term satisfies a contract. The contract system includes refinement types, which refine Haskell types by arbitrary Boolean-valued Haskell expressions, and a...

Let T be a compact Hausdorff topological space and let M denote an n–dimensional subspace of the space C(T ), the space of real–valued continuous functions on T and let the space be equipped with the uniform norm. Zukhovitskii [7] attributes the Basic Theorem to E.Ya.Remez and gives a proof by duality. He also gives a proof due to Shnirel’man, which uses Helly’s Theorem, now the paper obtains a...

Recently, Zhang and Song [Q. Zhang, Y. Song, Fixed point theory forgeneralized $varphi$-weak contractions,Appl. Math. Lett. 22(2009) 75-78] proved a common fixed point theorem for two mapssatisfying generalized $varphi$-weak contractions. In this paper, we prove a common fixed point theorem fora family of compatible maps. In fact, a new generalization of Zhangand Song's theorem is given.