• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2003.12a
• /
• pp.655-659
• /
• 2003

시스템의 안전성을 평가하기 위해 안전성 문제 해결 도구인 SPR［1］을 이용하여 보안 모델을 프롤로그 기반의 명세 언어인 SPSL로 기술하여 안전성을 검증한다. 보안 모델은 시스템의 3가지 컴포넌트, 시스템 보안 상태(system security states), 접근 통제 규칙(access control rules), 그리고 보안 기준(security criteria)으로 구성된다. 본 논문에서는 보안 모델의 보안 기준에 NTFS의 다중 사용 권한을 적용하여 명세하고 안전성 문제 해결방법을 제시하고자 한다.

• KIPS Transactions on Software and Data Engineering
• /
• v.6 no.2
• /
• pp.91-102
• /
• 2017

Many of the wearable smart fitness devices provide services related to users' heartbeat rates. These services use fixed standards which have been pre-determined based on statistical data. However, because body conditions significantly differ between individuals, the services applying fixed standards to all individuals are not reliable. This paper proposes the Feedback-RFC model which adapts heartbeat standards to individual users' exercise abilities and also proposes a method to implement the model. This paper also shows the effectiveness of the Feedback-RFC model by collecting heartbeat data from 12 participants and evaluating the model with the data.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2000.11a
• /
• pp.455-465
• /
• 2000

새로운 기술의 도입으로 바라보았을 때 인터넷이라는 기술은 기존에 가능하기 못하였던 다양한 비즈니스 모델의 출현을 가능하게 하여 주었다. 향후에는 지능형 에이전트라는 새로운 기술로 인하여 현재의 비즈니스 모델이 어떻게 새로운 기회를 찾게 될 수 있는지 파악하는 것은 관련 사업담당자들에게 의미 있는 일이라 사료된다. 본 논문에서는 지능형 에이전트 기술을 기존의 속성 기준의 분류를 지양하고 비즈니스 모델 관점에서 핵심역량, 사용주체, 사용공간, 수익원천의 기준으로 분류하고 대표적인 비즈니스 모델인 경매모델, P2P 모델, 전자몰 모델등에서의 구매자 혹은 판매자가 이러한 지능형 에이전트 기술을 보유하였을 경우에 가능한 시나리오와 도식화된 모델을 제시하고자 한다.

• Journal of Radiation Protection and Research
• /
• v.27 no.2
• /
• pp.111-120
• /
• 2002

A reference scenario of vault safety case prepared by the IAEA for the near-surface disposal facility of low-and informed]ate-level radioactive wastes is assessed with the MASCOT program. The appropriate conceptual models for the MASCOT implementation is developed. An assessment of groundwater pathway through a drinking well as a geosphere-biosphere interface is performed first. then biosphere pathway is analysed to estimate the radiological consequences of the disposed radionuclides based on compartment modeling approach. The validity of conceptual modeling for the reference scenario is investigated where possible comparing to the results generated by the other assessment. The result of this study shows that the typical conceptual model for groundwater pathway represented by the compartment model ran be satisfactorily used for safety assessment of the entire disposal system in a cons]stent way. It is also shown that safety assessment of a disposal facility considering complex and various pathways would be possible by the MASCOT program.

• Journal of the Korean Society for Railway
• /
• v.14 no.4
• /
• pp.333-340
• /
• 2011

The purpose of this paper is to develop two kinds of finite element models for the heavy deformable obstacle defined in grade crossing collision scenario of the Europe TSI and the Korean rolling stock safety regulations and to apply the crashworthiness evaluation for the Korean high-speed EMU with the FE model. The numerical models of the heavy obstacle were changed from a past rigid one to a current deformable one whose stiffness requirement should be verified by a collision simulation defined in the regulations. Through several trial simulations, two types of numerical models for the heavy obstacle were developed, which satisfied physical properties specifies in the regulations. One is a solid-type obstacle with uniform density and the other is a shell-type. With the obstacles developed in this study, the grade crossing collision scenario for Korean high-speed EMU was simulated and evaluated for the two-type obstacle models. From the simulation results, the shell and solid-type obstacles showed quite different behaviors after collision, and the shell type model gave more severe results.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.21 no.1
• /
• pp.61-69
• /
• 2003

