Computer Science Archive
 
Filters: Collection: "ir_computersa" Format: "application/pdf"
51 - 75 of 160
Number of results to display per page
TitleDescriptionSubjectDate
51 A Computer Program to Plot an Isometric Projection of a Solution Space SurfaceSubroutine 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 SurfacesThis 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 SurfacesThis 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 ProjectThis 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 FeaturesMicro-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 ProblemsInteractive 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 SystemThe 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 LanguageThe 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 SystemThe 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 ArchitectureThe 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 ScenesThis 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 collision1985
62 First-Order Unification in Equational Theories and its Application to Logic ProgrammingThis 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; prolog1985
63 Elastic and Plastic Surfaces for Modeling and AnimationThis 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-spline1990
64 Automated Detection of DeliriumThis 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 interface1994-12
65 A Saddle Point Strategy for Path PlanningThis 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-newton1993
66 Static Analysis of Multiparadigm LanguagesWe 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 paradigm1990
67 An Empirical Study of Persistent Object StoresPersistent 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 identifier1993-06
68 Persistent Immutable Shared Abstractions for Concurrent SchemeA 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 tracer1994
69 Fixed Point Computation and Parallel Algorithms for Solving Wave EquationsThis 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 array1994
70 Consistent Geometric Modeling ApproachesBoolean 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 tolerance1993
71 On Representation and Discretization of Finite Element AnalysesThe 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 domain1985
72 A Visual Programming Environment for the Construction of Block DiagramsVisual 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 diagram1989-04
73 Synthesis, Verification and Optimization of Systolic ArraysSystolic 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; VLSI1986-12
74 Interactive volume visualizationThe 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 visualization1993-06
75 PRT--a high quality image synthesis system for B-spline surfacesMany 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 system1988-12
51 - 75 of 160