• Journal for History of Mathematics
• /
• v.18 no.3
• /
• pp.67-78
• /
• 2005

In this paper we deals with Leibniz's definition of infinite and infinitely small quantities, infinite quantities and theory of quantified indivisibles in comparison with Galileo's concept of indivisibles. Leibniz developed 'method of indivisible' in order to introduce the integrability of continuous functions. also we deals with this demonstration, with Leibniz's rules of arithmetic of infinitely small and infinite quantities.

• Proceedings of the KIEE Conference
• /
• 2002.07d
• /
• pp.2702-2703
• /
• 2002

본 연구에서는 종래의 심박출량 및 일회 심박동량 측정장치를 휴대용 시스템으로 구현하기 위한 회로 설계방법을 연구하였다. 휴대용 시스템의 설계를 위한 아날로그 부분은 인체 안전을 위한 아이솔레이션 증폭기, 변복조기, 0.1Hz 고역통과 필터 및 잡음제거 회로로 구성되며, 연속 심박출량 모니터링 및 연산을 위한 디지탈 부분은 TMS32030C를 이용한 회로로 구성이 된다. 또한 기존의 방법에서의 문제점을 개선하기 위해 연속 심박출량 연산을 위한 새로운 알고리듬을 제안하였다. 제안된 방법은 앙상블 평균시에 기존의 심전도 R피이크 점을 기준으로 하지 않고, 임피던스 신호의 dZ/dt 최대점을 이용하는 방법을 적용하였다. 제안한 심박출량 신호처리 알고리듬을 이용하여 측정된 임피던스 신호를 분석한 결과 최대 25.5 %까지 개선됨을 확인하였다.

• Journal of KIISE:Software and Applications
• /
• v.26 no.2
• /
• pp.306-320
• /
• 1999

본 논문에서는 공간 객체에 대한 다양한 사용자 관점을 제공하기 위하여 객체지향 뷰를 확장한 공간 뷰를 설계 구현한다. 공간 뷰의 기하데이타 차원은 소스 객체의 기하데이타 차원과 다를 수 있으므로 공간 뷰 객체의 기하데이타 표현과 공간연산자가 명시적으로 정의되어야 한다. 그리고 공간 뷰는 대용량의 공간 객체로부터 복잡한 공간 연산에 의해 우도되므로 성능 향상을 위한 실체화 방법이 필요하다. 공간 뷰의 구현 방법은 비-실체화와 실체화 방법이 있다. 그리고 실체화는 값 복사에 의한 실체화와 객체식별자 유지에 의한 실체와 방법으로 나눌 수 있다. 본 논문에서는 비-실체화와 값 복사에 의한 값 복사에 의한 실체화 방법을 구현하고 각각의 질의 처리 방법을 설계 구현한다. 그리고 각 구현 방법의 질의 수행시간을 중점적으로 비교하여 본 논문에서 사용한 공간 뷰의 구현방법을 검증한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.629-631
• /
• 2003

대부분의 상용 CIS 소프트웨어에서는 시공간분석 결과를 2 차원상에 가시화 하거나 해당 분석결과를 단순히 출력해 주는 형태이다. 3차원상의 질의 볼륨에 대한 3차원 공간분석 또한 이론 및 실험적으로 많은 연구가 이루어져 왔으나, 3 차원상의 공간분석 결과 가시화 기능을 통합한 시스템은 아직까지 미흡한 실정이다. 본 논문에서는 3 차원상의 공간연산 및 3 차원에 시간속성을 부가한 4 차원 시공간 연산을 처리할 있는 4 차원 CIS 시스템을 소개한다. 제안된 기법은 2차원 수치지도와 3 차원 부가속성을 가진 데이터베이스를 이용하여 2 차원, 3 차원, 미디어 데이터간의 상호연계 및 통합된 가시화 프레임워크를 제공한다. 또한 가상세계 매핑기법을 이용하여 수작업에 의존한 별도의 이미지 프로세싱 과정 없이도 비디오상의 특정 프레임의 건물에 대한 속성질의 및 2D/3D 간의 상호 연계 기능을 제공할 수 있다.

• Aerospace Engineering and Technology
• /
• v.7 no.1
• /
• pp.61-67
• /
• 2008

