• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.231-233
• /
• 1999

시공간 상에서 움직이는 물체의 이동경로는 일반적으로 MBR이 매우 크므로, R-tree 계열의 다차원 인덱싱 기법을 적용할 때 질의시 겹침 영역이 많이 발생하는 문제점이 있다. 본 논문에서는 이러한 문제점을 해결하기 위해 time slice에 따라 이동경로의 MBR을 나누어 별도의 인덱스에 저장하는 기법을 제안한다. 이 기법을 적용하면 MBR의 평균 크기가 줄어들어 인덱스 페이지 및 데이터 페이지 접근횟수를 감소시킬 수 있을 뿐만 아니라, 시간이 지나 질의가 매우 드물게 수행되는 데이터에 대한 엔트리를 삭제하여 검색 범위를 줄이는 것이 용이하다. 또한 본 논문에서는 질의 성능을 최적화하기 위해서 time slice를 어떻게 설계해야 하는지에 대해서도 논의한다.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.31 no.4
• /
• pp.259-267
• /
• 2013

GIS-based web map service is all the more accessible to the public. Among others, location query services are most frequently utilized, which are currently restricted to only one keyword search. Although there increases the demand for the service for querying multiple keywords corresponding to sequential activities(banking, having lunch, watching movie, and other activities) in various locations POI, such service is yet to be provided. The objective of the paper is to develop the k-IPS algorithm for quickly and accurately querying multiple POIs that internet users input and locating the search outcomes on a web map. The algorithm is developed by utilizing hierarchical tree structure of $R^*$-tree indexing technique to produce overlapped geometric regions. By using recursive $R^*$-tree index based spatial join process, the performance of the current spatial join operation was improved. The performance of the algorithm is tested by applying 2, 3, and 4 multiple POIs for spatial query selected from 159 keyword set. About 90% of the test outcomes are produced within 0.1 second. The algorithm proposed in this paper is expected to be utilized for providing a variety of location-based query services, of which demand increases to conveniently support for citizens' daily activities.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.50 no.11
• /
• pp.801-807
• /
• 2022

In this paper, we propose an ultra compact S-Band PCM/FM telemetry transmitter. The equipment is compact, so it can be applied to a limited space and capable of stable data transmission was designed and manufactured even with specifications set differently for each operating environment and system. RF direct conversion structure is used for the miniaturization of equipment, an RF transmission board, Power distribution board, and a signal processing board were implemented on a single PCB, so that the function of the transmitter could be performed with a minimum device. According to the target specification, variable output of 1~10W and variable data rate of 390kbps~12.5Mbps is possible in S-Band(2,200~2,400MHz) without degradation of performance. To verify the performance of the equipment, the RF performance test and BER measurement test were performed after the equipment was manufactured. It was confirmed that the OBW, null-to-null bandwidth, 1st IMD, Spurious emission, Phase noise specification of the PCM/FM modulated signal which is presented by the IRIG standard were satisfied, and we can confirm the data received using the transmitter inspection equipment were transmitted normally without distortion.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.23 no.4
• /
• pp.157-164
• /
• 2023

This paper suggests O(n²) polynomial time heuristic algorithm for corporate tax structure optimization problem that has been classified as NP-complete problem. The proposed algorithm constructs tax tree levels that the target holding company is located at root node of Level 1, and the tax code categories(T_e) 1,4,3,2 are located in each level 2,3,4,5 sequentially. To find the maximum tax-relief path from source(S) to target(T), firstly we connect the minimum witholding tax rate _minr_w(u, v) arc of node u point of view for transfer the profit from u to v node. As a result we construct the spanning tree from all of the source nodes to a target node, and find the initial feasible solution. Nextly, we find the alternate path with minimum foreign tax rate _minr_fi(u, v) of v point of view. Finally we choose the minimum tax-relief path from of this two paths. The proposed heuristic algorithm performs better optimal results than linear programming and Tabu search method that is a kind of metaheuristic method.

• Journal of KIISE:Software and Applications
• /
• v.28 no.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

• Journal of Digital Contents Society
• /
• v.18 no.6
• /
• pp.1151-1156
• /
• 2017

It is common to achieve lower performance in traversing tree data structures in GPU than one expects. In this paper, we analyze the reason of lower-than-expected performance in GPU tree traversal and present that the warp divergences is caused by the branch instructions ("if${\ldots}$ else") which appear commonly in tree traversal CUDA codes. Also, we compare the parallel shifted sort algorithm which can reduce the number of warp divergences with a kd-tree CUDA implementation to show that the shifted sort algorithm can work faster than the kd-tree CUDA implementation thanks to less warp divergences. As the analysis result, the shifted sort algorithm worked about 16-fold faster than the kd-tree CUDA implementation for $2^{23}$ query points and $2^{23}$ data points in $R^3$ space. The performance gaps tend to increase in proportion to the number of query points and data points.

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.12
• /
• pp.209-217
• /
• 2022

Naval CMS(Combat Management System) is linked to various sensors and weapon equipment and use DDS(Data Distribution Service) for efficient data communication between ICU(Interface Control Unit) Node and IPN(Information Processing Node). In order to use DDS, software in the system communicates in an PUB/SUB(Publication/Subscribe) based on DDS topic. If the DDS messages structure in this PUB/SUB method does not match, problems such as incorrect command processing and wrong information delivery occur in sending and receiving application software. To improve this, this paper proposes a DDS message structure integrity verification method. To improve this, this paper proposes a DDS message structure integrity verification method using a hash tree. To verify the applicability of the proposed method to Naval CMS, the message integrity verification rate of the proposed method was measured, and the integrity verification method was applied to CMS and the initialization time of the existing combat management system was compared and the hash tree generation time of the message structures was measured to understand the effect on the operation and development process of CMS. Through this test, It was confirmed that the message structure verification method for system stability proposed in this paper can be applied to the Naval CMS.

• Korean Journal of Materials Research
• /
• v.24 no.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.

• Journal of the Korean Chemical Society
• /
• v.33 no.5
• /
• pp.545-550
• /
• 1989

When (3R,4R)-1-(1-benzyloxycarbonyl-2-methyl-1-propenyl)-4-mercapto-3-phenylacetamidoazetidin-2-one(8) was reacted with carbon disulfide and alkyl halides in the presence of triethylamine, the ${\beta}$-lactam ring was cleaved to give (Z)-and (E)-1-alkylthio-5-benzyloxycarbonyl-6-methyl-2-phenylacetamido-4-aza-1,5-heptadien-3-one (13-16) or 2-benzyl-4-(3-benzyloxycarbonyl-4-methyl-1-oxo-2-aza-3-pentenyl)thiazole(17).

• Proceedings of the KSME Conference
• /
• 2001.06b
• /
• 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.