• Journal of the Korean Magnetics Society
• /
• v.26 no.3
• /
• pp.105-114
• /
• 2016

In this study, For assessment of triangular fibrocartilage complex (TFCC) injury, we acquired images by fat suppressed 3D fast spoiled gradient recalled T1 and fat suppressed Isotropic 3D fast spin echo T1 techniques. For quantitative evaluation, measured signal to noise ratio and contrast to noise ratio and verified statistical significance between two imaging techniques by Mann-Whitney U verification. And for qualitative evaluation, marked 4-grade scoring (0: non diagnostic, 1: poor, 2: adequate, 3: good) on shape of TFCC, artifacts by partial volumes, description of the lesions by two radiologist, verified coincidence between 2 observer using Kappa-value verification. We used 3.0 Tesla MR equipment and 8-channel RF coil for imaging acquisition. As quantitative evaluation results, signal to noise ratio and contrast to noise ratio value of Isotropic 3D fast spin echo T1 technique is higher in every image sections, also between two imaging techniques by Mann-Whitney U verification was statistically significant (p < 0.05). As qualitative results, observer 1, 2 marked a higher grade on Isotropic 3D FSE T1 technique, coincidence verification of evaluation results between two observers by Kappa-value verification was statistically significant (p < 0.05). As a result, during MRI examination on TFCC injury, fat suppressed Isotropic 3D fast spin echo T1 technique is considered offering more useful information about abnormal lesion of TFCC.

• KIPS Transactions on Computer and Communication Systems
• /
• v.11 no.9
• /
• pp.289-304
• /
• 2022

It is necessary to apply process algebra and logic in order to analyze and verify safety requirements for Smart IoT Systems due to distributivity and mobility of the systems over some predefined geo-temporal space. However the analysis and verification cannot be fully intuitive over the space due to the fact that the existing process algebra and logic are very limited to express the distributivity and the mobility. In order to overcome the limitations, the paper presents a new logic, namely for GTS-VL (Geo-Temporal Space-Visual Logic), visualization of the analysis and verification over the space. GTS-VL is the first order logic that deals with relations among the different types of blocks over the space, which is the graph that visualizes the system behaviors specified with the existing dTP-Calculus. A tool, called SAVE, was developed over the ADOxx Meta-Modeling Platform in order to demonstrate the feasibility of the approach, and the advantages and practicality of the approach was shown with the comparative analysis of PBC (Producer-Buffer-Consumer) example between the graphical analysis and verification method over the textual method with SAVE tool.

• The Korean Journal of Financial Management
• /
• v.25 no.4
• /
• pp.79-116
• /
• 2008

This paper examines and estimates GARCH-VaR models (RiskMetrics, GARCH, IGARCH, GJR and APARCH) with three different distributions such as Gaussian normal, Student-t, Skewness Student-t Distribution using the daily price data from Korean Stock Market during Jan. 1, 1980-Sept. 30, 2004. It also compares them. In-sample test, this finds that for all confidence level as $90%{\sim}99.9%$, the performance and accuracy of IGARCH with ${\lambda}=0.87$ and skewness Student-t distribution are superior to other models and distributions in long position, but GARCH and GJR with Skewness Student-t distribution in short position. For above 99% confidence level, the performance and accuracy of IGARCH with ${\lambda}=0.87$ in both long and short positions are superior to other models and distributions, but Skewness Student-t distribution for long position and Student-t distribution for short position are more accuracy and superior to other distributions. In-out-of sample test, these results also confirm the evidences that the above findings are consistent as well.

• Journal of Digital Convergence
• /
• v.17 no.9
• /
• pp.291-299
• /
• 2019

