Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Modeling the wireless propagation channel : a simulation approach with Matlab / / F. Perez-Fontan and P. Marino-Espineira
| Modeling the wireless propagation channel : a simulation approach with Matlab / / F. Perez-Fontan and P. Marino-Espineira |
| Autore | Perez-Fontan F |
| Pubbl/distr/stampa | Chichester, West Sussex, England ; ; Hoboken, NJ, USA, : Wiley, 2008 |
| Descrizione fisica | 1 online resource (272 p.) |
| Disciplina | 621.384/11 |
| Altri autori (Persone) | Marino EspineiraP |
| Collana | Wireless communications and mobile computing |
| Soggetto topico |
Mobile communication systems - Computer simulation
Radio wave propagation - Computer simulation Radio wave propagation - Mathematical models Antennas (Electronics) - Computer simulation |
| ISBN |
1-283-20354-5
9786613203540 0-470-75174-6 0-470-75173-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents About the Series Editors Preface Acknowledgments 1 Introduction to Wireless Propagation 1.1 Introduction 1.2 Wireless Propagation Basics 1.3 Link Budgets 1.4 Projects 1.5 Summary References Software Supplied 2 Shadowing Effects 2.1 Introduction 2.2 Projects 2.3 Summary References Software Supplied 3 Coverage and Interference 3.1 Introduction 3.2 Hata Model 3.3 Projects 3.4 Summary References Software Supplied 4 Introduction to Multipath 4.1 Introduction 4.2 Projects 4.3 Summary References Software Supplied 5 Multipath: Narrowband Channel 5.1 Introduction 5.2 Projects 5.3 Summary References Software Supplied 6 Shadowing and Multipath 6.1 Introduction 6.2 Projects 6.3 Summary References Software Supplied 7 Multipath: Wideband Channel 7.1 Introduction 7.2 Deterministic Multiple Point-Scatterer Model 7.3 Channel System Functions 7.4 Stochastic Description of the Wireless Channel 7.5 Projects 7.6 Summary References Software Supplied 8 Propagation in Microcells and Picocells 8.1 Introduction 8.2 Review of Some Propagation Basics 8.3 Microcell and Picocell Empirical Models 8.4 Projects 8.5 Summary References Software Supplied 9 The Land |
| Record Nr. | UNINA-9910876938003321 |
Perez-Fontan F
|
||
| Chichester, West Sussex, England ; ; Hoboken, NJ, USA, : Wiley, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Modeling the wireless propagation channel : a simulation approach with Matlab / / F. Pérez-Fontán and P. Mariño-Espiñeira
| Modeling the wireless propagation channel : a simulation approach with Matlab / / F. Pérez-Fontán and P. Mariño-Espiñeira |
| Autore | Pérez-Fontán F. |
| Pubbl/distr/stampa | Chichester, West Sussex, England ; , : Wiley, , 2008 |
| Descrizione fisica | 1 online resource (272 p.) |
| Disciplina |
621.384/11
621.38411 |
| Altri autori (Persone) | Mariño-EspiñeiraP |
| Collana | Wireless communications and mobile computing |
| Soggetto topico |
Mobile communication systems - Computer simulation
Radio wave propagation - Computer simulation Radio wave propagation - Mathematical models Antennas (Electronics) - Computer simulation |
| ISBN |
1-283-20354-5
9786613203540 0-470-75174-6 0-470-75173-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents About the Series Editors Preface Acknowledgments 1 Introduction to Wireless Propagation 1.1 Introduction 1.2 Wireless Propagation Basics 1.3 Link Budgets 1.4 Projects 1.5 Summary References Software Supplied 2 Shadowing Effects 2.1 Introduction 2.2 Projects 2.3 Summary References Software Supplied 3 Coverage and Interference 3.1 Introduction 3.2 Hata Model 3.3 Projects 3.4 Summary References Software Supplied 4 Introduction to Multipath 4.1 Introduction 4.2 Projects 4.3 Summary References Software Supplied 5 Multipath: Narrowband Channel 5.1 Introduction 5.2 Projects 5.3 Summary References Software Supplied 6 Shadowing and Multipath 6.1 Introduction 6.2 Projects 6.3 Summary References Software Supplied 7 Multipath: Wideband Channel 7.1 Introduction 7.2 Deterministic Multiple Point-Scatterer Model 7.3 Channel System Functions 7.4 Stochastic Description of the Wireless Channel 7.5 Projects 7.6 Summary References Software Supplied 8 Propagation in Microcells and Picocells 8.1 Introduction 8.2 Review of Some Propagation Basics 8.3 Microcell and Picocell Empirical Models 8.4 Projects 8.5 Summary References Software Supplied 9 The Land |
| Record Nr. | UNINA-9910144114203321 |
|
Pérez-Fontán F.
|
||
| Chichester, West Sussex, England ; , : Wiley, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Modeling the wireless propagation channel : a simulation approach with Matlab / / F. Pérez-Fontán and P. Mariño-Espiñeira
| Modeling the wireless propagation channel : a simulation approach with Matlab / / F. Pérez-Fontán and P. Mariño-Espiñeira |
| Autore | Pérez-Fontán F. |
| Pubbl/distr/stampa | Chichester, West Sussex, England ; , : Wiley, , 2008 |
| Descrizione fisica | 1 online resource (272 p.) |
| Disciplina |
621.384/11
621.38411 |
| Altri autori (Persone) | Mariño-EspiñeiraP |
| Collana | Wireless communications and mobile computing |
| Soggetto topico |
Mobile communication systems - Computer simulation
Radio wave propagation - Computer simulation Radio wave propagation - Mathematical models Antennas (Electronics) - Computer simulation |
| ISBN |
1-283-20354-5
9786613203540 0-470-75174-6 0-470-75173-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents About the Series Editors Preface Acknowledgments 1 Introduction to Wireless Propagation 1.1 Introduction 1.2 Wireless Propagation Basics 1.3 Link Budgets 1.4 Projects 1.5 Summary References Software Supplied 2 Shadowing Effects 2.1 Introduction 2.2 Projects 2.3 Summary References Software Supplied 3 Coverage and Interference 3.1 Introduction 3.2 Hata Model 3.3 Projects 3.4 Summary References Software Supplied 4 Introduction to Multipath 4.1 Introduction 4.2 Projects 4.3 Summary References Software Supplied 5 Multipath: Narrowband Channel 5.1 Introduction 5.2 Projects 5.3 Summary References Software Supplied 6 Shadowing and Multipath 6.1 Introduction 6.2 Projects 6.3 Summary References Software Supplied 7 Multipath: Wideband Channel 7.1 Introduction 7.2 Deterministic Multiple Point-Scatterer Model 7.3 Channel System Functions 7.4 Stochastic Description of the Wireless Channel 7.5 Projects 7.6 Summary References Software Supplied 8 Propagation in Microcells and Picocells 8.1 Introduction 8.2 Review of Some Propagation Basics 8.3 Microcell and Picocell Empirical Models 8.4 Projects 8.5 Summary References Software Supplied 9 The Land |
| Record Nr. | UNINA-9910830375503321 |
|
Pérez-Fontán F.
|
||
| Chichester, West Sussex, England ; , : Wiley, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Validation of communications systems with SDL [[electronic resource] ] : the art of SDL simulation and reachability analysis / / Laurent Doldi
| Validation of communications systems with SDL [[electronic resource] ] : the art of SDL simulation and reachability analysis / / Laurent Doldi |
| Autore | Doldi Laurent |
| Pubbl/distr/stampa | Chichester ; ; Hoboken, NJ, : Wiley, c2003 |
| Descrizione fisica | 1 online resource (312 p.) |
| Disciplina |
621.382
621.38450113 |
| Soggetto topico |
Wireless communication systems - Computer simulation
Mobile communication systems - Computer simulation SDL (Computer program language) |
| ISBN |
1-280-27197-3
9786610271979 0-470-29983-5 0-470-86482-6 0-470-01415-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Validation of Communications Systems with SDL; Contents; Preface; Foreword; 1 Introduction; 1.1 Validation of Communications Systems; 1.2 SDL, Language to Master Complex Systems Development; 1.2.1 Overview of SDL; 1.2.2 Benefits provided by SDL; 1.3 Simulation Life Cycle; 1.4 Contents of the Book; 1.5 Tools and Platforms Used; 2 Quick Tutorial on SDL; 2.1 Structure of an SDL Model; 2.1.1 System, block and process; 2.1.2 Scope of declarations; 2.1.3 Process; 2.1.4 Procedure; 2.2 Communication; 2.2.1 Signals; 2.2.2 Channel; 2.2.3 Signal route; 2.3 Behavior; 2.3.1 Structure of a transition
2.3.2 Start2.3.3 States; 2.3.4 Input; 2.3.5 Save; 2.3.6 Variables; 2.3.7 Stop; 2.3.8 Task; 2.3.9 Create; 2.3.10 Output; 2.3.11 Decision; 2.3.12 Timers; 2.4 Data Types; 2.4.1 Predefined data; 2.4.2 Array; 2.4.3 Synonym and syntype; 2.4.4 Newtype; 2.5 Constructs for Better Modularity and Genericity; 2.5.1 Package; 2.5.2 Types, instances and gates; 2.5.3 Specialization; 3 The V.76 Protocol Case Study; 3.1 Presentation; 3.2 Specification of the V.76 Protocol; 3.2.1 Abbreviations used; 3.2.2 Exchange identification procedures (XID); 3.2.3 Establishment of a data link connection 3.2.4 Information transfer modes3.2.5 Release of a DLC; 3.3 Analysis MSCs for the V.76 Protocol; 3.4 The SDL Model of V.76; 3.4.1 The simulation configuration of V.76; 3.4.2 The package V76; 3.4.3 The block dataLink; 4 Interactive Simulation; 4.1 Principles; 4.2 Case Study with Tau SDL Suite; 4.2.1 Prepare the Simulator; 4.2.2 Validate against the main scenarios; 4.2.3 Detect a bug in the SDL model; 4.2.4 Detect nonsimulated parts; 4.2.5 Validate against more scenarios; 4.2.6 Write a script for automatic validation; 4.2.7 Other Simulator features; 4.3 Case Study with ObjectGeode 4.3.1 Prepare the Simulator4.3.2 Validate against the main scenarios; 4.3.3 Detect a bug in the SDL model; 4.3.4 Detect nonsimulated parts; 4.3.5 Validate against more scenarios; 4.3.6 Write a script for automatic validation; 4.3.7 Other Simulator features: watch, trace, filter etc; 4.4 Errors Detectable by Interactive Simulation; 4.4.1 Dynamic errors detected by Tau SDL suite Simulator; 4.4.2 Dynamic errors detected by ObjectGeode SDL Simulator; 4.4.3 Dynamic errors not checked; 5 Automatic Observation of Simulations; 5.1 Principles; 5.1.1 Automatic checking of model properties 5.1.2 Specificity of observation with MSCs in Tau SDL Suite5.2 Case study with Tau SDL Suite; 5.2.1 Simulate with user-defined rules; 5.2.2 Simulate with a basic MSC; 5.2.3 Simulate with an MSC containing inline operators; 5.2.4 Simulate with an HMSC; 5.2.5 More details on MSCs; 5.2.6 Simulate with observer processes; 5.2.7 More details on observer processes; 5.3 Case Study with ObjectGeode; 5.3.1 Simulate with stop conditions; 5.3.2 Simulate with a basic MSC; 5.3.3 Simulate with a hierarchical MSC; 5.3.4 More details on MSCs; 5.3.5 Simulate with GOAL observers 5.3.6 More details on GOAL observers |
| Record Nr. | UNINA-9910143222603321 |
|
Doldi Laurent
|
||
| Chichester ; ; Hoboken, NJ, : Wiley, c2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Validation of communications systems with SDL [[electronic resource] ] : the art of SDL simulation and reachability analysis / / Laurent Doldi
| Validation of communications systems with SDL [[electronic resource] ] : the art of SDL simulation and reachability analysis / / Laurent Doldi |
| Autore | Doldi Laurent |
| Pubbl/distr/stampa | Chichester ; ; Hoboken, NJ, : Wiley, c2003 |
| Descrizione fisica | 1 online resource (312 p.) |
| Disciplina |
621.382
621.38450113 |
| Soggetto topico |
Wireless communication systems - Computer simulation
Mobile communication systems - Computer simulation SDL (Computer program language) |
| ISBN |
1-280-27197-3
9786610271979 0-470-29983-5 0-470-86482-6 0-470-01415-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Validation of Communications Systems with SDL; Contents; Preface; Foreword; 1 Introduction; 1.1 Validation of Communications Systems; 1.2 SDL, Language to Master Complex Systems Development; 1.2.1 Overview of SDL; 1.2.2 Benefits provided by SDL; 1.3 Simulation Life Cycle; 1.4 Contents of the Book; 1.5 Tools and Platforms Used; 2 Quick Tutorial on SDL; 2.1 Structure of an SDL Model; 2.1.1 System, block and process; 2.1.2 Scope of declarations; 2.1.3 Process; 2.1.4 Procedure; 2.2 Communication; 2.2.1 Signals; 2.2.2 Channel; 2.2.3 Signal route; 2.3 Behavior; 2.3.1 Structure of a transition
2.3.2 Start2.3.3 States; 2.3.4 Input; 2.3.5 Save; 2.3.6 Variables; 2.3.7 Stop; 2.3.8 Task; 2.3.9 Create; 2.3.10 Output; 2.3.11 Decision; 2.3.12 Timers; 2.4 Data Types; 2.4.1 Predefined data; 2.4.2 Array; 2.4.3 Synonym and syntype; 2.4.4 Newtype; 2.5 Constructs for Better Modularity and Genericity; 2.5.1 Package; 2.5.2 Types, instances and gates; 2.5.3 Specialization; 3 The V.76 Protocol Case Study; 3.1 Presentation; 3.2 Specification of the V.76 Protocol; 3.2.1 Abbreviations used; 3.2.2 Exchange identification procedures (XID); 3.2.3 Establishment of a data link connection 3.2.4 Information transfer modes3.2.5 Release of a DLC; 3.3 Analysis MSCs for the V.76 Protocol; 3.4 The SDL Model of V.76; 3.4.1 The simulation configuration of V.76; 3.4.2 The package V76; 3.4.3 The block dataLink; 4 Interactive Simulation; 4.1 Principles; 4.2 Case Study with Tau SDL Suite; 4.2.1 Prepare the Simulator; 4.2.2 Validate against the main scenarios; 4.2.3 Detect a bug in the SDL model; 4.2.4 Detect nonsimulated parts; 4.2.5 Validate against more scenarios; 4.2.6 Write a script for automatic validation; 4.2.7 Other Simulator features; 4.3 Case Study with ObjectGeode 4.3.1 Prepare the Simulator4.3.2 Validate against the main scenarios; 4.3.3 Detect a bug in the SDL model; 4.3.4 Detect nonsimulated parts; 4.3.5 Validate against more scenarios; 4.3.6 Write a script for automatic validation; 4.3.7 Other Simulator features: watch, trace, filter etc; 4.4 Errors Detectable by Interactive Simulation; 4.4.1 Dynamic errors detected by Tau SDL suite Simulator; 4.4.2 Dynamic errors detected by ObjectGeode SDL Simulator; 4.4.3 Dynamic errors not checked; 5 Automatic Observation of Simulations; 5.1 Principles; 5.1.1 Automatic checking of model properties 5.1.2 Specificity of observation with MSCs in Tau SDL Suite5.2 Case study with Tau SDL Suite; 5.2.1 Simulate with user-defined rules; 5.2.2 Simulate with a basic MSC; 5.2.3 Simulate with an MSC containing inline operators; 5.2.4 Simulate with an HMSC; 5.2.5 More details on MSCs; 5.2.6 Simulate with observer processes; 5.2.7 More details on observer processes; 5.3 Case Study with ObjectGeode; 5.3.1 Simulate with stop conditions; 5.3.2 Simulate with a basic MSC; 5.3.3 Simulate with a hierarchical MSC; 5.3.4 More details on MSCs; 5.3.5 Simulate with GOAL observers 5.3.6 More details on GOAL observers |
| Record Nr. | UNINA-9910831081603321 |
|
Doldi Laurent
|
||
| Chichester ; ; Hoboken, NJ, : Wiley, c2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Validation of communications systems with SDL : the art of SDL simulation and reachability analysis / / Laurent Doldi
| Validation of communications systems with SDL : the art of SDL simulation and reachability analysis / / Laurent Doldi |
| Autore | Doldi Laurent |
| Pubbl/distr/stampa | Chichester ; ; Hoboken, NJ, : Wiley, c2003 |
| Descrizione fisica | 1 online resource (312 p.) |
| Disciplina | 621.38450113 |
| Soggetto topico |
Wireless communication systems - Computer simulation
Mobile communication systems - Computer simulation SDL (Computer program language) |
| ISBN |
1-280-27197-3
9786610271979 0-470-29983-5 0-470-86482-6 0-470-01415-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Validation of Communications Systems with SDL; Contents; Preface; Foreword; 1 Introduction; 1.1 Validation of Communications Systems; 1.2 SDL, Language to Master Complex Systems Development; 1.2.1 Overview of SDL; 1.2.2 Benefits provided by SDL; 1.3 Simulation Life Cycle; 1.4 Contents of the Book; 1.5 Tools and Platforms Used; 2 Quick Tutorial on SDL; 2.1 Structure of an SDL Model; 2.1.1 System, block and process; 2.1.2 Scope of declarations; 2.1.3 Process; 2.1.4 Procedure; 2.2 Communication; 2.2.1 Signals; 2.2.2 Channel; 2.2.3 Signal route; 2.3 Behavior; 2.3.1 Structure of a transition
2.3.2 Start2.3.3 States; 2.3.4 Input; 2.3.5 Save; 2.3.6 Variables; 2.3.7 Stop; 2.3.8 Task; 2.3.9 Create; 2.3.10 Output; 2.3.11 Decision; 2.3.12 Timers; 2.4 Data Types; 2.4.1 Predefined data; 2.4.2 Array; 2.4.3 Synonym and syntype; 2.4.4 Newtype; 2.5 Constructs for Better Modularity and Genericity; 2.5.1 Package; 2.5.2 Types, instances and gates; 2.5.3 Specialization; 3 The V.76 Protocol Case Study; 3.1 Presentation; 3.2 Specification of the V.76 Protocol; 3.2.1 Abbreviations used; 3.2.2 Exchange identification procedures (XID); 3.2.3 Establishment of a data link connection 3.2.4 Information transfer modes3.2.5 Release of a DLC; 3.3 Analysis MSCs for the V.76 Protocol; 3.4 The SDL Model of V.76; 3.4.1 The simulation configuration of V.76; 3.4.2 The package V76; 3.4.3 The block dataLink; 4 Interactive Simulation; 4.1 Principles; 4.2 Case Study with Tau SDL Suite; 4.2.1 Prepare the Simulator; 4.2.2 Validate against the main scenarios; 4.2.3 Detect a bug in the SDL model; 4.2.4 Detect nonsimulated parts; 4.2.5 Validate against more scenarios; 4.2.6 Write a script for automatic validation; 4.2.7 Other Simulator features; 4.3 Case Study with ObjectGeode 4.3.1 Prepare the Simulator4.3.2 Validate against the main scenarios; 4.3.3 Detect a bug in the SDL model; 4.3.4 Detect nonsimulated parts; 4.3.5 Validate against more scenarios; 4.3.6 Write a script for automatic validation; 4.3.7 Other Simulator features: watch, trace, filter etc; 4.4 Errors Detectable by Interactive Simulation; 4.4.1 Dynamic errors detected by Tau SDL suite Simulator; 4.4.2 Dynamic errors detected by ObjectGeode SDL Simulator; 4.4.3 Dynamic errors not checked; 5 Automatic Observation of Simulations; 5.1 Principles; 5.1.1 Automatic checking of model properties 5.1.2 Specificity of observation with MSCs in Tau SDL Suite5.2 Case study with Tau SDL Suite; 5.2.1 Simulate with user-defined rules; 5.2.2 Simulate with a basic MSC; 5.2.3 Simulate with an MSC containing inline operators; 5.2.4 Simulate with an HMSC; 5.2.5 More details on MSCs; 5.2.6 Simulate with observer processes; 5.2.7 More details on observer processes; 5.3 Case Study with ObjectGeode; 5.3.1 Simulate with stop conditions; 5.3.2 Simulate with a basic MSC; 5.3.3 Simulate with a hierarchical MSC; 5.3.4 More details on MSCs; 5.3.5 Simulate with GOAL observers 5.3.6 More details on GOAL observers |
| Record Nr. | UNINA-9910877743403321 |
|
Doldi Laurent
|
||
| Chichester ; ; Hoboken, NJ, : Wiley, c2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
