| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990002616160403321 |
|
|
Autore |
Prosperetti, Luigi |
|
|
Titolo |
Commercio e sviluppo economico : un'analisi macroeconomica / Luigi Prosperetti |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Milano : Franco Angeli, 1986 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
|
|
Collocazione |
|
4-8-447-TI |
O/3.1 PRO |
XV H1 114 |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISOBSOBE00068670 |
|
|
Autore |
Colli, Giorgio |
|
|
Titolo |
3: Eraclito / Giorgio Colli |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
3. |
Record Nr. |
UNINA9910450999803321 |
|
|
Titolo |
Communicating process architectures 2005 [[electronic resource] ] : WoTUG-28 : proceedings of the 28th WoTUG Technical Meeting, 18-21 September 2005, Technische Universiteit Eindhoven, The Netherlands / / ed. by Jan F. Broenink ... [et al.] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Amsterdam ; ; Washington, D.C., : IOS Press, c2005 |
|
|
|
|
|
|
|
ISBN |
|
1-280-50507-9 |
9786610505074 |
1-4237-9735-3 |
1-60750-144-9 |
600-00-0366-8 |
1-60129-124-8 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (416 p.) |
|
|
|
|
|
|
Collana |
|
Concurrent systems engineering series, , 1383-7575 ; ; v. 63 |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Parallel processing (Electronic computers) |
occam (Computer program language) |
Transputers |
Computer architecture |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Title page; Preface; Programme Committee; Contents; Interfacing with Honeysuckle by Formal Contract; Groovy Parallel! A Return to the Spirit of occam?; On Issues of Constructing an Exception Handling Mechanism for CSP-Based Process-Oriented Concurrent Software; Automatic Handel-C Generation from MATLAB and Simulink for Motion Control with an FPGA; JCSP-Poison: Safe Termination of CSP Process Networks; jcsp.mobile: A Package Enabling Mobile Processes and Channels; CSP++: How Faithful to CSPm?; Fast Data Sharing within a Distributed, Multithreaded Control Framework for Robot Teams |
Improving TCP/IP Multicasting with Message SegmentationLazy Cellular Automata with Communicating Processes; A Unifying Theory of True Concurrency Based on CSP and Lazy Observation; The Architecture of the Minimum intrusion Grid (MiG); Verification of JCSP Programs; Architecture Design Space Exploration for Streaming Applications through Timing Analysis; A Foreign-Function Interface Generator for occam-pi; Interfacing C and occam-pi; Interactive Computing with the Minimum intrusion Grid (MiG); High Level Modeling of Channel-Based Asynchronous Circuits Using Verilog |
Mobile Barriers for occam-pi: Semantics, Implementation and ApplicationException Handling Mechanism in Communicating Threads for Java; R16: A New Transputer Design for FPGAs; Towards Strong Mobility in the Shared Source CLI; gCSP occam Code Generation for RMoX; Assessing Application Performance in Degraded Network Environments: An FPGA-Based Approach; Communication and Synchronization in the Cell Processor (Invited Talk); Homogeneous Multiprocessing for Consumer Electronics (Invited Talk); Handshake Technology: High Way to Low Power (Invited Talk) |
If Concurrency in Software Is So Simple, Why Is It So Hard? (Invited Talk)Author Index |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Modern computing systems work when all components are correct by design and can be combined to achieve scalability. This publication offers refereed papers covering various aspects such as: system design and implementation; tools (concurrent programming languages, libraries, and run-time kernels); and, formal methods and applications. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4. |
Record Nr. |
UNINA9910483332603321 |
|
|
Autore |
Qin Guohua |
|
|
Titolo |
Advanced Fixture Design Method and Its Application / / by Guohua Qin |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2021 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2021.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (344 pages) |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Manufactures |
Production engineering |
Industrial engineering |
Engineering design |
Mathematical models |
Machines, Tools, Processes |
Mechanical Process Engineering |
Industrial and Production Engineering |
Engineering Design |
Mathematical Modeling and Industrial Mathematics |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Introduction -- Analysis of locating determination -- Analysis of workpiece stability -- Analysis of clamping reasonability -- Analysis of attachment and detachment -- Analysis of locating accuracy -- Selection algorithm of locating datum -- Planning algorithm of locating point layout -- Determination method of clamping point layout for a rigid workpiece -- Fixturing layout optimization of thin-walled workpieces -- Matching method of fixture elements. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book uses kinematics, mechanics, mathematics, and so on, to systematically propose the fixturing performance evaluation and fixturing layout planning method. The proposed method is a novel method, including the analysis method of locating determination, the analysis method of workpiece stability, the analysis method of clamping reasonability, the analysis method of workpiece attachment/detachment, the analysis method of locating accuracy, and |
|
|
|
|
|
|
|
|
|
|
the planning algorithm of locating point layout, the planning algorithm of clamping force, and so forth. It can enrich and develop the basic theory of computer aided fixture design, change the empirical method of fixture design. The combination of theoretical analysis and mathematical modeling technology can resolve the key problems in the process of fixture design, which will play a certain role in promoting the progress of manufacturing technology, improving the precision and level of product manufacturing, and meeting the higher and higher requirements of mechanical manufacturing industry. . |
|
|
|
|
|
| |