• Title/Summary/Keyword: System Test Model

Search Result 5,172, Processing Time 0.037 seconds

Model Verification of a Safe Security Authentication Protocol Applicable to RFID System (RFID 시스템에 적용시 안전한 보안인증 프로토콜의 모델검증)

  • Bae, WooSik;Jung, SukYong;Han, KunHee
    • Journal of Digital Convergence
    • /
    • v.11 no.4
    • /
    • pp.221-227
    • /
    • 2013
  • RFID is an automatic identification technology that can control a range of information via IC chips and radio communication. Also known as electronic tags, smart tags or electronic labels, RFID technology enables embedding the overall process from production to sales in an ultra-small IC chip and tracking down such information using radio frequencies. Currently, RFID-based application and development is in progress in such fields as health care, national defense, logistics and security. RFID structure consists of a reader that reads tag information, a tag that provides information and the database that manages data. Yet, the wireless section between the reader and the tag is vulnerable to security issues. To sort out the vulnerability, studies on security protocols have been conducted actively. However, due to difficulties in implementation, most suggestions are concerned with theorem proving, which is prone to vulnerability found by other investigators later on, ending up in many troubles with applicability in practice. To experimentally test the security of the protocol proposed here, the formal verification tool, CasperFDR was used. To sum up, the proposed protocol was found to be secure against diverse attacks. That is, the proposed protocol meets the safety standard against new types of attacks and ensures security when applied to real tags in the future.

Effect of Mobile Devices on the Use Intention and Use of Mobile Banking Service in Myanmar (미얀마에서의 모바일기기 특성이 모바일 뱅킹 서비스 사용의도와 실제 사용에 미치는 영향 연구)

  • Myo, Salai Thar Kei;Hwang, Gee-Hyun
    • Journal of Digital Convergence
    • /
    • v.15 no.6
    • /
    • pp.71-82
    • /
    • 2017
  • Most banks in Myanmar have begun to provide their services via mobile phones. However, few studies investigated the factors that may help to set mobile services from a customer perspective. So, this study aims to propose and test a conceptual research model to predict the user's intention to use and actual use level of mobile banking service by combining UTAUT and DeLone-Mclean IS model. Data were collected from 206 citizens who had experienced mobile banking in various regions of Myanmar. The study found that performance expectancy, effort expectancy, information quality and service quality influence the user 's intention to adopt mobile banking services which directly affects the user's actual use of them. However, social influence, facilitating condition and system quality don't influence the user's intention. The study results contribute to meeting customer's needs and reducing customer risk in Myanmar's mobile banking industry, suggesting to seamlessly provide the necessary resources like technology improvements, organizational infrastructure and service centers. Another future study are required to include service's security and trust factors so that the service providers could gain their customers' reliability and trust.

