• 한국컴퓨터정보학회논문지
• /
• 제27권5호
• /
• pp.109-116
• /
• 2022

최근 대규모 소프트웨어 개발하는 데 있어 불명확한 의사소통을 해결하기 위해 가독성이 높은 표준화된 UML(Unified Modeling Language) 모델 중심의 모델 기반 개발 방법이 적용되고 있다. 하지만 소프트웨어 개발자들의 숙련도, 모델 및 모델링 도구의 이해도에 따라 대규모 소프트웨어에 일관성 있는 UML 모델을 적용하기에는 어려움이 발생한다. 이에 본 논문에서는 소프트웨어 개발에 일관성 있는 UML 모델을 적용하기 위한 모델 검증 시스템 개발 방법을 제시한다. 그리고 개발된 모델 검증 시스템을 함정 전투체계 소프트웨어 개발에 일부 적용하여 기능을 입증한다. 모델 검증 시스템은 개발자들이 작성한 모델들을 도메인 특성에 맞게 자동으로 검증할 수 있는 기능을 제공한다. 본 논문에서 제안한 모델 검증 시스템을 사용하면 함정 전투체계 소프트웨어 개발에 좀 더 쉽게 일관성 있는 UML 모델을 적용할 수 있는 장점을 가진다.

• 인터넷정보학회논문지
• /
• 제5권4호
• /
• pp.95-113
• /
• 2004

RUP(Rational Unified Process) 객체 지향적이며 사용사례 및 아키텍처 중심의 반복적인 개발방법론이다. 이전에 수행된 대부분 공공분야의 대규모 소프트웨어 개발은 폭포수형 개발 프로세스를 적용하였으나 최근에는 소프트웨어 개발에 따른 위험을 최소화 하고 품질을 향상하기 위하여 RUP와 같은 반복 개발방법의 적용을 시도하고 있다. 그러나 대규모 복합 체계의 개발 프로세스와 그 일부인 소프트웨어 개발 프로세스로서 RUP를 적용한 국내의 연구 자료는 미흡한 실정이다. 본 논문에서는 RUP를 기반으로 복합 체계의 일부인 소프트웨어를 개발하는 프로세스를 고찰하고자 한다. 이를 위하여 국내 CIS 소프트웨어 개발 사례를 통하여 체계개발 프로세스와 통합된 RUP프로세스를 제시하고 기존의 폭포수형 프로세스 및 RUP와 비교 경가론 한다. 된 논문의 연구결과는 공공기관에서 대규모 복합체계의 소프트웨어를 개발하는 경우에 RUP 기반 프로세스의 조정, 개발관리에 있어서 위헌의 최소화와 최종 제품의 품질향상에 기여한 것으로 믿는다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권11호
• /
• pp.653-660
• /
• 2008

최근에 제시된 서비스 기반 컴퓨팅 패러다임에서의 서비스 기반 소프트웨어 개발을 지원하기 위한 체계적인 프로세스 모델에 대한 요구가 대두되고 있다. 기존에 제시된 Unified Software Development Process, UML Components 등의 방법론은 컴포넌트에 초점을 두고 만들어진 방법으로, 서비스의 정의, 바인딩, BPEL(Business Process Execution Language)을 이용한 서비스의 조합등과 같은 서비스 기반의 개발이 가지고 있는 특징을 반영하지 못하고 있다. 또한 서비스 기반의 개발 방법론으로 제시된 SOUP(Service Oriented Unified Process), SOMA(Service Oriented Modeling and Architecture) 등은 개념적인 절차가 위주로 되어 있지, 구체적인 가이드라인, 산출물 및 접근 방법을 명확히 제시하지 않는다. 그러므로 본 논문에서는 서비스 기반의 개발 패러다임을 지원하기 위한 체계화되고, 간소화된 프로세스 모델을 제시한다. 또한 OMG에서 제시한 SPEM(Software Process Engineering MetaModel)을 적용하여 프로세스 모델을 명시적으로 표현한다. 본 논문에서 제안된 프로세스 모델을 실제 서비스 기반의 개발에 적용함으로써 서비스 기반 소프트웨어 개발의 체계성 및 효율성을 증대시킬 수 있게 된다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권7호
• /
• pp.742-758
• /
• 2000

