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

본 논문에서는 Edge-Labeled Graph에 기반하여 XML 인스턴스들을 관계형 데이터베이스(RDB)로 저장하는 모델을 제안하고 구현한다. 저장되는 XML 인스턴스들은 Edge-Libeled Graph에 기반 한 Data Graph로 표현되고 이를 이용하여 데이터 경로(Data Path), 요소(Element), 속성(Attribute), 테이블 인덱스(Table Index) 테이블에 정의된 값들이 추출된 후 Napper를 이용하여 데이터베이스 스키마를 정의하고 추출된 값들을 저장한다. 그리고, RDB 저장 모델은 질의를 지원하기 위해, XPATH를 따르는 질의 언어로 사용되는 XQL을 SQL로 변환하는 변환기를 제공하며, 또한 저장된 XML 인스턴스를 복원하는 DBtoXML 처리기를 갖도록 하였다. 구현 결과, XML 인스턴스들과 RDB 구조로의 저장 관계가 그래프(Graph) 기반의 경로(Path)를 이용한 표현으로 가능했으며, 동시에, 특정 요소 (Element) 또는 속성(Attribute)들의 정보들을 쉽게 검색할 수 있는 가능성을 보였다.

• The KIPS Transactions:PartD
• /
• v.13D no.6 s.109
• /
• pp.807-814
• /
• 2006

Along with the enlargement of application scope, the growth of requirements complexity, and the fast development of product for embedded system, lots of industries developing embedded software try to evolve their traditional development environment into the new paradigm such as product line engineering approach. In order to sufficiently support the evolution, software architecture is essentially required to develop the embedded software. In this paper, we propose a tool, named TToSA which translates the conventional software models to software architecture models. Our TToSA is developed with the critical implication about that an industry can approach toward the new development paradigm without the big change of the existing software development method.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.20 no.4
• /
• pp.390-395
• /
• 2009

Design and optimization of a broadband meander-line twist reflector was performed for X-band application. Based on the equivalent transmission line model, the polarization twist performance was evaluated. Genetic analysis, particles swarm, and hybrid swarm optimizations were employed to obtain the optimized geometrical parameters. The optimized design exhibits low cross-polarization level below - 25 dB between 8.45 and 11.38 GHz. The polarization twist loss was below 0.2 dB. Comparison between computed and simulated results was also discussed.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.10b
• /
• pp.1119-1122
• /
• 2001

XML 데이터의 스타일 편집기 시스템을 이용한 문서의 변환 방법을 소개한다. 스타일 편집을 위한 XSL 정보는 XML 데이터에서 스타일을 적용할 부분을 선택하고 적용할 스타일을 기술하는데, 적용 결과는 원본 XML 문서에서 일부를 추출하는 효과가 된다. 본 논문에서는 이 때 추출되는 XML 문서의 부분을 새로운 문서로 생성하는 XSLT 의 자동 생성 알고리즘을 제안하였다. 이 때 생성된 XSLT 코드에 의해 XML 문서를 변환한 결과가 다음과 같은 성질을 만족함을 보였다. 1) 변환된 결과 문서에 편집의 결과인 XSL 스타일을 그대로 적용할 수 있으며, 2) 결과 문서가 최소한의 노드만을 가진다. 일반적으로 스타일을 적용할 때 원본 XML 문서는 불필요하거나 공개될 수 없는 많은 정보를 포함하고 있다. 본 논문에서 제시된 모델을 실제 문서 전송 시스템에 적용하면 스타일 편집의 결과로 XML 의 필요한 부분만을 추출하는 XSLT 코드와 그 추출 문서에 적용 가능한 XSL 스타일 정보를 생성함으로써 효율적인 전송과 데이터 보호의 목적을 동시에 만족시킬 수 있다.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.13 no.5
• /
• pp.841-851
• /
• 2010

We examine interoperability for integrated training simulation of a mechanized infantry battalion that uses a war game model of Korean army, Combat 21, and virtual simulators of K1 tanks. We discuss issues and problems for integrated simulation of the virtual and constructive models, including differences between the model scopes, model resolutions, engagement algorithms, and data consistency and training audiences of the war game model and virtual simulators. From these, we identify interoperability requirements. We propose ways of resolving the problems using a model converter.

• Journal of the Korean Institute of Telematics and Electronics C
• /
• v.35C no.6
• /
• pp.39-47
• /
• 1998

