• 제목/요약/키워드: State chart

검색결과 180건 처리시간 0.028초

고조파 상태 추정에 있어서 유전 알고리즘을 이용한 최적 측정위치 선정 (Optimal Placement of Measurements using Genetic Algorithms for Harmonic State Estimation)

  • 정형환;왕용필;이정필;박희철
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2002년도 하계학술대회 논문집 A
    • /
    • pp.298-300
    • /
    • 2002
  • The design of a measurement system to perform Harmonic State Estimation (HSE) is a very complex problem. In particular, the number of available harmonic instruments(Continuous Harmonic Analysis in Real Time : CHART) is always limited. Therefore, a systematic procedure is needed to design the optimal placement of measurement points. This paper presents a new HSE algorithm which is based on an optimal placement of measurement points using Genetic Algorithms (GAs). This HSE has been applied to the New Zealand AC Power System for the validation of the new HSE algorithm. The study results have indicated an economical and effective method for optimal placement of measurement points using GAs in the HSE.

  • PDF

Efficiency Analysis of Acoustic Emission Control and Diagnostic Products Engineering

  • Irmuhamedova, R.M.;Sagatovo, M.V.
    • Journal of Multimedia Information System
    • /
    • 제2권4호
    • /
    • pp.317-326
    • /
    • 2015
  • The paper deals with the analysis of the effectiveness of acoustic emission monitoring and diagnostics of engineering products. We discuss the results of the processing results of the field experiment to study the acoustic emission in the alloy and its welded joints in the presence of technological defects. We study the characteristics of the output of acoustic emission signals at different stages of elastic-plastic deformation of alloys. Analyzed acoustic chart and the output waveform of the acoustic emission for the different types of welds. Studies have shown the effectiveness of the Acoustic emission techniques and help improve the accuracy of non-destructive testing systems in problems of automation and control.

IA를 이용한 전력시스템 고조파 상태 추정 최적 알고리즘 (An Optimal Algorithm of Harmonic State Estimation using Immune Algorithm on Power System)

  • 박인표;왕용필;정형환;박희철;안병철
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2003년도 하계학술대회 논문집 A
    • /
    • pp.92-94
    • /
    • 2003
  • The design of a measurement system to perform Harmonic State Estimation(HSE) is a very complex problem. In particular, the number of available harmonic instruments (Continuous Harmonic Analysis in Real Time : CHART) is always limited. Therefore, a systematic procedure is needed to design the optimal placement of measurement points. This paper presents an optimal algorithm of HSE which is based on an optimal placement of measurement points using Immune Algorithm (IAs). This HSE has been applied to power system for the validation of an optimal algorithm of HSE. The study results have indicated an economical and effective method for optimal placement of measurement points using IAs in the HSE.

  • PDF

실시간 객체 지향 모델을 지원하기 이한 정형 명세 (Formal Specification for Real-Time Object-Oriented Model)

  • 정유성;최수진;강인혜;양승민
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (1)
    • /
    • pp.563-565
    • /
    • 1999
  • 실시간 시스템은 응용분야의 특성상 높은 신뢰성을 요구하므로 설계시 시스템의 정확성과 안전성을 보장하는 것은 매우 중요하다. 신뢰성 보장을 위한 방법으로 정형기법(formal method)을 이용한 명세 방법이 연구되어 왔다. 정형적인 명세를 사용하는 경우 원하는 시스템의 특성에 대한 검증이 가능하며 자연어로 명세한 경우보다 모호함이 줄어들어 의사소통을 하는데 있어서 명확성을 제공한다. 그러나 이런 장점에도 불구하고 객체 지향 개발 방법론에서의 정형적인 명세에 관한 연구가 미흡하다. 본 논문에서는 객체 지향적 모델을 기반으로 하는 실시간 시스템을 위한 정형명세 언어인 Timed State Chart(TSC)를 제안한다. TSC는 Statecharts와 같은 계층적 상태 기계 모델(state machine model)로서 다양한 시간 제약사항의 명세를 위해 클릭 변수(clock variable)를 도입하여 실시간 객체(Real-Time Object 또는 RTO)를 명세한다. TSC를 이용하여 기존의 연구에서 표현할 수 없었던 주가와 마감시간과 같은 실시간 시스템의 다양한 요구사항을 효과적으로 표현할 수 있다.

  • PDF

