• Title/Summary/Keyword: 통합검증시스템

검색결과 998건 처리시간 0.027초

구조공학에서의 통합 자동화 시스템 (Integrated Automation System in Structural Engineering)

  • 김문영
    • 전산구조공학
    • /
    • 제10권1호
    • /
    • pp.75-80
    • /
    • 1997
  • 본 고에서는 구조공학과 관련된 분야에서 유용하게 사용될 수 있는 최근의 통합 자동화 시스템에 대하여 소개하는 내용을 담고 있는 Song Fong Jan 박사가 1994년 6월에 발표한 논문(ASCE Proceedings of the First Congress of Computing in Civil Engineering)을 번역하여 소개한다. 통합 자동화 시스템은 기본적으로 CAD 그래픽 소프트웨어와 지능구조 데이터베이스로 구성되고, 이러한 소프트웨어는 구조물의 모델링과 해석, 설계 및 도면 작성과 합성과정에서 통합적인 운용이 가능하도록 사용된다. 현재 사용되고 있는 여러가지 상업용 구조설계용 소프트웨어를 통합함으로써 구조물 설계분야에 보다 효율적인 시스템을 만들 수 있을 것이다. 여기서는 여러가지 다양한 시스템을 사용할 때의 장단점이나 적절한 프로그램 검증과 품질의 확보문제 그리고 구조공학 자동화분야의 미래 발전방향에 대하여 논의해 보고자 한다.

  • PDF

PLC기반의 통합검침 시스템 설계 및 실증시험망 구축 (Design of Integrated Metering System based on Broadband Power-Line Communication and Construction of Test Site for Measurement of its Performance)

  • 최문석;주성호;임용훈;최종협
    • 전력전자학회:학술대회논문집
    • /
    • 전력전자학회 2008년도 하계학술대회 논문집
    • /
    • pp.174-176
    • /
    • 2008
  • 국내 원격검침시스템은 전기, 가스, 수도 사업자가 독립적으로 시스템을 개발하고 있어 각 검침시스템간의 상호운영성을 보장하지 못할 뿐만 아니라, 원격검침시스템 개발에 대한 중복투자가 이뤄지고 있다. 고속전력선통신 기반의 통합검침시스템을 구축하고 통신프로토콜을 통일하게 되면 각 사업자별 검침용 통신비를 절감할 수 있을 뿐만 아니라, 장비의 유지보수 비용도 절감할 수 있어 저비용으로 효율적인 원격검침이 가능하게 될 것으로 예상된다. 본 논문에서는 전력선통신기반의 통합검침 시스템의 구성과 설계된 통합검침시스템의 성능을 검증하기 위한 실증시험망 구축결과에 대해 소개한다.

  • PDF

정보검색시스템의 모델링 및 정형 검증 (Formal Modeling and Verification of an Information Retrieval System)

  • 김종환;박혜숙;방기석;장성호;백두권
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
    • /
    • pp.457-459
    • /
    • 2001
  • 정보검색시스템은 지역적으로 분산된 이기종의 컴퓨터들 간의 데이터 교환과 다양한 종류의 DB에 대한접근을 가능하게 함으로써, 기업에게 공급망 관리에 대한 통합된 정보를 제공한다. 정보검색시스템은 X3.285에 기반한 데이터 레지스트리 모델을 이용하여 모델링되었고, 모델링이 주어진 가정 하에서 요구사항을 만족하는지를 검증하기 위해 핵심 부분인 메타데이터 레지스트리 관리기(MDR Manager) 부분 만을 SMV를 이용하여 검증하였다.

  • PDF

