• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2001.11a
• /
• pp.258-261
• /
• 2001

인증서의 정당성을 검증하기 위하여 검증자(verifier)는 소유자(owner)의 인증서와 그 인증서를 인증한 공인인증기관의 인증서들을 검증해야 하고, 그에 앞서 그 인증서들의 폐지 여부를 확인하여야 한다[1]. 이 인증서 폐지 목록의 확인을 대행하는 것이 실시간 인증서 상태 프로토콜(OCSP)이다[2]. 그리고, 이 OCSP가 인증서의 폐지 여부만을 응답하는 단점을 극복하기 위하여 간단한 인증서 검증 프로토콜(SCVP)이 제안되었다[7]. 이 SCVP는 사용자의 질문의 형태에 따라 인증서의 정당성까지 검증하여 주는 프로토콜이다. 그러나 이 SCVP 역시 새로운 신뢰기관을 필요로 한다. 본 논문에서는 전체 인증서 검증 경로를 알 수 있는 인증서 일련번호 부과 방법[4]을 기반으로 부과적인 신뢰기관 없이 실시간으로 인증서의 정당성 여부를 확인할 수 있는 새로운 프로토콜을 제시하고자 한다. 계산량의 결과로는 SCVP와 동일한 2n 번의 서명 생성 및 검증이 필요하지만, 인증서 폐지 목록과 부과적인 신뢰기관을 필요로 하지 않는다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1998.05a
• /
• pp.303-308
• /
• 1998

SMART 계측제어계통 측정신호의 신뢰성을 높이기 위한 실시간 신호검증알고리듬을 개발하였다. 개발된 알고리듬은 선행고장검출행렬, 아날로그 신호용 다중성 기법, 접촉신호용 논리표 알고리듬, 주파수 신호용 다중성 기법 그리고 아날로그 센서 경증을 위한 통계적 모듈의 5개 모듈로 구성되어 있다. 선행고장검출행렬은 측정 신호 중에서 고장의 가능성이 있는 신호를 추출하여 선정된 신호만을 적절한 알고리듬으로 검증하도록 함으로써 전체적인 수행시간을 감소시킨다. 아날로그 신호검증 모듈은 아날로그 측정신호에 대한 물리적/해석적 다중성에 입각하여 고장신호의 크기, 위치를 검출하며, 접촉신호 검증 모듈은 접촉신호들간의 논리값을 비교하여 발생 불가능한 논리값을 가지는 신호를 고장신호로 검출한다. 주파수신호는 아날로그 신호와 유사한 기법을 구현하였으며, 통계적 모듈은 아날로그 센서 자체의 물리적 건전성을 검사하는 모듈이다. 현재 SMART의 설계가 확정되어 있지 않으므로 개발된 신호검증알고리듬을 시험하기 위해서 여러 주요 공정변수가 표현되는 상용 원자로의 냉각재계통을 대상으로 검증 알고리듬을 구현하였으며, 운전모사기로 모사된 신호를 이용하여 개발된 신호검증알고리듬을 시험하였다. 시험결과 각 모듈별로 적절히 고장을 검출함을 보였다.

• The Journal of the Korea Contents Association
• /
• v.16 no.1
• /
• pp.642-654
• /
• 2016

The purpose of this study was analyze the characteristics of self-management of the physical activity questionnaire elementary and develop self-management. To do this, from the average student is selected to receive training in physical education gifted students, and to cover up the children who are acting as an athlete in the current schools participated in a variety of students. Professional meetings, inductive categorization, item analysis, exploratory factor analysis and confirmatory factor analysis conducted, the verification was carried out between different groups discriminant validity for verification. As a result, physical activity self-management factor is the support of the parents of elementary school students, exercise management, life management, interest, self-confidence, support of parents, personal management were six factors determined to be a total of 24 questions. In addition, Gifted children was higher than in all the sub-factors of physical activity self-management in the general child population. As a result, we ensure the validity of the test to diagnose physical activity as a self-managed by first responders schools.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2011.05a
• /
• pp.335-335
• /
• 2011

