• Journal of KIISE:Software and Applications
• /
• v.31 no.6
• /
• pp.773-783
• /
• 2004

This paper presents a method for real-time verification of Statecharts. Statecharts has been widely used for real-time reactive systems, and supports two time models: synchronous and asynchronous. However, existing real-time verification methods for them are incompatible with the asynchronous time model or increase state space by introducing new variables to the target models. We solved these problems by extending existing model checking algorithms. The extended algorithms can be used with both time models of Statecharts because they consider time increasing transitions only. In addition, they do not increase target state space since they count those transitions internally without additional variables. We extended an existing model checker, NuSMV, based on the proposed algorithms and conducted some experiments to show their advantage.

• Proceedings of the Korea Contents Association Conference
• /
• 2009.05a
• /
• pp.185-190
• /
• 2009

Recent performing-art has a trend to be new cultural contents style which mixes various genre not just traditional way. Especially in stage performance, unique performance is playing using high technology and image. In sound performance, one of technology, a new experiment is trying which re-analyze the sound and mixes the result with image. But in public performance we have a technical difficulty with making visualization regarding the sound in realtime. Because we can not make visualization with instant sound from performers and audience it is difficult to interact smoothly between performer and audience. To resolve this kind of restriction, this paper suggests Real-time sound visualization. And we use string music instrument for sound source. Using the MaxMSP/Jitter based the Midi, we build image control system then we test and control the image with Korg Nano Kontrol. With above experiment we can verify verious emotion, feeling and rhythm of performer according to performance environment and also we can verify the real time interactive image which can be changed momently by performer's action.

• The KIPS Transactions:PartD
• /
• v.8D no.1
• /
• pp.10-23
• /
• 2001

Transactions in real-time active databases have the notion of activeness where transactions are generated by external effects and another transaction. In this paper, we propose the multi version concurrency control algorithm for real-time active transactions. A real-time active transaction has a timing constraint in the form of a deadline until which the user wants to complete the transaction, and is characterized by triggering relationships which mean that association between a transaction that triggers the execution of another transaction and the triggered transaction. The triggering relationship is an important factor to resolve data conflicts among real-time active transactions. The proposed concurrency control mechanism resolves data conflicts by considering triggering relationships between conflicting transactions as well as priorities and precedence relationships. The conflict resolution mechanism considers association types of the triggering relationship such as abort and commit dependency, and then resolves data conflicts in favor of higher priority transactions. We also present the experimental results of our algorithm comparing other real-time active concurrency control algorithms.

• Proceedings of the Korean Institute of Electrical and Electronic Material Engineers Conference
• /
• 2003.05b
• /
• pp.144-148
• /
• 2003

알루미나볼 위에 Titanium tetraisopropoxide(TTIP)를 원료로, 화학기상증착법으로 제조된 $TiO_{2}/Al_{2}O_{3}$ 볼을 이용하여 벤젠의 기상 광 분해 실험을 실시하였다. 기상분해 과정의 연속적 측정을 위하여 순환식의 반응장치를 자체 제작하였으며, PID(Photo Ionization Detector)방식의 VOCs meter를 이용하여 광조사에 의한 벤젠의 분해율을 실시간으로 측정하였다. 기상의 벤젠과 $TiO_2/Al_{2}O_{3}$ 볼의 원활한 흡착을 위해 30분간 암반응 시킨 후 광분해율을 측정한 결과 광조사에 의한 분말표면에 흡착된 VOCs의 탈착에 의한 초기 농도증가 현상이 공통적으로 측정되었으며, 흡착 면적이 작을수록 농도 증가 또한 낮게 측정되었다. 또한 최적조건을 기준으로 실시한 분해 실험 결과 60ppm이상의 고농도 영역에서는 VOCs의 분해가 비교적 느리게 진행되었지만, 60ppm이하의 저농도 영역에서는 급속한 VOCs의 분해가 측정되었다. 마찬가지로 반응 표면적이 넓을수록, 광원이 많을수록 그리고 광분해에 사용된 자외선 램프의 강도가 클수록 광반응에 의한 벤젠의 분해율이 증가하였다.

