• Title/Summary/Keyword: 비결정

Search Result 64, Processing Time 0.031 seconds

Corrective Control of Asynchronous Sequential Machines for Nondeterministic Model II: Controller Design (비결정 모델에 대한 비동기 순차 회로의 교정 제어 II: 제어기 설계)

  • Yang, Jung-Min
    • Journal of the Institute of Electronics Engineers of Korea SC
    • /
    • v.45 no.4
    • /
    • pp.11-19
    • /
    • 2008
  • The problem of controlling asynchronous sequential machines is addressed in this paper Corrective control means to make behavior of an asynchronous sequential machine equal to that of a given model. The main objective is to develope a corrective controller, especially when a model is given as nondeterministic, or a set of reference models. We first review representation of nondeterministic models and model matching problems with nondeterministic models, which are presented in the companion paper. We then propose necessary and sufficient conditions for the existence of corrective controllers and describe their design procedure. To show the applicability, the proposed control scheme is demonstrated in an example.

Study on Deiodination of Drawn Polyvinyl Alcohol-iodine Complex Films (연신된 폴리비닐알코올-요드 복합체 필름의 요드제거에 관한 연구)

  • 손현식;신은주;이양헌
    • Proceedings of the Korean Fiber Society Conference
    • /
    • 2003.04a
    • /
    • pp.87-90
    • /
    • 2003
  • Polyvinyl Alcohol(PVA)와 같이 분자간 결합력이 큰 극성고분자에 극성의 가소제를 도입하여 가역적 가소화기법을 이용하여 비결정영역뿐만 아니라 결정영역까지도 가소화시켜 연신성을 개선시키고자하는 연구가 일부 이루어져 왔다. 특히 요드는 극성고분자의 비결정 영역뿐만 아니라 결정영역까지 침투한다는 사실이 밝혀지면서 PVA의 요드 처리에 대한 연구가 많이 이루어져왔다[1-3]. 그러나 지금까지의 연구에서는 대부분 필름이나 섬유와 같이 성형가공된 상태에서, 즉 결정화가 이루어진 후에 요드화를 시켰기 때문에 그 응용범위나 연구에 있어서 한계를 지니고 있다고 할 수 있다. (중략)

  • PDF

Corrective Control of Asynchronous Sequential Machines for Nondeterministic Model I: Reachability Analysis (비결정 모델에 대한 비동기 순차 회로의 교정 제어 I: 도달가능성 분석)

  • Yang, Jung-Min
    • Journal of the Institute of Electronics Engineers of Korea SC
    • /
    • v.45 no.4
    • /
    • pp.1-10
    • /
    • 2008
  • The problem of controlling asynchronous sequential machines is addressed in this paper. Corrective control means to make behavior of an asynchronous sequential machine equal to that of a given model. The main objective is to develope a corrective controller, especially when a model is given as nondeterministic, or a set of reference models. The structure of corrective control system for asynchronous sequential machines is addressed first, followed by description of nondeterministic models. Then, we propose a method for analyzing reachability of asynchronous machines and nondeterministic models. Proposed methods are demonstrated in an example.

Study on Domain-dependent Keywords Co-occurring with the Adjectives of Non-deterministic Opinion (휴먼 오피니언 자동 분류 시스템 구현을 위한 비결정 오피니언 형용사 구문에 대한 연구)

  • Ahn, Ae-Lim;Han, Yong-Jin;Park, Se-Young;Nam, Jee-Sun
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2011.06c
    • /
    • pp.248-251
    • /
    • 2011
  • 본 연구에서는, 웹 문서로부터 특정 상품에 대한 의견 문장을 분석하는 오피니언 마이닝(Opinion Mining) 연구의 일환으로, 특히 함께 공기하는 자질 명사에 따라 그 극성 값이 달라지는 '비결정 오피니언어휘'의 처리를 위해서 도메인을 '맛집'으로 한정하여 공기하는 도메인 키워드의 목록을 결정하고, 이를 부분문법그래프(Local Grammar Graphs) 방법론을 통해서 이들 간의 어휘 통사적 관계를 결정해 주었다.

