close
1.

図書

図書
P. Treleaven, M. Vanneschi (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  iv, 492 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 272
所蔵情報: loading…
2.

図書

図書
edited by Richard L. Muller and James J. Pottmyer
出版情報: New York : ACM, c1984  xx, 336 p. ; 28 cm
所蔵情報: loading…
3.

図書

図書
editor, J.A. McGeough ; organized by University of Edinburgh, Department of Mechanical Engineering ; co-sponsors, Institution of Mechanical Engineers ... [et al.]
出版情報: Bury St. Edmunds : Published by Mechanical Engineering Publications for the Institution of Mechanical Engineers, 1987  381 p. ; 30 cm
所蔵情報: loading…
目次情報: 続きを見る
About the Editor
Preface / Professor J A McGeough
Computer-aided Design and Manufacture
CAPE/048/2000 The construction of geometric models from point-cloud data / G Smith ; T Claustre
CAPE/055/2000 A computer-based design decision logger / P Corbett ; J Atkinson ; S Hinduja ; P Sholl
CAPE/015/2000 Feature-based progressive design and manufacturing planning in a PDM environment / R Sharma ; J X Gao
CAPE/101/2000 Effects of material properties on stresses occurring in total hip replacement--a non-linear FE analysis / W Schmolz ; D R Gordon ; A J Shields ; D Kirkwood ; P Grigoris
CAPE/082/2000 Computer-aid in rotary transfer machines (RTMs) / E Gentili ; S Molinari
CAPE/088/2000 Three-dimensional modelling tools supports material handling devices operational quality / J Szpytko ; J Schab
CAPE/060/2000 Optimization algorithms for mapping three-dimensional woven composite preforms / S B Sharma ; P Potluri ; I Porat
CAPE/075/2000 Development of a web-based system for collaborative product definition on the Internet / G Q Huang ; S W Lee ; K L Mak
CAPE/073/2000 Reverse engineering automotive, petrochemical and nuclear plants into three-dimensional viewers and CAD models / A D Bailey
Virtual Reality Applications in Manufacturing
CAPE/034/2000 Intelligent manipulator work system using tracking vision hardware / N Kawarazaki ; R Kaji ; K Nishihara
CAPE/098/2000 Implementation of four-dimensional machining simulation in virtual reality over the Internet / N Avgoustinov
CAPE/024/2000 Scene recognition for navigation of a five-legged walking robot 'Cepheus-2' / T Honda ; Y Kushihashi ; K Fujiwara ; K Fujita ; F Nakahara
CAPE/099/2000 A method for the reduction of machining time by the simulation of NC-programs in virtual reality / H Bley
Non-traditional Machining Processes
CAPE/059/2000 Accuracy of electrochemical forming of dies and molds / H El-Hofy ; M A Younes
CAPE/096/2000 The laser drilling of multi-layer systems in jet engine components / A Corcoran ; L Sexton ; G Byrne ; B Seaman
CAPE/049/2000 An experimental study on molecular dynamics simulation in nanometer grinding / S Yu ; B Lin ; Q Guan ; K Cheng
CAPE/083/2000 Investigations aiming to increase the rate of electrochemical dissolution process / M Zybura-Skrabalak ; A Ruszaj
CAPE/079/2000 Study of electrochemical machining utilizing a vibrating tool electrode / J Kozak ; K P Rajurkar ; S Malicki
CAPE/072/2000 Process parameter analysis for an optimal feed rate control of EDM / G Wollenberg ; H-P Schulze ; T Pape
Production and Control
CAPE/004/2000 Flexible laser-based measuring cells in car-body assembly for dimensional management systems / A Kaldos ; A Boyle ; F Stronk
CAPE/050/2000 On-line production control via discrete event simulation--an industrial application / M Dassisti ; L M Galantucci ; G Cicirelli
CAPE/071/2000 Visual modelling for CORBA-based negotiation scheduling of holonic manufacturing systems / K H P Tam ; S T R Fung ; W H R Yeung ; H M E Cheug
CAPE/036/2000 A process analysis methodology for enterprise resource planning (ERP) implementation / T Bilge ; M Ozbayrak
Machining Processes
CAPE/001/2000 Computer-aided design of high-performance grinding tools / M J Jackson ; K K B Hon ; N Barlow
CAPE/026/2000 Iterative learning control strategy for information model-based precision leadscrew grinding process / H Bin ; S Chen
CAPE/032/2000 Single set-up machining of moulds and dies / D I Legge
CAPE/081/2000 Modelling cutting surface of new type of the segmental abrasive wheel and simulation of the grinding process / L Dabrowski ; M Marciniak
Computer-aided Process Planning
CAPE/031/2000 Cost justification of AMT by comparison of normalized process plans
CAPE/085/2000 A computer-aided process planning system based on branch and bound algorithm / P Y Gan ; K S Lee ; Y F Zhang ; C Y Hung
CAPE/021/2000 A structured assembly planning tool using Intranet technology / H J Rea ; D Lodge ; J L Murray ; J E L Simmons
CAPE/016/2000 PDM-integrated computer-aided assembly process planning / W Bowland ; J Gao
Forming Processes
CAPE/022/2000 Computer-aided HOT forging sequence design for non-axisymmetric products by eliminatinf form features on series of cross sections / T Ohashi ; M Motomura
CAPE/053/2000 Analysis of micro-plasto-hydrodynamic lubrication using strip drawing rig / R Ahmed ; M P F Sutcliffe
CAPE/008/2000 Optimization of electrochemical grinding process for titanium alloys / A Clapp ; J A McGeough ; H A Senbel ; A De Silva
CAPE/064/2000 Effect of vibration on axisymmetric indentation of a model elasto-viscoplastic material / Z Huang ; M Lucas ; M J Adams
CAPE/069/2000 Development of a methodology of analysis and compensation of component form-errors for high-precision forming / Y Qin ; R Balendra
CAPE/056/2000 Analysing the parameters in deep drawing using analytic hierarchy process / A W Labib
Assembly
CAPE/054/2000 Use of a continuum actuator as a form of controllable, remote centre compliance device / J B C Davies
CAPE/086/2000 A micro system tool for improved maintenance, quality assurance, and recycling / W Grudzien ; A Middendorf ; H Reichl ; G Seliger
CAPE/091/2000 Automatic generation of optimal assembly sequences using simulated annealing / P G Maropoulos ; A Laguda
CAPE/097/2000 A knowledge-based design approach for materials handling in flexible manufacturing assembly lines / A Khan ; A J Day
Al Applications in Manufacturing
CAPE/035/2000 Product engineering patterns / R G Dewar ; J M Ritchie ; I Black
CAPE/094/2000 An Internet-based tool selection system for turning operations / M E Velasquez ; L A Velasquez
CAPE/033/2000 Petri Net as a tool with application in modelling an Internet-based virtual manufacturing enterprise / M L Yang ; G E Taylor ; A Dow
CAPE/023/2000 A welding process planning system based on the bead-on-plate database / T Kojima ; H Kobayashi ; S Nakahara ; S Ohtani
CAPE/018/2000 Using fuzzy logic in processing design specifications and its computerized implementation / P Y Pan ; D K Harrison
CAPE/002/2000 Neural network based process modelling and parameter selection for high-speed machining / A Nestler ; G Schultz
Quality in Manufacturing and Design
CAPE/095/2000 Quality assurance through advanced sensor eddy current nondestructive evaluation / R Teti ; P Buonadonna ; G Peluso
CAPE/005/2000 Three-dimensional surface profile deviation evaluation based on CMM measured data / C H Gao ; D Webb
CAPE/006/2000 In search of quality in quality function deployment and Taguchi methods / F Galetto
CAPE/011/2000 Ten stages for optimizing electronic manufacturing / L B Newnes ; A R Mileham ; A Doniavi
CAPE/030/2000 On the application of quality function deployment in integrated supervisory process control / M Backstrom ; H Wiklund
CAPE/090/2000 Analysis of stresses and strains in the section roll when considering conditions of its regeneration / A Swiatoniowski ; R Gregorczyk
Rapid Prototyping
CAPE/027/2000 Fractal scanning path for selective laser sintering / X Zhang ; Z Liu ; H Gao
CAPE/087/2000 Computer technology in design of hip joint endoprostheses / K Skalski ; M J Haraburda ; K Kedzior ; M Bossak ; J Domanski
CAPE/089/2000 The effect of mould heating on the accuracy of rapid tooling / P Dunne
Manufacturing and Supply Chain Management
CAPE/047/2000 Computer-aided container handling system / M Chmurawa
CAPE/062/2000 An open tender approach to collaboration in parts supply system / T Ito ; M R Salleh
CAPE/019/2000 Electronic commerce and its impact on the buyer-supplier interface / P Humphreys ; G Huang ; R McIvor
CAPE/074/2000 A methodology for engineering change impact analysis / V Low ; W Y Yee
Concurrent Engineering and Design Manufacture
CAPE/052/2000 Linking product design and manufacturing capability through a manufacturing strategy representation / W M Cheung ; J Zhao ; J M Dorador ; R I M Young
CAPE/092/2000 Manufacturing analysis of conceptual and embodiment aerospace designs--an aggregate product model specification / K R McKay ; D G Bramall ; P G Colquhoun ; G Maropoulos
CAPE/093/2000 Manufacturing analysis of conceptual and embodiment aerospace designs--an aggregate process model specification
CAPE/084/2000 Modelling of virtual cells for dynamic manufacturing environs--an overview / M M Bajic ; K Baines
CAPE/014/2000 Integration of solid modelling with manufacturing for the development of scroll compressors / Z Jiang
Authors' Index
About the Editor
Preface / Professor J A McGeough
Computer-aided Design and Manufacture
4.

図書

図書
edited by B. Monien and G. Vidal-Naquet
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  ix, 368 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 210
所蔵情報: loading…
5.

図書

図書
Bauer, Friedrich Ludwig, 1924- ; CIP Language Group
出版情報: Berlin ; New York : Springer-Verlag, c1985  xi, 275 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 183 . The Munich Project CIP / by the CIP Language Group, F.L. Bauer ... [et al.] ; v. 1
所蔵情報: loading…
6.

図書

図書
edited by K. Mehlhorn
出版情報: Berlin ; Tokyo : Springer-Verlag, 1985  vii, 374 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 182
所蔵情報: loading…
7.

図書

図書
edited by Mathai Joseph and Rudrapatna Shyamasundar
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984  viii, 468 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 181
所蔵情報: loading…
8.

図書

図書
edited by Jean-Pierre Jouannaud
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985  vi, 440 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 202
所蔵情報: loading…
目次情報: 続きを見る
History and Basic Features of the Critical-Pair/Completion Procedure / B. Buchberger
Thue Systems as Rewriting Systems. N. Dershowitz, Termination of Rewriting / R.V. Book
Path of Subterms Ordering and Recursive Decomposition Ordering Revisited / M. Rusinowitch
Rewrite Methods for Theorem Proving in First Order Theory with Equality / J. Hsiang
Unification in Combinations of Collapse-Free Regular Theories / K.A. Yellick
Unification Problems with One-Sided Distributivity / E. Tiden ; S. Arnborg
Complexity of Matching Problems / D. Benanav ; D. Kapur ; P. Narendran
Index
History and Basic Features of the Critical-Pair/Completion Procedure / B. Buchberger
Thue Systems as Rewriting Systems. N. Dershowitz, Termination of Rewriting / R.V. Book
Path of Subterms Ordering and Recursive Decomposition Ordering Revisited / M. Rusinowitch
9.

図書

図書
edited by T. Beth, N. Cot, and I. Ingemarsson
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1985  vii, 489 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 209
所蔵情報: loading…
10.

図書

図書
edited by Pierre Lescanne
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  vi, 285 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 256
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