• Journal for History of Mathematics
• /
• v.24 no.4
• /
• pp.1-6
• /
• 2011

We investigate a method to find the least common multiples of numbers in the mathematics book GuIlJib(구일집(九一集), 1724) written by the greatest mathematician Hong Jung Ha(홍정하(洪正夏), 1684~?) in Chosun dynasty and then show his achievement on Number Theory. He first noticed that for the greatest common divisor d and the least common multiple l of two natural numbers a, b, l = $a\frac{b}{d}$ = $b\frac{a}{d}$ and $\frac{a}{d}$, $\frac{b}{d}$ are relatively prime and then obtained that for natural numbers $a_1,\;a_2,{\ldots},a_n$, their greatest common divisor D and least common multiple L, $\frac{ai}{D}$($1{\leq}i{\leq}n$) are relatively prime and there are relatively prime numbers $c_i(1{\leq}i{\leq}n)$ with L = $a_ic_i(1{\leq}i{\leq}n)$. The result is one of the most prominent mathematical results Number Theory in Chosun dynasty. The purpose of this paper is to show a process for Hong Jung Ha to capture and reveal a mathematical structure in the theory.

• Information Display
• /
• v.5 no.5
• /
• pp.4-9
• /
• 2004

최근 비오이 하이디스에서는 무제한의 광시야각과 시야각에 따른 색변화가 최소화된 선명한 색 특성을 갖는 Advanced FFS(Fringe Field Switching) 기술을 개발하였다. 이 기술은 resin 기술적용(평탄화에 의한 고개구율)없이 종래의 FFS 기술에서 액정의 전기 광특성을 최적화하는 새로운 디자인 룰을 찾아내어 실현하였다. 진보된 화소 개념은 전극의 모서리 구조, 전극 간격/폭, 칼라 필터의 블랙 마트릭스(BM)와 전극 간격등의 key parameters들의 최적화에 의해 달성되었고 액정 셀 내의 모서리와 전기장등이 액정을 미세하게 조정할 수 있도록 있게 된 것이다. 이러한 진보된 설계 개념은 모든 FFS 제품에 반영되어 개발되었다. 뿐만 아니라 12.1" XGA 제품에서 투과율이 22% 증가하고 흑백 대비비(Contrast Ratio)는 33% 증가한 600 : 1의 세계 최고 사양을 갖는 제품을 개발하게 되었다. 특히 태블릿과 노트북용 TFT- LCD 모듈에서 단일 도메인(Single Domain) 모드로도 White상태에서 시야각에 따른 색변화가 0.02 이하의 특성을 갖고 180도/180도의 무제한 시야각을 갖고 있다. Advanced FFS 기술의 브랜드 이름과 슬로건으로 'Viewiz'와 'Vision Magic'을 정하여 마케팅 중이며 세계적인 Top Tier 고객에 제품을 판매 중이고, 2004년 3분기에는 태블릿 시장에서 점유율 70%로 1위를 차지하였다.

• The Magazine of the IEIE
• /
• v.30 no.4
• /
• pp.398-398
• /
• 2003

이동통신서비스 기술이 서비스 속도 측면에서의 차별화로 인하여 이동 통신 단말기 구축 기술 스펙트럼이 다양하게 확대되어감에 따라 이를 지원하는 기술 사이에 호환성에 대한 필요성이 대두되고 있으며, 이를 지원할 기술로 소프트웨어에 의한 단말기 형상의 재구성을 고려하게 되었다. 이를 Software Defined Radio(SDR)라고 하며, SDR의 핵심을 이루는 기술 중의 하나로 소프트웨어 다운로드 기술이 요구된다. SDR Forum에서 소프트웨어 다운로드 기술을 표준화하기 위한 작업이 진행되고 있으나 아직 확정된 바가 없다. 소프트웨어 다운로드 중에서도 global roaming의 기반이 되는 Over-the-air(OTA)에 의한 형상 재구성 방안은 각 단말기가 갖는 다양성과 다운로드 과정의 복잡성으로 인하여 요구사항을 정하는 것이 쉽지 않다. 이에 다운로드 프로토콜의 진화와 변경을 고려하여, 소프트웨어의 구조와 다운로드 프로토콜을 제시한다.

• The Magazine of the IEIE
• /
• v.30 no.4
• /
• pp.52-63
• /
• 2003

