• 제목/요약/키워드: Code Phase

검색결과 882건 처리시간 0.032초

자가치유 기법을 기반한 시스템 문제결정 자동화 방법론 (An Automated Approach to Determining System's Problem based on Self-healing)

  • 박정민;정진수;이은석
    • 정보처리학회논문지D
    • /
    • 제15D권2호
    • /
    • pp.271-284
    • /
    • 2008
  • 자가치유란 시스템에 정의된 제약사항들을 평가하고 위배 시에 적절한 전략을 적용하는 방법론이다. 오늘날 복잡해져가는 컴퓨팅 환경에서 자가치유를 위해 시스템에 발생한 문제를 스스로 인식하는 능력을 부여하는 연구가 중요한 이슈가 되고 있다. 그러나 대부분의 기존연구들은 목표시스템을 자가치유하기 위해 자가치유 개발자들이 제약조건을 모델링하고 분석해야 하는 노력이 크다. 따라서 본 논문에서는 자가 치유 기법을 기반으로 시스템의 내외부 문제 결정을 자동화하는 방법론을 제안한다. 본 방법론은 1) 목표 시스템의 설계단계에서 생성된 설계모델들로 시스템을 명세화하고, 2) 명세화 된 내용을 기반으로 시스템의 내외부 대한 공통 제약 사항을 자동 생성한다. 3) 자동 생성된 내부 상태 규칙을 통해 컴포넌트간의 의존관계를 해석하여 4) 생성된 공통 제약사항과 분석된 연관성 모델을 코드로 변환하고 문제결정 수준을 결정한다. 5) 문제결정 수준을 기반으로 시스템의 내외부 상태를 모니터링을 하고, 비정상 상태 발생 시 전략을 적용한다. 이러한 자동화된 제안 방법론의 특징을 통해 자가 치유 개발자의 분석의 부하를 줄이며, 나아가서는 시스템의 외적 환경뿐 아니라 내부 상태 문제에 관한 비정상적인 동작을 신속하게 정상적인 상태로 회복하고, 시스템 다운과 같은 고장 횟수를 줄이는 것이 가능해 진다. 본 논문에서는 평가를 위해 제안 방법론을 비디오 회의 시스템에 적용하고 기존 방법론과의 자가치유를 위한 활동을 비교하여 그 유효성을 확인한다.

GPU를 이용한 소프트웨어 디지털 필터의 성능개선에 관한 연구 (A Study on the Performance Improvement of Software Digital Filter using GPU)

  • 염재환;오세진;노덕규;정동규;황주연;오충식;김효령
    • 융합신호처리학회논문지
    • /
    • 제19권4호
    • /
    • pp.153-161
    • /
    • 2018
  • 본 논문은 GPU를 이용한 소프트웨어(SW) 디지털 필터의 성능개선에 대해 기술한다. 기존에 개발한 SW 디지털 필터는 CPU 기반에서 동작하여 속도가 느린 문제점이 있었는데, EAVN 관측데이터의 디지털 필터링을 위해 GPU를 도입하여 연산속도를 개선하였고, 필터링을 통하여 다른 관측국과의 데이터 처리가 가능하도록 하였다. SW 디지털 필터의 연산속도를 개선하기 위해 Tensor Core가 내장된 NVIDIA Titan V GPU 보드를 사용하였으며, 2Gbps (512 MHz BW, 1-IF)의 95초 관측데이터를 필터링하는데 관측시간의 약 1.1배, 1Gbps (16MHz BW, 16-IF)로 필터링하는데 약 0.78배 처리속도를 각각 달성하였다. 또한 KVN으로 1, 2Gbps 동시관측한 데이터에 대해 2Gbps 데이터를 디지털 필터링하여 기존 1Gbps와 비교한 결과, 교차전력스펙트럼, 위상, SNR 등이 유사한 값을 얻어 본 연구에서 개발한 SW 디지털 필터를 활용한 데이터 처리와 분석을 수행하는데 유효함을 확인하였다. 향후에는 여러 개의 GPU 보드를 사용하기 위한 소스 코드의 분산처리 최적화를 수행할 경우 실시간으로 관측데이터를 필터링할 수 있을 것으로 기대된다.

