• Title/Summary/Keyword: Model Validation

Search Result 3,195, Processing Time 0.027 seconds

Improvement of a Verified Secure Key Distribution Protocol Between RFID and Readers (RFID와 리더간의 안전성이 검증된 키 분배 프로토콜의 개선)

  • Bae, Woo-Sik;Lee, Jong-Yun
    • The KIPS Transactions:PartC
    • /
    • v.18C no.5
    • /
    • pp.331-338
    • /
    • 2011
  • The RFID system includes a section of wireless communication between the readers and the tags. Because of its vulnerability in terms of security, this part is always targeted by attackers and causes various security problems including the leakage of secret and the invasion of privacy. In response to these problems, various protocols have been proposed, but because many of them have been hardly implementable they have been limited to theoretical description and theorem proving without the accurate verification of their safety. Thus, this study tested whether the protocol proposed by Kenji et al. satisfies security requirements, and identified its vulnerabilities such as the exposure of IDs and messages. In addition, we proposed an improved RFID security protocol that reduced the number of public keys and random numbers. As one of its main characteristics, the proposed protocol was designed to avoid unnecessary calculations and to remove vulnerabilities in terms of security. In order to develop and verify a safe protocol, we tested the protocol using Casper and FDR(Failure Divergence Refinements) and confirmed that the proposed protocol is safe in terms of security. Furthermore, the academic contributions of this study are summarized as follows. First, this study tested the safety of a security protocol through model checking, going beyond theorem proving. Second, this study suggested a more effective method for protocol development through verification using FDR.

Development of Line Density Index for the Quantification of Oceanic Thermal Fronts (해양의 수온전선 정량화를 위한 선밀도 지수 개발)

  • Cho, Hyun-Woo;Kim, Kye-Hyun
    • Journal of the Korean Association of Geographic Information Studies
    • /
    • v.9 no.2
    • /
    • pp.227-238
    • /
    • 2006
  • Line density index(LDI) was developed to quantify a densely isothermal line rate as standard index in the ocean environment. Theoretical background on the LDI development process restricting index range 0 to 100 was described. And validation test was done for the LDI application condition that total line length is not greater than 1/10 of unit area. NOAA SST(Sea Surface Temperature) data were used for the experimental application of LDI in the South Sea of Korea. Using GIS, $0.1^{\circ}C$ isothermal lines were linearized as vector data form SST raster data, and unit area were built as polygon data. For the LDI calculation, spatial overlapping(line in polygon) was implemented. To analyze the effect of unit area size for the LDI distribution, two cases of unit area size were designed and descriptive statistics was calculated including performing normality test. The results showed no change of LDI's essential characteristics such as mean and normality except for the range of value, variance and standard deviation. Accordingly, it was found that complex structure of thermal front and even smaller scale of front width than unit area size could influence on the LDI distribution. Also, correlation analysis performed between LDI and difference of temperature(${\Delta}T^{\circ}C$), and horizontal thermal gradient(${\Delta}T^{\circ}C/km$) on the front was obtained from linear regression model. This obtained value was compared with the results from previous researches. Newly developed LDI can be used to compare the thermal front regions changing spatio-temporally in the ocean environment using absolute index value. It is considered to be significant to analyze the relationship between thermal front and marine environment or front and marine organisms in a quantitative approach described in this study.

  • PDF

