Browsing marked-up documents by traversing hyperlinks has become probably the most important means by which documents are accessed, both via the World Wide Web (WWW) and organisational Intranets. However, there is a pressing demand for document management and retrieval systems to deal appropriately with the massive number of documents available. There are two classes of solution: general search engines, whether for the WWW or an Intranet, which make little use of specific domain knowledge or hand-crafted specialised systems which are costly to build and maintain. The aim of this thesis was to develop a document management and retrieval system suitable for small communities as well as individuals in specialised domains on the Web. The aim was to allow users to easily create and maintain their own organisation of documents while ensuring continual improvement in the retrieval performance of the system as it evolves. The system developed is based on the free annotation of documents by users and is browsed using the concept lattice of Formal Concept Analysis (FCA). A number of annotation support tools were developed to aid the annotation process so that a suitable system evolved. Experiments were conducted in using the system to assist in finding staff and student home pages at the School of Computer Science and Engineering, University of New South Wales. Results indicated that the annotation tools provided a good level of assistance so that documents were easily organised and a lattice-based browsing structure that evolves in an ad hoc fashion provided good efficiency in retrieval performance. An interesting result suggested that although an established external taxonomy can be useful in proposing annotation terms, users appear to be very selective in their use of terms proposed. Results also supported the hypothesis that the concept lattice of FCA helped take users beyond a narrow search to find other useful documents. In general, lattice-based browsing was considered as a more helpful method than Boolean queries or hierarchical browsing for searching a specialised domain. We conclude that the concept lattice of Formal Concept Analysis, supported by annotation techniques is a useful way of supporting the flexible open management of documents required by individuals, small communities and in specialised domains. It seems likely that this approach can be readily integrated with other developments such as further improvements in search engines and the use of semantically marked-up documents, and provide a unique advantage in supporting autonomous management of documents by individuals and groups - in a way that is closely aligned with the autonomy of the WWW.

Copies of author's previously published works inserted. Bibliography: p. 56-57.

Bibliography: p. 377-382.

"October 2002" Bibliography: p. 129-136. 1. Introduction -- 2. QCD and the standard model -- 3. The Lattice -- 4. Symanzik improvement in the Static Quark Potential -- 5. Scale determination for an improved Gluon Action -- 6. Fat-link Irrelevant Clover Fermion actions -- 7. Excited Baryons in Lattice QCD -- 8. Spin 3/2 Baryons -- 9. Conclusion. This thesis reports work done in conducting numerical simulations of Lattice QCD.

There are many problems in mathematical finance which require the evaluation of a multivariate integral. Since these problems typically involve the discretisation of a continuous random variable, the dimension of the integrand can be in the thousands, tens of thousands or even more. For such problems the Monte Carlo method has been a powerful and popular technique. This is largely related to the fact that the performance of the method is independent of the number of dimensions. Traditional quasi-Monte Carlo techniques are typically not independent of the dimension and as such have not been suitable for high-dimensional problems. However, recent work has developed new types of quasi-Monte Carlo point sets which can be used in practically limitless dimension. Among these types of point sets are Sobol' sequences, Faure sequences, Niederreiter-Xing sequences, digital nets and lattice rules. In this thesis, we will concentrate on results concerning lattice rules. The typical setting for analysis of these new quasi-Monte Carlo point sets is the worst-case error in a weighted function space. There has been much work on constructing point sets with small worst-case errors in the weighted Korobov and Sobolev spaces. However, many of the integrands which arise in the area of mathematical finance do not lie in either of these spaces. One common problem is that the integrands are unbounded on the boundaries of the unit cube. In this thesis we construct function spaces which admit such integrands and present algorithms to construct lattice rules where the worst-case error in this new function space is small. Lattice rules differ from other quasi-Monte Carlo techniques in that the points can not be used sequentially. That is, the entire lattice is needed to keep the worst-case error small. It has been shown that there exist generating vectors for lattice rules which are good for many different numbers of points. This is a desirable property for a practitioner, as it allows them to keep increasing the number of points until some error criterion is met. In this thesis, we will develop fast algorithms to construct such generating vectors. Finally, we apply a similar technique to show how a particular type of generating vector known as the Korobov form can be made extensible in dimension.

