• Korean Journal of Logic
• /
• v.16 no.2
• /
• pp.155-187
• /
• 2013

The main objective of this paper is to vindicate the Bayesian belief updating rule, i.e. conditionalization. For this purpose, I introduce first what I call Irrelevance Principle, and show that this principle is equivalent to conditionalization. In turn, the principle is vindicated by means of Bayesian confirmation theory. That is, I suggest some theses that Bayesian confirmation theorists should accept, and prove that if Irrelevance Principle is violated, the theses cannot holds.

• Korean Journal of Logic
• /
• v.17 no.1
• /
• pp.197-217
• /
• 2014

In my previous papers, I have argued that the so-called 'Uncontested Principle' does not hold for indicative conditionals based on inductive reasoning. This is mainly because if we accept that a material conditional '$A{\supset}C$' can be inferred from an indicative conditional based on inductive reasoning '$A{\rightarrow}_iC$', we get an absurd consequence such that we cannot distinguish between claiming 'C' to be probably true and claiming 'C' to be absolutely true on the assumption 'A'. However, in his recent paper "Uncontested Principle and Inductive Argument", Eunsuk Yang objects that my argument is unsuccessful in disputing the Uncontested Principle. In this paper, I show that his objections are irrelevant to my argument against the Uncontested Principle.

• Computational Structural Engineering
• /
• v.11 no.4
• /
• pp.197-207
• /
• 1998

전단변형 효과를 무시하는 경우에 비대칭 선형 변단면을 갖는 박벽 공간 보의 안정성 해석을 위한 일반이론을 유도한다. 비대칭 선형 변단면의 임의점을 통과하는 부재축과 단면의 주축의 방향과 무관하고 부재축과 직각을 이루는 두 개의 좌표축을 도입하여 직각좌표계를 정의한다. 정의된 좌표축을 기준으로 유한한 회전각의 2차항을 고려하는 변위장을 도입하여 연속체에 대한 가상일의 원리로부터 탄성변형에너지, 그리고 초기응력에 의한 포텐셜에너지를 유도한다. 이를 이용하여 비대칭 선형 변단면을 갖는 박벽 공간 보의 안정성해석을 위한 평형방정식을 제시한다. 3차 Hermitian 다항식을 변위파라미터의 형상함수로 사용하여 박벽 공간 보의 탄성강도 및 기하강도행렬을 상정할 뿐만 아니라, 단면의 좌표축에 상관없이 임의의 위치에 작용하는 하중에 대한 하중보정강도행렬(load-correction stiffness matrix)을 제시한다. 본 이론 및 방법의 타당성을 검증하기 위하여 수치해석을 수행하고 문헌의 결과 및 쉘요소를 사용한 해석결과와 비교하여 본 이론의 정당성을 입증한다.

• KDI Journal of Economic Policy
• /
• v.11 no.1
• /
• pp.71-94
• /
• 1989

본고(本稿)에서는 대기업(大企業)과 중소기업(中小企業)간의 합리적(合理的) 생산분업체제(生産分業體制)를 논의(論議)하기 위한 참고자료(參考資料)로서 후진적(後進的) 상황(狀況)에서 출발하여 효율적(效率的) 분업체제(分業體制)를 형성하게 된 일본하청제(日本下請制)의 전개과정(展開過程)과 하청론(下請論)의 주요논점(主要論點)을 개괄적(槪括的)으로 정리(整理)하였다. 하청제(下請制)의 전개과정(展開過程)에는 일본(日本)에 특수(特殊)한 경제적(經濟的) 사회적(社會的) 문화적(文化的) 요인(要因)들이 작용하였지만, 산업기형발전(産業技衡發展)과 시장규모확대(市場規模擴大)에 의한 분업(分業)의 확대(擴大) 심화(深化), 분업체제(分業體制)의 재편과정(再編過程)에 일관(一貫)된 경제적(經濟的) 합리성(合理性)과 경쟁원리(競爭原理)의 관철(貫徹), 분업집단전체(分業集團全體)로서 고생산성(高生産性)과 환경적응성(環境適應性)을 실현하는 기업간(企業間) 연결조직(連結組織)의 특성(特性) 등은 일본적(日本的) 조건(條件)과 무관한 경제논리(經濟論理)로 설명될 수 있다.

• Journal of the Korean Society for Precision Engineering
• /
• v.15 no.10
• /
• pp.193-202
• /
• 1998

본 논문에서는 비선형 고체역학 이론에 대하여 특히 시간에 무관한 변형을 하는 초탄성 및 탄소성고체물질의 비선형 변형이론에 대하여 철저한 분석을 수행하였다 특히 비선형 변형의 해석방범론에 대하여 특별한 관심을 가지고 분석하였다. 비선형 변형해석 방법론으로 널리 논의되고 있는 증분뉴튼랩슨 방법에 대하여 수정된 개념을 제시하여 비선형 변형 해석의 정 확성을 향상시켰다.

• Journal for History of Mathematics
• /
• v.21 no.3
• /
• pp.31-52
• /
• 2008

The concept of infinity, as with other scientific concepts, has a history of evolution. In the present work we intend to discuss the subject matter with regard to Bolzano since he is considered to be the first to accept the idea of actual infinity not just from a metaphysical perspective but from a mathematical one. Like modem platonists, Bolzano defended the infinite set itself regardless of the construction process; this is based on the principal of comprehension and unicity of denotation regarding all concepts. In addition, instead of considering as paradoxical the fact that a one-to-one correspondence existed between an infinite set and its parts, he regarded it in a positive way as a special characteristic. While the Greek era recognized the existence of only one infinity, Balzano acknowledged the existence of various types of infinity and formulated a logical definition for it. The question of infinity is a touchstone of constructive method which holds an increasingly important role in mathematics. The present study stops with just a brief reference to the subject matter and we will leave further in-depth investigation for later.

