• 한국측량학회지
• /
• 제31권4호
• /
• pp.259-267
• /
• 2013

최근 인터넷의 발달과 더불어 지리정보시스템(GIS, Geographic Information System)에 대한 인식이 저변 확대되면서 일반인들도 위치 검색 기능을 제공하는 웹GIS를 쉽게 이용할 수 있게 되었다. 현재 서비스되고 있는 모든 위치 검색 기능은 사용자가 하나의 검색어를 입력하고 그에 대한 결과를 보여주는 서비스에 한정되어 있다. 하지만 사용자의 검색 목적이 다양해짐에 따라, 여러 가지 행위를 동시에 할 수 있는 장소를 검색하는 서비스는 없었다. 예를들어, 점심을 먹은 후, 은행에서 업무를 보고, 영화 한 편을 보고자 할 때 이러한 관심 지역(POI, Point of Interest)들이 모여 있는 장소를 필요로 할 수 있다. 따라서 본 논문에서는 사용자로부터 여러 장소를 입력받아 입력된 장소가 모여 있는 곳을 검색해주는 k-IPS 기법을 제안하고자 한다. 여기서 k는 다양한 행위를 할 수 있는 관심의 개수이다. 이 방법은 최소경계사각형(MBR, Minimum Bounding Rectangle)의 계층적 트리 구조인 $R^*$-tree 색인 기법을 이용하여 공간을 분할하고, 기존 공간 Join 연산의 성능 개선을 위하여 $R^*$-tree간의 겹치는 영역 추출하는 재귀적 공간 Join 연산을 구현하였다. k-IPS 기법의 성능 평가는 159개의 다양한 검색어 집합을 구성하여 k=2,3,4,6에 대한 검색 결과를 확인하였다. 실험 결과의 약 90%에 대해서 예상한대로 k개의 검색어 장소가 모여 있는 위치를 얻을 수 있었고, k=2,3,4의 처리 시간은 0.1초 이내의 응답을 얻을 수 있었다. k-IPS 서비스를 통하여 현대인의 순차적 생활 패턴에 맞춘 검색 서비스가 가능할 것으로 판단된다.

• 한국항공우주학회지
• /
• 제50권11호
• /
• pp.801-807
• /
• 2022

본 논문에서는 초소형 S-대역 PCM/FM 텔레메트리 송신기를 제안한다. 크기의 소형화로 한정적인 공간에 적용이 가능하며 운용 환경 및 시스템마다 다르게 설정되는 규격에도 안정적인 데이터 송신이 가능한 장비를 설계 및 제작하였다. 장비의 소형화를 위하여 RF 직접변환 구조를 적용하였으며, 최소한의 소자로 송신기의 역할을 수행할 수 있도록 1장의 인쇄회로기판에 RF송신반, 전원분배반, 신호처리반을 구현하였다. 목표한 규격대로 성능의 저하 없이 S-대역(2,200~2,400MHz)에서 1~10W의 출력 가변이 가능하고 390kbps~12.5Mbps의 Data Rate 설정이 가능하도록 설계 및 제작을 진행하였다. 설계 검증을 위하여 장비를 제작한 후 RF 성능 시험 및 비트오류율 측정 시험을 진행하였다. 본 장비는 IRIG (Inter-Range Instrumentation Group) 표준이 제시하는 PCM/FM 변조 신호의 OBW(Occupied Bandwidth), null-to-null 대역폭, 1st IMD(Inter Modulation Distortion), Spurious Emission, Phase Noise 특성이 만족함을 확인하였으며, 송신기 점검 장비를 이용하여 본 장비가 전달받은 Data를 왜곡 없이 정상적으로 송신함을 확인하였다.

• 한국인터넷방송통신학회논문지
• /
• 제23권4호
• /
• pp.157-164
• /
• 2023

본 논문은 NP-완전 문제로 분류된 기업 세금 구조 최적화 문제를 O(n²)의 다항시간으로 구하는 휴리스틱 알고리즘을 제안하였다. 제안된 알고리즘은 목적지(T)인 본사 노드를 레벨 1으로, 세금코드 범주 T_e=1, 4, 3, 2의 노드들을 레벨 2,3,4,5 순서로 배치하였다. 원천(S)-목적지(T)의 최대세금감면 경로를 찾기 위해, 첫 번째로 노드 u에서 v 노드로 송금 시 u 관점에서 부과되는 유출 과세(r_w(u, v))를 최소화시키는 방법으로 _minr_w(u, v)의 호를 연결하였다. 이 결과 모든 S로부터 T까지의 신장트리를 구성하여 초기 실현 가능 해를 구하였다. 다음으로, v 관점에서 자국에 유입되는 이익금에 대한 외국 소득세(r_fi)를 최소화시키는 _minr_fi(u, v)의 대체 경로를 찾아 두 경로 중 최대 세금감면 경로를 선정하였다. 제안된 휴리스틱 알고리즘을 10개의 벤치마킹 데이터에 적용한 결과 선형계획법이나 메타휴리스틱의 일종인 Tabu 탐색 법에 비해 보다 최적의 결과를 얻었다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제28권3호
• /
• pp.211-223
• /
• 2001

