A new, high resolution, high precision and accuracy gravimetric geoid of Australia has been produced using updated data, theory and computational methodologies. The fast Fourier transform technique is applied to the computation of the geoid and terrain effects. The long, medium and short wavelength components of the geoid are determined from the OSU91A global geopotential model, 2'x2' (residual gravity anomalies in a 3 degrees cap and 1'x1' digital terrain model (DTM), respectively.Satellite altimeter gravity data have been combined with marine gravity data to improve the coverage of the gravity data, and thus the quality of the geoid. The best gridding procedure for gravity data has been studied and applied to the gravity data gridding. It is found that the gravity field of Australia behaves quite differently. None of the free-air, Bouguer or topographic-isostatic gravity anomalies are consistently the smoothest. The Bouguer anomaly is often rougher than the free-air anomaly and thus should be not used for gravity field gridding. It is also revealed that in some regions the topography often contains longer wavelength features than the gravity anomalies.It is demonstrated that the inclusion of terrain effects is crucial for the determination of an accurate gravimetric geoid. Both the direct and indirect terrain effects need to be taken into account in the precise geoid determination of Australia. The existing AUSGEOID93 could be in error up to 0.7m in terms of the terrain effect only. In addition, a series of formulas have been developed to evaluate the precision of the terrain effects. These formulas allow the effectiveness of the terrain correction and precision requirement for a given DTM to be studied. It is recommended that the newly released 9"x9" DTM could be more effectively used if it is based on 15"x15" grid.It is estimated from comparisons with Global ++ / Positioning System (GPS) and Australian Height Datum Data that the absolute accuracy of the new geoid is better than 33cm and the relative precision of the new geoid is better than 10~20cm. This new geoid can support Australian GPS heighting to third-order specifications.

Thesis (M.S.)--Missouri University of Science and Technology, 2008. / Vita. The entire thesis text is included in file. Title from title screen of thesis/dissertation PDF file (viewed April 26, 2008) Includes bibliographical references (p. 65-68).

Thesis (M.S.)--Missouri University of Science and Technology, 2008. / Vita. The entire thesis text is included in file. Title from title screen of thesis/dissertation PDF file (viewed April 29, 2008) Includes bibliographical references (p. 53-55).

Thesis (M.S.)--Missouri University of Science and Technology, 2009. / Vita. The entire thesis text is included in file. Title from title screen of thesis/dissertation PDF file (viewed August 10, 2009) Includes bibliographical references (p. 49-51).

Thesis (Ph.D.)--University of Wyoming, 2009. / Title from PDF title page (viewed on June 17, 2010). Includes bibliographical references (p. 89-96).

Thesis (M.S.)--Missouri University of Science and Technology, 2010. / Vita. The entire thesis text is included in file. Title from title screen of thesis/dissertation PDF file (viewed July 19, 2010) Includes bibliographical references (p. 56-62).

- / -

Triangle enumeration is an important element in graph analysis, and because of this it is a topic that has been studied extensively. Although the formulation is simple, for large networks the computation becomes challenging as we have to deal with memory limitation and efficiency. Many algorithms have been proposed to overcome these problems. Some use distributed computing, where the computation is distributed among many machines in a cluster. However, this approach has a high cost in terms of hardware resources and energy. In this thesis we studied triangle counting/listing algorithms for both directed and undirected graphs, and searched for methods to do the computation on a single machine. Through detailed analysis, we found some ways to improve the efficiency of the computation. Programs that implement the algorithms were built and tested on large networks with up to almost a billion nodes. The results were then analysed and discussed. / Graduate

学位授与大学：京都大学 ; 取得学位: 博士(工学) ; 学位授与年月日: 2007-09-25 ; 学位の種類: 新制・課程博士 ; 学位記番号: 工博第2855号 ; 請求記号: 新制/工/1420 ; 整理番号: 25540 / Design problem solving behavior refers to the way in which people solve their creative problem of design in their mind. It is one of the basic problems in the area of design methodology, which varies greatly by cases and designers. On the other hand, there are still some general ways or commonness as the core. Because of the complexity of design problem solving behavior, it is still not understood very well. This dissertation dives into the problem of design problem solving behavior too and tried to provide a general view of it, including both the general strategies and the temporary tactics. But differs from many other researches, it employed a confined and well-structured simulation of manual design process by employing the method of interactive evolutionary computation (IEC) to extract design problem solving behavior objectively. The simulated design process provided a comparable and statistically analyzable model for exploring design problem solving behavior of people, and made the findings of this dissertation more reliable. The design problem of interior works of Chinese residents, which need little special knowledge to solve, was selected as the design problem in this dissertation. The method of IEC was applied in interior works design for helping the Chinese residents to solve the practical interior works design problems, and inducing the design problem solving behavior of them. The dissertation contains 6 chapters, including the general introduction (chapter 1), the main body (chapter 2 to 5), and the conclusion (chapter 6). The main body can be further divided into two parts. In the first part (chapter 2 and 3) the IEC interior works (IECIW) design system was developed, and evaluated by a large amount of Chinese residents on its usability and disadvantage. After the preparation of method in the first part, the second part (chapter 4 and 5) presented two parallel researches on participants’ design problem solving behavior in design process using IEC in order to approach the design problem solving behavior in common design processes. Chapter 1 introduces the background and purpose of the research, reviewed related literatures, and the frame work of the dissertation. In chapter 2, IEC method was tentatively applied in the problem of interior works design. 7 color and texture related factors of the living room of a typical apartment in Beijing were selected as design factors in the IEC IW design system. Through 3 experiments, the IEC IW design system was found effective in interior works design and heuristic for the two tested Chinese students. The effect of increasing population size was also found significantly increasing the efficiency of the system. In chapter 3, the developed IEC IW design system was tentatively used by 231 Chinese residents to evaluate its usability and disadvantage in real design problems of interior works. It was concluded that the IEC IW design system is useful for the residents, and it was also found that older participants, and those with lower education and family income levels, gave the system better evaluations. Chapter 4 started to explore problem solving behavior of people in design tasks through simulated design process for interior works using IEC. Data of design process employing IEC of 8 Chinese participants were collected. Through analysis of design problem solving process, it was revealed that people tend to do what they are certain of firstly, and make harder decisions later. It was also found that people did not tend to move their eyes to a faraway image in the interface constantly, which was considered more convenient for them. Chapter 5 continued to explore problem solving behavior of the 8 participants' interior works design process employing IEC. The method of protocol analysis was employed to analyze verbal reports of the participants. It was revealed that different parts of the interior scene have different influence on people's evaluation, and people tended to use same evaluation criterion continuously on several images, then switch to another evaluation criterion. 3 stages of design problem solving behavior along the process were also explained. Chapter 6 summarizes the findings in the dissertation, presents the general discussion and perspective, and proposed some research in the future. / Kyoto University (京都大学) / 0048 / 新制・課程博士 / 博士(工学) / 甲第13384号 / 工博第2855号 / 新制||工||1420(附属図書館) / 25540 / UT51-2007-Q785 / 京都大学大学院工学研究科建築学専攻 / (主査)教授 宗本 順三, 教授 上谷 宏二, 教授 加藤 直樹 / 学位規則第4条第1項該当

This thesis describes the investigations undertaken to produce a novel hybrid optimisation technique that combines both global and local searching to produce good solutions quickly. Many evolutionary computation and experimental design methods are considered before genetic algorithms and evolutionary operation are combined to produce novel optimisation algorithms. A novel piece of software is created to run two and three factor evolutionary operation experiments. A range of new hybrid small population genetic algorithms are created that contain evolutionary operation in all generations (static hybrids) or contain evolutionary operation in a controlled number of generations (dynamic hybrids). A large number of empirical tests are carried out to determine the influence of operators and the performance of the hybrids over a range of standard test functions. For very small populations, twenty or less individuals, stochastic universal sampling is demonstrated to be the most suitable method of selection. The performance of very small population evolutionary operation hybrid genetic algorithms is shown to improve with larger generation gaps on simple functions and on more complex functions increasing the generation gap does not deteriorate performance. As a result of the testing carried out for this study a generation gap of 0.7 is recommended as a starting point for empirical searches using small population genetic algorithms and their hybrids. Due to the changing presence of evolutionary operation, the generation gap has less influence on dynamic hybrids compared to the static hybrids. The evolutionary operation, local search element is shown to positively influence the performance of the small population genetic algorithm search. The evolutionary operation element in the hybrid genetic algorithm gives the greatest improvement in performance when present in the middle generations or with a progressively greater presence. A recommendation for the information required to be reported for benchmarking genetic algorithm performance is also presented. This includes processor, platform, software information as well as genetic algorithm parameters such as population size, number of generations, crossover method and selection operators and results of testing on a set of standard test functions.