LEADER 05141nam 2200589 a 450 001 9910141648003321 005 20170816114952.0 010 $a1-299-44870-4 010 $a3-527-64705-8 010 $a3-527-64704-X 035 $a(CKB)2670000000337410 035 $a(EBL)1120312 035 $a(OCoLC)829461649 035 $a(SSID)ssj0000859872 035 $a(PQKBManifestationID)11470259 035 $a(PQKBTitleCode)TC0000859872 035 $a(PQKBWorkID)10901896 035 $a(PQKB)11415323 035 $a(MiAaPQ)EBC1120312 035 $a(EXLCZ)992670000000337410 100 $a20130409d2012 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aTesting adhesive joints$b[electronic resource] $ebest practices /$fedited by Lucas F.M. da Silva ... [et al.] 210 $aWeinheim $cWiley-VCH$d2012 215 $a1 online resource (470 p.) 300 $aDescription based upon print version of record. 311 $a3-527-64702-3 311 $a3-527-32904-8 320 $aIncludes bibliographical references and index. 327 $aTesting Adhesive Joints; Contents; About the Editors; List of Contributors; 1 Manufacture of Quality Specimens; 1.1 Preparing Bulk Specimens by Hydrostatic Pressure; 1.1.1 Introduction; 1.1.2 Principle; 1.1.3 Metallic Mold; 1.1.4 Silicone Frame; 1.1.5 Adhesive Application; 1.1.6 Cure; 1.1.7 Specimen Machining; 1.1.8 Results; 1.2 Preparing Bulk Specimens by Injection; 1.2.1 Introduction; 1.2.2 Mold; 1.2.3 Centrifuge; 1.2.4 Cure; 1.2.5 Final Specimen Preparation and Testing; 1.3 Preparing Bulk Specimens by Pouring; 1.3.1 Introduction; 1.3.2 Nature of Adhesives Supplied; 1.3.3 Mixing 327 $a1.3.4 Pouring1.3.5 Effect of Size; 1.3.6 Specimen Production; 1.4 Preparing Lap Joints with Flat Adherends; 1.4.1 Introduction; 1.4.2 Mold; 1.4.3 Substrate Preparation and Mounting; 1.4.4 Adhesive Application and Assembly; 1.4.5 Cure; 1.4.6 Specimen Cleaning; 1.5 SimpleMethods for the Preparation of Single Lap Joints Specimens; 1.5.1 Introduction; 1.5.2 Single Lap Joint (SLJ) Specimens; 1.5.3 Traditional Methods for SLJ Bonding; 1.5.4 The Idea for a New Fixture for SLJ Bonding; 1.5.5 The Fixture; 1.6 Preparing Thick Adherend Shear Test Specimens; 1.6.1 Introduction; 1.6.2 Mold 327 $a1.6.3 Substrate Preparation1.6.4 Adhesive Application and Assembly; 1.6.5 Cure; 1.6.6 Specimen Cleaning; 1.7 Modified Thick Adherend Shear Test; 1.7.1 Specimen Geometry; 1.7.2 Bonded Specimen Geometry; 1.7.3 Machining of the Samples with Beaks; 1.8 Preparing Butt Joints; 1.8.1 Introduction; 1.8.2 Mold; 1.8.3 Substrate Preparation; 1.8.4 Adhesive Application and Assembly; 1.8.5 Cure; 1.8.6 Specimen Cleaning; 1.8.7 Alternative Manufacturing Method; 1.9 Preparing Napkin Ring Specimens; 1.9.1 Introduction; 1.9.2 Adherends; 1.9.3 Joint Manufacture-Alignment Jig; 1.9.4 Introduction of the Adhesive 327 $a1.9.5 Final Specimen Preparation1.10 Preparing T Joint Specimens; 1.10.1 Introduction; 1.10.2 Mold; 1.10.3 Substrates Preparation; 1.10.4 Adhesive Application and Assembly; 1.10.5 Cure; 1.10.6 Specimens Cleaning; 1.10.7 Results; 1.11 Preparing Flexible-to-Rigid Peel Specimens; 1.11.1 Introduction; 1.11.2 Mold; 1.11.3 Adherend Preparation; 1.11.4 Adhesive Application and Assembly; 1.11.5 Cure; 1.11.6 Final Specimen Preparation; 1.12 Preparing Specimens for Fracture Properties: Double Cantilever Beam and Tapered Double Cantilever Beam; 1.12.1 Introduction; 1.12.2 Bonding Jigs 327 $a1.12.3 Specimen Dimensions1.12.3.1 DCB Specimens; 1.12.3.2 TDCB Specimens; 1.12.4 Substrate Conditioning and Preparation; 1.12.4.1 Storage and Substrate Conditioning; 1.12.4.2 Surface Pretreatment; 1.12.5 Adhesive Application and Forming the Joint; 1.12.5.1 Adhesive Handling and Application; 1.12.5.2 Control of Bondline Thickness; 1.12.5.3 Introduction of the Initial Crack; 1.12.6 Cure; 1.12.7 Final Specimen Preparation; 1.13 Preparing Bonded Wood Double Cantilever Beam (DCB) Specimens; 1.13.1 Introduction; 1.13.2 Aspects of Wood Bonding; 1.13.3 Sample Preparation; 1.13.3.1 Wood Preparation 327 $a1.13.3.2 Adhesive Types 330 $aJoining techniques such as welding, brazing, riveting and screwing are used by industry all over the world on a daily basis. A furthermethod of joining has also proven to be highly successful: adhesive bonding. Adhesive bonding technology has an extremely broad rangeof applications. And it is difficult to imagine a product - in the home, in industry, in transportation, or anywhere else for that matter - thatdoes not use adhesives or sealants in some manner. The book focuses on the methodology used for fabricating and testing adhesive and bonded joint specimens. The text covers a w 606 $aAdhesive joints 608 $aElectronic books. 615 0$aAdhesive joints. 676 $a668.3 701 $aDa Silva$b Lucas F. M$0983408 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910141648003321 996 $aTesting adhesive joints$92244944 997 $aUNINA LEADER 03937oam 2200589I 450 001 9910787963303321 005 20170821195701.0 010 $a0-429-09969-X 010 $a1-4665-6468-7 024 7 $a10.1201/b17294 035 $a(CKB)2670000000560198 035 $a(EBL)1605166 035 $a(SSID)ssj0001289577 035 $a(PQKBManifestationID)11725742 035 $a(PQKBTitleCode)TC0001289577 035 $a(PQKBWorkID)11230434 035 $a(PQKB)11139457 035 $a(OCoLC)890721145 035 $a(MiAaPQ)EBC1605166 035 $a(OCoLC)888186535 035 $a(CaSebORM)9781466564664 035 $a(EXLCZ)992670000000560198 100 $a20180331h20152015 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aProof theory $esequent calculi and related formalisms /$fKatalin Bimbo, University of Alberta Edmonton, Canada 210 1$aBoca Raton :$cCRC Press,$d[2015] 210 4$dİ2015 215 $a1 online resource (386 p.) 225 1 $aDiscrete Mathematics and its Applications 300 $aDescription based upon print version of record. 311 $a1-322-63646-X 311 $a1-4665-6466-0 320 $aIncludes bibliographical references. 327 $aFront Cover; Contents; Preface; Chapter 1: Proofs and proof theory; Chapter 2: Classical first-order logic; Chapter 3: Variants of the first sequent calculi; Chapter 4: Sequent calculi for non-classical logics; Chapter 5: Consecution calculi for non-classical logics; Chapter 6: Display calculi and hypersequents; Chapter 7: Cut rules and cut theorems; Chapter 8: Some other proof systems; Chapter 9: Applications and applied calculi; Appendix A: Some supplementary concepts; Bibliography 330 $aSequent calculi constitute an interesting and important category of proof systems. They are much less known than axiomatic systems or natural deduction systems are, and they are much less known than they should be. Sequent calculi were designed as a theoretical framework for investigations of logical consequence, and they live up to the expectations completely as an abundant source of meta-logical results. The goal of this book is to provide a fairly comprehensive view of sequent calculi -- including a wide range of variations. The focus is on sequent calculi for various non-classical logics, from intuitionistic logic to relevance logic, through linear and modal logics. A particular version of sequent calculi, the so-called consecution calculi, have seen important new developments in the last decade or so. The invention of new consecution calculi for various relevance logics allowed the last major open problem in the area of relevance logic to be solved positively: pure ticket entailment is decidable. An exposition of this result is included in chapter 9 together with further new decidability results (for less famous systems). A series of other results that were obtained by J. M. Dunn and me, or by me in the last decade or so, are also presented in various places in the book. Some of these results are slightly improved in their current presentation. Obviously, many calculi and several important theorems are not new. They are included here to ensure the completeness of the picture; their original formulations may be found in the referenced publications. This book contains very little about semantics, in general, and about the semantics of non-classical logic in particular--$cProvided by publisher. 410 0$aDiscrete mathematics and its applications. 606 $aProof theory 615 0$aProof theory. 676 $a511.3/6 676 $a511.36 686 $aMAT000000$aMAT004000$aMAT028000$2bisacsh 700 $aBimbo$b Katalin$f1963,$01573634 801 0$bFlBoTFG 801 1$bFlBoTFG 906 $aBOOK 912 $a9910787963303321 996 $aProof theory$93849449 997 $aUNINA