국내의 각 지방자치 단체들은 그들의 업무를 전산화하기 위해 현재 다양한 UIS(Urban Information System)들을 개발하고 있다. 그러나, 그들은 기존에 개발된 다른 지방자치 단체들의 UIS들을 재사용하지 않고 있어 그들의 UIS 개발에 너무 많은 비용을 사용하고 있다. 이것은 중앙정부가 중복적인 투자를 하게하는 원인이 된다. 몇몇 지방 자치단체의 업무는 다른 지방자치 단체들의 업무와 매우 유사하다. 이 논문은 그 중복투자 문제에 대한 해결책을 제안한다. 그 문제 해결을 위해 지방자치 단체들이 Unified Modeling Language과 컴퍼넌트 기반 개발 프로세스를 이용하여 한 도시의 업무를 모델링할 것을 제시한다. 그들은 또한 기존의 모델로부터 UIS를 개발할 수 있고 다른 지방자치 단체들이 그 개발된 UIS를 재사용할 수 있다. 이 연구에서는 한 예로 P시의 상수도 업무를 사용하며 컴포넌트 기반 개발 프로세스로 Rational Unified Process를 이용한다. 본 논문은 상수도 업무에 대한 컴포넌트 기반 개발 프로세스의 적용과 재사용 가능한 업무모델/분석모델/설계모델의 구축 및 ActiveX 컨트롤 형태의 소프트웨어 컴포넌트 개발 방법을 기술한다.

• 한국전자거래학회지
• /
• 제8권4호
• /
• pp.239-252
• /
• 2003

품질 좋은 소프트웨어란 성능이 뛰어나고 가격 이 저렴한 소프트웨어를 일컫는 말이다. 또한, 시장 요구에 부응하는 서비스를 지원하면서도 오류가 적고 유지보수하기 쉬운 구조를 가져야 한다. 이 모든 것을 충족하는 소프트웨어를 개발하기 위한 방법으로 최근 CBD (Component Based Development)가 각광 받고 있다. CBD (Component Based Development) 확산과 더불어 컴포넌트 구성, 기능, 호환성, 신뢰성을 위한 컴포넌트 테스트를 수행하고 있으나 이것만으로는 CBD (Component Based Development) 기반 소프트웨어 품질을 보장할 수 엄다. 높은 신뢰성, 유지보수성, 재활용 성을 가지는 단위 컴포넌트라도 조립, 통합 후에는 의도한 요구사항을 만족시키지 못하고 문제를 일으킬 수도 있으므로 이에 대한 통합 테스트 기법이 필요하다. 본 논문은 UML (Unified Modeling Language)기반 소프트웨어 개발에 컴포넌트 통합 테스트를 위한 것이고, 테스트 기법은 UML (Unified Modeling Language)의 순차다이어그램과 협력다이어그램을 참조하여 컴포넌트 사이 인터페이스에 존재하는 결점을 추출하는 테스트기법이다.

• 콘크리트학회지
• /
• 제9권2호
• /
• pp.133-144
• /
• 1997

2차원 응력상태의 철근콘크리트 부재해석을 위하여 소성이론과 파괴모델의 통합방법을 연구하였다. 콘크리트의 대별되는 두 가지 거동특성인 다차원 압축상태의 강도증가와 인장균열파괴를 동시에 나타내기 위하여, 압축파괴와 인장균열의 다중파괴기준을 사용하는 소성이론을 근간으로 여러 실험결과를 반영하는 파괴모델을 적용한다. 압축파괴기준으로서 Drucker-Prager모델과 von Mises 모델을 비교 사용하며 인장균열거동에 대하여 회전균열소성모델과 고정균열소성모델을 비교한다. 이러한 압축파괴기준과 이장균열파괴기준의 설정에는 다차원 압축상태의 강도증가, 균열로 인한 인장과 압축응력도의 저하, 보강철근의 영향등을 나타내는 실험식과 파괴에너지개념을 사용한다. 이 재료모델을 비선형유한요소해석에 사용하여 기존의 실험결과와 비교한다. 재료모델의 압축파괴와 인장균열거동을 검증하기 우하여 콘크리트의 압축파괴 또는 철근의 인장항복에 의하여 거동이 대별되는 실험들과 비교한다.