복식호흡이 조기진통임부의 상태불안, 스트레스, 진통억제제 투여량에 미치는 효과 (Effects of Abdominal Breathing on State Anxiety, Stress, and Tocolytic Dosage for Pregnant Women in Preterm Labor)

  • 유우정;송주은
    • 대한간호학회지
    • /
    • 제40권3호
    • /
    • pp.442-452
    • /
    • 2010
  • Purpose: The purpose of this study was to identify the effects of abdominal breathing on state anxiety, stress and tocolytic dosage for pregnant women in preterm labor. Methods: The participants were 60 pregnant women in preterm labor who were hospitalized from April to July, 2009. Thirty participants were assigned to the experimental group and 30 to the control group. None of them had any other complications except preterm labor. The modified Mason's breathing technique was used with the experimental group 3 times a day for 3 days. Data were collected using a self-report questionnaire and chart review, and analyzed with the SPSS 13.0 WIN program. Results: "State anxiety of the experimental group will be lower than that of the control group" was supported. "Stress of the experimental group will be lower than that of the control group" was supported. "The Ritodrine dosage for the experimental group will be lower than that of the control group" was supported. "The Atosiban dosage for the experimental group will be lower than that of the control group" was supported. Conclusion: These results indicate that abdominal breathing is an effective nursing intervention for pregnant women in preterm labor.

STATE TOKEN PETRI NET MODELING METHOD FOR FORMAL VERIFICATION OF COMPUTERIZED PROCEDURE INCLUDING OPERATOR'S INTERRUPTIONS OF PROCEDURE EXECUTION FLOW

  • Kim, Yun Goo;Seong, Poong Hyun
    • Nuclear Engineering and Technology
    • /
    • 제44권8호
    • /
    • pp.929-938
    • /
    • 2012
  • The Computerized Procedure System (CPS) is one of the primary operating support systems in the digital Main Control Room. The CPS displays procedure on the computer screen in the form of a flow chart, and displays plant operating information along with procedure instructions. It also supports operator decision making by providing a system decision. A procedure flow should be correct and reliable, as an error would lead to operator misjudgment and inadequate control. In this paper we present a modeling for the CPS that enables formal verification based on Petri nets. The proposed State Token Petri Nets (STPN) also support modeling of a procedure flow that has various interruptions by the operator, according to the plant condition. STPN modeling is compared with Coloured Petri net when they are applied to Emergency Operating Computerized Procedure. A converting program for Computerized Procedure (CP) to STPN has been also developed. The formal verification and validation methods of CP with STPN increase the safety of a nuclear power plant and provide digital quality assurance means that are needed when the role and function of the CPS is increasing.

State-Owned Enterprises and Debt Sustainability Analysis: The Case of the People's Republic of China

  • Ferrarini, Benno;Hinojales, Marthe
    • The Journal of Asian Finance, Economics and Business
    • /
    • 제6권1호
    • /
    • pp.91-105
    • /
    • 2019
  • The paper aims to combine balance sheet analysis at the firm level with the International Monetary Fund's public debt sustainability assessment framework to assess state-owned enterprises' (SOE) leverage as a contingent liability to the public sector. Based on company data and the interest coverage ratio as a measure of debt at risk, aggregate baseline scenarios are projected to gauge the magnitude of SOE debt as a contingency. SOE's financial and debt ratios are first bootstrapped to generate firm-level distributions and then averaged into a fan chart of the economy-wide SOE contingent liability. Applied to the People's Republic of China as an example, the study finds that by the end of 2015 SOE leverage had grown to a substantial liability. However arbitrary the assumptions underlying these projections, it would appear that even if authorities had to mop up as much as 20% of SOE debt at risk gone bad, this would have been manageable at roughly 2.7% of the gross domestic product in 2016 or 5.5% by 2021. This projection framework is fully amenable to alternative assumptions and settings, which makes it a useful analytical tool to monitor contingent liabilities from non-financial corporate debt that have been building in emerging and advanced economies alike.

일본공공시설의 시설운영관리평가를 통한 실태조사연구 -지방자치단체간 비교분석을 통하여- (Investigation of Current State Using the Management Condition Evaluation of Public Facilities in Japan)

  • 이상준;코마츠 유키오
    • 한국건설관리학회:학술대회논문집
    • /
    • 한국건설관리학회 2008년도 정기학술발표대회 논문집
    • /
    • pp.843-846
    • /
    • 2008
  • 현재 일본에서는 시설의 유지관리 및 운영에 대한 연구가 증가하는 추세에 있으나, 주로 주택과 민간 오피스시설에 집중되어 있다. 공공시설의 경우, 국가차원에서 실시한 전체의 대략적인 스톡량 조사 및 유지보전에 관한 개념 및 수법 제시 등에 머물러 있는 실정이다. 지금까지, 국민의 세금으로 운영되어오던 공공시설은 장수명화 및 성능유지를 위한 노력이 많이 결여되어 있었다. 하지만, 저출산 고령화로 인한 세수의 감소, 에너지수급의 위기, $CO^2$발생량 저감 등 현재에 직면한 여러 가지 문제를 극복하기 위하여, 기존 보유시설의 장수명화 및 효율적인 운영관리의 구현은 필수적인 과제가 되었다. 따라서, 본 연구에서는 공공시설 중에서 특히, 재정상황이 좋지 않다고 하는 지방자치단체의 시설운영관리 현황을 파악하고, 지자체간 비교분석을 실시하였다. 그 결과로, 좋지 않은 재정상황 중에서도 에 너비소비효율 및 시설이용상황 등 양호한 결과를 보인 지자체를 확인하였고, 비용투입확대를 통한 유지관리실시 이외에도 기존의 활동 중에서 벤치마킹의 가능성을 확인하였다.

  • PDF