• Proceedings of the Korean Institute of Surface Engineering Conference
• /
• 1998.05a
• /
• pp.95-95
• /
• 1998

현장에서 부식속도를 측정하는 방법의 하나인 전기저항 프로브(Electric Resistance Probe, ER probe)는 시편이 부식되는 양에 비례하여 저항이 증가하는 원리를 이용한 것으로 부식기구에 무관하게 직접적인 부식속도의 측정이 가능하다. 그러나, 와이어나 판형으로 기계 가공된 프로브로 제작되어 미량의 부식에는 저항변화폭이 작아 긴 측 정시간이 필요하고, 특히 국부 부식의 경우 부식이 상당히 진행되더라도 전체 저항변 화가 크지 않은 문제점이 있다. 박막형 전기저항프로브는 미량의 부식에서도 저항변화폭이 크게 나타나도록하기 위 하여 금속 박막을 스퍼터링으로 증착하여 동일 부식량에서 저항 변화율을 크게 향상 시킨 프로브이다. 이 프로브는 좁은 선폭(O.25-1mm)의 세선을 복수개 포함한 형상으로 프로브를 설계하여 핏팅이 발생하면 하나의 세선이 끊어지도록 하여 국부적인 부식이 일어날 경우에도 저항변화가 크게 나타나도록 고안되었다. 탄소강의 경우 일반적인 환경에서는 부식속도가 결정립의 크기, 가공경화의 정도등 에 민감하게 변화되지 않는 것으로 알려져 있으나, 박막으로 증착되었을 경우에는 별 크재료와는 전혀 다른 미세구조를 가지므로 벌크의 부식거동과는 다른 거동을 보일 수 있다. 이 연구에서는 증착조건을 달리하여 증착된 철 박막의 결정성, 비저항, 표면 상태, 조성등을 4 point 프로브, SEM, Auger spectroscopy등을 이용하여 조사하고 각각의 전위, 부식속도등과의 상관관계를 조사하였다. 증착된 박막의 비저항은 증착중 혼입된 산소의 양에 따라 매우 민감하게 변화하였다. 산소가 l0at%이상 함유된 철은 강의 알려진 비저항보다 수십배 높은 비저항을 보이며, 부식전위가 높아지고 실제 부식속도 또한 매우 낮게 나타났다. 박막의 부식거동은 미량 불순물에 의해서도 크게 변화하였는데 동일한 수준의 비저 항을 갖는 철 박막에서도 99.9% 순도의 철을 타켓으로 하여 증착된 막은 일반 저탄소 강을 타켓으로 하여 증착된 막보다 훨씬 낮은 부식속도를 보였다.

• Journal of Service Research and Studies
• /
• v.12 no.1
• /
• pp.1-24
• /
• 2022

This study was conducted to derive a new model for popular democracy in the modern society. The problem is exacerbated as the original model of democracy, isonomia, has faded and modern democracy is operated as a democracy in which the masses rule. Democracy is exposing a bigger problem due to the economic inequality caused by the majority rule and the capitalist economic system. Popular democracy, in which all the masses are equally qualified as sovereigns, is a structure in which cunning politicians can easily seize power if the voters are not wise. Isonomia is a system in which free people who solve economic problems on their own and have honesty, courage, dedication, sacrifice and sincerity set laws with the same qualifications, and keep the laws themselves, is a system that depends heavily on the conscience and virtue of free people. Modern popular democracy embodies the absolute equality of the sovereign regardless of economic power, but without the spirit of sacrifice and dedication to the community, those who can win popularity by wrapping themselves up as if they are sacrificial and capable people may seize power. This study presents a service-oriented democracy as a system that can maintain the merits of modern popular democracy while embodying the essence of isonomia. The system was implemented focusing on the qualifications for virtue, such as honesty, courage, sacrifice, integrity, etc., fair to all regardless of wealth. Human imperfections have been supplemented by the use of artificial intelligence. The assumption about the nature of the sovereign and public officials' agents was newly established, and the winner-take-allism problem was solved. This study proved that both the philosophy of Isonomia and the merits of Democracy can be realized through service-oriented democracy based on the common principle of humanity and the philosophy of service. Service-oriented democracy can be called revision democracy.

• Journal of Korean Society of Transportation
• /
• v.22 no.3 s.74
• /
• pp.145-157
• /
• 2004

The cycle length design model of the Korean traffic responsive signal control systems is devised to vary a cycle length as a response to changes in traffic demand in real time by utilizing parameters specified by a system operator and such field information as degrees of saturation of through phases. Since no explicit guideline is provided to a system operator, the system tends to include ambiguity in terms of the system optimization. In addition, the cycle lengths produced by the existing model have yet been verified if they are comparable to the ones minimizing delay. This paper presents the studies conducted (1) to find shortcomings embedded in the existing model by comparing the cycle lengths produced by the model against the ones minimizing delay and (2) to propose a new direction to design a cycle length minimizing delay and excluding such operator oriented parameters. It was found from the study that the cycle lengths from the existing model fail to minimize delay and promote intersection operational conditions to be unsatisfied when traffic volume is low, due to the feature of the changed target operational volume-to-capacity ratio embedded in the model. The 64 different neural network based cycle length design models were developed based on simulation data surrogating field data. The CORSIM optimal cycle lengths minimizing delay were found through the COST software developed for the study. COST searches for the CORSIM optimal cycle length minimizing delay with a heuristic searching method, a hybrid genetic algorithm. Among 64 models, the best one producing cycle lengths close enough to the optimal was selected through statistical tests. It was found from the verification test that the best model designs a cycle length as similar pattern to the ones minimizing delay. The cycle lengths from the proposed model are comparable to the ones from TRANSYT-7F.