Veckoblad om forskning, undervisning och administration m.m.
NADA - Institutionen för numerisk analys och datalogi, KTH.
Rickard Westman och Fredrik Bernsel, D90: Ett ´Plug and Play´-perspektiv på fjärranslutning till nät från mobila PC med utgångspunkt från DEC Pathworks Remote och Microsoft ´Chicago´. Arbetet är utfört vid Digital, Sophia Antipolis i Frankrike. Handledare Olle Bälter.
Peter Mathsson, D90: Mätning av noggrannhet hos referensblock för koordinatmätningsmaskiner. Arbetet är utfört vid Mitutoyo, Japan. Handledare Henrik Eriksson.Kerstin F.
I was asked to organize THE PARALLEL SCIENTIFIC COMPUTING SESSION on the IFIP Conference MODELLING and OPTIMIZATION OF DISTRIBUTED PARAMETER SYSTEMS with APPLICATIONS to ENGINEERING, held in Warsaw, Poland July 17-21, 1995, organized by the Systems Research Institute of the Polish Academy of Sciences
A limited number of contributed, either 20 or 30 min. talks will be selected for this session. Extended abstracts no more than two pages should be sent to me before March 31, 1995. The text can be in Latex, Postscript or pure ASCII. Selected presented papers will be published after the conference in a book form by Chapman & Hall. My email address, where the Parallel Scientific Computing Session abstracts should be sent is: firstname.lastname@example.org
The conference contact address (payments, registration, hotel reservation) is: Malgorzata Peszynska, IFIP Conference, Systems Research Institute, Polish Academy of Sciences, Newelska 6, PL 01- 447 Warsaw, POLAND. Phone (+4822) 364414, 370521, fax (+4822) 372772. E-mail: email@example.comJerzy Wasniewski, UNI*C, The Danish Computing Centre for Research and Education, Lyngby, Denmark
Despite its spectacular success, the Black-Scholes theory of option pricing is based on a continuous hedging procedure which can not be implemented in real markets. First, transaction costs make continuous trading infinitely expensive, second, the flow of information on the price of the underlying security is not continuous. In this talk I will review various issues raised by attempts to go beyond these assumptions, focusing particularly on my current work on the problem of optimal hedging in the presence of Poisson jumps in the stock price and transaction costs.
Interactive internet-based distributed applications placing tough requirements on computer systems and networks are currently being designed, implemented and deployed. Two application areas studied in this thesis are live continuous media applications and distributed virtual environments. These application areas require high bandwidth communication, real-time delivery of data and may involve large numbers of participants. The unifying theme of this thesis, consisting of a collection of papers, is how computers may support these new interactive distributed applications.
Protocols supporting continuous media usually have provision for specifying real-time traffic behaviour and resource requirements, including ATM and ST-2. However, it is a research issue how such protocols coexist, in particular, how resources reserved in one protocol are mapped to resource reservation mechanisms in the other. The dissertation describes how ATM can act as a sub-net in an ST-2 internet. Quality of service levels are maintained by mapping each ST-2 data stream to a single dedicated ATM virtual circuit.
Applications using continuous media protocols need to pass flow specifications, describing the expected traffic, to the protocols. Such flow specifications can be used to reserve resources in, for example, ST-2 and ATM networks. In this thesis, it is shown how the existing BSD Unix socket application interface can be extended to support multimedia networking protocols.
A survey is presented on how live digital audio and video are supported in operating systems and networks. The survey describes several systems with real-time scheduling and the ability to allocate resources in advance.
To demonstrate that real-time properties can be achieved on a general-purpose computer system, a standard Unix operating system is modified to support live distributed multimedia applications. The modifications include real-time process scheduling, preemption and modified interrupt processing. These modifications reduce end-to-end delays from well above 100 milliseconds to below 10 milliseconds.
As a part of an effort to develop better tools for distributed application design, distributed programming using process groups is extended with an object-oriented programming model. More specifically, object groups are used as a foundation on which object-oriented applications can better exploit the reliability supplied by process groups.
In the thesis, a platform for multi-user virtual environments is presented. The platform, Dive, is based on process groups and enables multiple participants to communicate over a network in shared three dimensional worlds. Distribution and interaction issues for such large-scale networked virtual environments are also discussed, along with their requirements on supporting systems.
Deals with the properties of coupled map lattices, and proving sufficient conditions for the emergence of Spatio-Temporal order versus ST chaos. Uses techniques developed in Lasota/Mackey, Chaos, Fractals, and Noise.Roland Orre, Hans Liljenström
We consider program synthesis using both intuitionistic and classical logics. For intuitionistic logic we give an overview of our implementation of the resolution theorem prover and investigate the strategies we have designed for the prover, comparing these with the strategies used in tableau provers. We also look at the performance of our implementation and compare it with the tableau prover of D. Sahlin, T. Franzen and S. Haridi. For the classical logic we present the following result: resolution is complete for definite answers. This proves completeness of the clause fragment of the program synthesis calculus of Manna and Waldinger. Finally we consider our experiments of synthesizing programs in classical logic by resolution.Enn Tyugu & Tarmo Uustalu
Bidrag till Numero kan lämnas i datorläsbar form - via datorpost till <firstname.lastname@example.org> eller i Mac-mappen Numero-bidrag i filhanteraren Nada-arkiv - eller på papper till KTH; NADA, Numero; 100 44 STOCKHOLM (dvs. Numerofacket bland NADA-postfacken). Varje Numero-utgåva utkommer i tre former:
Numero-redaktionen består f.n. av Peter Svanberg. Ansvarig utgivare är Ingrid Melinder. Numeros innehåll uttrycker inte institutionens officiella ståndpunkt annat än då detta anges.