• 한국기계가공학회지
• /
• 제9권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 of Information Processing Systems
• /
• 제14권3호
• /
• pp.790-800
• /
• 2018

The simplified neutrosophic set (SNS) is a generalization of fuzzy set that is designed for some practical situations in which each element has truth membership function, indeterminacy membership function and falsity membership function. In this paper, we propose a new method to construct similarity measures of single valued neutrosophic sets (SVNSs) and interval valued neutrosophic sets (IVNSs), respectively. Then we prove that the proposed formulas satisfy the axiomatic definition of the similarity measure. At last, we apply them to pattern recognition under the single valued neutrosophic environment and multi-criteria decision-making problems under the interval valued neutrosophic environment. The results show that our methods are effective and reasonable.

• 한국측량학회지
• /
• 제18권3호
• /
• pp.263-269
• /
• 2000

수치사진측량의 정확도는 사용되는 영상의 해상력에 의해서 제약을 받으므로, 영상의 해상력이 향상되어야 함은 자명한 이치이다. 용량이 확대된 CCD 장치로 하드웨어를 구성하는 방법이나, 센서를 움직여 부화소의 양을 미리 결정하므로써 고 해상력 영상을 획득하는 방법은 가격이 매우 고가이므로 저렴한 비용으로 영상의 해상력을 향상시킬 수 있다면 이는 매우 중요한 의미를 지닌다. 본 연구에서는 가격이 저렴한 수치사진기로 영상을 획득하고, 다중 수치영상을 영역정합에 의한 최소제곱방법으로 정합하여 저 해상력 영상의 해상력을 강화시키고자 한다. 연구결과 수치영상의 해상력이 크게 향상되었으므로 향후 경제적으로 가격 경쟁력이 있는 수치사진측량이 가능함은 물론 그 활용이 널리 기대된다.

• 한국산학기술학회논문지
• /
• 제19권2호
• /
• pp.644-652
• /
• 2018

본 논문은 제품 교체 주기가 비교적 짧고 정기적인 IT 제품의 조립 공정 맞춤형 그리퍼 개념 설계에 관한 내용을 담고 있다. 제조 현장에서 쓰이는 그리퍼는 대부분 1~2 자유도로 간단하게 구성되고 한 번에 다양한 물체가 아닌 정해진 것만 다룬다. 또한 가격이 중요한 비중을 차지한다. 만약 공정에 적합한 그리퍼를 빠르고 쉽게 개발 할 수 있다면 제품 및 공정의 잦은 변경에 따른 자동화의 어려움을 일부 해소할 것으로 기대한다. 연구에 필요한 조립 공정은 재조사의 기밀인 관계로 공정 분석 진행 절차와 방법을 정의하고 기술하였다. 공리적 설계를 이용해 테블릿 PC 조립을 위한 그리퍼의 기능 요구와 설계 파라미터를 도출하였다. 이러한 파라미터를 결정함으로써 그리퍼의 개념 설계가 이루어질 수 있도록 설계 방법을 제안하였다. 타당성 검토를 위해 특정 공정을 선택하고 그리퍼 설계 진행 과정을 예재로 기술하였다. 그리퍼 설계 지침에 관한 연구가 있지만 고려 사항이 너무 일반적이고 아이디어 도출의 자유도가 높은 문제가 있다. 본 논문은 제품 및 자동화 시장이 활성화 된 IT 제품의 조립 공정을 바탕으로 그리퍼의 기능을 정의하였다. 이를 통해 물체를 잡는 것에 그치지 않고 조립 과정을 반영한 설계를 목표로 하였다.

• 실천공학교육논문지
• /
• 제15권2호
• /
• pp.321-330
• /
• 2023

본 논문에서는 특정 도메인의 온톨로지 구성에 필요한 용어 간의 다양한 관계를 추출하여 자동으로 온톨로지를 생성하는 방법을 제안하고자 한다. 추출된 관계를 온톨로지의 구조에 공리 집합으로 인코딩하여 온톨로지로 구성한다. 효율적으로 해결하기 위해 집합의 검색 공간을 정수 프로그래밍 문제로 표현하며, 최적화를 위해 별로 도움이 되지 않는 규칙은 제거하는 단순한 축소를 사용하여 행렬을 감소시킨다. 결론적으로 본 논문에서는 주어진 데이터를 이용하여 패턴을 일반화하고, 유용한 패턴을 유지하면서 검색 공간을 줄이는 방법을 제시하며, 구조화된 온톨로지로 구성하는 알고리즘을 적용하여 추출된 관계를 이용해 자동으로 효율적인 온톨로지로 생성하는 방법을 제안한다.

• 천문학회보
• /
• 제37권1호
• /
• pp.52.1-52.1
• /
• 2012

