• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권6호
• /
• pp.773-783
• /
• 2004

본 연구는 스테이트차트의 실시간 검증을 위한 알고리즘을 제안한다. 스테이트차트는 실시간 반응형 시스템의 명세에 많이 사용되고 있으며 동기적과 비동기적인 두개의 시간모델을 지원한다. 그러나 기존의 스테이트차트에 대한 실시간 검증 방법은 비동기적 시간 모델과 호환되지 않거나, 변수를 모델에 추가함으로써 모텔의 상태 공간을 증가시키는 단점이 있었다. 우리는 기존의 모델 체킹 알고리즘을 확장하여 이러한 문제점을 해결하였다. 확장된 알고리즘은 시간을 증가시키는 전이만을 고려하기 때문에 스테이트차트의 두 가지 시간 모델에 모두 사용할 수 있으며, 시간의 계산이 알고리즘 내부적으로 이루어지기 때문에 모델에 변수를 추가할 필요가 없어 상태공간을 증가시키지 않는다. 본 연구는 이러한 알고리즘을 토대로 기존의 모델 체커인 NuSMV를 확장하였으며, 사례 연구를 통하여 그 유용성을 확인하였다.

• BMB Reports
• /
• 제37권5호
• /
• pp.586-596
• /
• 2004

The folding of ervatamin C was investigated in the presence of various fluorinated and non-fluorinated organic solvents. The differences in the unfolding of the protein in the presence of various organic solvents and the stabilities of O-states were interpreted. At pH 2.0, non-fluorinated alkyl alcohols induced a switch from the native $\alpha$-helix to a $\beta$-sheet, contrary to the $\beta$-sheet to $\alpha$-helix conversion observed for many proteins. The magnitude of ellipticity at 215 nm, used as a measure of $\beta$-content, was found to be dependent on the concentration of the alcohol. Under similar conditions of pH, fluorinated alcohol enhanced the intrinsic a-helicity of the protein molecule, whereas the addition of acetonitrile reduced the helical content. Ervatamin C exhibited high stability towards GuHCl induced unfolding in different O-states. Whereas the thermal unfolding of O-states was non-cooperative, contrary to the cooperativity seen in the absence of the organic solvents under similar conditions. Moreover, the differential scanning calorimetry endotherms of the protein acquired at pH 2.0 were deconvoluted into two distinct peaks, suggesting two cooperative transitions. With increase in pH, the shape of the thermogram changed markedly to exhibit a major and a minor transition. The appearance of two distinct peaks in the DSC together with the non-cooperative thermal transition of the protein in O-states indicates that the molecular structure of ervatamin C consists of two domains with different stabilities.

• 한국표면공학회지
• /
• 제54권3호
• /
• pp.112-118
• /
• 2021

Dy³⁺- and Eu³⁺-codoped BaWO₄ phosphors for white light-emitting diode were synthesized with different activator ions via a solid-state reaction process. The structural, morphological, and optical properties of the BaWO₄:Dy³⁺,Eu³⁺ phosphors were investigated as a function of Eu³⁺ concentration at a fixed concentration of Dy³⁺ ions. XRD patterns exhibited that all the synthesized phosphors had a tetragonal system, irrespective of the concentrations of Dy³⁺ and Eu³⁺ ions. The excitation spectra of the synthesized phosphors were composed of three intense bands centered at 251, 355, and 393 nm and several weak peaks. For the BaWO₄:Dy³⁺,Eu³⁺ phosphors synthesized with 1 mol% of Eu³⁺, the emission spectra under ultraviolet excitation at 393 nm showed two strong blue and yellow bands at 485 and 577 nm corresponding to the ⁴F_9/2⁶H_15/2 and ⁴F_9/2⁶H_13/2 transitions of Dy³⁺ ions, respectively and several weak bands in the range of 600-700 nm resulting from the 4f transitions of Eu³⁺ ions. As the concentration of Eu³⁺ ions increased, intensities of the blue and yellow emission bands gradually decreased while those of the red emissions increased rapidly and the energy transfer efficiency from Dy³⁺ to Eu³⁺ ions was 95.3% at 20 mol% of Eu³⁺. The optimum white light emission with x=0.363, y=0.357 CIE 1931 chromaticity coordinates was obtained for the sample doped with 5 mol% Dy³⁺ and 1 mol% of Eu³⁺.

• BMB Reports
• /
• 제55권8호
• /
• pp.370-379
• /
• 2022

Human pregnancy is a delicate and complex process where multiorgan interactions between two independent systems, the mother, and her fetus, maintain pregnancy. Intercellular interactions that can define homeostasis at the various cellular level between the two systems allow uninterrupted fetal growth and development until delivery. Interactions are needed for tissue remodeling during pregnancy at both fetal and maternal tissue layers. One of the mechanisms that help tissue remodeling is via cellular transitions where epithelial cells undergo a cyclic transition from epithelial to mesenchymal (EMT) and back from mesenchymal to epithelial (MET). Two major pregnancy-associated tissue systems that use EMT, and MET are the fetal membrane (amniochorion) amnion epithelial layer and cervical epithelial cells and will be reviewed here. EMT is often associated with localized inflammation, and it is a well-balanced process to facilitate tissue remodeling. Cyclic transition processes are important because a terminal state or the static state of EMT can cause accumulation of proinflammatory mesenchymal cells in the matrix regions of these tissues and increase localized inflammation that can cause tissue damage. Interactions that determine homeostasis are often controlled by both endocrine and paracrine mediators. Pregnancy maintenance hormone progesterone and its receptors are critical for maintaining the balance between EMT and MET. Increased intrauterine oxidative stress at term can force a static (terminal) EMT and increase inflammation that are physiologic processes that destabilize homeostasis that maintain pregnancy to promote labor and delivery of the fetus. However, conditions that can produce an untimely increase in EMT and inflammation can be pathologic. These tissue damages are often associated with adverse pregnancy complications such as preterm prelabor rupture of the membranes (pPROM) and spontaneous preterm birth (PTB). Therefore, an understanding of the biomolecular processes that maintain cyclic EMT-MET is critical to reducing the risk of pPROM and PTB. Extracellular vesicles (exosomes of 40-160 nm) that can carry various cargo are involved in cellular transitions as paracrine mediators. Exosomes can carry a variety of biomolecules as cargo. Studies specifically using exosomes from cells undergone EMT can carry a pro-inflammatory cargo and in a paracrine fashion can modify the neighboring tissue environment to cause enhancement of uterine inflammation.