개별 블레이드 제어(IBC) 기법을 이용한 동축반전 회전익기의 진동하중 억제에 관한 연구 (Vibratory Loads Reduction of a Coaxial Rotorcraft Using Individual Blade Control Scheme)

  • 홍성현;유영현;정성남;김도형
    • 한국항공우주학회지
    • /
    • 제47권5호
    • /
    • pp.364-370
    • /
    • 2019
  • 본 연구에서는 능동적인 블레이드 제어기법인 개별 블레이드 제어(Individual Blade Control, IBC) 기법을 적용하여 고속비행 시 동축반전 회전익기의 허브 진동하중을 억제하기 위한 최적 제어입력을 탐색하였다. 통합 공탄성 해석 프로그램인 CAMRAD II를 이용하여 동축반전 회전익기인 XH-59A를 모델링하고 다양한 IBC 입력 조건에 대하여 파라미터 연구를 수행하였다. 파라미터 조절 연구를 통하여 허브 진동억제 성능을 구한 결과, 3/rev 가진 주파수의 $0.5^{\circ}$ 진폭에 $300^{\circ}$ 위상각을 갖는 IBC 제어 입력을 적용할 경우 기준 대비 진동 수준이 최대 50% 감소하는 것을 확인하였다. 진동 억제 성능은 후류 간섭에서 보다 자유로운 상부로터에서 6% 가량 하부로터보다 크게 나타났다. 로터의 전진면에서만 IBC 입력를 가진하는 경우에는 조화 가진 입력과 동일한 입력을 가할 경우 진동 수준이 최대 17% 정도 추가적으로 감소하는 것을 확인하였다. 이러한 진동 감소는 전진면만을 대상으로 적은 에너지 투입 비용으로 달성한 특징이 있다.

PLC용 uC/OS-II 운영체제 기반 펌웨어에서 발생 가능한 취약점 패턴 탐지 새니타이저 (A Sanitizer for Detecting Vulnerable Code Patterns in uC/OS-II Operating System-based Firmware for Programmable Logic Controllers)

  • 한승재;이건용;유근하;조성제
    • 한국소프트웨어감정평가학회 논문지
    • /
    • 제16권1호
    • /
    • pp.65-79
    • /
    • 2020
  • 산업제어 시스템에서 많이 사용되는 PLC(Programmable Logic Controller)는 마이크로 컨트롤러, 실시간 운영체제, 통신 기능들과 통합되고 있다. PLC들이 인터넷에 연결됨에 따라 사이버 공격의 주요 대상이 되고 있다. 본 논문에서는, 데스크톱에서 개발한 uC/OS-II 기반 펌웨어를 PLC로 다운로드 하기 전, 펌웨어 코드의 보안성을 향상시켜 주는 새니타이저를 개발한다. 즉, PLC용 임베디드 펌웨어를 대상으로 버퍼의 경계를 넘어선 접근을 탐지하는 BU 새니타이저(BU sanitizer)와 use-after-free 버그를 탐지하는 UaF 새니타이저(UaF sanitizer)를 제안한다. BU 새니타이저는 대상 프로그램의 함수 호출 그래프와 심볼 정보를 기반으로 제어 흐름 무결성 위배도 탐지할 수 있다. 제안한 두 새니타이저를 구현하고 실험을 통해 제안 기법의 유효성을 보였으며, 기존 연구와의 비교를 통해 임베디드 시스템에 적합함을 보였다. 이러한 연구결과는 개발 단계에서 의도하지 않은 펌웨어 취약점을 탐지하여 제거하는데 활용할 수 있다.