유무선통합 All-IP망에서 Mobile IP기반 VoIP시스템 개발 (The development of a VoIP system with Mobile IP in all-IP networks)

  • 김경수;조계호;김원태;박용진
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (C)
    • /
    • pp.109-111
    • /
    • 2003
  • 본 논문은 최근 활성화되고 있는 VoIP 서비스 기술에 이동성을 보장하기 위해 Mobile IP기술을 접목시킨 시스템을 설계하고 개발한다. PDA와 같은 임베디드 시스템의 제한된 자원을 효율적으로 이용하기 위한 VoIP 서비스용 시스템에 필요한 요구사항과 문제점들을 분석하고 해결책을 제시한다. 또 이동환경에서의 VoIP 서비스를 제공하기 위해 Mobile IP 통신 모듈을 선계하고 구현한다. 유무선 통합 실험망을 이용하여, 개발된 Mobile IP 기반 VoIP시스템의 기능을 검증하고 향후 방안을 제시한다.

  • PDF

완전통합교육 지원을 위한 전자멘토링 시스템 설계 및 구현 (Design and Development of e-Mentoring System for Full Inclusion)

  • 이재호;이준석;김성완
    • 한국컴퓨터정보학회:학술대회논문집
    • /
    • 한국컴퓨터정보학회 2010년도 제42차 하계학술발표논문집 18권2호
    • /
    • pp.453-456
    • /
    • 2010
  • 이 연구는 완전통합교육을 효과적으로 지원하기 위한 전자멘토링 시스템을 구축 및 사용성을 평가하는데 목적이 있다. 시스템 설계를 위하여 현재 운영되고 있는 국내 외 시스템과 연구들을 분석한 후, 완전통합교육 지원에 적절한 전자멘토링 수행모형을 도출했다. 특히, 설계와 구현에 있어서는 온라인의 수평적 멘토링 구현과 다양한 멘토링 형태의 지원, 상호보완적 관계형성, 그리고 활동에 대한 피드백 제공 등에 역점을 두고 시스템을 구축했다. 개발된 전자멘토링 시스템의 사용성 평가를 위해 운영자 2명, 멘토 5명, 멘티 5명을 선정한 후, '멘토링 지원(인지적 지원, 정서적 지원, 적용가능성)'과 '기술 지원(편의성, 정확성, 심미성)' 등 2가지 영역, 총 10개의 문항을 통해 심층면담을 실시했다. 통합학급 담당교사와 특수학급 담당교사의 사용성 평가 결과, 완전통합교육 지원을 위해 개발된 전자멘토링 시스템은 모든 영역에 걸쳐 상당히 효과적인 것으로 판단할 수 있었다. 향후에는 이 연구결과를 바탕으로 현장에서 장기간 지속적인 적용을 통해 개발된 전자멘토링 시스템의 실질적 효과성을 검증해 보는 연구가 요청된다.

  • PDF

메모리 카드 호환성 테스트를 위한 통합 검증 환경 (Co-Validation Environment for Memory Card Compatibility Test)

  • 성민영
    • 한국컴퓨터정보학회논문지
    • /
    • 제13권3호
    • /
    • pp.57-63
    • /
    • 2008
  • 디지털 카메라, MP3 플레이어 등과 같은 가전 기기에서 낸드 플래시 메모리에 기반한 다양한 메모리 카드가 인기를 얻게 됨에 따라 기존 호스트 시스템과 새로 개발된 메모리 카드 간의 호환성 문제가 제품의 시장 진입에 큰장애가 되고 있다. 메모리 카드 호환성 테스트를 위한 일반적인 방법은 실제 호스트 시스템을 테스트 베드로 사용하는 것이다. 이를 개선하는 방법으로서 FPGA 기반의 프로토타입 보드를 이용하여 호스트 시스템을 에뮬레이션하는 것을 고려할 수 있다. 그러나 이 방법은 긴 셋업 시간을 필요로 하며, 다양한 호스트 및 장치 시스템을 표현하는데 제약이 있다. 본 논문에서는 Esterel 언어와 통합 시뮬레이션 기법에 기반한 모델을 이용하여 메모리 카드와 호스트시스템간의 호환성 테스트를 위한 통합 검증환경을 제안한다. 또한, 실제 메모리 카드 개발에 대한사례 연구를 통해 제안된 기법의 유용성을 증명한다.

  • PDF

