Optimal transfer trees and distinguishing trees for testing observable nondeterministic finite-state machines

The fault-state detection approach for blackbox testing consists of two phases. The first is to bring the system under test (SUT) from its initial state to a targeted state t and the second is to check various specified properties of the SUT at t. This paper investigates the first phase for testing systems specified as observable nondeterministic finite-state machines with probabilistic and weighted transitions. This phase involves two steps. The first step transfers the SUT to some state t' and the second step identifies whether t' is indeed the targeted state t or not. State transfer is achieved by moving the SUT along one of the paths of a transfer tree (TT) and state identification is realized by using diagnosis trees (DT). A theoretical foundation for the existence and characterization of TT and DT with minimum weighted height or minimum average weight is presented. Algorithms for their computation are proposed.     

Evaluating software reuse alternatives: a model and its application to an industrial case study

We propose a model that enables software developers to systematically evaluate and compare all possible alternative reuse scenarios. The model supports the clear identification of the basic operations involved and associates a cost component with each basic operation in a focused and precise way. The model is a practical tool that assists developers to weigh and evaluate different reuse scenarios, based on accumulated organizational data, and then to decide which option to select in a given situation. The model is currently being used at six different companies for cost-benefit analysis of alternative reuse scenarios; we give a case study that illustrates how it has been used in practice.     

Effect of broaching on high-temperature fatigue behavior in notched specimens of INCONEL 718

Notches were machined in specimens of INCONEL 718 by a broaching process, where differing broaching runs led to differing extents of subsurface deformation and surface roughness. Fatigue tests were carried out at 600 °C with a trapezoidal loading waveform at 0.25 Hz. The broaching process that led to the more severe subsurface deformation (but lower surface roughness) showed the worst fatigue performance. Analysis of total strain amplitude in the notch root with the aid of an elastoplastic finite-element (FE) model showed that the work hardening related to the subsurface deformation caused by the different broaching can account for the difference in fatigue lives. Differences in initiation and growth behavior were seen for the two broached finishes as well as for broached and subsequently polished samples. These differences are discussed in terms of a change in crack growth initiation and growth mechanisms due to the presence of the work-hardened layer.     

Thermal Transformations of an Aluminoborophosphate Binder

Thermal transformations of a commercial aluminoborophosphate binder are studied in a broad temperature range by optical microscopy, x-ray diffraction, IR spectroscopy, and thermal analysis. The introduction of B₂O₃ reduces the temperature of phosphate polycondensation, enhances the stability of cyclometaphosphates in a broad temperature range (180–1100°C), and reduces the stability of hydrogen phosphates.     

A test for the statistical significance of DNA sequence similarities for application in databank searches

A method is developed, based on word-searching, which provides a rapid test for the statistical significance of DNA sequence similarities for use in databank searching. The method makes allowance for the lengths and dinucleotide compositions of the sequences being compared. A way is also described to calculate the power of the test, i.e. the probability of detecting a given similarity as being statistically significant. The effects on the power of the test of the scoring method, word length, sequence length, and sequence composition are examined. A novel scoring method is shown to be superior to the method currently used in most word-searching algorithms.     

Domain-Driven, Actionable Knowledge Discovery

Data mining increasingly faces complex challenges in the real-life world of business problems and needs. The gap between business expectations and R&D results in this area involves key aspects of the field, such as methodologies, targeted problems, pattern interestingness, and infrastructure support. Both researchers and practitioners are realizing the importance of domain knowledge to close this gap and develop actionable knowledge for real user needs.     

Numerical solution for shape optimization of an impactor penetrating into a semi-infinite target

The shape of the impactor with the maximum depth of penetration (DOP) for a given impact velocity is found using a numerical procedure for solving a corresponding non-classical variational problem. It is shown that the optimum shape in a general case is close to a blunt cone. The variation of the optimal shape of the impactor and the dependence of the DOP vs. the initial (impact) velocity and friction coefficient is studied. The analysis is performed also for optimal conical impactors.