• 제목/요약/키워드: Temporal logic

검색결과 88건 처리시간 0.024초

회전하는 태양전지판에 장착된 태양센서를 이용한 자세오류 감지 (Attitude Error Detection with Sun sensor on a Rotating Solar Array)

  • 오시환
    • 항공우주기술
    • /
    • 제13권1호
    • /
    • pp.27-36
    • /
    • 2014
  • 인공위성은 예측 가능한 데이터를 이용하여 자신의 상태를 스스로 파악하며, 자연적으로 발생할 수 있는 일시적인 문제가 아니거나 오류가 전이되어 더 큰 문제를 발생시킬 수 있다고 판단될 경우를 대비하여 지상국과의 접속이 없는 상태에서도 스스로 고장 관리를 수행할 수 있도록 설계되어 있다. 태양 센서를 이용한 정상상태에서의 자세 오류 감지도 이러한 고장관리 항목 중의 하나로 사용될 수 있다. 본 연구에서는 회전하는 태양전지판에 장착되어 있는 태양 센서 데이터를 이용한 오류 감지 방법을 제안하였다. 태양전지판의 운용 방법에 따라 정상적인 상태에서 발생할 수 있는 태양 센서의 오차를 예측하고 이 예측된 값으로부터 벗어나는 정도를 파악하여 오류를 감지하도록 하였다. 또한, 식구간 존재 시에는 태양센서가 그 출력을 내지 못하므로 오류 감지에 문제가 없도록 보정하였다. 마지막으로 궤도 상 데이터를 이용하여 제안된 방법의 타당성을 검증하였다.

Simulation of Dynamic Behavior of Glucose- and Tryptophan-Grown Escherichia coli Using Constraint-Based Metabolic Models with a Hierarchical Regulatory Network

  • Lee Sung-Gun;Kim Yu-Jin;Han Sang-Il;Oh You-Kwan;Park Sung-Hoon;Kim Young-Han;Hwang Kyu-Suk
    • Journal of Microbiology and Biotechnology
    • /
    • 제16권6호
    • /
    • pp.993-998
    • /
    • 2006
  • We earlier suggested a hierarchical regulatory network using defined modeling symbols and weights in order to improve the flux balance analysis (FBA) with regulatory events that were represented by if-then rules and Boolean logic. In the present study, the simulation results of the models, which were developed and improved from the previou model by incorporating a hierarchical regulatory network into the FBA, were compared with the experimental outcome of an aerobic batch growth of E. coli on glucose and tryptophan. From the experimental result, a diauxic growth curve was observed, reflecting growth resumption, when tryptophan was used as an alternativee after the supply of glucose was exhausted. The model parameters, the initial concentration of substrates (0.92 mM glucose and 1 mM tryptophan), cell density (0.0086 g biomass/1), the maximal uptake rates of substrates (5.4 mmol glucose/g DCW h and 1.32 mmol tryptophan/g DCW h), and lag time (0.32 h) were derived from the experimental data for more accurate prediction. The simulation results agreed with the experimental outcome of the temporal profiles of cell density and glucose, and tryptophan concentrations.

해양환경의 에어로졸 화학- 농도와 함량비를 이용한 이온성분간의 관계에 대한 추론 (Aerosol Chemistry in the Marine Environment: Inference of Inter-logic Relationships from the Concentrations and Ratios of Sonic Constituents)

  • 김기현;이강웅
    • 한국대기환경학회지
    • /
    • 제14권2호
    • /
    • pp.143-152
    • /
    • 1998
  • The aerosol concentrations of ionic components were measured on a daily basis from a coastal monitoring site located at Kosan, Cheju Island from 26 September to 5 October 1997 as a field-intensive for a LRTAP project The chemical species we investigated include most of important inorganic species (i.e., Cl-, NO3-, F-, SO42-, Na+, NH4+, and K+) and some organic species (i.e. formats, acetate, and methanesulfonate (MSA) ions). The concentration data of those important inorganic and organic species obtained during this study were evaluated to properly address their chemical and physical characteristics. Most of major inorganic components including sulfate, sodium, chloride, and potassium ions exhibited very conservative relationships with each other such that the concentration ratios of any pair are quite analogous to that of seawater ratio. Since the oceans serve as the major sources of ionic constituents, their concentration changes appear to be senstively reflected by the factors affecting air-sea processes such as an increase in wind speed or changes in wind direction. A comparative analysis of sulfur-containing species such as seasalt (SS) and nonseasalt (NSS) sulfate and MSA were also made to assess the factors influencing the S cycling. An evaluation of NSS/SS ratios suggests that most of sulfate be associated with NSS fraction rather than 55 one. The finding of lower MSA/NSS-SO42- ratio along with a line of physical evidence such as intrusion of anthropogenically affected air mass suggests that the oxidation of S species have been promoted under the conditions encountered during the study period. Finally, the concentration data of carboxylic species (such as formats and acetate ions) were also analyzed. Although the existence of temporal trends were difficult to assess, these data indicate that their contribution to the precipitation acidity may not be significant enough.

  • PDF