Goral(Nemorhaedus caudatus) Habitat Suitability Model based on GIS and Fuzzy set at Soraksan National Park. (GIS와 퍼지집합을 이용한 산양(Nemorhaedus caudatus)의 서식지적합성모형 개발: 설악산 국립공원을 대상으로)

  • 최태영;양병이;박종화;서창완
    • Proceedings of the Korean Association of Geographic Inforamtion Studies Conference
    • /
    • 2003.04a
    • /
    • pp.472-477
    • /
    • 2003
  • 멸종위기종의 서식지를 효율적으로 관리하기 위해서는 해당 종의 서식 가능한 지역의 분포를 알아야 한다. 본 연구의 목적은 GIS와 퍼지집합을 이용하여 산양(Nemorhaedus caudatus)의 서식지적합성모형을 개발하여 멸종 위기종의 서식지를 관리하기 위한 정보를 제공하는 것이다. 산양의 서식지적합성모형 개발을 위한 본 연구의 주요내용은 다음과 같다. 첫째, 산양 서식지 이용에 관한 기존 연구를 바탕으로 산양의 잠재적 서식지 환경변수를 분류하였으며, 분석 대상지의 산양 흔적 조사를 통해 서식지 환경변수의 재분류 및 x²검정(Chi-square test)을 통한 변수들의 유용성을 파악하고, 쌍체비교를 통한 환경변수별 가중치를 계산하였다. 둘째, 기존 부울논리(boolean logic)의 단점을 보완하기 위해 현장 조사의 결과를 바탕으로 퍼지논리(fuzzy logic)에 의한 산양 서식지의 각 환경변수별 주제도를 작성하고, 주제도들의 상관관계를 분석하여 상호 관련성이 높은 변수들의 중복을 피하였다. 셋째, 환경변수별 주제도와 변수별 가중치를 바탕으로 다기준평가기법(MCE, Multi-Criteria Evaluation)을 이용하여 분석대상지의 산양 서식지적합성모형을 개발하였다. 마지막으로, 개발된 서식지적합성모형의 타당성을 검증하기 위해 분석대상지 외부 지역을 대상으로 검증을 실시하였다. 분석 결과 분석대상지의 분류정확도는 서식가능성 0.5를 기준으로 93.94%의 매우 높은 분류정확도를 나타내었으며, 검증대상지에서는 95.74%의 분류정확도를 나타내어 본 모형의 분류정확도는 일관성이 높은 것으로 판단되었다. 또한 전체 공원구역에서 서식가능성 0.5이상의 면적은 59%를 차지하였다.퇴적이 우세한 것으로 관측되었다.보체계의 구축사업의 시각이 행정정보화, 생활정보화, 산업정보화 등 다양한 분야와 결합하여 보다 큰 시너지 효과와 사용자 중심의 서비스 개선을 창출할 수 있는 기반을 제공할 것을 기대해 본다.. 이상의 결과를 종합해볼 때, ${\beta}$-glucan은 고용량일 때 직접적으로 또는 $IFN-{\gamma}$ 존재시에는 저용량에서도 복강 큰 포식세로를 활성화시킬 뿐 아니라, 탐식효율도 높임으로써 면역기능을 증진 시키는 것으로 나타났고, 그 효과는 crude ${\beta}$-glucan의 추출조건에 따라 달라지는 것을 알 수 있었다.eveloped. Design concepts and control methods of a new crane will be introduced in this paper.and momentum balance was applied to the fluid field of bundle. while the movement of′ individual material was taken into account. The constitutive model relating the surface force and the deformation of bundle was introduced by considering a representative prodedure that stands for the bundle movement. Then a fundamental equations system could be simplified considering a steady state of the process. O

  • PDF

Thermal-hydro-mechanical Modelling for an Äspö prototype repository: analysis of thermal behavior (Äspö 원형 처분장에 대한 열-수리-역학적 모델링 연구: 열적 거동 해석)

  • Lee, Jae Owan;Birch, Kenneth;Choi, Heui-Joo
    • Tunnel and Underground Space
    • /
    • v.23 no.5
    • /
    • pp.372-382
    • /
    • 2013
  • Thermal-hydro-mechanical (THM) modeling is a critical R&D issue in the performance and safety assessment of a high-level waste repository. With an $\ddot{A}$sp$\ddot{o}$ prototype repository, its thermal behavior was analyzed and then compared with in-situ experimental data for its validation. A model simulation was used to calculate the temperature distributions in the deposition holes, deposition tunnel, and surrounding host rock. A comparison of the simulation results with the experimental data was made for deposition hole DH-6, which showed that there was a temperature difference of $2{\sim}5^{\circ}C$ depending on the location of the measuring points, but there was a similar trend in the evolution curves of temperature as a function of time. It was expected that the coupled modeling of the thermal behavior with the hydro-mechanical behavior in the buffer and backfill of the $\ddot{A}$sp$\ddot{o}$ prototype repository would give a better agreement between the experimental and model calculation results.

