• Title/Summary/Keyword: dynamic system verification

Search Result 340, Processing Time 0.026 seconds

Problems and Verification System of Probiotics as Livestock-environment Improving Agent Produced and Circulated (축산 환경개선제로 생산.유통되는 생균제의 문제점 및 검증방안)

  • Lee, Eun-Young
    • Microbiology and Biotechnology Letters
    • /
    • v.36 no.2
    • /
    • pp.87-95
    • /
    • 2008
  • Probiotics are live organisms that when administered in adequate amounts confer a health benefit on hosts. The administration of direct-fed microbials (DFM) such as lactobacilli and bacillus, may be a more direct approach to beneficially alter gastrointestinal microflora than altering dietary ingredients or supplementing with growth-promoting levels of antibiotics. It is apparent that microbes have an important influence on immune development and resistance to infection; that microbes are not static colonizers of our bodies, but are dynamic, symbiotic coresidents. And it can improve the surrounding environments; decrease the malodor caused by degrade the excrement. Recently, new paradigm such as environment protection and safe food have been settled. In domestic farm house, there is a great demand for probiotics as a substitute of antibiotics for the improvement of environmental quality and the production of a competitive goods. Probiotics circulated in a country have three categories: an animal medicine permitted by national veterinary research quarantine service (NVRQS), a support feed registered in city or country house, and not-registered goods. However, lots of unqualified goods were produced and circulated. And thus, it is in urgent need of evaluating the present situation and effect of probiotics. This study was conducted to evaluate the system of a probiotics as a livestock-environment improving agents for the alternation of antibiotics and quality control of it.

Data Reduction and Analysis of the Resonant Column Testing Based on the Equation of Motion (운동방정식에 기초한 공진주 실험의 자료분석 및 해석)

  • 조성호;강태호
    • Journal of the Korean Geotechnical Society
    • /
    • v.19 no.4
    • /
    • pp.133-144
    • /
    • 2003
  • The resonant column testing is a laboratory testing method to determine the shear modulus and material damping factor of soils. The method has been widely used for many applications and its importance has increased. Since the first use of the testing method in 1960's, the low-technology electronic devices fir testing and data acquisition have limited the measurement only to the amplitude of the linear spectrum. The limitations of the testing method are also attributed to the assumption of linear-elastic material in the theory of the resonant column testing and also to the incomplete understanding of the dynamic behaviour of the resonant column testing device. Recently, Joh et al. proposed a theory to overcome the limitations of the resonant column testing by deriving the equation of motion and providing its solution for the resonant column testing device. This study proposed the improved data reduction and analysis method for the resonant column testing, thanks to the advanced data acquisition system and the new theoretical solution for the resonant column testing system. For the verification of the proposed data reduction and analysis method, the numerical simulation of the resonant column testing was performed by the finite element analysis. Also, a series of resonant column testing were performed fir Joomunjin sand, which verified the feasibility of the proposed method and revealed the limitations of the conventional data reduction and analysis method.

Development for Estimation Improvement Model of Wind Velocity using Deep Neural Network (심층신경망을 활용한 풍속 예측 개선 모델 개발)

  • Ku, SungKwan;Hong, SeokMin;Kim, Ki-Young;Kwon, Jaeil
    • Journal of Advanced Navigation Technology
    • /
    • v.23 no.6
    • /
    • pp.597-604
    • /
    • 2019
  • Artificial neural networks are algorithms that simulate learning through interaction and experience in neurons in the brain and that are a method that can be used to produce accurate results through learning that reflects the characteristics of data. In this study, a model using deep neural network was presented to improve the predicted wind speed values in the meteorological dynamic model. The wind speed prediction improvement model using the deep neural network presented in the study constructed a model to recalibrate the predicted values of the meteorological dynamics model and carried out the verification and testing process and Separate data confirm that the accuracy of the predictions can be increased. In order to improve the prediction of wind speed, an in-depth neural network was established using the predicted values of general weather data such as time, temperature, air pressure, humidity, atmospheric conditions, and wind speed. Some of the data in the entire data were divided into data for checking the adequacy of the model, and the separate accuracy was checked rather than being used for model building and learning to confirm the suitability of the methods presented in the study.

