by Chan Wai Kwong Samual. / Thesis (M.Phil.)--Chinese University of Hong Kong. / Bibliography: leaves R. 1-6. / ACKNOWLEDGEMENTS / ABSTRACT / TABLE OF CONTENTS / Chapter CHAPTER 1. --- OVERVIEWS --- p.1.1 / Chapter 1.1 --- Introduction --- p.1.1 / Chapter 1.2 --- Image Understanding and Artificial Intelligence --- p.1.3 / Chapter 1.3 --- Object-Oriented Programming and Artificial Intelligence --- p.1.6 / Chapter 1.4 --- Related Works --- p.1.8 / Chapter 1.5 --- Discussions and Outlines --- p.1.9 / Chapter CHAPTER 2. --- OBJECT-ORIENTED SOFTWARE SYSTEMS --- p.2.1 / Chapter 2.1 --- Introduction --- p.2.1 / Chapter 2.2 --- Traditional Software Systems --- p.2.1 / Chapter 2.3 --- Object-Oriented Software Systems --- p.2.2 / Chapter 2.4 --- Characteristics of an Object-Oriented Systems --- p.2.4 / Chapter 2.5 --- Knowledge Representation in Image Recognition --- p.2.9 / Chapter 2.5.1 --- Rule-Based System --- p.2.10 / Chapter 2.5.2 --- Structured Objects --- p.2.12 / Chapter 2.5.3 --- Object-Oriented Knowledge Management --- p.2.13 / Chapter 2.5.4 --- Object-Oriented Expert System Building Tools --- p.2.14 / Chapter 2.6 --- Concluding Remarks --- p.2.16 / Chapter CHAPTER 3. --- SYSTEM DESIGN AND ARCHITECTURE --- p.3.1 / Chapter 3.1 --- Introduction --- p.3.1 / Chapter 3.2 --- Inheritance and Recognition --- p.3.2 / Chapter 3.3 --- System Design --- p.3.9 / Chapter 3.4 --- System Architecture --- p.3.11 / Chapter 3.4.1 --- The Low Level Vision Kernel --- p.3.14 / Chapter 3.4.2 --- The High Level Vision Kernel --- p.3.15 / Chapter 3.4.3 --- User Consultation Kernel --- p.3.17 / Chapter 3.5 --- Structure of the Image Object Model --- p.3.17 / Chapter 3.5.1 --- Image Object Model in Object-Oriented Form --- p.3.19 / Chapter 3.5.2 --- Image Objects Hierarchy --- p.3.23 / Chapter 3.6 --- Reasoning in OOI --- p.3.26 / Chapter 3.7 --- Concluding Remarks --- p.3.27 / Chapter CHAPTER 4. --- CONTROL AND STRATEGIES --- p.4.1 / Chapter 4.1 --- Introduction --- p.4.1 / Chapter 4.2 --- Consultation Class Objects --- p.4.4 / Chapter 4.2.1 --- Audience --- p.4.5 / Chapter 4.2.2 --- Intrinsic Hypothesis (IH_object) --- p.4.5 / Chapter 4.2.3 --- Priority Table (PT_object) --- p.4.6 / Chapter 4.3 --- Operation Objects --- p.4.7 / Chapter 4.3.1 --- Scheme Scheduler (SS一object) --- p.4.7 / Chapter 4.3.2 --- Task Scheduler (TS_object) --- p.4.7 / Chapter 4.4 --- Taxonomy of Image Objects in OOI --- p.4.8 / Chapter 4.4.1 --- Object Template --- p.4.8 / Chapter 4.4.2 --- Attributes --- p.4.9 / Chapter 4.4.3 --- Tasks and Life Cycles --- p.4.9 / Chapter 4.4.4 --- Object Security --- p.4.10 / Chapter 4.5 --- Message Passing --- p.4.11 / Chapter 4.6 --- Strategies --- p.4.12 / Chapter 4.6.1 --- The Bottom-Up Approach --- p.4.15 / Chapter 4.6.2 --- The Top-Down Approach --- p.4.18 / Chapter 4.7 --- Concluding Remarks --- p.4.19 / Chapter CHAPTER 5. --- IMAGE PROCESSING ALGORITHMS --- p.5.1 / Chapter 5.1 --- Introduction --- p.5.1 / Chapter 5.2 --- Image Enhancement --- p.5.2 / Chapter 5.2.1 --- Spatial Filtering --- p.5.2 / Chapter 5.2.2 --- Feature Enhancement --- p.5.5 / Chapter 5.3 --- Pixel Classification --- p.5-7 / Chapter 5.4 --- Edge Detection Methods --- p.5.9 / Chapter 5.4.1 --- Local Gradient Operators --- p.5.9 / Chapter 5.4.2 --- Zero Crossing Method --- p.5.12 / Chapter 5.5 --- Regional Approaches in Segmentation --- p.5.13 / Chapter 5.5.1 --- Multi-level Threshold Method --- p.5.13 / Chapter 5.5.2 --- Region Growing --- p.5.15 / Chapter 5.6 --- Image Processing Techniques in Medical Domain --- p.5.17 / Chapter 5.7 --- Concluding Remarks --- p.5.18 / Chapter CHAPTER 6. --- PICTORIAL DATA MANAGEMENT IN OOI --- p.6.1 / Chapter 6.1 --- Introduction --- p.6.1 / Chapter 6.2 --- Description of Basic Properties --- p.6.1 / Chapter 6.3 --- Description of Relations --- p.6.7 / Chapter 6.3.1 --- Relational Database of Pictorial Data --- p.6.7 / Chapter 6.3.2 --- Relational Graphs and Relational Databases --- p.6.10 / Chapter 6.4 --- Access Functions in Image Objects --- p.6.14 / Chapter 6.4.1 --- Basic Access Functions --- p.6.14 / Chapter 6.4.2 --- User Accessible Functions in Objects --- p.6.15 / Chapter 6.5 --- Image Functions --- p.6.16 / Chapter 6.5.1 --- Unary Image operations --- p.6.16 / Chapter 6.5.2 --- Binary Relation Operations --- p.6.19 / Chapter 6.5.3 --- Update Operations --- p.6.20 / Chapter 6.6 --- Concluding Remarks --- p.6.21 / Chapter CHAPTER 7. --- KNOWLEDGE MANAGEMENT --- p.7.1 / Chapter 7.1 --- Introduction --- p.7.1 / Chapter 7.2 --- Knowledge in A Domain Knowledge Base --- p.7.1 / Chapter 7.2.1 --- Structure of Rules --- p.7.2 / Chapter 7.2.2 --- Hypothesis Generation --- p.7.6 / Chapter 7.2.3 --- Inference Engine --- p.7.8 / Chapter 7.3 --- Model Based Reasoning in OOI --- p.7.9 / Chapter 7.3.1 --- Merging and Labelling --- p.7.9 / Chapter 7.3.2 --- Vision Model --- p.7.11 / Chapter 7.4 --- Fuzzy Reasoning --- p.7.12 / Chapter 7.5 --- Concluding Remarks --- p.7.15 / Chapter CHAPTER 8. --- KNOWLEDGE ACQUISITION AND USER INTERFACES --- p.8.1 / Chapter 8.1 --- Introduction --- p.8.1 / Chapter 8.2 --- Knowledge Acquisition Subsystem --- p.8.3 / Chapter 8.2.1 --- Rule Management Module --- p.8.3 / Chapter 8.2.2 --- Attribute Management Module --- p.8.4 / Chapter 8.2.3 --- Model Management Module --- p.8.8 / Chapter 8.2.4 --- Methods of Knowledge Encoding and Acquisition --- p.8.9 / Chapter 8.3 --- User Interface in OOI --- p.8.11 / Chapter 8.3.1 --- Screen Layout --- p.8.13 / Chapter 8.3.2 --- Menus and Options --- p.8.15 / Chapter 8.4 --- Concluding Remarks --- p.8.20 / Chapter CHAPTER 9. --- IMPLEMENTATION AND RESULTS --- p.9.1 / Chapter 9.1 --- Introduction --- p.9.1 / Chapter 9.2 --- Using Expanded Memory --- p.9.2 / Chapter 9.3 --- ESCUM --- p.9.3 / Chapter 9.3.1 --- General Description --- p.9.3 / Chapter 9.3.2 --- Cervical Intraepithelial Neoplasia (CIN) --- p.9.4 / Chapter 9.3.3 --- Development of ESCUM --- p.9.5 / Chapter 9.4 --- Results --- p.9.12 / Chapter 9.5 --- Concluding Remarks --- p.9.13 / Chapter CHAPTER 10. --- CONCLUSION --- p.10.1 / Chapter 10.1 --- Summary --- p.10.1 / Chapter 10.2 --- Areas of Future Work --- p.10.5 / Chapter APPENDIX A. --- Rule Base of ESCUM --- p.A1 / Chapter APPENDIX B. --- Glossary for Objected-Oriented Programming --- p.B1 / REFERENCES --- p.R1