• Korean Journal of Poultry Science
• /
• v.42 no.2
• /
• pp.157-167
• /
• 2015

We compared the degrees of stress response of 12 domestic purebred chicken strains that have been bred at National Institute of Animal Science, RDA, Korea since 1980. As a physiological marker of stress response, the expression levels of heat shock protein (HSP)-70, HSP-$90{\alpha}$, HSP-$90{\beta}$, hydroxyl-3-methyl-glutaryl coenzyme A reductase (HMGCR) genes and telomere length were measured by quantitative real-time polymerase chain reaction using the lymphocytes of 1,101 chickens. There was significant difference in HSP-70, HSP-$90{\alpha}$, HMGCR expression and telomere length among the strains. There was also significant difference in HSP-$90{\alpha}$, HSP-$90{\beta}$, and HMGCR expression between male and female chickens. Different age groups of chicken exhibited different expression levels of HSP-70, HSP-$90{\alpha}$ and telomere length. The results of the HSPs expression level suggested that, the strains of R, L and Y were highly resistant to stress, whereas the strains of S, O and W were susceptible to stress. Although the statistical differences in some of HSPs gene expression existed between genders, the HSP expression results varied in different strains that some opposed to the others, and there might be interaction between strains and genders, which conclude that there was no difference in stress response between male and female chickens. Moreover, despite of significant difference in some of HSPs expression level, it was considered that there was no difference in stress response between ages due to the inconsistent trends among HSP markers.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2009.05a
• /
• pp.154-158
• /
• 2009

본 연구에서는 관측 기술의 향상과 지형자료들의 가용성 증가를 통해 유역 홍수 통합관리에서 많은 주목을 받고 있는 분포형 강우-유출 모형의 적용성 검토를 수행하였다. 본 연구에서 이용한 다방향 흐름분배 알고리듬은 고해상도 지형정보로부터 도출된 흐름정보를 상대적으로 저해상도 지형정보에 전달하여, 저해상도 지형정보의 이용을 통해 발생될 수 있는 흐름정보의 평활화 (smoothing)로 인한 흐름정보의 손실을 최소화하는 목적으로 개발되었다. 다방향 흐름분배 알고리듬 및 실시간 강우-유출 보정 알고리듬의 적용성 검토를 위해 평창강유역에 대하여 지점 강우량 자료를 이용하여 모의를 수행하였다. 모형 수행의 정확도 검토를 위해 다방향 흐름분배 알고리듬 및 실시간 강우-유출 보정 알고리듬을 적용한 경우와 그렇지 않은 경우를 비교해 본 결과 알고리듬을 적용한 경우가 적용하지 않은 경우보다, 유역 유출반응을 더 잘 묘사하고 있음을 알 수 있었다. 알고리듬을 적용하지 않은 경우도 수문곡선의 형태상 좀 더 향상된 관측의 묘사가 가능할 것으로 예상되었으나 합리적이지 못한 매개변수의 무리한 조정이 요구될 수도 있으며, 매개변수의 조정으로 인해 수문곡선의 패턴의 변화가 발생될 수 있을 것이다.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.20 no.5
• /
• pp.726-732
• /
• 2017

Bacillus anthracis, Vibrio cholerae, Variola virus and Shigella dysenteriae are classified as category A and B biological weapons. In this study suggest that 4 genes of Bacillus anthracis, 2 genes of Vibrio cholerae, 1 gene of Variola virus and 1 gene of Shigella dysenteriae were detective 50~500 fg of target DNA per reaction using real-time PCR based assay. Also analytical specificity did not show any cross-reactivity with other related bacteria. Reliable and one reaction could be effective early diagnostic and treatment for detection of unknown samples.

• Defense and Technology
• /
• no.5 s.243
• /
• pp.18-29
• /
• 1999

