• Title/Summary/Keyword: 상태 천이

Search Result 982, Processing Time 0.037 seconds

Synthesis for Testability of Synchronous Sequential Circuits Using Undefined States on Incompletely-Specified State Transition Graph (불완전명세 상태천이그래프상에서 미정의상태를 이용한 동기순차회로의 테스트용이화 합성)

  • Choi, Ho-Yong;Kim, Soo-Hyun
    • Journal of the Institute of Electronics Engineers of Korea SD
    • /
    • v.42 no.10 s.340
    • /
    • pp.47-54
    • /
    • 2005
  • In this paper, a new synthesis method for testability of synchronous sequential circuits is suggested on an incompletely-specified state transition graph (STG) by reducing the number of redundant faults. In the suggested synthesis method, 1) a given STG is modified by adding undefined states and unspecified input transitions using distinguishable transition, 2) the STG is modified to be strongly-connected as much as possible. Experimental results with MCNC benchmark show that the number of redundant faults of gate-level circuits synthesized by our modified STGs are reduced, and much higher fault coverage is obtained.

Fish Community Structures and Distribution Characteristics of Fisheries Resources in the Osip Stream and Wangpi Stream, Fishery Resources Protection Areas (내수면 수산자원보호구역 오십천 및 왕피천의 어류군집 구조 및 수산자원 분포특성)

  • Kyung-hoon Kim;Jin-wang Lee;Young-bin Jo;Jae-Hyun Lim;Ji-Woong Choi
    • Korean Journal of Ecology and Environment
    • /
    • v.56 no.1
    • /
    • pp.57-69
    • /
    • 2023
  • The objectives of this study were to analyze the fish community structures and distribution characteristics of fisheries resources in the Osip Stream and Wangpi Stream, fishery resources protection areas. For the study, we conducted fish samplings four times in the two streams from April to October 2019. In Osip Stream and Wangpi Stream, we sampled 31 species and 29 species and the dominant species were Zacco platypus (28.6%) and Squalidus multimaculatus(41.7%), respectively. According to the life type of fish species, primary freshwater species were collected 18 species(58.1%) and 21 species(72.4%), and migration fishes were sampled 4 species (12.9%) and 6 species (20.7%) in Osip Stream and Wangpi Stream, respectively. Fisheries resources species showed high relative abundance in June, and the fish biomass was highest in October. As a results of comparing the previous studies with this study, both rivers showed high biodiversity and were found to maintain stable populations of fishes. According to analysis of tolerance guilds, the proportion of tolerant species, based on the number of individuals, was composed of 14.4% and 1.1% in Osip Stream and Wangpi Stream, respectively. This very low ratio of tolerant species confirmed that both streams have very good physiochemical environment conditions. From the above results, it was judged that the fishery resource protection areas of Osip Stream and Wangpi Stream have high ecological function and preservation value. For sustainable use and management of fishery resource protection areas of Osip Stream and Wangpi Stream, it is suggested that biological disturbance management, fish discharge projects considering environmental capacity, efforts to improve the habitat environment, and establishing a fishery resource protection areas management system were necessary as considerations.

Handoff Procedures for IMT-2000 System (IMT-2000시스템에서의 핸드오프 처리절차)

  • 이동명;안지환
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 1998.10a
    • /
    • pp.216-219
    • /
    • 1998
  • 이 논문에서는 IMT-2000(International Moblie Telecommunication-2000)시스템에서의 멀티미디어 트래픽을 전송하기 위한 핸드오프 처리절차를 제안하였다. 이 절차에는 기본 코드채널(Fundamental Code Channel)과 부가 채널(Supplemental Code Channel)을 제어하기 위한 핸드오프관련 메시지들이 포함되었다. 부가 채널코들를 사용하기 위한 협상은 전송되는 트래픽의 크기에 따라 핸드오프 초기화 동안 수행된다. 그리고 MS(Moblie Station), BTS(Base Station transceiver Subsystem) 및 BSC(Base Station Controller)사이에서의 핸드오프 처리를 위한 호 흐름도와 상태천이도 (State Transition Diagram)도 설계하였다.

  • PDF

Performance analysis of traffic shaper for an MPEG video source (MPEG 비디오원을 대상으로 한 트래픽 쉐이퍼의 성능 분석)

  • 이상천;이명용;홍정식;이창훈
    • Proceedings of the Korean Operations and Management Science Society Conference
    • /
    • 1995.04a
    • /
    • pp.418-433
    • /
    • 1995
  • 본 연구에서는 MPEG 트래픽과 같이 셀 흐름에 주기성을 갖는 비디오 트래픽 모형에 대한 쉐이핑 정책을 제시하고, 쉐이퍼에서의 셀손실율, 셀지연, 및 완만화 효과를 분석하였다. 분석 모형으로는 이산 상태 마코프 연쇄를 사용하였으며, 예제를 통해 시뮬레이션 결과와 비교하므로서 분석모형을 검증하였다. 분석 결과 셀지연 및 완만화 효과 사이에는 서비스율의 증가에 따라 trade off가 존재함이 나타났다. 본 연구는 ATM 트래픽관리에 있어서 다중화 장치에서의 성능분석과 병행하여 쉐이퍼의 설계에 있어서 정량화된 기초자료를 제공할 수 있을 것이라 여겨진다.

  • PDF