RANS simulation of secondary flows in a low pressure turbine cascade: Influence of inlet boundary layer profile

  • Michele, Errante;Andrea, Ferrero;Francesco, Larocca
    • Advances in aircraft and spacecraft science
    • /
    • 제9권5호
    • /
    • pp.415-431
    • /
    • 2022
  • Secondary flows have a huge impact on losses generation in modern low pressure gas turbines (LPTs). At design point, the interaction of the blade profile with the end-wall boundary layer is responsible for up to 40% of total losses. Therefore, predicting accurately the end-wall flow field in a LPT is extremely important in the industrial design phase. Since the inlet boundary layer profile is one of the factors which most affects the evolution of secondary flows, the first main objective of the present work is to investigate the impact of two different inlet conditions on the end-wall flow field of the T106A, a well known LPT cascade. The first condition, labeled in the paper as C1, is represented by uniform conditions at the inlet plane and the second, C2, by a flow characterized by a defined inlet boundary layer profile. The code used for the simulations is based on the Discontinuous Galerkin (DG) formulation and solves the Reynolds-averaged Navier-Stokes (RANS) equations coupled with the Spalart Allmaras turbulence model. Secondly, this work aims at estimating the influence of viscosity and turbulence on the T106A end-wall flow field. In order to do so, RANS results are compared with those obtained from an inviscid simulation with a prescribed inlet total pressure profile, which mimics a boundary layer. A comparison between C1 and C2 results highlights an influence of secondary flows on the flow field up to a significant distance from the end-wall. In particular, the C2 end-wall flow field appears to be characterized by greater over turning and under turning angles and higher total pressure losses. Furthermore, the C2 simulated flow field shows good agreement with experimental and numerical data available in literature. The C2 and inviscid Euler computed flow fields, although globally comparable, present evident differences. The cascade passage simulated with inviscid flow is mainly dominated by a single large and homogeneous vortex structure, less stretched in the spanwise direction and closer to the end-wall than vortical structures computed by compressible flow simulation. It is reasonable, then, asserting that for the chosen test case a great part of the secondary flows details is strongly dependent on viscous phenomena and turbulence.

2차원수조내에서 단파의 변형과 구조물에 작용하는 단파파력에 관한 수치해석 (Numerical Analysis of Wave Transformation of Bore in 2-Dimensional Water Channel and Resultant Wave Loads Acting on 2-Dimensional Vertical Structure)

  • 이광호;김창훈;김도삼;황용태
    • 대한토목학회논문집
    • /
    • 제29권5B호
    • /
    • pp.473-482
    • /
    • 2009
  • 본 연구에서는 대부분이 수조실험에 의한 추정되어 온 해중의 방파제나 호안 등의 연직벽체에 작용하는 undular 및 turbulent bore에 의한 단파파력을 수치적으로 추정하기 위하여 Navier-Stokes운동방정식에 수면형상의 추적에 VOF법(Hirt and Nichols, 1981)을 채용하고 있는 CADMAS-SURF(CDIT, 2001)를 적용한다. 적용에서는 소스코드를 본 연구의 목적에 부합하도록 일부 수정하였다. 얻어진 원수치데이터에는 급격한 파력의 증감을 나타내는 스파이크현상이 강하게 표현되었으며, 이에 수치필터를 적용하여 5Hz 이상의 고주파수성분을 필터링하였다. 수치해석결과의 신뢰성을 확보하기 위하여 Matsutomi(1991) 및 Ramsden(1996)의 수조실험결과와 비교 검토하였으며, 이로부터 매우 좋은 일치성과 유용성을 확인할수 있었고, 단파성지진해일의 작용하에 있는 구조물의 설계에 도입될 수 있을 것으로 판단된다. 그리고, 본 2차원수조내에서 단파의 변형을 수위의 시 공간변화로부터 추정함과 동시에 전파속도의 변화특성을 나타내었다. 단파의 전파속도는 전파과정에서 변화되는 것을 확인할 수 있었다.

