• Journal of KIISE:Software and Applications
• /
• v.31 no.11
• /
• pp.1505-1518
• /
• 2004

We propose an extremely light DDXMI approach for semi-automated integration of both structurally and semantically heterogeneous distributed XML documents. In the proposed prototype, a DDXMI(Distributed Documents XML Metadata Interface) is defined and a user interface generator is developed. The prototype takes sources' DTDs as inputs and generates a friendly graphical user interface for the application users. The user can easily describe the semantic mapping between the integrated virtual database DTD and sources' DTDs through assigning index numbers and specifying associated function names so that the DDXMI based on the mappings is automatically generated. Quilt is selected as the XML query language which processes user queries according to the DDXMI. It is assumed that the application users know what they want from the different sources, that is, they have their own integrated database schema in their mind, and know the semantics of the involved XML databases. A small-size global DTD and a mid-size global DTB are generated to verify the rluery generation and retrieval results with 3 XML document databases, that is, Master/ph.D thesis, research reports, and journal databases. The system has been developed with JavaCC and Java Servelet.

• Journal of KIISE:Software and Applications
• /
• v.27 no.3
• /
• pp.266-274
• /
• 2000

Medical image segmentation, which is essential in diagnosis and 3D reconstruction, is performed manually in most applications to produce accurate results. However, manual segmentation requires lots of time to segment, and is difficult even for the same operator to reproduce the same segmentation results for a region. To overcome such limitations, we propose a convenient and accurate semiautomatic segmentation method. The proposed method initially receives several control points of an ROI(Region of Interest Region) from a human operator, and then finds a boundary composed of a minimum cost path connecting the control points, which is the Live-wire method. Next, the boundary is modified to overcome limitations of the Live-wire, such as a zig-zag boundary and erosion of an ROI. Finally, the region is segmented by SRG(Seeded Region Growing), where the modified boundary acts as a blockage to prevent leakage. The proposed User-steered balloon method can overcome not only the limitations of the Live-wire but also the leakage problem of the SRG. Segmentation results of thigh muscles of the Visible Human are presented.

• Journal of KIISE:Software and Applications
• /
• v.27 no.3
• /
• pp.210-216
• /
• 2000

Place/Transition(P/T) nets has been used in protocol verification and concurrent system verification since it is suitable for describing concurrency and provides several well-established verification techniques. And it has been used as a base formalism for such high-level Petri nets as colored Petri nets, object-oriented Petri nets and etc. However, when analyzing complex models using P/T nets and P/T nets-based high-level Petri nets, there may be state explosion in reachability analysis due to improper handling of concurrency. In this paper, we define a structural concurrency in P/T nets, propose a partitioning algorithm based on the detected structural concurrency, and provide analysis techniques for such properties as boundedness of places and liveness of transitions, which are performed on compositional reachability graphs. The analysis techniques based on Petri net slices can be used in efficiently analyzing P/T nets-based high-level Petri net models as well as P/T net models.

• Korean Journal of Remote Sensing
• /
• v.30 no.1
• /
• pp.75-81
• /
• 2014

Until recently, photogrammetric applications for processing the satellite images and remotely sensed data have been used in different structure of functions and interfaces for sensor modeling by each developer. Thus, a standardized utilization procedure was necessary to solve the problems, such as expandability, cost, inefficiency of sources which were resulted from different approaches. Therefore, National Geospatial Intelligence Agency (NGA) provided unified interfaces by developing Community Sensor Model (CSM) to sensor models in same way. In this study, we suggested the method of design and analyzed main functions needed modeling for the frame sensor using CSM Application Program Interface (API) provided by NGA. We also applied the designed structure to the modeling. The implemented CSM was verified by groundToImage and imageToGround. In the future, the active R&D is expected with using CSM due to the cost saving effect of software development and remarkable expandability of sensor.

• Journal of the Korean Institute of Gas
• /
• v.21 no.5
• /
• pp.89-94
• /
• 2017

The VR(Virtuality Reality) technology provides very close experience to reality by stimulating humans' external recognition with artificial technologies. In order to overcome the limitation of real-environment training, VR is being applied in industry field as a key technology to prevent safety accident and its control procedure training. However, it is difficult to build VR-based training system because 3D modeling and software coding are necessary for materialization of VR environment demands of many development resource. In this research referring to VR based training content implementation, a method to utilizing VRDC(VR-based Dynamic visualization Component) is suggested and by applying it to plant safety training system, it was confirmed its practicality.

• Journal of the KSME
• /
• v.44 no.2
• /
• pp.23-25
• /
• 2004