Verification and Implementation of a Service Bundle Authentication Mechanism in the OSGi Service Platform Environment (OSGi 서비스 플랫폼 환경에서 서비스 번들 인증 메커니즘의 검증 및 구현)

  • 김영갑;문창주;박대하;백두권
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.31 no.1_2
    • /
    • pp.27-40
    • /
    • 2004
  • The OSGi service platform has several characteristics as in the followings. First, the service is deployed in the form of self-installable component called service bundle. Second, the service is dynamic according to its life-cycle and has interactions with other services. Third, the system resources of a home gateway are restricted. Due to these characteristics of a home gateway, there are a lot of rooms for malicious services can be Installed, and further, the nature of service can be changed. It is possible for those service bundles to influence badly on service gateways and users. However, there is no service bundle authentication mechanism considering those characteristics for the home gateway In this paper, we propose a service bundle authentication mechanism considering those characteristics for the home gateway environment. We design the mechanism for sharing a key which transports a service bundle safely in bootstrapping step that recognize and initialize equipments. And we propose the service bundle authentication mechanism based on MAC that use a shared secret created in bootstrapping step. Also we verify the safety of key sharing mechanism and service bundle authentication mechanism using a BAN Logic. This service bundle authentication mechanism Is more efficient than PKI-based service bundle authentication mechanism or RSH protocol in the service platform which has restricted resources such as storage spaces and operations.

A Link Travel Time Estimation Algorithm Based on Point and Interval Detection Data over the National Highway Section (일반국도의 지점 및 구간검지기 자료의 융합을 통한 통행시간 추정 알고리즘 개발)

  • Kim, Sung-Hyun;Lim, Kang-Won;Lee, Young-Ihn
    • Journal of Korean Society of Transportation
    • /
    • v.23 no.5 s.83
    • /
    • pp.135-146
    • /
    • 2005
  • Up to now studies on the fusion of travel time from various detectors have been conducted based on the variance raito of the intermittent data mainly collected by GPS or probe vehicles. The fusion model based on the variance ratio of intermittent data is not suitable for the license plate recognition AVIs which can deal with vast amount of data. This study was carried out to develop the fusion model based on travel time acquired from the license plate recognition AVIs and the point detectors. In order to fuse travel time acquired from the point detectors and the license plate recognition AVIs, the optimized fusion model and the proportional fusion model were developed in this study. As a result of verification, the optimized fusion model showed the superior estimation performance. The optimized fusion model is the dynamic fusion ratio estimation model on real time base, which calculates fusion weights based on real time historic data and applies them to the current time period. The results of this study are expected to be used effectively for National Highway Traffic Management System to provide traffic information in the future. However, there should be further studies on the Proper distance for the establishment of the AVIs and the license plate matching rate according to the lanes for AVIs to be established.