Ma Chak Kei. / Thesis submitted in: July 2002. / Thesis (M.Phil.)--Chinese University of Hong Kong, 2003. / Includes bibliographical references (leaves 97-101). / Abstracts in English and Chinese. / ABSTRACT --- p.II / ACKNOWLEDGEMENTS --- p.VI / TABLE OF CONTENTS --- p.VII / LIST OF TABLES --- p.XI / LIST OF FIGURES --- p.XIII / Chapter CHAPTER 1. --- INTRODUCTION --- p.1 / Chapter 1.1 --- Addressing and Manipulating XML Data --- p.1 / Chapter 1.2 --- The Structured-Element Object Model (SEOM) --- p.3 / Chapter 1.3 --- Relate Research --- p.4 / Chapter 1.4 --- Contribution --- p.5 / Chapter 1.5 --- Thesis Overview --- p.6 / Chapter CHAPTER 2. --- BACKGROUND TECHNOLOGIES --- p.7 / Chapter 2.1 --- Overview of XML --- p.7 / Chapter 2.1.1. --- XML Basic Syntax --- p.8 / Chapter 2.1.2. --- Namespaces in XML --- p.8 / Chapter 2.2 --- Overview of XML Schema --- p.9 / Chapter 2.2.1. --- W3C XML Schema --- p.10 / Chapter 2.2.2 --- ", Schema Alternatives" --- p.13 / Chapter 2.3 --- Overview of XPath --- p.13 / Chapter 2.4 --- Overview of DOM --- p.15 / Chapter CHAPTER 3. --- OVERVIEW OF STRUCTURED-ELEMENT OBJECT MODEL (SEOM) --- p.18 / Chapter 3.1 --- Introduction --- p.18 / Chapter 3.2 --- Objectives --- p.20 / Chapter 3.3 --- General Concepts in SEOM --- p.21 / Chapter 3.3.1. --- Data Representation --- p.21 / Chapter 3.3.2. --- Data Binding --- p.24 / Chapter 3.3.3. --- Data Access --- p.25 / Chapter CHAPTER 4. --- SEOM DOCUMENT MODELING --- p.27 / Chapter 4.1 --- Data Modeling --- p.27 / Chapter 4.1.1. --- Simple XML Data Model --- p.28 / Chapter 4.1.2. --- SEOM Data Model --- p.32 / Chapter 4.2 --- Schema Modeling --- p.41 / Chapter 4.2.1. --- SEOM Schema --- p.42 / Chapter 4.2.2. --- Creating a Schema --- p.46 / Chapter CHAPTER 5. --- SEOM DOCUMENT PROCESSING --- p.51 / Chapter 5.1 --- SEOM Document Processing --- p.51 / Chapter 5.2 --- The Classes --- p.51 / Chapter 5.2.1. --- SEOM Document Class --- p.52 / Chapter 5.2.2. --- A bstract SElement Class --- p.55 / Chapter 5.2.3. --- Generic SElement Class --- p.56 / Chapter 5.2.4. --- Implementation SElement Classes --- p.57 / Chapter 5.3 --- XML Parsing and Data Binding --- p.59 / Chapter 5.3.1. --- Parsing Process --- p.60 / Chapter 5.4 --- Querying --- p.62 / Chapter 5.4.1. --- Query Wrapper and Result Wrapper --- p.62 / Chapter 5.4.2. --- Embedding in XPath --- p.68 / Chapter CHAPTER 6. --- AN WEB-BASED SEOM DOCUMENT QUERY SYSTEM --- p.71 / Chapter 6.1 --- Web-based SEOM Document Query System --- p.71 / Chapter 6.2 --- Client-Server Architecture --- p.71 / Chapter 6.3 --- The Server --- p.74 / Chapter 6.3.1. --- Data Loading --- p.74 / Chapter 6.3.2. --- Implemented SElement - R-Tree --- p.74 / Chapter 6.3.3. --- Network Interface --- p.80 / Chapter 6.4 --- Client Side --- p.82 / Chapter 6.4.1. --- The Interface --- p.82 / Chapter 6.4.2. --- Programmatic Controls --- p.85 / Chapter CHAPTER 7. --- EVALUATION --- p.88 / Chapter 7.1 --- Experiment with Synthetic Data --- p.88 / Chapter 7.2 --- Qualitative Comparison --- p.90 / Chapter 7.3 --- Advantages --- p.91 / Chapter 7.4 --- Disadvantages --- p.92 / Chapter 7.5 --- Means of Enhancement --- p.93 / Chapter CHAPTER 8. --- CONCLUSION --- p.94 / BIBLIOGRAPHY --- p.97

