Studies related to the process of program development
- Authors: Williams, Morgan Howard
- Date: 1994
- Subjects: Computer programming
- Language: English
- Type: Thesis , Doctoral , DSc
- Identifier: vital:4680 , http://hdl.handle.net/10962/d1007235
- Description: The submitted work consists of a collection of publications arising from research carried out at Rhodes University (1970-1980) and at Heriot-Watt University (1980-1992). The theme of this research is the process of program development, i.e. the process of creating a computer program to solve some particular problem. The papers presented cover a number of different topics which relate to this process, viz. (a) Programming methodology programming. (b) Properties of programming languages. aspects of structured. (c) Formal specification of programming languages. (d) Compiler techniques. (e) Declarative programming languages. (f) Program development aids. (g) Automatic program generation. (h) Databases. (i) Algorithms and applications.
- Full Text:
- Date Issued: 1994
Diurnal and seasonal variations of the F2 region of the Antarctic ionosphere
- Authors: Williams, Morgan Howard
- Date: 1972
- Subjects: Harmonic analysis , Ionosphere -- Antarctic Ocean
- Language: English
- Type: Thesis , Doctoral , PhD
- Identifier: vital:5548 , http://hdl.handle.net/10962/d1013459
- Description: [From Introduction, p. 2] The first chapter of this thesis deals with an analysis of F2 critical frequency data first for SANAE and then for eleven other Antarctic and sub-Antarctic stations covering the period 1957 to 1969. This shows certain aspects of the F2 behaviour. Some of the results of this chapter have been reported in a paper by Gledhill and Williams. The two most important mechanisms thought to be responsible for the Antarctic f₀F2 behaviour are incoming corpuscular radiation and horizontal neutral winds. These two mechanisms together with two others (the temperature theory of Torr and Torr and the semi-annual variation of neutral atmospheric density) are discussed in detail in part 2 (Chapters 2 to 4) with a view to discovering which aspects of the f₀F2 behaviour over Antarctica can be explained by each theory. An attempt is made in Part 3 (Chapters 5 and 6) to explain the observed behaviour by solving the continuity equation of the ionosphere for high-latitude stations. Finally, besides the critical frequency, another parameter of importance in explaining the behaviour in the F2 region is the height at which the F2 maximum occurs. This quantity cannot be read directly from an ionogram and it is not an easy quantity to determine. In fact the way in which it is usually obtained is by "scaling" the ionogram in question and converting the virtual heights obtained into real heights. In Part 4 (Chapter 7 and 8) an outline is given of the two computer programs which were written to perform this conversion.
- Full Text:
- Date Issued: 1972