Results 21 to 30 of about 3,525 (163)

Geographic envelope of the Moon and the identification of Moon landscapes with the use of the axiomatic method

Open Astronomy, 2017
Three consequent concepts that build up the algorithm of the identification of modern landscapes on the Moon surface are suggested. They are anaglyphonosphere axiomatic and landscape concepts obtained with the use of the axiomatic method.
Kyryliuk Serhii, Kholiavchuk Dariia
doaj   +1 more source

Entropy-Based Assessment of Nonfunctional Requirements in Axiomatic Design

IEEE Access, 2021
The main information systems design techniques focus, almost exclusively, on the functional requirements of the system to be implemented. In its standard formulation, axiomatic design has such characteristics. However, in complex operational environments,
Elaheh Pourabbas, Chiara Parretti, Fernando Rolli, Fabrizio Pecoraro   +3 more
doaj   +1 more source

The limits of the development of social consciousness

Семиотические исследования
The article examines the scheme of the evolution of forms of social consciousness from the material conditions of origin to self-determination by internal logic. The purpose of the paper is to reveal the role of internal factors in the development of any
Svetlana M. Kuskova
doaj   +1 more source

Loop Invariants Elimination for Definite Iterations over Unchangeable Data Structures in C Programs

Моделирование и анализ информационных систем, 2015
The C-program verification is an urgent problem of modern programming. To apply known methods of deductive verification it is necessary to provide loop invariants which might be a challenge in many cases.
I. V. Maryasov, V. A. Nepomniaschy
doaj   +1 more source

Axiomatic Design Approach for Nonlinear Multiple Objective Optimizaton Problem and Robustness in Spring Design

Cybernetics and Information Technologies, 2017
This paper gives general information about multi-objective, axiomatic and robust design approaches and considersasolution model of nonlinear multi-objective optimization problem based on applyinganew robust design approach.
Feyzioglu Ahmet, Kar A. Kerim
doaj   +1 more source

Metoda matematyki według B. Bolzano

Zagadnienia Filozoficzne w Nauce, 2006
The matter under discussion is the methodology of mathematics presented by Bernard Bolzano (1782-1848) in his early pamphlet 'Beitraege zu einer begruendeteren Darstellung der Mathematik' (Prague 1810).
Jerzy Dadaczyński
doaj  

A Logically Formalized Axiomatic Epistemology System Σ + C and Philosophical Grounding Mathematics as a Self-Sufficing System

Mathematics, 2021
The subject matter of this research is Kant’s apriorism underlying Hilbert’s formalism in the philosophical grounding of mathematics as a self-sufficing system.
Vladimir Olegovich Lobovikov
doaj   +1 more source

Geometry and Measurement in Otto Hölder’s Epistemology

Philosophia Scientiæ, 2013
The aim of the paper is to analyze Hölder’s understanding of geometry and measurement presented in Intuition and Reasoning [Hölder 1900], “The Axioms of Quantity and the Theory of Measurement” [Hölder 1901], and The Mathematical Method [Hölder 1924]. The
Paola Cantù
doaj   +1 more source

Modified Munich Chain-Ladder Method

Risks, 2015
The Munich chain-ladder method for claims reserving was introduced by Quarg and Mack on an axiomatic basis. We analyze these axioms, and we define a modified Munich chain-ladder method which is based on an explicit stochastic model. This stochastic model
Michael Merz, Mario V. Wüthrich
doaj   +1 more source