이동통신서비스 기술이 서비스 속도 측면에서의 차별화로 인하여 이동 통신 단말기 구축 기술 스펙트럼이 다양하게 확대되어감에 따라 이를 지원하는 기술 사이에 호환성에 대한 필요성이 대두되고 있으며, 이를 지원할 기술로 소프트웨어에 의한 단말기 형상의 재구성을 고려하게 되었다. 이를 Software Defined Radio(SDR)라고 하며, SDR의 핵심을 이루는 기술 중의 하나로 소프트웨어 다운로드 기술이 요구된다. SDR Forum에서 소프트웨어 다운로드 기술을 표준화하기 위한 작업이 진행되고 있으나 아직 확정된 바가 없다. 소프트웨어 다운로드 중에서도 globa1 roaming의 기반이 되는 Over-the-air(OTA)에 의한 형상 재구성 방안은 각 단말기가 갖는 다양성과 다운로드 과정의 복잡성으로 인하여 요구사항을 정하는 것이 쉽지 않다. 이에 다운로드 프로토콜의 진화와 변경을 고려하여, 소프트웨어의 구조와 다운로드 프로토콜을 제시한다.

• Journal of KSNVE
• /
• v.8 no.1
• /
• pp.13-20
• /
• 1998

도시생활에서 가장 짜증스러운 것은 자동차 소음이다. 경제발전과 더불어 인구의 도시 집중과 급격한 차량증가는 교통량이 많은 간선도로변을 중심으로 도로교통 소음문제가 야기되고 있으며, 우리나라도 지난 '97. 7월 자동차 1000만대 보유국이 되었다. 도로교통 소음은 자동차에서 발생하는 소음과 차량의 통행량, 차량의 주행속도및 도로주변 조건등 각종 요인이 복합 된 것으로 저속운행이 일반적인 도시에서는 자동차에서 발생하는 소음 중 엔진에서 나는 소음이 대개 60% 이상을 점하게 된다. 이러한 문제점 등을 감안하고 쾌적한 생활 환경 조성을 위하여 환경부에서는 제작차 소음 허용기준을 정하여 제작차가 시판되기전 단계에서 제작차 소음 허용기준에 적합하게 제작되는지 여부를 관리하기 위하여 인증제도를 시행 중에 있으며, 인증 시험에 통과된 차량에 대해서만 제작 시판할 수 있도록 법제화하여 운영하고 있다. 인증에 필요한 시험은 자동차의 가속주행소음, 배기소음 및 경적소음 시험으로써 본 장에서는 제작차 인증시험과 평가방법 등을 소개하고, 아울러 도로교통 소음 진동에 대하여서도 기술하고자 한다.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2011.04a
• /
• pp.222-223
• /
• 2011

본 논문에서는 콘크리트 사장교 가설 중 태풍 곤파스 내습시 교량에 설치된 계측 장비들의 측정된 데이터를 이용하여 난류스펙트럼과 고유진동수를 분석하였다. 현장조건을 반영한 업데이트된 해석모델로 버페팅해석을 수행하였다. 해석결과는 SRSS조합으로 응답을 산정하여 주탑의 가속도 응답과 계측된 가속도 응답을 평가하였다. 버페팅해석 결과는 전반적으로 해석결과와 유사한 경향을 보였다.

• Electronics and Telecommunications Trends
• /
• v.28 no.3
• /
• pp.95-105
• /
• 2013

현재의 인터넷은 라우팅과 어드레싱에 대한 심각한 확장성 문제를 가지고 있다. 이러한 확장성의 가장 큰 원인은 멀티호밍, 트래픽 엔지니어링, 집적되지 못하는 주소 할당 등이며, 이로 인하여 백본 지역의 라우팅 테이블 크기가 기하급수적으로 증가하는 현상을 보이고 있다. 또한 현재의 IP 주소는 호스트의 식별자와 위치자의 의미를 함께 사용하기 때문에 호스트의 이동성 및 멀티호밍을 지원하는 데 한계점이 있다. 이러한 현재 인터넷의 문제점 해결 방안으로 식별자와 위치자 분리 구조가 연구되고 있다. 본고에서는 식별자와 위치자 분리 구조에서 필수적으로 요구되는 식별자와 위치자 간의 매핑 시스템에 관한 연구들을 소개하고 각각의 장단점을 분석한다. 본고에서는 현재 인터넷 기반의 대표적 식별자와 위치자 분리 구조 중 IETF(Internet Engineering Task Force)에서 잘 알려진 LISP(Locator Identifier Separation Protocol), HIP(Host Identity Protocol), ILNP(Identifier Locator Network Protocol)에서 제안하는 매핑 시스템들과 미래인터넷 기반의 대표적 식별자와 위치자 분리 구조 중 미국의 MobilityFirst와 한국의 MOFI(Mobile-Oriented Future Internet)에서 제안하는 매핑 시스템들을 중점적으로 소개한다.

