• Journal of KIISE:Software and Applications
• /
• v.27 no.8
• /
• pp.886-901
• /
• 2000

Verification of the safety of untrusted codes becomes an important issue in the mobile computing environment and the safety-critical software systems. Recently, it is very common to run the codes attached to the electronic mails or downloaded from the web browsers. We propose the verification method of the machine code property. The code producer delivers the machine code and its property, then the code consumer checks whether the delivered code satisfies the delivered property. The safety of source codes is verified by the well-defined compiler systems but the verification mechanism for machine codes is not well defined yet. We design an intermediate language etySECK and propose the verification method of the property of etySECK programs. And then we prove the soundness of our system which is the type system with effect extension.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.17 no.1
• /
• pp.115-119
• /
• 2007

The IPv6 protocol provides the method to automatically generate an address of a node without additional operations of administrators, Before the generated address is used, the duplicate address detection (DAD) mechanism is required in order to verify the address. However, during the process of verification of the address, it is possible for a malicious node to send a message with the address which is identical with the generated address, so the address can be considered as previously used one; although the node properly generates an address, the address cannot be used. In this paper, we present a strong scheme to perform the DAD mechanism based on hash functions in IPv6 networks. Using this scheme, many nodes, which frequently join or separate from wireless networks in public domains like airports, terminals, and conference rooms, can effectively generate and verify an address more than the secure neighbor discovery (SEND) mechanism.

• The Journal of the Korea Contents Association
• /
• v.12 no.12
• /
• pp.372-384
• /
• 2012

CEO's business network is important to the establishment and growth of companies and it is recognized as an essential element in regional development, but the related research and studies including surveys on the characteristics and performance of the CEO's network and its activities are lacking. This study aimed at companies located in the northwestern part of the Chungnam to survey about CEO's network activities, and research about the characteristics and performance expectancy of the network was carried out. As research methods, we discussed the previous studies, designed and analyzed the research models empirically using the survey. Analysis based 3 stages approach showed that the performance expectancy on human resource such as recruit was not affected by any factors overall. CEO's satisfaction affect significantly to the both of performance expectations of finance and general management by types of the network and its differentiated program. Executive activities, # of joining network, and period of activity affected also conditionally. This study have contributions that enable businessmen can take advantage of strategic use on the region's business network activity.

• Journal of Christian Education in Korea
• /
• v.67
• /
• pp.117-156
• /
• 2021

This study was conducted in order to investigate the effect of interaction bewteen a Sense of Community and Marital Intimacy effect on learning participation motive in the church family ministry program. In this study, data from 607 people(male: 302, female: 305) nationwide churches and institutes participating in church family ministry program were collected as analysis targets. The produced results from this study are: First, Emotional connection, one of the Marital Intimacy, has meaningful effect (t=6.087, p<.001) on Continuous motivation, one of the learning participation motive. Second, Membership, one of the Sense of Community, has meaningful effect (t=3.343, p<.001) on Intrinsic motivation, one of the learning participation motive. Third, Influence, one of the Marital Intimacy, has meaningful effect (t=5.358, p<.001) on Extrinsic motivation, one of the learning participation motive.

• Proceedings of the ESK Conference
• /
• 1996.10a
• /
• pp.171-178
• /
• 1996

