Results 31 to 40 of about 3,525 (163)
An axiomatic presentation of the nonstandard methods in mathematics [PDF]
Journal of Symbolic Logic, 2002 AbstractA nonstandard set theory *ZFC is proposed that axiomatizes the nonstandard embedding *. Besides the usual principles of nonstandard analysis, all axioms of ZFC except regularity are assumed. A strong form of saturation is also postulated. *ZFC is a conservative extension of ZFC.
openaire +2 more sources
Research on product innovation design of modularization based on theory of TRIZ and axiomatic design
Advances in Mechanical Engineering, 2018 Modular design can shorten the product development cycle and enhance the product research and development capability of enterprises. To better solve the problem of module interface coupling after module partition, the present modular product design ...
Zhong-hang Bai +3 more
doaj +1 more source
Service Optimization of Internet of Manufacturing Things Based on Mixed Information Axioms
IEEE Access, 2018 As a new intelligent manufacturing model, the Internet of Manufacturing Things (IOMT) based on the Internet of Things technology has a large amount of random, fuzzy, and uncertain information, which makes the optimization of manufacturing services face ...
Ying Dong +3 more
doaj +1 more source
MATEC Web of Conferences, 2018 In the context of the Industry 4.0 wave, which is currently making its way into production engineering research, human robot collaboration is also a very important topic.
Gualtieri Luca +4 more
doaj +1 more source
Geometry, Formalism and Intuition: David Hilbert and the formal Axiomatic Method (1891-1905)
Revista de Filosofia, 2014 The paper presents and analyzes a set of unpublished notes for lecture courses on geometry, which David Hilbert gave between 1891 and 1905. it will be argued that in these lecture courses the author elaborates the conception of geometry which underlies ...
Eduardo N. Giovannini
doaj +1 more source
Wide Gaps and Kleinberg’s Clustering Axioms for k–Means
International Journal of Applied Mathematics and Computer ScienceThe widely applied k-means algorithm produces clusterings that violate our expectations with respect to high/low similarity/density within/between clusters and is in conflict with Kleinberg’s axiomatic system for distance based clustering algorithms that
Kłopotek Mieczysław A.
doaj +1 more source
Jurnal Ilmiah Teknik Industri, 2018 Problems related to the storage of shoes include discomfort in putting shoes and shoes are still dusty. Shape shelves are generally open. Shoe rack products need to be developed using integration of axiomatic design method with house of quality or called
Debrina Puspita Andriani +2 more
doaj +1 more source
Mathematical model of independence of alternatives in the theory of ratings
Informatika, 2019 This paper considers the alternative theory of measurement - theory of ratings. The axiomatic definition of ranking is based on definitions from category theory.
V. M. Romanchak
doaj
The Euclidean Sectio Canonis. Introduction, Russian translation and notes [PDF]
SCHOLE, 2012 Although a work of several hands, rather then of Euclid (active around 300 BCE), this short treatise (an introduction and 20 propositions formulated in the manner of theorems, preserved independently and, partially and slightly differently, in Porphyry ...
Andrey Sсhetnikov
doaj
A New Kind of Aesthetics —The Mathematical Structure of the Aesthetic
Philosophies, 2017 This paper proposes a new approach to the investigation into aesthetics. Specifically, it~argues that it is possible to explain the aesthetic and its underlying dynamic relations with an~axiomatic structure (the octahedral axiom-derived category) based ...
Akihiro Kubota +3 more
doaj +1 more source