In this thesis I explore the physical effects of improved actions combined with improved operators in the framework of lattice QCD. All calculations are done in the quenched approximation, that is, when all of the dynamical fermion interactions have been suppressed by setting the determinant of the fermion matrix to a constant. The thesis first briefly introduces lattice QCD to familiarize the reader with the basic concepts. It then describes the common numerical procedures used. It is made up of three major sections. The first is the exploration of gauge field configurations and the study of the role of instantons in lattice QCD. In this work the Wilson gauge action and a standard 1 loop topological charge operator are used to determine the relative rates of standard cooling and smearing algorithms in pure SUc(3)-color gauge theory. I consider representative gauge field configurations on 16³ × 32 lattices at β = 5.70 and 24³ × 36 lattices at β = 6.00. I find the relative rate of variation in the action and topological charge under various algorithms may be succinctly described in terms of simple formulae ¹. The results are in accord with recent suggestions from fat-link perturbation theory. This work is then extended to O(a²)-improved gauge action and O(a²)-improved operators ². In particular, an O(a²)-improved version of APE smearing is motivated by considerations of smeared link projection and cooling. The extent to which the established benefits of improved cooling carry over to improved smearing is critically examined. I consider representative gauge field configurations generated with an O(a²)-improved gauge field action on 16³ × 32 lattices at β = 4.38 and 24³ × 36 lattices at β = 5.00 having lattice spacings of 0.165(2) fm and 0.077(1) fm respectively. While the merits of improved algorithms are clearly displayed for the coarse lattice spacing, the fine lattice results put the various algorithms on a more equal footing and allow a quantitative calibration of the smoothing rates for the various algorithms. I find that the relative rate of variation in the action may also be described in terms of simple calibration formulae for O(a²)-improvement which accurately describes the relative smoothness of the gauge field configurations at a microscopic level. In the second section the first calculation of the gluon propagator using an O(a²)- improved action with the corresponding O(a²)-improved Landau gauge fixing ³ condition is presented ⁴. The gluon propagator obtained from the improved action and improved Landau gauge condition is compared with earlier unimproved results on similar physical lattice volumes of 3.2³ × 6.4⁴ fm. It is found that there is good agreement between the improved propagator calculated on a coarse lattice with lattice spacing a = 0.35 fm and the unimproved propagator calculated on a fine lattice with spacing a = 0.10 fm. This motivated us to calculate the gluon propagator on a coarse very large-volume lattice of 5.6³ × 11.2⁴fm. The infrared behavior observed in previous studies is confirmed. The gluon propagator is enhanced at intermediate momenta and suppressed at infrared momenta. The observed infrared suppression of the Landau gauge gluon propagator is not a finite volume effect. This work is then extended to a variety of lattices with spacing ranging from a = 0.17 to a = 0.4 fm ⁵ to further explore finite volume and discretization effects. In this work a technique previously used for minimizing lattice artifacts, known as “tree-level correction”, has also been extended. It is demonstrated that by using tree-level correction, determined by the tree-level behavior of the action being considered, it is possible to obtain scaling behavior over a very wide range of momenta and lattice spacings. This makes it possible to explore the infinite volume and continuum limits of the Landau-gauge gluon propagator. As a final part of this thesis I present the first results for the quark propagator using an Overlap fermionic quark action ⁶. I compare the results with those obtained from the standard Wilson fermion. The overlap quark action is O(a)-improved compared with the Wilson fermion. This action realizes exact chiral symmetry on the lattice unlike the Wilson fermion and it demonstrates that the fastest way forward in this field is with improved lattice operators. The idea of studying improved actions in lattice gauge theory was suggested to me by A/Prof. Anthony G. Williams during the “Nonperturbative Methods in Quantum Field Theory” workshop in early February 1998. Initially it was suggested to me that a calculation of the gluon propagator using improved action on large volumes, following a study just done with standard gauge action in Ref. [62]. The point of interest was to study the effect an improved gauge field action would have on the gluon propagator. This study would then be extended to quark actions. In the meantime when generating gauge field configurations using a computer code written in Fortran 77 (provided by Dr. Derek B. Leinweber), it occurred to me that it would be good to explore the content of these gauge field configurations. In order to do realistic calculations on large lattices we needed a gauge field configuration generator that would run on our CM5 computer and so Connection Machine Fortran (CMF) became the adopted language. I started writing the computer code to generate the gauge field configuration in the SUc(2) with the help of Dr. Derek B. Leinweber, who introduced me to the basic concepts in lattice QCD. I then extended this code to the SUc(3) gauge group. This is commonly known as the standard Wilson gauge action. After investigating with some of the optimization possibilities, I moved on to code an O(a²)-improved gauge action. The code uses a masking procedure for the link update. I have generalized the masking procedure for any planar gauge field action in SUc(N), Ref. [18]. From there it was very obvious that by applying a continuous repetition of some sections of code that I written, that some bigger Wilson loops could easily be included in the action and hence highly improved actions could be easily constructed. The only difficulty was to calculate the improvement coefficients. I then moved on to study smearing algorithms. I adapted the gauge field configuration code to a cooling and a 1 × 2 and 2 × 1 improved cooling code in which we inserted higher order loop operators. This was the tool used to explore gauge field configurations and their topological structures. Once the short range quantum fluctuations are removed it is possible to see instantons. Instantons are believed to play a crucial role in the spontaneous chiral symmetry breaking mechanism. We improved the topological charge operator from the clover term to an (1 × 2 and 2 × 1) O(a²)–improved topological charge operator (see Appendices, Sections E.16 and E.17). This code was subsequently adapted by Sundance Bilson-Thompson so that he could insert higher order loops. I have also inserted my O(a²)–improved operator to construct an O(a²)–improved smearing algorithm. Using these tools I have calibrated the relative rates of cooling and smearing. Another piece of work on gauge fixing, reviewed in Chapter 8, was led by Dr. Patrick O. Bowman, Ref. [63]. There I supplied the gauge field configurations and checked some of the analytical work. For the gluon propagator work I supplied all of the lattice configurations with the exception of the 32³ × 64 used in Ref. [62]. The analysis was primarily carried out by Dr. Patrick O. Bowman and partly inspired by the one carried out in hep-lat/0106023. While this gluon propagator work is not being presented here as my own Ph. D. qualifying work, I am a co author on the subsequent papers and so I have therefore decided to include a review of this work in Chapter 9. I have also made some contribution in the construction of the Fat–link quark action (with and without the clover term) developed by James M. Zanotti. These contributions involve the code for the Reunitarization of the smeared links, Appendix E.21. Because of the code developed for the improved lattice definition of the Fµν(x) term I have also made some contribution to the Fat–link clover quark action although I will not discuss about this work in the following thesis. My main contribution for the overlap quark propagator study was in the analysis of the propagator data. The overlap propagators were generated by Dr. Jianbo Zhang and the research was also carried out in collaboration with A/Prof. Anthony G. Williams and Dr. Derek B. Leinweber. The quark propagators for the Wilson fermion were generated by a computer code parallelized by James M. Zanotti and originally written by Prof. Frank X. Lee. The anisotropic lattice code has not been used in any calculations yet although it has been tested and verified. The code was extended from the isotropic improved generator code in SUc(3). After a literature search, we decided to implement the action described in Ref. [31] for the anisotropic Wilson action and in Ref. [11, 32] for the improved anisotropic case. Apart from the work on the gauge fixing and the gluon propagator, done in collaboration with Dr. Patrick O. Bowman, and which for completeness is briefly reviewed in Chapters 8 and 9 respectively, this thesis contains no material which has been accepted for the award of any other degree or diploma in any university or other institution and to the best of knowledge and belief, contains no material previously published or written by another person, except where due reference has been made in the text. I give consent to this copy of my thesis, when deposited in the University Library, being available for loan and photocopying. Fr´ed´eric D. R. Bonnet Date: 20th of September 2001. ____________ [Footnotes]: ¹F. D. R. Bonnet, P. Fitzhenry, D. B. Leinweber, M. R. Stanford & A. G. Williams, Phys. Rev. D 62, 094509 (2000) [hep lat/0001018]. ²F. D. R. Bonnet, D. B. Leinweber, A. G. Williams & J. M. Zanotti, Submitted to Phys. Rev. D. [hep-lat/0106023]. ³F. D. R. Bonnet, P. O. Bowman, D. B. Leinweber, D. G. Richards & A. G. Williams, Aust. J. Phys. 52, 939 (1999). ⁴F. D. R. Bonnet, P. O. Bowman, D. B. Leinweber & A. G. Williams, Infrared behavior of the gluon propagator on a large volume lattice, Phys. Rev. D 62, 051501, (2000). ⁵F. D. R. Bonnet, P. O. Bowman, D. B. Leinweber, A. G. Williams & J. M. Zanotti, Infinite volume and continuum limits of the landau gauge gluon propagator, Phys. Rev. D 64, 034501 (2001) [hep-lat/0101013]. ⁶F. D. R. Bonnet, P. O. Bowman, D. B. Leinweber, A. G. Williams & J. Zhang, Overlap Propagator in Landau Gauge, to be Submitted to Phys. Rev. D. / Thesis (Ph.D.) -- University of Adelaide, School of Chemistry and Physics, 2002