The Effect of Donations Feedback and Donation Awareness to Donation Continuity Intention (기부금 사용 내역 피드백과 기부인식이 기부지속에 미치는 영향)

  • Suh, Munshik;Oh, Daeyang
    • Journal of Digital Convergence
    • /
    • v.16 no.3
    • /
    • pp.129-143
    • /
    • 2018
  • The purpose of this study was to examine the effect of donation expenditure details and the shift in awareness as a result of disclosure of donation expenditure details in order to promote constant donation by nonprofit organizations in the course of marketing activities. The first experiment was configured through $2{\times}2$ intergroup element design based on 2(feedback on donation expenditure details: available vs. unavailable) ${\times}$ 2(donation awareness: expenditure vs. exchange), and furthermore, MANOVA was performed. The results showed that the satisfaction with donation was higher when the donation expenditure details were disclosed(M=5.125, SD=0.437) and that the relation maintenance intention was higher(p<0.01) when the donation expenditure details were disclosed M=5.328, SD=0.459). In addition, the main effect was validated by using the bootstrapping method. The results of overall model validation showed that satisfaction & trust(=0.843, p<0.01) and satisfaction(=0.267, p<0.01) and trust(=0.691, p<0.01) had a positive(+) relationship. Based on aforesaid results, donors are expected to have greater trust if nonprofit organizations make effort to ensure transparent and detailed disclosure of information on expenditure of donations made by donors. Succeeding studies would need to investigate the effect that might vary depending on the type of feedback methods, etc.

Development and Validation of the Scale to Measure Acculturation Stress of Parents-in-law who have a Foreign Daughter-in-law (외국인 며느리를 둔 시부모의 문화적응 스트레스 척도 개발에 관한 연구)

  • Chung, Soon-Dool;Park, Hyun-Ju
    • Korean Journal of Social Welfare
    • /
    • v.63 no.2
    • /
    • pp.319-336
    • /
    • 2011
  • There is recent recognition that the approach toward family members is crucial for understanding problems in multi-cultural families by emerging from typical approach focused on migrant women. While researches have reported serious conflicts and adaptation problems from cultural difference between parent-in-law and foreign daughter-in-law, cultural stress of parent-in-law has not been systematically examined. The purpose of this study was to develop and validate a scale to measure acculturation stress of parent-in-law who have a foreign daughter-in-law. The sample consisted of 266 parents-in-law from three provinces of South Korea. Initially, 16 items were generated based on the existing scale of acculturation stress and they are tested by item-analysis through the descriptive and correlational analysis. An exploratory factor analysis was conducted to investigate the factor structure of the scale and a confirmatory factor analysis was used to validate the scale. By item-analysis, five items were deleted from initial scale items because of redundancy. Findings from an exploratory factor analysis provided the evidence that the scale consists of three factors which are the perception of prejudice and discrimination, conflicts from different cultural value, and daily discomfort. Cronbach's ${\alpha}$ for the scale is 0.86. Multiple fit indices from confirmatory factor analysis indicated that the hypothesized three-factor model for acculturation stress achieved a good fit with the data. Results showed the evidence for the reliability and validity of the scale for acculturation stress of the parent-in-law who have foreign daughter-in-law. The scale would have potential effects for assessing psychological stress for parent-in-law in research and clinical practice. Further implications and limitation of the study and suggestions for future studies were discussed.

  • PDF

Study on the Accident of Kitchen Food Service Industry Employees in Accordance with the Safety and Environment Awareness and Accident Experience (안전 환경 인식과 사고 경험에 따른 외식산업 주방 종사원의 안전사고에 관한 연구)

  • Oh, Suk-Tae
    • Culinary science and hospitality research
    • /
    • v.21 no.2
    • /
    • pp.85-102
    • /
    • 2015
  • The purpose of this study was to present the direction of the safety manual in the food service industry kitchen. The accident rate in food industry kitchens is around 87.2%, it meaning nearly 9 workers have accident among 10, considered to be very high. The most common accident is a knife cut wound (84.7%). And burns caused by hot water and oil (74.4%), then shown slip and falls (28.1%). The degree of fulfillment of kitchen safety awareness and safe environment varied based on gender, in which male are considered more likely to suffer from accidents than women. The level of safety perception varies between workers at different career points. Workers with 1~3 years of experience suffer the highest rate of accident, while workers with 7~10 years and more of experience are believed to be at lower risk of accident. Restaurant type did not exhibit a significant influence on accidents cases, although differences in the adoption of personal safety, even partially, were discovered, at significance of 0.01 < 0.027 < $0.05^*$. Based on these results, this paper has suggested preventive safety management validation model the food service industry based on kitchen management and incident management, and presented steps necessary.

