Sökning: "Cutting data"
Visar resultat 11 - 15 av 137 avhandlingar innehållade orden Cutting data.
11. Space in Proof Complexity
Sammanfattning : ropositional proof complexity is the study of the resources that are needed to prove formulas in propositional logic. In this thesis we are concerned with the size and space of proofs, and in particular with the latter.Different approaches to reasoning are captured by corresponding proof systems. LÄS MER
12. On cutting tool resource management
Sammanfattning : The search for increased productivity and cost reduction in machining can be interpreted as desire to increase the Material Removal Rate, , and maximize the cutting tool utilization. The CNC process is complex and involves numerous constraints and parameters; ranging from tolerances to machinability. LÄS MER
13. From Industry to Practice: Can Users Tackle Domain Tasks with Augmented Reality?
Sammanfattning : Augmented Reality (AR) is a cutting-edge interactive technology. While Virtual Reality (VR) is based on completely virtual and immersive environments, AR superimposes virtual objects onto the real world. LÄS MER
14. Investigation on the Influence of Nodularity in Machining of Compacted Graphite Iron (CGI)
Sammanfattning : Stringency of environmental legislation on emission rates and increasing vehicle performance requirements are pushing the automotive and heavy truck industries to find new solutions for their diesel engines. Two potential opportunities to address these challenges involve increased combustion pressure to obtain more efficient combustion or reducing the weight of the engine. LÄS MER
15. Expert system for hole engineering with special reference to position accuracy when drilling
Sammanfattning : .... LÄS MER