• 한국중재학회지:중재연구
• /
• 제29권1호
• /
• pp.71-89
• /
• 2019

When the host states do not comply with the investor-state arbitral awards voluntarily, it is difficult for the successful claimants to seek the enforcement of arbitral awards against the host state because of the doctrine of state immunity. This raises a question whether the investors might be able to seize the assets of the state-owned enterprises, as well as those of the host states. The investors might consider the properties held by state-owned enterprises as an attractive target especially when it has been established that the host state is responsible for the act of its state-owned enterprise. In such case, the investor might argue that the close relationship between the state-owned enterprise and the host state has already been recognized so that the commercial assets of the state-owned enterprise could be subject to attachment. On the other hand, the host state might argue that the state-owned entity exists separately from the state, and thus its assets cannot be equated with those of the host state. Moreover, even if this argument is not accepted and, as a result, the properties of the state-owned entity is equated with those of the host state, the host state might still be able to argue that non-commercial assets of the state-owned enterprise are immune from execution.

• 한국환경성돌연변이발암원학회:학술대회논문집
• /
• 한국환경성돌연변이발암원학회 2001년도 Korean Environmental Mutagen Society
• /
• pp.48-49
• /
• 2001

• 중소기업융합학회논문지
• /
• 제1권1호
• /
• pp.75-83
• /
• 2011

Unified Modeling Language (UML)는 산업계에서 소프트웨어 설계 표준 언어로서 인정되고 있으며 특히 UML State Machine Diagram은 클래스의 동적인 행위(behavior)를 묘사하는데 많이 사용되고 있다. 이 논문은 UML State Machine Diagram을를 이용하여 시스템의 데드락 (deadlock)을 찾는 방법에 대해서 논한다. 보통 State Machine Diagram는 개별의 클래스의 행위를 나타내는 데 사용되므로 시스템 범위의 행위를 알고 싶으면 시스템에 있는 클래스들 중 관심 있는 클래스들의 State Machine Diagram을 합하여 시스템의 행위를 나타낼 수 있는 State Machine Diagram이 필요하여진다. 일반적으로 이러한 시스템 수준의 State Machine Diagram은 매우 복잡하고 실제로는 타당하지 않은 State나 Transition들을 포함하게 된다. 실제 시스템의 행위를 나타내기 위해서 synchronization과 externalization을 적용하여 State Machine Diagram을 유효한 수준으로 줄이는 것이 필요하다. 이렇게 만들어진 State Machine Diagram은 시스템의 행위를 나타내는데 사용될 수 있으며 통상의 모델 체킹 방법이 적용될 수 있다. 이 논문은 데드락 탐지를 하는 방법을 간단한 예제를 통해서 보여준다. 모든 과정은 툴에서 자동으로 지원되며 필요한 알고리즘도 같이 설명된다.

• 아동학회지
• /
• 제37권2호
• /
• pp.127-142
• /
• 2016

Objective: This research examined mothers' and preschoolers' uses of mental state terms during pretend play and linked such use to children's independent mental state terms used in hypothetical narratives. Methods: Fifty four-year-olds and their mothers were engaged in pretend play and the preschoolers were asked to provide hypothetical narratives. Mothers' and preschoolers' mental state terms were analyzed in terms of types and frequencies. Results: During pretend play, the mothers and preschoolers used desire state terms most variously and frequently, followed by cognitive and emotion state terms. In the hypothetical narratives, the preschoolers used desire state terms most variously and frequently; however they talked about emotion state terms more variously and cognitive state terms more frequently. In addition, the mothers' mental state terms were correlated with the preschoolers' mental state terms during the pretend play, and the mothers' and preschoolers' uses of mental state terms during pretend play were related to the preschoolers' mental state terms in hypothetical narratives. Conclusion: Findings from this study highlight that, during the preschool period, a mothers' mental state language might foster her child's understanding of mental states in himself/herself and in others.

