Measurement-Theoretic Foundations of Dynamic Epistemic Preference Logic

2014 ◽  
pp. 295-324 ◽  
Author(s):  
Satoru Suzuki
Keyword(s):  
Preference Logic ◽  
Theoretic Foundations

Study on Edge Contact Area and Surface Integrity of Workpiece in Point Grinding Process

2009 ◽  
Vol 407-408 ◽  
pp. 577-581
Author(s):  
Shi Chao Xiu ◽  
Zhi Jie Geng ◽  
Guang Qi Cai
Keyword(s):  
Surface Integrity ◽  
Contact Area ◽  
High Speed ◽  
Ground Surface ◽  
Depth Of Cut ◽  
Grinding Wheel ◽  
Grinding Process ◽  
Edge Contact ◽  
Cylindrical Grinding ◽  
Theoretic Foundations

During cylindrical grinding process, the geometric configuration and size of the edge contact area between the grinding wheel and workpiece have the heavy effects on the workpiece surface integrity. In consideration of the differences between the point grinding and the conventional high speed cylindrical grinding, the geometric and mathematic models of the edge contact area in point grinding were established. Based on the models, the numerical simulation for the edge contact area was performed. By means of the point grinding experiment, the effect mechanism of the edge contact area on the ground surface integrity was investigated. These will offer the applied theoretic foundations for optimizing the point grinding angles, depth of cut, wheel and workpiece speed, geometrical configuration and size of CBN wheel and some other grinding parameters in point grinding process.

Evidential Decision Theory

2021 ◽  
Author(s):  
Arif Ahmed
Keyword(s):  
Decision Making ◽  
Decision Theory ◽  
Rational Decision ◽  
Evidential Decision Theory ◽  
Radical Theory ◽  
Rational Decision Making ◽  
Evidential Decision ◽  
Theoretic Foundations

Evidential Decision Theory is a radical theory of rational decision-making. It recommends that instead of thinking about what your decisions *cause*, you should think about what they *reveal*. This Element explains in simple terms why thinking in this way makes a big difference, and argues that doing so makes for *better* decisions. An appendix gives an intuitive explanation of the measure-theoretic foundations of Evidential Decision Theory.

Computer-Aided Modelling of a Latch Die Cutting in Deform - 2D Software System

2016 ◽  
Vol 685 ◽  
pp. 811-815 ◽  
Author(s):  
Sergey Zvonov ◽  
Yury Klochkov
Keyword(s):  
Sheet Thickness ◽  
Cutting Process ◽  
Software System ◽  
Standard Methods ◽  
Computer Aided ◽  
Deform 2D ◽  
Theoretic Foundations

The article discusses theoretic foundations and parameters of a latch die cutting process modelled in the software system Deform - 2D. The analysis concerns standard methods of latch cutting which causes the excessive edge deformation (over 10% of a sheet thickness) that does not meet the customers' requirements.

Simple type-theoretic foundations for object-oriented programming

1994 ◽  
Vol 4 (2) ◽  
pp. 207-247 ◽  
Author(s):  
Benjamin C. Pierce ◽  
David N. Turner
Keyword(s):  
Message Passing ◽  
Object Oriented ◽  
Object Oriented Programming ◽  
Simple Type ◽  
Theoretic Foundations

AbstractWe develop a formal, type-theoretic account of the basic mechanisms of object-oriented programming: encapsulation, message passing, subtyping and inheritance. By modelling object encapsulation in terms of existential types instead of the recursive records used in other recent studies, we obtain a substantial simplification both in the model of objects and in the underlying typed λ-calculus.

Sign in / Sign up

Export Citation Format

Share Document