CFMS(Critical Function Monitoring System)는 원자력발전소의 비상시에 운전원에게 보조장보를 제공하는 지원시스템이다. 본 연구에서는 원자력발전소 울진 3&4호기 CFMS의 화면설계에 대한 인간 공학적 검토를 수행하였다. CFMS에 대한 규제 및 법규를 만족시키는 것과 CFMS 화면설계가 운전원에게 편의성을 제공할 수 있는지에 대한 인간공학적 타당성 평가의 사례를 제시하고자 한다. 본 연구에서는 인간공학적 검토의 공식적인 체계를 설정하기 위하여, CFMS 설계에서 필요한 인간공학 업무를 규정하고 수행절차를 기술하는 인간공학 프로그램 계획 (Human Factors Engineering Program Plan; HFEPP)과 설계평가의 방법과 업무 내용을 기술하는 확인 및 검증 프로그램 계획(Human Factors Engineerign Verification and Validation Plan; HFE V&V Plan)을 개발하였다. CFMS 설계에 대한 인간공학적 확인 및 검증을 위하여 CFMS의 정보 가용성 (information availability)과 화면 적합성 (display suitability)을 확인하였다. 정보 가용성의 확인은 CFMS 설계 요건서에서 정의된 정보를 중심으로 한 필요정보의 목록과 CFMS 화면상에서 제공되는 정보의 목록을 비교함으로써 수행되었다. 화면 적합성의 확인은 검토항목 선정, 검토양식 개발, 전문가 검토, 실험검토 등의 과정을 통하여 수행되었다. 관련 규제 문건으로 부터 규제요건상 만족해야할 최소한의 검토항목을 선정하고 검토양식을 개발하였으며, 인간공학 전문가들의 주관적 평가를 통하 여 수행되었다. 또한 화면의 조작방식에 대한 상세검토를 수행하였다. 검토결과로부터 발견된 문제점들은 HED (Human Engineerign Discrepance) 목록으로 정리하여 설계에 반영하도록 하였다.로 마음의 안정감, 몸의 긴장 이완에 따른 건강 상태 유지, 수업 집중도 향상 등이 나타났다. 위와 같은 종합 적 분석 결과에 따라, 본 연구는 제조 현장의 생산성 향상 및 품질 향상과 연계하여 작업자의 작업 집중도 향상, 작업자의 육체적, 심리적 변화에 따른 생산성 및 품질 향상 변화 정도 등의 산업공학(인간공학) 제 분야의 여러 측면에서 연구 및 적용이 가능하리라 사료된다.l, 시험군:25.90$\pm$7.16mg/d1, 47% 감소)를 나타내었으며, 시험군의 AUC는 대조군에 비해 39% 감소하였고, 혈중 아세트알데히드의 농도는 투여 60분후 시험군(3.96$\pm$0.07nmo1/$m\ell$)이 대조군(6.45$\pm$0,64nmo1/$m\ell$)에 비해 유의성 있는 감소(39%)를 나타내었으며, 시험군의 AUC는 대조군에 비해 48% 감소하였다 한편, 시험관내 에탄올 대사 효소에 대한 바이오짐의 효과를 검색해본 결과 바이오짐(2.0 $\mu\textrm{g}$/assay)에 의해 Aldehyde dehydrogenase(1.5unit/assay)의 활성이 14% 증가되었다. 본 연구의 결과로 볼 때, 비지니스 및 바이오짐은 음주 후 상승된 혈중 에탄을 농도 및 아세트알데히드의 농도를 현저히 감소시키는 효과가 있었다.량 보호 관리, 도시 소공원 개발, 역사 문화 공원 조성, 하천 공간 복원, 공원 시설 기능 개선, 이용 프로그램 개발, 공원 관리 개선, 환경 피해 녹지의 회복, 도시 환경 림 조성, 녹지 기능 증진, 도시 자연 경관 보전, 공원 녹지체계 구성, 공원 녹지 공급 균형, 주변 환경 녹화, 가로 녹화의 17개 시책을 제안하였다. 이러한 정책사업의 원활한 추진을 위해서는 기존의 관주도의 일방적인 공원 녹지 행정이 아닌 시민의 참여를 통

• Journal of Industrial Convergence
• /
• v.22 no.9
• /
• pp.93-102
• /
• 2024

The purpose of this study was to investigate the effectiveness of emergency coping education program using mobile application to ICU nurses' nursing performance, CRRT performance, ECMO performance, Video laryngoscopy performance and Educational satisfaction. This study conducted with 51 ICU nurses and analyzed nursing performance, CRRT performance, video laryngoscope performance and educational satisfaction by t-test, and ECMO performance was analyzed by covariance analysis due to different prior homogeneity. The data was analyzed with the SPSS 28.0 program. As a result of the study, The nursing performance after the intervention was significantly increased at the experimental group(=.015). There was no significant difference in CRRT performance(p=.235), ECMO performance(p=.119), Video laryngoscope performance(p=.428). Education satisfaction was significantly higher in the experimental group(p=.003). The study suggests that Emergency coping education program using mobile application has proven the effectiveness of improving the performace of ICU nurses and educational satisfaction.

• Tunnel and Underground Space
• /
• v.30 no.4
• /
• pp.271-305
• /
• 2020

