• Title/Summary/Keyword: Model checking

Search Result 569, Processing Time 0.027 seconds

Improvement of a Simulink Debugger Capacity for Model Verification (모델 검사를 위한 Simulink 디버거의 기능 개선)

  • Kim, Seong-Jo;Lee, Hong-Seok;Choi, Kyung-Hee;Chung, Ki-Hyun
    • The KIPS Transactions:PartD
    • /
    • v.17D no.2
    • /
    • pp.111-118
    • /
    • 2010
  • In this paper, we describe the implementation of debugger that has advanced features for verifying Simulink model. The debugger provided in Simulink has some boring and repetitive work when verifying complicated Simulink models or complicated scenarios. In order to resolve the problems, this paper addresses the issues on the implementation of debugger that provides features such as a convenient feature to compare the simulation output to the expected output for specific input, to monitor system's behavior at specific time, and coverage report function in some or all input scenarios. The proposed debugger is applied to the vending machine model provided by Matlab, demonstrating its feasibility.

Evaluation of Lighting Environment of Residential Space for Senior People by each Life Behavior with Mock-up Model (실물대 모형을 이용한 고령자 주거공간의 생활행위별 조명환경 평가에 관한 연구)

  • Kim, Byoung Soo;Yim, Oh Yon
    • KIEAE Journal
    • /
    • v.7 no.5
    • /
    • pp.35-40
    • /
    • 2007
  • The purpose of this study is to execute evaluation experiment to know the evaluation property of lighting environment of residential space for senior people, considering visual characteristics along aging, and finally provide basic data for the lighting plan to ensure the visual amenity. Processes of this study are as follows;1) Analyzed the variation property of visual sensibility and visual ability of senior people along aging. 2) Selected 3 types of life behavior(rest, conversation and reading) after checking life behavior in residential space for senior people based on advanced study. 3) Made the Mock-up Model that Dimming is possible, actual furnace to model. 4) Executed sensitivity evaluation experiment about lighting environment. 5) Analyzed evaluation property of lighting environment of residential space for senior people. Results of this study are as follows, 1) With lens-filter, we got comfort and amenity in bulb-color lamp which has similar color temperature with red of lens filter. 2) Lighting environment tests during conversation : With lens filters, they felt comfort on bulb color in case of higher illuminance than 850lux and daylight color in 500lux. 3) Lighting environment tests at reading : With lens filter, bulb color got better score in brightness and appropriateness than daylight color.

Determination of Shock Response Spectrum Using FRF of Statistical Energy Analysis Method (통계적 에너지 분석법의 FRF를 이용한 충격 응답 스텍트럼(SRS)의 결정)

  • 구성완;황철규;김인성
    • Transactions of the Korean Society for Noise and Vibration Engineering
    • /
    • v.14 no.7
    • /
    • pp.551-560
    • /
    • 2004
  • A method how to determine the shock response spectrum from the FRF of the statistical energy analysis( SEA ) is presented here. The system of 3 different Plates connected by bolt joints is selected simulating missile structural sections Joined together. First, the SEA model was rendered by SEA parameters which were determined from experimental SEA method. Then, the mobility power was input to the SEA model and we can verify the validity of the model in the medium to high frequency range checking the reproduction of output average velocity. And, the shock induced shock response spectrum(SRS) was obtained using SEA FRF and arbitrarily chosen experimental FRF. We have compared the thus obtained SRS with actually measured SRS and they were relatively in good agreement. In this paper, we used the measured SEA FRF and therefore we have got the SRS well agreed with actually measured SHS even in the low frequency range. If the SEA FRF of well verified SEA model is used, the good result will come out in SEA effective frequency range which is more important at SRS.

