|
|
Title | Description | Subject | Date |
51 |
|
A Computer Program to Plot an Isometric Projection of a Solution Space Surface | Subroutine ISOPLT was developed for the computer produced CALCOMP display of a solution space surface. The solution space, for the sample plots given in Appendix B, is that of various flow functions of a time dependent, viscous, incompressible fluid flow for various boundary configurations. Also sho... | | 1968-08 |
52 |
|
3-D Design of Free-Form B-Spline Surfaces | This report describes an experimental system for designing free-form B-spline surfaces using a head-mounted display. In this system, the interaction with the surfaces takes place in three dimensions as the designed object's shape is updated in real-time. The report also examines some of the problems... | | 1974-09 |
53 |
|
A Subdivision Algorithm for Computer Display of Curved Surfaces | This report presents a method for producing computer shaded pictures of curved surfaces. Three-dimensional curved patches are used, as contrasted with conventional methods using polygons. The method subdivides a patch into successively smaller subpatches until a subpatch is as small as a raster- ele... | | 1974-12 |
54 |
|
The Fluke Security Project | This document presents the final report of the University of Utah-based project officially titled ""Mach 4 Kernel and IDL Infrastructure for Security"" but often referred to as the ""Fluke Security"" Project. This project is noteworthy for the number diversity, scale, robustness, and documentation o... | | 2000-04 |
55 |
|
Extraction of Micro-Terrain Features | Micro-terrain features are topographic structures relavent to the behavior of a simulation, but with a horizontal extent significantly less than the resolution of the base-level terrain data covering the area in which these structures occur. Thus, these features are not directly extractable from ele... | | 1998-08 |
56 |
|
A Method for Extending FORTRAN V for the Interactive Graphical Solution of Numerical Problems | Interactive computer graphics offers much in the way of bringing the program user closer to the problem solving algorithm. Techniques may be employed which provide for the execution of the program to be monitored and action taken to help the program find the solution, or to find it more quickly. Log... | | 1968-12 |
57 |
|
Considerations for the Development of a Computer-Aided Electrical Design System | The specifications of a computer-aided design system are proposed based on the implementation of a prototype subsystem using UNIVAC 1108 and PDP-8 computers. The design system would aid a designer who wished to select and specify electrical fixtures, controls and circuits, and place them in a buildi... | | 1969-09 |
58 |
|
FLEX - A Flexible Extendable Language | The FLEX system consists of merged 'hardware' and 'software' that is optimized towards handling algorithmic operations in an interactive, man-machine dialog. The basic form is that of a hardware implementation of a parametric compiler embedded in an environment that is well-suited for semantically d... | | 1968-06 |
59 |
|
GS--Graphics System | The reference manual is intended for programmers working on the ARPA Project at the University of Utah who are familiar with the UNIVAC 1108, Exec 2, and FORTRAN or ALGOL. The following topics are discussed: On-line operation; Graphics system services; Information displays Inc. display codes; Tektro... | | 1967-11-15 |
60 |
|
Space-Form. Computer-Aided Design for Architecture | The design approach proposed in the report is generated from basic space-forms. These three-dimensional forms are used by the designer as building blocks to design at every scale--from the most minute details of a given building to the eventual placement of the building in the context of its surroun... | | 1968-09-01 |
61 |
|
Geometric Hashing for Processing Complex Scenes | This work presents a new technique for handling many object interaction schemes developed using a graph theoretic approach. The interaction can be optical, as in ray tracing, or geometric, as in many body collision. Other problems solved by ray tracing, such as mass and volume calculation and viewin... | geometric hashing; object interaction; graph theory; ray tracing; many body collision | 1985 |
62 |
|
First-Order Unification in Equational Theories and its Application to Logic Programming | This thesis studies first-order unification in equational theories, called E-unification, paying particular attention to complete unification algorithms for classes of equational theories. It also investigates how results and notions of E-unification can be applied to logic programming systems that ... | first-order unification; equational theory; logic programming; e-unification; semantic unification; dec-20; prolog | 1985 |
63 |
|
Elastic and Plastic Surfaces for Modeling and Animation | This thesis presents eplastics, a modeling and animation tool developed to represent elastic and plastic surfaces under the B-spline representation. Eplastics derives its model from concepts found in physically based modeling of articulated motion, rigid bodies and deformable models. Eplastics works... | animation; modeling; eplastics; articulated motion; deformable; alpha_1; b-spline | 1990 |
64 |
|
Automated Detection of Delirium | This dissertation developed computerized decision support for the recognition of delirium, a condition resulting in high morbidity and cost. The decision support required the development of pen-based graphical user interfaces and client server databases for nursing data and clinical studies, the exe... | delirium; dhcp; graphical user interface | 1994-12 |
65 |
|
A Saddle Point Strategy for Path Planning | This thesis explores a new strategy for addressing the local minimum problem. As a prerequisite, a smooth potential function with a well-defined analytical gradient is devised. The availability of exact derivatives permits the use of more sophisticated optimization methods than those typically emplo... | robots; robotics; motion planning, path planning; saddle point; c-space; quasi-newton | 1993 |
66 |
|
Static Analysis of Multiparadigm Languages | We contribute to the state of the art in static analysis of declarative languages with multiparadigms. The language paradigms under consideration include normal order evaluation, higher-order functions, polymorphic typing, and logical variables. Our static analysis integrates strictness analysis, ty... | multiparadigm; declarative language; language paradigm | 1990 |
67 |
|
An Empirical Study of Persistent Object Stores | Persistent object stores support the creation, manipulation, storage, and retrieval of objects. Other desirable features of persistent stores are protection, transaction management, version control and concurrency control. Due to a lack of complete understanding of the demands of applications, there... | persistent object stores; CAGD; Alpha_1; ESM; Postgres; data clustering; object identifier | 1993-06 |
68 |
|
Persistent Immutable Shared Abstractions for Concurrent Scheme | A write-once, read-many persistent store has been developed for Concurrent Scheme, a distributed-memory parallel Lisp for the Mayfly multicomputer. The prototype implementation supports the explicit store, and implicit retrieval, of instances of the Scheme data types. Items are stored into per node ... | concurrent scheme; lisp, mayfly; multicomputer; persistent store; ray tracer | 1994 |
69 |
|
Fixed Point Computation and Parallel Algorithms for Solving Wave Equations | This dissertation is concerned with two problems: fixed-point computation and parallel algorithms for solving wave equations. Many problems can be formulated as fixed-point problems, which is to solve the equations of the form f(x) - x = 0. We develop efficient algorithms and establish complexity re... | fixed point computation; parallel algorithm; fixed point envelope; fixed point ellipsoid; wave equation; processor array; transputer; linear array | 1994 |
70 |
|
Consistent Geometric Modeling Approaches | Boolean set operations are important in solid modeling; however making them robust is problematic. This thesis summarizes the problems with robustness of geometric algorithms caused by approximated data and numerical computation and provides two different approaches to build a robust geometric model... | geometric model; boolean set; adaptive single tolerance | 1993 |
71 |
|
On Representation and Discretization of Finite Element Analyses | The use of B-spline geometric representation and subdivision mechanism is explored for use in finite element analysis. On the representation issue, an attribute modelling technique is introduced to model the problem specification and the result interpretation. This modelling technique relies on the ... | finite element; b-spline; geometric representation; subdivision mechanism; planar domain; shell domain; solid domain | 1985 |
72 |
|
A Visual Programming Environment for the Construction of Block Diagrams | Visual programming is a broad term which is used to describe those languages which use graphics to construct visual representations of algorithms, documentation, and program execution. This thesis discusses the benefits and disadvantages of using a visual approach to programming. VIPER, the visual i... | visual programming; viper; programming environment; block diagram | 1989-04 |
73 |
|
Synthesis, Verification and Optimization of Systolic Arrays | Systolic arrays are a class of parallel architectures consisting of regular interconnections of a very large number of simple processors, each one operating on a small part of the problem. They are typically designed to be used as back-end. special-purpose devices for computation-intensive processin... | computer architecture; systolic array; VLSI | 1986-12 |
74 |
|
Interactive volume visualization | The purpose of scientific computation is insight. Visualization is the most direct way to bring out and deliver insight. The advances of technology have allowed scientists to simulate or observe our physical world at a much higher resolution than was available previously. As a result, large-scale nu... | computer graphics; volume visualization | 1993-06 |
75 |
|
PRT--a high quality image synthesis system for B-spline surfaces | Many applications in Computer Aided Design require high quality images of three-dimensional scenes. A system is presented for rendering objects designed with an existing B-spline based geometric modeling package. Two algorithms for ray tracing B-spline surfaces are discussed, one using iterative num... | computer graphics; computer aided design; B-spline surfaces; image synthesis system | 1988-12 |