Efficieint Combination of OWL-DL and SWRL for Maintaining Decidability (추론을 위한 OWL-DL과 SWRL의 효율적 결합)

  • Seo, Eun-Seok;Park, Jun-Sang;Park, Young-Tack
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2006.10b
    • /
    • pp.372-377
    • /
    • 2006
  • 유비쿼터스 컴퓨팅 시대의 도래와 시맨틱 웹에 대한 관심이 높아짐에 따라 관련 기술인 온톨로지와 이를 이용한 추론 기술에 대한 요구가 증가하고 있다. 따라서, 추론이 가능한 시맨틱 웹 기반의 모델링과 추론에 대한 연구가 필요하다. 모델링을 위해 사용되는 OWL-DL과 임의의 사용자 규칙을 표현하는 SWRL은 각각 W3C의 표준안으로서, 유비쿼터스 컴퓨팅 환경에 효율적으로 자동적인 개인화 서비스[1][2]를 제공하는데 있어서 적합하다. 그러나 OWL-DL과 SWRL의 단순한 결합은 질의응답(Query Answering)에 대한 처리가 비결정 가능한(undecidable) 문제를 야기한다. 본 논문에서는, 비결정가능성 문제의 원인인 무한반복의 가능성을 제거하기 위한 블록(blocking) 방법을 제안한다. OWL-DL이 지닌 서술논리(Description Logic)의 표현력을 유지하고, 그에 따른 추론의 질적인 성능을 유지하는 범위에서 블록방법을 사용하여 결정 가능한 질의응답을 수행하는데 궁극적인 목적을 두고 있다. OWL-DL의 TBox에 위치하는 존재 정량자(Existential Quantifier)를 대체하고 ABox에 삽입하여, 무한반복의 가능성을 없애는 해결 방법을 제시한다. 실험은 비결정가능성 문제를 DL-Safe 규칙을 통해 해결한 KAON2와 비교하여 진행한다.

  • PDF

Polymerization of Norbornene with ${\eta}^3$-Allyl Pd(II) Complexes/MAO Catalysts (${\eta}^3$-알릴 Pd(II) 화합물/MAO 촉매를 이용한 노보넨 중합)

  • 윤근병;이동호
    • Polymer(Korea)
    • /
    • v.28 no.3
    • /
    • pp.281-284
    • /
    • 2004
  • 비닐 형태의 부가중합에 의해 생성된 비결정 폴리노보넨은 주사슬이 고리화합물로 이루어져 있으며, 높은 고체밀도와 유리 전이 온도를 나타내며, 낮은 유전상수를 가지는 특징이 있다. 광학적으로 폴리노보넨은 낮은 투과손실을 가지고 있는데, 광통신 대역인 850 nm에서 삽입 손실이 0.1 dB/cm이고, 복굴절이 0.001을 나타내어 광결합 소자 및 광소자에 응용이 기대된다. 이는 주사슬의 고리화합물에 의해 결정화되지 않아, 유리 전이 온도가 28$0^{\circ}C$로 높으면서 비결정의 투명성을 가지기 때문이다.

생활습관병 예방 프로젝트 4 실천리스트 - 흡연 욕구 순간을 참자

  • Lee, Eun-Jeong
    • 건강소식
    • /
    • v.37 no.5
    • /
    • pp.14-15
    • /
    • 2013
  • 굳게 마음먹어도 언제 그랬냐는 듯 매번 KO패 당하는 게 바로 금연 결심이다. 담배를 끊는데 뾰족한 방법은 없다. 흡연 욕구가 생기는 순간을 잘 참는 것이 비결 아닌 비결이다. 담배 양을 서서히 줄이다가 특별한 날을 잡아 금연시작일로 정하고 단숨에 끊자. 그 다음 할 일은 흡연 상황을 피하고 자신을 믿으며 끝까지 참아내는 것이다.

  • PDF

A Study on the Compression paddle of meterials in Mammography (유방촬영장치에서 압박대 재질에 관한 연구)

  • Hong, Dong-Hee;Jung, Hong-Ryang
    • Proceedings of the Korea Contents Association Conference
    • /
    • 2015.05a
    • /
    • pp.187-188
    • /
    • 2015
  • 유방촬영은 날로 증가추세에 있으며 압박을통해 영상을 얻는 것이 화질을 향상시키고 피폭선량을 줄이는데 필수적이다. 그러나 압박대 자체의 두께로 인해 산란선과 피폭선량을 증가시킬 수 있으므로 압박대 재질에 대한 고찰이 필요하다. 현재 임상에서 쓰이고 있는 재질은 폴리카보네이트이며 플라스틱 계열이다. 환자의 피폭선량을 줄이기위해 노력한다면 이보다 더 좋은 재질에 대해 고려해볼 필요가 있기에 본 연구에서는 플라스틱 계열 물질 중 비결정 플라스틱에 대한 방사선투과성에 대해 비교해 보고자 한다.

  • PDF