MARC

LEADER 00000cam a2200000 i 4500
001 EBSCO_on1162449415
003 OCoLC
005 20231017213018.0
006 m o d
007 cr |||||||||||
008 121022s2013 nyu ob 001 0 eng
010 |a  2020685464 
040 |a DLC  |b eng  |e rda  |e pn  |c DLC  |d VLY  |d OCLCO  |d N$T  |d YDXCP  |d E7B  |d OCLCF  |d EBLCP  |d DEBSZ  |d AGLDB  |d VTS  |d AU@  |d STF  |d M8D  |d K6U  |d OCLCQ  |d INTCL  |d OCLCO  |d OCLCQ  |d OCLCO 
019 |a 841590066  |a 923665192  |a 1055679233 
020 |a 9781624171413  |q (ebook) 
020 |a 1624171419 
020 |z 1624171397  |q (hardcover) 
020 |z 9781624171390  |q (hardcover) 
029 1 |a DEBBG  |b BV043776118 
029 1 |a DEBSZ  |b 449546764 
029 1 |a DEBSZ  |b 450745449 
035 |a (OCoLC)1162449415  |z (OCoLC)841590066  |z (OCoLC)923665192  |z (OCoLC)1055679233 
050 0 0 |a TF200 
072 7 |a TRA  |x 004020  |2 bisacsh 
082 0 0 |a 625.1  |2 23 
049 |a UAMI 
245 0 0 |a Railways :  |b types, design and safety issues /  |c Cacilie Reinhardt and Klaus Shroeder, editors. 
264 1 |a New York :  |b Nova Science Publishers, Incorporated,  |c [2013] 
300 |a 1 online resource 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Transportation infrastructure : roads, highways, bridges, airports and mass transit 
490 1 |a Mechanical engineering theory and applications 
504 |a Includes bibliographical references and index. 
588 0 |a Print version record. 
546 |a English. 
505 0 |a RAILWAYS; RAILWAYS; CONTENTS ; PREFACE ; ACOUSTIC CHARACTERISTICS OF NOISE IN TRAIN STATIONS ; Abstract ; Introduction ; Methods ; 2.1. Stations Measured ; 2.2. Measurement Setup ; 2.3. Procedures for Analyzing the Noises ; 2.4. Subjective Annoyance Test ; Results and Discussion ; 3.1. Effects of Platform Styles ; 3.2. Effects of PSDs ; 3.3. Subjective Annoyance Test ; Conclusion ; Acknowledgments ; References ; DESIGNING WIRELESS SENSOR NETWORKSFOR MONITORING RAILWAY STRUCTURE CONDITIONS ; Abstract ; 1. Introduction ; 2. Mathematical Modeling of WSN Design Problems. 
505 8 |a 4. Thermo-MechanicalInstabilityinVibrationAbsorbers4.1. EvolutionEquations; 4.2. Phase-AmplitudeFrequencyResponsewithThermalEffects; 4.3. ParametricAnalysisoftheStationarySolutions; 4.3.1. DependenceofSteady-StateSolutionsUpontheSmallParameteræ; 4.3.2. SteadyStatesversustheNonlinearElasticParameterÝ; 4.3.3. Steady-StatesversustheStaticLoadP; Conclusion; References; A METHOD FOR THE DEVELOPMENT OF TRAIN FARE CALCULATION AND ADJUSTMENT SYSTEMS USING VDM++; Abstract; 1. Introduction; 2. ProjectOverview; 2.1. TheTFCASSystem:AnInformalOverview; 2.2. GoalsoftheProject; 2.3. Approach; 3. VDM++ModeloftheTFCAS. 
505 8 |a 3.1. ArchitectureoftheSystem3.2. AnExampleoftheTFCAS'sFunctionality; 3.3. AnalysisofIdenti edIssues; 4. TestingandValidatingProcess; 4.1. TestingStrategy; 4.2. TestingandValidatingProcess; 5. Experiments; 5.1. ImplementationinVDM++; 5.2. TestingResults; 5.3. LessonsLearned; 6. RelatedWork; Summary; Acknowledgment; References; EFFICIENT DEVELOPMENT AND VERIFICATION OF SAFE RAILWAY CONTROL SOFTWARE; Abstract; 1. Introduction; 2. Re-con gurableSystems; 3. ConventionalDevelopmentofRe-con gurableSystems; 4. AutomatedConstructionfromDomain-Speci cDescriptions; 5. AutomatedVeri cation; 5.1. Speci cationChecking. 
505 8 |a 5.2. ModelChecking5.2.1. FormalisingtheVeri cationTask; 5.2.2. GeneratingInputtoaModelChecker; 5.3. ObjectCodeVeri cation; 6. TestAutomation; 6.1. WhyTesting?; 6.2. Model-BasedTesting; 7. TheCompleteDevelopmentProcess; Conclusion; Acknowledgments; References; EVOLUTION OF THE CONNECTIVITY OF THE PORTUGUESE BROAD GAUGE RAILWAY NETWORK (1948-2012); Abstract; 1. Introduction; 1.1. SomeIntroductoryHistoricalNotes; 1.2. AnOverviewofthethePortugueseBroadGaugeRailwayNetworkinthe1948-2012Period; 2. RelatedWorksandReasonsforStudyingthePortugueseCase; 2.1. Antecedents; 2.2. TheOriginofthisSecondStudy. 
590 |a eBooks on EBSCOhost  |b EBSCO eBook Subscription Academic Collection - Worldwide 
650 0 |a Railroads  |x Design and construction. 
650 0 |a Railroads  |x Buildings and structures  |x Design and construction. 
650 6 |a Chemins de fer  |x Conception et construction. 
650 7 |a TRANSPORTATION  |x Railroads  |x Pictorial.  |2 bisacsh 
650 7 |a Railroads  |x Buildings and structures  |x Design and construction  |2 fast 
650 7 |a Railroads  |x Design and construction  |2 fast 
700 1 |a Reinhardt, Cacilie. 
700 1 |a Shroeder, Klaus. 
776 0 8 |i Print version:  |t Railways.  |d New York : Nova Science Publishers, Inc., ©2013  |z 1624171397  |w (DLC) 2012038762 
830 0 |a Transportation infrastructure : roads, highways, bridges, airports and mass transit series. 
830 0 |a Mechanical engineering theory and applications. 
856 4 0 |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=550603  |z Texto completo 
938 |a ProQuest Ebook Central  |b EBLB  |n EBL3021257 
938 |a ebrary  |b EBRY  |n ebr10682769 
938 |a EBSCOhost  |b EBSC  |n 550603 
938 |a YBP Library Services  |b YANK  |n 10373253 
994 |a 92  |b IZTAP