• Transactions on Electrical and Electronic Materials
• /
• 제5권6호
• /
• pp.241-243
• /
• 2004

The phase transition between amorphous and crystalline states in chalcogenide semiconductor films can be controlled by electrical or pulsed laser beam; hence some chalcogenide semiconductor films can be applied to electrically write/erase nonvolatile memory devices, where the low conductive amorphous state and the high conductive crystalline state are assigned to binary states. In this letter, the characteristics of phase transition in differential chalcogenide thin film are investigated. Al was used for the electrode as the thickness of 100, 300, 500 nm, respectively.

• 한국전기전자재료학회:학술대회논문집
• /
• 한국전기전자재료학회 2004년도 하계학술대회 논문집 Vol.5 No.1
• /
• pp.340-343
• /
• 2004

The phase transition between amorphous and crystalline states in chalcogenide semiconductor films can controlled by electric pulses or pulsed laser hem: hence some chalcogenide semiconductor films can be applied to electrically write/erase nonvolatile memory devices, where the low conductive amorphous state and the high conductive crystalline state are assigned to binary states. This letters researched into the characteristic of phase change transition in differential Chalcogenide thin films materials. The electrode used Al and experimented on 100nm, 300nm, 500nm respectively.

• Bulletin of the Korean Chemical Society
• /
• 제30권12호
• /
• pp.2973-2978
• /
• 2009

The decomposition reaction mechanism of $CH_3CF_2O$ radical formed from hydroflurocarbon, $CH_3CHF_2$ (HFC-152a) in the atmosphere has been investigated using ab-initio quantum mechanical methods. The geometries of the reactant, products and transition states involved in the decomposition pathways have been optimized and characterized at DFT-B3LYP and MP2 levels of theories using 6-311++G(d,p) basis set. Calculations have been carried out to observe the effect of basis sets on the optimized geometries of species involved. Single point energy calculations have been performed at QCISD(T) and CCSD(T) level of theories. Out of the two prominent decomposition channels considered viz., C-C bond scission and F-elimination, C-C bond scission is found to be the dominant path involving a barrier height of 12.3 kcal/mol whereas the F-elimination path involves that of a 28.0 kcal/mol. Using transition-state theory, rate constant for the most dominant decomposition pathway viz., C-C bond scission is calculated at 298 K and found to be 1.3 ${\times}$ 10$^4s{-1}$. Transition states are searched on the potential energy surfaces involving both decomposition channels and each of the transition states are characterized. The existence of transition states on the corresponding potential energy surface are ascertained by performing Intrinsic Reaction Coordinate (IRC) calculation.

• Bulletin of the Korean Chemical Society
• /
• 제24권7호
• /
• pp.931-936
• /
• 2003

By the use of multi-loop thermodynamic boxes developed here by us, we show that models of enzyme catalysis (e.g., split-site model) developed in an attempt to emphasize the importance of the reactant-state destabilization and, thus, demonstrate misleading nature of the fundamentalist position which defines Pauling's transition-state stabilization as the entire and sole source of enzyme catalytic power, should be reduced to the fundamentalist formulation which completely neglects dynamical aspects of mechanism between the reactant and the transition states and dwells only on events restricted to the reactant and transition states alone, because the splitsite (and other canonical) formulations as well as fundamentalist formulations are based, in common, on equilibrium assumptions stipulated by the thermodynamic box logics. We propose to define the equilibrium assumptions as the requisite and sufficient conditions for the fundamentalist position to enjoy its primacy as central dogma, but not as sufficient conditions for its validity, because it is subjected to contradictions presented by existing data.

• 정보처리학회논문지D
• /
• 제13D권1호
• /
• pp.67-74
• /
• 2006

소프트웨어 개발 과정에서 보안 요구사항 식별은 그 중요성으로 최근에 관심이 주목되고 있다. 그러나 기존 방법들은 보안 요구사항 식별 방법과 절차가 명확하지 않았다. 본 논문에서는 소프트웨어 개발자가 보안 위협 위치의 상태전이도로부터 보안 요구사항을 식별하는 절차를 제안한다. 이과정은 상태전이도를 작성하는 부분과 어플리케이션 의존적인 보안 요구사항을 식별하는 부분으로 구성된다. 상태전이도 작성은 1) 공격자가 소프트웨어 취약성을 이용하여 자산을 공격한다는 것에 기반하여 기존에 발생했던 보안 실패 자료를 이용하여 소프트웨어의 취약성을 위협하는 위치를 식별하고, 2) 식별된 위협 위치에 해당하는 소프트웨어 취약성을 방어, 완화시킬 수 있는 상태전이도를 작성하는 과정으로 이루어진다. 어플리케이션 의존적인 보안 요구사항 식별과정은 1) 기능 요구사항을 분석 한 후, 위협 위치를 파악하고, 각 위협 위치 에 해당하는 상태전이도를 적용하고, 2) 상태전이도를 어플리케이션 의존적인 형태로 수정한 후, 3) 보안 요구사항 추출 규칙을 적용하여 보안요구사항을 작성하는 과정으로 구성된다. 제안한 방법은 소프트웨어 개발자가 소프트웨어 개발 초기에 모델을 적용하여 쉽게 보안 요구사항을 식별하는데 도움을 준다.

• 대한전자공학회논문지SD
• /
• 제40권8호
• /
• pp.619-630
• /
• 2003