토양유실은 농업환경지표를 비롯한 국제 규범에서 농업에 의한 환경오염의 핵심문제로 제기되고 있다. 이러한 토양유실의 문제점을 해결하기 위해 USLE를 기반으로 한 SATEEC모형을 사용하여 토양유실량 및 유사량을 산정하였다. SATEEC모형은 USLE입력자료와 DEM을 이용하여 산정된 토양유실량 과 GA-SDR모듈을 통해 산정된 유달률(Sediment Delivery Ratio, SDR)을 통하여 최종유출구에서의 유사량을 산정한다. 많은 연구자들은 최종유출구에서의 유사량을 실측유사량과 비교하여 비슷하게 모의되면 유역의 특성을 잘 반영한다고 판단하므로 SATEEC모형의 단점인 토양유실량이 과하게 산정되는 문제점을 중요하게 생각하지 않는다. 하지만 SATEEC 모형의 결과값인 유사량의 신뢰도를 향상시키기 위해서는 토양유실량 검증을 통한 정확한 입력자료 구축이 필요하다. 따라서 본 연구에서는 여러개의 토양유실량 시나리오를 만들어 이에 따른 SATEEC 모형의 유사량을 비교/평가하고, 이를 이용하여 토양유실량의 검증이 필요함을 제시하고자 한다. 본 연구에서 사용한 토양유실량 시나리오는 총 4개로써, 시나리오 1은 SATEEC모형을 이용하여 산정된 토양유실량이며, 시나리오2~4는 ArcGIS를 사용하여 기존의 토양유실량 값에 ${\pm}0.25$의 범위를 주어 새롭게 산정된 토양유실량으로 SATEEC모형을 이용한 유사량 산정시 입력자료로 활용하였다. 그 결과 SATEEC모형을 이용하여 산정된 토양유실량은 시나리오별로 차이를 보였다. 또한 SATEEC GA-SDR모듈을 통해 예측된 토양유실량 값과 실측유사량을 이용하여 유달률을 산정하였으며 유달률도 토양유실량 시나리오별로 차이를 보였다. 따라서 SATEEC모형을 이용하여 최종유출구에서의 유사량 산정 결과 토양유실량의 차이에도 불구하고 유사량은 거의 비슷한 값을 나타내고 있으며, 최종유출구에서의 모의된 예측 유사량이 실측유사량과 비교 시 R2=0.688, EI=0.643 정도로 실측유사량과 비슷한 경향을 나타냈다. 따라서 SATEEC모형을 이용하여 유사량 산정시 먼저 문헌을 통한 토양유실량 검증이 필요하리라 판단되며, 문헌을 통해 토양유실량 검증 후 정확한 입력자료를 구축하여 유역에서의 유사량 저감을 위한 최적관리 기법 분석에 사용할 수 있도록 프로세서를 구축해야 할 것이라 판단된다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.14 no.3
• /
• pp.301-305
• /
• 2008

Races must be detected for debugging OpenMP programs with directives, because they may cause unintended nondeterministic results of programs. Intel Thread Checker, an existing tool that can detects races, can not verify the existence of races and is often time-consuming and tends to require large space. To solve these problems, we developed a tool that verifies the existence of races using user requirements and analyzed model of programs. However, the tool does not have optimal performance in programs which have no synchronization for interthread coordination. This paper presents an optimal tool that applies the optimum labeling and protocol for program models without interthread coordination. For synthetic programs without interthread synchronization, the tool verifies races over 250 times faster than the previous tool on the average, even if the maximum parallelism increases in every case of which the number of total accesses are identical.

• Journal of The Korean Association For Science Education
• /
• v.31 no.6
• /
• pp.958-969
• /
• 2011

The purpose of this study is to investigate relationships among scientific self-efficacy, achievement in science and cognitive self-regulation learning strategy. The subjects were composed of 158 elementary school students. Data of students' self-efficacy related to science and cognitive self-regulation learning strategy measured by questionnaire were analyzed. Science achievement scores were also collected. The results indicated that self-efficacy and cognitive self-regulation learning strategy predicted science scores. The findings showed that cognitive selfregulation learning strategy mediated the relation between self-efficacy and achievement in science. Memory learning strategy, considered a cognitive self-regulation learning strategy, did not mediate the relation between self-efficacy and science scores. The implications of science education to develop students' science achievement in the classroom and the suggestions for future researchers are discussed.