An effect of coupled thermo-hydro-mechanical and chemical (THMC) behavior is an essential part of the performance and safety assessment of geological disposal systems for high-level radioactive waste and spent nuclear fuel. Furthermore, numerical models and modeling techniques are necessary to analyze and predict the coupled THMC behavior in the disposal systems. However, phenomena associated with the coupled THMC behavior are nonlinear, and the constitutive relationships between them are not well known. Therefore, it is challenging to develop numerical models and modeling techniques to analyze and predict the coupled THMC behavior in the geological disposal systems. It is also difficult to verify and validate the development of the models and techniques because it requires expensive laboratory tests and in-situ experiments that need to be performed for a long time. DECOVALEX was initiated in 1992 to efficiently develop numerical models and modeling techniques and validate the developed models and techniques against the lab and in-situ experiments. In Korea, Korea Atomic Energy Research Institute has participated in DECOVALEX-2011, DECOVALEX-2015, and DECOVALEX-2019 since 2008. In this study, all tasks in the three DECOVALEX projects were introduced to the researcher in the field of rock mechanics and geotechnical engineering in Korea.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2014.10a
• /
• pp.13-15
• /
• 2014

최근 경제적인 연비와 효율적인 가동성, 배기가스 감소의 이유로 초임계압 보일러가 각광받고 있다. 하지만 보일러 연소로는 용접된 튜브로 구성되어 있기 때문에 연소 시 내부압력에 의해 발생되는 진동에 취약하여 이에 대한 진동안정성 평가가 필요하다. 본 논문에서는 CFD 기법을 기반으로 수행한 변동압력 해석과 단순화한 모델을 이용한 진동해석을 통하여 보일러 운전 시의 진동안정성 평가를 수행하였다. 변동압력해석은 정상상태 CFD 해석을 수행하고, 이를 이용한 음향모드 해석과 비정상상태 CFD 해석에서 변동압력을 추출하고, 음향모드 해석결과와 주파수 성분을 비교하여 검증하였으며 이를 진동해석 모델에 기진력으로 적용하여 보일러 연소로의 진동해석을 수행하였다. 진동해석 모델은 동특성을 고려한 등가물성치를 이용하여 연소로의 복잡한 구조를 단순화하였으며 buckstay 등의 방진구조를 구현하여 보일러의 진동안정성을 평가하는 기법을 정립하였다. 해석결과, 보일러 운전조건에서 비정상상태 CFD 해석을 통해 구한 변동압력과 진동해석을 통해 얻은 가속도 응답은 안정적 수준인 것으로 확인하였다. 이는 향후 유사한 보일러 안정성 평가에 적용이 가능하고, buckstay 등 보일러의 방진 구조 설계 및 평가에도 적용할 수 있음을 확인할 수 있었다.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.43 no.2 s.344
• /
• pp.96-104
• /
• 2006

This paper presents design methodology, encient verification and implementation of a CAN protocol controller. The design methodology uses a heuristic technique to make the design flexible and cost effective. Using the design methodology, we created architecture for a CAN controller which has flexible and low cost features. For faster time-to-market and reliable operation of the designed CAN protocol controller, we p개posed a three-step verification process which uses three different kinds of verification techniques. The goal of this three-step verification is to reduce the number of test sequences in order to rapidly implement the design without loss of reliability for faster time-to-market. The designed CAN protocol controller was fabricated using a 0.35 micrometer CMOS technology.

• Proceedings of the Korean Vacuum Society Conference
• /
• 2010.08a
• /
• pp.113-113
• /
• 2010

최근 태양전지 제작 등에 응용되고 있는 $NH_3/N_2/SiH_4$ 유도결합 플라즈마 방전에서 활성종의 플라즈마 변수 의존성을 이론적인 계산을 통해 분석한다. 먼저, 수집 및 계산 가공된 반응계수들에 대한 신뢰성을 검증하기위해 공간평균 전산모사를 수행하여 최종적으로 계산된 전자온도 및 밀도값들이 합리적인 범주에 속해 있는지 확인한다. 검증된 반응계수들을 바탕으로 공간평균 유체방정식에서 정상상태를 가정하여 중성종 및 활성종 밀도를 전자밀도 및 온도 등의 플라즈마 변수에 대한 함수로 표현하고, 이에 대한 수치해석적인 해를 얻음으로써 그 의존성을 분석해 본다.