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.
Antenna arraying techniques in the Deep Space Network [[electronic resource] /] / David H. Rogstad, Alexander Mileant, Timothy T. Pham
| Antenna arraying techniques in the Deep Space Network [[electronic resource] /] / David H. Rogstad, Alexander Mileant, Timothy T. Pham |
| Autore | Rogstad David Herbert <1940-> |
| Pubbl/distr/stampa | Hoboken, NJ, : J. Wiley-Interscience, c2003 |
| Descrizione fisica | 1 online resource (182 p.) |
| Disciplina |
621.3824
629.47/43/0973 |
| Altri autori (Persone) |
MileantAlexander
PhamTimothy T |
| Collana | Deep-space communications and navigation series |
| Soggetto topico |
Deep Space Network
Antenna arrays |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-280-25328-2
9786610253289 0-470-23192-0 0-471-72130-1 0-471-72131-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Antenna Arraying Techniques in the Deep Space Network; Table of Contents; Foreword; Preface; Acknowledgments; Chapter 1: Introduction; 1.1 Benefits of Arraying; 1.1.1 Performance Benefits; 1.1.2 Operability Benefits; 1.1.3 Cost Benefits; 1.1.4 Flexibility Benefits; 1.1.5 Science Benefits; References; Chapter 2: Background of Arraying in the Deep Space Network; 2.1 Early Development; 2.2 Current Status of Development; 2.3 Anticipated Applications with Current Capabilities; References; Chapter 3: Arraying Concepts; 3.1 An Array as an Interferometer; 3.2 Detectability
3.3 Gain Limits for an Antenna and Array3.4 System Temperature; 3.5 Reliability and Availability; References; Chapter 4: Overview of Arraying Techniques; 4.1 Full-Spectrum Combining (FSC); 4.2 Complex-Symbol Combining (CSC); 4.3 Symbol-Stream Combining (SSC); 4.4 Baseband Combining (BC); 4.5 Carrier Arraying (CA); References; Chapter 5: Single-Receiver Performance; 5.1 Basic Equations; 5.2 Degradation and Loss; References; Chapter 6: Arraying Techniques; 6.1 Full-Spectrum Combining (FSC); 6.1.1 Telemetry Performance; 6.2 Complex-Symbol Combining (CSC); 6.2.1 Telemetry Performance 6.3 Symbol-Stream Combining (SSC)6.4 Baseband Combining (BC); 6.5 Carrier Arraying (CA); 6.5.1 Baseband Carrier-Arraying Scheme; 6.5.2 IF Carrier-Arraying Scheme; References; Chapter 7: Arraying Combinations and Comparisons; 7.1 Arraying Combinations; 7.2 Numerical Examples; 7.2.1 Pioneer 10; 7.2.2 Voyager II; 7.2.3 Magellan; 7.2.4 Galileo; 7.3 Conclusions; Reference; Chapter 8: Correlation Algorithms; 8.1 General; 8.2 Simple; 8.3 Sumple; 8.4 Eigen; 8.5 Least-Squares; 8.6 Simulations; References; Chapter 9: Current Arraying Capability; 9.1 Equipment Description; 9.2 Signal Processing 9.2.1 Correlation9.2.2 Delay Compensation; 9.2.3 Combining; 9.3 Results; 9.3.1 Telemetry Array Gain; 9.3.2 Radio Metric Array Gain; References; Chapter 10: Future Development; 10.1 The Square Kilometer Array; 10.2 The Allen Telescope Array; 10.3 The DSN Large Array; 10.3.1 Correlation; 10.3.2 Monitor and Control; 10.3.3 Signal Distribution; 10.3.4 Maintenance; 10.3.5 Data Routing; 10.4 The Uplink Array; 10.4.1 Electronic Stability; 10.4.2 Tropospheric Variation; 10.5 Software Combiner; 10.6 Final Remarks; References; Appendix A: Antenna Location; Appendix B: Array Availability Appendix C: Demodulation ProcessC.1 Signal Model; C.2 Carrier Demodulation; C.3 Subcarrier Demodulation; C.4 Symbol Demodulation; Appendix D: Gamma Factors for DSN Antennas; Appendix E: Closed-Loop Performance; Appendix F: Subcarrier and Symbol-Loop SNR Performance; F.1 Subcarrier I- and IQ-Loops; F.2 Digital Data-Transition Tracking I- and IQ-Loops; Appendix G: Derivation of Equations for Complex-Symbol Combining; G.1 Derivation of Eq . (6.2-5); G.2 Derivation of Eq . (6.2-11); General Reference List; Acronyms and Abbreviations |
| Record Nr. | UNINA-9910146055603321 |
Rogstad David Herbert <1940->
|
||
| Hoboken, NJ, : J. Wiley-Interscience, c2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Antenna arraying techniques in the Deep Space Network [[electronic resource] /] / David H. Rogstad, Alexander Mileant, Timothy T. Pham
| Antenna arraying techniques in the Deep Space Network [[electronic resource] /] / David H. Rogstad, Alexander Mileant, Timothy T. Pham |
| Autore | Rogstad David Herbert <1940-> |
| Pubbl/distr/stampa | Hoboken, NJ, : J. Wiley-Interscience, c2003 |
| Descrizione fisica | 1 online resource (182 p.) |
| Disciplina |
621.3824
629.47/43/0973 |
| Altri autori (Persone) |
MileantAlexander
PhamTimothy T |
| Collana | Deep-space communications and navigation series |
| Soggetto topico |
Deep Space Network
Antenna arrays |
| ISBN |
1-280-25328-2
9786610253289 0-470-23192-0 0-471-72130-1 0-471-72131-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Antenna Arraying Techniques in the Deep Space Network; Table of Contents; Foreword; Preface; Acknowledgments; Chapter 1: Introduction; 1.1 Benefits of Arraying; 1.1.1 Performance Benefits; 1.1.2 Operability Benefits; 1.1.3 Cost Benefits; 1.1.4 Flexibility Benefits; 1.1.5 Science Benefits; References; Chapter 2: Background of Arraying in the Deep Space Network; 2.1 Early Development; 2.2 Current Status of Development; 2.3 Anticipated Applications with Current Capabilities; References; Chapter 3: Arraying Concepts; 3.1 An Array as an Interferometer; 3.2 Detectability
3.3 Gain Limits for an Antenna and Array3.4 System Temperature; 3.5 Reliability and Availability; References; Chapter 4: Overview of Arraying Techniques; 4.1 Full-Spectrum Combining (FSC); 4.2 Complex-Symbol Combining (CSC); 4.3 Symbol-Stream Combining (SSC); 4.4 Baseband Combining (BC); 4.5 Carrier Arraying (CA); References; Chapter 5: Single-Receiver Performance; 5.1 Basic Equations; 5.2 Degradation and Loss; References; Chapter 6: Arraying Techniques; 6.1 Full-Spectrum Combining (FSC); 6.1.1 Telemetry Performance; 6.2 Complex-Symbol Combining (CSC); 6.2.1 Telemetry Performance 6.3 Symbol-Stream Combining (SSC)6.4 Baseband Combining (BC); 6.5 Carrier Arraying (CA); 6.5.1 Baseband Carrier-Arraying Scheme; 6.5.2 IF Carrier-Arraying Scheme; References; Chapter 7: Arraying Combinations and Comparisons; 7.1 Arraying Combinations; 7.2 Numerical Examples; 7.2.1 Pioneer 10; 7.2.2 Voyager II; 7.2.3 Magellan; 7.2.4 Galileo; 7.3 Conclusions; Reference; Chapter 8: Correlation Algorithms; 8.1 General; 8.2 Simple; 8.3 Sumple; 8.4 Eigen; 8.5 Least-Squares; 8.6 Simulations; References; Chapter 9: Current Arraying Capability; 9.1 Equipment Description; 9.2 Signal Processing 9.2.1 Correlation9.2.2 Delay Compensation; 9.2.3 Combining; 9.3 Results; 9.3.1 Telemetry Array Gain; 9.3.2 Radio Metric Array Gain; References; Chapter 10: Future Development; 10.1 The Square Kilometer Array; 10.2 The Allen Telescope Array; 10.3 The DSN Large Array; 10.3.1 Correlation; 10.3.2 Monitor and Control; 10.3.3 Signal Distribution; 10.3.4 Maintenance; 10.3.5 Data Routing; 10.4 The Uplink Array; 10.4.1 Electronic Stability; 10.4.2 Tropospheric Variation; 10.5 Software Combiner; 10.6 Final Remarks; References; Appendix A: Antenna Location; Appendix B: Array Availability Appendix C: Demodulation ProcessC.1 Signal Model; C.2 Carrier Demodulation; C.3 Subcarrier Demodulation; C.4 Symbol Demodulation; Appendix D: Gamma Factors for DSN Antennas; Appendix E: Closed-Loop Performance; Appendix F: Subcarrier and Symbol-Loop SNR Performance; F.1 Subcarrier I- and IQ-Loops; F.2 Digital Data-Transition Tracking I- and IQ-Loops; Appendix G: Derivation of Equations for Complex-Symbol Combining; G.1 Derivation of Eq . (6.2-5); G.2 Derivation of Eq . (6.2-11); General Reference List; Acronyms and Abbreviations |
| Record Nr. | UNINA-9910830711403321 |
|
Rogstad David Herbert <1940->
|
||
| Hoboken, NJ, : J. Wiley-Interscience, c2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Antenna arraying techniques in the Deep Space Network / / David H. Rogstad, Alexander Mileant, Timothy T. Pham
| Antenna arraying techniques in the Deep Space Network / / David H. Rogstad, Alexander Mileant, Timothy T. Pham |
| Autore | Rogstad David Herbert <1940-> |
| Pubbl/distr/stampa | Hoboken, NJ, : J. Wiley-Interscience, c2003 |
| Descrizione fisica | 1 online resource (182 p.) |
| Disciplina | 629.47/43/0973 |
| Altri autori (Persone) |
MileantAlexander
PhamTimothy T |
| Collana | Deep-space communications and navigation series |
| Soggetto topico |
Deep Space Network
Antenna arrays |
| ISBN |
1-280-25328-2
9786610253289 0-470-23192-0 0-471-72130-1 0-471-72131-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Antenna Arraying Techniques in the Deep Space Network; Table of Contents; Foreword; Preface; Acknowledgments; Chapter 1: Introduction; 1.1 Benefits of Arraying; 1.1.1 Performance Benefits; 1.1.2 Operability Benefits; 1.1.3 Cost Benefits; 1.1.4 Flexibility Benefits; 1.1.5 Science Benefits; References; Chapter 2: Background of Arraying in the Deep Space Network; 2.1 Early Development; 2.2 Current Status of Development; 2.3 Anticipated Applications with Current Capabilities; References; Chapter 3: Arraying Concepts; 3.1 An Array as an Interferometer; 3.2 Detectability
3.3 Gain Limits for an Antenna and Array3.4 System Temperature; 3.5 Reliability and Availability; References; Chapter 4: Overview of Arraying Techniques; 4.1 Full-Spectrum Combining (FSC); 4.2 Complex-Symbol Combining (CSC); 4.3 Symbol-Stream Combining (SSC); 4.4 Baseband Combining (BC); 4.5 Carrier Arraying (CA); References; Chapter 5: Single-Receiver Performance; 5.1 Basic Equations; 5.2 Degradation and Loss; References; Chapter 6: Arraying Techniques; 6.1 Full-Spectrum Combining (FSC); 6.1.1 Telemetry Performance; 6.2 Complex-Symbol Combining (CSC); 6.2.1 Telemetry Performance 6.3 Symbol-Stream Combining (SSC)6.4 Baseband Combining (BC); 6.5 Carrier Arraying (CA); 6.5.1 Baseband Carrier-Arraying Scheme; 6.5.2 IF Carrier-Arraying Scheme; References; Chapter 7: Arraying Combinations and Comparisons; 7.1 Arraying Combinations; 7.2 Numerical Examples; 7.2.1 Pioneer 10; 7.2.2 Voyager II; 7.2.3 Magellan; 7.2.4 Galileo; 7.3 Conclusions; Reference; Chapter 8: Correlation Algorithms; 8.1 General; 8.2 Simple; 8.3 Sumple; 8.4 Eigen; 8.5 Least-Squares; 8.6 Simulations; References; Chapter 9: Current Arraying Capability; 9.1 Equipment Description; 9.2 Signal Processing 9.2.1 Correlation9.2.2 Delay Compensation; 9.2.3 Combining; 9.3 Results; 9.3.1 Telemetry Array Gain; 9.3.2 Radio Metric Array Gain; References; Chapter 10: Future Development; 10.1 The Square Kilometer Array; 10.2 The Allen Telescope Array; 10.3 The DSN Large Array; 10.3.1 Correlation; 10.3.2 Monitor and Control; 10.3.3 Signal Distribution; 10.3.4 Maintenance; 10.3.5 Data Routing; 10.4 The Uplink Array; 10.4.1 Electronic Stability; 10.4.2 Tropospheric Variation; 10.5 Software Combiner; 10.6 Final Remarks; References; Appendix A: Antenna Location; Appendix B: Array Availability Appendix C: Demodulation ProcessC.1 Signal Model; C.2 Carrier Demodulation; C.3 Subcarrier Demodulation; C.4 Symbol Demodulation; Appendix D: Gamma Factors for DSN Antennas; Appendix E: Closed-Loop Performance; Appendix F: Subcarrier and Symbol-Loop SNR Performance; F.1 Subcarrier I- and IQ-Loops; F.2 Digital Data-Transition Tracking I- and IQ-Loops; Appendix G: Derivation of Equations for Complex-Symbol Combining; G.1 Derivation of Eq . (6.2-5); G.2 Derivation of Eq . (6.2-11); General Reference List; Acronyms and Abbreviations |
| Record Nr. | UNINA-9910877545703321 |
|
Rogstad David Herbert <1940->
|
||
| Hoboken, NJ, : J. Wiley-Interscience, c2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Architecture-independent programming for wireless sensor networks / / Amol B. Bakshi, Viktor K. Prasanna
| Architecture-independent programming for wireless sensor networks / / Amol B. Bakshi, Viktor K. Prasanna |
| Autore | Bakshi Amol B. <1975-> |
| Pubbl/distr/stampa | Hoboken, New Jersey : , : J. Wiley-Interscience, , c2008 |
| Descrizione fisica | 1 online resource (209 p.) |
| Disciplina | 681/.2 |
| Altri autori (Persone) | Prasanna KumarV. K |
| Collana | Wiley series on parallel and distributed computing |
| Soggetto topico |
Sensor networks - Programming
Wireless LANs - Programming |
| ISBN |
1-281-38158-6
9786611381585 0-470-28930-9 0-470-28929-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Preface -- Acknowledgments -- 1. Introduction -- 1.1 Sensor networks and traditional distributed systems -- 1.2 Programming of distributed sensor networks -- 1.2.1 Layers of programming abstraction -- 1.2.1.1 Service-oriented specification -- 1.2.1.2 Macroprogramming -- 1.2.1.3 Node-centric programming -- 1.2.2 Lessons from parallel and distributed computing -- 1.3 Macroprogramming: What and Why? -- 1.4 Contributions and Outline -- 2. The Abstract Task Graph -- 2.1 Target applications and architectures -- 2.2 Key Concepts -- 2.2.1 Data Driven Computing -- 2.2.1.1 Program flow mechanisms -- 2.2.1.2 Why data driven? -- 2.2.2 Mixed Imperative-Declarative Specification -- 2.3 Syntax -- 2.3.1 The Structure of an ATaG Program -- 2.3.2 More on Task Annotations -- 2.3.3 Illustrative examples -- 2.4 Semantics -- 2.4.1 Terminology -- 2.4.2 Firing rules -- 2.4.3 Task graph execution -- 2.4.4 get() and put() -- 2.5 Programming idioms -- 2.5.1 Object tracking -- 2.5.2 Interaction within local neighborhoods -- 2.5.3 In-network aggregation -- 2.5.4 Hierarchical data fusion -- 2.5.5 Event-triggered behavior instantiation -- 2.6 Future work -- 2.6.1 State-based dynamic behaviors -- 2.6.2 Resource management in the runtime system -- 2.6.3 Utility based negotiation for task scheduling and resource allocation -- 2.6.4 Analyzing feasibility of compilation -- 3. DART:The Data Driven ATaG Runtime -- 3.1 Design objectives -- 3.1.1 Support for ATaG semantics -- 3.1.2 Platform independence -- 3.1.3 Component-based design -- 3.1.4 Ease of software synthesis -- 3.2 Overview -- 3.3 Components and functionalities -- 3.3.1 Task, Data, and Channel Declarations -- 3.3.2 UserTask -- 3.3.2.1 Service -- 3.3.2.2 Interactions -- 3.3.2.3 Implementation -- 3.3.3 DataPool -- 3.3.3.1 Service -- 3.3.3.2 Interactions -- 3.3.3.3 Implementation -- 3.3.4 AtagManager -- 3.3.4.1 Service -- 3.3.4.2 Interactions -- 3.3.4.3 Implementation -- 3.3.5 NetworkStack -- 3.3.5.1 Service -- 3.3.5.2 Interactions -- 3.3.5.3 Implementation.
3.3.6 NetworkArchitecture -- 3.3.6.1 Service -- 3.3.6.2 Interactions -- 3.3.6.3 Implementation -- 3.3.7 Dispatcher -- 3.3.7.1 Service -- 3.3.7.2 Interactions -- 3.3.7.3 Implementation -- 3.4 Control flow -- 3.4.1 Startup -- 3.4.2 get() and put() -- 3.4.3 Illustrative example -- 3.5 Future work -- 3.5.1 Lazy compilation of channel annotations -- 3.5.2 Automatic priority assignment for task scheduling -- 4. Programming and Software Synthesis -- 4.1 Terminology -- 4.2 Meta-modeling for the ATaG domain -- 4.2.1 Objectives -- 4.2.2 Application model -- 4.2.3 Network model -- 4.3 The programming interface -- 4.4 Compilation and software synthesis -- 4.4.1 Translating task annotations -- 4.4.2 Automatic software synthesis -- 4.4.3 The ATaG simulator -- 4.4.4 Initialization -- 4.4.4.1 Situatedness -- 4.4.4.2 Network interface -- 4.4.4.3 Network architecture -- 4.4.4.4 Sensor interface -- 4.4.5 Visualizing synthesized application behavior -- 5 Case Study: Application Development with ATaG -- 5.1 Overview of the use case -- 5.2 Designing the macroprograms -- 5.2.1 Temperature gradient monitoring -- 5.2.2 Object detection and tracking -- 5.3 Specifying the declarative portion -- 5.4 Imperative portion: Temperature gradient monitoring -- 5.4.1 Abstract data items: Temperature and Fire -- 5.4.2 Abstract Task: Monitor -- 5.4.3 Abstract Task: Temperature Sampler -- 5.4.4 Abstract Task: Alarm Actuator -- 5.5 Imperative portion: Object detection and tracking -- 5.5.1 Abstract data items: TargetAlert and TargetInfo -- 5.5.2 Abstract Task: SampleAndThreshold -- 5.5.3 Abstract Task: Leader -- 5.5.4 Abstract Task: Supervisor -- 5.6 Application Composition -- 5.7 Software Synthesis -- 6 Concluding Remarks -- 6.1 A framework for domain-specific application development -- 6.2 A framework for compilation and software synthesis -- References. |
| Record Nr. | UNINA-9910143831103321 |
|
Bakshi Amol B. <1975->
|
||
| Hoboken, New Jersey : , : J. Wiley-Interscience, , c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Architecture-independent programming for wireless sensor networks / / Amol B. Bakshi, Viktor K. Prasanna
| Architecture-independent programming for wireless sensor networks / / Amol B. Bakshi, Viktor K. Prasanna |
| Autore | Bakshi Amol B. <1975-> |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Hoboken, N.J., : J. Wiley-Interscience, c2008 |
| Descrizione fisica | 1 online resource (209 p.) |
| Disciplina | 681/.2 |
| Altri autori (Persone) | Prasanna KumarV. K |
| Collana | Wiley series on parallel and distributed computing |
| Soggetto topico |
Sensor networks - Programming
Wireless LANs - Programming |
| ISBN |
1-281-38158-6
9786611381585 0-470-28930-9 0-470-28929-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Preface -- Acknowledgments -- 1. Introduction -- 1.1 Sensor networks and traditional distributed systems -- 1.2 Programming of distributed sensor networks -- 1.2.1 Layers of programming abstraction -- 1.2.1.1 Service-oriented specification -- 1.2.1.2 Macroprogramming -- 1.2.1.3 Node-centric programming -- 1.2.2 Lessons from parallel and distributed computing -- 1.3 Macroprogramming: What and Why? -- 1.4 Contributions and Outline -- 2. The Abstract Task Graph -- 2.1 Target applications and architectures -- 2.2 Key Concepts -- 2.2.1 Data Driven Computing -- 2.2.1.1 Program flow mechanisms -- 2.2.1.2 Why data driven? -- 2.2.2 Mixed Imperative-Declarative Specification -- 2.3 Syntax -- 2.3.1 The Structure of an ATaG Program -- 2.3.2 More on Task Annotations -- 2.3.3 Illustrative examples -- 2.4 Semantics -- 2.4.1 Terminology -- 2.4.2 Firing rules -- 2.4.3 Task graph execution -- 2.4.4 get() and put() -- 2.5 Programming idioms -- 2.5.1 Object tracking -- 2.5.2 Interaction within local neighborhoods -- 2.5.3 In-network aggregation -- 2.5.4 Hierarchical data fusion -- 2.5.5 Event-triggered behavior instantiation -- 2.6 Future work -- 2.6.1 State-based dynamic behaviors -- 2.6.2 Resource management in the runtime system -- 2.6.3 Utility based negotiation for task scheduling and resource allocation -- 2.6.4 Analyzing feasibility of compilation -- 3. DART:The Data Driven ATaG Runtime -- 3.1 Design objectives -- 3.1.1 Support for ATaG semantics -- 3.1.2 Platform independence -- 3.1.3 Component-based design -- 3.1.4 Ease of software synthesis -- 3.2 Overview -- 3.3 Components and functionalities -- 3.3.1 Task, Data, and Channel Declarations -- 3.3.2 UserTask -- 3.3.2.1 Service -- 3.3.2.2 Interactions -- 3.3.2.3 Implementation -- 3.3.3 DataPool -- 3.3.3.1 Service -- 3.3.3.2 Interactions -- 3.3.3.3 Implementation -- 3.3.4 AtagManager -- 3.3.4.1 Service -- 3.3.4.2 Interactions -- 3.3.4.3 Implementation -- 3.3.5 NetworkStack -- 3.3.5.1 Service -- 3.3.5.2 Interactions -- 3.3.5.3 Implementation.
3.3.6 NetworkArchitecture -- 3.3.6.1 Service -- 3.3.6.2 Interactions -- 3.3.6.3 Implementation -- 3.3.7 Dispatcher -- 3.3.7.1 Service -- 3.3.7.2 Interactions -- 3.3.7.3 Implementation -- 3.4 Control flow -- 3.4.1 Startup -- 3.4.2 get() and put() -- 3.4.3 Illustrative example -- 3.5 Future work -- 3.5.1 Lazy compilation of channel annotations -- 3.5.2 Automatic priority assignment for task scheduling -- 4. Programming and Software Synthesis -- 4.1 Terminology -- 4.2 Meta-modeling for the ATaG domain -- 4.2.1 Objectives -- 4.2.2 Application model -- 4.2.3 Network model -- 4.3 The programming interface -- 4.4 Compilation and software synthesis -- 4.4.1 Translating task annotations -- 4.4.2 Automatic software synthesis -- 4.4.3 The ATaG simulator -- 4.4.4 Initialization -- 4.4.4.1 Situatedness -- 4.4.4.2 Network interface -- 4.4.4.3 Network architecture -- 4.4.4.4 Sensor interface -- 4.4.5 Visualizing synthesized application behavior -- 5 Case Study: Application Development with ATaG -- 5.1 Overview of the use case -- 5.2 Designing the macroprograms -- 5.2.1 Temperature gradient monitoring -- 5.2.2 Object detection and tracking -- 5.3 Specifying the declarative portion -- 5.4 Imperative portion: Temperature gradient monitoring -- 5.4.1 Abstract data items: Temperature and Fire -- 5.4.2 Abstract Task: Monitor -- 5.4.3 Abstract Task: Temperature Sampler -- 5.4.4 Abstract Task: Alarm Actuator -- 5.5 Imperative portion: Object detection and tracking -- 5.5.1 Abstract data items: TargetAlert and TargetInfo -- 5.5.2 Abstract Task: SampleAndThreshold -- 5.5.3 Abstract Task: Leader -- 5.5.4 Abstract Task: Supervisor -- 5.6 Application Composition -- 5.7 Software Synthesis -- 6 Concluding Remarks -- 6.1 A framework for domain-specific application development -- 6.2 A framework for compilation and software synthesis -- References. |
| Record Nr. | UNINA-9910811310703321 |
|
Bakshi Amol B. <1975->
|
||
| Hoboken, N.J., : J. Wiley-Interscience, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Modern engineering statistics / Thomas P. Ryan
| Modern engineering statistics / Thomas P. Ryan |
| Autore | RYAN, Thomas P. |
| Pubbl/distr/stampa | Hoboken : J. Wiley-Interscience, copyr. 2007 |
| Descrizione fisica | XIX, 586 p. ; 26 cm |
| Disciplina | 519.502 |
| Soggetto topico | Ingegneria - Metodi statistici |
| ISBN | 978-0-470-08187-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990005962570203316 |
|
RYAN, Thomas P.
|
||
| Hoboken : J. Wiley-Interscience, copyr. 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Precoding and signal shaping for digital transmission / / Robert F.H. Fischer
| Precoding and signal shaping for digital transmission / / Robert F.H. Fischer |
| Autore | Fischer Robert F. H. <1966-> |
| Pubbl/distr/stampa | [Hoboken, New Jersey] : , : J. Wiley-Interscience, , c2002 |
| Descrizione fisica | 1 online resource (506 p.) |
| Disciplina |
621.382
621.3822 |
| Soggetto topico |
Signal processing - Digital techniques
Electrical engineering |
| ISBN |
1-280-27342-9
9786610273423 0-470-30311-5 0-471-72772-5 0-471-43900-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Digital communications via linear, distorting channels -- Precoding schemes -- Signal shaping -- Combined precoding and signal shaping. |
| Record Nr. | UNINA-9910146082603321 |
|
Fischer Robert F. H. <1966->
|
||
| [Hoboken, New Jersey] : , : J. Wiley-Interscience, , c2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Precoding and signal shaping for digital transmission / / Robert F.H. Fischer
| Precoding and signal shaping for digital transmission / / Robert F.H. Fischer |
| Autore | Fischer Robert F. H. <1966-> |
| Pubbl/distr/stampa | [Hoboken, New Jersey] : , : J. Wiley-Interscience, , c2002 |
| Descrizione fisica | 1 online resource (506 p.) |
| Disciplina |
621.382
621.3822 |
| Soggetto topico |
Signal processing - Digital techniques
Electrical engineering |
| ISBN |
1-280-27342-9
9786610273423 0-470-30311-5 0-471-72772-5 0-471-43900-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Digital communications via linear, distorting channels -- Precoding schemes -- Signal shaping -- Combined precoding and signal shaping. |
| Record Nr. | UNINA-9910831066803321 |
|
Fischer Robert F. H. <1966->
|
||
| [Hoboken, New Jersey] : , : J. Wiley-Interscience, , c2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Virtual reality technology / Grigore C. Burdea, Philippe Coiffet
| Virtual reality technology / Grigore C. Burdea, Philippe Coiffet |
| Autore | Burdea, Grigore |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | Hoboken, N.J. : J. Wiley-Interscience, c2003 |
| Descrizione fisica | xvi, 444 p. : ill. ; 26 cm. + 1 CD-ROM |
| Disciplina | 006 |
| Altri autori (Persone) | Coiffet, Philippeauthor |
| Soggetto topico |
Human-computer interaction
Virtual reality |
| ISBN | 0471360899 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991004288137707536 |
|
Burdea, Grigore
|
||
| Hoboken, N.J. : J. Wiley-Interscience, c2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
