• Journal of the Korea institute for structural maintenance and inspection
• /
• v.19 no.3
• /
• pp.149-160
• /
• 2015

This study reports the interfacial bond strength between Ultra High Performance Concrete (UHPC) and Normal Strength Concrete (NSC). While previous studies have focused on the interfacial strength between NSC substrate and UHPC overlay, this study use precast UHPC for enhanced constructability and replacement of formwork. The factors affecting the interface strength are comprehensively reviewed. It can be classified into: interface shape, degree of hardening and moisture condition of UHPC before combining with NSC, and curing condition of composite materials. Conducted experiments verify the effects of each factor on the interface strength and, accordingly show different failure modes. In particular, a new failure mode of the failure of a part of UHPC was firstly found in the case of sample with rough interface between UHPC and NSC. The other factors of the degree of hardening and the moisture and curing conditions of UHPC were discussed. This research will provide a valuable foundation to utilize the UHPC as a composite material.

• The KIPS Transactions:PartD
• /
• v.12D no.6 s.102
• /
• pp.863-868
• /
• 2005

Hardware and software codesign framework called PeaCE(Ptolemy extension as a Codesign Environment) was developed. It allows to express both data flow and control flow which is described as fFSM which extends traditional finite state machine. While the fFSM model provides lots of syntactic constructs for describing control flow, it has a lack of their formality and then difficulties in verifying the specification. In order to define the formal semantics of the fFSM, in this paper, firstly the hierarchical structure in the model is flattened and then the step semantics is defined. As a result, some important bugs such as race condition, ambiguous transition, and circulartransition can be formally detected in the model.

• Journal of the Korean Institute of Gas
• /
• v.9 no.3 s.28
• /
• pp.38-43
• /
• 2005

There is monitored amount operation variables and controlled by operating conditions and loads at many facilities using gas also chemical plants. The process fault which can be indicated by operators, is occurred when the abnormal state was accumulated continuously owing to physical failure, external disturbance or human error. This is studied a Early Warning System which is to estimate process status by real-time monitoring operation variables and to early warning before it will be occurred process fault.

• Journal of KIISE:Software and Applications
• /
• v.35 no.11
• /
• pp.701-704
• /
• 2008

A general automaton allows multiple input transitions, so a special treatment is required when the history of transitions is needed. An LR automaton keeps the past transitions in the stack to use them during parsing. On the other hand, when each state in an automaton contains in itself the past transition history, the trace overhead of past transitions is unnecessary. The paper suggests a single state parsing automaton that does not depend on the past transitions. The applicable grammar class is less than LR grammars, but each state in a new automaton contains the past information, so the tracing of the history is not required compared to LR automaton.

• Korean Journal of Veterinary Research
• /
• v.19 no.2
• /
• pp.161-167
• /
• 1979

저(低)Ca혈증(血症)의 주징(主徵)인 기립불능(起立不能)의 발현원인(發現原因)의 추구를 위해 실험적(實驗的) 저(低) Ca혈증(血症)에서 기립불능(起立不能) 나아가 심장운동정지(心臟運動停止)에 이르기까지의 과정을 근전도학적(筋電圖學的)으로 실시한 결과의 내용을 요약하면 다음과 같다. EDTA 주입전(注入前)의 정상기립시(正常起立時)에는 항중력근(抗重力筋)에만 tonic discharge가 얻어졌으나 혈정(血中) Ca 농도(濃度)의 저하정도에 따라 근방전(筋放電)이 달라져 6mg/100ml 전후에서 항중력근(抗重力筋) 및 그의 길항근(拮抗筋)에도 phasic discharge를 수반한 tonic discharge가 동기적(同期的)으로 나타나 이의 현상은 후구탈력(後軀脫力)에 의해 주저앉을 때에도 마찬가지였다. 기립불능(起立不能)의 상태에선 clonic convulsion양(樣)의 근방전(筋放電)이 폐사시까지 계속되었다. 경막외마취(硬膜外痲醉)에 의한 근전도(筋電圖)에선 근방전(筋放電)은 항시 상반적(相反的)이었고 후구마비(後軀痲痺)에 의한 횡와위(橫臥位) 상태에선 어떤 근방전(筋放電)도 얻어지지 않아 EDTA 주입(注入)에 의한 저(低) Ca혈증시(血症時)와 경막외마취시(硬膜外痲醉時)의 기립불능(起立不能)의 본질(本質)은 상위(相違)한 것으로 판명되었다. 또한 저(低)Ca혈증시(血症時)에 수반되는 각종 반사 및 임상증상의 추이(推移)로 저(低)Ca혈증시(血症時)에 수반되는 기립불능은 말초신경계 및 신경일근접합부(神經一筋接合部) 및 근(筋) 자체의 기능저하보다는 중추신경계의 기능저하에 의한 가능성을 크게 시사하는 것으로 보아진다.

