Search results for " logic"
showing 10 items of 1720 documents
Manufacturing Strategy: Production Problem Analysis for Assessing Focused Flexibility
2008
The objective of this chapter is to define an operationalization pattern which supports decision makers and managers in determining the level of manufacturing flexibility competences, given the business strategy and the manufacturing structure of the firm. This should drive the production system design and configuration activity. Specifically, this chapter presents an innovative approach to develop a manufacturing strategy, which is based on the idea that information on potential production problems that the manufacturing system could face throughout a given long-term planning horizon should be used as a starting point to determine the level of flexibility that the system should possess.
Selecting between CNC turning centers using a combined AHP and fuzzy approach
2019
Abstract CNC turning centers (CNCTC) are designed to perform simple turning operations, for parts having a symmetry axis. However, the flexibility of these machine-tools is increasing rapidly. Supplementary modules, such as Y-axis and driven tools, which allow the user to perform milling operations, are fitted on CNCTC. Selecting the proper CNCTC, out of a great number of commercially available solution has become a very difficult task. A combined approach using Analytic Hierarchy Process (AHP) and fuzzy logic is proposed, to assist the decision-making process of choosing between three variants of CNCTC.
Viscosity Arrhenius parameters correlation: extension from pure to binary fluid mixtures
2015
Knowledge of fluids’ physicochemical properties is mandatory for the design and optimisation of industrial processes and products. A data quantity of most importance, in this regard, turns out to be the value of fluid viscosity. Many empirical and semi-empirical formulas have been proposed in the literature to describe the viscosity of pure liquids and binary liquid mixtures. Recently, an interesting equation is proposed for pure solvents correlating the two parameters in the viscosity Arrhenius-type equation, namely the activation energy (Ea) and the pre-exponential factor (As). This paper aims to extend the said correlation to binary liquid mixtures. To achieve this purpose, statistical m…
Testing Ikonos and Landsat 7 ETM+ Potential for Stand-Level Forest Type Mapping by Soft Supervised Approaches
2003
Forest types can be adopted as a suitable reference for classifying survey units within multipurpose forest resources inventories, at the properly considered level. This kind of hierarchical classification approach integrates an ecologically meaningful per-habitat perspective with practical survey, planning and management requirements. Advanced remote sensing technologies can be valuable tools for a cost-effective implementation of such an approach. In the present paper, data from high (Landsat 7 ETM+) and very high (Ikonos) spatial resolution satellite sensors were tested to understand their potential contribution supporting stand-level forest type mapping under Mediterranean conditions. I…
True V or not True V, That is the Question
2016
In this paper we intend to argue that: (1) the question `True V or not True V' is central to both the philosophical and mathematical investigations of the foundations of mathematics; (2) when posed within a framework in which set theory is seen as a science of objects, the question `True V or not True V' generates a dilemma each horn of which turns out to be unacceptable; (3) a plausible way out of the dilemma mentioned at (2) is provided by an approach to set theory according to which this is considered to be a science of structures.
K-12 game programming course concept using textual programming
2011
Several programming environments have been constructed to facilitate novice programming at K-12 and CS0/CS1 levels. The environments can be roughly divided into those using visual or textual programming. This paper presents a K-12 game programming course concept based on textual programming. The concept is based on an easy-to-use C# library, called Jypeli, built on top of Microsoft XNA Framework. The library tries to maintain advantages of visual programming and avoid challenges of textual programming. In particular, the library helps beginners to program their first games in a short period of time and without a heavy syntactic load. The course concept and an initial evaluation consisting o…
Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras
2013
AbstractWe prove that the unification type of Łukasiewicz (infinite-valued propositional) logic and of its equivalent algebraic semantics, the variety of MV-algebras, is nullary. The proof rests upon Ghilardiʼs algebraic characterisation of unification types in terms of projective objects, recent progress by Cabrer and Mundici in the investigation of projective MV-algebras, the categorical duality between finitely presented MV-algebras and rational polyhedra, and, finally, a homotopy-theoretic argument that exploits lifts of continuous maps to the universal covering space of the circle. We discuss the background to such diverse tools. In particular, we offer a detailed proof of the duality …
Fuzziness in Italy – Traces of a scattered history
2017
The history of Fuzziness in Italy is varied and scattered among a num- ber of research groups. As a matter of fact, “fuzziness” spread in Italy through a sort of spontaneous diffusion, and, also subsequently, no one felt the need to cre- ate some “national” common structure like an Association or similar things. Since a cohesive retelling would be next to impossible, a few members of the Italian fuzzy community have been asked to recount their experience and express their hopes for the future.
Specificities and Vagaries of Medicine from the Viewpoint of Hard Sciences
2013
Among many other beautiful reflections on the ontology of medicine, in his Handbook of Analytic Philosophy of Medicine, Sadegh Zadeh promotes Fuzzy Sets Theory among the basic instruments of logic for medical understanding, highlights the importance of vagueness in the medical language and as an intrinsic property of medical epistemology, and invokes the clear advantages of a medical fuzzy taxonomy to overcome the binary concept of being healthy/ill. We briefly discuss these aspects, relating them to the peculiarity of Fuzziness as the only purely scientific notion among the foundational tools needed to define an analytic philosophy of medicine more concerned with an explicatum of the notio…
Enrique Hector Ruspini, PhD (1942-2019)
2019
Enrique Hector Ruspini, who passed away on October 15, 2019, after a long illness, was one of the first and of the most constant contributors in the field of Soft Computing.