• Journal of Information Processing Systems
• /
• 제16권3호
• /
• pp.530-540
• /
• 2020

In order to solve the problem of low tracking accuracy caused by complex noise in the fault diagnosis of complex nonlinear system, a fault diagnosis method of high precision cost reference particle filter (CRPF) is proposed. By optimizing the low confidence particles to replace the resampling process, this paper improved the problem of sample impoverishment caused by the sample updating based on risk and cost of CRPF algorithm. This paper attempts to improve the accuracy of state estimation from the essential level of obtaining samples. Then, we study the correlation between the current observation value and the prior state. By adjusting the density variance of state transitions adaptively, the adaptive ability of the algorithm to the complex noises can be enhanced, which is expected to improve the accuracy of fault state tracking. Through the simulation analysis of a fuel unit fault diagnosis, the results show that the accuracy of the algorithm has been improved obviously under the background of complex noise.

• 한국멀티미디어학회논문지
• /
• 제12권12호
• /
• pp.1819-1826
• /
• 2009

To enhance the automatic performance of existing predicting and planning algorithms that require a predefined probability of the states' transition, this paper proposes a multiple sequence generation system. When interacting with unknown environments, a virtual agent needs to decide which action or action order can result in a good state and determine the transition probability based on the current state and the action taken. We describe a sequential behavior generation method motivated from the change in the agent's state in order to help the virtual agent learn how to adapt to unknown environments. In a sequence learning process, the sensed states are grouped by a set of proposed motivation filters in order to reduce the learning computation of the large state space. In order to accomplish a goal with a high payoff, the learning agent makes a decision based on the observation of states' transitions. The proposed multiple sequence behaviors generation system increases the complexity and heightens the automatic planning of the virtual agent for interacting with the dynamic unknown environment. This model was tested in a virtual library to elucidate the process of the system.

• 아동학회지
• /
• 제30권6호
• /
• pp.567-581
• /
• 2009

This study examined 10 Korean children's expressions of the mental states of desires and beliefs by analyzing mental state verbs as well as modal expressions in Korean production data. Mental expressions of desires and beliefs increased with increasing age. Two transition points of desires and beliefs were found in the data. First, belief expressions were less frequently produced than expressions of desires between 23 to 32 months. Second, belief expressions were much the same as desire expressions from 33 to 44 months. Finally, belief expressions were more frequently produced than desire expressions between 45 to 76 months. The authors suggest that these developmental transitions represent a conceptual change in understanding of mental states as proposed by Wellman (1990).

• 비파괴검사학회지
• /
• 제32권2호
• /
• pp.131-141
• /
• 2012

A field theoretical approach to deformation and fracture of solid-state material is outlined, and its application to diagnosis of deformational status of metal specimens is discussed. Being based on a fundamental physical principle known as local symmetry, this approach is intrinsically scale independent, and capable of describing all stages of deformation on the same theoretical foundation. This capability enables us to derive criteria that can be used to diagnose transitions from the elastic to plastic regime, and the plastic to fracturing regime. For practical applications of these criteria, an optical interferometric technique known as electronic speckle-pattern interferometry is proved to be quite powerful; it is able to visualize the criteria as a whole image of the object on a real-time basis without numerical processing. It is demonstrated that this method is able to reveal loading hysteresis as well.

• Journal of Information Processing Systems
• /
• 제6권2호
• /
• pp.197-208
• /
• 2010

Test scenarios can be derived based on some system models for requirements validation purposes. Model-based test suite reduction aims to provide a smaller set of test scenarios which can preserve the original test coverage with respect to some testing criteria. We are proposing to apply Formal Concept Analysis (FCA) in analyzing the association between a set of test scenarios and a set of transitions specified in a state machine model. By utilizing the properties of concept lattice, we are able to determine incrementally a minimal set of test scenarios with adequate test coverage.

• 진공이야기
• /
• 제5권1호
• /
• pp.13-17
• /
• 2018

Phase transition is not unique to solid state systems or homogeneous molecular systems but it is also observed in highly heterogeneous biological systems. Phase transition and phase separation in cells are recently being found to be central to many biological functions by temporarily and locally controlling the storage and exchange of certain proteins and RNAs. There are also clues suggesting them to be playing pivotal roles in the spatial organization of chromosomes into topological domains and its time-dependent control. Here we introduce early efforts to explain at the molecular level how the spatiotemporal organization of chromosomes are programmed and modulated by the sequence and chemical modifications of the DNA. Continuing works may provide a physical framework to understand the molecular level control of chromosome structure and dynamics that determine the epigenetic state and the fate of the cells.