$C^4I$ 체계는 나토군의 효과적인 지휘통제로 정보수집/전파, 지휘결심, 타격명령/실시 등의 제반 절차가 실시간에 이루어지게 되므로 반응시간의 단축을 이루었으며, 정밀유도 무기체계의 유고 핵심시설에 대한 집중 타격은 유고의 군사력을 거의 초토화시킨 상태이다. 코소보 사태와 관련하여 나토군이 선보인 첨단 무기체계 및 신기술은 우리의 국방과학기술의 현주소를 깨닫고 시금석으로 삼을 수 있는 좋은 계기임에 틀림없다. 지금 우리는 기술패권주의 시대에 살고 있고, 이러한 시대에 살아남기 위해서 무엇보다 필요한 것은 최첨단 국방과학기술의 개발일 것이다

• Journal of rehabilitation welfare engineering & assistive technology
• /
• v.10 no.4
• /
• pp.315-320
• /
• 2016

In this study, we developed a response time measuring apparatus for fencing which can use fencing athlete's own electric sword and connectors. The measuring apparatus designed to be connected to upper back of dummy body and it's position can be changed by spinning itself. And it operates like a closed circuit composed of dummy helmet, the apparatus, reel signal connection, connector and electric sword of athlete. This measuring apparatus can provide response time to athlete immediately which response time is measured from the time of indicating random signal of light and sound to the time of attacking dummy by athlete. we carried out pilot test for couch and athlete of national fencing team and could validate availability of this system.

• Proceedings of the Korean Vacuum Society Conference
• /
• 2011.08a
• /
• pp.304-304
• /
• 2011

열필라멘트 화학 기상 증착 공정(HWCVD, hot wire chemical deposition)은 낮은 기판 온도에서 다결정 실리콘 박막을 빠른 속도로 증착할 수 있는 방법이다. 이는 후처리가 없어도 전기적 특성이 우수한 박막을 저온에서 얻을 수 있기 때문에 녹는점이 낮은 기판에 증착을 할 수 있으며 공정비용 절감 효과가 있다. 이러한 박막 증착 공정 중 기상 핵생성에 의해 나노 입자가 생성되며, 새로운 관점에서는 그 농도와 크기가 박막 성장에 중요한 변수로 작용한다. 따라서 공정조건의 변화에 따라 생성되는 나노 입자의 크기 분포를 실시간으로 분석하여 박막 형성의 최적 조건을 찾는 연구가 필요하다. 하지만 이러한 입자 발생 특성에 관한 연구는 기존에 밝혀진 반응 메커니즘으로 인해 수치해석적 연구는 체계적으로 진행되었으나 실험적 연구의 경우 적합한 측정장비의 부재로 인해 제한이 있었다. 따라서 본 연구에서는 저압에서 실시간으로 나노입자 분포를 측정할 수 있는 PBMS (particle beam mass spectrometer)를 이용하여 열필라멘트 화학 기상 증착 공정 중 발생하는 입자의 존재를 확인하고 특성을 분석하였다. 실리콘 나노 입자의 측정은 PBMS 장비의 전단 부분을 HWCVD 배기 라인에 연결하여 진행하였으며 반응기 내 샘플링 위치, 필라멘트 온도, 챔버 압력, 작동기체의 비율을 변수로 하여 진행하였다. 그 결과 실리콘 나노 입자는 양 또는 음의 극성을 가진 하전된 상태임을 확인 하였고, 측정 조건에 따라 일부 단일 극성으로 존재하였다. 한편, 필라멘트 온도가 증가할수록 하전된 나노입자의 최빈값은 감소하였다. 또한 반응 가스인 SiH4 농도가 증가할수록 최빈값은 농도에 비례하여 증가하였다. 이런 결과는 기존 HWCVD 실험에서 투과 전자 현미경(TEM)을 이용하여 분석한 실리콘 나노 입자의 크기 분포 결과와 경향이 일치함을 확인하였다. 본 연구를 통하여 확인된 하전된 나노 입자의 존재를 실험적으로 확인하였으며 추후 지속적 연구에 의해 이러한 하전된 나노 입자가 박막 형성에 기여 하는 것을 규명하고 박막 형성 조건을 최적화하는데 중요한 역할을 할 것을 기대할 수 있다.