• Title/Summary/Keyword: without guarantee

Search Result 420, Processing Time 0.024 seconds

A Study of Two-Mode Failure Model for Crystalline Si Photovoltaic Module (실리콘 태양전지 모듈의 two-mode failure 모델의 연구)

  • Choi, Ki Young;Oh, Won Wook;Kang, Byung Jun;Kim, Young Do;Tark, Sung Ju;Kim, Donghwan
    • 한국신재생에너지학회:학술대회논문집
    • /
    • 2011.11a
    • /
    • pp.62.2-62.2
    • /
    • 2011
  • To guarantee 20-25 years to the lifetime of the PV modules without failure, reliability test of the module is very important. Field-aged test of the outdoor environment is required. However, due to time constraints, accelerated testing is required to predict the lifetime of PV modules and find causes of failure. Failure is caused by many complex phenomena. In this study, we experimented two accelerated tests about corrosion and fatigue, respectively. First, temperature cycling test for fatigue were tested and Coffin-Manson equation was analyzed. Second, damp heat test for corrosion were tested and Eyring equation were analyzed. Finally, using two-mode failure model, we suggest a new lifetime model that analyze the phenomenon by combining two kinds of data.

  • PDF

Development of Attitude Constraints for Real-time Attitude Determination System using GPS carrier phase

  • Jang, Jae-Gyu;Kee, Chang-Don
    • International Journal of Aeronautical and Space Sciences
    • /
    • v.6 no.2
    • /
    • pp.17-22
    • /
    • 2005
  • As one of validation tool for attitude determination system, we have used various constraints using priori information which is known through base vector set up. However these conventional constraints cannot guarantee validity in terms of final solutions such as Euler angle. So we suggest attitude boundary concept to verify the final attitude solution on the flying airplane, it is based on the combination of velocity based attitude estimation technique and ambiguity resolution. we can say it can check invalid solution effectively at just one epoch without repeatability test of resolved cycle ambiguity. In this paper we show that the suggested constraint can effectively reject incorrectly resolved cycle ambiguity the conventional constraints have missed.

A Design of Verification Framework for Java Bytecode (자바 바이트코드의 검증을 위한 프레임워크 설계)

  • Kim, Je Min;Park, Joon Seok;Yoo, Weon Hee
    • Journal of Korea Society of Digital Industry and Information Management
    • /
    • v.7 no.2
    • /
    • pp.29-37
    • /
    • 2011
  • Java bytecode verification is a critical process to guarantee the safety of transmitted Java applet on the web or contemporary embedded devices. We propose a design of framework which enables to analyze and verify java bytecode. The designed framework translates from a java bytecode into the intermediate representation which can specify a properties of program without using an operand stack. Using the framework is able to produce automatically error specifications that could be occurred in a program and express specifications annotated in intermediate representation by a user. Furthermore we design a verification condition generator which converts from an intermediate representation to a verification condition, a verification engine which verifies verification conditions from verification condition generator, and a result reporter which displays results of verification.

An Experimental Study on Electronic Injection System for Pollutant Reduction in a DI Diesel Engine (직접분사식 디젤엔진에서의 공해저감을 위한 전자분사 시스템에 관한 실험적 연구)

  • ;;;;Ale
    • Transactions of the Korean Society of Automotive Engineers
    • /
    • v.5 no.1
    • /
    • pp.9-14
    • /
    • 1997
  • The pump-pipe-injector system is that most commonly used type of injection equipment for diesel engines. In this study, a new electromagnetic fuel injection system was designed and carried out the experiment of single cylinder direct injection(DI) diesel engine. This system do not need the cam shaft for fuel injection. The effects of the injection timing on the combustion process and emission were investigated. The results are that 1) atomization was improved, 2) combustion pressure was increased and ignition delay became shorter than before, 3) Low smoke level guarantee with more advanced injection timing without abnormal combustion but NOX concentration was increased as the injection time advanced.

  • PDF

A Study on the Image DB Construction for the Multi-function Front Looking Camera System Development (다기능 전방 카메라 개발을 위한 영상 DB 구축 방법에 관한 연구)

  • Kee, Seok-Cheol
    • Transactions of the Korean Society of Automotive Engineers
    • /
    • v.25 no.2
    • /
    • pp.219-226
    • /
    • 2017
  • This paper addresses the effective and quantitative image DB construction for the development of front looking camera systems. The automotive industry has expanded the capability of front camera solutions that will help ADAS(Advanced Driver Assistance System) applications targeting Euro NCAP function requirements. These safety functions include AEB(Autonomous Emergency Braking), TSR(Traffic Signal Recognition), LDW(Lane Departure Warning) and FCW(Forward Collision Warning). In order to guarantee real road safety performance, the driving image DB logged under various real road conditions should be used to train core object classifiers and verify the function performance of the camera system. However, the driving image DB would entail an invalid and time consuming task without proper guidelines. The standard working procedures and design factors required for each step to build an effective image DB for reliable automotive front looking camera systems are proposed.

