LEADER 00920nam0-2200289 --450 001 9910338854403321 005 20190923105247.0 010 $a978-88-95642-95-6 100 $a20190923d2015----kmuy0itay5050 ba 101 0 $aita 102 $aIT 105 $a 001yy 200 1 $aQuando l'arte serviva a curare$eimmagini botaniche dalla Bibliotheca antiqua di Aboca$fDuilio Contin, Lucia Tongiorgi Tomasi 210 $aSansepolcro$cAboca$d2015 215 $a129 p.$cill.$d42 cm 610 0 $aPiante medicinali$aDisegni$aSec. 16.-19. 676 $a581.6340222$v23 676 $a704.943$v23$zita 700 1$aContin,$bDuilio$0718605 701 1$aTongiorgi Tomasi,$bLucia$033729 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a9910338854403321 952 $a60 FM 704.943 COND 2015$b515/2017$fFAGBC 959 $aFAGBC 996 $aQuando l'arte serviva a curare$91393948 997 $aUNINA LEADER 01714oam 2200553zu 450 001 9910453826603321 005 20210721055540.0 010 $a1-282-16183-0 010 $a9786612161834 010 $a90-272-9734-7 035 $a(CKB)1000000000551639 035 $a(SSID)ssj0000281409 035 $a(PQKBManifestationID)11213628 035 $a(PQKBTitleCode)TC0000281409 035 $a(PQKBWorkID)10306478 035 $a(PQKB)10295366 035 $a(MiAaPQ)EBC622793 035 $a(EXLCZ)991000000000551639 100 $a20160829d2002 uy 101 0 $aeng 181 $ctxt 182 $cc 183 $acr 200 00$aLexis in contrast : corpus-based approaches 210 31$a[Place of publication not identified]$cJ Benjamins$d2002 225 0 $aStudies in corpus linguistics Lexis in contrast 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a1-58811-090-7 311 $a90-272-2277-0 606 $aLexicology$xData processing 606 $aContrastive linguistics$xData processing 606 $aLexicography$xData processing 606 $aMachine translating 606 $aPhilology & Linguistics$2HILCC 606 $aLanguages & Literatures$2HILCC 615 0$aLexicology$xData processing 615 0$aContrastive linguistics$xData processing 615 0$aLexicography$xData processing 615 0$aMachine translating 615 7$aPhilology & Linguistics 615 7$aLanguages & Literatures 676 $a413/.028 702 $aAltenberg$b Bengt 702 $aGranger$b Sylviane$f1951- 801 0$bPQKB 906 $aBOOK 912 $a9910453826603321 996 $aLexis in contrast$9901825 997 $aUNINA LEADER 01401nam 2200349Ia 450 001 996394212903316 005 20200824132718.0 035 $a(CKB)4940000000117237 035 $a(EEBO)2248513232 035 $a(OCoLC)ocm12868373e 035 $a(OCoLC)12868373 035 $a(EXLCZ)994940000000117237 100 $a19851204d1681 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 10$aLeges Angliæ, The lawfulness of ecclesiastical jurisdiction in the Church of England asserted and vindicated in answer to Mr. Hickeringill's late pamphlet stiled, Naked truth, the 2d part$b[electronic resource] /$fby Fran. Fullwood .. 210 $aLondon $cPrinted for R. Royston ...$d1681 215 $a[22], 78, [2] p 300 $aAdvertisement: 2 p. at end. 300 $aReproduction of original in Union Theological Seminary Library, New York. 330 $aeebo-0160 606 $aJurisdiction (Ecclesiastical law)$zEngland 615 0$aJurisdiction (Ecclesiastical law) 700 $aFullwood$b Francis$fd. 1693.$0817610 801 0$bEAA 801 1$bEAA 801 2$bm/c 801 2$bWaOLN 906 $aBOOK 912 $a996394212903316 996 $aLeges Angliæ, The lawfulness of ecclesiastical jurisdiction in the Church of England asserted and vindicated in answer to Mr. Hickeringill's late pamphlet stiled, Naked truth, the 2d part$92401781 997 $aUNISA LEADER 06403nam 2200673 a 450 001 9910438148703321 005 20200520144314.0 010 $a1-283-74050-8 010 $a1-4614-4469-1 024 7 $a10.1007/978-1-4614-4469-5 035 $a(CKB)2670000000278001 035 $a(EBL)994273 035 $a(OCoLC)819407484 035 $a(SSID)ssj0000796416 035 $a(PQKBManifestationID)11441545 035 $a(PQKBTitleCode)TC0000796416 035 $a(PQKBWorkID)10789896 035 $a(PQKB)10356564 035 $a(DE-He213)978-1-4614-4469-5 035 $a(MiAaPQ)EBC994273 035 $a(PPN)168300346 035 $a(EXLCZ)992670000000278001 100 $a20120810d2013 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aModeling and optimization in space engineering /$fGiorgio Fasano, Janos D. Pinter, editors 205 $a1st ed. 2013. 210 $aNew York $cSpringer$d2013 215 $a1 online resource (408 p.) 225 0$aSpringer optimization and its applications,$x1931-6828 ;$vv. 73 300 $aDescription based upon print version of record. 311 $a1-4899-9737-7 311 $a1-4614-4468-3 320 $aIncludes bibliographical references. 327 $aModeling and Optimization in Space Engineering; Preface; About the Editors; Acknowledgements; Contents; Chapter 1 Model Development and Optimization for Space Engineering: Concepts, Tools, Applications, and Perspectives; 1.1 Introduction; 1.1.1 Modeling and Optimization: An Operations Research Framework; 1.1.2 Nonlinear Optimization; 1.1.3 Optimization Modeling Systems and Solver Engines; 1.2 The LGO Solver Suite for Nonlinear Optimization; 1.2.1 Solver Options; 1.2.2 LGO Program Structure; 1.2.3 Connectivity to Other Modeling Environments: Current Implementations 327 $a1.2.4 An Illustrative Example1.3 Modeling and Optimization in Space Engineering: A Review of Applications and Perspectives; 1.3.1 Mission Analysis and Trajectory Planning; 1.3.2 Planning and Scheduling; 1.3.3 Cargo Loading and Unloading; 1.3.4 Payload Accommodation; 1.3.5 System Design; 1.3.6 Subsystem Design; 1.3.7 Ergonomic Aspects; 1.3.8 Payload Performance; 1.3.9 Observation Data Handling and Remote Monitoring; 1.3.10 Cost and Revenue Management; 1.3.11 Further Application Perspectives; 1.4 Concluding Remarks; References 327 $aChapter 2 Practical Direct Collocation Methods for Computational Optimal Control2.1 Introduction to Optimal Control Problems and Their Formulation; 2.1.1 Formulation; 2.1.2 Optimality Conditions; 2.2 Nonlinear Programming; 2.3 Indirect Methods for Solving Optimal Control Problems; 2.4 Direct Collocation Methods; 2.4.1 Local Methods; 2.4.1.1 Trapezoidal Method; 2.4.1.2 Hermite-Simpson Method; 2.4.1.3 Optimality of the Discretised Problem; 2.4.1.4 Convergence; 2.4.2 Example: Simple Problem with Analytical Solution; 2.5 Practical Aspects; 2.5.1 Scaling; 2.5.2 Sparse Nonlinear Programming 327 $a2.5.3 Efficient Sparse Differentiation2.5.4 Measures of Accuracy of the Discretisation; 2.5.5 Mesh Refinement; 2.5.6 Multi-phase Problems; 2.5.7 Potential Pitfalls; 2.6 Example: Space Vehicle Launch Problem; References; Chapter 3 Formation Flying Control for Satellites: Anti-windup Based Approach; 3.1 Introduction; 3.2 Relative Position Control; 3.2.1 Relative Position Plant Model; 3.2.2 Relative Position Controller; 3.2.3 Relative Position Actuator Model; 3.2.3.1 The Influence Matrix; 3.2.3.2 Thruster Saturation; 3.2.3.3 Allocation Function; 3.2.4 Relative Position Closed-Loop Model 327 $a3.3 Anti-windup on the Relative Position Control3.3.1 Anti-windup Compensator Synthesis; 3.3.1.1 Static DLAW Synthesis; 3.3.1.2 Dynamic DLAW Synthesis; 3.3.1.3 MRAW and EMRAW Synthesis; 3.3.2 Simulations on Relative Position Control; 3.4 Conclusion; References; Chapter 4 The ESA NLP Solver WORHP; 4.1 Introductory Remarks; 4.2 Nonlinear Optimization; 4.2.1 Sequential Quadratic Programming; 4.2.1.1 Interior-Point Methods; 4.2.1.2 Constraint Relaxation; 4.2.1.3 Merit Functions; 4.2.1.4 Line Search; 4.2.1.5 Filter; 4.2.1.6 Hessian Regularization; 4.2.2 WORHP Implementation 327 $a4.2.2.1 Derivative Approximations 330 $aThis volume presents a selection of advanced case studies that address a substantial range of issues and challenges arising in space engineering. The contributing authors are well-recognized researchers and practitioners in space engineering and in applied optimization. The key mathematical modeling and numerical solution aspects of each application case study are presented in sufficient detail. Classic and more recent space engineering problems ? including cargo accommodation and object placement, flight control of satellites, integrated design and trajectory optimization, interplanetary transfers with deep space maneuvers, low energy transfers, magnetic cleanliness modeling, propulsion system design, sensor system placement, systems engineering, space traffic logistics, and trajectory optimization ? are discussed. Novel points of view related to computational global optimization and optimal control, and to multidisciplinary design optimization are also given proper emphasis. A particular attention is paid also to scenarios expected in the context of future interplanetary explorations. Modeling and Optimization in Space Engineering will benefit researchers and practitioners working on space engineering applications. Academics, graduate and post-graduate students in the fields of aerospace and other engineering, applied mathematics, operations research and optimal control will also find the book useful, since it discusses a range of advanced model development and solution techniques and tools in the context of real-world applications and new challenges. 410 0$aSpringer Optimization and Its Applications,$x1931-6828 ;$v73 606 $aAstronautics$xMathematical models 615 0$aAstronautics$xMathematical models. 676 $a005.4 676 $a005.4/3 686 $aSK 870$2rvk 701 $aFasano$b Giorgio$0721629 701 $aPinter$b J$01756705 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910438148703321 996 $aModeling and optimization in space engineering$94194152 997 $aUNINA