Browse by Title 

Showing results 90121 to 90140 of 277087

90121
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

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

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

90123
FAULT-TREE ANALYSIS OF INTERMITTENT EVENTS

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

90124
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

90125
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

90126
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

90127
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

90128
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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

90137
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

90138
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

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

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

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

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

rss_1.0 rss_2.0 atom_1.0