Intermediate-Representation Translation Techniques to Improve Vulnerability Analysis Efficiency for Binary Files in Embedded Devices (임베디드 기기 바이너리 취약점 분석 효율성 제고를 위한 중간어 변환 기술)

  • Jeoung, Byeoung Ho;Kim, Yong Hyuk;Bae, Sung il;Im, Eul Gyu
    • Smart Media Journal
    • /
    • v.7 no.1
    • /
    • pp.37-44
    • /
    • 2018
  • Utilizing sequence control and numerical computing, embedded devices are used in a variety of automated systems, including those at industrial sites, in accordance with their control program. Since embedded devices are used as a control system in corporate industrial complexes, nuclear power plants and public transport infrastructure nowadays, deliberate attacks on them can cause significant economic and social damages. Most attacks aimed at embedded devices are data-coded, code-modulated, and control-programmed. The control programs for industry-automated embedded devices are designed to represent circuit structures, unlike common programming languages, and most industrial automation control programs are designed with a graphical language, LAD, which is difficult to process static analysis. Because of these characteristics, the vulnerability analysis and security related studies for industry automation control programs have only progressed up to the formal verification, real-time monitoring levels. Furthermore, the static analysis of industrial automation control programs, which can detect vulnerabilities in advance and prepare for attacks, stays poorly researched. Therefore, this study suggests a method to present a discussion on an industry automation control program designed to represent the circuit structure to increase the efficiency of static analysis of embedded industrial automation programs. It also proposes a medium term translation technology exploiting LLVM IR to comprehensively analyze the industrial automation control programs of various manufacturers. By using LLVM IR, it is possible to perform integrated analysis on dynamic analysis. In this study, a prototype program that converts to a logical expression type of medium language was developed with regards to the S company's control program in order to verify our method.

The Method for Online Estimating Utilization Rate of Motorway Service Area Under the V2I Data Condition (V2I 데이터 Online 고속도로 휴게소 이용률 추정 방법)

  • Chang, Hyunho;Lee, Jinsoo;Yoon, Byoungjo
    • Journal of the Society of Disaster Information
    • /
    • v.15 no.4
    • /
    • pp.548-559
    • /
    • 2019
  • Purpose: Analysis method of V2I data driven motorway service area usage behavior to cope with manpower survey. Method: Segmentation of traveling state group and boundary using the distribution characteristics of traveling speed data of individual vehicles. Result: As a result of the verification, the use rate of resting places in lunchtime surged, and the boundary between the distribution status of the traffic speed data was clearly or unclear. Conclusion: The effect of the cost reduction is big because it can cope with the use of rest area survey by manpower and there is no limit in the time and space range of investigation. The dynamic utilization rate of each time sequence, such as a service area/drowsiness shelter/simple service area, with a V2I system, can be calculated. Identify illegal parking on highway section. Identify the unexpected situation in the road section. Identify the real-time service area utilization rate and congestion information.

A Marketing Theory-Based Approach to Customer's Perceived Shopping Experience (고객의 지각된 쇼핑경험에 대한 마케팅 이론적 접근)

  • Yoon, Sung-Joon;Choi, Dong-Choon
    • Asia Marketing Journal
    • /
    • v.10 no.1
    • /
    • pp.95-131
    • /
    • 2008
  • This study serves the main research purpose of verifying the hypothetical relationship between antecedent and consequence variables of shopping experience based on the classification system by Schmitt (1999) who dimensionalized experience into five components (sense, feel, think, act, relate). Specifically, the study seeks to fulfill the following three research objectives. First, it substantiates dynamic relationships among the five experiential components comprising the strategic experiential modules that serve as the basis of the theoretical framework of the study. Especially, it focuses on interactive relationships among the experiential components by taking a holistic view of the experience. Second, the study seeks to uncover the effects of pre-experiential antecedents such as shopping motivation and shopping involvement, based on taxonomy of motivation as product-centered vs. experience-centered. Third, the study investigates the effects of shopping experience on intention to revisit with regard to department store, discount store, and Internet shops, based on customers' store experiences. The major findings from this study are as follows: first, the five experiential components were found to have a high level of correlations according to hypothesis verification. Second, shopping motivation was learned to have significant effects on preference toward thinking as well as feeling experiences. That is, product-centered (vs. experience-centered) shopping motivation exerted a greater influence on cognitive (vs. affective experience than affective (vs. cognitive) experience.

  • PDF

