to appear in Proc. IEEE Ultrasonics Symp., San Antonio, Texas, November 1996

In this paper. we present a method used to calculate the acoustic field created by a transducer. A parallel computer network was used to elaborate the effectiveness of the direct calculation of the Rayleigh Integral.

Sammendrag Oppgaven innledes med en innføring i noen grunnleggende begreper innen akustikken,og nevner noen fundamentale relasjoner og karakteristiske fenomener.En gjennomgang av publiserte eksempler på bruk av matematisk ...

This article describes StarTEX, a new TEX format for students writing their first report and other novice users. Its aim is to provide a simpler and more robust tool for users with no previous knowledge of TEX and LATEX.V

We de ne a specialization inheritance mechanism for object-oriented programming, admitting covariant rede nition of both methods and instance variables in subclassing. We investigate on the semantic weakness that makes ...

We give a purely syntactical, equational characterization of the poly-time functions on any constructor data structure (free algebra). The equations defining a function f have the shape of simple patterns: (f (c y1 : : ...

There is an increasing need for analysing problematic situations and creating visions for computer systems that are getting used as means of communication and coordination of work in and between work practices in an ...

This thesis is about document systems used in public case processing work. It explores the subject of documents in document production and handling systems. Through a case study, I explore the role of the genre of a specific ...

Computer systems are increasingly being used for communication and coordination of work, while object-oriented modelling techniques aim at modelling the problem domain of the computer system. Current techniques have been ...

We discuss how the 1'st order specification and programming language ABEL could be extended with higher order functions. Several issues arise, related to subtyping, parameterization, strictness of generators and defined ...

Denne hovedfagsoppgaven er basert på et reelt problem ved den parametriske sonaren på Forsvarets Forskningsinstitutts forskningsskip H. U. Sverdrup. Sonarens mottakende frekvensområde 500-5000Hz er overlagret med ...

ABEL is a wide spectrum language developed at the University of Oslo. The applicative core of ABEL is a typed first order language with subtypes and partial functions. The paper presents a constructive fragment of the core, ...

When trying to learn about a group of users, a researcher will interpret their behaviour on her or his own background, achieving an outside understanding. Inside understanding means to know how the people ...

Techniques for analysis aim at diminishing the gap between users' concepts of the problem domain of computer systems and the computers' requirements for algorithmic and structural precision. This paper aims at improving ...

“Abstraction” is used both for denoting relations in the problem domain of an information system, and for denoting relations inside software and hardware of a computer. This calls for a clarification of the concept, such ...

Abstract of M.Sc. thesis Jo Erskine Hannay; August 1, 1995 The thesis deals with topics in the field of formal abstract specification and verification of pro-grams,particularly within the framework of algebraic methods ...

As application systems live longer and grow in size and complexity, there is an ever increasing need for methodologies, models and tools that can aid software builders in developing maintainable, correct and consistent ...

Functional integration is the compatibility between the structure, culture and competence of an organization and its computer systems, specifically the availability of data and functionality and the consistency of user ...

This article provides an estimation model for calibrating the kinematics of manipulators with a parallel geometrical structure. Parameter estimation for serial link manipulators is well developed, but fail for most structures ...

This paper is the second in a series of two, and describes the current state of the art in modelling and prediction of chaotic time series. Sampled data from deterministic non-linear systems may look stochastic when ...

Information systems and other computer-based systems must continuously undergo change in order to reflect change in their environments. The present technology used to implement such systems, including models, methods, tools ...

Green's theorem evaluates a double integral over the region of an object by a simple integration along the boundary of the object. It has been used in moment computation since the shape of a binary object is totally ...

This thesis proposes some new iterative local modeling algorithms for the multivariate approximation problem (mapping from R P to R). Partial Least Squares Regression (PLS)is used as the local linear modeling technique. ...

Most research into persistent programming has been directed towards the design and implementation of languages and object stores. There are few reports on the characteristics of systems exploiting such technology. This ...

The area and the perimeter of a planar object are two useful features to describe the shape of the object, and again the motion of it. This paper deals with the estimation of the two features from a discrete binary image. ...

Because of the close connection between computer systems and organizations, organizational aspects should be taught in system development courses. Dataflow diagramming is a frequently taught technique that can model formal ...

In medical ultrasound imaging, beam control methods such as dynamic focusing, and dynamic aperture and weighting give a need for more flexible control over the receive beam. In addition the desire to increase acquired ...

Certain deterministic non-linear systems may show chaotic behaviour. Time series derived from such systems seem stochastic when analyzed with linear techniques. However, uncovering the deterministic structure is important ...

Achieving correct changes is the dominant activity in the application software industry. Modification of database schemata is one kind of change which may have severe consequences for database applications. The paper ...

Persistent object systems are highly-valued technology because they o er an e ec- tive foundation for building very long-lived persistent application systems (PAS). The technology becomes more e ective as it o ers a more ...

The major motivation for database programming language (DBPL) research is to facilitate the construction and maintenance of large dataintensive applications. To fully bene t from DBPLs, supporting methodologies and tools ...

Denne hovedfagsoppgaven tar for seg to forskjellige emner, begge relatert til dokumentproduksjonssystemet LATEX. Del I tar for seg virtuelle fonter, og del II tar for seg norsk orddeling. LATEX,som er et påbygg på TEX, ...

Målet med oppgaven var å undersøke hvordan fjernundervisning og datakonferansesystemer (DKS) kan kombineres, og danne et nytt fjernundervisningskonsept. Utfordringer her lå i å finne ut hvilke tilpasninger som bør gjøres ...

SYDPOL er et kunnskapsutviklingsprogram som baseres på nasjonalt prioriterte og finansierte utviklingsprosjekter. Deltakere er både forskere innen fagområdene systemutvikling, systemutviklingsomgivelser og dataspråk, innen ...

I made the first implementation and wrote the original MVC reports while I was a visiting scientist at Xerox Palo Alto Research Laboratory (PARC) in 1978/79. MVC was conceived as a general solution to the problem of users ...

The organisation of a yard may be strongly influenced by the information system it takes into use. The converse should also be true: Systems development should be subordinated the desired evolution of the organisation. The ...