• 한국정보디스플레이학회:학술대회논문집
• /
• 한국정보디스플레이학회 2008년도 International Meeting on Information Display
• /
• pp.1459-1462
• /
• 2008

In this paper we describe solutions to address critical challenges in direct fabrication of amorphous silicon thin film transistor (TFTs) arrays for active matrix flexible displays. For all flexible substrates a manufacturable handling protocol in automated display-scale equipment is required. For metal foil substrates the principal challenges are planarization and electrical isolation, and management of stress (CTE mismatch) during TFT fabrication. For plastic substrates the principal challenge is dimensional instability management.

• 한국시뮬레이션학회논문지
• /
• 제13권4호
• /
• pp.1-16
• /
• 2004

The modelling and simulation of the activation process for the heart system is meaningful to understand special excitatory and conductive system in the heart and to study cardiac functions because the heart activation conducts through this system. This thesis proposes two dimensional cellular automaton(CA) model for the activation process of the myocardium and conducted simulation by means of discrete time and discrete event algorithm. In the model, cells are classified into anatomically similar characteristic parts of the heart and each of cells has a set of cells with preassigned properties. Each cell in this model has state variables to represent the state of the cell and has some state transition rules to change values of state variables executed by state transition function. The state transition rule is simple as follows. First, the myocardium cell at rest stay in passive state. Second, if any one of neighborhood cell in the myocardium cell is active state then the state is change from passive to active state. Third, if cell's state is an active then automatically go to the refractory state after activation phase. Four, if cell's state is refractory then automatically go to the passive state after refractory phase. These state transition is processed repeatedly in all cells through the termination of simulation.

• 한국대기환경학회:학술대회논문집
• /
• 한국대기환경학회 2004년도 춘계학술대회 논문집
• /
• pp.131-132
• /
• 2004

• Journal of applied mathematics & informatics
• /
• 제8권3호
• /
• pp.1009-1019
• /
• 2001

We introduce the concepts of TL-finite state machine, TL-kernel and TL-subfinite state machines, TL-kernel and TL-subfinite state machine and obtain some results concerning them.

• 고려인삼학회:학술대회논문집
• /
• 고려인삼학회 2002년도 학술대회지
• /
• pp.84-95
• /
• 2002

• Asian Pacific Journal of Cancer Prevention
• /
• 제17권1호
• /
• pp.101-104
• /
• 2016

Background: With advances in diagnostics and treatment approaches, patients with Hodgkin's lymphoma (HL) in developed countries can nowadays expect to have excellent outcomes. However, information about the characteristics and outcomes in the developing world is very scarce, and this is important given the fact that there are several reports about differences of disease characteristics depending on geographic location and the development level of the country. Materials and Methods: In this retrospective study we assessed the features of 36 adult (${\geq}18$ years old) patients with HL and their diagnosis and treatment and outcomes in the Clinic of Chemotherapy of Muratsan University Hospital of Yerevan State Medical University, Armenia, between 2008-2014. Results: All patients had classic HL and among them 19 (53%) had nodular sclerosis subtype, 8 (22%) mixed cellularity and 9 (25%) lymphocyte-rich. 16 (44.5%) patients were at stage II, 13 (36%) stage III and 7 (19.5%) stage IV. Median follow-up time was 24.5 months (range 1-71 months) and during the whole follow-up period only two relapses (early) were documented and there were no deaths. Twenty-three (64%) patients received a BEACOPP (bleomycin, etoposide, doxorubicin, cyclophosphamide, vincristine, procarbazine, and prednisone) regimen, and 13 (36%) ABVD (doxorubicin, bleomycin, vinblastine and dacarbazine) regimen. A total of 25 (69.5%) patients received radiation in addition to chemotherapy. Conclusions: Although the number of patients involved in the study is small and the median follow-up time was just two years, this retrospective study shows that treatment of HL can be successfully organized in a resource-limited setting.