본 논문은 최근에 많이 사용되는 정형 계산 모델 중 하나인 hierarchical FSM (HFSM)과 synchronous dataflow (SDF) 모델(줄여서 HFSM-SDF)을 이용한 재구성 가능한 SoC 설계에서 실시간 구성 스케줄링(configuration scheduling) 방법을 제시한다. HFSM-SDF 모델을 이용한 재구성 가능한 SoC 설계에서는 HFSM이 갖는 동적인 특성들(예를 들면, AND 관계에 의해 동시에 일어나는 state transition, HFSM이 갖는 복잡한 control flow, 그리고 그에 따른 SDF actor firing의 복잡한 스케줄등)로 인해 구성 스케줄링이 어려운 일이 된다. 그리고 이러한 동적인 특성들로 인해 정적인 구성 스케줄링 방법을 이용해서는 구성에 의한 지연(configuration latency)을 적절히 감추는 것이 어렵다. 본 논문에서는, 이 문제를 해결하기 위해, 실시간에 정확한 구성 순서를 찾은 후, 이를 이용한 동적인 구성 스케줄링 방법을 제안한다. 우선, 실시간에 필요한 구성 순서를 찾기 위해서는, HFSM-SDF 모델이 갖는 특징, 즉, SDF actor들의 실행 순서(firing schedule)는 최상위 FSM state transition 직전에 알 수 있다는 점을 이용할 수 있다. 이렇게 최상위 FSM의 매 transition마다 SDF actor들의 구성 순서를 찾아, ready configuration queue(ready CQ)에 저장한 후에, 전체 시스템의 state transition을 수행하며, 이 과정에서 FPGA에 (기존에 FPGA를 점유하고 있던 SDF actor의 종료 등으로 인해) 공간이 남으면, 실시간 구성스케줄러는 ready CQ를 살펴보고, 필요한 구성을 다운로드한다. 본 논문에서 제시한 실시간 구성 방법을 MPEG4의 natural video decoder와 IS95의 modem 예제에 적용해 본 결과, 수행 시간이 최대 21.8%까지 향상되었으며 메모리 사용의 부담은 무시할 수 있을 정도였다.

• 로봇학회논문지
• /
• 제1권2호
• /
• pp.107-116
• /
• 2006

We propose a planning algorithm to automatically generate a robust behavior plan (RBP) with which mobile robots can achieve their task goal from any initial states under dynamically changing environments. For this, task description space (TDS) is formulated, where a redundant task configuration space and simulation model of physical space are employed. Successful task episodes are collected, where $A^*$ algorithm is employed. Interesting TDS state vectors are extracted, where occurrence frequency is used. Clusters of TDS state vectors are found by using state transition tuples and features of state transition tuples. From these operations, characteristics of successfully performed tasks by a simulator are abstracted and generalized. Then, a robust behavior plan is constructed as an ordered tree structure, where nodes of the tree are represented by attentive TDS state vector of each cluster. The validity of our method is tested by real robot's experimentation for a box-pushing-into-a-goal task.

• BMB Reports
• /
• 제41권10호
• /
• pp.733-738
• /
• 2008

Although previous studies have implicated a role for TC1 (C8orf4) in cancer cell proliferation, the molecular mechanism of its action is still largely unclear. In this study, we showed, for the first time, that the mRNA levels of TC1 were upregulated by mitogens (FBS/thrombin) and at least partially, through the ERK1/2 signaling pathway. Interestingly, the over-expression of TC1 promoted the $G_1$- to S-phase transition of the cell cycle, which was delayed by the deficiency of ERK1/2 signaling in fibroblast cells. Furthermore, the luciferase reporter assay indicated that the over-expression of TC1 significantly increased Cyclin D1 promoter-driven luciferase activity. Taken together, our findings revealed that TC1 was involved in the mitogen-activated ERK1/2 signaling pathway and positively regulated $G_1$- to S-phase transition of the cell cycle. Our results may provide a novel mechanism of the role of TC1 in the regulation of cell proliferation.

• 임산에너지
• /
• 제18권2호
• /
• pp.55-61
• /
• 1999

본 실험에서는 화학조성이 다른 일련의 에틸렌/초산비닐 공중합체의 점탄성(또는 화학조성)이 목재/고분자/목재 샌드위치 복합체의 진동·충격음 흡수성능에 미치는 영향을 검토하였다. 그 결과는 다음과 같다. 복합체의 진동·충격음 흡수성능은 고분자의 분자 운동상태에 민감하다. 즉, 복합체의 진동·충격음 흡수성능 고분자가 시험온도에 있어서 유리전이 상태일 때(대략 초산 비닐 55∼75%) 가장 크며, 고분자가 고무상태(초산비닐 47∼20%) 또는 유리상태(초산비닐 100∼87%)일 때는 작다. 또한 유리전이상태의 고분자 적층재는 약 6∼12dB의 충격음 저감효과가 있었다.

• 조명전기설비학회논문지
• /
• 제22권1호
• /
• pp.104-112
• /
• 2008

본 논문은 변전소 신뢰도 평가를 위하여 개발한 컴퓨터 프로그램을 소개하고 있다. 개발한 프로그램은 시스템상태천이 샘플링(system state transition sampling)을 이용한 몬테카를로 법을 관간으로 하고 있다. 시스템상태천이 샘플링은 평가 결과를 신속히 얻을 수 있지만, 평가 대상이 지수분포(exponential distribution)로 모형화된 경우에만 적용할 수 있다는 단점이 있다. 본 프로그램에서는 정전을 유발하는 사건간의 배타성을 가정함으로써 고장 수리시간의 모형으로 비지수분포를 사용할 수 있도록 하였다. 개발한 프로그램을 신뢰도 평가결과가 잘 알려진 시스템에 적용하여 개발한 프로그램의 신뢰성을 증명하였다.