한국의 과학기술 어디까지 왔나 - 센서기술

  • Son, Byeong-Gi
    • The Science & Technology
    • /
    • v.32 no.10 s.365
    • /
    • pp.28-29
    • /
    • 1999
  • 센서기술은 기계장치에 감각기능을 부여하는 기술이며 인간의 감각기능을 확대하는 기술이다. 세계 센서시장 규모는 2000년에는 2천4백억달러로 예상되며 우리 한국의 세계시장 점유율은 95년 기준 1.4%에 불과한 실정이다. 우리나라의 연구실태를 살펴보면 87년 40명의 회원으로 한국화학센서연구회가 발족되었고 90년 경북대에 센서기술연구센터가 설립되었으며 91년엔 한국센서학회가 발족되어 현재 1천여명의 회원이 연구활동을 펴고 있다. 그러나 센서기술연구소는 과학재단의 9년지원이 종료된 상태로 앞으로 효과적인 활동을 펼 수 있는 새로운 지원프로그램 개발이 절실하다.

  • PDF

치어기 조피볼락에 있어 사료섭취촉진제($STMIX^{TM}$)의 첨가효과 (육상 배양장 실험)

  • 옥임호;배승철;박건준;최영준
    • Proceedings of the Korean Society of Fisheries Technology Conference
    • /
    • 2001.10a
    • /
    • pp.297-298
    • /
    • 2001
  • 현재 잡아들이는 전세계 수산식품(어류, 갑각류 및 패류)이 6000만톤 정도에서 정체상태인 반면 양식 수산식품의 생산량은 계속 증가추세로 1997년 기준으로 2,400만톤, 2035년에는 1억 2천만 톤을 양식에서 생산해야 할 것으로 추정되어 (New, 1997; 배 등, 1998) 양식산업의 미래를 밝게 하고 있다. 이러한 세계적인 추세에 맞추어 양식 생산성 향상을 위해 어종별 배합사료개발에 박차를 가하고 있다. (중략)

  • PDF

흡착물에 의한 지르칼로이의 산화형태

  • 조윤철;박광헌
    • Proceedings of the Korean Nuclear Society Conference
    • /
    • 1995.05a
    • /
    • pp.718-722
    • /
    • 1995
  • 공기중에서 천이점 이후까지 산화된 지르칼로이 시편에 LiF, NaF, KF, NnCl, 그리고 LiOH 등을 흡착시켜 산화실험을 수행하였다. NaF, KF, NaCl을 흡착시킨 시편의 산화가 두드러지게 많이 됨을 확인할 수 있었다. LiF, LiOH를 흡착한 시편은 흡착하지 않은 시편과 큰 차이를 보이지 않고 산화가 진행되었다. 이는 Li의 전분이 초기에 산화막을 형성한 fresh 시편과는 달리 충분히 산화가 진행되어서 초기산화막의 존재가 없는 상태에서 흡착되었기 때문에 흡착의 효과가 거의 없는 것으로 나타났다고 사료된다. 이러한 결과를 이용하여 사용 후 핵연료의 보관시 안전성의 문제, 그리고 DUPIC 핵연료의 제작시에 이용될 수 있는 반복적 산화 환원의 방식에 적용될 수 있다.

  • PDF

가압기 밀림관 노즐의 피로 잔존수명 평가

  • 이강용;김종성;배정일;진태은;염학기;홍승열;정일석
    • Proceedings of the Korean Nuclear Society Conference
    • /
    • 1995.05b
    • /
    • pp.943-949
    • /
    • 1995
  • 원자력 발전소의 설비중 가압기 밀림관 노즐의 피로 잔존 수명에 대해 연구하였다. 원자력발전소 운전중 발생하는 각종 천이상태에 의해 밀림관 노즐에 작용하는 열응력과 역학적 응력을 상용 유한요소법 펙케지를 이용하여 계산하였다. 계산된 응력값들과 ASME Boiler and Pressure Vessel Code를 이용하여 가압기 밀림관 노즐의 피로 잔존 수명을 평가하였다.

  • PDF

Robust Endpoint Detection and Energy Normalization (강인한 끝점 추출과 에너지 정규화)

  • 고기원;정원용
    • Proceedings of the Korea Institute of Convergence Signal Processing
    • /
    • 2003.06a
    • /
    • pp.126-129
    • /
    • 2003
  • 자동 음성 인식(ASR) 시스템에, 끝점 추출과 에너지 정규화는 중요한 역할을 하게 된다 그러나 낮은 SNR이나 nonstationary 환경에서, 기존 방법은 끝점 추출과 에너지 정규화에 있어서 자주 실패하게 되며, ASR을 급격히 열화시키곤 한다. ASR을 수행하기 위해, 최적의 필터에 3상태 천이도를 사용하고, 필터는 정확성과 강인함을 확실히 하기 위해 여러 이론들을 이용하여 설계하였고 여러 가지 잡음이 있는 음성 신호환경에서 거의 일정한 응답을 주었다. 검출된 끝점은 곧바로 에너지 정규화에 적용된다. 실험 결과는 제안된 알고리즘이 낮은 SNR에서 에러율을 크게 감소시키고 있다는 것을 보여준다.

  • PDF