PASTELS project - overall progress of the project on experimental and numerical activities on passive safety systems

  • Michael Montout;Christophe Herer;Joonas Telkka
    • Nuclear Engineering and Technology
    • /
    • 제56권3호
    • /
    • pp.803-811
    • /
    • 2024
  • Nuclear accidents such as Fukushima Daiichi have highlighted the potential of passive safety systems to replace or complement active safety systems as part of the overall prevention and/or mitigation strategies. In addition, passive systems are key features of Small Modular Reactors (SMRs), for which they are becoming almost unavoidable and are part of the basic design of many reactors available in today's nuclear market. Nevertheless, their potential to significantly increase the safety of nuclear power plants still needs to be strengthened, in particular the ability of computer codes to determine their performance and reliability in industrial applications and support the safety demonstration. The PASTELS project (September 2020-February 2024), funded by the European Commission "Euratom H2020" programme, is devoted to the study of passive systems relying on natural circulation. The project focuses on two types, namely the SAfety COndenser (SACO) for the evacuation of the core residual power and the Containment Wall Condenser (CWC) for the reduction of heat and pressure in the containment vessel in case of accident. A specific design for each of these systems is being investigated in the project. Firstly, a straight vertical pool type of SACO has been implemented on the Framatome's PKL loop at Erlangen. It represents a tube bundle type heat exchanger that transfers heat from the secondary circuit to the water pool in which it is immersed by condensing the vapour generated in the steam generator. Secondly, the project relies on the CWC installed on the PASI test loop at LUT University in Finland. This facility reproduces the thermal-hydraulic behaviour of a Passive Containment Cooling System (PCCS) mainly composed of a CWC, a heat exchanger in the containment vessel connected to a water tank at atmospheric pressure outside the vessel which represents the ultimate heat sink. Several activities are carried out within the framework of the project. Different tests are conducted on these integral test facilities to produce new and relevant experimental data allowing to better characterize the physical behaviours and the performances of these systems for various thermo-hydraulic conditions. These test programmes are simulated by different codes acting at different scales, mainly system and CFD codes. New "system/CFD" coupling approaches are also considered to evaluate their potential to benefit both from the accuracy of CFD in regions where local 3D effects are dominant and system codes whose computational speed, robustness and general level of physical validation are particularly appreciated in industrial studies. In parallel, the project includes the study of single and two-phase natural circulation loops through a bibliographical study and the simulations of the PERSEO and HERO-2 experimental facilities. After a synthetic presentation of the project and its objectives, this article provides the reader with findings related to the physical analysis of the test results obtained on the PKL and PASI installations as well an overall evaluation of the capability of the different numerical tools to simulate passive systems.

Product-Service System(PSS) 성공과 실패요인에 관한 탐색적 사례 연구 (Exploratory Case Study for Key Successful Factors of Producy Service System)

  • 박아름;진동수;이경전
    • 지능정보연구
    • /
    • 제17권4호
    • /
    • pp.255-277
    • /
    • 2011
  • PSS(Product Service System) 시스템은 제품과 서비스가 하나로 통합되어 고객에게 차별화된 가치를 제공하고, 기업이 경쟁력을 가지고 지속적인 성장을 할 수 있게 지원하는 시스템이다. 본 논문에서는 PSS 시스템으로 성공한 Amazon의 Kindle과 Apple의 iPod, 실패한 Microsoft의 Zune과 Sony의 e-book reader를 채택하여 중다 사례연구 방법론을 통해 성공요인과 실패요인을 도출하고자 한다. 이를 위하여, 사례 분석을 통해 가설을 도출하고, 연관 문헌연구와의 비교 및 분석을 통하여 PSS 시스템에서 상업적으로 성공하기 위한 전략적 시사점을 제시하였다.