A SOC Coefficient Factor Calibration Method to improve accuracy Of The Lithium Battery Equivalence Model (리튬 배터리 등가모델의 정확도 개선을 위한 SOC 계수 보정법)

  • Lee, Dae-Gun;Jung, Won-Jae;Jang, Jong-Eun;Park, Jun-Seok
    • Journal of the Institute of Electronics and Information Engineers
    • /
    • v.54 no.4
    • /
    • pp.99-107
    • /
    • 2017
  • This paper proposes a battery model coefficient correction method for improving the accuracy of existing lithium battery equivalent models. BMS(battery management system) has been researched and developed to minimize shortening of battery life by keeping SOC(state of charge) and state of charge of lithium battery used in various industrial fields such as EV. However, the cell balancing operation based on the battery cell voltage can not follow the SOC change due to the internal resistance and the capacitor. Various battery equivalent models have been studied for estimation of battery SOC according to the internal resistance of the battery and capacitors. However, it is difficult to apply the same to all the batteries, and it tis difficult to estimate the battery state in the transient state. The existing battery electrical equivalent model study simulates charging and discharging dynamic characteristics of one kind of battery with error rate of 5~10% and it is not suitable to apply to actual battery having different electric characteristics. Therefore, this paper proposes a battery model coefficient correction algorithm that is suitable for real battery operating environments with different models and capacities, and can simulate dynamic characteristics with an error rate of less than 5%. To verify proposed battery model coefficient calibration method, a lithium battery of 3.7V rated voltage, 280 mAh, 1600 mAh capacity used, and a two stage RC tank model was used as an electrical equivalent model of a lithium battery. The battery charge/discharge test and model verification were performed using four C-rate of 0.25C, 0.5C, 0.75C, and 1C. The proposed battery model coefficient correction algorithm was applied to two battery models, The error rate of the discharge characteristics and the transient state characteristics is 2.13% at the maximum.

Evaluation of Contralateral Breast Surface Dose in FIF (Field In Field) Tangential Irradiation Technique for Patients Undergone Breast Conservative Surgery (보존적 유방절제 환자의 방사선치료 시 종속조사면 병합방법에 따른 반대편 유방의 표면선량평가)

  • Park, Byung-Moon;Bang, Dong-Wan;Bae, Yong-Ki;Lee, Jeong-Woo;Kim, You-Hyun
    • Journal of radiological science and technology
    • /
    • v.31 no.4
    • /
    • pp.401-406
    • /
    • 2008
  • The aim of this study is to evaluate contra-lateral breast (CLB) surface dose in Field-in-Field (FIF) technique for breast conserving surgery patients. For evaluation of surface dose in FIF technique, we have compared with other techniques, which were open fields (Open), metal wedge (MW), and enhanced dynamic wedge (EDW) techniques under same geometrical condition and prescribed dose. The three dimensional treatment planning system was used for dose optimization. For the verification of dose calculation, measurements using MOSFET detectors with Anderson Rando phantom were performed. The measured points for four different techniques were at the depth of 0cm (epidermis) and 0.5cm bolus (dermis), and spacing toward 2cm, 4cm, 6cm, 8cm, 10cm apart from the edge of tangential medial beam. The dose calculations were done in 0.25cm grid resolution by modified Batho method for inhomogeneity correction. In the planning results, the surface doses were differentiated in the range of $19.6{\sim}36.9%$, $33.2{\sim}138.2%$ for MW, $1.0{\sim}7.9%$, $1.6{\sim}37.4%$ for EDW, and for FIF at the depth of epidermis and dermis as compared to Open respectively. In the measurements, the surface doses were differentiated in the range of $11.1{\sim}71%$, $22.9{\sim}161%$ for MW, $4.1{\sim}15.5%$, $8.2{\sim}37.9%$ for EDW, and 4.9% for FIF at the depth of epidermis and dermis as compared to Open respectively. The surface doses were considered as underestimating in the planning calculation as compared to the measurement with MOSFET detectors. Was concluded as the lowest one among the techniques, even if it was compared with Open method. Our conclusion could be stated that the FIF technique could make the optimum dose distribution in Breast target, while effectively reduce the probability of secondary carcinogenesis due to undesirable scattered radiation to contra-lateral breast.

  • PDF