항공전자 시스템 통합시험장비 개발 (Development of Avionics Hot Bench for Avionics System Integration Test)

  • 김진혁;이상철;류광수
    • 한국항공우주학회지
    • /
    • 제36권5호
    • /
    • pp.507-513
    • /
    • 2008
  • 본 논문에서는 비행운용프로그램 검증 및 항공전자 장비 고장탐구에 사용되는 항공전자시스템 통합시험장비(Avionics Hot Bench) 개발에 대한 내용을 기술하였다. 산업분야에서 전통적 AHB는 자사 보유 소프트웨어 및 신뢰성 있는 하드웨어를 오랜 기간 통합하여 개발되며 기술이전에는 일반적으로 큰 비용이 요구된다. 개발 기간과 비용을 절감하기위해 다수의 기성개발품을 활용하였으며, 개방형 시스템 구조를 적용하여 실제 항공전자 시스템 개발에 사용될 수 있는 AHB를 개발하였다. 검증절차서에 입각하여 T-50 항공전자 시스템 개발에 사용된 기 입증된 AHB의 테스트 결과와 개발된 AHB의 테스트 결과를 엄밀히 비교하였으며 만족스러운 비교 결과를 얻을 수 있었다.

회원사 탐방-엔디에스

  • 임일곤
    • 정보화사회
    • /
    • 통권182호
    • /
    • pp.38-39
    • /
    • 2006
  • 지난 1993 설립된 엔디에스(www.nds.nongshim.co.kr, 대표 신재덕, 이하 NDS)는 농심 그룹의 계열사로 이 회사의 정보시스템을 개발, 운영해 온 전산실을 모태로 10여 년간 국내외 정보 고도화를 추진해오고 있는 시스템통합(SI)전문 기업이다. NDS는 농심 외에도 정부, 공공기관, 민간기업 등 다양한 분야에 SI를 구축해오고 있다. 이 회사의 주력이라 할 수 있는 시스템통합(SI) 분야 외에도 IT컨설팅, 솔루션 개발.판매, IT 아웃소싱/ASP, 정보보호, NI, e-Business, 교육서비스 등에서도 축적된 경험과 시스템 구현 노력으로 검증받은 정보 서비스를 제공하고 있다.

  • PDF

상용 소프트웨어의 통합을 통한 설계 및 검증 시간 단축을 위한 연구 (Design Process Improvement through the Integration of Commercial Software)

  • Jung, Hyun-Seok;Cho, Woo-Seok
    • 한국경영과학회:학술대회논문집
    • /
    • 한국경영과학회/대한산업공학회 2005년도 춘계공동학술대회 발표논문
    • /
    • pp.1108-1113
    • /
    • 2005
  • 한국정부가 제조물책임법을 2002년 7월에 도입한 이래, 많은 제조업체가 설계해석 툴의 도입을 검토하고 있다. 또한, 원청업체의 요청에 의해 설계해석 툴을 도입하기도 한다. 일반적으로 설계 해석 툴들은 엄청나게 복잡하고 방대한 지식을 포함하고 있기 때문에, 이 툴을 사용하는 해석 전문가 역시 전문가는 설계 및 분야에 관한 방대한 지식을 터득해야 한다. 따라서, 중소기업에 이런 툴을 도입하기 위해서는, 도입비용 뿐 아니라, 운용 인력 확보에도 상당한 애로를 겪고 있다. 본 연구에서는, 신축관을 설계하는 업체를 대상으로 하여, 신축관의 특성을 이해하기만 하면 해석이 가능한 시스템을 구축하여, 해석 툴의 사용자 범위를 확대하고자 한다. 이 목표를 달성하기 위하여, MS-Excel, MDT, ANSYS를 통합하였으며, 이 연구결과로, 특별한 교육을 받지 않은 설계자도 이 통합 시스템을 운용할 수 있고, 설계 및 검증 시간을 획기적으로 단축할 수 있음을 확인하였다.

  • PDF