• Korean Journal of Logic
• /
• v.5 no.1
• /
• pp.81-117
• /
• 2001

이 글은 수학적 플라톤주의를 포기하더라도 프레게에게 열려 있었던 것으로 보이는 논리 주의 프로그램의 한 가능성, 즉 수를 고차 개념으로 이해하는 논리주의 프로그램을 그가 왜 선택하지 않았는가 하는 물음에 대답하는 데 목적이 있다. 이를 위해 나는 수를 고차 개념으로 이해할 때 산수의 기초 개념들을 만족스럽게 정의할 수 있는지, 그런 정의들로부터 프레게의 기수 이론의 공리들을 고단계 논리학 내에서 모두 증명할 수 있는지를 차례대로 검토한다. 다음으로 나는 그 검토 결과에 근거할 때 대상들이 무한히 많이 있다는 가정에 의존하지 않는 한 서로 다른 유한 기수들이 무한히 많이 있다는 것을 보증할 수 없다는 점을 논증할 것이고, 바로 그 점이 프레게가 비플라톤주의적 논리 주의를 받아들일 수 없었던 주요 이유였음을 논증할 것이다.

• Journal for History of Mathematics
• /
• v.27 no.6
• /
• pp.403-408
• /
• 2014

The interdisciplinary study addresses the G$\ddot{o}$del's ontology from the perspective of the mathematical maximality. We first investigate G$\ddot{o}$del's God having all the positive properties as the intersection of ultrafilters in his own ontological proof(1970). Regarding the axiom of choice and his compactness theorem(1930), the next part discusses the ontological meaning of the maximal rather than the maximum in terms of an episteme space. The results show that G$\ddot{o}$del's ontological arguments imply all the existence of the maximal reality, and all the human's epistemological boundedness as well.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.25 no.12B
• /
• pp.2094-2108
• /
• 2000

오류를 수반하는 통신망을 통한 멀티미디어 데이터의 응용은 최근 그 수요가 급증하고 있다. 하지만 그 구현은 많은 문제점들을 야기하는데, 전송된 비디오 데이터에 발생한 오류를 처리하는 문제가 그 중 하나이다. 이는 압축된 비트열에 발생한 오류가 영상의 시-공간 방향으로 심각한 전파 현상을 수반하기 때문이다. 이러한 심각한 오류 전파를 완화하기 위해 본 논문에서는 EREC라 알려진 오류 제한 기법을 적용하고, 적용된 EREC의 오류 전파 특성을 분석하였다. 이를 통해, 압축 부호화된 하나의 기본 블록 (매크로 블록)이 복호시 오류가 생길 확률을 추정하였으며, 추정된 확률의 근사를 통해 양 끝단(전송단과 수신단)에서의 비디오 화질 열화를 예측하였다. 추정 확률의 근사는 매 기본 블록에서 발생된 비트수에 대한 그 기본 블록이 복호시 오류가 생길 확률을 간단한 1차식을 통한 선형 회귀법으로 모델링 되었으며, 따라서 간단한 방법을 통해 양 끝단의 화질 열화를 효과적으로 예측할 수 있었다. 부호화된 비트열이 전송 오류에 보다 강인하게 되도록 하기 위해, 본 논문에서 개발된 화질 열화 모델을 양자화기 선택에 적용함으로써, 새로운 최적 양자화 기법을 제시하였다. 본 논문에서 제안된 최적 양자화 기법은, 기존의 양자기 최적화 기법들과는 달리, 복호단에서의 복원 영상 화질이 주어진 비트율에서 최적이 되도록 양자화를 수행한다. H.263 비디오 압축 규격에 적용한 제안 양자화 기법의 실험 결과를 통해, 제안 기법이 매우 적은 계산상의 부하를 비용으로 객관적 화질은 물론 주관적 화질까지 크게 개선할 수 있음을 확인할 수 있었다.내었다.Lc. lacti ssp. lactis의 젖산과 초산의 생성량은 각각 0.089, 0.003과 0.189, 0.003M이었다. 따라서 corn steep liquor는 L. fermentum와 Lc. lactis ssp, lactis 의 생장을 위해 질소 또는 탄소 공급원으로서 배지에 첨가 될 수 있는 우수한 농업 부산물로 판단되었다.징하며 WLWQ에 적용되는 몇 가지 제약을 관찰하고 이를 일반적인 언어원리로 설명한다. 첫째, XP는 주어로만 해석되는데 그 이유는 XP가 목적어 혹은 부가어 등 다른 기능을 할 경우 생략 부위가 생략의 복원 가능선 원리 (the deletion-up-to recoverability principle)를 위배하기 때문이다. 둘째, WLWQ가 내용 의문문으로만 해석되는데 그 이유는 양의 공리(the maxim of quantity: Grice 1975) 때문이다. 평서문으로 해석될 경우 WP에 들어갈 부분이 XP의 자질의 부분집합에 불과하므로 명제가 아무런 정보제공을 하지 못한다. 반면 의문문 자체는 정보제공을 추구하지 않으므로 앞에서 언급한 양의 공리로부터 자유롭다. 셋째, WLWQ의 XP는 주제어 표지 ‘는/-은’을 취하나 주어표지 ‘가/-이’는 취하지 못한다(XP-는/-은 vs. XP-가/-이). 이는 IP내부 에 비공범주의 존재 여부에 따라 C의 음운형태(PF)가 시성이 정해진다는 가설로 설명하고자 했다. WLWQ에 대한 우리의 논의가 옳다면, 본 논문은 다음과 같은 이론적 함의를 기닌다. 첫째, WLWQ의 존재는 생략에 대한 두 이론 즉 LF 복사 이론과 PF 삭제 이론

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.19 no.2
• /
• pp.644-652
• /
• 2018

This paper describes the conceptual design of a customized gripper for the assembly process of IT products, which has a relatively short and regular product replacement cycle. The grippers that are used in the manufacturing field are mostly composed of one to two degrees of freedom and they can only handle one object, not multiple ones. Cost is also an important factor. If it were possible to develop a gripper suitable for the assembly process quickly and easily, some of the difficulties involved in its automation caused by the frequent changes of product and process could be solved. The assembly process utilized for this research is defined and described as the procedure and method of the process analysis due to the confidentiality of the manufacturer. We used an axiomatic design to derive the functional requirements and design parameters of the gripper used for the tablet PC assembly process. We proposed a design method for the conceptual design of the gripper by determining these parameters. For the feasibility study, a specific process was selected and the progress of the gripper design was described as an example. Although there have been studies on the design guidelines for grippers, their considerations are too general and their degree of freedom is too high. This paper defines the function of the gripper based on the assembly process of the IT products, which allows their production to be streamlined and automated. In this research, we attempted to produce a design that reflects the assembly process, not just one that enables objects to be held.