Strut-and-Tie Model for Shear Strength of Reinforced Concrete Squat Shear Walls (저층형 철근콘크리트 전단벽의 전단강도 평가를 위한 스트럿-타이 모델)

  • Mun, Ju-Hyun;Yang, Keun-Hyeok
    • Journal of the Korea Concrete Institute
    • /
    • v.27 no.6
    • /
    • pp.615-623
    • /
    • 2015
  • The previous strut-and-tie models (STMs) to evaluate the shear strength of squat shear walls with aspect ratio less than 2.0 do not consider the axial load transfer of concrete strut and individual shear transfer contribution of horizontal and vertical shear reinforcing bars in the web. To overcome the limitation of the existing models, a simple STM was established based on the crack band theory of concrete fracture mechanics. The equivalent effective width of concrete strut having a stress relief strip was determined from the neutral axis depth and effective factor of concrete strength. The shear transfer mechanism of shear reinforcement at the extended crack band zone was calculated from an internally statically indeterminate truss system. The shear transfer capacity of concrete strut and shear reinforcement was then driven using the energy equilibrium in the stress relief strip and crack band zone. The shear strength predictions of squat shear walls evaluated from the current models are in better agreement with 150 test results than those determined from STMs proposed by Siao and Hwang et al. Furthermore, the proposed STM gives consistent agreement with the observed trend of the shear strength of shear walls against different parameters.

Assessing the Impact of Climate Change on Water Resources: Waimea Plains, New Zealand Case Example

  • Zemansky, Gil;Hong, Yoon-Seeok Timothy;Rose, Jennifer;Song, Sung-Ho;Thomas, Joseph
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2011.05a
    • /
    • pp.18-18
    • /
    • 2011
  • Climate change is impacting and will increasingly impact both the quantity and quality of the world's water resources in a variety of ways. In some areas warming climate results in increased rainfall, surface runoff, and groundwater recharge while in others there may be declines in all of these. Water quality is described by a number of variables. Some are directly impacted by climate change. Temperature is an obvious example. Notably, increased atmospheric concentrations of $CO_2$ triggering climate change increase the $CO_2$ dissolving into water. This has manifold consequences including decreased pH and increased alkalinity, with resultant increases in dissolved concentrations of the minerals in geologic materials contacted by such water. Climate change is also expected to increase the number and intensity of extreme climate events, with related hydrologic changes. A simple framework has been developed in New Zealand for assessing and predicting climate change impacts on water resources. Assessment is largely based on trend analysis of historic data using the non-parametric Mann-Kendall method. Trend analysis requires long-term, regular monitoring data for both climate and hydrologic variables. Data quality is of primary importance and data gaps must be avoided. Quantitative prediction of climate change impacts on the quantity of water resources can be accomplished by computer modelling. This requires the serial coupling of various models. For example, regional downscaling of results from a world-wide general circulation model (GCM) can be used to forecast temperatures and precipitation for various emissions scenarios in specific catchments. Mechanistic or artificial intelligence modelling can then be used with these inputs to simulate climate change impacts over time, such as changes in streamflow, groundwater-surface water interactions, and changes in groundwater levels. The Waimea Plains catchment in New Zealand was selected for a test application of these assessment and prediction methods. This catchment is predicted to undergo relatively minor impacts due to climate change. All available climate and hydrologic databases were obtained and analyzed. These included climate (temperature, precipitation, solar radiation and sunshine hours, evapotranspiration, humidity, and cloud cover) and hydrologic (streamflow and quality and groundwater levels and quality) records. Results varied but there were indications of atmospheric temperature increasing, rainfall decreasing, streamflow decreasing, and groundwater level decreasing trends. Artificial intelligence modelling was applied to predict water usage, rainfall recharge of groundwater, and upstream flow for two regionally downscaled climate change scenarios (A1B and A2). The AI methods used were multi-layer perceptron (MLP) with extended Kalman filtering (EKF), genetic programming (GP), and a dynamic neuro-fuzzy local modelling system (DNFLMS), respectively. These were then used as inputs to a mechanistic groundwater flow-surface water interaction model (MODFLOW). A DNFLMS was also used to simulate downstream flow and groundwater levels for comparison with MODFLOW outputs. MODFLOW and DNFLMS outputs were consistent. They indicated declines in streamflow on the order of 21 to 23% for MODFLOW and DNFLMS (A1B scenario), respectively, and 27% in both cases for the A2 scenario under severe drought conditions by 2058-2059, with little if any change in groundwater levels.

  • PDF

