Sze, Chin Ngai. / Thesis (M.Phil.)--Chinese University of Hong Kong, 2001. / Includes bibliographical references (leaves 80-84) and index. / Abstracts in English and Chinese. / Abstract --- p.i / Acknowledgments --- p.iii / Curriculum Vitae --- p.iv / List of Figures --- p.ix / List of Tables --- p.xii / Chapter 1 --- Introduction --- p.1 / Chapter 1.1 --- Motivation and Aims --- p.1 / Chapter 1.2 --- Contribution --- p.8 / Chapter 1.3 --- Organization of Dissertation --- p.10 / Chapter 2 --- Definitions and Notations --- p.11 / Chapter 3 --- Literature Review --- p.15 / Chapter 3.1 --- Logic Reconstruction --- p.15 / Chapter 3.1.1 --- SIS: A System for Sequential and Combinational Logic Synthesis --- p.16 / Chapter 3.2 --- ATPG-based Alternative Wiring --- p.17 / Chapter 3.2.1 --- Redundancy Addition and Removal for Logic Optimization --- p.18 / Chapter 3.2.2 --- Perturb and Simplify Logic Optimization --- p.18 / Chapter 3.2.3 --- REWIRE --- p.21 / Chapter 3.2.4 --- Implication-tree Based Alternative Wiring Logic Trans- formation --- p.22 / Chapter 3.3 --- Graph-based Alternative Wiring --- p.24 / Chapter 4 --- Implication Based Alternative Wiring Logic Transformation --- p.25 / Chapter 4.1 --- Source Node Implication --- p.25 / Chapter 4.1.1 --- Introduction --- p.25 / Chapter 4.1.2 --- Implication Relationship and Implication-tree --- p.25 / Chapter 4.1.3 --- Selection of Alternative Wire Based on Implication-tree --- p.29 / Chapter 4.1.4 --- Implication-tree Based Logic Transformation --- p.32 / Chapter 4.2 --- Destination Node Implication --- p.35 / Chapter 4.2.1 --- Introduction --- p.35 / Chapter 4.2.2 --- Destination Node Relationship --- p.35 / Chapter 4.2.3 --- Destination Node Implication-tree --- p.39 / Chapter 4.2.4 --- Selection of Alternative Wire --- p.41 / Chapter 4.3 --- The Algorithm --- p.43 / Chapter 4.3.1 --- IB AW Implementation --- p.43 / Chapter 4.3.2 --- Experimental Results --- p.43 / Chapter 4.4 --- Conclusion --- p.45 / Chapter 5 --- Graph Based Alternative Wiring Logic Transformation --- p.47 / Chapter 5.1 --- Introduction --- p.47 / Chapter 5.2 --- Notations and Definitions --- p.48 / Chapter 5.3 --- Alternative Wire Patterns --- p.50 / Chapter 5.4 --- Construction of Minimal Patterns --- p.54 / Chapter 5.4.1 --- Minimality of Patterns --- p.54 / Chapter 5.4.2 --- Minimal Pattern Formation --- p.56 / Chapter 5.4.3 --- Pattern Extraction --- p.61 / Chapter 5.5 --- Experimental Results --- p.63 / Chapter 5.6 --- Conclusion --- p.63 / Chapter 6 --- Logic Optimization by GBAW --- p.66 / Chapter 6.1 --- Introduction --- p.66 / Chapter 6.2 --- Logic Simplification --- p.67 / Chapter 6.2.1 --- Single-Addition-Multiple-Removal by Pattern Feature . . --- p.67 / Chapter 6.2.2 --- Single-Addition-Multiple-Removal by Combination of Pat- terns --- p.68 / Chapter 6.2.3 --- Single-Addition-Single-Removal --- p.70 / Chapter 6.3 --- Incremental Perturbation Heuristic --- p.71 / Chapter 6.4 --- GBAW Optimization Algorithm --- p.73 / Chapter 6.5 --- Experimental Results --- p.73 / Chapter 6.6 --- Conclusion --- p.76 / Chapter 7 --- Conclusion --- p.78 / Bibliography --- p.80 / Chapter A --- VLSI Design Cycle --- p.85 / Chapter B --- Alternative Wire Patterns in [WLFOO] --- p.87 / Chapter B.1 --- 0-local Pattern --- p.87 / Chapter B.2 --- 1-local Pattern --- p.88 / Chapter B.3 --- 2-local Pattern --- p.89 / Chapter B.4 --- Fanout-reconvergent Pattern --- p.90 / Chapter C --- New Alternative Wire Patterns --- p.91 / Chapter C.1 --- Pattern Cluster C1 --- p.91 / Chapter C.1.1 --- NAND-NAND-AND/NAND;AND/NAND --- p.91 / Chapter C.1.2 --- NOR-NOR-OR/NOR;AND/NAND --- p.92 / Chapter C.1.3 --- AND-NOR-OR/NOR;OR/NOR --- p.95 / Chapter C.1.4 --- OR-NAND-AND/NAND;AND/NAND --- p.95 / Chapter C.2 --- Pattern Cluster C2 --- p.98 / Chapter C.3 --- Pattern Cluster C3 --- p.99 / Chapter C.4 --- Pattern Cluster C4 --- p.104 / Chapter C.5 --- Pattern Cluster C5 --- p.105 / Glossary --- p.106 / Index --- p.108

