• Review of KIISC
• /
• v.19 no.2
• /
• pp.87-98
• /
• 2009

국내 외 IT 제품은 그 제품이 가지고 있는 안전성 및 신뢰성에 대한 검증을 통해 국가 및 공공기관에 제품 공급 및 이용 촉진을 도모하고 있다. 또한 각 국가마다 보안제품 특징과 성격에 맞는 평가라 인증을 수행하기 위한 보안성 평가 서비스를 제공하고 있으며, 시스템 평가 기준과 방법론이 개발 및 운영되고 이에 따라 캐나다에서는 정보기술보안 제품의 안전성을 사전에 검증하기 위한 제도를 시행하고 있다. 본 고에서는 캐나다의 정보기술보안 제품 사전 검증 제도에 대한 분석을 통해 국내 적용가능성에 대하여 분석한다.

• Journal of Korea Multimedia Society
• /
• v.13 no.11
• /
• pp.1677-1686
• /
• 2010

Application contents verifications and operations are essential for using a secure smart phone environment. In the existing smartphone environment, application verification was performed only in the application company and users has direct management application. However these application verification and management practices have been caused by a variety of security vulnerabilities. Therefore, we will analyze the security vulnerabilities in the existing methods and then we propose an application contents management of smart phone using pre-qualification method.

• Proceedings of the IEEK Conference
• /
• 2001.09a
• /
• pp.601-604
• /
• 2001

본 논문에서는 고출력 증폭기와 송신 펄스 성형 필터로서 Raised Cosine filter (RCF)를 사용하는 OFDM 시스템에서 비선형 왜곡 보상을 위한 고정점 반복 사전왜곡기를 제안하고 이의 성능을 검증하였다. 제안된 사전왜곡기는 RCF 전단에 위치하나 이의 Zero-Intersymbol Interference 성질을 이용하여 단지 고출력 증폭기에 의한 기억성이 없는 비선형 왜곡만을 보상하는 효율적인 구조이다. 또한 성능 검증을 위해 필터 전단에 위치하는 사전왜곡기와 증폭기 전단에 위치하여 증폭기의 비선형 왜곡만을 보상하는 사전왜곡기를 비교하여, 필터에서 ISI를 제거한 경우에는 사전왜곡기의 위치에 관계없이 비선형 왜곡을 효과적으로 보상할 수 있다는 점을 모의실험을 통해 확인하였다.

• Journal of The Korean Association For Science Education
• /
• v.28 no.6
• /
• pp.664-674
• /
• 2008

The purpose of this study was to analyze the effects of the teaching and learning programs for science teachers' scientific hypothesis testing-method invention. Subjects were 30 secondary school science teachers. The potato juice task was administered to the subjects before and after instructional treatments. The four-step strategy including the steps of identifying factors, identifying variables, selecting variables and inventing methods, was applied to the development of the teaching and learning programs for the science teachers. The programs were developed by 6 experts through the R&D method. The results of this study revealed that the number and elaborateness of science teachers' scientific hypothesis testing-methods increased after the instructional treatments. The testing ability of testing-methods invented by science teachers in the posttest was stronger than the one of the methods invented in the pretest. This study also discussed the implications of these findings for teaching and learning in science education.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.33 no.11A
• /
• pp.1063-1071
• /
• 2008

This paper proposes a prior maximum likelihood (ML) detection verifier which has an ability to verify if the zero forcing (ZF) detection results are identical to the ML detection results. Since more than 90% of ZF detection results are identical to ML detection results, the proposed verifier makes it possible to omit the computationally complex ML detection in 90% cases of MIMO signal detections. The proposed verifier is designed by using the diversity gain obtained from converting MIMO signal into single input multiple output (SIMO) signals. In the proposed method, single input multiple output (SIMO) signals for each transmit antenna are separated from MIMO signals after the MIMO signals are detected by ZF method. Computer simulations show that the true alarm probability of the proposed verifier is more than 80% and the false alarm probability is less than $10^{-4}$.

• Journal of KIISE:Software and Applications
• /
• v.31 no.9
• /
• pp.1218-1225
• /
• 2004

S/KEY system was proposed to guard against intruder's password replay attack. But S/KEY system has vulnerability that if an attacker derive passphrase from his dictionary file, he can acquire one-time password required for user authentication. In this paper, we propose a correct S/KEY system mixed with EKE to solve the problem. Also, we specify a new S/KEY system with Casper and CSP, verify its secrecy and authentication requirements using FDR model checking tool.

• Proceedings of the Korea Contents Association Conference
• /
• 2011.05a
• /
• pp.567-568
• /
• 2011

미국 영상제작시장에서는 기획단계에서 충분한 시간, 비용투자와 여러 가지 검증방법을 통해, 아이디어를 거의 완벽하게 검증하고 있다. 최근에 사전시각화-프리비즈(previsualiztion)의 한 종류인 3D 씨네메틱스(cinematics)가 검증방법으로 활용되고 있다. 최신 컴퓨터 그래픽 기술을 이용하는 프리비즈는, 단기간에 저비용으로 제작자와 클라이언트들이 원하는 비주얼을 최종 결과물에 최대한 가깝게 구현하는 것을 목표한다. 고품질 프리비즈는 기획물에 대한 검증, 수정, 시장성타진 뿐만 아니라 프로덕션단계의 시행착오를 줄이는 가이드라인으로 쓰여, 프로덕션의 품질(quality)향상, 제작비 절감하는데 기여하고 있다. 이러한 기획에 대한 확실한 검증과정들이 미국의 영상제작산업을 세계최고 레벨로 올려놨다. 본 연구는 미국 영상제작시장에서 제작되고 있는 프리비즈의 동향과, 프리비즈 국내영상기획시장에서의 필요성, 기대효과를 연구하고자 한다.

• Journal of the Korean Society for Library and Information Science
• /
• v.49 no.3
• /
• pp.81-107
• /
• 2015

This study describes the Bottom-up method for implementation of an ontology system from the RDB. The STNet, a structured terminology glossary based on RDB, was served as a test bed for converting to RDF ontology, for generating the inference rules, and for evaluating the results of the semantic search. We have used protege editor of the ontology developing tool to design ontologies with test data. We also tested the designed ontology with the Inference Engine (Pellet) of protege editor. The generated reference rules were tested by TBox and SPARQL queries through STNet ontology. The results of test show that the generated reference rules were verified as true and STNet ontology were also evaluated to be useful for searching the complex combination of semantic relation.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2022.10a
• /
• pp.43-46
• /
• 2022

The optimal operation of the water purification plant can be carried out only when the required flow rate is supplied in a timely manner using the minimum electrical energy by accurately predicting the pattern and amount of tap water used in the consumer. In order to ensure the stability of tap water production and supply, a system that can be pre-verified before applying AI-based composite sensors to the water purification plant was established to derive complementary matters through the pre-verification model for each composite sensor and improve the quality and operation stability of the composite sensor data.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2022.10a
• /
• pp.559-561
• /
• 2022

In order to secure the stability of tap water production and supply, we have built a system that can be pre-verified before applying AI-based composite sensors to the water purification plant, which is a demonstration site. We have collected and analyzed data related to the drug input of the GO-RYEONG water purification plant for about two years from December 2019 to December 2021. The outliers of each tag were removed through data preprocessing such as outliers and derived variable, and the cycle was set as average data for 60 minutes of each one-minute period, and the model was learned using the PLS model.