• 제목/요약/키워드: 계층적 상태 기계

검색결과 21건 처리시간 0.026초

속성 명세 지원 시스템 (Property Specifications Guided System)

  • 전승수;권기현
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
    • /
    • pp.463-465
    • /
    • 2001
  • 본 논문에서는 패턴 기반의 시각적 속성 명세 연구를 통해 모든 명세 논리를 포괄하는 요구성 명세의 단일 프레임워크와 자동화 지원 도구를 제시한다. 또한 유도 질문을 통한 속성 명세와 속성의 구조 및 상호관계 표현 방법을 보인다. 본 연구에서는 패턴 기반의 시각적 속성 명세 언어(PVSL)를 정의했다. 요구 속성은 속성도를 통해 표현되며 패턴 다이어그램과 속성 and-or 트리로 의미 및 구조를 해석한다. PVSL 과 속성도는 검증자의 기존 지식을 최대한 활용할 수 있도록 계층형 유한 상태 기계의 표기법을 활용한다. 그리고 Nu-SMV 에서 실제 사용된 CTL 예제를 속성도로 명세하고 이를 해석하는데 적용했다. 그 결과 배경 지식을 최소화할 수 있었으며 빠른 명세와 해석이 가능했다. 또한 명세의 오류를 방지할 수 있었으며 속성의 구조와 상호관계를 쉽게 파악할 수 있었다.

  • PDF

초기 볼트풀림 상태의 볼트 체결력 예측을 위한 주파수응답 유사성 기반의 합성곱 신경망 (Convolutional Neural Network-based Prediction of Bolt Clamping Force in Initial Bolt Loosening State Using Frequency Response Similarity)

  • 이제현;한정삼
    • 한국전산구조공학회논문집
    • /
    • 제36권4호
    • /
    • pp.221-232
    • /
    • 2023
  • 본 논문에서는 볼트로 체결된 구조체에 대하여 초기 볼트풀림 상태에서의 볼트 체결력 예측 합성곱 신경망 훈련 방법을 제시한다. 8개의 볼트의 체결력이 변경된 상태에서 계산한 주파수응답들을 완전 체결된 상태의 초기 모델과의 크기 및 모양 유사성을 표현하는 유사성 지도로 생성한다. 주파수응답 데이터들의 생성에는 크리로프 부공간법 기반의 모델차수축소법을 적용하여 효율적인 방법으로 수행할 수 있도록 한다. 합성곱 신경망 모델은 회귀 출력 계층을 사용하여 볼트의 체결력을 예측하도록 하였으며, 훈련 데이터의 개수와 합성곱 신경망 계층의 개수를 다르게 준비하여 훈련시킨 네트워크들을 비교하여 그 성능을 평가하였다. 주파수응답에서 파생되는 유사성 지도를 입력 데이터로 사용하여 초기 볼트풀림 영역에서 볼트 체결력의 진단 가능성과 유효성을 제시하였다.

연속 메소드 규칙을 이용한 객체간의 행위적 호환성 검증 기법 (An Approach to Verifying Behavioral Compatibility between Objects using Successive Methods Rule)

  • 채흥석;이준상;배정호
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제34권9호
    • /
    • pp.785-796
    • /
    • 2007
  • 객체지향 시스템의 객체들은 서브타입과 수퍼타입의 관계로 구성될 수 있다. 즉 서브타입은 수퍼타입의 구조와 행위를 상속하고 특화하는 방식의 계층적 구조를 가진다. 기존 시스템의 확장과 진화를 가능케 하기 위해서 수퍼타입과 서브타입간의 행위적 호환성은 둘 간의 대체가능성을 위하여 중요한 문제이다. 본 논문에서는 객체의 동적 행위를 기술하는 범용적인 표현 방법 중 하나인 유한상태기계로 표현된 객체의 동적 행위를 바탕으로 객체간의 행위적 호환성을 검사할 수 있는 기법인 메소드 규칙을 확장한 연속 메소드 규칙을 제시한다. 연속 메소드 규칙은 기존의 메소드 규칙(methods rule)을 바탕으로 두 객체의 자취를 조사함으로써 두 객체가 행위적 호환성이 있음을 보장한다. 또한 연속 메소드 규칙을 이용하여 행위적 호환성을 검증할 수 있는 알고리즘을 제시한다.

CBM 기반의 사출품 품질 관리 시스템 (Quality Control System Based on Cbm in Injection Molding Product)

  • 박홍석;김종수
    • 한국공작기계학회논문집
    • /
    • 제18권2호
    • /
    • pp.178-186
    • /
    • 2009
  • Most of automotive plastic parts are injection molding products. Inspection of total product is impossible, because number of product to inspect is too many and various. Condition-based Monitoring was proposed to decrease cost and time for inspecting. In this research, a system that predicts quality of part at fabrication point of time, and confirms informations through the internet was developed. Cavity sensors were installed inside of mold, and gathered signals as measuring, and through this process Sensor-based Monitoring system can be observed manufacturing of a part. Monitoring system transmits signals to client through the internet, and finally developed system provides manufacturing informations and predictions of quality as web-based monitoring.