Leak flow prediction during loss of coolant accidents using deep fuzzy neural networks

  • Park, Ji Hun;An, Ye Ji;Yoo, Kwae Hwan;Na, Man Gyun
    • Nuclear Engineering and Technology
    • /
    • v.53 no.8
    • /
    • pp.2547-2555
    • /
    • 2021
  • The frequency of reactor coolant leakage is expected to increase over the lifetime of a nuclear power plant owing to degradation mechanisms, such as flow-acceleration corrosion and stress corrosion cracking. When loss of coolant accidents (LOCAs) occur, several parameters change rapidly depending on the size and location of the cracks. In this study, leak flow during LOCAs is predicted using a deep fuzzy neural network (DFNN) model. The DFNN model is based on fuzzy neural network (FNN) modules and has a structure where the FNN modules are sequentially connected. Because the DFNN model is based on the FNN modules, the performance factors are the number of FNN modules and the parameters of the FNN module. These parameters are determined by a least-squares method combined with a genetic algorithm; the number of FNN modules is determined automatically by cross checking a fitness function using the verification dataset output to prevent an overfitting problem. To acquire the data of LOCAs, an optimized power reactor-1000 was simulated using a modular accident analysis program code. The predicted results of the DFNN model are found to be superior to those predicted in previous works. The leak flow prediction results obtained in this study will be useful to check the core integrity in nuclear power plant during LOCAs. This information is also expected to reduce the workload of the operators.

Efficient Tire Wear and Defect Detection Algorithm Based on Deep Learning (심층학습 기법을 활용한 효과적인 타이어 마모도 분류 및 손상 부위 검출 알고리즘)

  • Park, Hye-Jin;Lee, Young-Woon;Kim, Byung-Gyu
    • Journal of Korea Multimedia Society
    • /
    • v.24 no.8
    • /
    • pp.1026-1034
    • /
    • 2021
  • Tire wear and defect are important factors for safe driving condition. These defects are generally inspected by some specialized experts or very expensive equipments such as stereo depth camera and depth gauge. In this paper, we propose tire safety vision inspector based on deep neural network (DNN). The status of tire wear is categorized into three: 'safety', 'warning', and 'danger' based on depth of tire tread. We propose an attention mechanism for emphasizing the feature of tread area. The attention-based feature is concatenated to output feature maps of the last convolution layer of ResNet-101 to extract more robust feature. Through experiments, the proposed tire wear classification model improves 1.8% of accuracy compared to the existing ResNet-101 model. For detecting the tire defections, the developed tire defect detection model shows up-to 91% of accuracy using the Mask R-CNN model. From these results, we can see that the suggested models are useful for checking on the safety condition of working tire in real environment.

Comparisons between the KKU-Model and Conventional Rectal Tubes as Markers for Checking Rectal Doses during Intracavitary Brachytherapy of Cervical Cancer

  • Padoongcharoen, Prawat;Krusun, Srichai;Palusuk, Voranipit;Pesee, Montien;Supaadirek, Chunsri;Thamronganantasakul, Komsan
    • Asian Pacific Journal of Cancer Prevention
    • /
    • v.15 no.15
    • /
    • pp.6115-6120
    • /
    • 2014
  • Background: To compare the KKU-model rectal tube (KKU-tube) and the conventional rectal tube (CRT) for checking rectal doses during high-dose-rate intracavitary brachytherapy (HDR-ICBT) of cervical cancer. Materials and Methods: Between February 2010 and January 2011, thirty -two patients with cervical cancer were enrolled and treated with external beam radiotherapy (EBRT) and intracavitary brachytherapy (ICBT). The KKU-tube and CRT were applied intrarectally in the same patients at alternate sessions as references for calculation of rectal doses during ICBT. The gold standard references of rectum anatomical markers which are most proximal to radiation sources were anterior rectal walls (ARW) adjacent to the uterine cervix demonstrated by barium sulfate suspension enema. The calculated rectal doses derived from actual anterior rectal walls, CRT and the anterior surfaces of the KKU-tubes were compared by using the paired t-test. The pain caused by insertion of each type of rectal tube was assessed by the visual analogue scale (VAS). Results: The mean dose of CRT was lower than the mean dose of ARW ($Dmean_0-Dmean_1$) by $80.55{\pm}47.33cGy$ (p-value <0.05). The mean dose of the KKU-tube was lower than the mean dose of ARW ($Dmean_0-Dmean_2$) by $30.82{\pm}24.20cGy$ (p-value <0.05). The mean dose difference [($Dmean_0-Dmean_1$)-($Dmean_0-Dmean_2$)] was $49.72{\pm}51.60cGy$, which was statistically significant between 42.32 cGy -57.13 cGy with the t-value of 13.24 (p-value <0.05). The maximum rectal dose by using CRT was higher than the KKU-tube as much as 75.26 cGy and statistically significant with the t-score of 7.55 (p-value <0.05). The mean doses at the anterior rectal wall while using the CRTs and the KKU-tubes were not significantly different (p-value=0.09). The mean pain score during insertion of the CRT was significantly higher than the KKU-tube by a t-score of 6.15 (p-value <0.05) Conclusions: The KKU-model rectal tube was found to be an easily producible, applicable and reliable instrument as a reference for evaluating the rectal dose during ICBT of cervical cancer without negative effects on the patients.