Landslide Susceptibility Mapping Using Ensemble FR and LR models at the Inje Area, Korea (FR과 LR 앙상블 모형을 이용한 산사태 취약성 지도 제작 및 검증)

  • Kim, Jin Soo;Park, So Young
    • Journal of Korean Society for Geospatial Information Science
    • /
    • v.25 no.1
    • /
    • pp.19-27
    • /
    • 2017
  • This research was aimed to analyze landslide susceptibility and compare the prediction accuracy using ensemble frequency ratio (FR) and logistic regression at the Inje area, Korea. The landslide locations were identified with the before and after aerial photographs of landslide occurrence that were randomly selected for training (70%) and validation (30%). The total twelve landslide-related factors were elevation, slope, aspect, distance to drainage, topographic wetness index, stream power index, soil texture, soil sickness, timber age, timber diameter, timber density, and timber type. The spatial relationship between landslide occurrence and landslide-related factors was analyzed using FR and ensemble model. The produced LSI maps were validated and compared using relative operating characteristics (ROC) curve. The prediction accuracy of produced ensemble LSI map was about 2% higher than FR LSI map. The LSI map produced in this research could be used to establish land use planning and mitigate the damages caused by disaster.

Application of Response Surface Methodology in Medium Optimization to Improve Lactic Acid Production by Lactobacillus paracasei SRCM201474 (반응표면분석법을 이용한 Lactobacillus paracasei SRCM201474의 생산배지 최적화)

  • Ha, Gwangsu;Kim, JinWon;Im, Sua;Shin, Su-Jin;Yang, Hee-Jong;Jeong, Do-Youn
    • Journal of Life Science
    • /
    • v.30 no.6
    • /
    • pp.522-531
    • /
    • 2020
  • The aim of this study was to establish the optimal medium composition for enhancing L(+)-lactic acid (LLA) production using response surface methodology (RSM). Lactobacillus paracasei SRCM201474 was selected as the LLA producer by productivity analysis from nine candidates isolated from kimchi and identified by 16S rRNA gene sequencing. Plackett-Burman design was used to assess the effect of eleven media components on LLA production, including carbon (glucose, sucrose, molasses), nitrogen (yeast extract, peptone, tryptone, beef extract), and mineral (NaCl, K2HPO4, MgSO4, MnSO4) materials. Glucose, sucrose, molasses, and peptone were subsequently chosen as promising media for further optimization studies, and a hybrid design experiment was used to establish their optimal concentrations as glucose 15.48 g/l, sucrose 16.73 g/l, molasses 39.09 g/l, and peptone 34.91 g/l. The coefficient of determination of the equation derived from RSM regression for LLA production was mathematically reliable at 0.9969. At optimum parameters, 33.38 g/l of maximum LLA increased by 193% when compared with MRS broth as unoptimized medium (17.66 g/l). Our statistical model was confirmed by subsequent validation experiments. Increasing the performance of LLA-producing microorganisms and establishing an effective LLA fermentation process can be of particular benefit for bioplastic technologies and industrial applications.

An FSI Simulation of the Metal Panel Deflection in a Shock Tube Using Illinois Rocstar Simulation Suite (일리노이 록스타 해석환경을 활용한 충격파관 내 금속패널 변형의 유체·구조 연성 해석)

  • Shin, Jung Hun;Sa, Jeong Hwan;Kim, Han Gi;Cho, Keum Won
    • Transactions of the Korean Society of Mechanical Engineers A
    • /
    • v.41 no.5
    • /
    • pp.361-366
    • /
    • 2017
  • As the recent development of computing architecture and application software technology, real world simulation, which is the ultimate destination of computer simulation, is emerging as a practical issue in several research sectors. In this paper, metal plate motion in a square shock tube for small time interval was calculated using a supercomputing-based fluid-structure-combustion multi-physics simulation tool called Illinois Rocstar, developed in a US national R amp; D program at the University of Illinois. Afterwards, the simulation results were compared with those from experiments. The coupled solvers for unsteady compressible fluid dynamics and for structural analysis were based on the finite volume structured grid system and the large deformation linear elastic model, respectively. In addition, a strong correlation between calculation and experiment was shown, probably because of the predictor-corrector time-integration scheme framework. In the future, additional validation studies and code improvements for higher accuracy will be conducted to obtain a reliable open-source software research tool.