• Journal of IKEEE
• /
• v.15 no.4
• /
• pp.267-273
• /
• 2011

In hardware design, its stability and reliability are important, because a hardware error can cause serious damages or disaster. To improve stability and reliability, this paper presents the implementation of the hardware verification system using the fault injection method in PC environment. This paper presents a verification platform that can verify hardware system reliably and effectively, through a process to generate faults as well as insert input signals into the actual running system environment. The verification system is configured to connect a PC with a digital I/O card, and it can transmit or receive signals from the target system, as a verifier's intention. In addition, it can generate faults and inject them into the target system. And it can be monitored by displaying the received signals from the target system to the graphical wave signals. We can evaluate its reliability by analyzing the graphical wave signals. In this paper, the proposed verification system has been applied to the FPGA firmware of a nuclear power plant control system. As a result, we found its usefulness and reliability.

• Journal of Digital Convergence
• /
• v.20 no.5
• /
• pp.197-203
• /
• 2022

This research emphasized the importance of consumers' perceived value and verified the mediating effect of innovation in the effect of consumers' perceived value on the purchase intention of new energy vehicles. To verify this, a survey was conducted on Chinese consumers. The verification results are as follows. First, it was verified that environmental value, social value, quality value, and economic value, which are sub-factors of perceived value, all have a significant positive effect on innovation. Second, it was found that innovation had a significant positive effect on purchase intention. Third, it was proved that innovation have partial mediating effects in the relationship between environmental values, social values, quality values, economic values, and purchase intention. Finally, the implications of this study result and future research directions were discussed.

• Journal of Korea Water Resources Association
• /
• v.52 no.12
• /
• pp.1047-1055
• /
• 2019

Various types of numerical modeling techniques are used to predict the behavior of pollutants under various water environmental conditions in the event of a water pollutant accident. Among them, a hydraulic model that can consider water flow characteristics is the most basic and very important. The process of evaluating whether the hydraulic model accurately predicts the applied river characteristics is very important. In the verification of the modeling result, the measuring data are often used in the river. Currently, ADCP and FlowTrackers are widely used to measure the flow velocity of rivers. However, ADCP is not accurate when the depth is less than 0.6 m and also when the ratio of irreversibility near the surface is more than 40%. Futhermore, FlowTracker has a limitation in measuring at high depth and high velocity due to the direct measurement method in rivers. Simuation results, which are validated by these methods, are not reliable for low depth conditions of low flowrate and high velocity conditions of high flowrate. In this study, Lagrangian GPS floaters which measures physical quantity of water according to particle movement is used without the conventional method measured by Eulerian technique. The verification method of the model results was studied by comparing the simulation results of the hydraulic model with the velocities measured using the GPS floaters. When comparing the traveling distance of the GPS floaters with the traveling distance of the LPT simulations, the average error rate was 13.6% on distances, and the average error rate was 3.2% on velocities except for the stagnant section. Therefore, GPS floaters can be used for a correction and verification method of hydraulic model simulations.

• The Journal of Korean Academy of Sensory Integration
• /
• v.19 no.1
• /
• pp.24-38
• /
• 2021

Objective : This study aimed to create a Korea translation of the Evaluation in Ayres Sensory Integration (EASI) and to then test the adapted version for construct validity. Methods : The translation and content validation process were conducted in accordance with a four-step process, namely translation, integration, content validity examination, and backward translation. The construct validity of the translated version was evaluated using the EASI for children aged 3~12 years with and without sensory integration problems, comparing the two groups as well as preschool and school-aged groups. The group comparison was analyzed using the Mann-Whitney U test in SPSS. Results : In terms of content validity, all 20 items averaged more than 3.17 points. Of the four EASI categories, there was a difference in Sensory Perception (p=0.044) between the typical and sensory integration groups, and there was a statistical difference between tactile and vestibular sensations. Between the preschool and school-aged children, statistical difference was observed in two categories, namely Praxis and Ocular-Postural-Bilateral Motor Integration. Conclusion : Based on its construct validity, the Korean version of EASI is suitable for use in research. The construct validity study highlighted items that explain differences between typical and diagnostic children and items that explain those differences by age. Our findings could therefore be considered when interpreting EASI results.