The PEREAM system is a software engineering environment that supports the design and implementation of object-oriented software components. Software development in the system is accomplished by the continuous evolution of a concept from an early specification to a final implementation. PEREAM supports the ability to incrementally specify software components. It provides for the reusing, browsing, and editing of the software components at any stage of their development history. Concepts in the PEREAM system are modeled with a uniform data structure. The development of the software components is maintained in a graph structure. The concepts are manipulated using the Smalltalk-80 Class Browser or the PEREAM GRAPHICAL EDITOR. This thesis describes the concepts and design behind the PEREAM system and the PEREAM MODELING TECHNIQUE. It also discusses the design and implementation of a graphical editor for the PEREAM environment which manipulates the software components graphically.

Declarative visual programming languages (VPLs), including spreadsheets, make up a large portion of both research and commercial VPLs. Spreadsheets in particular enjoy a wide audience, including end users. Unfortunately, spreadsheets and most other declarative VPLs still suffer from some of the problems that have been solved in other languages, such as ad-hoc (cut-and-paste) reuse of code which has been remedied in object-oriented languages, for example, through the code-reuse mechanism of inheritance. We believe spreadsheets and other declarative VPLs can benefit from the addition of an inheritance-like mechanism for fine-grained code reuse. This dissertation first examines the opportunities for supporting reuse inherent in declarative VPLs, and then introduces similarity inheritance and describes a prototype of this model in the research spreadsheet language Forms/3. Similarity inheritance is very flexible, allowing multiple granularities of code sharing and even mutual inheritance; it includes explicit representations of inherited code and all sharing relationships, and it subsumes the current spreadsheet mechanisms for formula propagation, providing a gradual migration from simple formula reuse to more sophisticated uses of inheritance among objects. Since the inheritance model separates inheritance from types, we investigate what notion of types is appropriate to support reuse of functions on different types (operation polymorphism). Because it is important to us that immediate feedback, which is characteristic of many VPLs, be preserved, including feedback with respect to type errors, we introduce a model of types suitable for static type inference in the presence of operation polymorphism with similarity inheritance. / Graduation date: 1999