베트남 닥락성(Dak Lak Province)에서의 커피생산지리 변화과정과 그 배경 -변경적 특성, 전환경제적 특성의 영향을 중심으로- (Frontier, Transitional Process and Coffee Production's Geography in Dak Lak province, Vietnam)

  • 조영국
    • 한국경제지리학회지
    • /
    • 제16권3호
    • /
    • pp.323-343
    • /
    • 2013
  • 이 논문은 베트남 중부고원지대 커피변경지역의 중심 지역인 닥락(Dak Lak) 성을 대상으로 커피변경지역의 형성과 그 구조변동을 탐구하였다. 기존의 연구들이 글로벌커피시장의 영향에 주로 초점을 둔데 비해, 본 연구에서는 변경적 특수성 및 베트남의 시장경제체제로의 전환과정에 이루어진 개혁조치들이 닥락의 커피생산지리 발달에 어떤 영향을 미쳤는지에 더 주목을 하였다. 이를 위해 국영회사의 생산시스템 변화, 커피농가의 토지보유과정에서 나타난 변경적 특성과 전환경제적 상황을 밝히고자 하였다. 이 연구는 닥락의 커피생산지리 발달과정을 세계커피시장의 영향측면에서만 접근해온 기존 연구들이 상대적으로 소홀한 측면을 제시함으로써 커피변경지역 이해에 일정한 기여를 하였다고 본다.

  • PDF

게임 풀이를 위한 상태 공간 축소 (Reductions of State Space for Solving Games)

  • 이태훈;권기현
    • 한국게임학회 논문지
    • /
    • 제4권1호
    • /
    • pp.58-66
    • /
    • 2004
  • 본 논문에서는 반례를 도달성 게임 풀이에 활용했다. 도달성 게임이란, 게임 규칙을 준수하면서 초기 상태에서 목표 상태로 가는 경로를 찾는 것이다. 게임의 초기 상태를 유한 상태 모델로 표현하고 목표 상태의 부정(오답)을 시제 논리식으로 표현해서 모델 검사기에 입력하면, 반례로 오답에 대한 부정 즉 정답을 출력한다. 다시 말해서 반례로 출력된 것이 문제를 해결하는 정답인 것이다. 이와 같은 아이디어를 푸쉬푸쉬 게임 풀이에 적용했다. 그 결과 크기가 작은 푸쉬푸쉬 게임의 경우 게임을 해결하는 최단 경로를 쉽게 찾아냈다. 그러나 게임의 크기가 큰 경우 제한된 시간(실험에서는 3시간)내에 찾아내지 못했다. 왜냐하면 게임의 크기가 커질 경우 검사해야할 상태의 수가 지수적으로 증가하는 상태 폭발 문제가 발생했기 때문이다. 상태 폭발 문제를 해결하기 위해 추상화 기법을 이용해서 검사해야 할 상태공간을 축소하였다. 상태 공간을 줄인 결과, 기존 모델체킹으로 해결하지 못했던 게임을 풀 수 있었다.

  • PDF

한.미간 방송 시장 개방(FTA) 협상과 문화다양성협약의 의의 (The Free Trade Agreement on Broadcasting Service between Korea and USA and Meaning of Cultural Diversity Agreement)

  • 나낙균
    • 한국언론정보학보
    • /
    • 제35권
    • /
    • pp.36-86
    • /
    • 2006
  • 전 세계를 시장화하는 GATT 및 WTO 등 다자간 자유무역체제의 확산 및 특정 국가간의 자유무역협정(FTA) 등이 확대됨에 따라 방송 분야의 산업화와 세계화가 급속히 진전되고 있다. 산업적 논리에 입각한 방송환경의 변화는 방송의 산업적 위상을 높이는 결과를 가져왔으며, 방송은 21세기 최고 유망산업 가운데 하나인 문화산업의 핵심 분야로 주목받고 있어, 방송 상품은 국제무역에서 중요한 교역물의 하나가 되었다. 국제교역에 있어서 미국과 일본은 문화 산물도 일반 재화와 동일하게 취급하여 국제적인 자유무역의 틀 안에 두려고 하며, 반면 EU와 캐나다 등의 국가들은 문화 산물을 상품임과 동시에 공공재라는 입장을 취하여 자유무역에서 제외해야 한다는 문화적 예외를 주장하고 있다. 그러나 WTO의 DDA협상이 진행되고 있고 미국이 FTA를 급속히 확대해 나가고 있는 상황에서 다자간 자유무역협정의 틀 안에서 이루어지는 문화적 예외는 한시적 대응수단으로 근본적인 대안이 될 수 없다. 따라서 유네스코의 문화다양성 협약을 통해 국가의 문화정체성 확보를 위한 정책 등을 실행함으로써 문화에 대한 자주권을 국제법상 보장받도록 해야 하며 무역협정의 교역질서를 대체하는 새로운 문화교류의 질서를 조직하여야 한다.

  • PDF

폴리그라프 비교질문검사의 타당성: fMRI 연구 (Validity of the Comparison Question Test: An fMRI Study)

  • 전하정;음영지;손진훈;엄진섭
    • 감성과학
    • /
    • 제21권2호
    • /
    • pp.113-124
    • /
    • 2018
  • 비교질문 검사의 논리적 가정은 유죄인 조사대상자는 비교질문보다 관련질문에 주의를 더 기울이고 무죄인 조사대상자는 관련질문보다 비교질문에 주의를 더 기울인다는 것이다. 본 연구는 기능적자기공명영상(fMRI)을 이용하여 비교질문검사의 논리적 타당성을 검증하였다. 이를 위하여 실험참여자에게 모의 범죄를 수행하도록 한 후 유죄조건과 무죄조건에서 비교질문검사를 실시하면서 뇌 반응을 측정하였다. 뇌 영상을 촬영한 후에는 관련질문과 비교질문에 '아니오'라고 응답하는 것이 얼마나 심리적으로 부담되는지를 평가하도록 하였다. 행동 반응 결과, 유죄조건에서 비교질문보다 관련질문에 '아니오'라고 응답하는 것이 더 부담이 되는 것으로 나타났고 무죄조건에서는 두 질문 유형 간에 유의한 차이가 나타나지 않았다. 뇌 반응 결과, 유죄조건에서는 비교질문에 비해 관련질문이 제시되었을 때 우측 상측두회와 우측 하전두회에서 더 큰 활성화가 관찰되었다. 그러나 무죄조건 분석 결과 질문유형에 따른 뇌 영역 활성화 차이는 없는 것으로 나타났다. 이러한 결과에 근거하여 유죄조건과 무죄조건에 대한 비교질문검사의 논리적 가정을 논의하였다.

다중채널 자동챔버시스템에 의한 삼림토양의 이산화탄소 유출량의 연속측정 (The Continuous Measurement of CO2 Efflux from the Forest Soil Surface by Multi-Channel Automated Chamber Systems)

  • 주승진;임명희;주재원;원호연;진선덕
    • Ecology and Resilient Infrastructure
    • /
    • 제8권1호
    • /
    • pp.32-43
    • /
    • 2021
  • 삼림 생태계에서 토양 CO2 유출량의 연속적인 모니터링을 위한 다중채널 자동챔버시스템 (MCACs)을 개발하였다. MCACs는 자동개폐 덮개가 있는 8개의 토양챔버, 8개의 다중채널 가스샘플러를 장착한 적외선 CO2 농도 분석기, 시간 릴레이 회로를 갖춘 전자 컨트롤러, 프로그래밍이 가능한 로직용 자료수집장치로 구성되었다. 사계절 장기간에 걸쳐 야외 현장에서 MCACs의 안전성과 신뢰도를 조사하고, 높은 시간분해능으로 현장 테스트에서 얻은 온도와 토양수분 함량이 토양 CO2 유출에 미치는 효과들을 파악하기 위해, 2010년 1월부터 12월 사이의 기간 동안 남산의 신갈나무림 실험지소에서 MCACs를 사용하여 토양 CO2 유출속도와 미기상 요인들을 지속적으로 측정하였다. 토양 CO2 유출속도의 일변화 및 계절적인 변화는 현저하게 온도 요인의 경향을 따랐다. 전체 실험 기간 동안에 토양 CO2 유출속도는 5 cm 깊이의 토양온도와 밀접한 상관관계 (r2 = 0.92)를 보였으나 토양수분 함량과는 약한 상관관계 (r2 = 0.27)를 나타냈다. 남산 신갈나무림에서 온도에 대한 토양 CO2 유출량의 연간 민감도(Q10 수치)는 2.23~3.0의 범위에 달했고, 다양한 온대지역의 낙엽활엽수림에 대한 다른 연구들과 일치하였다. MCACs에 의해 측정된 연평균 토양 CO2 유출량은 약 11.1 g CO2 m-2 day-1이었다. 이 결과들은 MCACs가 야외 현장에서 토양 CO2 유출량의 연속적인 장기측정과 동시에 미기상 요인들의 영향을 결정하는데 유용한 시스템임을 나타낸다.