• 제목/요약/키워드: 정형 검증

검색결과 423건 처리시간 0.031초

국제표준기국의 SW 개발 공정 인증을 위한 서비스 설계 및 인증 관리 도구: ADONIS (ADONIS: A Service Design and Certification Management Tool for Certification of Software Development Process in International Standard Organization)

  • 이성현;최영복;이문근
    • 서비스연구
    • /
    • 제8권1호
    • /
    • pp.59-72
    • /
    • 2018
  • 서비스 관점에서 국제표준기구가 요구하는 수준의 인증 서비스를 SW 개발과정에 도입하는 것은 매우 중요하다. 그 이유는 우리 산업에서 ICT가 차지하는 비중이 매우 높을 뿐만 아니라, ICT 관련 SW에 대한 국제적인 수준의 인증은 필수적이기 때문이다. 그리고 이를 위해서 ADONIS와 같은 과학적이며 체계적인 도구를 기반으로 한 인증 서비스가 절대적으로 요구된다. 본 논문에서는 이러한 시대적, 사회적 요구에 부응할 수 있는 하나의 새로운 방법 체계를 제시하였다. 이 체계는 우리 산업에 국제적인 수준에서 요구되는 SW의 안전성에 대한 인증 서비스를 제공하였고, 이러한 서비스는 다른 영역에도 적용될 수 있다. 이러한 체계를 설명하기 위해 EU우주항공국의 표준안 중 ECSS-E-40의 인증을 위한 서비스의 설계와 이에 대한 보증이 어떻게 이루어지는지 서비스 공학 측면에서 살펴보고, ADONIS를 통해서 보여주고자 한다. 본 논문은 E-40 표준안의 항목 중 SW의 명세와 검증에 관해 집중하며, 검증의 대상은 안전성(Safety)을 우선으로 한다.

ToyLotos/Ada : 실시간 Ada 소프트웨어 개발을 위한 객체행위 시뮬레이션 시스템 (ToyLotos/Ada : Object-Behavior Simulation System for Developing a Real-time Ada Software)

  • 이광용;오영배
    • 한국정보처리학회논문지
    • /
    • 제6권7호
    • /
    • pp.1789-1804
    • /
    • 1999
  • 본 논문에서는 기존 객체행위 설계방법에 의해 개발된 '시각적 실시간 객체모델'의 설계의미를 검증·확인하기 위한 시뮬레이션 기반 지원 시스템을 제안한다. 이 시스템은 실행 가능한 Ada 코드 생성에 의한 객체 프로세스들간의 동적이 상호작용을 시뮬레이션 할 수 있게 하며, 실제 시스템 구현에 앞서 여러 가지 논리적, 시간적 문제들을 검출할 수 있게 한다. 또한, 시뮬레이션에 의해 검증·확인된 명세서로부터 Ada 프로토타잎 코드를 직접 생성시켜 준다. 이 시스템은 Visual C++ 버전4.2로 개발되었다. 그리고, 시뮬레이션 코드로 Ada를 사용하였는데, 이것은 Ada의 병행 행위 및 시간 표현력 등의 실시간 시스템의 표현력에 있어 기존의 언어들에 비해 우수성을 가지고 있기 때문이다. 이 작업은 방법론 기반 시각적 모델과 자동화 된 정형기법 기반 시뮬레이션 시스템의 연결, 그리고 자동화된 명세 검증·확인 기술의 실현이라는 점에서 기여한다.

  • PDF

