Every nation under heaven: the importance of the biblical concept of nations for contemporary mission practice

Is there a concept of nationhood in the Bible that can provide us with a framework for cross-cultural Christian mission? This thesis argues that current evangelical missiology has accepted too willingly the categories of the secular Enlightenment understanding of ethnicity and nationhood, and that it needs to rethink its understanding of nations from a biblical standpoint. While the pressures of globalisation are seen by some as rapidly eclipsing the nation-state, this thesis will argue that we need to move beyond the narrower secular categories of citizenship, political power and the boundaries of the state to recover a more biblical understanding of nationhood. By reference to Genesis 10-11, Acts 2:1-11 and those passages in the Book of Revelation that discuss the destiny of the nations, it will show that the biblical understanding of nations includes deeper ideas of shared history, culture and language as the essential components of nationhood. It will explain how nations are part of the created order, and explore the impact of the Babel narrative on our understanding of nations in relation to God. It will demonstrate that Pentecost did not reverse the curse of Babel, but served rather to honour the dignity and value of nations and their languages. It will also argue that nations have a destiny in the New Creation according to the Book of Revelation. This biblical concept of nationhood has significant implications in several areas: the development of a public theology; a Christian response to nationalism; the question of how urban mission fits within mission to the nations; and the importance of indigenous languages in cross-cultural mission, especially in the multicultural cities of Europe.

Probabilistic verification of satellite systems for mission critical applications

In this thesis, we present a quantitative approach using probabilistic verification techniques for the analysis of reliability, availability, maintainability, and safety (RAMS) properties of satellite systems. The subject of our research is satellites used in mission critical industrial applications. A strong case for using probabilistic model checking to support RAMS analysis of satellite systems is made by our verification results. This study is intended to build a foundation to help reliability engineers with a basic background in model checking to apply probabilistic model checking to small satellite systems. We make two major contributions. One of these is the approach of RAMS analysis to satellite systems. In the past, RAMS analysis has been extensively applied to the field of electrical and electronics engineering. It allows system designers and reliability engineers to predict the likelihood of failures from the indication of historical or current operational data. There is a high potential for the application of RAMS analysis in the field of space science and engineering. However, there is a lack of standardisation and suitable procedures for the correct study of RAMS characteristics for satellite systems. This thesis considers the promising application of RAMS analysis to the case of satellite design, use, and maintenance, focusing on its system segments. Data collection and verification procedures are discussed, and a number of considerations are also presented on how to predict the probability of failure. Our second contribution is leveraging the power of probabilistic model checking to analyse satellite systems. We present techniques for analysing satellite systems that differ from the more common quantitative approaches based on traditional simulation and testing. These techniques have not been applied in this context before. We present the use of probabilistic techniques via a suite of detailed examples, together with their analysis. Our presentation is done in an incremental manner: in terms of complexity of application domains and system models, and a detailed PRISM model of each scenario. We also provide results from practical work together with a discussion about future improvements.

Evangelical young women, contemporary Christianity, and an empowering self- understanding: a study into how contemporary women of faith understand themselves and God in relation to Dei, Holy Scripture and Christian mission

This thesis combines historical reflection with qualitative research to examine how Christian young women from Evangelical traditions are developing religious self- understanding in empowering ways. It seeks to establish connections between the ways in which historians and feminist theologians have responded to forces of restriction and limitation in Christian women’s past, and the strategies of self-empowerment adopted by Evangelical young women today. This study approaches Christian history and the present condition of female self-understanding through three central questions: How do young women understand themselves in relation to the imago Dei? How do young women understand themselves in relation to the Bible? How do young women understand themselves in relation to Christian mission? The first chapter addresses the ways in which young women are responding to historic denials of woman as the imago Dei and concepts of female inferiority or especial guilt by reclaiming possession of the divine image. The next section discusses how young women are relating to the Bible in empowering ways, both by adopting similar strategies to those utilised throughout Christianity’s past, and through the development of their own patterns of interpretation. Finally, this thesis draws attention to Christian mission as a space of empowerment, examining how young women develop life-enriching knowledge of God and self through involvement with mission. This thesis proposes that as young women continue to develop strategies that enable them to understand themselves and their faith in empowering ways, knowledge of their innate dignity and potential will inspire them — and those who come after them — to witness to God freely and fully in all contexts.