This study is a nonequivalent control group pretest-posttest designed to understand the effect of ethical dilemma discussion program on human rights sensitivity and ethical values of university students. By providing ethical dilemma discussion program to university students in C university, G-do, the effectiveness was verified. Analyzed using IBM SPSS 24.0. The normality of the variables was verified by Shapiro-Wilk test. Homogeneity was verified using real number and percentage, Fisher's exact probability test and independent t-test. The program's effect was verified using paired t-test. The results of this study are as follows: after the ethical dilemma discussion program, the experimental group's human rights sensitivity(t=-2.32, p=.025), and ethical value(t=-2.43, p=.020) were higher than the control group. Therefore, the ethical dilemma discussion program of this study helped improve the human rights susceptibility and ethical values of the subjects. Further research is needed to verify the effects of ethics education on diverse groups.

• Journal of Technology Innovation
• /
• v.25 no.4
• /
• pp.79-105
• /
• 2017

As the size of venture firm's operating funds continues to increase, the scope of work of the investment jurisdiction is increasing dramatically as well. However, investment decisions vary widely, depending on the competence of the judges. This follow-up study recommends verifying the validity of the effectiveness of venture investments by validating the efficacy of assessing venture investment indexes. After verifying the assessment indexes for 100 venture firms, the study noted that the efficacy of the survey as a qualitative evaluation measure was approximately 85% hit, which can act as a yardstick for investment decisions. The results of this study can contribute toward the decision making power of venture companies in terms of investments.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2003.10a
• /
• pp.990-994
• /
• 2003

This paper describes the VoIP(Voice over Internet Protocol) SoC(System on Chip) Design and the test board development for the function verification to support voice communication services using Internet. To implement the simple system of configuration, we designed the VoIP SoC which have ARM922T of 32bit microprocessor, IP network interface, voice signal interface, various user interface function. Also we developed test program and communication protocol to verify the function of this chip. We used several tools of design and simulation, developed and tested a test board with Excalibur which includes ARM922T microprocessor and FPGA.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2023.11a
• /
• pp.475-478
• /
• 2023

컴퓨터 단층촬영(CT)을 활용한 골격근 단면적은 근감소증과 관련된 기능을 평가하는 데 사용된다. 일반적인 근감소증 연구는 요추 3번의 골격근량을 주로 보지만 암 또는 폐절제술과의 상관관계를 예측하기 위한 다양한 연구에서는 흉추 4번, 7번, 8번, 10번, 12번 다양한 수준의 골격근량으로 연구를 진행하고 있음을 알 수 있다. 본 논문에서는 흉부와 복부 CT 영상에서 근감소증 진단을 위해서 흉추와 요추의 영역별 슬라이스를 검출하기 위해서 CNN 구조의 EfficientNetV2를 전이학습하여 인공지능 모듈을 개발하였다. 인공지능 모듈은 전체 흉부 및 복부 CT 영상에서 Cervical, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, L1, L2, L3, L4, L5, Sacral 총 19 클래스를 검출하도록 하였다. Test 데이터셋을 사용하여 Confusion Matrix와 Grad-CAM으로 모델의 정확도를 시각화하여 보였으며 검증으로 인공지능 모듈의 정확성을 측정하였다. 끝으로 우리가 개발한 다기관 공동연구 지원플랫폼에 적용하여 시각화된 결과를 보였다.

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

PKI 구축을 위한 노력이 전 세계적으로 진행되고 있는 가운데 PKI의 계층구조 유형에 따라 인증관리 정책, 인증서 형식 등의 서로 다른 PKI 구성요소를 가진 인증기관(CA)들이 각기 다른 곳에 분산되어 있다. 그러므로, 이러한 CA간의 상호인증 서비스를 어떻게 제공할 것인가를 고려해야 할 필요가 있다. 특히 상호인증 서비스를 제공하기 위한 인증정책, 정책매핑, 정책제한의 확장영역은 인증경로의 유효성을 검증할 때 검증의 성공과 실패에 중요한 영향을 미친다. 본 논문은 ITU-T X.509의 인증경로처리과정에서 정책과 관련된 부분을 살펴보고 ITU-T X.509 3rd Edition의 정책관련 문제점들이 ITU-T X.509 4th Edition에서 어떻게 개선되었는지 몇 가지 예를 통하여 제시하고 앞으로 인증경로처리과정이 어떠한 방향으로 확장되고 응용되어야 할지를 기술한다.

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