• Journal of Oral Medicine and Pain
• /
• v.20 no.1
• /
• pp.205-215
• /
• 1995

저자는 두개하악장애 환자에 대한 교합장치 치료시 group function 교합이 있는 환자에서도 canine guidance교합으로 변화시켜 치료함이 정당한지를 근전도학적 측면과 임상적 측면에서 알아보고자 Group function 교합을 가진 20명의 두개하악장애환자와 10명의 정상인을 대상으로 교합장치치료 전, 도중, 후의 좌우측 교근 및 전측두근의 근전도를 측정하고 두개하악장애지수를 조사한 수 이들 자료를 분석 평가하여 다음과 같은 결론을 얻었다. 1. 정상인군에서 최대이악물기상태의 좌우측 교근 및 전측두근의 근전도는 교합장치치료 도중의 cannine guidance교합시가 교합장치치료전후의 group function 교합시에 비해 낮게 나타났다(P<0.01). 2. 두개하악장애군에서 최대이악물기 상태의 좌우측 교근 및 전측두근의 근전도는 교합장치치료 도중의 canine guidance교합시 교합장치치료전후의 group functin교합시에 비해 낮게 나타났다. (P<0.01). 3. 두개하악장애지수는 교합장치치료 전에 비해 치료 후 감소되는 경향을 나타냈었다(P<0.01)

• Annual Conference of KIPS
• /
• 2002.04b
• /
• pp.955-958
• /
• 2002

본 논문의 침입탐지시스템에서는 퍼지 추론을 통한 대표적인 세가지 다중 척도 결합을 제안하였다. 그 중 시스템 호출 척도에서는 권한이동 정보만을 이용한 감사자료 축약방법으로 기존 HMM 모델의 문제점인 모델링 시간 단축을 가능하게 하였고, 프로세스 척도에서는 권한이동 기반 모듈의 단점을 보완하기 위하여 모든 감사자료에 대하여 통계적 분석방법을 사용을 사용하였다. 파일 입출력 척도에서는 상태전이 모니터링을 통하여 파일에 대한 접속 상태 변이를 분석하는 방법을 제안하였다.

• RED RIBBON
• /
• s.67
• /
• pp.20-21
• /
• 2005

많은 사람들이 에이즈의 첫 증상하면 붉은 반점을 흔하게 떠올리게 된다. 사실 이것은 에이즈 전구 증상이 아니고 사람면역결핍바이러스(HIV)에 감염되고 8-10년간의 무증상기를 거친 후에 인체의 면역기능이 바닥까지 망가졌을 때에 생기는 카포시 육종이라는 질병이다. HIV에 감염된 후에 면역기능이 파괴되면 본래 정상인에게 병을 일으키지 않는 미생물에 의해서 감염증이 생기고(이를 기회감염이라고 함)암도 발생하게 된다. 이와 같이 HIV 감염인에게 기회감염 혹은 암 등이 발생한 상태를 에이즈라고 한다. 어떤 사람들은 HIV에 감염된 후에 에이즈가 발병하기 전까지 아무런 증상을 느끼지 못하지만 일부는 에이즈 발병 전에 여러 가지 증상들(에이즈 전구 증상)을 겪게 된다. 오늘은 HIV에 감염된 후 에이즈가 발병하기 전에 발생할 수 있는 전구 증상들에 대해 알아보고자 한다.

• Radiation Oncology Journal
• /
• v.29 no.2
• /
• pp.127-133
• /
• 2011

Five and half years ago, a 45-year-old female metastatic gastric cancer patient underwent a metastatectomy and chemotherapy. Over the last 4 years and 2 months, she received radiotherapy for every new distant metastasis with intermittent TS-1 oral chemotherapy. She received 8 courses of radiotherapy at 17 metastatic sites for more than 4 years. Metastatic sites which received a curative radiation dose achieved and maintained local control. The patient is now 51 years of age and lives without difficulty in performing her daily activities.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.33 no.11B
• /
• pp.1020-1029
• /
• 2008

This paper proposes an high speed pattern matching algorithm and its implementation. The pattern matcher is used to check patterns from realtime input packet. The proposed algorithm can find exact string, range of string values, and combination of string values from input packet at high speed. Given string and rule set are modelled as a state transition graph which can find overlapped strings simultaneously, and the state transition graph is partitioned according to input implicants to reduce implementation complexity. The pattern matcher scheme uses the transformed state transition graph and input packet as an input. The pattern matcher was modelled and implemented in VHDL language. Experimental results show the proprieties of the proposed approach.