SVM을 이용한 웨이블릿 기반 프로파일 분류에 관한 연구 (A Wavelet-based Profile Classification using Support Vector Machine)

  • 김성준
    • 한국지능시스템학회논문지
    • /
    • 제18권5호
    • /
    • pp.718-723
    • /
    • 2008
  • 베어링은 각종 설비에서 활용되는 중요한 기계요소 중 하나이다. 설비고장의 상당수는 베어링의 결함이나 파손에 기인하고 있다. 따라서 베어링에 대한 온라인모니터링기술은 설비의 정지를 예방하고 손실을 줄이는 데 필수적이다. 본 논문은 진동 신호를 이용하여 베어링의 상태를 예측하기 위한 온라인모니터링에 대해 연구한다. 프로파일로 주어지는 진동신호는 이산 웨이블릿 변환을 통해 분석되고, 분해수준별 웨이블릿 계수로부터 얻은 통계적 특징 중 유의한 것을 선별하고자 분산분석 (ANOVA)을 이용한다. 선별된 특징벡터는 Support Vector Machine (SVM)의 입력이 되는 데, 본 논문에서는 다중클래스 분류문제를 다루기 위한 계층적 SVM 트리를 제안한다. 수치실험 결과, 제안된 방법은 베어링의 결함을 분류하는 데 우수한 성능을 갖는 것으로 나타났다.

자동화 기기를 위한 제어 시스템에서의 통신 Emulate 개발 (Development of Communication Emulate Technique in control system for Automatic Machine.)

  • 이범석;정화영
    • 한국산업정보학회:학술대회논문집
    • /
    • 한국산업정보학회 2000년도 춘계학술대회논문집
    • /
    • pp.101-106
    • /
    • 2000
  • 자동화 기기 분야에서 컴퓨터의 적용 및 응용은 하드웨어 발달에 따라 매우 빠르고 민감하게 반영되어왔다. 이는 컴퓨터 하드웨어의 빠른 개발 주기에 맞춰 저 가격, 고 효율성, 높은 신뢰성, 호환성 등의 장점을 가진 PC가 현대의 컴퓨터 흐름을 주도하게 되면서 자동화 산업분야 또한 이를 적용하여 왔기 때문이다. 이에 따라, 자동화 기기 분야에서는 고 가격, 긴 개발기간 등을 필요로 했던 과거와 달리 저 가격, 짧은 개발기간, 다양한 개발환경 등을 이룰 수 있었다. 또한, 생산량 증가에만 의존하던 과거와 달리 현대에 이르러서는 시스템의 최적화, 효율의 극대화, 시스템의 안정성, 운용의 편리성, 호환성 등의 개념들이 도입되고 있는 것이다. 자동화 기기를 구성하는 요인으로는 크게 시스템의 틀을 이루는 기계부분과 이를 제어하는 제어 시스템부로 나뉠 수 있다. 제어 시스템에서는 기계부분의 동작을 제어하는 동작 제어부와 이에 관한 정보를 화면에 나타내는 GUI(Graphical User Interface)부분으로 나뉘게된다. 현재에는 이를 통합하여 하나의 하드웨어에서 제어부와 GUI를 모두 담당하는 방법이 연구 진행되고 있으나, 하드웨어를 둘로 나누거나 하나로 하여도 제어부와 GUI 사이의 통신부분은 빼놓을 수 없는 요소가 된다. 따라서, 본 논문에서는 시스템의 안정성을 위하여 두 시스템간에 송·수신되는 데이터를 추적할 수 있도록 하는 Emulate 기법을 구현 및 개발하고자 한다. 이는, 두 시스템간의 통신 데이터를 실시간으로 누적, 저장하여 사용자로 하여금 시스템의 운용상태를 분석할 수 있게 하였으며, 시스템 오류발생 시 Emulate 자료를 근거로 시스템의 운용상태를 파악할 수 있게 하였다.근 제한기능을 제공하며 각 클라이언트와 서버간의 실시간 연결 혹은 지연연결을 지원하는 독립적인 애플리케이션이다. 이러한 처방전달 메시징시스템을 구성하는 각 요소에 대해 정의하고 개념적 모델을 설계하고자 한다.에게 청구되며, 소비자에게 전송 되는 청구서는 사용자DB를 참조하여 사용자가 미리 정의한 원하는 형태로 변환되어 전달되며, 필요시 암호화 과정을 거치는 것이 가능해야 한다. 전송된 청구서는 전자우편의 경우, 암호해독이 가능한 전용 브라우저를 통해 열람 되며, 이는 다시 전용 브라우저를 통해 지불인증이 승인되어 청구 제시서버에게 전송된다. EBPP 시스템의 제어 흐름은 크게 기업이 청구 정보를 소비자에게 제시하는 흐름과 소비자의 지불 승인으로 인해 기업이 은행에 지불을 요구하는 흐름으로 구분할 수 있다. 본 논문에서는 통합 청구서버 및 정구 제시서버의 역할 및 구성 요소들에 대해 서술하고, EBPP 시스템과 연동하여야 하는 메일 서버와의 상호 작용에 대해 서술할 것이다. 본 시스템을 아직 구현이 되지 않은 관계로 시스템의 성능 등의 수치적 결과를 제시할 수 없는 상태다., 취약계층을 위한 일차의료, 의약관리), ${\circled}2$ 보건소 조직 개편 및 민간의료기관과 협력체계 확립, ${\circled}3$ 전문인력 확보 및 인력구성 조정, 그리고 ${\circled}4$ 방문보건사업의 강화 등이다., 대사(代謝)와 관계(關係)있음을 시사(示唆)해 주고 있다.ble nutrient (TDN) was highest in booting stage (59.7%); however no significant difference was foun

  • PDF