A fourth-order $\Sigma$-$\Delta$ modulator is designed and implemented in 0.6 $\mu\textrm{m}$ CMOS technology. The modulator is verified by introducing nonlinear factors such as DC gain and slew rate in system model that determines the transfer function in S-domain and in time-domain. Dynamic range is more than 110 dB and the peak SM is 102.6 dB at a clock rate of 2.8224 MHz for voiceband signal. The structure of a ∑-$\Delta$ modulator is a modified fourth-order ∑-$\Delta$ modulator using direct feedback loop method, which improves performance and consumes less power. The transmission zero for noise is located in the first-second integrator loop, which reduces entire size of capacitors, reduces the active area of the chip, improves the performance, and reduces power dissipation. The system is stable because the output variation with respect to unit time is small compared with that of the third integrator. It is easy to implement because the size of the capacitor in the first integrator, and the size of the third integrator is small because we use the noise reduction technique. This paper represents a new design method by modeling that conceptually decides transfer function in S-domain and in Z-domain, determines the cutoff frequency of signal, maximizes signal power in each integrator, and decides optimal transmission-zero frequency for noise. The active area of the prototype chip is 5.25$\textrm{mm}^2$, and it dissipates 10 mW of power from a 5V supply.

• Journal of KIISE:Software and Applications
• /
• v.35 no.11
• /
• pp.661-670
• /
• 2008

In some applications of software engineering such as the verification of software model or embedded program, SAT solver is used. To practical use a SAT solver, a problem is encoded to a CNF formula, but because the formula has lower expressiveness than software models or source codes, optimal CNF encoding is required. In this paper, we propose optimal encoding techniques for the problem of "Selecting adjacent $k{\leq}n$ among n objects," Through experimental results we show the proposed constraint is efficient and correct to solve Japanese puzzle. As we know, this paper is the first study about CNF encoding for adjacency in BCC.

• Proceedings of the Optical Society of Korea Conference
• /
• 2000.08a
• /
• pp.24-25
• /
• 2000

파장변환 소자는 최근에 급격히 발전하는 광네트웍을 구축하기 위하여 필수적인 소자로서 여러 가지 형태에 대한 연구개발이 진행되고 있다. 그중에서도, 최근에는 반도체 광증폭기로 형성된 방향성 결합기구조(semiconductor optical amplifier directional coupler)에서의 상호 이득 포화(XPM : cross-phase modulation)에 의한 파장변환에 대한 개념이 제안되고 가능성이 실험적으로 입증된 바 있다. 이런 구조의 파장변환 소자는 입력 광신호의 파워가 작을때는 위상 정합이 되어 반도체 광증폭기의 광모드가 완전히 결합되어 cross state로 변환된 파장의 광파워가 많이 출력되고, 신호 입력 파워가 증가함에 따라 결합이 감소하게 되어 Cross state에서의 출력 파워는 감소하게 된다. 이와 같은 소자는 입력 신호광과 변환된 신호광이 역방향으로 진행하는 경우 광필터가 필요없이 파장변환이 가능하고, 변환 후의 소광비가 향상되기 때문에 향후 다양한 형태로 응용될 가능성이 있으며, 적정 설계 및 성능 예측을 위해서는 시영역에서 모델링할 수 있는 방법론을 구축하는 것이 필요하다. 본 논문에서는 연산자 분리 방법$^{(1)}$ 을 적용하여 상술한 파장변환기를 해석하기에 적당하도록 시영역 동적 모델을 구현하고, 파장변환 특성을 여러 가지 면에서 분석하여 보았다. (중략)

• Journal of Korean Society of Transportation
• /
• v.16 no.4
• /
• pp.139-152
• /
• 1998

본 연구에서는 3차원그래픽스를 이용하여 영상검지기에서의 교통정보를 얻기 위한 검지영역 설정시 안정된 검지영역을 찾기 위한 시뮬레이터를 개발하였다. 기존의 영상검지기에서는 사용자가 임의로 검지영역을 설정하여 교통정보를 수집함으로 인하여 안정된 교통정보를 얻기가 어려웠으며, 영상카메라의 설치시 과다한 설치규격의 설정으로 비효율적 측면이 발생될 수 있다. 이러한 단점을 보완하기 위해서는 영상검지기를 현장에 설치하기 전에 영상검지기 설치를 위한 사전 모의실험을 토대로 최적의 안정된 설치위치 결정이 매우 중요하다. 본 연구에서 개발한 모의 실험기는 도로의 기하구조와 차량을 모델화 하고 이를 3차원으로 좌표화하여 좌표변환식과 원근변환식을 이용하여 3차원좌표를 2차원으로 변환시키고 컴퓨터 모니터에 투영하여 대상 설치위치에서의 결과를 가시화하였다. 본 연구는 개발된 모의실험기의 적용성 검토를 위하여 현재 영상검지기를 운영중에 있는 한 접근로를 대상으로 사례연구를 수행하였다. 수행결과 교통량과 통행속도계측시 최적검지영역 설정을 위한 영상검지기의 설치규격은 높이가 각각 7m, 12m이상이며, 수직각은 각각 $30^{\circ}$, $80^{\circ}$인 것으로 나타났다.

• The Proceeding of the Korean Institute of Electromagnetic Engineering and Science
• /
• v.25 no.1
• /
• pp.29-39
• /
• 2014