• 제목/요약/키워드: 시스템조합

검색결과 2,143건 처리시간 0.035초

Z를 이용한 컴포넌트 명세 전략 및 방법 (Component Specification Method using Z)

  • 장종표;김병기
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2000년도 제13회 춘계학술대회 및 임시총회 학술발표 논문집
    • /
    • pp.1007-1012
    • /
    • 2000
  • CBSE를 이루는 관련 기술들 중 하나인 소프트웨어 아키텍처는 시스템의 구조적 기술로서 시스템을 구성하는 컴포넌트와 그 컴포넌트들 사이의 상호작용을 기술한 것이다. 소프트웨어 아키텍처는 CBSE에서의 컴포넌트 사이의 조합에 대한 기술 및 방법론을 제공함을써, CBSE의 핵심 기술 중 하나로 자리잡고 있다. 본 논문에서는 컴포넌트 명세를 위해서 Formal methods와 ADL이 가지고 있는 장단점을 상호보완하하기 위하여 Z언어를 이용하여 컴포넌트, 커넥터, 전체 시스템 구성을 기술하는 3가지 전략과 이 전략을 기반으로 컴포넌트를 명세하는 방법을 제안한다.

  • PDF

공기제습의 새로운 에너지 절약과정의 해석과 응용 (A New Energy Saving Process for Air Dehumidification : Analysis and Applications)

  • 대한설비공학회
    • 대한설비공학회지:설비저널
    • /
    • 제15권3호
    • /
    • pp.254-263
    • /
    • 1986
  • 공기의 제습 운전에 많은 에너지가 소요되므로 고효율과 경비절감이 가능한 새로운 기술의 연구가 필요하게 되었다. 이 글에서는 공기-공기 열점프 시스템과 흡수시스템을 새로이 제안한 MIDA 과정과 비교한다. LiCl 수용액을 사용한 흡수식 제습과 열펌프 사이클을 조합한 MIDA시스템으로 공기온도가 일정하거나 상승하게 되었다. 열펌프사이클로서 열을 흡수기에서 진공으로 작동되는 용액 재생기로 전달한다.

  • PDF

포도상구균에서 분비하는 장내독소 B(SEB)에 대한 재조합 단백질을 이용한 면역특이적 난황항체 생산 (Production of Immunospecific Egg Yolk Antibody with Recombinant Staphylococcal Enterotoxin B (SEB) Protein)

  • 이성;이상래;정경민;김정우
    • 한국가금학회지
    • /
    • 제39권4호
    • /
    • pp.273-278
    • /
    • 2012
  • 본 연구는 식중독은 물론, 아토피성 피부염의 원인물질로 알려져 있는 포도상구균 장내독소 B(Staphylococcal enterotoxin B; SEB)에 대한 특이 난황항체를 개발하고자 실험을 실시하였다. 우선, SEB 유전자를 클로닝한 다음, 대장균 발현시스템을 이용하여 약 30 kDa 정도의 재조합 SEB 단백질을 생산하였다. 재조합 SEB 단백질을 산란계에 2주 간격으로 3회 면역접종을 실시하고, 혈청 및 난황 내 항체가를 측정한 결과, 면역 후 4주경에 항체가가 최고치에 달하였으며, 산란계로부터 획득한 난황항체를 이용한 Western blot 결과, 재조합 SEB 단백질은 물론, 상용화 SEB 단백질과도 특이적으로 반응한다는 것을 규명하였다. 결론적으로, 식중독과 아토피성 피부염 등의 원인물질로 알려진 SEB에 특이적인 난황항체를 생산에 성공하였으며, 이러한 특이적인 난황항체는 식중독 및 아토피성 피부염의 예방 및 치료에 활용 가능할 것으로 사료된다.