The application field for static analysis of Java programs is getting broader, ranging from compiler optimizations (like dynamic dispatch elimination) to security issues. Many of those analyses include type analyses. We propose a `generic' framework, which improves on previous type analyses by introducing structural information. Moreover, structural information allows us to easily extend the framework to perform many different kinds of analyses. The framework is based on the abstract interpretation methodology. It is composed of a standard semantics, a family of abstract domains, an abstract semantics based on these domains and a post-fixpoint algorithm to compute the abstract semantics. The analysis is limited to a representative subset of Java, without concurrency. A complete prototype of the framework allows us to illustrate the accuracy and the efficiency of the approach (for moderately sized programs).

Object-oriented programming languages all involve the notions of class and object. We extend the notion of class so that any Boolean combination of classes is also a class. Boolean classes allow greater precision and conciseness in naming the class of objects governed by a particular method. A class can be viewed as a predicate which is either true or false of any given object. Unlike predicates however classes have an inheritance hierarchy which is known at compile time. Boolean classes extend the notion of class, making classes more like predicates, while preserving the compile time computable inheritance hierarchy.

Thesis (Ph.D.)--Memorial University of Newfoundland, 2005. / Bibliography: leaves 246-251.

Thesis (Ph.D.)--University of Hong Kong, 1998. / Includes bibliographical references. Also available in print.

The influence of elastic anisotropy on seismic wave propagation is often neglected for the sake of simplicity. However, ignoring anisotropy may lead to significant errors in the processing of seismic data and ultimately in a poor image of the subsurface. This is especially true in wide-aperture Vertical Seismic Profiles where waves travel both vertically and horizontally. Anisotropy has been neglected in wavefront construction methods of seismic ray-tracing until Gibson (2000), who showed they are powerful tools to simulate seismic wave propagation in three-dimensional anisotropic subsurface models. The code is currently under development using a C++ object oriented programming approach because it provides high flexibility in the design of new components and facilitates debugging and maintenance of a complex algorithm. So far, the code was used to simulate propagation in homogeneous or simple heterogeneous anisotropic velocity models mainly designed for testing purposes. In particular, it has never been applied to simulate a field dataset. We propose here an analytical method involving little algebra and that allows the design of realistic heterogeneous anisotropic models using the C++ object oriented programming approach. The new model class can model smooth multi-layered subsurface with gradients or models with many dip variations. It has been used to model first arrival times of a wide-aperture VSP dataset from the Gulf of Mexico to estimate the amount of anisotropy. The proposed velocity model is transversely isotropic. The anisotropy is constant throughout the model and is defined via Thomsen's parameters. Values in the final model are epsilon = 0.055 and delta = -0.115. The model is compatible with the a priori knowledge of the local geology and reduces the RMS average time difference between measured and computed travel times by 51% in comparison to the initial isotropic model. These values are realistic and are similar to other measurements of anisotropy in the Gulf of Mexico.

An active object system is a transition-based object-oriented system suitable for the design of various concurrent systems. An AOS consists of a collection of interacting objects, where the behavior of each object is determined by the transition statements provided in the class of that object. A transition statement is a condition-action pair, an equational assignment statement, or an event routine. The transition statements provided for each object can access, besides the state of that object, the states of the other objects known to it through its interface variables. Interface variables are bound to objects when objects are instantiated so that desired connections among objects are established. The major benefit of the AOS approach is that an active system can be hierarchically composed from its active software components as if it were a hardware system. An AOS provides better encapsulation and more flexible communication protocols than ordinary object oriented systems, since control within an AOS is localized. / Graduation date: 1992