• Aerospace Engineering and Technology
• /
• v.13 no.1
• /
• pp.27-36
• /
• 2014

Generally, satellites continuously monitor that its major functions are working properly and their hardware are in a good status using several SOH data. In case a fault that is not recognized as a temporal problem or a failure that can be considered to propagate its damage to the other parts are detected, fault management logic is performed automatically without any contact of ground station. In this paper, attitude error detection using sun sensors on a rotating solar array is proposed. Attitude error can be detected by comparing the offset angle between the actual data computed from the sun sensor and the data predicted from the orbit and ephemeris information for the two types of solar array operation method. During the eclipse, the output of attitude error detection method becomes zero because the sun sensor output cannot be provided. Finally, the proposed method is analyzed through the data processing using on-orbit data.

• Journal of Microbiology and Biotechnology
• /
• v.16 no.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.

• Journal of Korean Society for Atmospheric Environment
• /
• v.14 no.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.

• Journal of the Economic Geographical Society of Korea
• /
• v.16 no.3
• /
• pp.323-343
• /
• 2013

This study explores spatial and temporal evloution of Dak Lak as one of coffee frontiers in Vietnam. So far, many authiors have studied this region under the framework of global-local interactions and emphasized the impacts from global coffee market. However not only unique past situation as the underdeveloped frontier and also the interventions of Vietamese government for transforming her socioeconomic system have played not less pivotal role than the global market in forging the present geography of Dak Lak. Under this logic, this study have traced restucturing in production system of state farms and smallholders' particpation in coffee farming. This study shows that various and unique localities as a frontier and specific situation accrued from transitional process has reflected in the present geography of coffee production in Dak Lak. Finally, this paper can be arguable to contribute some useful insights for understanding the evolution of coffee frontier in Vietnam.

• Journal of Korea Game Society
• /
• v.4 no.1
• /
• pp.58-66
• /
• 2004

This paper uses counterexamples for solving reachability games. An objective. of the game we consider here is to find out a minimal path from an initial state to the goal state. We represent initial states and game rules as finite state model and the goal state as temporal logic formula. Then, model checking is used to determine whether the model satisfies the formula. In case the model does not satisfy the formula, model checking generates a counterexample that shows how to reach the goal state from an initial state. In this way, we solve many of small-sized Push Push games. However, we cannot handle larger-sized games due to the state explosion problem. To mitigate the problem, abstraction is used to reduce the state space to be che cked. As a result, unsolved games are solved with the abstraction technique we propose inthis paper.

• Korean journal of communication and information
• /
• v.35
• /
• pp.36-86
• /
• 2006

The industrialization and globalization in the field of broadcasting are rapidly proceeded by extension of multilateral agreement as GATT and WTO, and by expansion of bilateral FTA. The broadcasting gets important in the industries according to the change of broadcasting environment grounded on industrial logic. As the broadcasting products become an important article of trade, broadcasting industry is the best bet in the cultural industries. In the international trade, the USA and Japan will treat cultural products the same as common goods and keep in the frame of free trade. On the contrary, the EU nations and Canada take a position that the cultural products are common goods and also public goods at the same time, and that therefore the cultural products will be excepted from the free trade. But this so called cultural exception, which is formed in the multilateral free trade agreement, is merely a temporal countermeasure, not a fundamental alternative especially in the present circumstances of DDA negotiation of WTO and of enlargement of FTA by the USA. So a nation shall carry out policies for cultural identity and cultural autonomy by the guarantee of Cultural Diversity Agreement of UNESCO, and organize a new cultural exchange order which substitutes the trade order by trade agreements.

• Science of Emotion and Sensibility
• /
• v.21 no.2
• /
• pp.113-124
• /
• 2018

The logical assumption of the comparison question test (CQT) is that the guilty person pays more attention to the relevant questions than to the comparison questions, and that the innocent person pays more attention to the comparison questions than to the relevant questions. The purpose of this study was to verify the logic of the comparison question test using functional magnetic resonance imaging (fMRI). The participants were tested for brain responses during a mock crime and performed the CQT under guilty and innocent conditions. After brain imaging, we evaluated the psychological burden of responding to the relevant questions and comparison questions. In the guilty conditions, the degree of burden was higher for the relevant questions than the comparison questions, and there was no significant difference in the innocent conditions. The fMRI results showed that, in the guilty conditions, greater activation was observed in the right superior temporal gyrus and right inferior frontal gyrus when relevant questions were presented relative to comparison questions. Based on these findings, the logical assumption of the CQT was discussed.

• Ecology and Resilient Infrastructure
• /
• v.8 no.1
• /
• pp.32-43
• /
• 2021

Multichannel automated chamber systems (MCACs) were developed for the continuous monitoring of soil CO2 efflux in forest ecosystems. The MCACs mainly consisted of four modules: eight soil chambers with lids that automatically open and close, an infrared CO2 analyzer equipped with eight multichannel gas samplers, an electronic controller with time-relay circuits, and a programmable logic datalogger. To examine the stability and reliability of the developed MCACs in the field during all seasons with a high temporal resolution, as well as the effects of temperature and soil water content on soil CO2 efflux rates, we continuously measured the soil CO2 efflux rates and micrometeorological factors at the Nam-san experimental site in a Quercus mongolica forest floor using the MCACs from January to December 2010. The diurnal and seasonal variations in soil CO2 efflux rates markedly followed the patterns of changes in temperature factors. During the entire experimental period, the soil CO2 efflux rates were strongly correlated with the temperature at a soil depth of 5 cm (r2 = 0.92) but were weakly correlated with the soil water content (r2 = 0.27). The annual sensitivity of soil CO2 efflux to temperature (Q10) in this forest ranged from 2.23 to 3.0, which was in agreement with other studies on temperate deciduous forests. The annual mean soil CO2 efflux measured by the MCACs was approximately 11.1 g CO2 m-2 day-1. These results indicate that the MCACs can be used for the continuous long-term measurements of soil CO2 efflux in the field and for simultaneously determining the impacts of micrometeorological factors.