• JSTS:Journal of Semiconductor Technology and Science
• /
• 제11권4호
• /
• pp.262-271
• /
• 2011

In this work, we present a unified analytical surface potential model, valid for both PD and FD SOI MOSFETs. Our model is based on a simplified one dimensional and purely analytical approach, and builds upon an existing model, proposed by Yu et al. [4], which is one of the most recent compact analytical surface potential models for SOI MOSFETs available in the literature, to improve its accuracy and remove its inconsistencies, thereby adding to its robustness. The model given by Yu et al. [4] fails entirely in modeling the variation of the front surface potential with respect to the changes in the substrate voltage, which has been corrected in our modified model. Also, [4] produces self-inconsistent results due to misinterpretation of the operating mode of an SOI device. The source of this error has been traced in our work and a criterion has been postulated so as to avoid any such error in future. Additionally, a completely new expression relating the front and back surface potentials of an FD SOI film has been proposed in our model, which unlike other models in the literature, takes into account for the first time in analytical one dimensional modeling of SOI MOSFETs, the contribution of the increasing inversion charge concentration in the silicon film, with increasing gate voltage, in the strong inversion region. With this refinement, the maximum percent error of our model in the prediction of the back surface potential of the SOI film amounts to only 3.8% as compared to an error of about 10% produced by the model of Yu et al. [4], both with respect to MEDICI simulation results.

• 한국전자파학회논문지
• /
• 제12권4호
• /
• pp.551-561
• /
• 2001

본 연구에서는 GEC-Marconi 사의 H40 GaAs pHEMT 소자에 대해서 새롭게 수정한 Curtice 모델을 사용하여 대신호 통합모델을 구축하였다. 통합모델에는 DC 특성과 biss에 따른 소신호 및 잡음 특성이 모두 포함되어 있으며, 특히 수정되 Curtice 모델을 사용함으로써 gate-source 간의 전압이 증가함에 따라 나타나는 pHEMT 의 transconductance(이하 $g_{m}$) 특성을 매우 간단하면서도 물리적으로 설명할 수 있게 하였다. 또한 통합모델 내부에는 RF-choke를 사용함으로써 $g_{m}$, $R_{ds}$ 성분의 DC 상태와 AC 상태에서의 차이를 설명하게 하였다. 통합모델을 HP사의 simulation tool 인 MDS(Microwave Design System)의 SDD(Symbolically Defined Device)를 이용하여 구현한 후, 실제의 data와 비교한 결과 DC, small signal, 그리고 noise 에 대한 특성에 H40 pHEMT 와 대부분 일치함을 보았으며, 선형과 다양한 harmonic balance simulation 의 수렴성 및 정확성을 확인함으로써 본 모델을 이용한 경우 저잡음 증폭기, 발진기, 그리고 혼합기 등의 여러 부품설계를 할 수 있음을 보였다.

• Structural Engineering and Mechanics
• /
• 제2권1호
• /
• pp.1-16
• /
• 1994

A unified theory has recently been developed for reinforced concrete structures (Hsu 1993), subjected to the four basic actions - bending, axial load, shear and torsion. The theory has five components, namely, the struts-and-ties model, the equilibrium (or plasticity) truss model, the Bernoulli compatibility truss model, the Mohr compatibility truss model and the softened truss model. Because the last three models can satisfy the stress equilibrium, the strain compatibility and the constitutive laws of materials, they can predict not only the strength, but also the load-deformation history of a member. In this paper the five models are summarized to illustrate their intrinsic consistency.

• 제어로봇시스템학회논문지
• /
• 제13권6호
• /
• pp.531-536
• /
• 2007

This paper presents a power quality assessment model based on the Analytic hierarchy process. This model can assess unified power quality index which provide an overall performance of the distribution system. To obtain the unified power quality index, we propose the use of the AHP model which has three states: [Ideal]-[Actual]-[Worst]. The proposed method is especially useful and effective for planning. We have applied the proposed method to an actual relatively large system, and verified the usefulness.