| 1. |
- Andersson, Ulf
(författare)
-
Betalkort : Slutrapport
- 1980
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- Idén till Universalkort uppkom för cirka tre år sedan, som en följd av ett examensarbete med namnet "ID- kort med minne". Där undersöktes möjligheten att placera ett nonvolatilt minne på ett kort. Fortsättningen på det projektet beskrivs kort under rubriken ”Existerande hårdvarusystem”.Utvecklingen av Betal- och Universalkortsidén har sedan dess bedrivits i samarbete med personal på Institutionen för Systemteknik inom ämnesområdet informationsteori vid LiTH. Jag vill rikta ett varmt tack till dessa och speciellt till Rolf Blom , Robert Forchheimer och Ingemar Ingemarsson för deras bidrag till arbetet.
|
|
| 2. |
|
|
| 3. |
- Engquist, Björn, et al.
(författare)
-
Automatic analysis in PDE software
- 1984
-
Ingår i: PDE Software. - Amsterdam, The Netherlands : Elsevier Science. - 0444876200 ; , s. 399-409
-
Konferensbidrag (refereegranskat)
|
|
| 4. |
- Engquist, Björn, et al.
(författare)
-
Automatic computer code generation for hyperbolic and parabolic differential equations
- 1980
-
Ingår i: SIAM JOURNAL ON SCIENTIFIC AND STATISTICAL COMPUTING. - : Society for Industrial & Applied Mathematics (SIAM). - 0196-5204 .- 2168-3417. ; 1:2, s. 249-259
-
Tidskriftsartikel (refereegranskat)abstract
- A program system which generates computer code for the numerical solution of systems of hyperbolic and parabolic differential equations is described. The input to the program is a mathematical formulation of a hyperbolic or parabolic initial boundary value problem in one space dimension. The differential equations and boundary conditions are analyzed by the program system, and a finite difference algorithm is designed for the given problem. The output is an executable FORTRAN program.
|
|
| 5. |
- Eriksson, Lars-Henrik, et al.
(författare)
-
A programming calculus based on partial inductive definitions (with an introduction to the theory of partial inductive definitions)
- 1988. - 1
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- We present a general framework (a programming calculus) for the specification, verification and synthesis of programs. The underlying programming paradigm is similar in spirit to logic programming but based on the theory of partial inductive definitions instead of predicate logic. Within this framework we give criteria for the correctness of programs and outline a methodology for using these criteria to perform verifications and syntheses. The programming calculus permits us to use an arbitrary specification language, as long as this language itself can be defined within our framework. The program language is based on partial inductive definitions. Such definitions can be regarded as sets of an extension to Horn clauses of logic, so traditional logic (pure Prolog) programs are included as a special case. Since the theory of partial inductive definitions is not widely known, we include an introduction to it. This introduction can also be read by itself, without any interest in the programming calculus.
|
|
| 6. |
- Magnhagen, Bengt, et al.
(författare)
-
CAD & VLSI Course in Linköping, 1981
- 1981
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- On July 6 - 11, 1981, the LSI Design Center and the DIGSIM team at Linköping Institute of Technology arranged a CAD & VLSI Course. 60% of the 75 attendants represented different European industries. The aim of the course was to present current and future directions in techniques, methods and CAD-tools for development of LSI and VLSI designs. 6 of the 11 lecturers represented industries as IBM, WANG, DEC, ASEA-HAFO and Electric Bureau. The course attendants had access to DEC-10 and· VAX-11 / 78 computers from graphic terminals. Among the offered software packages were CIFPLOT, DIGSIM, GAELIC, ISPS, NAP2, SPICE and CALMOS.
|
|
| 7. |
- Nygren, Sven
(författare)
-
En studie av kryptering vid satellitkommunikation
- 1982
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- Stormakterna övervakar varandra och den övriga världen med hjälp av ett stort antal spionsatelliter. Det finns många olika typer av rent militära satelliter, men även alla . .normalt civila satelliter som lämnar information som kan vara av taktisk eller strategisk betydelse och måste betraktas som militära i en konfliktsituation. Som exempel på dessa "halvmilitära" satelliter kan nämnas; vädersatelliter, telesatelliter, navigationssatelliter och fjärranalyserande satelliter typ LANDSAT….
|
|
| 8. |
- Olsson, Pelle, et al.
(författare)
-
Boundary Modifications of the Dissipation Operators for the Three–Dimensional Euler Equations
- 1989
-
Ingår i: Journal of Scientific Computing. - 0885-7474 .- 1573-7691. ; 4:2, s. 159-195
-
Tidskriftsartikel (refereegranskat)abstract
- Explicit methods for the solution of fluid flow problems are of considerable interest in supercomputing. These methods parallelize well. The treatment of the boundaries is of particular interest with respect to both the numeric behavior of the solution and the computational efficiency. We have solved the three-dimensional Euler equations for a twisted channel using second-order, centered difference operators, and a three-stage Runge-Kutta method for the integration. Three different fourth-order dissipation operators were studied for numeric stabilization: one positive definite, one positive semidefinite, and one indefinite. The operators only differ in the treatment of the boundary. For computational efficiency all dissipation operators were designed with a constant bandwidth in matrix representation, with the bandwidth determined by the operator in the interior. The positive definite dissipation operator results in a significant growth in entropy close to the channel walls. The other operators maintain constant entropy. Several different implementations of the semidefinite operator obtained through factoring of the operator were also studied. We show the difference both in convergence rate and robustness for the different dissipation operators, and the factorizations of the operator due to Eriksson. For the simulations in this study one of the factorizations of the semidefinite operator required 70%–90% of the number of iterations required by the positive definite operator. The indefinite operator was sensitive to perturbations in the inflow boundary conditions. The simulations were performed on a 8,192 processor Connection Machine system CM-2. Full processor utilization was achieved, and a performance of 135 Mflops/sec in single precision was obtained. A performance of 1.1 Gflops/sec for a fully configured system with 65,536 processors was demonstrated.
|
|
| 9. |
- Fahlander, Olov
(författare)
-
Hemligheten bakom datorgenererad musik
- 1980
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- Föredraget kommer av utrymmesskäl att ganska summariskt behandla möjligheterna till musikalisk ljudsyntes med digitala metoder främst med tanke på ”personal computing”. Vissa utvikningar utöver detta är oundvikliga och föredraget har därför mer karaktären av översikt snarare än en mer detaljerad genomgång av speciella metoder. Några konkreta exempel på hårdvarulösningar har dock redovisats och därutöver hänvisas till ett antal referenser som för den intresserade kan ge en mer detaljerad förståelse .Föredraget är uppdelat på tre huvudgrupper: Klang syntes, interaktion och komposition, där det förstnämnda ges mest utrymme. Enligt min personliga uppfattning ligger dock dom intressanta spörsmålen inom det sistnämnda området och det är antagligen här de största in satserna i framtiden kommer att göras, när väl hårdvaruutvecklingen mognat tillräckligt.Det kan nämnas i detta sammanhang att forskningen inom områden som dessa för ett mycket tynande liv, trots att musikindustrin, framtidens stora avnämare för dess resultat, omsätter svindlande summor över hela världen . I Europa är det främst i Paris vid IRCAM som en satsning av betydelse sker. De amerikanska universiteten har annars svarat för den främsta utvecklingen. Detta områdes stora popularitet ]land hobbymänniskor bevisas av att det numera utkommer en specialtidskrift ”Computer music journal” med fyra nummer per år samt att artiklar inom området är mycket vanliga i hobbytidskrifter som ”Byte” och liknande.
|
|
| 10. |
- Fahlander, Olov, et al.
(författare)
-
Linear Codes for Real-Time Colour Graphics
- 1980
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- In this paper, the problem of 'hidden - surface' elimination is considered. It is shown that a new linear surface- filling algorithm leads to some simple techniques for hidden-surface removal. Necessary conditions are established for three such methods to work and hard ware to implement these solutions is shown to be practicable. Each of the three proposed methods is seen to have advantages in certain circumstances - the choice between them depends very much on the nature of the graphics system in which they might be used.
|
|
