• Journal of Educational Research in Mathematics
• /
• v.13 no.4
• /
• pp.429-446
• /
• 2003

Gu-il-jip is a mathematical book of Chosun dynasty in the 18c. It consists of nine chapters including more than 473 problems and their solutions. Analyzing the problems and their solutions, we can appreciate the mathematical researches by the professional mathematicians of Chosun. Especially, it is worth noting the followings: - units for measuring and decimal notations - $\pi$, area of circle, volume of sphere - naming the powers - counting rods - excess and deficit: calculation technique for excess-deficit relations among quantities - rectangular arrays: calculation technique for simultaneous linear equations - 'Thien Yuan' notation: method for representing equations - 'Khai Fang': algorithm for numerical solution of quadratic, cubic and higher equations Based on these analyses, some pedagogical applications are proposed.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.5
• /
• pp.1327-1336
• /
• 1997

Test generation from the communication protocol specified in I/OFSM protocol is based on the asumption that the specification S and implemenataiton I are storngly, connected,minmal and deterministic.In this paper,we identify why these asumptions are necessary for minimal test cases genration from I/OFSM protocol speci-fication,and we propose a graph Rewriting System and its application to the specification I/OFSM for verifying its storng cinnectivity.We prove that the suggested algorithm is more dffcient thah the traditional strongly connected compoment find algorithm.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06c
• /
• pp.181-183
• /
• 2006

UML 2.0의 시퀀스 다이어그램은 실시간 특성을 표기할 수 있는 표기법이 추가됨으로써 시간의 엄격성이 중요하게 여겨지는 임베디드 소프트웨어의 행위를 보다 정확하고 상세하게 모델링 할 수 있게 되었다. 시퀀스 다이어그램은 전체 시스템의 부분적인 행위를 기술하여 같은 행위가 여러 다이어그램에 걸쳐서 기술되어지므로 이들 다이어그램들은 서로 일관성을 가져야 하는데 복잡한 시스템에서 일관성을 검사하는 것은 어려운 일이다. 본 논문에서는 행위 모델을 표현하는 시퀀스 다이어그램과 다른 다이어그램에 기술된 실시간 특성들의 일관성을 자동으로 검사할 수 있는 방법을 제안한다. 먼저 서로 다른(inter) 다이어그램들 사이의 시간적인 일관성을 유지하기 위한 제약사항을 파악하여 정의한다. 그리고 모델을 구성하는 인스턴스들에 대한 제약사항을 OCL로 기술하는데 이는 UML 2.0이 발표되면서 모델의 의미를 정확하고 상세하게 표현할 수 있는 메타 모델과 그들의 연관관계가 추가되고 명확하게 정의됨에 따라 가능하게 된 것이다. 이렇게 OCL로 정형화되어 기술된 식은 UML 2.0 메타 모델을 이용한 어느 모델에나 적용 가능하며 모델의 문제점을 발견하고 정확한 모델을 구축하도록 도와준다.

• Annual Conference on Human and Language Technology
• /
• 2009.10a
• /
• pp.101-105
• /
• 2009

본 논문은 공통적으로 이용할 수 있는 웹 환경에서의 한국어 정보로 획득할 수 있는 정보의 양이 영어권 정보의 양보다 상대적으로 적다는 것을 토대로, 웹정보 이용의 불균형을 해소하고자 하는 목적으로부터 출발하였다. 최근에는 지식 정보의 세계화, 국제화에 따라 동일한 정보를 각국 언어로 제공하고자하는 연구가 꾸준히 증가하고 있다. 온라인 백과사전인 위키피디아 역시 현재 다국어로 제공이 되고 있지만 한국어로 작성된 문서는 영어로 작성된 문서의 5% 미만인 것으로 조사되었다. 본 논문에서는 위키피디아 내에서 제공하는 다국어간의 링크 정보와 인포박스 데이터를 활용하여 위키피디아 문서 내에서 개체명을 인식하고, 자동으로 개체명의 영-한 대역어 쌍을 추출하는 것을 목표로 한다. 개체명은 일반 사전에 등재 되지 않은 경우가 많기 때문에, 기계번역에서 사전 데이터 등을 활용하여 개체명을 처리하는 것은 쉽지 않으며 일반적으로 음차표기 방식을 함께 사용하여 해결하고 있다. 본 논문을 통해 위키피디아 데이터를 활용해 만들어진 영-한 개체명 대역어 사전을 구축하기 위해 사용된 기술은 추후 위키피디아 문서를 기계번역하는데 있어 동일한 방법으로 사용이 가능하며, 구축된 사전 데이터는 추후 영-한 자동 음차표기 연구의 사전 데이터로도 활용이 가능하다.

• KOREAN POULTRY JOURNAL
• /
• v.38 no.11 s.445
• /
• pp.139-141
• /
• 2006

