Browse by Title 

Showing results 89721 to 89740 of 276014

89721
Fault-Tolerant Techniques for Component and System Levels

Seong, Poong-Hyun; KIM, Bo Gyung; KIM, Hee Eun; SON, Han Seong; LEE, Seung Jun; KANG, Hyun Gook, First International Symposium Socially and Technically Symbiotic Systems, pp.05-1 - 05-6, 2012-08-29

89722
Fault-Tolernat Supervisory for Plasms Etching Systems using EPD signal

Lim Jong-Tae; Park, SJ, 제어계측, 로보틱스 및 자동화 연구회 합동 학술 발표회 , pp.84 - 87, 1998

89723
FAULT-TREE ANALYSIS OF INTERMITTENT EVENTS

Park, Kyung Soo, INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, v.17, no.8, pp.1133 - 1138, 1986-08

89724
Fault-tree-based risk assessment for dynamic condition changes

Kang, Hyun Gook; Jang, Seung-Cheol, NUCLEAR ENGINEERING AND TECHNOLOGY, v.39, no.2, pp.123 - 128, 2007-04

89725
Faultless Protection Methods in Self-Healing Ethernet Ring Networks

Lee, Kwang-koog; Ryoo, Jeong-dong; Joo, Bheom Soon, ETRI JOURNAL, v.34, no.6, pp.816 - 826, 2012-12

89726
Favorable confinement of water inside the carbon nanotubes is driven by hydrogen bond and entropy

Jung, Yousung, 7th congress of the International Society for Teoretical Chemical Physics, Waseda University, 2011-09-06

89727
Favorable pendant-amino metal chelation in VX nerve agent model systems

Bandyopadhyay, I; Kim, MJ; Lee, Yoon Sup; Churchill, David G, JOURNAL OF PHYSICAL CHEMISTRY A, v.110, no.10, pp.3655 - 3661, 2006-03

89728
Fayet-Iliopoulos terms in 5D orbifold supergravity

Abe, H; Choi, Ki-Woon; Kim, IW, JOURNAL OF HIGH ENERGY PHYSICS, v.23, pp.373 - 378, 2004-09

89729
FBAR 소자의 제작기법 및 공진특성

윤기완; 송해일; 이재영; 마이린; 휴메이윤 캬비르, 한국정보통신학회논문지, v.11, no.11, pp.2090 - 2094, 2007-11

89730
FBAR 필터 응용을 위한 Al 하부전극 상에서 ZnO 박막 증착 및 온도가 ZnO 결정의 성장에 미치는 영향

윤기완; 임문혁; 채동규; MaiLinh, 한국정보통신학회논문지, v.7, no.2, pp.255 - 262, 2003-01

89731
FBD 모델 대상 뮤테이션 연산자 정의 및 사례연구

신동환; 지은경; 배두환, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.19, no.1, pp.36 - 40, 2013-01

89732
FBD 및 LD로 구현된 PLC 프로그램의 Verilog 변환을 통한 정형검증 = Formal verification of PLC programs in FBD and LD via verilog translationlink

김병완; Kim, Byong-Wan; et al, 한국과학기술원, 2009

89733
FBD 프로그램 대상 구조적 커버리지를 만족시키는 테스트 시퀀스 생성 알고리즘

송지영; 지은경; 배두환, 2015 한국컴퓨터종합학술대회, pp.570 - 572, 한국정보과학회, 2015-06

89734
FBD 프로그램 대상 뮤테이션 기반 오류 위치 추정 기법의 활용 가능성 분석

신동환; 윤원경; 김준호; 지은경; 배두환, 2015 한국컴퓨터종합학술대회, pp.567 - 569, 한국정보과학회, 2015-06

89735
FBD 프로그램 뮤테이션 기반 오류 위치 추정 기법 적용 사례연구

신동환; 김준호; 윤원경; 지은경; 배두환, 정보과학회 컴퓨팅의 실제 논문지, v.22, no.3, pp.145 - 150, 2016-03

89736
FBD 프로그램에 대한 뮤테이션 연산자 확장 정의 및 적용

지은경; 송지영; 배두환, 정보과학회 컴퓨팅의 실제 논문지, v.24, no.11, pp.589 - 595, 2018-11

89737
FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states

Song, Jiyoung; Jee, Eunkyoung; Bae, Doo-Hwan, SCIENCE OF COMPUTER PROGRAMMING, v.163, pp.115 - 137, 2018-10

89738
FBDVerifier: Interactive and Visual Analysis of Counter-example in Formal Verification of Function Block Diagram

Jee, Eunk Young; Jeon, Seungjae; Cha, Sungdeok; Koh, Kwangyong; Yoo, Junbeom; Park, Geeyong; Seong, Poong-Hyun, JOURNAL OF RESEARCH AND PRACTICE IN INFORMATION TECHNOLOGY, v.42, no.3, pp.171 - 188, 2010-08

89739
FBG 센서가 일체화된 복합재 구조물의 충격위치 검출

박상오; 장병욱; 이연관; 김천곤; 박찬익, 한국복합재료학회 추계학술대회, 한국복합재료학회, 2009-10-23

89740
FBG 센서를 내장한 스마트 강연선 개발

윤정방; 김재민; 김영상; 김현우; 서동남, 한국전산구조공학회 춘계학술발표대회, 한국전산구조공학회, 2007-04-01

rss_1.0 rss_2.0 atom_1.0