Derivation of scientific software from mathematical specifications

Often the modification and enhancement of large scientific software systems are severely hampered because many components of the system are written in an implementation dependent fashion, they are inadequately documented, and their functionalities are not precisely known. In this paper we consider how mathematics may be employed to alleviate some of these problems. In particular, we illustrate how the formal specification notation VDM-SL is being used to specify precisely abstract data types for use in the development of scientific software.

Prediction of surface roughness during hard turning of AISI 4340 steel (69 HRC)

In this study, 39 sets of hard turning (HT) experimental trials were performed on a Mori-Seiki SL-25Y (4-axis) computer numerical controlled (CNC) lathe to study the effect of cutting parameters in influencing the machined surface roughness. In all the trials, AISI 4340 steel workpiece (hardened up to 69 HRC) was machined with a commercially available CBN insert (Warren Tooling Limited, UK) under dry conditions. The surface topography of the machined samples was examined by using a white light interferometer and a reconfirmation of measurement was done using a Form Talysurf. The machining outcome was used as an input to develop various regression models to predict the average machined surface roughness on this material. Three regression models - Multiple regression, Random Forest, and Quantile regression were applied to the experimental outcomes. To the best of the authors’ knowledge, this paper is the first to apply Random Forest or Quantile regression techniques to the machining domain. The performance of these models was compared to each other to ascertain how feed, depth of cut, and spindle speed affect surface roughness and finally to obtain a mathematical equation correlating these variables. It was concluded that the random forest regression model is a superior choice over multiple regression models for prediction of surface roughness during machining of AISI 4340 steel (69 HRC).

Multi-bubble sonoluminescence: Laboratory curiosity, or real world application?

Sonoluminescence (SL) involves the conversion of mechanical [ultra]sound energy into light. Whilst the phenomenon is invariably inefficient, typically converting just 10^-4 of the incident acoustic energy into photons, it is nonetheless extraordinary, as the resultant energy density of the emergent photons exceeds that of the ultrasonic driving field by a factor of some 10 ¹². Sonoluminescence has specific [as yet untapped] advantages in that it can be effected at remote locations in an essentially wireless format. The only [usual] requirement is energy transduction via the violent oscillation of microscopic bubbles within the propagating medium. The dependence of sonoluminescent output on the generating sound field's parameters, such as pulse duration, duty cycle, and position within the field, have been observed and measured previously, and several relevant aspects are discussed presently. We also extrapolate the logic from a recently published analysis relating to the ensuing dynamics of bubble 'clouds' that have been stimulated by ultrasound. Here, the intention was to develop a relevant [yet computationally simplistic] model that captured the essential physical qualities expected from real sonoluminescent microbubble clouds. We focused on the inferred temporal characteristics of SL light output from a population of such bubbles, subjected to intermediate [0.5-2MPa] ultrasonic pressures. Finally, whilst direct applications for sonoluminescent light output are thought unlikely in the main, we proceed to frame the state-of-the- art against several presently existing technologies that could form adjunct approaches with distinct potential for enhancing present sonoluminescent light output that may prove useful in real world [biomedical] applications.

The VLT-FLAMES Tarantula Survey XXII. Multiplicity properties of the B-type stars

We investigate the multiplicity properties of 408 B-type stars observed in the 30 Doradus region of the Large Magellanic Cloud with multi-epoch spectroscopy from the VLT-FLAMES Tarantula Survey (VFTS). We use a cross-correlation method to estimate relative radial velocities from the helium and metal absorption lines for each of our targets. Objects with significant radial-velocity variations (and with an amplitude larger than 16 km s^-1) are classified as spectroscopic binaries. We find an observed spectroscopic binary fraction (defined by periods of <10^3.5 d and mass ratios >0.1) for the B-type stars, f<inf>B</inf>(obs) = 0.25 ± 0.02, which appears constant across the field of view, except for the two older clusters (Hodge 301 and SL 639). These two clusters have significantly lower binary fractions of 0.08 ± 0.08 and 0.10 ± 0.09, respectively. Using synthetic populations and a model of our observed epochs and their potential biases, we constrain the intrinsic multiplicity properties of the dwarf and giant (i.e. relatively unevolved) B-type stars in 30 Dor. We obtain a present-day binary fraction f<inf>B</inf>(true) = 0.58 ± 0.11, with a flat period distribution. Within the uncertainties, the multiplicity properties of the B-type stars agree with those for the O stars in 30 Dor from the VFTS.

