• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2015년도 추계학술대회 논문집
• /
• pp.97-98
• /
• 2015

에너지 저장 시스템(ESS, Energy Storage System)은 태양광(PV)발전, 풍력(WT)발전시스템 등과 같은 신재생 에너지 출력안정화, 계통 전력품질 개선, 수용가 에너지효율화 등의 분야에 이용되고 있다. 에너지 저장 시스템은 전력변환장치와 에너지 저장 장치로 구성되며, 에너지 저장 장치로 배터리를 많이 사용하고 있다. 전력변환장치 및 제어기의 설계 및 검증을 위해서는 배터리를 전력변환장치에 연계하여야 하지만 배터리의 경우 고가에 관리가 어려운 문제로 인해 일반적으로 배터리 모의 장치를 이용한다. 본 논문에서는 대용량 에너지 저장 시스템용 전력변환장치 및 제어기의 설계와 현실적인 검증이 가능한 MW급 PCS 성능검증용 배터리 모의장치를 개발하였다.

• 대한건축학회논문집:계획계
• /
• 제34권3호
• /
• pp.53-60
• /
• 2018

When planning buildings, safety should be considered as a priority over any other performance. The study aims to derive and systematize elements that can be reflected in the design stage, which affects the safety of construction workers and building users. The elements for safety of workers are classified by type of work, and the elements for safety of users are classified by fields. Elements that are difficult to be reflected in design stage or those whose effects are insignificant are excluded. In addition, application scenarios have been proposed for each element so that the elements created in this study can be directly applied and utilized in practice. This will contribute to lowering the accident rate of construction projects by evaluating the harmful risks of construction projects at the design stage.

• 한국멀티미디어학회논문지
• /
• 제8권5호
• /
• pp.715-720
• /
• 2005

소프트웨어 개발과정에서 사용자 요구사항을 정확히 만족하기 위해서는 사용자 관점에서 요구사항을 검증하기 위한 방법이 필요하다. 이것은 사용자의 요구사항이 시스템 개발자에게 적절히 반영되어 사용자가 요구하는 고품질의 소프트웨어 시스템을 더 효과적으로 설계하고 구현할 수 있기 때문이다. 본 논문에서는 시스템 구현 전 단계에서 사용자 요구사항을 효율적으로 검증할 수 있는 RV-UI 모델 시스템을 제안한다. RV-UI 모델 시스템은 상용화된 사용자 인터페이스를 프로세스별 기능 모델로 표준화하여 구성하였고, Kano의 모델을 적용한 인터페이스를 통해 명화한 사용자 요구사항의 검증과 체계적인 요구사항의 형상관리를 가능하도록 설계 하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2008년도 춘계학술발표대회
• /
• pp.324-326
• /
• 2008

컴포넌트 기반 개발(Component Based Development, CBD)은 높은 품질의 소프트웨어를 신속하고 효과적으로 개발할 수 있는 방법으로써 각광 받아 왔다. 하지만 CBD를 이용한 기존의 소프트웨어 개발은 컴포넌트의 행위를 배제하고 컴포넌트 인터페이스만 참조하여 컴포넌트를 설계함으로써, 컴포넌트의 구체적인 행위에 대한 파악과 컴포넌트 간 인터페이스 호환성 보장이 불가능하였다. 이에 따라 컴포넌트 설계 단계에서 컴포넌트의 행위를 상태머신으로 표현하고, 표현된 상태머신을 통해 컴포넌트의 행위 호환성을 보장할 필요가 있다. 이 연구에서는 상태머신으로 표현된 컴포넌트의 행위를 관찰 일치(observation equivalence)와 호출 일관성(invocation consistency)의 개념을 이용하여 행위 호환성을 검증하는 방법을 제공하고, 동적으로 이를 수행하는 도구를 설계한다.

• 한국정보기술응용학회:학술대회논문집
• /
• 한국정보기술응용학회 2007년도 춘계학술대회
• /
• pp.55-68
• /
• 2007