It is often said that there is little geometrical mind in Korean history. However, a method to project the surface of a sphere onto 2-dimensional plain was applied to the representative Korean star chart or Cheonsang Yeolcha Bunyajido (天象列次分野之圖). The method, called the equi-distant polar projection, was explained in detail in ancient Chinese history book of the Tang dynasty, which was originated from older history. Another method of the Mercator projection was introduced by the famous engineer Su Song (蘇頌) of the Song dynasty. The description has quite geometrical thoughts, especially the concept of infinity or convergence appears, However, this type of sky projection method was not widely used in east Asia. When the European Jesuits came to China to evangelize the Chinese people, they found that the Chinese people paid much attention to advanced European astronomical knowledge. Thus, they introduced the European astronomical knowledges into China, and the star chart was one of them. The projection method of the new charts were quite different from the Chinese tradition. When the Koreans brought those new star chart from China, they must have known the geometrical description of the method. The method was described in detail in a volume of Chongzhen Lishi (崇禎曆書) or Xiyang Xinfa Lishu (西洋新法曆書). The explanation consists of three part. One is the quantitative way; another is a geometrical way using axiomatic systems; and the other is the practical method to draw star chart with the geometical projection. However, when we see the Honcheon Jeondo (渾天全圖) that is thought to be duplicated by Kim Jeongho (金正浩), the new geometrical method was not so widely known to the Koreans. I will discuss the reason why the geometrical minds have not been widely adopted in the Korean civilization.

• 논리연구
• /
• 제17권2호
• /
• pp.323-349
• /
• 2014

이 글에서 우리는 보상 없는 강화 (cfr) $(({\phi}&{\psi}){\rightarrow}({\phi}{\wedge}{\psi})){\vee}(({\phi}{\vee}{\psi}){\rightarrow}({\phi}&{\psi}))$를 갖는 유니놈 논리의 확장에 대해 표준 완전성이 제공될 수 있다는 것을 보인다. 이를 위하여, 먼저 보상 없는 강화를 갖는 유니놈 논리 $UL_{cfr}$을 소개한다. 이 체계에 상응하는 대수적 구조를 정의한 후, $UL_{cfr}$이 대수적으로 완전하다는 것을 보인다. 다음으로, $UL_{cfr}$이 표준적으로 완전하다는 것 즉 단위 실수 [0, 1]에서 완전하다는 것을 Yang (2009)에서의 방법을 사용하여 보인다.

• 한국멀티미디어학회논문지
• /
• 제21권6호
• /
• pp.685-697
• /
• 2018

(Most companies that perform BPR have not achieved satisfactory results or have not performed successful BPRs. There are many reasons for this, but the most important one has caused problems that do not accurately reflect the requirements of various stakeholders. In this paper, we will apply the BPR consulting methodology to a new value innovation requirements engineering process based on the Blue Ocean strategy, which is a way to create a new market without competition by customerizing potential customers by satisfying new customer expectations and needs. This paper uses a requirements engineering process that can generate customer value by applying the ERRC(Erasure Reduce Raise Create) analysis method, which is the core of the Blue Ocean Strategy Framework[1,2]. We will also apply the Six Sigma DFSS (Design For Six Sigma) methodology to improve quality and process through quantitative and systematic analysis. The proposed approach was presented to the BPR consulting to present a practical case, and the results of the empirical analysis of the system user to validate the results of BPR consulting.

• 한국수학사학회지
• /
• 제18권3호
• /
• pp.79-90
• /
• 2005

일차대전 전의 프랑스 수학사는 괄목할 만 하였으나 일차대전 후 프랑스는 독일과 영국에 비하여 완전히 진공 상태였다. 이에 젊은 프랑스 수학자들은 독일로부터 크게 자극을 받아 Bourbaki학파를 생성하고 때마침 사회적으로나 정치적으로 생성된 구조주의(structuralism)와 발맞추어 수학의 구조적 접근을 시도하였다. 우리는 Bourbaki의 생성 과정과 발전 단계를 알아보고 그 구성원들과 그들이 심혈을 기울여 집필한 책들, 그리고 업적에 대하여 조사한 후 Bourbaki학파의 쇠퇴 과정을 살펴 본다.

• 한국초등수학교육학회지
• /
• 제1권1호
• /
• pp.87-98
• /
• 1997

실천은 내용으로서의 실천과 방법으로서의 실천으로 분류된다. 수하의 실천적 본질은 실제로 행하여진 수학자의 활동을 의미한다. 방법으로서의 실천을 위해서 학생들은 수학자의 도제가 된 입장에서 수학을 마치 수학자가 일상에서 하듯 배울 수도 있다. 수학을 배운다는 것은 공통의 언어를 공유하는 실천가들 사이에 진행되는 대회에 들어가는 것을 의미한다. 수학 교실의 모습은 수학의 내용을 개념과 절차의 형태로 획득하늘 활동으로 이루어지는 것이 아니라 수학적 사고의 개인적 실천과 협동적 실천으로 이루어져야 한다.