Au Yeung Chun Wa, Bobby. / "Theory applied at Hong Kong Science Park phase 3"--P. 5. / "Architecture Department, Chinese University of Hong Kong, Master of Architecture Programme 2010-2011, design report." / Includes bibliographical references (p. 118-119).

Cube Calculus is an algebraic model popular used to process and minimize Boolean functions. Cube Calculus operations are widely used in logic optimization, logic synthesis, computer image processing and recognition, machine learning, and other newly developing applications which require massive logic operations. Cube calculus operations can be implemented on conventional general-purpose computers by using the appropriate "model" and software which manipulates this model. The price that we pay for this software based approach is severe speed degradation which has made the implementation of several high-level formal systems impractical. A cube calculus machine which has a special data path designed to execute multiplevalued input, and multiple-valued output cube calculus operations is presented in this thesis. This cube calculus machine can execute cube calculus operations 10-25 times faster than the software approach. For the purpose of ensuring the manufacturing testability of the cube calculus machine, emphasize has been put on the testability design of the cube calculus machine. Testability design and testability analysis of the iterative logic unit of the cube calculus machine was accomplished. Testability design and testability analysis methods of the cube calculus machine are weli discussed in this thesis. Full-scan testability design method was used in the testability design and analysis. Using the single stuck-at fault model, a 98.30% test coverage of the cube calculus machine was achieved. A Povel testability design and testability analysis approach is also presented in this thesis.

No description available.

A system which allows the computer to capture sketches made by a mechanical designer is described. The system not only recognizes basic features as they are sketched, but it also reasons the spatial relationships between features and builds a high level abstract representation (feature model) of the artifact. The temporal nature of the capture, one feature at a time, serves to form a feature graph that allows for parametric design. The system is composed of three subsystems: a two-dimensional freehand sketching subsystem¹ , a three-dimensional features recognition subsystem, and a spatial reasoning subsystem. The freehand sketching subsystem takes the user's input sketching actions and interprets them as simple, two-dimensional geometric elements, such as line segments, circles, and ellipses, etc. The features recognition subsystem interprets the collection of two-dimensional geometric elements to extract three-dimensional information from them and creates high level abstract representations, features. The spatial reasoning subsystem finds relationships between a new feature and existing features and integrates features to form a single part. The work of the Design Capture System is aimed at capturing sketches of a specific application domain: injected molding plastic parts. Twenty injected molding plastic parts were collected and analyzed to understand the distribution of features. Isometric sketching is selected as the basic constructing method for the system. The processes of freehand sketching and computer-aided drafting were studied to find a better scheme for computer-aided sketching. Conclusions are also presented. ¹The Freehand Sketching Subsystem was accomplished by Roger Fang as a Master project in 1987 at the Department of Mechanical Engineering, Oregon State University, Corvallis, Oregon. / Graduation date: 1991

In this research, an approach is developed to automate the design for sheet metal parts that are not only novel and manufacturable but also satisfies multiple objective functions such as material cost. Unlike commercial software tools such as Pro/SHEETMETAL which aids the user in finalizing and determining the sequence of manufacturing operations for a specified component, our approach starts with spatial constraints in order to create the component geometries and helps the designer design. While there is an enormous set of parts that can feasibly be generated with sheet metal, it is difficult to define this space systematically. To solve this problem, we currently have 108 design rules that have been developed for five basic sheet metal operations: slitting, notching, shearing, punching and bending. The technique revealed here represents candidate solutions as a graph of nodes and arcs where each node is a rectangular patch of sheet metal, and modifications are progressively made to the sheet to maintain the parts manufacturability. They are presented in the form of Standard Tessellation Language files (.stl) that can be transferred into available modeling software for further analysis. The overall purpose of this research is to provide creative designs to the designer granting him/her a new perspective and to check all the solutions for manufacturability in the early stage of design process. The abovementioned automation approach uses a new topological optimization technique to solve graph based engineering design problems by decoupling parameters and topology changes. This technique namely Topological and Parametric Tune and Prune (TP²) is the first topology optimization method that has been developed specifically for domains representable by a graph grammar schema. The method is stochastic and incorporates distinct phases for modifying the topologies and modifying parameters stored within topologies. Thus far, with the problems that been tested, (TP²) had proven better than genetic algorithm in terms of the quality of solutions and time taken to acquire them. / text