시멘틱 e-워크플로우 프로세스를 이용한 동적 웹 서비스 조합 (Dynamic Composition of Web Services using Semantic e-Workflow Processes)

  • 이용주
    • 한국컴퓨터정보학회논문지
    • /
    • 제10권1호
    • /
    • pp.101-112
    • /
    • 2005
  • 최근에 동적으로, 즉 요구가 있는 즉시 서비스들을 조합하는 동적 웹 서비스 조합은 가장 큰 관심사 중하나이다. 특히, 사용자가 현존하는 하나의 웹 서비스로는 요구사항들을 만족시켜줄 수 있는 기능이 없을 때 그러한 요구를 만족시키기 위해 몇 개의 서비스들을 동적으로 결합해야 하는 문제가 큰 이슈로 부각되고 있다. 본 논문에서는 비즈니스 분야에서 성공적으로 활용되고 있는 워크플로우 기법을 적용하여 동적웹 서비스 조합을 구현한다. 워크플로우의 웹 서비스 적용은 아직까지는 새로운 분야로써 다음과 같은 두가지 문제 해결을 요구한다. (1) 인터넷상에 흩어져 있는 수많은 웹 서비스들 중에서 어떻게 원하는 서비스를 효율적으로 탐색할 수 있는가, (2) 탐색된 다양한 이기종 웹 서비스들 간의 상호운용성 극대화 문제에 관한 해결이 필요하다. 본 연구에서는 (1)을 수행하기 위해 웹 서비스 매칭 알고리즘이 제안되고, (2)를 해결하기 위해 매칭 알고리즘에 온톨로지 개념이 적용된다. 그리고 어떻게 동적 뀁 서비스 조합이 구현되는지 설명하기 위해 하나의 프로토타입 시스템을 구축한다.

  • PDF

반응형 계획에 기초한 자동화된 시맨틱 웹서비스의 조합 (Automated Composition of Semantic Web Services Based on Reactive Planning)

  • 진훈;김인철
    • 정보처리학회논문지B
    • /
    • 제14B권3호
    • /
    • pp.199-214
    • /
    • 2007
  • 최근 들어 인공지능 계획기법을 이용하여 자동화된 시맨틱 웹서비스들 간의 조합을 구현하려는 연구들이 활발하게 이루어지고 있다. 하지만 일반적으로 전통적인 인공지능 계획기법들은 복잡한 제어구조를 포함하는 웹서비스 프로세스를 하나의 단위 행동이나 계획으로 표현하기 어렵고, 온톨로지에 포함된 의미 정보들을 계획생성에 충분히 반영할 수 없으며, 웹서비스들 사이의 입출력 데이터 흐름을 직접 모델링할 수 없고, 계획단계와 실행단계가 분리되어 있어 웹서비스 실행단계의 불확실성과 가변성을 계획단계에서 충분히 고려할 수 없다는 등의 한계점을 가지고 있다. 본 연구에서는 이러한 문제점들을 해결하기 위한 접근 방법으로서 반응형 계획을 이용한 시맨틱 웹서비스 조합을 제안하고, 프로토타입 시스템인 SWEEP을 구현하였다. e-Commerce 분야의 예제 웹서비스들을 대상으로 실험을 통해, 우리는 반응형 계획이 자동화된 시맨틱 웹서비스의 조합과 실행을 구현하기 위한 효과적인 기술임을 확인할 수 있었다.

3실 열펌프의 운전조합에 대한 난방성능 실험연구 (Experimental Study on Heating Performance by Operation Combination of Heat Pump with 3 Indoor-Units)

  • 김주형;김기영;권영철;박승철
    • 한국산학기술학회논문지
    • /
    • 제14권9호
    • /
    • pp.4197-4203
    • /
    • 2013
  • 본 실험연구는 인버터 압축기를 적용한 실내기 3실을 가진 멀티형 열펌프 시스템의 난방운전 시 열펌프의 난방성능을 연구하였다. 멀티형 열펌프의 운전특성은 항온항습 기능을 가진 공기엔탈피방식의 멀티형 칼로리미터를 이용하여 측정되었다. 난방표준 및 난방저온 온도조건에서 실내기 운전조합에 따른 실험을 수행하여 난방성능 변화를 관찰하였다. 실내기 3실을 가진 열펌프의 실내기 운전조합에 따른 난방표준 및 난방저온 운전에서 난방능력, 난방 COP, P-h선도로부터, 3실을 가진 열펌프의 운전특성과 냉매 사이클의 거동을 조사하였다. 열펌프의 운전부하와 성능은 실내기 조합에 의한 부분부하에 의존하므로 열펌프의 난방능력과 사이클의 거동은 다르게 관찰되었다. 표준온도 시험조건 대비 저온 시험조건의 난방능력과 난방 COP는 감소하였다. 또한 실내기 조합에 대한 냉매사이클은 P-h 선도를 사용하여 분석되었다.