Omnichannel's Perception Effect on Omnichannel Use and Customer-Brand Relationship (옴니채널의 지각된 편리성과 유용성이 옴니채널 사용과 소비자-브랜드 관계에 미치는 영향)

  • Yim, Duk-Soon;Han, Sang-Seol
    • Journal of Distribution Science
    • /
    • v.14 no.7
    • /
    • pp.83-90
    • /
    • 2016
  • Purpose - This study focuses on new type distribution channel that named as Omnichannel. Omnichannel is developed from Multichannel which is used in many distribution channels to buy or selling goods. Omnichannel basically needs an Information and Communications Technologies(ICT) to use, so researcher conduct a Technology Acceptance Model(TAM) to research model. Customer-brand relationship was used as dependent variable to focus on the role of Omnichannel. Research design, data, and methodology - The subject of this study is customer who purchase goods or service through omnichannel. Based on the literature from the preceding research analysis of TAM and customer-brand relationship, this study was constructed by the reference to previous studies, final research model design for figure out casual relationship among perceived ease of use, perceived usefulness, omnichannel use and customer-brand relationship. From 2016 February 3 to March 17, questionnaire survey targeted customers who use online and offline channels. 273 questionnaire survey had conducted, then, 252 survey data were available for empirical analysis. Researcher provide descriptive statistics for checking generality. Cronbach's alpha value was used to check the reliability of data. Exploratory factor analysis was used for purification of values and eigenvalue checking. After EFA, Confirmatory factor analysis was used to prepare structural equation modeling with executing structural equation modeling for confirming hypothesis which developed by researcher. Results - The main results of this empirical study are as follows. First, omnichannel's perceived ease of use has positive significant effect on perceived usefulness(estimate: 0.579). Moreover, omnichannel's perceived ease of use and perceived usefulness has positive significant effect on omnichannel use(estimate: 0.325,0.648). Second, using omnichannel has positive significant effect on brand-customer relationship(estimate: 0.521). Every hypothesis adopted as researcher designed. This study found out the intermediate relationship between perceived ease of use and omnichannel use by investigating hypothesis. Conclusions - Base on the empirical result, this study confirmed that TAM theory perceived has relation with omnichannel. First, factors of TAM has positive effect on omnichannel use, so it highlights the important role of customer based interface and usefulness. Especially, perceived usefulness has high indirect influence on ease of use and use of omnichannel. It seems that when customers try to decide use or not use omnichannel, customers focus on percept benefits from omnichannel. Thus, a provider should applicate attractive price table, accurate product or service information and high switching cost strategy to emphasize the usefulness of omnichannel. Second, using omnichannel enhances the relationship between customers and brand, because there are more time and frequency to serve customers. It is important because good relationship between customers can increase the future's financial performance through word of mouse, positive brand image and loyalty to brand or company. Finally, despite of empirical result and implications, this study has limitations. First, there are only a few previous studies about omnicahnnel, so literature reviews are restricted. While set up the factors which can affect the use of omnichannel, next study should be considered with broader theories or models(ex: contingency theory). Second, omnichannel has developed from multichannel, so comparative analysis is needed between these methods because there is a possibility about different forte character of each distribution system on customer's consuming patterns.

