Extracting, managing, and exploiting the semantics of mechanical CAD models in assembly tasks

The manufacturing of mechanical products is increasingly assisted by technologies that exploit the CAD model of the final assembly to address complex tasks in an automated and simplified way, to reduce development time and costs. However, it is proven that industrial CAD models are heterogeneous objects, involving different design conventions, providing geometric data on parts but often lacking explicit semantic information on their functionalities. As a consequence, existing approaches are mainly mathematics-based or need expert intervention to interpret assembly components, and this is limiting. The work presented in the thesis is placed in this context and aims at automatically extracting and leveraging in industrial applications high-level semantic information from B-rep models of mechanical products in standard format (e.g. STEP). This makes possible the development of promising knowledge intensive processes that take into account the engineering meaning of the parts and their relationships. The guiding idea is to define a rule-based approach that matches the shape features, the dimensional relations, and the mounting schemes strictly governing real mechanical assemblies with the geometric and topological properties that can be retrieved in CAD models of assemblies. More in practice, a standalone system is implemented which carries out two distinct operations, namely the data extraction and the data exploitation. The first involves all the steps necessary to process and analyze the geometric objects representing the parts of the assembly to infer their engineering meaning. It returns an enriched product model representation based on a new data structure, denoted as liaison, containing all the extracted information. The new product model representation, then, stands at the basis of the data exploitation phase, where assembly tasks, such as subassembly identification, assembly planning, and design for assembly, are addressed in a more effective way

Human Machine Interaction

In this book, the reader will find a set of papers divided into two sections. The first section presents different proposals focused on the human-machine interaction development process. The second section is devoted to different aspects of interaction, with a special emphasis on the physical interaction

Studies related to the process of program development

The submitted work consists of a collection of publications arising from research carried out at Rhodes University (1970-1980) and at Heriot-Watt University (1980-1992). The theme of this research is the process of program development, i.e. the process of creating a computer program to solve some particular problem. The papers presented cover a number of different topics which relate to this process, viz. (a) Programming methodology programming. (b) Properties of programming languages. aspects of structured. (c) Formal specification of programming languages. (d) Compiler techniques. (e) Declarative programming languages. (f) Program development aids. (g) Automatic program generation. (h) Databases. (i) Algorithms and applications

Automated Deduction – CADE 28

This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions

Algebraic Stream Processing

We identify and analyse the typically higher-order approaches to stream processing in the literature. From this analysis we motivate an alternative approach to the specification of SPSs as STs based on an essentially first-order equational representation. This technique is called Cartesian form specification. More specifically, while STs are properly second-order objects we show that using Cartesian forms, the second-order models needed to formalise STs are so weak that we may use and develop well-understood first-order methods from computability theory and mathematical logic to reason about their properties. Indeed, we show that by specifying STs equationally in Cartesian form as primitive recursive functions we have the basis of a new, general purpose and mathematically sound theory of stream processing that emphasises the formal specification and formal verification of STs. The main topics that we address in the development of this theory are as follows. We present a theoretically well-founded general purpose stream processing language ASTRAL (Algebraic Stream TRAnsformer Language) that supports the use of modular specification techniques for full second-order STs. We show how ASTRAL specifications can be given a Cartesian form semantics using the language PREQ that is an equational characterisation of the primitive recursive functions. In more detail, we show that by compiling ASTRAL specifications into an equivalent Cartesian form in PREQ we can use first-order equational logic with induction as a logical calculus to reason about STs. In particular, using this calculus we identify a syntactic class of correctness statements for which the verification of ASTRAL programmes is decidable relative to this calculus. We define an effective algorithm based on term re-writing techniques to implement this calculus and hence to automatically verify a very broad class of STs including conventional hardware devices. Finally, we analyse the properties of this abstract algorithm as a proof assistant and discuss various techniques that have been adopted to develop software tools based on this algorithm

Abduction, Dispositions, and Alternatives in Science : On the Rational Reconstruction of Scientific Negotiation

Abduction, Dispositions, and Alternatives in Science : On the Rational Reconstruction of Scientific Negotiatio

Information technology (IT) experts in flexible forms of employment

This research is concerned with the study of the conditions that govern the proliferation and diffusion of non-standard employment relationships in knowledge intensive sectors of the economy (i.e. the subcontracting of highly-skilled workers in the IS sector). It aimed at identifying and exploring the technological and socioeconomic conditions that pave the way for IT freelancing to blossom and spread. In other words, the objective of this study has been to investigate the possibilities that technological infrastructure and social and institutional conditions create in regard to the proliferation of IT freelancing. To achieve this research objective, the study explored how the asymmetrical relationship between client-firms and highly-skilled IT contractors is enacted and sustained in practice Previous studies on IT freelancing have usually examined the reasons that justify such a decision, focusing on the contactor or the client-firm's perspective. Little attention has been paid to the technological factors and the functional base of the work which potentially renders this kind of work amenable to freelancing practices. In this regard, the current research is distinguished by the attention it pays to the way the task infrastructure of IT work and information and communication technologies are associated with the contingent employment pattern. To this end, thirty ''ethnographic" interviews with highly-skilled IT contractors were conducted in Greece. An analysis of the findings suggests that the exchange of highly-skilled IT services between the IT contractor and the client-firm, instead of simply being subject to the rules of supply and demand governing spot markets, tends to be highly contingent on the technological infrastructure and socio-economic conditions which govern the current workplace. In other words, the particular technological tools that the contractors possess along with concrete social and institutional conditions that rule the IT sector appear to partly account for the spread and maintenance of IT freelancing techniques