국내 계란시장도 변화를 거듭하고 있다. 소비자들의 식품에 대한 욕구와 식품안전에 대한 인식이 높아지면서 계란시장도 소비자를 충족시키기 위한 방법들이 다방면으로 시도되고 있다. 이제는 일반 계란만이 아닌 영양란, 신선란, 기능란 등 차별화된 계란 브랜드와 품질로 소비자를 유혹하고 있다. 이에 발맞추어 계란포장에서도 다양해지면서 이제는 브랜드를 구별하거나 신선도를 확인할 수 있는 단계까지 요구되면서 식란에 표기할 수 있는 인쇄까지 도입이 확대되어 가고 있다. 이에 본고는 계란전용마킹기계 제품으로 국내시장에서 잘 알려진 이마지코리아를 방문해 계란마킹산업의 흐름과 제품에 대한 인터뷰를 가져보았다.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.4
• /
• pp.915-923
• /
• 1998

HTTP의 등장으로 전세계적으로 인터넷붐이 조성되고 있는 가운데 플랫폼과 독립적으로 실행되고 동적 문맥을 제공하는 자바 기술이 등장하였다. 본 논문에서는 이러한 변화에 따라 웹에서 사용가능한 케이스 서버의 필요성을 제시하였고 웹과 자바 기술을 사용하여 이 케이스 서버에 장착할 수 있는 이벤트 다이어그래머 애플릿을 설계하고 구현하였다. 이벤트 다이어그래머는 케이스 도구를 구성하는 여러 부품중 하나이다. 즉, 이벤트 다이어그래머는 이벤트와 작용의 관계를 표현하는 그래픽 표현 요소들로 구성된 표기법인 이벤트 다이어그램을 작성하는 도구이다. 이 논문에서는 작성한 이벤트 다이어그래머 애플릿은 웹에서 Martin/Odell의 객체지향 방법론에 따르는 이벤트 다이어그램을 작성해 주는 도구이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10b
• /
• pp.398-400
• /
• 1999

본 논문에서는 저항 생산 과정에서 실제저항값과 칼라 코드값이 잘못 표기되는 경우에 이를 검사.인식하는 시스템에 이용할 수 있는 알고리즘을 제안한다. 본 알고리즘에서는 칼라 영상에서의 효과적인 경계선 추출 방법과 칼라 영상의 명암도 변화 차이를 이용한 저항의 칼라 코드 영역 추출법, 그리고 역전파 알고리즘을 이용한 칼라 코드 판별법이 제시된다.

• Cement
• /
• s.64
• /
• pp.4-10
• /
• 1976

(1) 연와제조업자가 제시하는 화학적 물리학적 data는 축로 부분의 연와 무게 결정, 열전도 및 팽창 등의 조정에 관한 기본적인 data만 제시되어 있다. 그밖의 data로 내화도 및 냉간파괴강도 data를 표기한 것은 연와 수용가들에게는 실제 무의미한 data이다. Spalling 저항성은 실제 화학적인 영향에 의해서 유동적이기 때문에 동시험은 잘하지 않는다. (2) 물리화학적인 선택표준으로서 m.p diagram을 사용하는 것이 연와재질을 쉽게 평가할수 있는 방법이다. (3) Kiln과 비슷한 운전상태로 조그마한 모형 kiln을 이용하여 시험하면 상태는 잘 나타나지는 못하지만 좋은 자료를 얻을 수 있다. (4) 신품 마그네사이트 연와와 사용 마그네사이트 연와에 관한 열적-기계적, 열적-기계적-화학적인 복합 연구를 해보면 시멘트 키른 연와에 관한 좋은 자료를 얻을 수 있다.

• Journal of the Korean Geophysical Society
• /
• v.9 no.1
• /
• pp.21-25
• /
• 2006

Aerial photo process with digital camera has some benefits. It is fast and simple by digital way incomparison with aerial photo based on film. Also it works with GPS/INS device to do direct geo-referencing. Sdata and digital map and GCP is produced. In base on it, ortho images are produced and compared with surveying data.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.364-366
• /
• 2000

컴포넌트 기반의 개발과 컴포넌트 개발에 대한 관심이 높아지면서 이를 위하 개발 방법론과 개발 도구들의 도입이 확산되고 있다. 또한 컴포넌트의 재사용 범위를 확장시키기 위해 컴포넌트 개발 시 나타나는 Hot Spot 처리를 위한 분석, 설계 기법에 대한 관심이 높아지고 있다. 따라서 본 논문에서는 이러한 분석, 설계기법을 이용하여 융통적인 계층적 접근 권한에 대한 분석, 설계 모델을 제시한다. 본 논문에서는 다지인 모델링을 위한 표기법으로서 객체지향 모델링 기법인 UML(Unified Modeling Language)를 이용하여 모델링 한다.