지도 경험을 활용한 다계층 퍼셉트론의 순차적 학습 방법 (Utilizing Experiences of Supervisor in Sequential Learning for Multilayer Perceptron)

  • 이재영;김황수
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제37권10호
    • /
    • pp.723-735
    • /
    • 2010
  • 학습 수준의 평가와 수준에 맞는 지식의 제공은 인간의 학습 과정에 많은 영향을 준다. 이것은 학습 순서가 중요하다는 것을 말하고 있으며, 기계 학습에서도 학습 순서를 고려할 필요가 있다. 본 연구는 학습 순서가 학습에 미치는 영향을 알아보기 위해, MLP의 학습에서 지도자의 경험을 이용하여 학습순서를 제어하는 방법을 제안한다. 지도 경험과 평가를 이용하여 MLP의 상태를 파악하고, 현 상태에서 학습 효율이 좋을 것으로 예상되는 학습 자료를 선택하여 학습을 시킨다. 지도자의 경험을 표현하고 활용하기 위해 CRF(Conditional Random Fields)를 이용하였다. 제안한 방법은 학습 자료를 선택한다는 점에서 능동 학습(Active Learning)과 유사하지만, 학습 순서를 제시하기 위한 자료의 선택이란 점에서 능동학습과는 차이가 있다. 분류 문제에 대하여 실험해 본 결과, 순서의 제어가 없는 학습의 경우에 비하여 학습 횟수의 측면에서 일반적으로 더 나은 학습 성능을 보여준다.

고성능 전기 화학 pH 센서를 위한 유연한 3차원 다공성 폴리아닐린 필름 제조 (Preparation of Flexible 3D Porous Polyaniline Film for High-Performance Electrochemical pH Sensor)

  • 박홍준;박승화;김호준;이경균;최봉길
    • 공업화학
    • /
    • 제31권5호
    • /
    • pp.539-544
    • /
    • 2020
  • 본 연구에서는 넓은 면적의 나노필라 배열 필름을 기반으로 포토 및 소프트 리소그래피 기술과 화학적 희석 고분자 중합을 조절하여 3차원 다공성의 폴리아닐린 필름을 제조하였다. 3차원 폴리아닐린 필름은 계층 간 연결된 폴리아닐린 나노파이버들로 구성되어 있어, 넓은 표면적과 개방형의 다공성 구조를 가지는 3차원 계층형 나노웹 필름을 형성한다. 전기화학분석법을 기반으로 3차원 폴리아닐린 필름이 유연한 pH 센서 전극이 되는 것을 증명하였다. 3차원 폴리아닐린 필름은 이상적인 네른스트 거동과 근접한 60.3 mV/pH의 높은 민감도를 보였다. 또한, 3차원 폴리아닐린 전극은 10 min의 빠른 반응 속도, 우수한 반복성 그리고 높은 선택성을 나타내었다. 3차원 폴리아닐린 전극을 기계적으로 굽힌 상태에서 센서 특성을 측정하였을 때, 전극이 60.4 mV/pH의 높은 민감도를 보여줌으로써, 유연한 pH 센서 성능을 증명하였다.