지상무기체계 교전 모의를 위한 에이전트 기반 시뮬레이션 시스템 아키텍처 설계 연구 (A Study on Agent based Simulation System Architecture for the Engagement of Ground Weapon Systems)

  • 함원경;정용호;나재호;박상철
    • 한국시뮬레이션학회논문지
    • /
    • 제21권4호
    • /
    • pp.81-90
    • /
    • 2012
  • 본 논문은 지상무기체계 교전을 모의하기 위한 시뮬레이션 시스템 구축에 관한 연구이다. 본 논문에서는 에이전트 시뮬레이션 설계 방법론에 기반하여 시뮬레이션 시스템 아키텍처를 제안한다. 제안된 아키텍처의 각 개체는 에이전트 기반으로 모듈화된 컴포넌트들을 조합하여 구성된다. 이와 같은 개체 구성 방법은 개체의 재사용성과 조합성을 향상시키고, 결과적으로 시뮬레이션 시스템의 개발에 투입되는 시간, 비용, 및 노력을 감소시킨다. 지상무기체계 교전의 모의는 환경의 영향을 반영하는 것이 매우 중요하다. 제안된 아키텍처의 합성전장환경은 전장의 환경 데이터를 가지며 시뮬레이션 시스템의 전투개체와 계속적으로 상호작용한다. 이러한 아키텍처를 기반으로 구축된 시뮬레이션 시스템은 목적에 따라 다양한 지상무기체계 교전 시나리오의 신속한 모의가 가능하고, 개체들의 행위 수행에 환경 영향이 반영되어 신뢰성 있는 시뮬레이션 결과를 도출할 수 있다. 본 논문은 제안된 아키텍처를 기반으로 예제 시스템을 구축하여 그 효용성을 증명하였다.

조합에서 모든 경우의 수를 만들기 위한 CPU와 GPU의 효율적 협업 방법 (Efficient Collaboration Method Between CPU and GPU for Generating All Possible Cases in Combination)

  • 손기봉;손민영;김영학
    • 정보처리학회논문지:컴퓨터 및 통신 시스템
    • /
    • 제7권9호
    • /
    • pp.219-226
    • /
    • 2018
  • 조합에서 모든 경우의 수를 생성하는 체계적인 방법 중 하나는 조합 트리를 구성 하는 것이며 조합 트리를 구성하는 시간 복잡도는 O($2^n$)이다. 조합 트리는 그래프 동형 문제나 빈발 항목집합을 계산하는 초기 모델 등 다양한 목적으로 활용된다. 그러나 조합의 모든 경우의 수를 탐색해야 하는 알고리즘은 높은 시간 복잡도로 인해 현실적으로 활용되기 어렵다. 그럼에도 불구하고 데이터의 양이 방대해지고 이를 활용하기 위한 다양한 연구가 진행되면서 모든 경우의 수를 탐색해야만 하는 경우가 늘고 있다. 최근 GPU환경이 보급되고 쉽게 접할 수 있게 되면서 직렬 환경에서 높은 시간 복잡도를 가지는 알고리즘들을 병렬화 하여 시간을 줄이려는 다양한 시도가 이루어지고 있다. 조합에서 모든 경우의 수를 생성하는 방법은 순차적으로 진행되고 하부 작업의 크기가 편향되기 때문에 병렬 구현에 적합하지 않다. 병렬 알고리즘의 성능은 모든 스레드가 비슷한 크기의 작업을 가질 때 극대화될 수 있다. 본 논문에서는 모든 경우의 수를 구하는 문제를 병렬화하기 위하여 CPU와 GPU가 효율적으로 협업하기 위한 방법을 제안한다. 제안한 알고리즘의 성능을 검증하기 위하여 이론적인 측면에서 시간 복잡도를 분석하고, CPU와 GPU환경에서 다른 알고리즘과 본 연구에서 제안한 알고리즘의 실험 시간을 비교한다. 실험 결과 본 연구에서 제안한 CPU와 GPU의 협업 알고리즘은 이전 알고리즘에 비하여 CPU의 수행시간과 GPU의 수행시간의 균형을 유지하였고 아이템의 개수가 커질수록 괄목할 만한 시간 개선을 보였다.