Study on Effect of Anchor Bolt by Thermal Expansion of Sulfur Storage Tank under High Temperature (고온을 받는 유황저장탱크의 열팽창에 의한 앵커볼트 영향에 관한 연구)

  • Jung, Wook-Hwan;Kim, Jeong-Soo;Kim, Tae-Min;Kim, Moon-Kyum
    • Journal of the Computational Structural Engineering Institute of Korea
    • /
    • v.29 no.5
    • /
    • pp.483-490
    • /
    • 2016
  • In plant industry, sulfur storage tank is made of steel and annular plate is connected with concrete foundation of ring wall type by anchor bolt. Due to keep sulfur at high temperature in tank by coil, sulfur storage tank is expanded larger than another tank stores fluid at room temperature. Generally, structural design of tank foundation is performed analysis with loading of temperature gradient between inner and outer surface, this method can't consider the phenomenon that load is intensively transferred to concrete foundation at anchor bolt. This means that temperature load is underestimated and causes crack of concrete near anchor bolt. In this study, evaluation formula considering temperature load transfer mechanism through anchor bolt is proposed and load acting on concrete foundation is rationally decided. For this purpose, it is analyzed variation of thermal load per various anchor bolt number using finite element model including tank annular plate and anchor bolt. Solution is proposed as specified term combining result of analysis and theoretical solution for evaluating load transferred by anchor bolt. For confirmation of validation of proposed formula, it is applied in design of sulfur storage tank at plant site, it shows that the formula can be practically applied.

A Cross-Validation of the Korean Version of the Revised Memory and Behavioral Problems Checklist(K-RMBPC): Exploratory and Confirmatory Analyses ("한국형 기억 및 행동문제 개정점검표(Korean Version of the Revised Memory and Behavioral Problems Checklist: K-RMBPC)"의 타당화를 위한 탐색적 연구)

  • Lee, Min-Hong;Yoon, Eun-Kyung
    • Korean Journal of Social Welfare
    • /
    • v.59 no.2
    • /
    • pp.65-88
    • /
    • 2007
  • This study evaluates psychometric properties of the Revised Memory and Behavioral Problems Checklist(RMBPC) in Korean version. The sample includes 387 South Korean family caregivers who provide the majority of day to day tasks and emotional care for their older family members with physical and/or cognitive disabilities. The psychometric properties of the RMBPC are verified by item analysis, exploratory factor analysis(EFA) & confirmatory factor analysis(CFA). For cross-validity, the randomly divided two samples are used: one sample for EFA(n=193, 387/2) and the other sample for CFA(n=194, 387/2). The internal consistency of the K-RMBPC is excellent, and the convergent and criterion-related validity of the K-RMBPC with related variables is empirically confirmed. An EFA based on the Principal Component Analysis(PCA) method with varimax rotation explains 65.85% of variance accounted for by the three factors. A CFA also verifies that the model fit was acceptable. The shorter Korean version of the RMBPC is found reliable and valid. The translated checklist would be very useful for clinical and research settings by (a) focusing on observable, conceptually relevant, potentially modifiable behaviors and (b) using objective criteria within a self-administered framework, to enable clinicians and researchers to pinpoint areas of disturbance and target intervention goals for patients and caregivers in a cost-effective manner.

  • PDF