마우스종양에서 분할방사선조사와 병용된 Tirapazamine의 효과에 미치는 종양 저산소상태의 영향 (Effect of Tumor Hypoxia on Efficacy of Tirapazamine Combined with Fractionated Irradiation in Mouse Tumor)

  • 김일한
    • Radiation Oncology Journal
    • /
    • 제18권2호
    • /
    • pp.120-126
    • /
    • 2000
  • 목적 : 종양내 저산소상태는 저산소세포치사제에 의하여 극복이 가능하다. 방사선의 반응을 증강시키는 tirapazamine 의 효과가 마우스 종양에서 분할방사선조사와 병용된 상태에서 종양내 산소상태에 따라 어떠한 영향을 받는가를 확인하고자 하였다. 대상 및 방법 : 대조군 및 저산소 상태의 종양을 수립하기 위하여 정상 및 4주전에 방사선 조사를 받았던 마우스의 등과 하지에 RIF-1 종양을 이식하였다. 종양이 일정한 크기에 도달하면, 대조군 및 저산소 상태 종양에 대하여 생리식염수(0.02 mlg), tirapazamine (0.08 mMkg), 방사선조사(2.5 Gy), tirapazamine 과 방사선조사의 병용 등을 사용하여 4일간 8회의 과분할 치료를 시행하였다. 등의 종양 체적이 4 배로 증가하거나 하지의 종양 단면이 2배로 증가할 때 까지 종양의 크기 변화를 측정하여 얻은 종양성장의 지연을 기준으로 각 치료에 대한 반응을 평가하였다. 결과 : 등 및 하지의 정상 및 저산소종양의 평균증식양상으로 부터 tirapazamine이 방사선의 반응을 증강시켰음을 알 수 있다. tirapazamine에 의한 방사선증강효과는 호기의 종양체적 또는 종양단면적을 기준으로 한 증식지연실험 결과 등의 정상종양에서는 1.9배, 저산소종양에서는 2.4배였으며 하지의 정상종양에서는 1.85배, 저산소종양에서는 1.6배였다. 초기종양체적의 4배 증식 또는 종양단면적의 2배 증식까지의 기간을 기준으로 설정한 증식지연실험결과 등의 정상종양에서는 1.48배, 저산소종양에서는 2.0배였으며 하지의 정상종양에서는 1.85배, 저산소종양에서는 1.6배였다. 결론 :분할 방사선조사에 tirapazamine을 병용할 경우 방사선조사효과는 증강되며, 저산소상태에 있는 마우스 종양에서의 증강효과가 대조 종양에서의 증강효과와 동일하거나 더욱 양호할 가능성을 제시할 수 있었다.었으나 $7.4\%$만이 심한 증상을 보였고, 만성 합병증은 $7.9\%$에서 관찰되었으며, 장폐색, 비뇨기계증상의 악화, 방사선 방광염등의 순이었다.전에 예방하기 위해 중점 관리해야 할 지점에 대해 더 많은 정보를 얻을 수 있으리라고 사료된다.이었고(p<0.01) 포장에 대해서는 주택형태에 따라 농가나 아파트에 거주하는 주부가 단독주택이나 연립주택에 거주하는 주부보다 더 나쁘게 평가하는 경향이었다. (p<0.05) (9) 조사대상주부들은 시판제품의 가장 개선해야 할 점으로 위생성(37.0%), 가격(23.8%), 포장(15.6%), 맛(11.1%), 저장성(10.1%) 및 색(2.4%) 등의 순으로 지적하였고 주부의 거주지에 따라 대도시에 거주할수록 위생성을, 농어촌에 거주할수록 가격을 가장 개선해야 할 점으로 보는 경향이었다. (p<0.05)3.2%는 채소에는 cholesterol이 함유되어 있지 않으므로 채식이 건강에 좋다고 하였다. 또한 질병치료에 유효한 채소는 당근 등 42가지, 질병을 유발시키는 채소는 고사리 등 10종을 지적하였으며 이들은 과학적 증명이 가능하거나 민간요법으로 전해지고 있는 내용이다. 이상과 같이 덕성여자대학교 평생교육원에 다니는 주부의 채소 소비 형태에 대하여 살펴보았는데 가공된 채소반찬과 김치의 구입은 현재까지 일반화되지 않고 있음을 알 수 있으나 김치보다 채소반찬의 구입경험이 더 많은 것으로 나타났다. 본 논문은 덕성여자대학교 평생교육원에 다니는 주부를 대상으로 하였으나 앞으로 다양한 계층의 주부를 대상으로 하여 폭 넓은 채소소비에 관련된 연구가 이루어져야 한다고 사료된다.할 경우 적정 첨가 수준으로 당화액과 추출액의 비가 3:7의 범위를 넘지 않아야 버섯의 장점을 살리면서 기존 조청의 특성을 변화시키지 않는 제품을 제조할 수 있을 것으로 보인다.mic acid의 생성량(生成量)

  • PDF