The Ordered Binary Decision Diagram (OBDD) has been efficiently used to compute the communication network (CN) reliability (REL). The boundary set method (BS) is used to improve the efficiency of the OBDD approach, while the augmented OBDD diagrams (OBDD-A) that stores CN information in its nodes has been proposed to solve other CN performance metrics in addition to REL. The hybrid OBDD (OBDD-H...

Little is understood about the long term, indirect health consequences of drought (a period of abnormally dry weather). In particular, the implications of drought for mental health via pathways such as loss of livelihood, diminished social support, and rupture of place bonds have not been extensively studied, leaving a knowledge gap for practitioners and researchers alike. A systematic review o...

In this paper, the Bree diagram is extended to consider progressive buckling failure and a direct approach for structural design considering ratcheting deformation developed. Firstly, mechanism of structures subjected combination constant cyclic loadings sufficiently discussed. Then, two-stage developed based on Linear Matching Method nonlinear analysis, which can generate curves in diagram. To...

normal 0 false false false en-us x-none ar-sa background: acute kidney injury (aki) is commonly occurred in intensive care unit (icu) patients. the aim of the study was a comparison of rifle (risk of renal injury/injury to the kidney/failure of kidney function/loss of kidney function/end stage disease) classification with other scoring systems in the evaluation of aki in icus. materials and met...

We present an approach for the verification of Statechart specifications. In contrast to other work on Statecharts verification, our approach satisfies the synchrony assumption and handles trigger expressions with negations in a satisfactory way. Our semantic model uses two transition relations. A macrostep relation describes the observable behaviour of the statechart. It is defined through a m...

Mishap investigations provide important information about adverse events and near miss incidents. They are intended to help avoid any recurrence of previous failures. Over time, they can also yield statistical information about incident frequencies that helps to detect patterns of failure and can validate risk assessments. However, the increasing complexity of many safety critical systems is po...

In Eurocode 3, a design rule is given for predicting the ultimate resistance of net cross-section at bolt holes. This based on average stress evaluated in cross-section, and contains both reduction factor 0.9 partial factor. According to previous research, this makes over-conservative uncracked components. There are indications that conservatism accounts possible presence small cracks Very limi...

The quality of midsole products significantly impacts the quality, durability, and comfort users shoe manufactured by ABC company. high percentage average number product defects based on yield data for 12 months is 3.1% which exceeds required company 2%. There are six types in midsole: yellowing, porous, bubbles, broken, over left material trimming. Three from focus improvement Pareto concept, ...