• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.9 no.5
• /
• pp.7-13
• /
• 2010

Main starting valve is one of the main parts in the control system of diesel engines, purposed for starting main engines. It is composed of ball valve, check valve, actuator, etc. The design axioms provide a general framework for design methodology. Two axioms are independence axiom and information axiom. These axioms can be applied to all design process in a general way. The first axiom is introduced to analyze and evaluate the design of a main starting valve. The design parameters(DPS) are determined sequentially by considering the independence axiom. For the structural design of a main starting valve, the strength is calculated by using finite element method. In addition, the strength of its actuator piston is evaluated.

• Journal for History of Mathematics
• /
• v.32 no.5
• /
• pp.241-255
• /
• 2019

The proposition that the parallel axiom and the Pythagorean theorem are equivalent in the Hilbert geometry is true when the Archimedean axiom is assumed. In this article, we examine some specific plane geometries to see the existence of the non-archimidean Hilbert geometry in which the Pythagorean theorem holds but the parallel axiom does not. Furthermore we observe that the Pythagorean theorem is equivalent to the fact that the Hilbert geometry is actually a semi-Euclidean geometry.

• Korean Journal of Logic
• /
• v.20 no.1
• /
• pp.69-96
• /
• 2017

Wittgenstein criticizes explicitly Russell's theory of types and, in particular, his axiom of reducibility in the Tractatus Logico-Philosophicus. What, then, is the point of Wittgenstein's criticisms of Russell's theory of types? As a preliminary study to answer this question, I will examine how Wittgenstein criticized Russell's axiom of reducibility. Wittgenstein declares that Russell's axiom of reducibility is not a logical proposition, that if it is true it will be so mere by a happy chance and that "we can imagine a world in which the axiom of reducibility is not valid." What, then, is the ground for that? I will endeavor to show that by explicating the ideas of Wittgenstein's 1913 letter to Russell, those ideas decisively influenced on Ramsey's and Waismann's model which intended to show that the axiom of reducibility is not valid.

• Journal for History of Mathematics
• /
• v.9 no.2
• /
• pp.1-9
• /
• 1996

This paper is a sequel to [26]. We investigate how the Axiom of Choice has been accepted after Zermelo introduced the Axiom in 1904. The response to the Axiom has divided into two groups of mathematicians, namely idealists and empiricists. We also investigate how the Zorn's lemma (1935) has been emerged. It was originally formulated by Hausdorff in 1909 and then by many other mathematicians independently.

• Journal of the Chungcheong Mathematical Society
• /
• v.16 no.2
• /
• pp.75-78
• /
• 2003

The Tychonoff product theorem is one of the most fundamental theorems in general topology. As is well-known, the proof of the Tychonoff product theorem relies on the axiom of choice. The converse was also conjectured by S. Kakutani and Kelley [1] then resolved this conjecture in his historical short note on 1950. However, the original proof due to Kelley has a flaw. According to this observation, we provide a correction of the proof in this paper.

• The Pure and Applied Mathematics
• /
• v.18 no.4
• /
• pp.353-359
• /
• 2011

In this paper, we characterize a semi-Riemannian manifolds satisfies the axiom of indefinite surfaces. We obtain the following result: If a semi-Riemannian manifold satisfies the axiom of indefinite surfaces, then it is a real space form.

• Communications of the Korean Mathematical Society
• /
• v.21 no.2
• /
• pp.211-217
• /
• 2006

Topos is a set-like category. In topos, the axiom of choice can be expressed as (AC1), (AC2) and (AC3). Category Fuz of fuzzy sets has a similar function to the topos Set and it forms weak topos. But Fuz does not satisfy (AC1), (AC2) and (AC3). So we define (WAC1), (WAC2) and (WAC3) in weak topos Fuz. And we show that they are equivalent in Fuz.

• Journal of the Korean Society of Manufacturing Technology Engineers
• /
• v.22 no.1
• /
• pp.100-106
• /
• 2013

This paper describes an integrated optimization design using multilevel decomposition technique on the base of the parametric distribution and independent axiom at the stages of lower level. Based on Pareto optimum solution, the detailed parameters at the lower level can be defined into the independent axiom. The suspension design is used as the simulation example.

• Journal of KIISE:Software and Applications
• /
• v.35 no.6
• /
• pp.366-373
• /
• 2008

The web ontology language(OWL) has been used by ontology designers to construct ontology. In order to derive hidden information(concept subsumption, concept satisfiability and realization) of OWL ontology, a number of OWL reasoners have been introduced. But most reasoners simply report these information without process for any arbitrary entailment and unsatisfiable concept derived from a OWL ontologies. In this paper, we propose Minimum Expression Axiom Set(MEXS) detection and storing for debugging unsatisfiable concepts in ontology. In order to detect MEXS, we need to find axiom to cause inconsistency in ontology. Therefore, our work focused on two key aspects: given a inconsistency ontology, identifying the roots of axioms to occur unsatisfiable and derived axioms from among them; and extracting MEXS. Our results can be applicable to all application, which is at the basis of the description logic.

• Journal for History of Mathematics
• /
• v.22 no.4
• /
• pp.115-128
• /
• 2009

In this paper, we modify the axiom of infinity of von Neumann's axioms modified by Pinter([5]), and then discuss an existence of an unknowable class in the system and a relationship between the unknowable class and the axiom of choice.