Three-dimensional numerical parametric study of deformation mechanisms of grouped piled raft foundation due to horizontal loading

  • Bo Wang;Houkun Cui;Yan Li;Ya Dai;Nan Zhang
    • Geomechanics and Engineering
    • /
    • 제35권6호
    • /
    • pp.617-626
    • /
    • 2023
  • In this study, three-dimensional numerical parametric study was conducted to explore deformation mechanisms of grouped piled-raft-foundation due to lateral load in clays. Effects of load intensity, loading angle, soil stiffness, pile diameter, pile spacing and pile length on foundation deformations were explored. It is found that the smallest and largest movements of pile foundation are induced when the loading angles are 0° and 30°~60°, respectively. By increasing loading angle from 0° to 30°~60°, the resultant horizontal movements and settlements increase by up to 20.0% and 57.1%, respectively. Since connection beams can substantially increase integrity of four piled raft foundation, resultant horizontal movements, settlements and bending moments induced in the piled raft foundation decrease by up to 54.0%, 8.8% and 46.3%, respectively. By increasing soil stiffness five times, resultant horizontal movements and settlements of pile foundation decrease by up to 61.7% and 13.0%, respectively. It is indicated that effects of connection beam and soil stiffness on settlements of pile foundation are relatively small. When pile diameter is less than 1.4 m, deformations of piled raft foundation decrease substantially as a reduction in the pile diameter. Two dimensional groups are proposed to develop calculation charts of horizontal movements and settlements of pile foundation. The proposed calculation charts can directly estimate movements of piled raft foundation under arbitrary loading, ground and pile conditions.

디지털 제품의 협동적 디자인을 위한 프로토타이핑 도구 개발 및 활용 사례 연구 (The Development and the Application of a Collaborative Design Prototyping Tool for Digital Products)

  • 남택진
    • 디자인학연구
    • /
    • 제17권4호
    • /
    • pp.119-128
    • /
    • 2004
  • 하드웨어와 소프트웨어가 통합된 디지털 제품의 사용자 중심 디자인을 위해서는 디자이넌와 최종사용자 간의 협업을 효과적으로 지원하기 위한 연구방법이 필요하다. 또한 디자인 컨셉 개발에 직접적인 도움을 줄 수 있는 디자인 연구 방법에 대한 요구가 증대되고 있다. 본 논문에서는 이러한 문제를 해결하기 위해 협동적 디자인 기법의 활용 방안을 소개하고 디지털 제품 디자인에 활용할 수 있는 협동적 디자인 프로토타이핑 도구를 제안하였다. STCtools(State Transition Chart tools)와 하드웨어 모델링 소재, 물리적 인터페이스 툴킷으로 구성된 이 도구는 디자인초기 사용자들과 디자이너들이 함께 디지털 제품의 컨셉을 탐색하고 검토하는데 효과적으로 활용될 수 있다. STCTools 소프트웨어는 컨텐츠나 인터페이스의 기본요소인 스테이트를 만들고, 편집하고, 사용자인터페이스를 스테이트들 간의 전환을 야기하는 이벤트로 구성하고, 중간 및 최종 STC 결과를 실행하는 모듈들을 포과하나다. 디자이너와 사용자는 하드웨어 모델링 소재와 소프트웨어 통합을 위한 물리적 인터페이스 툴킷을 활용하여 디자인 초기부터 하드웨어와 소프트웨어가 통합된 상황을 함께 검토할 수 있다. 도구의 효용성과 개선점을 파악하기 위하여 테마파크 관람객을 위한 휴대용 정보기기 디자인 프로젝트의 협동적 디자인 워크숍을 수행하였다. 세 번의 워크숍에서 도구를 활용함으로써 사용자와 디자이너간의 인터랙션이 촉진되고 순환적인 아이디어 전개가 가능하다는 점을 발견하였다. STCtools의 인터페이스와 관련된 문제점들도 지적되었지만 전반적으로 참가자들은 새로운 도구가 컨셉의 제안과 구체화에 기여하는 바를 긍정적으로 평가하였다. 본 연구에서 제안된 도구는 디자이너와 타 분야의 전문가, 디자이너들 간의 협동적 디자인 도구로도 효과적으로 활용될 수 있을 것으로 기대된다.

  • PDF