본 논문에서 제안하는 시나리오기반 검증기법의 목적은 UML로 작성된 객체지향 분석모델의 완전성 및 일관성을 진단하는 것이다. 검증기법의 전체 절차는 요구분석을 위한 Use Case 모델링 과정에서 생성되는 Use Case 시나리오와 UML 분석모델로부터 역공학적 방법으로 도출된 객체행위 시나리오와의 상호참조과정 및 시나리오 정보트리 추적과정을 이용하여 단계적으로 수행된다. 본 검증절차를 위하여 우선, UML로 작성된 객체지향 분석모델들은 우선 정형명세언어를 사용하여 Use Case 정형명세로 변환하다. 그 다음에, Use Case 정형명세로부터 해당 Use Case 내의 객체의 정적구조를 표현하는 시나리오 정보트리를 구축하고, Use Case 정형명세 내에 포함되어 있는 객체 동적행위 정보인 메시지 순차에 따라 개별 시나리오흐름을 시나리오 정보트리에 표현한다. 마지막으로 시나리오 정보트리 추적과 시나리오 정보 테이블 참조과정을 중심으로 완전성 및 일관성 검증작업을 수행한다. 즉, 검증하고자 하는 해당 Use Case의 시나리오 정보트리를 이용한 시나리오 추적과정을 통해 생성되는 객체행위 시나리오와 요구분석 과정에서 도출되는 Use Case 시나리오와의 일치여부를 조사하여 분석모델과 사용자 요구사양과의 완전성을 검사한다. 그리고, 시나리오 추적과정을 통해 수집되는 시나리오 관련종보들을 가지고 시나리오 정보 테이블을 작성한 후, 분석과정에서 작성된 클래스 관련정보들의 시나리오 포함 여부를 확인하여 분석모델의 일관성을 검사한다. 한편, 본 논문에서 제안하는 검증기법의 효용성을 증명하기 위해 대학의 수강등록시스템 개발을 위해 UML을 이용해 작성된 분석모델을 특정한 사례로써 적용하여 보았다. 프로세싱 오버헤드 및 메모리와 대역폭 요구량 측면에서 MARS 모델보다 유리함을 알 수 있었다.과는 본 논문에서 제안된 프리페칭 기법이 효율적으로 peak bandwidth를 줄일 수 있다는 것을 나타낸다.ore complicate such a prediction. Although these overestimation sources have been attacked in many existing analysis techniques, we cannot find in the literature any description about questions like which one is most important. Thus, in this paper, we quantitatively analyze the impacts of overestimation sources on the accuracy of the worst case timing analysis. Using the results, we can identify dominant overestimation sources that should be analyzed more accurately to get tighter WCET estimations. To make our method independent of any existing analysis techniques, we use simulation based methodology. We have implemented a MIPS R3000 simulator equipped with several switches, each of which determines the accuracy level of the

• 디지털콘텐츠학회 논문지
• /
• 제18권6호
• /
• pp.1151-1156
• /
• 2017

일반적으로 GPU 기반 트리 탐색을 수행할 경우 병렬 처리 속도가 생각보다 크게 향상되지 않는 경우가 대부분이다. 본 논문에서는 이러한 원인을 분석하고 그 분석 결과로 GPU 병렬 처리 하드웨어 아키텍처 내 최소 물리적 스레드 실행 단위인 warp 내에서 분기문(if문)으로 인한 warp divergence가 일어나기 때문임을 제시한다. 또한 이러한 warp divergence를 최소화할 수 있는 병렬 shifted sort 알고리즘과의 비교를 통해 shifted sort 알고리즘이 일반적인 GPU 내 트리 탐색에 비해 우수한 성능을 보이는 구조임을 제시하였다. 분석 결과 GPU 기반 kd-tree 탐색에 비해 warp divergence가 발생하지 않은 shifted sort 탐색은 3차원 공간에서 데이터나 쿼리의 수가 $2^{23}$개 일 때 16배 이상의 빠른 처리 속도를 보였으며 이 성능 차이는 데이터나 쿼리의 개수가 증가함에 따라 더 커지는 경향을 보였다.

• 한국컴퓨터정보학회논문지
• /
• 제27권12호
• /
• pp.209-217
• /
• 2022

