Safety cases are now regularly used to communicate the argument about the achievement of acceptable levels of safety for safety critical systems. Increasingly, safety standards such as Defence Standard 00-56 require the scope of the safety case to cover not only the development of the system, but also operating and maintenance through life, including decommissioning. This involves two dimension...

In previous papers, we asserted that software system safety is primarily concerned with epistemic questions, that is, questions concerning knowledge and the degree of confidence that can be placed in that knowledge. We also enumerated a set of 21 foundational epistemic questions, discussed some of the difficulties that exist in answering these questions adequately today, and speculated briefly ...

This thesis is basically designed for privacy preserving utility mining using sanitization approach. In this work itemsets are provided safety using an approach , firstly we will calculate the utility of all itemsets as the product of item cost and its number of transactions, then we will set a threshold utility which will be the average of max and min utility. Now, we will try to reduce the di...

SAT based Bounded Model Checking (BMC) is an efficient method for detecting logical errors in finite-state transition systems. Given a transition system, an LTL property, and a user defined bound k, a bounded model checker generates a propositional formula that is satisfiable if and only if a counterexample to the property of length up to k exists. Standard SAT checkers can be used to check thi...

Variable-threshold threshold elements (V-T threshold elements) are threshold elements in which the weights are fixed while the threshold may be varied. When the threshold is varied, a set of functions is generated. A concept termed complete uniformity, analogous to complete monotonicity, is shown to be a necessary condition for a set of functions to be realizable by a single V-T threshold eleme...

Three basic auditory abilities were measured in 21 visually impaired college students and 21 sighted college students with same age and gender composition. The measurement consists of the hearing level of 11 tones, masking thresholds of same 11 tones masked by 80dB narrow band noises and frequency difference limens (FDL) of 3 tones. The results indicate that all the three auditory abilities of ...

The objective of the study was to verify whether young males' balance was affected by 30min prolonged treadmill running (TR) at individual ventilatory (IVT) and anaerobic (IAT) thresholds in recovery time. The VO2max, IAT and IVT during an incremental TR were determined. Mean displacement amplitude (Acp) and velocity (Vcp) of center of pressure were recorded before (pre) and after (0min post; 5...

Realistic network-like systems are usually composed of multiple networks with interacting relations such as school-enterprise research and development (R&D) collaboration networks. Here we study the percolation properties of a special kind of that R&D collaboration networks, namely institute-enterprise R&D collaboration networks (IERDCNs). We introduce two actual IERDCNs to show their structura...

This study aimed to estimate the power/time relationship from a single ramp test (RT) assuming critical power (Pc) from ventilatory threshold (VT) and energy reserve (W') from total work during RT These estimates from single RT were compared to those from a series of 4 constant power exercises (CPT) and from a series of 4 RT. Only W' from CPT was higher than from the series of RT and from singl...

.............................................................................................................................. viii Table of