Antecedents and Consequences of Cooperation in Retail Voluntary Chain (소매점 볼런터리 체인 활성화의 선행요인과 결과)

  • Yi, Ho-Taek
    • Journal of Distribution Science
    • /
    • v.14 no.6
    • /
    • pp.65-73
    • /
    • 2016
  • Purpose - Recently, the management conditions of small independent retailers are getting worse everyday as large-scale marts and franchised convenience stores are increasing. The objective of this research is to find out the antecedents and consequences of cooperation in voluntary chain in order to enhance small independent retailer's competitiveness. Voluntary chains, also called affiliation or symbol groups, or allied group represent a high market shared in some European countries like Italy, France, and Germany. Nevertheless, there are still limitations in this research from academic fields. Drawing from network theory, the author investigates the relationship between antecedent factors in voluntary chain cooperation, such as participation benefits, justice of compensation, and autonomy in voluntary chain, and relationship specific asset. The author also attempts to examine the relationship between the relationship specific asset and cooperation of voluntary chain member shop and cooperation and consequence factors of voluntary chain cooperation, such as efficiency, group cohesiveness, and long-term relationship. Research design, data, and methodology - The author presented conceptual framework integrating the major antecedents and consequences of voluntary chain cooperation. The data were collected from 174 independent small retailers who joined K-voluntary chain. K-voluntary chain consists of small independent retailers. In accordance with their status, each entrepreneur associated with the voluntary group can own one or more outlets and can be a part of the life and the decision-making process of the group. This participation is not based on company turnover or on the number of outlets, but based on a one member, one vote system. To verify the research model and test hypotheses, the author carefully investigated the reliability, content validity, convergent validity, and discriminant validity of the proposed model. The data were analyzed by using SPSS 18.0 and AMOS structural equation modeling program. Results - The results of this study are as follows. First, as antecedent variables, participation benefits and justice of compensation have positive effect on the relationship specific assets of voluntary chain members. Second, voluntary chain members' relationship specific asset also directly related to the level of its cooperation to chain headquarter. Third, cooperation of voluntary chain member shop facilitates efficiency, group cohesiveness, and long-term relationship. Unexpectedly, there are no effect autonomy in voluntary chain to relationship specific asset. Conclusions - This research shows several theoretical and practical implications to both marketing scholars and marketers. In terms of theoretical implications, this study applies to network theory and network theory variables to explain the antecedent and consequence factors of cooperation in voluntary chain. From the point of view from business management, most of all, this study shows the way how to reinforce competitiveness of voluntary chain. Specifically, it is necessary for voluntary chain headquarter to give higher level of participation benefit and justice of compensation to its members. Second, the results also indicate what the consequence factors of cooperation in voluntary chain. In other words, to increase the level of marketing efficiency, group cohesiveness, long-term orientation in retail voluntary chain, and chain headquarter need to facilitate participants' cooperation.

