{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":44,"n_cols":5,"rows_kept":44,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[9,2,9,3],[17,2,17,3],[18,2,18,3],[21,2,21,3],[23,2,23,3],[23,4,23,5],[24,2,24,3],[24,4,24,5],[25,2,25,3],[25,4,25,5],[26,2,26,3],[27,2,27,3],[29,2,29,3],[30,2,30,3],[31,2,31,3],[32,2,32,3],[34,2,34,3],[35,2,35,3],[38,2,38,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996466162903316"]
[null,null,"Autore",null,"Dörr Heiko"]
[null,null,"Titolo",null,"Efficient Graph Rewriting and Its Implementation [[electronic resource] /] / by Heiko Dörr"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995"]
[null,null,"ISBN",null,"3-540-49419-7"]
[null,null,"Edizione",null,"[1st ed. 1995.]"]
[null,null,"Descrizione fisica",null,"1 online resource (X, 266 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 922"]
[null,null,"Disciplina",null,"005.13/1"]
[null,null,"Soggetti",null,"Computers"]
[{"$nulls":4},"Mathematical logic"]
[{"$nulls":4},"Programming languages (Electronic computers)"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Mathematical Logic and Formal Languages"]
[{"$nulls":4},"Programming Languages, Compilers, Interpreters"]
[{"$nulls":4},"Software Engineering"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Bibliographic Level Mode of Issuance: Monograph"]
[null,null,"Nota di contenuto",null,"Graph rewriting systems — The basic concepts -- UBS-Graph rewriting systems — matching subgraphs in constant time -- Programmed attributed graph rewrite systems — An advanced modelling formalism -- The abstract machine for graph rewriting — supporting a fast implementation -- A graphical implementation of functional languages — a case study in UBS-graph rewriting systems -- Conclusions."]
[null,null,null,"Sommario/riassunto","This book presents two major research results on the fast implementation of graph rewriting systems (GRS). First, it explores the class of so-called UBS-GRS, where the complexity of a rewriting step is linear instead of NP, showing for example that visual programming is possible by UBS graph rewriting. Second, an abstract machine for graph rewriting is defined providing an instruction set sufficient for the execution of GRS. The basic definitions of GRS in the algorithmic approach are introduced and extended by attribution and control structures to comprise a formalism for an operational specification. The translation of a functional programming language to graph rewriting shows the capabilities of UBS-GRS."]
[null,"2.","Record Nr.",null,"UNINA9910958527103321"]
[null,null,"Autore",null,"Jacobsen Finn"]
[null,null,"Titolo",null,"Fundamentals of general linear acoustics / / Finn Jacobsen, Peter Moller Juhl"]
[null,null,"Pubbl/distr/stampa",null,"Chichester, West Sussex, : John Wiley & Sons Inc., 2013"]
[null,null,"ISBN",null,"9781118636169"]
[{"$nulls":4},"1118636163"]
[null,null,"Edizione",null,"[1st ed.]"]
[null,null,"Descrizione fisica",null,"xvi, 284 p. : ill"]
[null,null,"Disciplina",null,"620.2"]
[null,null,"Soggetti",null,"Sound-waves - Transmission"]
[{"$nulls":4},"Wave-motion, Theory of"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Cover -- Title Page -- Copyright -- Contents -- About the Authors -- Preface -- List of Symbols -- Chapter 1 Introduction -- Chapter 2 Fundamentals of Acoustic Wave Motion -- 2.1 Fundamental Acoustic Concepts -- 2.2 The Wave Equation -- References -- Chapter 3 Simple Sound Fields -- 3.1 Plane Waves -- 3.2 Sound Transmission Between Fluids -- 3.3 Simple Spherical Waves -- References -- Chapter 4 Basic Acoustic Measurements -- 4.1 Introduction -- 4.2 Frequency Analysis -- 4.3 Levels and Decibels -- 4.4 Noise Measurement Techniques and Instrumentation -- References -- Chapter 5 The Concept of Impedance -- 5.1 Mechanical Impedance -- 5.2 Acoustic Impedance -- 5.3 Specific Impedance, Wave Impedance and Characteristic Impedance -- References -- Chapter 6 Sound Energy, Sound Power, Sound Intensity and Sound Absorption -- 6.1 Introduction -- 6.2 Conservation of Sound Energy -- 6.3 Active and Reactive Intensity -- 6.4 Measurement of Sound Intensity -- 6.4.1 Errors Due to the Finite Difference Approximation -- 6.4.2 Errors Due to Scattering -- 6.4.3 Errors Due to Phase Mismatch -- 6.5 Applications of Sound Intensity -- 6.5.1 Sound Power Determination -- 6.5.2 Noise Source Identification and Visualisation of Sound Fields -- 6.5.3 Transmission Loss of Structures and Partitions -- 6.5.4 Measurement of the Emission Sound Pressure Level -- 6.6 Sound Absorption -- References -- Chapter 7 Duct Acoustics -- 7.1 Introduction -- 7.2 Plane Waves in Ducts with Rigid Walls -- 7.2.1 The Sound Field in a Tube Terminated by an Arbitrary Impedance -- 7.2.2 Radiation of Sound from an Open-ended Tube -- 7.3 Sound Transmission Through Coupled Pipes -- 7.3.1 The "]
[{"$nulls":4},"Transmission Matrix -- 7.3.2 System Performance -- 7.3.3 Dissipative Silencers -- 7.4 Sound Propagation in Ducts with Mean Flow -- 7.5 Three-dimensional Waves in Ducts with Rigid Walls."]
[{"$nulls":4},"7.5.1 The Sound Field in a Duct with Rectangular Cross Section -- 7.5.2 The Sound Field in a Duct with Circular Cross Section -- 7.5.3 The Sound Field in a Duct with Arbitrary Cross-sectional Shape -- 7.6 The Green's Function in a Semi-infinite Duct -- 7.7 Sound Propagation in Ducts with Walls of Finite Impedance -- 7.7.1 Ducts with Nearly Hard Walls -- 7.7.2 Lined Ducts -- References -- Chapter 8 Sound in Enclosures -- 8.1 Introduction -- 8.2 The Modal Theory of Sound in Enclosures -- 8.2.1 Eigenfrequencies and Mode Shapes -- 8.2.2 The Modal Density -- 8.2.3 The Green's Function in an Enclosure -- 8.3 Statistical Room Acoustics -- 8.3.1 The Perfectly Diffuse Sound Field -- 8.3.2 The Sound Field in a Reverberation Room Driven with a Pure Tone -- 8.3.3 Frequency Averaging -- 8.3.4 The Sound Power Emitted by a Point Source in a Lightly Damped Room -- 8.4 The Decay of Sound in a Lightly Damped Room -- 8.4.1 The Modal Approach to Decay of Sound -- 8.4.2 The Statistical Approach to Decay of Sound -- 8.5 Applications of Reverberation Rooms -- 8.5.1 Sound Power Determination -- 8.5.2 Measurement of Sound Absorption -- 8.5.3 Measurement of Transmission Loss -- References -- Chapter 9 Sound Radiation and Scattering -- 9.1 Introduction -- 9.2 Point Sources -- 9.2.1 Reciprocity -- 9.2.2 Sound Power Interaction of Coherent Sources -- 9.2.3 Fundamentals of Beamforming -- 9.3 Cylindrical Waves -- 9.3.1 Radiation from Cylindrical Sources -- 9.3.2 Scattering by Cylinders -- 9.4 Spherical Waves -- 9.4.1 Radiation from Spherical Sources -- 9.4.2 Scattering by Spheres -- 9.4.3 Ambisonics -- 9.5 Plane Sources -- 9.5.1 The Rayleigh Integral -- 9.5.2 The Wavenumber Approach -- 9.5.3 Fundamentals of Near Field Acoustic Holography -- 9.6 The Kirchhoff-Helmholtz Integral Equation -- References -- Appendix A Complex Representation of Harmonic Functions of Time."]
[{"$nulls":4},"Appendix B Signal Analysis and Processing -- B.1 Introduction -- B.2 Classification of Signals -- B.3 Transient Signals -- B.3.1 The Fourier Transform -- B.3.2 Time Windows -- B.4 Periodic Signals -- B.4.1 Fourier Series -- B.4.2 The Fourier Transform of a Periodic Signal -- B.4.3 Estimation of the Spectrum of a Periodic Signal -- B.5 Random Signals -- B.5.1 Autocorrelation Functions and Power Spectra -- B.5.2 Cross-correlation Functions and Cross-power Spectra -- B.5.3 Estimation of Correlation Functions and Power Spectra -- B.6 Linear Systems -- B.6.1 Impulse Response and Frequency Response -- B.6.2 Estimation of the Frequency Response of a Linear System -- B.6.3 Estimation of the Frequency Response of a Weakly Nonlinear System -- B.7 Digital Signal Processing -- B.7.1 Sampling -- B.7.2 The Discrete Fourier Transform -- B.7.3 Signal Analysis with the `Fast Fourier Transform' (FFT) -- B.7.4 The Method Based on `Maximum Length Sequences' (MLS) -- References -- Appendix C Cylindrical and Spherical Bessel Functions -- Legendre Functions -- and Expansion Coefficients -- C.1 Cylindrical Bessel Functions -- C.2 Legendre Functions -- C.3 Spherical Bessel Functions -- C.4 Expansion Coefficients -- Reference -- Appendix D Fundamentals of Probability and Random Variables -- D.1 Random Variables -- D.2 The Central Limit Theorem -- D.3 Chi and Chi-Square Statistics -- Reference -- Bibliography -- Index."]
[null,null,null,"Sommario/riassunto","Acoustics deals with the production, control, transmission, reception, and effects of sound. Owing to acoustics being an interdisciplinary field, this book is intended to be equally accessible to readers from a range of backgrounds including electrical engineering, physics and mechanical engineering. This book introduces the fundamentals of "]
[{"$nulls":4},"acoustic wave motion. It addresses in a clear and systematic way some of the most difficult parts of acoustics for beginners, such as the widely different approximations due to the wide frequency range, the apparently arbitrary choice between the use of analytical solutions to the wave equation with boundary conditions, and the fundamentally different energy-based considerations used in noise control. As a result, it provides readers with a self-contained source of information on acoustics which can be used for self-study or as a graduate course text. Key features: Places an emphasis on detailed derivations based on the fundamental laws of physics and interpretations of the resulting formulas. Avoids, where possible, electrical and mechanical equivalent circuits, so as to make it accessible to readers with different backgrounds. Introduces duct acoustics, sound in enclosures, and sound radiation and scattering. Contains a set of appendices which includes material on signal analysis and processing as these tools are essential for the modern acoustician."]