디자인 패턴은 새롭게 만들어 지는 것이 아니라 기존의 검증된 지식, 관용법, 원칙들을 체계화한 것이다. 다시 말하면 디자인 패턴은 특정한 문제를 해결하기 위한, 검증된 설계 방법에 이름을 붙인 것이다. 그러므로 적절한 디자인 패턴 사용은 1) 개발자들간의 원활한 의사소통에 도움을 주며, 2) 하급자가 고급기술을 쉽게 익힐 수 있도록 할 수 있다. 3) 또한 사용된 디자인이나 아키텍처를 재사용할 수 있도록 하고, 4) 만들어진 시스템의 유지 보수를 보다 쉽게 할 수 있는 등의 장점을 얻을 수 있다. 반면에 필요하지 않은 곳에 까지 디자인패턴을 사용하게 되면 소프트웨어를 복잡하고, 유지보수도 어렵게 만들 수 있다. 디자인 패턴의 분류는 수 많은 패턴을 비슷한 속성을 지닌 그룹들로 조직화 하는 것이다. 이는 개발자가 특정 문제에 맞는 디자인 패턴을 쉽게 선택 할 수 있도록 도와 줄 뿐만 아니라, 디자인 패턴의 주요특성을 빠르게 이해하고 간파 할 수 있게 한다. 그래서 Beck 이 디자인패턴을 소개한 이후 GoF, Buschmann, Grand, Antoy 등은 디자인 패턴을 단순히 열거를 통해 소개하지 않고, 각자의 기준에 따라 체계적으로 분류하여 패턴을 설명 하고 있다. 본 연구는 객체지향 설계의 근본 개념인 Polymorphism (Inclusion Polymorphism) 과 '객체 지향 소프트웨어 설계 원칙' 그리고 이 근본 원칙들이 UML 클래스 다이어그램에 나타나는 구조적 특정에 의거해 디자인 패 턴 해석을 수행 하였다. 본 연구의 목적은 1) 객체지향의 근본 원칙으로 표현 되는 패턴과 2) 설계자의 전문적 인 Art를 포함하고 있는 패턴으로 분류하는데 있다.3: 재미는 용이성을 통해 채택의도에 정의 영향을 미친다. 가설4: 유용성은 채택의도에 정의 영향을 미친다. 가설5: 용이성은 채택의도에 정의 영향을 미친다. 가설6: 용이성은 유용성에 정의 영향을 미친다. 본 연구의 대상은 자발적으로 이러닝을 채택할 수 있는 대학생을 대상으로 하였고, 설문 데이터 분석을 통한 실증연구를 수행하였다. 분석방법으로는 PLS 분석도구를 사용하였다. 분석결과 가설6을 제외하고는 모두 유용한 것으로 입증되었다.97)은 배움의 용이성, 기억의 용이성, 오류, 효율성, 만족성으로 분류하고 있고(Nielsen, 1997), Shneiderman(1998)는 효과성(직무시간, 배움의 시간), 효율성(기억의 지속시간, 오류), 만족도를 품질의 특성으로 분류하였다. 이와 같은 소프트웨어의 품질은 소프트웨어 계획, 개발, 성장과 쇠퇴의 모든 과정에 적용되며, 환경적 변화에 따라 사용자들의 정보욕구를 적절하게 반영하여 만족도를 높이 는 것이라고 요약할 수 있다. 그러나 현재까지 소프트웨어 품질 평가에 대한 연구들 은 보편적인 평가 항목들을 대상으로 측정하여 일반적인 품질기준을 제시하고 있고, 유사한 측정 내용들이 중복되어 있다. 이러한 경향은 산업별 특수성이 강한 소프트웨어에 대해서는 정확한 품질측정이 어려웠고, 품질측정에 대한 신뢰성을 떨어뜨리는 계기가 되었다. 이러한 한계를 극복하고자 나타난 방법론이 최종사용자들의 요구사항을 얼마나 적절하게 시스템에 반영했는지에 대한 사용성(Usability) 측정이다. 사용성에 대한 정의는 사용자들이 실질적으로 일하는 장소에서 직접 사용자들의 시스템 운용실태를 파악하여 문제점을 개선하는 것으로 요약할 수 있다. ISO9124-1

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 한국컴퓨터종합학술대회 논문집 Vol.32 No.1 (B)
• /
• pp.427-429
• /
• 2005

원자력 발전소의 제어 시스템은 safety-critical 소프트웨어로서 안정성이 중요시되는 시스템이다. 최근 기존의 시스템이 PLC 기반의 디지털 제어장치로 대체되면서 이에 사용되는 소프트웨어의 안정성과 품질을 보장하기 위한 정형검증 기법이 요구되고 있다. 특히 PLC 프로그램의 설계에 사용되는 FBD의 모델체킹을 통한 정형검증에 대한 연구는 미비한 수준이다. VIS 검증기는 위의 요구에 부합하는 도구로서 이를 사용하면 여러 종류의 정형 검증이 가능하다. 본 논문에서는 VIS를 이용한 FBD의 검증을 위해서 FBD를 Verilog로 변환 하는 기법을 제안한다. 제안하는 방법의 효율성을 검증하기 위해서 현재 KNICS 사업단에서 개발중인 APR-1400용 원자로 보호 시스템의 운전정지회로를 예로 사용하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권7호
• /
• pp.883-900
• /
• 2004