Formal Analysis of Automatic Train Protection and Block System for Regional Line Using VDM++

  • Xie, Guo;Hei, Xinhong;Mochizuki, Hiroshi;Takahashi, Sei;Nakamura, Hideo
    • International Journal of Railway
    • /
    • v.5 no.2
    • /
    • pp.65-70
    • /
    • 2012
  • This paper introduced a novel railway system, Automatic Train Protection and Block (ATPB) briefly, which is proposed to improve the efficiency of existing regional train lines with low cost in Japan. The biggest superiority of ATPB system is a great use of universal and mature technologies, such as GPS and regular mobile telephone networks, so that there is nearly no increment of trackside equipments in the reconstruction. Then in order to guarantee the system safety, a formal model of ATPB is established and analyzed by formal method VDM++. Firstly, the specification is specified by VDM++ formally without ambiguity. Secondly, its internal consistency is proved by discharging the proof obligations. And finally, its satisfiability is checked by systematic testing, which executes specification and checks the outputs against corresponding inputs.

Analysis of Mechanical Behavior of Nanowire by Molecular Dynamics Simulation (분자동역학을 이용한 나노 와이어의 역학적 거동 해석)

  • Lee, Byeong-Yong;Cho, Maeng-Hyo
    • Proceedings of the Computational Structural Engineering Institute Conference
    • /
    • 2007.04a
    • /
    • pp.433-438
    • /
    • 2007
  • Mechanical behavior of copper Nanowire is investigated, An FCC Nanowire model composed of 1,408 atoms is used for NID simulation, Simulations are performed within NVT ensemble setting without periodic boundary conditions, Nose-Poincare MD algorithm is employed to guarantee preservation of Hamiltonian. Numerical tensile tests are carried out with constant strain rate, Stress-strain curve is constructed from the calculated Cauchy stresses and specified strain values, Non-linear behavior appears around $\varepsilon$=0.064, At this instance, starting of structural reorientations are observed.

  • PDF

Outer Voltage Regulation Loop for Maximum Torque Operation of Interior Permanent Magnet Synchronous Motor in the Flux (약계자 영역에서 외부 전압제어 루프에 의한 매입형 영구자석 동기전동기의 최대 토오크 운전)

  • Kim, Jang-Mok;Sul, Seung-Ki
    • Proceedings of the KIEE Conference
    • /
    • 1997.07a
    • /
    • pp.121-123
    • /
    • 1997
  • A novel flux-weakening scheme for the Interior Permanent Magnet Synchronous Motor (IPMSM) is proposed. This is implemented based on the output of the synchronous PI current regulator-reference voltage to the PWM inverter. Attractive features of this flux weakening scheme include no dependency on the machine parameters, the guarantee of current regulation at any operating condition, and smooth and fast transition into and out of the flux weakening mode without a discontinuity. Experimental results are presented to verify the feasibility of the proposed control scheme.

  • PDF

Fuzzy Moving Sliding Model Control for Robotic Manipulators (로봇 매니퓰레이터를 위한 퍼지 이동슬라이딩 모드 제어)

  • Chun, Kyung-Han;Park, Bong-Yeol
    • Journal of Institute of Control, Robotics and Systems
    • /
    • v.7 no.7
    • /
    • pp.597-604
    • /
    • 2001
  • Recently, the study of the moving sliding mode in the variable structure control is in progress ac-tively. The conventional time-invariant sliding model control can\`t guarantee the sliding mode in the reaching phase, which is robust against the uncertainty. But with the time-varying method, the controller makes the states track the desired trajectories and keeps the sliding mode. Nevertheless, the piecewise continuous method of the past still has the reaching mode. Thus we propose the continuously moving sliding surface by the fuzzy algorithm. The proposed algorithm is made of the fuzzy rule considering both the error and the error velocity, and may apply to the entire phase plane without sacrificing sliding mode. Especially the proposed scheme can rotate tot he slope-decreasing direction, needless to say rotating to the slope-increasing direction. For showing that the proposed controller guarantees the sliding model and ensures the robustness, we apply the proposed method to the two-link robot manipulator simulation.

  • PDF

Tip Position Control of a Flexible-Link Manipulator with Neural Networks

  • Tang Yuan-Gang;Sun Fu-Chun;Sun Zeng-Qi;Hu Ting-Liang
    • International Journal of Control, Automation, and Systems
    • /
    • v.4 no.3
    • /
    • pp.308-317
    • /
    • 2006
  • To control the tip position of a flexible-link manipulator, a neural network (NN) controller is proposed in this paper. The dynamics error used to construct NN controller is derived based on output redefinition approach. Without the filtered tracking error, the proposed NN controller can still guarantee the closed-loop system uniformly asymptotically stable as well as NN weights bounded. Furthermore, the tracking error of desired trajectory can converge to zero with the proposed controller. For comparison an NN controller with filtered tracking error is also designed for the flexible-link manipulator. Finally, simulation studies are carried out to verify the theoretic results.