{"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":51,"n_cols":5,"rows_kept":51,"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],[12,2,12,3],[13,2,13,3],[14,2,14,3],[15,2,15,3],[16,2,16,3],[17,2,17,3],[20,2,20,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],[32,2,32,3],[33,2,33,3],[35,2,35,3],[38,2,38,3],[39,2,39,3],[43,2,43,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910783168203321"]
[null,null,"Autore",null,"Chen Matthew Y."]
[null,null,"Titolo",null,"Tone Sandhi : patterns across Chinese dialects / / Matthew Y. Chen"]
[null,null,"Pubbl/distr/stampa",null,"Cambridge : , : Cambridge University Press, , 2000"]
[null,null,"ISBN",null,"1-107-11753-4"]
[{"$nulls":4},"1-280-42069-3"]
[{"$nulls":4},"0-511-17563-9"]
[{"$nulls":4},"0-511-04053-9"]
[{"$nulls":4},"0-511-15611-1"]
[{"$nulls":4},"0-511-32908-3"]
[{"$nulls":4},"0-511-48636-7"]
[{"$nulls":4},"0-511-04830-0"]
[null,null,"Descrizione fisica",null,"1 online resource (xx, 554 pages) : illustrations; digital, PDF file(s)"]
[null,null,"Collana",null,"Cambridge studies in linguistics ; ; 92"]
[null,null,"Disciplina",null,"495.1/16"]
[null,null,"Soggetti",null,"Chinese language - Tone"]
[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 (p. 507-522)."]
[null,null,"Nota di contenuto",null,"1. Setting the stage -- 2. Tonal representation and tonal processes -- 3. Directionality and interacting sandhi processes I -- 4. Directionality and interacting sandhi processes II -- 5. From base tones to sandhi forms: a constraint-based analysis -- 6. From tone to accent -- 7. Stress-foot as sandhi domain I -- 8. Stress-foot as sandhi domain II -- 9. Minimal rhythmic unit as obligatory sandhi domain -- 10. Phonological phrase as a sandhi domain -- 11. From tone to intonation -- Bibliographical appendix: Tone sandhi across Chinese dialects."]
[null,null,null,"Sommario/riassunto","Matthew Chen's study, first published in 2000, offers a most comprehensive analysis of the rich and complex patterns of tone used in Chinese languages. Chinese has a wide repertoire of tones which undergo often surprising changes when they are connected in speech flow. The term tone sandhi refers to this tonal alternation. Chen examines tone sandhi phenomena in detail across a variety of Chinese dialects. He explores a range of important theoretical issues such as the nature of tonal representation, the relation of tone to accent, the prosodic domain of sandhi rules, and the interface between syntax and phonology. His book is the culmination of a ten-year research project and offers a wealth of empirical data not previously accessible to "]
[{"$nulls":4},"linguists. Extensive references and a bibliography on tone sandhi complete this invaluable resource which will be welcomed as a standard reference on Chinese tone."]
[null,"2.","Record Nr.",null,"UNINA9910831081603321"]
[null,null,"Autore",null,"Doldi Laurent"]
[null,null,"Titolo",null,"Validation of communications systems with SDL [[electronic resource] ] : the art of SDL simulation and reachability analysis / / Laurent Doldi"]
[null,null,"Pubbl/distr/stampa",null,"Chichester ; ; Hoboken, NJ, : Wiley, c2003"]
[null,null,"ISBN",null,"1-280-27197-3"]
[{"$nulls":4},"9786610271979"]
[{"$nulls":4},"0-470-29983-5"]
[{"$nulls":4},"0-470-86482-6"]
[{"$nulls":4},"0-470-01415-6"]
[null,null,"Descrizione fisica",null,"1 online resource (312 p.)"]
[null,null,"Disciplina",null,"621.382"]
[{"$nulls":4},"621.38450113"]
[null,null,"Soggetti",null,"Wireless communication systems - Computer simulation"]
[{"$nulls":4},"Mobile communication systems - Computer simulation"]
[{"$nulls":4},"SDL (Computer program language)"]
[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","Description based upon print version of record."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references (p. [289]-291) and index."]
[null,null,"Nota di contenuto",null,"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"]
[{"$nulls":4},"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"]
[{"$nulls":4},"3.2.4 Information transfer modes3.2.5 Release of a DLC; 3.3 Analysis "]
[{"$nulls":4},"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"]
[{"$nulls":4},"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"]
[{"$nulls":4},"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"]
[{"$nulls":4},"5.3.6 More details on GOAL observers"]
[null,null,null,"Sommario/riassunto","Validation of Communications Systems with SDL provides a clear practical guide to validating, by simulation, a telecom system modelled in SDL. SDL, the Specification and Description Language standardised by the International Telecommunication Union (ITU-T), is used to specify and develop complex systems such as GSM, GPRS, UMTS, IEEE 802.11 or Hiperlan. Since the downturn in the telecom industry, validating a system before its implementation has become mandatory to reduce costs. This volume guides you step by step through the validation of a simplified protocol layer, from interactive"]