Sensitivity Analysis for a Scenario-Based Reliability Prediction Model

As a popular means for capturing behavioural requirements, scenariosshow how components interact to provide system-level functionality.If component reliability information is available, scenarioscan be used to perform early system reliability assessment. Inprevious work we presented an automated approach for predictingsoftware system reliability that extends a scenario specificationto model (1) the probability of component failure, and (2) scenariotransition probabilities. Probabilistic behaviour models ofthe system are then synthesized from the extended scenario specification.From the system behaviour model, reliability predictioncan be computed. This paper complements our previous work andpresents a sensitivity analysis that supports reasoning about howcomponent reliability and usage profiles impact on the overall systemreliability. For this purpose, we present how the system reliabilityvaries as a function of the components reliabilities and thescenario transition probabilities. Taking into account the concurrentnature of component-based software systems, we also analysethe effect of implied scenarios prevention into the sensitivity analysisof our reliability prediction technique

Realizing the supersymmetric inverse seesaw model in the framework of R-parity violation

If, on one hand, the inverse seesaw is the paradigm of TeV scale seesaw mechanism, on the other it is a challenge to find scenarios capable of realizing it. In this work we propose a scenario, based on the framework of R-parity violation, that realizes minimally the supersymmetric inverse seesaw mechanism. In it the energy scale parameters involved in the mechanism are recognized as the vacuum expectation values of the scalars that compose the singlet superfields $\hat N^C$ and $\hat S$. We develop also the scalar sector of the model and show that the Higgs mass receives a new tree-level contribution that, when combined with the standard contribution plus loop correction, is capable of attaining $125$GeV without resort to heavy stops.Comment: Minor modification of the text. Final version to be published in PL

Using presence-absence data to establish reserve selection procedures that are robust to temporal species turnover

Previous studies suggest that a network of nature reserves with maximum efficiency (obtained by selecting the minimum area such that each species is represented once) is likely to be insufficient to maintain species in the network over time. Here, we test the performance of three selection strategies which require presence-absence data, two of them previously proposed (multiple representations and selecting an increasing percentage of each species' range) and a novel one based on selecting the site where each species has exhibited a higher permanence rate in the past. Multiple representations appear to be a safer strategy than selecting a percentage of range because the former gives priority to rarer species while the latter favours the most widespread. The most effective strategy was the one based on the permanence rate, indicating that the robustness of reserve networks can be improved by adopting reserve selection procedures that integrate information about the relative value of sites. This strategy was also very efficient, suggesting that the investment made in the monitoring schemes may be compensated for by a lower cost in reserve acquisition

Bounds on the Simplest Little Higgs Model Mass Spectrum Through Z Leptonic Decay

We derive the leptonic neutral current in the simplest little Higgs model and compute the contribution of the model to the decay width $Z \to e^+e^-$. Using the precision electroweak data we obtain a strong lower bound $f\geq 5.6$ TeV at 95% C.L. on the characteristic energy scale of the model. It results in a lower bound for the new gauge bosons $W^{\prime\pm}$ and $Z^{\prime}$ as being $M_{W^{\prime\pm}}\geq 2.6$ TeV and $M_{Z^{\prime}}\geq 3.1$ TeV, respectively. We also present the allowed values of the $k=f_1/f_2$ which is the parameter relating the two vacuum expectation values of the scalar triplets in the model, and the $\mu$ parameter of a quadratic term, involving the triplets, necessary to provide an acceptable mass range for the standard Higgs boson.Comment: New references added, 13 pages. Version to be publishe

Establishing microbial baselines to identify indicators of coral reef health

Microorganisms make a significant contribution to reef ecosystem health and resilience via their critical role in mediating nutrient transformations, their interactions with macro-organisms and their provision of chemical cues that underpin the recruitment of diverse reef taxa. However, environmental changes often cause compositional and functional shifts in microbial communities that can have flow-on consequences for microbial-mediated processes. These microbial alterations may impact the health of specific host organisms and can have repercussions for the functioning of entire coral ecosystems. Assessing changes in reef microbial communities should therefore provide an early indicator of ecosystem impacts and would underpin the development of diagnostic tools that could help forecast shifts in coral reef health under different environmental states. Monitoring, management and active restoration efforts have recently intensified and diversified in response to global declines in coral reef health. Here we propose that regular monitoring of coral reef microorganisms could provide a rapid and sensitive platform for identifying declining ecosystem health that can complement existing management frameworks. By summarising the most common threats to coral reefs, with a particular focus on the Great Barrier Reef, and elaborating on the role of microbes in coral reef health and ecosystem stability, we highlight the diagnostic applicability of microbes in reef management programs. Fundamental to this objective is the establishment of microbial baselines for Australia's coral reefs.AIMS@JCU PhD Scholarship; GBRMPA Science Management Research Award; Advance Queensland PhD Scholarship; Portuguese Science and Technology Foundation (FCT) [SFRH/BPD/110285/2015