• Proceedings of the KIEE Conference
• /
• 2000.07d
• /
• pp.2498-2500
• /
• 2000

차세대 신형원전에서는 디지털 기술의 적용을 기본 설계 요건으로 제시하고 있다. 차세대 원전의 노심보호계통 (Core Protection Calculator Systems; CPCS)은 원전의 안전성을 보장하기 위한 부분으로 이 부분이 올바르게 작성되고, 검증되어야 함은 분명하다. 현재 이부분은 소프트웨어로 개발 중에 있으며 개발 단계에 있어서 시작단계인 요구명세 단계에 있다. 요구 명세 단계의 오류는 소프트웨어 개발 단계 중 소프트웨어의 품질에 가장 영향을 많이 미치는 단계로 알려져 있으므로 이 단계를 정확하게 수행하여야 한다. 안전성이 중요한 소프트웨어를 명세하는 데 있어서 우선 정의되어야 하는 것은 어떤 절차를 통해서 어떤 방법으로 할지를 결정하여 그 절차를 정하여야 한다. 기존에 소프트웨어 요구 명세에 대한 표준안이 존재하기는 하지만, 이러한 표준안들은 개념적인 언어들로 쓰여져 있기 때문에 실제 소프트웨어의 개발 과정에 사용하기 위해서는 구체적인 언어들로 다시 작성하여야 한다. 따라서, 소프트웨어 명세를 작성하기 위해서 절차와 방법에 대해서 정의하여야 한다. 본 논문에서는 개략적인 명세 절차와 명세 방법등을 기술하였다.

• Proceedings of the Korean Society of Disaster Information Conference
• /
• 2015.11a
• /
• pp.331-334
• /
• 2015

박물관은 예술과 과학 분야에서 귀중한 문화유산적 가치가 있는 소장품을 보관 전시하는 등 교양, 조사연구, 예술활동 등에 이바지하고 있다. 이러한 박물관의 소장품을 위협하는 요소 중 화재로 인한 피해는 소장품을 순식간에 파괴하여 복구 불능 상태가 될 수도 있어 가장 위험이 큰 재해라고 해도 과언이 아니다. 재난 및 안전관리 기본법 제34조의 6에서는('15년 12월 31일 시행), 다중이용시설 등의 소유자 관리자 또는 점유자는 대통령령으로 정하는 바에 따라 위기상황에 대비한 매뉴얼을 작성 관리토록 되어있다. 하지만 연면적 $3,000m^2$ 이상의 대규모 사립박물관만 해당되며 대다수 사립박물관은 재정적으로 취약하고 소규모 시설로 인해 화재를 비롯한 각종 재난안전관리에 매우 취약하여 소중한 문화적 가치를 지닌 유물들이 소실될 수 있는 높은 위험성을 지니고 있다. 이에 따라 본 연구에서는 중 소규모의 사립박물관 50개소를 선정하여 화재안전에 대비한 소방분야의 관리실태를 점검하고 향후 안전관리 교육 훈련 프로그램 또는 안전관리 매뉴얼 개발에 기초 자료로서 활용 될 수 있는 연구를 수행하였다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2022.07a
• /
• pp.137-138
• /
• 2022

소스 코드 식별자의 이름을 잘 정하는 것은 소프트웨어 엔지니어링에서 중요한 문제로 다루어지고 있다. 프로그램 엔티티의 의미있고 간결한 이름은 코드 이해도에 중요한 역할을 하며, 소프트웨어 유지보수 관리 비용을 줄이는 데에 큰 효과가 있다. 이러한 코드 식별자 중 평균적으로 가장 복잡한 식별자는 '메소드 이름'으로 알려져 있다. 본 논문에서는 메소드 내용과 일관성 있는 적절한 메소드 이름 생성을 자연어 처리 태스크 중 하나인 '추상적 텍스트 요약'으로 치환하여 수행하는 트랜스포머 기반의 인코더-디코더 모델을 제안한다. 제안하는 모델은 Github 오픈소스를 크롤링한 Java 데이터셋에서 기존 최신 메소드 이름 생성 모델보다 약 50% 이상의 성능향상을 보였다. 이를 통해 적절한 메소드 작명에 필요한 비용 절감 달성 및 다양한 소스 코드 관련 태스크를 언어 모델의 성능을 활용하여 해결하는 데 도움이 될 것으로 기대된다.