함정 전투관리체계는 다양한 센서, 무장 장비들이 연동 노드를 통해 연결되며 체계내 노드간 효율적인 통신을 위해 DDS(Data Distribution Service) 통신을 활용한다. DDS를 사용하기 위해 체계내 응용소프트웨어 사이에는 DDS토픽을 기본으로 하는 PUB/SUB(Publication/Subscribe)방식으로 통신한다. 이 PUB/SUB방식으로 통신하는 DDS 메시지 구조가 일치하지 않으면 송수신 응용소프트웨어에서 잘못된 명령처리 및 정보전달 등 문제가 발생한다. 이를 개선하기 위해 본 논문에서는 해시트리를 활용한 DDS 메시지 구조 무결성 검증 방법을 제안한다. 제안하는 방법의 전투관리체계에 적용가능성을 확인하기 위해, 제안하는 방법의 메시지 구조 무결성 검증률을 측정하고 전투관리체계의 운용과 개발과정에 미치는 영향을 확인하기 위해 전투관리체계 초기화 시간 비교, 메시지 해시트리의 생성시간 측정을 하였다. 이 시험을 통해 본 논문에서 제안하는 체계 안정성을 위한 메시지 구조 검증 방법이 함정 전투관리체계에 적용 가능함을 확인하였다.

• 한국재료학회지
• /
• 제24권11호
• /
• pp.591-598
• /
• 2014

In this research, magnesium powder was prepared by gas atomizing. Refinement behaviors of magnesium powder produced under different conditions were investigated using a mechanical milling (attrition milling) process. Analyses were performed to assess the characterization and comparison of milled powder with different steel ball sizes and milling times. The powders were analyzed by field emission scanning electron microscope, apparent density and powder fluidity. The particle morphology of the Mg powders changed from spherical particles of feed metals to irregular oval particles, then plate type particles, with an increasing milling time. Because of the HCP structure, deformation occurs due to the existence of the easily breakable C-axis perpendicular to the base, which results in producing plate-type powders. An increase in ball size and the impact energy of the magnesium powder maximizes the effect of refinement. Furthermore, it is possible to improve the apparent density and fluidity according to the smoothness of the surface of the initial powder.

• 대한화학회지
• /
• 제33권5호
• /
• pp.545-550
• /
• 1989

트리에틸아민 존재하에서 (3R, 4R)-1-(1-벤질옥시카르보닐-2-메틸-1-메틸-프로펜일)-4-메르캅토-3-페닐아세트아미도아제티딘-2-온(8)에 이황화 탄소화 할로겐화 알킬을 반응시켰을 때 ${\beta}$-락탐 고리가 절단된 (Z)- 및 (E)-1-알킬티오-5-벤질옥시카르보닐-6-메틸-2-페닐아세트아미도-4-아자-1,5-헵타디엔-3-온(13-16) 또는 2-벤질-4-(3-벤질옥시카르보닐-4-메틸-1-옥소-2-아자-3-펜텐일)티아졸(17)이 생성되었다.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2001년도 춘계학술대회논문집B
• /
• pp.228-234
• /
• 2001

NTMS(Non-contact Tilted-angle Measuring System) is developed by using the principle that the magnetic field of an anisotropic magnet's inner space is uniform and it's possible to measure the strength of the magnetic field using a linear hall effect sensor. In order to implement the caliper system of the geometry PIG(Pipeline Inspection Gauge) which has high accuracy and proper output voltage of the hall sensor without additional driving module or a signal amplifier, it is necessary to consider the size of the magnet, the inner space and back-yoke and the position of pin-hole in the magnet. So the optimal design method of the caliper system is proposed through analysis of NTMS's magnetic field adopting a FEM(Finite Element Method). The experimental results show that the developed caliper system can be used for the geometry pig with good performances.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2015년도 제27회 한글 및 한국어 정보처리 학술대회
• /
• pp.174-177
• /
• 2015

자가 지식 학습 프레임워크는 자연어 텍스트에서 지식 트리플을 생성하기 위한 방법 중 하나로, 문장의 의존 관계 트리 상에서 주어 개체와 목적어 개체 사이의 관계를 패턴으로 학습해 이 패턴을 바탕으로 새로운 지식 트리플을 생성한다. 그러나 이 방법은 의존 관계 트리를 생성하는 도구의 성능에 영향을 받을 뿐만 아니라 생성된 지식 트리플을 반복적으로 사용하는 자가 지식 학습의 특성상 오류가 누적될 가능성이 있다. 이러한 문제점을 해결하기 위해서 본 논문에서는 자가 지식 학습 프레임워크에서 생성된 지식 트리플을 TransR 신뢰도 함수를 사용해 신뢰도 값을 측정하여 그 값에 따라 지식 트리플을 필터링하는 방법을 제안한다. 실험 결과에 따르면 필터링 된 지식 트리플들이 그렇지 않은 지식 트리플들에 비하여 더 높은 정확률을 보여주어, 제안한 방법이 자가 지식 학습 프레임워크의 정확률 향상에 효과적임을 증명하였다.