재사용성과 확장성을 높이는 객체지향 개발이 보편화되면서 새로운 소프트웨어를 개발할 경우 기 개발되어 검증된 객체지향 산출물을 재사용함으로써 개발기간을 단축하고 품질을 향상할 수 있다. 이렇게 성능이 검증된 기 개발된 객체지향 산출물을 이용하여 컴포넌트 기반 모델로 변환하면 짧은 기간에 고품질의 컴포넌트 기반 시스템을 구축할 수 있다. 본 논문에서는 이미 개발되어 있는 객체지향 설계 모델을 이용하여 컴포넌트 기반 설계로 변환하되 변환의 정확성을 위해 정형명세 기법을 사용한다. 컴포넌트 기반 설계를 정형명세하기 위해 컴포넌트 정형명세 언어를 정의한다. 그리고 객체지향 설계의 정적, 동적, 기능적 측면을 정형명세 언어 Object-Z를 사용하여 정형명세하는 기법을 제시한 후, 객체지향 정형명세를 컴포넌트 정형명세로 변환하는 기법을 제시한다. 사례연구는 제시된 변환 기법을 적용하여 객체지향 정형명세가 컴포넌트 기반 정형명세로의 변환과정을 설명한다.

• 인터넷정보학회논문지
• /
• 제10권1호
• /
• pp.175-182
• /
• 2009

사용자 요구 분석에 있어 품질 요구에 대한 표현과 검증은 다른 활동에 비해 체계적인 연구가 미진한 분야로 알려져 왔다. 본 논문은 UML을 기반으로 정보시스템을 개발할 경우 적용이 가능한 품질 요소 중 사용성, 성능, 이해성 등에 대한 표현과 구현 추적 방법을 제안한다. 특히 유스케이스와 시퀀스 다이어그램의 품질 표현 확장을 통해 기능 요구의 구현 추적과 더불어 관계되는 품질 요구에 대한 표현과 추적을 할 수 있도록 한다. 이를 통해 개발자는 기능요구와 비기능 요구가 올바로 구현되었음을 사전에 확인할 수 있다.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2011년도 정기 학술대회
• /
• pp.371-374
• /
• 2011

본 연구는 개방형 BIM 환경의 품질관리 기준 확보를 목적으로 건설 산업의 공통업무분야와 추가적인 세부업무분야에 대한 품질관리 체크리스트를 제안하고자 한다. 공통업무는 일반적인 목적으로 적용 가능한 설계기준, 시설기준, 시공기준으로 대상을 분류하고, 세부업무는 초고층 건축물의 개방형 BIM적용 및 활용 목적에 따라 피난동선 검토, 에너지 분석 검토 측면으로 대상을 분류하여 각 분야 별 체크리스트를 도출하였다. 도출된 체크리스트가 검증을 통해 실무에 적용되면 BIM 모델의 작성 기준 및 지침과 연계되어 요구되는 조건들을 충족시키는 모델링을 유도하며 BIM 모델의 품질향상의 결과를 가져다 줄 것이라 기대한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2020년도 추계학술발표대회
• /
• pp.625-628
• /
• 2020

특별관리임산물의 관리·감독을 위하여 법률을 바탕으로 품질관리제도를 마련하고 있으며, 현재 문서를 통해 관리하고 제도적인 신뢰에 의존하는 방식에 머물러 있다. 이는 많은 비용을 발생시키며, 제도를 악용하는 사기 사례가 발생하고 있다. 본 연구에서는 문제점을 해결하기 위해 블록체인을 이용한 특별관리임산물 품질관리 시스템을 제안한다. 해당 시스템은 품질 관리를 위한 문서를 법률에 따른 양식에 따라 전자문서로 생성하고, 문서 정보를 분산장부에 저장하여 누구나 확인 할 수 있도록 한다. 전자 문서들은 기관의 데이터베이스에 보관하여 확인 할 수 있도록 하며, 분산장부의 문서 정보 등록 이력을 통해 품질관리 이력을 추적하고 검증할 수 있도록 한다.