Accuracy Evaluation of Terrain Correction of High Resolution SAR Imagery with the Quality of DEM (DEM 품질에 따른 고해상도 SAR 영상의 지형 보정 정확도 평가)

  • Lee, Kyung Yup;Byun, Young Gi;Kim, Youn Soo
    • Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
    • /
    • v.30 no.6_1
    • /
    • pp.519-528
    • /
    • 2012
  • It was pointed out that the terrain distortion of SAR image is even worse than that of optical image although SAR imagery has the advantages of being independent of solar illumination and weather conditions. It is thus necessary to correct terrain distortion in SAR image for various application areas to integrate SAR and optical image information. There has to be a clear evaluation of terrain correction of high resolution SAR image according to the quality of DEM because the DEM of study site is generally used in the process of terrain correction. To achieve this issue, this paper compared the effects of quality of Digital Elevation Model(DEM) in the process of terrain correction of high resolution SAR images, using the DEM produced from 1:5000 topographic contour maps, LiDAR DEM, ASTER GDEM, SRTM DEM. We used TerraSAR-X and Cosmo-SkyMed, as the test data set, which are constructed on the same X-band SAR system as KOMPSAT-5. In order to evaluate quantitatively the correction results, we conducted comparative evaluation with the KOMPSAT-2 ortho image of the same region. The evaluation results showed that the DEM produced from 1:5000 topographic contour maps achieved successful results in the terrain correction of SAR image compared with the other DEM data, and the widely used SRTM DEM data in various applications was not suitable for the terrain correction of high resolution SAR images.

Reinforcement and Arching Effect of Geogrid-reinforced and Pile-supported Embankments (지오그리드와 말뚝으로 보강된 성토지반의 보강 및 아칭효과 연구)

  • Oh Young-In;Shin Eun-Chul
    • Journal of the Korean Geotechnical Society
    • /
    • v.21 no.10
    • /
    • pp.5-16
    • /
    • 2005
  • Geosynthetic-reinforced and pile-supported embankments have been increasingly used and researched around the world. The inclusion of one or multiple geosynthetic reinforcements over the pile is intended to enhance the efficiency of load transfer from soft ground to piles, to reduce total and differential settlement and increase global or local stability. In this paper, the reinforcement effectiveness and arching effect of the geogrid-reinforced and pile-supported embankments have been studied in terms of field model tests and numerical analysis with varying the space between piles and reinforcement. 2-dimensional numerical analysis has been conducted using the FLAC (Fast Lagrangian Analysis of Continua) program. And load transfer mechanisms between soil-piles-geogrid were investigated. The mechanisms of load transfer can be considered as a combination of embankment soil arching, tension geogrid, and stress concentration due to the stiffness difference between pile and soft ground. Based on the field model test and numerical analysis results, it was found that the geosynthetic reinforcement slightly interferes with soil arching, and helps reduce differential settlement of the soft ground. Also. at the D/b=3 (D: spacing of pile cap, b: diameter of pile), the total settlement is reduced by about $40\%$ compared to that without reinforcement. For $D/b{\ge}6$, the effectiveness of geogrid reinforcement in reducing settlement is negligible.

A Study on Importance Level & Present Level Analysis of ISO Auditor' Competency Factors (ISO 심사원 역량요소의 중요도와 보유도 분석에 관한 연구)

  • Cho, Ki Hoon;Yang, Seoung Weon;Lee, Dong Won
    • Journal of Korean Society of Disaster and Security
    • /
    • v.13 no.3
    • /
    • pp.29-43
    • /
    • 2020
  • The purpose of this study was to identify the priority of the ISO auditors' specialized knowledge and job skills required to perform their duties, along with their personal characteristics, in order to enhance field-based auditing capability. For achieving the objectives of the study, the questionnaire consisted of a total of 50 competency factors, adding personal characteristics area to the ISO 19011-based specialized knowledge and job skills areas and the survey was conducted on the currently active ISO auditors with a five-point recert scale. Based on the results of the survey, the importance and present of ISO auditors in 3 competency areas were verified statistically significant difference through a t-test. The top priority and next priority competency factors for the overall competency and each competency areas were obtained through the Borich coefficient and the Locus for Focus Model. Considering the top priority competency factors in each competency areas identified from the study results, it can help develop related auditing curriculum. for improving the auditors' competency, and furthermore, it is expected to help strengthen ISO management system including quality, health & safety, environment and business continuity for companies.