이 글에서는 CFD의 효율적인 적용 및 사용을 통하여 제품의 설계와 생산 공정의 최적화가 어떻게 구현될 수 있으며 CFD를 이용한 최적화 과정 에서 걸림돌이 되는 것들로는 어떤 요소들이 있는 지 관하여 다루고자 한다. CFD와 같은 CAE tool 을 이용한 설계 과정의 최적화는 최신의 기술을 장착하고 있는 상업용 CFD 소프트웨어들에 의하여 가능하며 이들 코드들에 관한 특성들도 이 글 에셔 취급하고자 한다. 잘 알려진 바와 같이 제품 의 초기 개념 설계 단계에서부터 계획 및 상세설계에 이르기까지 각 단계에서 최적의 조건을 구하 기 위해서는 주어진 구속조건에서 변수들에 관한 반복적인 시뮬레이션이 수행되어야 한다. 이러한 과정에서 각각의 조건에 관한 시뮬레이션 과정이 시간이 비교적 많이 소요되는 수동적인 방법으로 이루어질 경우 최적화는 불가능하다. 즉 각 설계 변수의 최적화 조건을 구하기 위하여 CAE과정에 서 자동화(automation)은 필수적일 것이다. 전산 유체 역학(computational fluid dynamics)은 지난 30여 년 동안 다양한 유체유통 및 열전달 분야에서 사용되어져 오고 있는 시뮬레이션 기술이 다. 산업분야에서 CFD에 대한 요구가 증대됨에 따라 20여 년 전부터 상업용 CFD 코드가 등장하기 시작하였으며 근래 들어서는 약 80여 종류의 상업용 CFD 코드가 자동차, 전자, 화공, 건설, 조 선, 제강과 같은 여러가지 종류의 산업분야에서 이용되어 오고 있다 하지만 상업용 CFD 코드가 고가인 이유 때문에 비교적 풍부한 예산이 확보된 대기업 및 국책 연구소 중심으로 이에 관한 사용 자 층은 매우 제한적이었다. 아울러 사용상의 난 점 때문에 CFD를 전공한 전문가 집단 위주로 사 용되어 오고 있다. 이런 측면에서 볼 때 설계 분야 에 종사하는 엔지니어들이 CFD를 이용하여 설계를 하는 데는 상당한 괴리감이 존재하게 된다. 전 통적으로 CFD와 같은 해석은 설계에 대한 타당서 검증의 목적으로 설계 사이클에서 맨 마지막에 수행되어져 왔기 때문에 CFD가 설계에 직접적인 도움을 주지 못하고 보조의 역할밖에 하지 못하는 수몽척인 도구로 여겨져 왔다. 이려한 설계 경향 은 CFD가 설계 과정에서 요구하는 시간 내에 시뮬레이션이 불가능하기 때문에 나타난 현상이다 상기에서 언급된 문제점인 시abf레이션의 시간 단 축은 설계 부서 에서 사용되는 CAD 도구와 CFD와 같은 CAE tool을 적절하게 접목함으로써 (integration) 가능할 것이다. 이후에서는 CFD의 시뮬레이션 과정을 자동화하기 위하여 고려되어 야 할 요소들에는 어떤 것들이 있는지에 관하여 알아보고자 한다.

• Journal of Advanced Marine Engineering and Technology
• /
• v.38 no.7
• /
• pp.916-922
• /
• 2014

Diode rectifiers have been widely used for an AC to DC converter. But a big problem is that they include large harmonics components in the input currents. A 12-pulse configuration with phase shifting transformer is useful for reducing them. however, it still includes the ($12{\pm}1$)th (m; integer) harmonics in the input currents. In this paper, we propose a single-phase square wave auxiliary voltage supply which is inserted in the middle DC bus. It reduces harmonics especially the 11th and 13th and the harmonic characteristic becomes almost equivalent to a 24-pulse rectifier. Theoretical analysis of the combined 12-pulse diode rectifier with the auxiliary supply is presented and a control method of the auxiliary supply is proposed. The reduction in the input current harmonics is verified by simulation using software PSIM.

• Journal of the Korean Society of Radiology
• /
• v.13 no.7
• /
• pp.947-953
• /
• 2019

The purpose of this study was to manufacture a wrist brace using a computerized tomography system, clinical design software (MediACE 3D Program), and 3D printer. After acquiring the Dicom file of the upper limb with a computed tomography, the wrist brace was designed using the MediACE 3D Program to create a "stereolithography" file. The designed wrist brace was printed using a 3D printer. To verify the effectiveness of wrist assistive device manufactured by 3D printing technology, the stress distribution of the pressure and orthosis applied to bone and skin is represented by finite element analysis. It is expected that the wrist brace can be manufactured by reinforcing the part where the damage caused by pressure and breakage of the brace frequently occurs with the result of finite element analysis when producing the wrist brace.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.36 no.2
• /
• pp.185-194
• /
• 2008

In this paper, an efficient technique is proposed to integrate the 3D user interface with the tiled display system in PC cluster environment. In the developed 3D user interface software, various menus are provided to increase the user friendliness of the interface, including the several model-control-commands. To eliminate the noise produced from the 3D user interface devices, the box filtering algorithm is employed. Further, a communication splitting algorithm, which is a kind of asynchronous communication method, is proposed to reduce the motion delay between the 3D interface and the tiled display system, and its efficiency is validated through the benchmarking tests.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.35 no.10
• /
• pp.940-947
• /
• 2007

For the performance upgrade of a supersonic jet fighter, the processor and FLCC(Flight Control Computer) Architecture were upgraded from a baseline FLCC. Prior to the hardware implementation phase, the exact CPU throughput estimation is necessary. For this purpose, an experimental method for new FLCC throughput estimation was introduced in this study.　While baseline FLCC operating, the CPU address bus was collected with logic analyzer, and then decoded to get the exact access times to each memory-memory and the number of program Instruction branches. Based on these data, a throughput test in CPU demo-board of the new FLCC configuration was performed. From test results, the CPU-Memory architecture was design-changed before FLCC hardware implementation phase. To check the flight stability degradation due to power-interrupt problem due to CPU-Memory architecture change, the piloted HILS (Hardware-In-the Loop Simulator) test was conducted.