다이아그리드 구조시스템의 접합부개발과 성능평가 (An Structural Design for Cyclone Tower's Connections Using Diagrid System)

  • 이세정;이성희;김진호;최성모
    • 한국공간구조학회논문집
    • /
    • 제10권2호
    • /
    • pp.105-115
    • /
    • 2010
  • 최근 초고층 건축물은 비정형적 외관을 갖는 랜드 마크적인 역할과 택지의 효율적인 사용을 위한 수직 도시 기능을 수행한다. 건축물의 외관은 비정형적인 요소로서 3T형태(Twisted, Tilted, Tapered)의 설계안들이 대부분 제안되고 있으며, 세장한 형태의 형상비를 만족하기 위한 새로운 구조시스템의 연구 개발이 활발히 진행 중이다. 다이아그리드 시스템의 하중 전달 메커니즘은 대각 가새(Diagrid)의 삼각형 형상에 기인하여 중력하중 뿐만 아니라 횡하중을 전달하기 때문에 대부분의 기둥이 제거되게 된다. 또한 대각 가새의 축방향 거동(인장/압축)에 의해 전단력을 전달하여 전단 변형이 최소화되기 때문에 기둥이 전단력을 전달하던 기존 방식에 비해 비정형적인 외관에 쉽게 대응할 수 있는 구조시스템이다. 본 연구에서는 싸이클론 타워의 건축 계획안을 바탕으로 접합부 디테일 선정 과정과 접합부의 구조안전성을 유한요소해석을 통해 검증하였다. 이를 통해 응력집중 완화 방안을 제시하여 적절한 캡 플레이트 두께와 캡플레이트 확장 길이를 제시하여 응력집중 현상을 완화하였다.

  • PDF

상용 부품 비정형 데이터와 인공 신경망을 이용한 부품 단종 예측 방안 연구 (Study on predicting the commercial parts discontinuance using unstructured data and artificial neural network)

  • 박연경;이익도;이강택;김두정
    • 한국산학기술학회논문지
    • /
    • 제20권10호
    • /
    • pp.277-283
    • /
    • 2019
  • 기술의 발전으로 다양한 부품의 개발 및 상용화는 가능 하였으나, 이에 따라 부품의 단종 주기는 단축 되었다. 이는 수천 품목 이상의 부품을 활용하여 개발하고, 장기간 운영하는 무기체계의 수리 부속 보급을 어렵게 하였으며, 무기체계 운용 가용도 저하의 주요 원인으로 작용하였다. 이러한 문제를 해결하기 위하여 미국 등은 전담 기구를 만들어 대응하고 있으며, 국내에서는 상용 부품단종 예측도구를 활용하여 단종을 예측하고 관리하고 있다. 하지만 상용 부품단종 예측도구에서 단종 정보가 제시되지 않는 부품에 대한 대응 및 관리는 부재한 실정이다. 이에 본 연구에서는 상용 부품단종 예측도구에서 제공하는 부품에 대한 정형, 비정형 빅데이터를 수집하고, 데이터 전처리 및 Embedding 과정을 거쳐, 신경망 학습 알고리즘을 적용하여, 상용 부품에 대한 단종 정보 (LC Risk, YTEOL)를 예측하는 방안을 제시하였다. 또한 제시된 모델의 예측 성능을 데이터 기술 통계량과 비교 평가 하여, 본 연구에서 제시한 학습 모델의 타당성을 검증 하였다. 결론에는 본 연구의 활용 방안과 한계점 및 발전 방향에 대하여 기술 하였다.

거리 가구 제작을 위한 3D 프린팅 기술 중요도 도출 및 적용 방안에 관한 연구 (A Study on the Importance and Application of 3D Printing Technology for Street Furniture Manufacturing)

  • 이성호;이태희;임현수
    • 한국산학기술학회논문지
    • /
    • 제21권4호
    • /
    • pp.509-517
    • /
    • 2020
  • 본 연구는 3D 프린팅 기술을 활용한 거리 가구 제작 시 기술 특성 중요도를 도출하고 거리 가구 중 비정형 벤치 제작을 통해 우선순위가 높은 3D 프린팅 기술의 적용 방안을 제시하는 것을 목적으로 한다. 본 연구를 위해 품질기능전개(QFD: Quality Function Deployment) 방식으로 중요도를 분석하여 점수로 계량화하였으며 개발 및 연구에서 우선시 되어야할 기술요소는 '출력 크기', '재료의 수축성', '출력 각도' 순으로 나타났다. 연구결과의 검증을 위해 비정형 거리 가구 디자인을 대형 3D 프린팅 출력물로 제작하였으며 제작 과정에서 우선순위 기술요소들의 적용 방안을 모색하였다. 거리 가구 제작은 기능성과 안정성을 기반으로 설계되어야 하며 경제성, 제작성, 심미성 등이 고려되어야 하므로 '출력 크기'는 파츠의 분할을 최소화시켜 안정성을 확보하였다. '재료의 수축성'은 형태의 오차를 최소화시켜 심미성 및 제작성을 충족시켰으며 마지막으로 '출력 각도'는 출력물의 품질을 향상시켜 다양한 출력 각도를 통해 효율적이고 구조적 안정성이 있는 각도를 선정함으로써 연구결과에 대한 검증과 적용 방안에 대해 제시하였다.

클라우드 환경에서 MongoDB 기반의 비정형 로그 처리 시스템 설계 및 구현 (Design and Implementation of MongoDB-based Unstructured Log Processing System over Cloud Computing Environment)

  • 김명진;한승호;최운;이한구
    • 인터넷정보학회논문지
    • /
    • 제14권6호
    • /
    • pp.71-84
    • /
    • 2013
  • 컴퓨터 시스템 운용 간에 발생하는 많은 정보들이 기록되는 로그데이터는 컴퓨터 시스템 운용 점검, 프로세스의 최적화, 사용자 최적화 맞춤형 제공 등 다방면으로 활용되고 있다. 본 논문에서는 다양한 종류의 로그데이터들 중에서 은행에서 발생하는 대용량의 로그데이터를 처리하기 위한 클라우드 환경 하에서의 MongoDB 기반 비정형 로그 처리시스템을 제안한다. 은행업무간 발생하는 대부분의 로그데이터는 고객의 업무처리 프로세스 간에 발생하며, 고객 업무 프로세스 처리에 따른 로그데이터를 수집, 저장, 분류, 분석하기 위해서는 별도로 로그데이터를 처리하는 시스템을 구축해야만 한다. 하지만 기존 컴퓨팅환경 하에서는 폭발적으로 증가하는 대용량 비정형 로그데이터 처리를 위한 유연한 스토리지 확장성 기능, 저장된 비정형 로그데이터를 분류, 분석 처리할 수 있는 기능을 구현하기가 매우 어렵다. 이에 따라 본 논문에서는 클라우드 컴퓨팅 기술을 도입하여 기존 컴퓨팅 인프라 환경의 분석 도구 및 관리체계에서 처리하기 어려웠던 비정형 로그데이터를 처리하기 위한 클라우드 환경기반의 로그데이터 처리시스템을 제안하고 구현하였다. 제안한 본 시스템은 IaaS(Infrastructure as a Service) 클라우드 환경을 도입하여 컴퓨팅 자원의 유연한 확장성을 제공하며 실제로, 로그데이터가 장기간 축적되거나 급격하게 증가하는 상황에서 스토리지, 메모리 등의 자원을 신속성 있고 유연하게 확장을 할 수 있는 기능을 포함한다. 또한, 축적된 비정형 로그데이터의 실시간 분석이 요구되어질 때 기존의 분석도구의 처리한계를 극복하기 위해 본 시스템은 하둡 (Hadoop) 기반의 분석모듈을 도입함으로써 대용량의 로그데이터를 빠르고 신뢰성 있게 병렬 분산 처리할 수 있는 기능을 제공한다. 게다가, HDFS(Hadoop Distributed File System)을 도입함으로써 축적된 로그데이터를 블록단위로 복제본을 생성하여 저장관리하기 때문에 본 시스템은 시스템 장애와 같은 상황에서 시스템이 멈추지 않고 작동할 수 있는 자동복구 기능을 제공한다. 마지막으로, 본 시스템은 NoSQL 기반의 MongoDB를 이용하여 분산 데이터베이스를 구축함으로써 효율적으로 비정형로그데이터를 처리하는 기능을 제공한다. MySQL과 같은 관계형 데이터베이스는 복잡한 스키마 구조를 가지고 있기 때문에 비정형 로그데이터를 처리하기에 적합하지 않은 구조를 가지고 있다. 또한, 관계형 데이터베이스의 엄격한 스키마 구조는 장기간 데이터가 축적되거나, 데이터가 급격하게 증가할 때 저장된 데이터를 분할하여 여러 노드에 분산시키는 노드 확장이 어렵다는 문제점을 가지고 있다. NoSQL은 관계형 데이터베이스에서 제공하는 복잡한 연산을 지원하지는 않지만 데이터가 빠르게 증가할 때 노드 분산을 통한 데이터베이스 확장이 매우 용이하며 비정형 데이터를 처리하는데 매우 적합한 구조를 가지고 있는 비관계형 데이터베이스이다. NoSQL의 데이터 모델은 주로 키-값(Key-Value), 컬럼지향(Column-oriented), 문서지향(Document-Oriented)형태로 구분되며, 제안한 시스템은 스키마 구조가 자유로운 문서지향(Document-Oriented) 데이터 모델의 대표 격인 MongoDB를 도입하였다. 본 시스템에 MongoDB를 도입한 이유는 유연한 스키마 구조에 따른 비정형 로그데이터 처리의 용이성뿐만 아니라, 급격한 데이터 증가에 따른 유연한 노드 확장, 스토리지 확장을 자동적으로 수행하는 오토샤딩 (AutoSharding) 기능을 제공하기 때문이다. 본 논문에서 제안하는 시스템은 크게 로그 수집기 모듈, 로그 그래프생성 모듈, MongoDB 모듈, Hadoop기반 분석 모듈, MySQL 모듈로 구성되어져 있다. 로그 수집기 모듈은 각 은행에서 고객의 업무 프로세스 시작부터 종료 시점까지 발생하는 로그데이터가 클라우드 서버로 전송될 때 로그데이터 종류에 따라 데이터를 수집하고 분류하여 MongoDB 모듈과 MySQL 모듈로 분배하는 기능을 수행한다. 로그 그래프생성 모듈은 수집된 로그데이터를 분석시점, 분석종류에 따라 MongoDB 모듈, Hadoop기반 분석 모듈, MySQL 모듈에 의해서 분석되어진 결과를 사용자에게 웹 인터페이스 형태로 제공하는 역할을 한다. 실시간적 로그데이터분석이 필요한 로그데이터는 MySQL 모듈로 저장이 되어 로그 그래프생성 모듈을 통하여 실시간 로그데이터 정보를 제공한다. 실시간 분석이 아닌 단위시간당 누적된 로그데이터의 경우 MongoDB 모듈에 저장이 되고, 다양한 분석사항에 따라 사용자에게 그래프화해서 제공된다. MongoDB 모듈에 누적된 로그데이터는 Hadoop기반 분석모듈을 통해서 병렬 분산 처리 작업이 수행된다. 성능 평가를 위하여 로그데이터 삽입, 쿼리 성능에 대해서 MySQL만을 적용한 로그데이터 처리시스템과 제안한 시스템을 비교 평가하였으며 그 성능의 우수성을 검증하였다. 또한, MongoDB의 청크 크기별 로그데이터 삽입 성능평가를 통해 최적화된 청크 크기를 확인하였다.

RFID와 리더간의 안전성이 검증된 키 분배 프로토콜의 개선 (Improvement of a Verified Secure Key Distribution Protocol Between RFID and Readers)

  • 배우식;이종연
    • 정보처리학회논문지C
    • /
    • 제18C권5호
    • /
    • pp.331-338
    • /
    • 2011
  • RFID 시스템은 리더와 태그간의 무선 통신 구간이 존재한다. 이 부분은 항상 보안 취약성으로 공격자의 목표가 되며 기밀누설, 프라이버시침해등 보안적인 문제가 발생한다. 이와 관련하여 기존에 여러 가지의 프로토콜이 제안된 바 있으나 구현이 까다로워 대부분 이론적 정리증명의 수준에서 머물러 보안 프로토콜의 안정성이 정확히 증명되지 못했다. 따라서 본 논문에서는 특히 기존에 제안된 Kenji et al. 의 프로토콜이 보안 속성을 만족하는지 검사하고 ID 및 메시지의 노출 등 취약성을 확인하였다. 이 문제의 해결책으로 공개키 및 난수를 줄여 개선한 RFID 보안 프로토콜을 제안한다. 주요 특징으로는 불필요한 계산을 없애고 보안상으로 취약성이 없도록 구성했다. 안전한 프로토콜을 개발 및 검증하기 위해 Casper 및 FDR(Failure Divergence Refinements) 도구를 이용하여 확인하고 제안한 프로토콜이 보안상으로 안전함을 확인했다. 아울러 본 연구의 학술적 기여는 다음과 같이 요약된다. 첫째 정리증명에서 벗어나 모델 체킹으로 보안성을 검증하였다. 둘째 FDR 검증으로 프로토콜의 개발을 좀 더 효과적으로 할 수 있는 방법을 제시하였다.

표준 동안정 모델의 전산유체해석 및 풍동시험 결과 비교검증 (Comparison and Validation Study on Computational Fluid Dynamics and Wind Tunnel Test Results of Standard Dynamics Model)

  • 조동현;김승필;안은혜;최윤석;노지수;정형석
    • 한국항공우주학회지
    • /
    • 제45권3호
    • /
    • pp.217-225
    • /
    • 2017
  • 본 연구는 국내 외 풍동기관들의 정적 공력측정 결과의 상호 비교검증 및 EFD-CFD 검증을 위해 수행되었다. 공군사관학교에서는 NRC 모델 기반 표준 동안정 모델을 제작하여 정적 특성을 측정하고, 풍동시험의 정확성 검증을 위하여 한국항공우주연구원 및 NRC에서 측정된 정적 공력측정 데이터를 상호 비교하였다. 또한 풍동시험 결과를 전산해석 결과와 비교하였으며 전산해석 유동장에서 분석된 오차원인을 확인하기 위하여 스트레이크 영향성을 검토하였다. 그 결과, EFD-CFD 간 피칭모멘트의 경향성이 상이하였으며, 스트레이크 효과는 크게 나타나지 않았다. 따라서 후방 지지대, 표준 동안정 모델의 흡입구에서 발생하는 와류에 의한 오차 분석과 전산해석의 격자해상도 재구성 등의 추가연구 진행이 필요한 것으로 판단된다.

스마트 수동 제어 시스템을 이용한 면진 건물의 내진 성능 개선 (Seismic Performance Improvement of Base Isolated Buildings using Smart Passive Control System)

  • 정형조;정찬국;최강민;이인원
    • 한국지진공학회논문집
    • /
    • 제10권6호
    • /
    • pp.37-46
    • /
    • 2006
  • 본 연구에서는 면진 건물의 내진 성능을 개선하기 위하여 최근 개발된 스마트 수동 제어 시스템을 적용하고 이의 효용성을 수치 모의실험을 통해 검증하였다. 스마트 수동 제어 시스템은 효과적인 반능동 제어 장치로 알려진 MR 감쇠기에 전자기 유도부를 도입하여 응답 변화에 따라 MR 감쇠기로 입력되는 전류를 변화시킴으로써 MR 감쇠기의 감쇠 특성을 조절하는 새로운 개념의 스마트 제진 시스템이다. 스마트 수동 제어 시스템에서 전자기 유도부는 영구자석과 솔레노이드 코일로 구성되며, 기존 스마트 제진 시스템의 계측기, 제어기, 외부 전원장치를 한꺼번에 대체할 수 있다. 면진 건물에 대한 스마트 수동 제어 시스템의 내진 성능을 수치적으로 검증하기 위하여 미국토목학회에서 제시한 면진 건물에 대한 벤치마크 제어 문제를 활용하였다. 스마트 수동 제어 시스템의 제진 성능을 MR 감쇠기를 이용한 기존 스마트 제어 시스템의 성능과 비교하였다. 수치 모의실험 결과를 통해 스마트 수동 제어 시스템이 면진 건물의 내진 성능을 개선하는 데 매우 유용함을 확인하였다.

창조적 아이디어 계발을 위한 훈련 프로그램 연구 -디자인 전공 학생을 대상으로- (A Study of Training Program Development for Creative Idea)

  • 강덕구;정병로
    • 디자인학연구
    • /
    • 제13권3호
    • /
    • pp.17-28
    • /
    • 2000
  • 본 연구는 도형적 창의성을 요하는 디자인 전공 학생을 대상으로 창조적 아이디어를 어떻게 계발, 향상시킬 수 있는가에 대한 연구문제를 가지고 이에 대한 적절한 훈련프로그램을 개발하고, 대상 학습집단에 투입하여 훈련 전, 후의 효과를 밝힘으로서 훈련 프로그램의 정형을 제시하고자 하는데 연구의 목적 이 있다. 연구의 대상은 4년제 대학교 2개교와 2년제 대학 3개교에 각각 2개 반을 선정하였으며, 총 352명을 대상으로 하였다. 연구의 영역은 실증적 연구로 실험집단과 통제집단으로 구분하여 훈련을 수행하며, 연구의 결과를 검증하기 위하여 표준화된 창의력 검사지를 사용하였다. 연구의 방향으로 가설을 설정하고 이를 검증하는 방식으로 연구를 진행하고, 가설은 훈련의 효과, 학제간의 차이, 창의력에 미치는 효과로 하였다. 연구결과에서, 훈련의 효과가 있는 것으로 나타났고, 학제간에는 훈련의 차이가 없는 것으로 나타났으며, 훈련의 효과는 창의력 결과에도 미치는 것으로 나타났다.

  • PDF