AMOLED 컬럼 구동회로 응용을 위한 시분할 기법 기반의 면적 효율적인 10b DAC (An Area-Efficient Time-Shared 10b DAC for AMOLED Column Driver IC Applications)

  • 김원강;안태지;이승훈
    • 전자공학회논문지
    • /
    • 제53권5호
    • /
    • pp.87-97
    • /
    • 2016
  • 본 논문에서는 시분할 기법을 적용하여 AMOLED 컬럼 구동회로용 DAC의 유효 채널 면적을 최소화한 2단 저항 열 기반의 10비트 DAC를 제안한다. 제안하는 DAC는 시분할 기법 기반의 DEMUX, 6비트 및 4비트의 2단 저항 열 구조를 기반으로 하는 롬 구조의 디코더를 2단계로 사용하여 기존의 디스플레이용 DAC보다 빠른 변환속도를 가지는 동시에 하나의 패널 컬럼 구동을 위한 DAC의 유효 면적을 최소화하였다. 두 번째 단 4비트 저항 열에서는 DAC 채널의 면적과 부하 영향을 줄이는 동시에 버퍼 증폭기로 인한 채널 간 오프셋 부정합을 제거하기 위해 기존의 단위-이득 버퍼 대신 간단한 구조의 전류원으로 대체하였다. 제안하는 1:24 DEMUX는 하나의 클록과 5비트 2진 카운터만을 사용하여, 하나의 DAC 채널이 24개의 컬럼을 순차적으로 구동할 수 있도록 하였다. 각 디스플레이 컬럼을 구동하는 출력 버퍼 입력 단에는 0.9pF의 샘플링 커패시터와 작은 크기의 source follower를 추가하여 top-plate 샘플링 구조를 사용하면서 채널 전하 주입에 의한 영향을 최소화하는 동시에 출력 버퍼의 신호정착 정확도를 향상시켰다. 제안하는 DAC는 $0.18{\mu}m$ CMOS 공정으로 제작하였으며, DAC 출력의 정착 시간은 입력을 '$000_{16}$'에서 '$3FF_{16}$'으로 인가했을 때 62.5ns의 수준을 보인다. 제안하는 DAC 단위 채널의 면적 및 유효 채널 면적은 각각 $0.058mm^2$$0.002mm^2$이며, 3.3V의 아날로그 및 1.8V의 디지털 전원 전압에서 6.08mW의 전력을 소모한다.

자궁암 치료용 다채널 초음파 온열치료기 (Multi-element Ultrasound Applicator for the Treatment of Cancer in Uterus and Cervix)

  • 이레나
    • 한국의학물리학회지:의학물리
    • /
    • 제16권1호
    • /
    • pp.16-23
    • /
    • 2005
  • 본 연구에서는 자궁경부암 및 질암 치료 시 고선량률 강내 근접치료기와 병행하여 사용가능한 다채널 초음파 온열 치료 기구를 제작하였다. 텐덤형의 경우 자궁 내에 삽입이 용이하도록 외부직경 4 mm, 두께 0.7 mm, 길이 24.5 mm인 원통형 plezo-ceramic crystal transducer (PZT-5A) 물질이 초음파 발생원으로 사용되었다. 질벽 또는 질 천정치료에 이용될 치료기는 질에 삽입되어야 하므로 질의 크기와 비슷한 직경 24.5 mm, 두께 1.3 mm, 길이 15.2 mm인 원통형 PZT-8 물질이 이용되었다. 임피던스와 phase 측정결과에 따라 외부직경이 4 mm인 PZT-5A의 작동주파수는 3.2 MHz 로 결정되었고 외부직경이 24.5 mm인 PZT-8 물질의 작동 주파수는 1.7 MHz로 결정되었다. Radiation force 방법으로 측정된 초음파 발생효율은 텐덤형 초음파원은 33%이고 원통형 초음파원은 61%이다. 원통형 초음파 발생물질로부터 발생되는 초음파 분포도를 MATLAB을 이용하여 계산하였고 실제 물 팬텀 내에서 열전대를 이용하여 측정하였다. 계산을 통해 얻어진 radial 한 방향으로 방사된 초음파압은 자궁내로 삽입되는 텐덤형 트랜스듀서의 경우 표면에서 5 mm 되는 점을 기준으로 10 mm 에서는 58%이고 20 mm에서는 45%이다. 질 치료에 사용될 트랜스듀서의 세기는 표면으로부터 5 mm에서의 세기를 기준으로 15 mm 거리에서는 78%, 25 mm 거리에서는 66%로 감소하였다. 특성분석 결과 직경 4 mm인 PZT-5A 와 24.5 mm인 PZT8 물질은 온열치료의 초음파원으로 사용가능함이 입증되었다. 따라서 직경 4 mm인 PZT-5A 트랜스듀서 3개를 연결하여 치료길이가 75 mm인 텐덤형 온열치료기구를 제작하였고 직경 24.5 mm인 PZT-8 트랜스듀서 4개를 연결하여 치료길이가 61 mm인 질암 치료용 온열치료기구를 제작하였다.

  • PDF