"October 2002" / Bibliography: p. 129-136. / ix, 136 p. : ill. ; 30 cm. / Title page, contents and abstract only. The complete thesis in print form is available from the University Library. / This thesis reports work done in conducting numerical simulations of Lattice QCD. / Thesis (Ph.D.)--University of Adelaide, Dept. of Physics and Mathematical Physics, 2002

Browsing marked-up documents by traversing hyperlinks has become probably the most important means by which documents are accessed, both via the World Wide Web (WWW) and organisational Intranets. However, there is a pressing demand for document management and retrieval systems to deal appropriately with the massive number of documents available. There are two classes of solution: general search engines, whether for the WWW or an Intranet, which make little use of specific domain knowledge or hand-crafted specialised systems which are costly to build and maintain. The aim of this thesis was to develop a document management and retrieval system suitable for small communities as well as individuals in specialised domains on the Web. The aim was to allow users to easily create and maintain their own organisation of documents while ensuring continual improvement in the retrieval performance of the system as it evolves. The system developed is based on the free annotation of documents by users and is browsed using the concept lattice of Formal Concept Analysis (FCA). A number of annotation support tools were developed to aid the annotation process so that a suitable system evolved. Experiments were conducted in using the system to assist in finding staff and student home pages at the School of Computer Science and Engineering, University of New South Wales. Results indicated that the annotation tools provided a good level of assistance so that documents were easily organised and a lattice-based browsing structure that evolves in an ad hoc fashion provided good efficiency in retrieval performance. An interesting result suggested that although an established external taxonomy can be useful in proposing annotation terms, users appear to be very selective in their use of terms proposed. Results also supported the hypothesis that the concept lattice of FCA helped take users beyond a narrow search to find other useful documents. In general, lattice-based browsing was considered as a more helpful method than Boolean queries or hierarchical browsing for searching a specialised domain. We conclude that the concept lattice of Formal Concept Analysis, supported by annotation techniques is a useful way of supporting the flexible open management of documents required by individuals, small communities and in specialised domains. It seems likely that this approach can be readily integrated with other developments such as further improvements in search engines and the use of semantically marked-up documents, and provide a unique advantage in supporting autonomous management of documents by individuals and groups - in a way that is closely aligned with the autonomy of the WWW.