Manufacturing at double the speed

The speed of manufacturing processes today depends on a trade-off between the physical processes of production, the wider system that allows these processes to operate and the co-ordination of a supply chain in the pursuit of meeting customer needs. Could the speed of this activity be doubled? This paper explores this hypothetical question, starting with examination of a diverse set of case studies spanning the activities of manufacturing. This reveals that the constraints on increasing manufacturing speed have some common themes, and several of these are examined in more detail, to identify absolute limits to performance. The physical processes of production are constrained by factors such as machine stiffness, actuator acceleration, heat transfer and the delivery of fluids, and for each of these, a simplified model is used to analyse the gap between current and limiting performance. The wider systems of production require the co-ordination of resources and push at the limits of human biophysical and cognitive limits. Evidence about these is explored and related to current practice. Out of this discussion, five promising innovations are explored to show examples of how manufacturing speed is increasing—with line arrays of point actuators, parallel tools, tailored application of precision, hybridisation and task taxonomies. The paper addresses a broad question which could be pursued by a wider community and in greater depth, but even this first examination suggests the possibility of unanticipated innovations in current manufacturing practices.

Caracterização e modificação de heteroestruturas de nitretos do grupo III

Os nitretos binários semicondutores do grupo III, e respetivos compostos, são vastamente estudados devido à sua possível aplicabilidade em dispositivos optoeletrónicos, tais como díodos emissores de luz (LEDs) e LASERs, assim como dispositivos para a eletrónica de elevadas temperatura, potência e frequência. Enquanto se concretizou a comercialização na última década de LEDs e LASERs recorrendo ao ternário In1-yGayN, estudos das propriedades fundamentais estruturais e óticas, assim como de técnicas de processamento no desenvolvimento de novas aplicações de outros ternários do grupo III-N encontram-se na sua fase inicial. Esta tese apresenta a investigação experimental de filmes finos epitaxiais de Al1-xInxN crescidos sobre camadas tampão de GaN e de Al1-yGayN e o estudo do recozimento e implantação de super-redes (SL) compostas por pontos quânticos de GaN (QD) envolvidos por camadas de AlN. Apesar do hiato energético do Al1-xInxN poder variar entre os 0,7 eV e os 6,2 eV e, por isso, numa gama, consideravelmente superior à dos ternários Al1-yGayN e InyGa1-yN, o primeiro é o menos estudado devido a dificuldades no crescimento de filmes com elevada qualidade cristalina. É efetuada, nesta tese, uma caracterização estrutural e composicional de filmes finos de Al1-xInxN crescidos sobre camadas tampão de GaN e de Al1-yGayN usando técnicas de raios-X, feixe de iões e de microscopia. Mostra-se que o Al1-xInxN pode ser crescido com elevada qualidade cristalina quando a epitaxia do crescimento se aproxima da condição de rede combinada do Al1-xInxN e da camada tampão (GaN ou Al1-yGayN), isto é, com conteúdo de InN de ~18%, quando crescido sobre uma camada de GaN. Quando o conteúdo de InN é inferior/superior à condição de rede combinada, fenómenos de relaxação de tensão e deterioração do cristal tais como o aumento da rugosidade de superfície prejudicam a qualidade cristalina do filme de Al1-xInxN. Observou-se que a qualidade dos filmes de Al1-xInxN depende fortemente da qualidade cristalina da camada tampão e, em particular, da sua morfologia e densidade de deslocações. Verificou-se que, dentro da exatidão experimental, os parâmetros de rede do ternário seguem a lei empírica de Vegard, ou seja, variam linearmente com o conteúdo de InN. Contudo, em algumas amostras, a composição determinada via espetrometria de retrodispersão de Rutherford e difração e raios-X mostra valores discrepantes. Esta discrepância pode ser atribuída a defeitos ou impurezas capazes de alterar os parâmetros de rede do ternário. No que diz respeito às SL dos QD e camadas de AlN, estudos de recozimento mostraram elevada estabilidade térmica dos QD de GaN quando estes se encontram inseridos numa matriz de AlN. Por implantação iónica, incorporou-se európio nestas estruturas e, promoveu-se a ativação ótica dos iões de Eu3+ através de tratamentos térmicos. Foram investigados os efeitos da intermistura e da relaxação da tensão ocorridos durante o recozimento e implantação nas propriedades estruturais e óticas. Verificou-se que para fluências elevadas os defeitos gerados por implantação são de difícil remoção. Contudo, a implantação com baixa fluência de Eu, seguida de tratamento térmico, promove uma elevada eficiência e estabilidade térmica da emissão vermelha do ião lantanídeo incorporado nos QD de GaN. Estes resultados são, particularmente relevantes, pois, na região espetral indicada, a eficiência quântica dos LEDs convencionais de InGaN é baixa.