Analysis of corrugated steel web beam bridges using spatial grid modelling

  • Xu, Dong;Ni, Yingsheng;Zhao, Yu
    • Steel and Composite Structures
    • /
    • v.18 no.4
    • /
    • pp.853-871
    • /
    • 2015
  • Up to now, Japan has more than 200 corrugated steel web composite beam bridges which are under construction and have been constructed, and China has more than 30 corrugated steel web composite beam bridges. The bridge type includes the simply supported beam, continuous beam, continuous rigid frame and cable stayed bridge etc. The section form has developed to the single box and multi-cell box girder from the original single box and single chamber. From the stress performance and cost saving, the span range of 50~150 m is the most competitive. At present, the design mostly adopts the computational analytical method combining the spatial bar system model, plane beam grillage model and solid model. However, the spatial bar system model is short of the refinement analysis on the space effect, such as the shear lag effect, effective distribution width problem, and eccentric load factor problem etc. Due to the similarity of the plane beam grillage method in the equivalence principle, it cannot accurately reflect the shearing stress distribution and local stress of the top and bottom plates of the box type composite beam. The solid model is very difficult to combine with the overall calculation. Moreover, the spatial grid model can achieve the refinement analysis, with the integrity of the analysis and the comprehensiveness of the stress checking calculation, and can make up the deficiency of the analytical method currently. Through the example verification of the solid model and spatial grid model, it can be seen that the calculation results for the stress and the displacement of two models are almost consistent, indicating the applicability and precision of the spatial grid model.

A Generalized Model on the Estimation of the Long - term Run - off Volume - with Special Reference to small and Medium Sized Catchment Areas- (장기만연속수수량추정모형의 실용화 연구 -우리나라 중소유역을 대상으로-)

  • 임병현
    • Magazine of the Korean Society of Agricultural Engineers
    • /
    • v.32 no.4
    • /
    • pp.27-43
    • /
    • 1990
  • This study aimed at developing a generalized model on the estimation of the long - term run - off volume for practical purpose. During the research period of last 3 years( 1986-1988), 3 types of estimation model on the long - term run - off volume(Effective rainfall model, unit hydrograph model and barne's model for dry season) had been developed by the author. In this study, through regressional analysis between determinant factors (bi of effective rainfall model, ai of unit hydrograph model and Wi of barne's model) and catchment characteris- tics(catchment area, distance round the catchment area, massing degree coefficient, river - exte- nsion, river - slope, river - density, infiltration of Watershed) of 11 test case areas by multiple regressional method, a new methodology on the derivation of determinant factors from catchment characteristics in the watershed areas having no hydrological station was developed. Therefore, in the resulting step, estimation equations on run - off volume for practical purpose of which input facor is only rainfall were developed. In the next stage, the derived equations were applied on the Kang - and Namgye - river catchment areas for checking of their goodness. The test results were as follows ; 1. In Kang - river area, average relative estimation errors of 72 hydrographs and of continuous daily run - off volume for 245 days( 1/5/1982 - 31/12) were calculated as 6.09%, 9.58% respectively. 2. In Namgye - river area, average relative estimation errors of 65 hydrographs and of conti- nuous daily run - off volume for 2fl days(5/4/1980-31/12) were 5.68%, 10.5% respectively. In both cases, relative estimation error was averaged as 7.96%, and so, the methodology in this study might be hetter organized than Kaziyama's formula when comparing with the relative error of the latter, 24~54%. However, two case studies cannot be the base materials enough for the full generalization of the model. So, in the future studies, many test case studies of this model should he carries out in the various catchment areas for making its generalization.

  • PDF

Practical designs for mixture component-process experiments (실용적인 혼합물 성분 공정변수 실험설계)

  • Lim, Yong-B.
    • Journal of Korean Society for Quality Management
    • /
    • v.39 no.3
    • /
    • pp.400-411
    • /
    • 2011
  • Process variables are factors in an experiment that are not mixture components but could affect the blending properties of the mixture ingredients. For example, the effectiveness of an etching solution which is measured as an etch rate is not only a function of the proportions of the three acids that are combined to form the mixture, but also depends on the temperature of the solution and the agitation rate. Efficient designs for the mixture components-process variables experiments depend on the mixture components-process variables model which is called a combined model. We often use the product model between the canonical polynomial model for the mixture and process variables model as a combined model. In this paper we propose three starting models for the mixture components-process variables experiments. One of the starting model we are considering is the model which includes product terms up to cubic order interactions between mixture effects and the linear & pure quadratic effect of the process variables from the product model. In this paper, we propose a method for finding robust designs and practical designs with respect to D-, G-, and I-optimality for the various starting combined models and then, we find practically efficient and robust designs for estimating the regression coefficients for those models. We find the prediction capability of those recommended designs in the case of three components and three process variables to be good by checking FDS(Fraction of Design Space) plots.