To design flight control law of an unmanned aerial vehicle, automated control gain determination program was developed. The procedure for determination of control gain was formulated as the control gains were designed from the optimal solutions of the optimization problem. PSO algorithm, which is one of the evolutionary computation method, and SQP algorithm, which is one of the nonlinear programming method, are used as optimization problem solver. Thru this technique, computation time required for finding the optimal solution is decreased to 1/5 of that of PSO algorithm and more accurate optimal solution is obtained.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.05a
• /
• pp.71-72
• /
• 2013

최근 연구 개발되고 있는 스토리지 클래스 메모리는 정체되어 있는 스토리지와 DRAM 산업에 큰 변화를 가져올 것으로 예상된다. 현재 컴퓨팅 환경에서 스토리지의 성능 저하요소가 큰 이슈로 야기되어지는 가운데 본 논문에서는 TPC-C 벤치마크를 이용하여 임의 쓰기와 덮어 쓰기 연산 시 발생되는 문제점들을 분석한다. 실험 결과를 통해 향후 스토리지 클래스 메모리를 활용하여 기존 쓰기 연산 시 발행 하는 문제점들을 해결할 수 있는 방안에 대해 논의 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.11a
• /
• pp.44-45
• /
• 2013

전 세계의 스마트폰 보급률이 증가와 함께 새로운 형태의 스마트 워치, 구글 글래스 등의 모바일 장비들이 등장하고 있다. 이는 제한된 자원을 사용하는 스마트폰 환경에서 효율적으로 CPU, 메모리, 저장 장치들을 효과적으로 사용하기 위한 연구를 필요로 한다. 이에 본 논문에서는 안드로이드 환경에서 부족 메모리의 공간 확보를 위해 동일한 내용의 페이지 캐시를 찾고, 중복 제거하는 기법을 제안한다. 이는 부족한 메모리 공간 확보와 캐시를 지속하여 I/O 연산의 빈도를 줄여 스마트폰 성능 향상을 가져올 것으로 기대된다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.11a
• /
• pp.611-612
• /
• 2009

무선을 이용한 RFID 시스템의 메시지 전송은 보안에 취약하다. 그 중 서비스 거부 공격은 백-앤드 서버, 리더 또는 태그에게 많은 연산량으로 비동기화를 일으키는 것을 말한다. 특히, 서버에서 ID를 검색하는데 많은 시간 및 연산량으로 인한 문제점들이 있다. 이를 해결하고자 인증된 개체와의 메시지를 서버에 전달한 후 ID를 검색하도록 하여 서버에 대한 부하를 최소화 한다. 또한 인증에 사용되는 값은 일회용 난수를 키와 메시지로 활용하여 보안에 안전한 프로토콜을 제안한다.

• Annual Conference on Human and Language Technology
• /
• 2021.10a
• /
• pp.592-596
• /
• 2021

레코드 연결의 대표적인 문제 중 하나는 레코드 간 비교 비용이 크다는 것이다. 이러한 문제를 해결하기 위해서는 레코드 연결에 필수적으로 블로킹 단계가 포함되어야 한다. 블로킹이란 같은 레코드일 가능성이 높은 대상들을 그룹화하여 비교연산을 수행할 대상을 선정하는 단계를 말한다. 블로킹의 목적은 최대한 결과의 recall을 희생시키지 않으면서 비교 연산 횟수 최소화하는 것이다. 메타 블로킹은 가중치 그래프를 블로킹에 적용함으로써 전통적인 블로킹 방식의 한계를 극복하고 더 좋은 성능을 나타내는 모델이다. 본 논문에서는 메타블로킹에서 주목하지 않았던 블록 생성방식을 데이터베이스 속성에 따라 블록을 생성하는 방식으로 개선하고 그에 맞는 가중치 계산식을 제안하였다. 또한 키 기반 블로킹, 메타블로킹, 속성인지 메타블로킹으로 생성된 블로킹 결과에 대한 성능을 측정 및 비교하였다.

• Resources Recycling
• /
• v.9 no.4
• /
• pp.50-55
• /
• 2000

Recycling technology of aluminum foil scraps into aluminum flake powder by ball milling in dry or wet conditions was studied. Aluminum foil were laminated each other, elongated through microforging by the falling balls, fragmented into small foils and then changed into flake powder during ball milling. It is also possible to recycle foil scraps with thickness less than $60\mu\textrm{m}$ into aluminum paste by wet ball milling. As initial foil thickness decreases, foil is easily milled to flake powder by wet milling in mineral spirits. the appearance and the opaque character of glass painted with aluminum paste obtained by wet milling of foils are similar to those of aluminum paste made by ball milling of gas atomized powder.