Sectorial antennas for WSN localization system

This work investigates low cost localization systems (LS) based on received signal strength (RSS) and integrated with different types of antennas with main emphasis on sectorial antennas. The last few years have witnessed an outstanding growth in wireless sensor networks (WSN). Among its various possible applications, the localization field became a major area of research. The localization techniques based on RSS are characterized by simplicity and low cost of integration. The integration of LS based on RSS and sectorial antennas (SA) was proven to provide an effective solution for reducing the number of required nodes of the networks and allows the combination of several techniques, such as RSS and angle of arrival (AoA). This PhD thesis focuses on studying techniques, antennas and protocols that best meet the needs of each LS with main focus on low cost systems based on RSS and AoA. Firstly there are studied localization techniques and system that best suit the requirements of the user and the antennas that are most appropriate according to the nature of the signal. In this step it is intended to provide a fundamental understanding of the undertaken work. Then the developed antennas are presented according to the following categories: sectorial and microstrip antennas. Two sectorial antennas are presented: a narrowband antenna operating at 2.4 to 2.5 GHz and a broadband antenna operating at 800MHz-2.4GHz. The low cost printed antennas were designed to operate at 5 GHz, which may be used for vehicular communication. After presenting the various antennas, several prototypes of indoor/outdoor LS are implemented and analyzed. Localization protocols are also proposed, one based on simplicity and low power, and the other on interoperability with different types of antennas and system requirements.

Padrões de crescimento em otólitos de larvas de Pomatoschistus pictus (Pisces, Gobiidae)

Dissertação mest., Biologia Marinha, Universidade do Algarve, 2006

Kiss of God: Spiritual Death in Jewish Religious History, pt. 2

Discussion of the spiritual face of Judaism in one of its many appearances. Fishbane explores the quest for spiritual perfection in early rabbinic sources and in Jewish philosophy and mysticism. The "kiss of God," a symbol for union with God, and the ritual practices - meditation and performance - connected with it are presented.

Recent Archaeological Discoveries and Biblical Research, pt. 3

Discussion of how archaeology today can illuminate the world of the Bible, specifically the Israelite settlement in Canaan, and how it is possible to reconstruct the lost background of the Israelite cults.

Jewish Identity in the Modern World: Its Nature and Dynamics, pt. 3

Jewish identity and its development through the Enlightenment, Antisemitism and Zionism.

Jewish Identity in the Modern World: Its Nature and Dynamics, pt. 2

Discussion of Jewish Identity and its development through the Enlightenment, Antisemitism and Zionism.

Jewish Identity in the Modern World: Its Nature and Dynamics, pt. 1

Discussion of the development of Jewish identity, considering the Enlightenment, Antisemitism, and Zionism.

Recent Archaeological Discoveries and Biblical Research, pt. 1

Discussion of how archaeology today can illuminate the world of the Bible, specifically the Israelite settlement in Canaan, and how it is possible to reconstruct the lost background of the Israelite cults.

Kiss of God: Spiritual Death in Jewish Religious History, pt. 1

Discussion of the spiritual face of Judaism in one of its many appearances. Fishbane explores the quest for spiritual perfection in early rabbinic sources and in Jewish philosophy and mysticism. The "kiss of God," a symbol for union with God, and the ritual practices - meditation and performance - connected with it are presented.