There is various kinds cause that influence to created DEM and orthoimage using stereo satellite images. Specialty, research about effect that GCP number gives to accuracy of DEM, orthoimage and modeling may have to be gone ahead. Therefore, this research increases GCP number by 5 to 30 and created each modeling, DEM and orthoimage using SPOT panchromatic images that resolution is 10m by digital image processing method. Accuracy assessment did by orthoimage using 20 check point. As a result, GCP number between 10∼30 modeling RMSE is 1 pixel low appear. Horizontal·vertical error that use orthoimage looked tendency that decrease GCP number increases, and confirmed by the most economical in GCP number 10∼15. Also, analyze correlation of GCP number and orthoimage position accuracy and presented improvement plan and research task hereafter.

• Journal of Soil and Groundwater Environment
• /
• v.12 no.1
• /
• pp.44-52
• /
• 2007

This study reviewed the overall process of application of contaminant fate and transport model as part of risk assessment. Site characterization and establishment of a conceptual model prior to establishing or selecting a appropriate model were described. Types of models, model selection guidance, and generic site conditions for model application were presented, the process of model calibration, validation, and sensitivity analysis were reviewed. Objectives of modeling should be defined before model selection, and the complexity of selected models should balance the quantity and quality of available input data with the desired model output. If model output is highly sensitive to an assumed or default value of input parameter, or fate and transport models cannot be adequately calibrated or validated, consideration should be given to other options such as using measured data or using another model.

• Journal of the Korea Concrete Institute
• /
• v.21 no.3
• /
• pp.377-386
• /
• 2009

A reference diffusion coefficient model from ACI life-365 is drawn from test results by NT build 443. This test method gives a time-averaged diffusion coefficient during immersion period, thus the ACI model uses the time-averaged diffusion coefficient as a reference value. ACI model needs to be revised, considering the difference between the time-average value and reference value at specified time. In this study, firstly the analytic solutions of diffusion equation are derived considering the initiation time and period of exposure to chloride, and secondly the time-averaged diffusion coefficient from NT build 443 is converted into the diffusion coefficient at reference time. From this study, the reference diffusion coefficient of ACI model should be modified to be about 10% larger values than those of present ACI model. For convenient design of service life, previous relationship between the chloride diffusion coefficient from NT build 443 and that from NT build 492 is also modified. To compare the chloride diffusion coefficients of ACI and JCI models, the reference chloride diffusion coefficient with respect to the JCI model is drawn in the similar form of ACI model's, and service life prediction by ACI life-365 method is confirmed to give a conservative result.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1998.03a
• /
• pp.33-36
• /
• 1998

시뮬레이션을 이용한 위게임 체계는 실 기동훈련체계를 효과적으로 보완할 수 있는 육군의 부대훈련체계로서 정착되어 있으며, 이를 위하여 실시간에 전장상황을 처리하고 필요시 진행시간 조정, 상황 재현 등의 임의 통제가 가능한 워게임 모델 개발에 대한 요구가 증가하고 있다. 본 연구에서는 다기능, 다제대 동시훈련이 가능한 분산형 워게임 시뮬레이션 모델 개발을 수행한 내용으로, 연대전투모델에서 분산 처리가 가능한 분야를 도출하고, 이를 실시간 처리 기준에 맞도록 모델링에서 분산 처리가 가능한 분야를 도출하고, 이를 실시간 처리 기준에 맞도록 모델링에 반영하였다. 분산 워게임 모델 구현을 위하여 실시간 분산객체 기술의 한 분야인 TMO(Time Triggered Message Triggered Object) 모델을 기반으로 nstks처리 모델을 설계하였고, 논문에서는 현재까지 분산형 워게임 모델 개발에 대한 연구 결과와 향후 연구 방향을 제시하고자 한다.

• Journal of the Korean Society for Library and Information Science
• /
• v.42 no.3
• /
• pp.233-257
• /
• 2008

The integration, openness, participation, and technology are essential elements of digital information resources in order to establish an unified and cooperative network of various digital knowledge-information abroad. This study analyzes policies, technologies and administrative aspects of international cooperative networks such as WDL, IPL, TEL. Based on the analysis, a number of collection standards for international cooperation are drawn. Analyzed standards are divided into four different aspects and applied to produce detailed appraisal standards for digital knowledge-information. In conclusion, in order to map out strategies and policies for developing an international cooperative network, the study proposes a number of principles and models for making an appraisal of collections.