공개용 리소스를 활용한 Haplotype 재조합 시스템 개발 (Development of Haplotype Reconstruction System Using Public Resources)

  • 김기봉
    • 한국산학기술학회논문지
    • /
    • 제11권2호
    • /
    • pp.720-726
    • /
    • 2010
  • Haplotype은 연관성을 띠면서 함께 유전하는 SNP (Single Nucleotide Polymorphism) 집단을 반영하고 있기 때문에 맞춤의학 분야에서 haplotype기반의 연구 중요성이 지속적으로 급증하고 있다. in silico 방법을 바탕으로 Haplotype 재조합을 위해 현재 가장 널리 사용되는 공개용 리소스 응용소프트웨어로는 PL-EM, Haplotyper, PHASE 및 HAP 등이 있다. PL-EM, Haplotyper 및 PHASE 등은 리눅스와 유닉스 시스템에서 구동되는 명령라인 응용 소프트웨어이고, HAP는 클라이언트-서버 환경에서 웹기반으로 구동되는 소프트웨어이다. 본 논문에서는 실험적으로 검증된 데이터들을 이용하여 공개용 리소스 소프트웨어들의 정확성을 검증하고, 그러한 검증결과를 토대로 선별된 Haplotyper와 PL-EM 등으로 개발한 통합 haplotye 재조합 시스템에 대해 소개하고자 한다. 개발된 통합 시스템은 사용자 친화적 웹 인터페이스를 갖는 클라이언트-서버 시스템으로 최종 사용자들에게 양질의 haplotype 분석 결과를 제공할 수 있다. Haplotyper의 경우 5명의 개체로부터 얻은 길이가 5인 SNP 유전자형 데이터를 가지고 결과를 분석하였고, PL-EM의 경우 15명의 개체로부터 얻은 길이가 13인 SNP 유전자형 데이터를 가지고 결과를 분석하였다. 그 결과 본 시스템은 두 부분으로 나누어 개개인의 haplotype 정보와 haplotype 집단 정보를 이해하기 쉽게 체계적으로 제공하는 것을 확인하였다. 이러한 측면에서 본 시스템은 haplotype 지도 작성을 통한 질병 유전자 발굴 및 맞춤의약 개발 연구에 매우 유용한 도구로 사용될 수 있으리라 여겨진다.

최장일치를 이용한 구문 분석용 형태소 분석기 (Morphological Analyzer using Longest Match Method for Syntactic Analysis)

  • 송연정;이근용;이용석
    • 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
    • /
    • 한국정보과학회언어공학연구회 1999년도 제11회 한글 및 한국어 정보처리 학술대회 및 제1회 형태소 분석기 및 품사태거 평가 워크숍
    • /
    • pp.157-166
    • /
    • 1999
  • 형태소 분석 단계는 자연어 처리 과정의 첫 번째 단계로써 주어진 입력 어절들에 대한 형태소들의 조합을 추출하는 일을 한다. 형태소 분석 시스템의 기본적인 기능은 매우 중요하여 적용되는 형태소 분석 알고리즘에 따라 형태소 분석 시스템의 성능에 영향을 미친다. 그러나 형태소 분석 시스템, 구문 분석 시스템 및 의미 분석 시스템이 연계되어 하나의 자연어 처리 시스템이 구축되는 관점에서는 구문분석 시스템의 부담을 줄여 전체 시스템의 효율을 향상시키기 위하여 구문 분석 시스템의 입력에 적합한 형태소 분석 결과를 생성해주는 일 또한 형태소 분석 시스템의 중요한 역할이라 할 수 있다. 본 시스템은 최장일치법을 이용한 형태소 분석 방법으로 입력 어절에 대한 형태소 분석을 수행하는 동안 분석 후보의 개수를 줄이고 사전 탐색 시간을 줄여준다. 또한 구문분석 시스템의 입력에 적절한 형태소 분석 결과를 생성하여 전체 응용 시스템의 효율성을 향상시킨다.

  • PDF