In this thesis, two numerical modeling methods are used to investigate the thermal conductivity of the polymer electrolyte membrane (PEM) fuel cell gas diffusion layer (GDL). First, an analytical model is used to study the through-plane thermal conductivity from representative physical GDL models informed by microscale computed tomography imaging of four commercially available GDL materials. The effect of the heterogeneity of the through-plane porosity of the GDL and polytetrafluoroethylene (PTFE) treatment is studied and it is noted that the high porosity surface transition regions have a dominating effect over the addition of PTFE in impacting the overall thermal conductivity. Next, the lattice Boltzmann method (LBM) is employed to study both the in-plane and through-plane thermal conductivity of stochastic numerically generated GDL modeling domains. The effect of GDL compression, binder content, PTFE treatment, addition of a microporous layer (MPL), heterogeneous porosity distributions, and water saturation on the thermal conductivity are investigated.

In this thesis, two numerical modeling methods are used to investigate the thermal conductivity of the polymer electrolyte membrane (PEM) fuel cell gas diffusion layer (GDL). First, an analytical model is used to study the through-plane thermal conductivity from representative physical GDL models informed by microscale computed tomography imaging of four commercially available GDL materials. The effect of the heterogeneity of the through-plane porosity of the GDL and polytetrafluoroethylene (PTFE) treatment is studied and it is noted that the high porosity surface transition regions have a dominating effect over the addition of PTFE in impacting the overall thermal conductivity. Next, the lattice Boltzmann method (LBM) is employed to study both the in-plane and through-plane thermal conductivity of stochastic numerically generated GDL modeling domains. The effect of GDL compression, binder content, PTFE treatment, addition of a microporous layer (MPL), heterogeneous porosity distributions, and water saturation on the thermal conductivity are investigated.