Computers have infiltrated all areas of human endeavour, from computer controlled buildings to computerised toasters. Many design professionals have embraced computer tools, and reaped tremendous benefits as a result. Architects, planners, and urban designers have tended to resist their implementation, ostensibly on the grounds that most currently available computer tools are inapplicable to design tasks. This surmise can be investigated by reviewing recent design methods and computer capabilities. A more interesting challenge is to test it in practice by means of a computer application written to aid a particular area of design, that of cut and fill platform creation. Pilot studies of the use of this program have been encouraging, indicating that computers offer capabilities not available with any other design tool. Computer modelling is relatively new, and as with all tools there is a period of acceptance and maturing, but there is little doubt that three dimensional design visualisation without computers will soon be as unthinkable as a return to report writing on manual typewriters. / Thesis (M.Sc.U.R.P.)-University of Natal, Durban, 1996.

The notion of information space (iSpace) is that a collective context of transmitters and receivers can serve as a medium to share, exchange, and apply data and knowledge between a group of human beings or software agents. Inhabiting this space requires a perception of its dimensions, limits, and an understanding of the way data is diffused between inhabitants. One of the important aspects of iSpace is that it expands the limits of communication between distributed designers allowing them to carry out tasks that were very difficult to accomplish with the diverse, but not well integrated current communication technologies. In architecture, design team members, often rely on each others' expertise to review and problem solve design issues as well as interact with each other for critic, and presentations. This process is called Collaborative Design. Applying this process of collaboration to the iSpace to serve as a supplementary medium of communication, rather than a replacement for it, and understanding how design team members can use it to enhance the effectiveness of the design process and increase the efficiency of communication, is the main focus of this research. The first chapter will give an overview of the research and define the objectives and the scope of it as well as giving a background on the evolving technological media in design practice. This chapter will also give a summary of some case studies for collaborative design projects as real examples to introduce the subject. The second chapter of this research will study the collaborative design activities with respect to the creative problem solving, the group behaviour, and the information flow between members. It will also examine the technical and social problems with the distributed collaboration. The third chapter will give a definition of the iSpace and analyze its components (epistemological, utilitarian, and cultural) based on research done by others. It will also study the impact of the iSpace on the design process in general and on the architectural product in particular. The fourth chapter will be describing software programs written as prototypes for this research that allow for realtime and non-realtime collaboration over the internet, tailored specifically to suit the design team use to facilitate distributed collaboration in architecture. These prototypes are : 1. pinUpBoard (realtime shared display board for pin-ups) 2. sketchBoard (realtime whiteboarding application with multisessions) 3. mediaBase (shared database management system) 4. teamCalendar (shared interactive calendar on the internet) 5. talkSpace (organized forums for discussions)

No description available.

As a result of the diversity of home buyers within the current housing market, houses are increasingly designed with but little user input into the overall design process. Home builders require the development of design tools which will accommodate user needs within specific housing markets. This thesis investigates the reaction of builders to the participation of home buyers in the design process through the use of computer-aided design (CAD). / A review of the role of computers within the homebuilding industry is provided, including an historical overview of the use of CAD. The state of the art in CAD software applications is explored, with an assessment made of three low-cost software programs. Following a description of the existing design process in the homebuilding industry, a proposed system of user participation is outlined. A survey is taken of six builders in the Montreal and Ottawa regions to determine industry response to home buyer use of CAD as a design tool. / An analysis of the survey results reveals that although the builders are not currently participants in such a process, they are tentatively positive in their receptiveness to the idea of user-related CAD. The builders express many reservations concerning the available CAD systems, and they declare little interest in adopting the process as it presently exists. The relevant computer programs are found wanting, revealing a need for further development of both the software applications and the procedure for implementing CAD at the user participation level. Suggestions are offered for improvements in the process to the benefit of builder, designer, and end user.