효과적인 저수지 수질관리를 위해서는 신뢰도 높은 수리 및 수질모델이 필요하며, 이러한 모델의 성능은 다양한 수문사상에 대하여 적용함으로써 검증할 수 있다. CE-QUAL-W2 모델(이후 W2)은 횡방향 평균 2차원 수리 수질 해석 모델로써 수체의 길이에 비해 폭이 상대적으로 좁고 수심이 깊은 우리나라 대부분의 저수지 지형에 적합한 모델이다. 본 연구의 목적은 기존 연구에서 가뭄년인 2001년과 평수년인 2004년 수문사상에 대하여 보정한 대청호 W2 부영양화모델을 최근 평수년인 2006년과 가뭄년인 2008년을 대상으로 검증하는데 있다. 모델의 검증은 물수지, 수온성층 구조 변화, 부영양화 해석에 중점을 두었으며, 실측자료와 모의결과의 적합성 비교 평가는 결정계수값$(R^2)$, AME(absolute mean error)와 RMSE(root mean square error)를 이용하였다. 저수지 물수지의 적합성을 검증하기 위하여 모의수위와 실측수위를 비교한 결과, $R^2$값이 2006년과 2008년에 각각 0.9945, 0.9972로 나타나 신뢰도가 높은 것으로 확인되었다. 계절별 성층구조 변화 모의 성능을 검증하기 위해 회남수역과 댐 앞 지점에서 수심별 수온의 모의값과 실측값을 비교하였다. 2006년의 경우 모델은 홍수기 동안 안정적으로 수온 성층현상을 모의하였으나, 댐 앞 지점에서 수온 약층이 형성된 구간에서 실측값과 다소 편차를 보였으며, 오차크기는 AME가 $0.561\sim2.088^{\circ}C$, RMSE는 $0.797\sim2.762^{\circ}C$범위였다. 반면, 가뭄년인 2008년에는 전 기간에 걸쳐 모두 안정적으로 저수지 수온 성층현상을 모의하였으며, 오차크기는 AME $0.413\sim1.162^{\circ}C$, RMSE $0.546\sim1.415^{\circ}C$ 범위였다. 조류의 생산성이 높은 표층에서 T-N, T-P 및 Chl-a 농도 모의결과를 장계교, 대정리, 회남대교, 댐 앞, 추동취수탑 및 문의취수탑에서 시계열로 실측값과 비교 검증한 결과, T-N과 T-P는 2006년과 2008년 모두 모든 비교 지점에서 모의값과 실측값의 시계열 변동이 매우 잘 일치하였으며, 홍수기 이외 기간에는 큰 변동 폭을 보이지 않았다. 그러나 기존 연구에서 확인된 바와 같이 7월 이후부터 T-P 모의값이 실측값을 과대 산정하는 경향을 보였는데, 그 원인은 산소 결핍상태에서 저니층에서 용출되는 철(Fe) 또는 망간(Mn)과 같은 이온 성분이 인과 흡착하여 침전되는 기작이 모의과정에 적절히 반영되지 않은 것이 원인으로 판단된다. 조류(Chl-a)농도의 경우, 2006년과 2008년에 모든 지점에서 모델은 조류의 발생과 시계열 변화를 적절히 모의하였으나, 2008년 1월부터 8월까지 댐 앞과 추동 및 문의취수탑에서는 모의값이 실측값을 과대 산정하는 경향을 보였다. 이는 해마다 그리고 계절별로 우점하는 조류 종이 상이한 반면, 모델에서는 이에 대한 매개변수를 적절히 고려하지 못한 것이 원인으로 판단된다.

• Air Cleaning Technology
• /
• v.30 no.1
• /
• pp.21-28
• /
• 2017