• Title/Summary/Keyword: Model-Based Testing

Search Result 1,624, Processing Time 0.027 seconds

Prediction of compressive strength of sustainable concrete using machine learning tools

  • Lokesh Choudhary;Vaishali Sahu;Archanaa Dongre;Aman Garg
    • Computers and Concrete
    • /
    • v.33 no.2
    • /
    • pp.137-145
    • /
    • 2024
  • The technique of experimentally determining concrete's compressive strength for a given mix design is time-consuming and difficult. The goal of the current work is to propose a best working predictive model based on different machine learning algorithms such as Gradient Boosting Machine (GBM), Stacked Ensemble (SE), Distributed Random Forest (DRF), Extremely Randomized Trees (XRT), Generalized Linear Model (GLM), and Deep Learning (DL) that can forecast the compressive strength of ternary geopolymer concrete mix without carrying out any experimental procedure. A geopolymer mix uses supplementary cementitious materials obtained as industrial by-products instead of cement. The input variables used for assessing the best machine learning algorithm not only include individual ingredient quantities, but molarity of the alkali activator and age of testing as well. Myriad statistical parameters used to measure the effectiveness of the models in forecasting the compressive strength of ternary geopolymer concrete mix, it has been found that GBM performs better than all other algorithms. A sensitivity analysis carried out towards the end of the study suggests that GBM model predicts results close to the experimental conditions with an accuracy between 95.6 % to 98.2 % for testing and training datasets.

A Prediction Model for Stage of Change of Exercise In the Korean Elderly -Based on the Transtheoretical Model- (한국노인의 운동행위 변화단계의 예측모형구축 -범이론적 모델(Transtheoretical Model)을 기반으로-)

  • 김순용;김소인;전영자;이평숙;이숙자;박은숙;장성옥
    • Journal of Korean Academy of Nursing
    • /
    • v.30 no.2
    • /
    • pp.366-379
    • /
    • 2000
  • The purpose of this study was to identify causal relationships among variables of transtheoretical model for exercise in the elderly A predictivel model explaining the stage of change was constructed based on a transtheoretical model. Empirical data for testing the hypothetical model was collected from 198 old adults over 60 years old in a community setting in Seoul, Korea in April and May,1999. Data were analyzed by descriptive statistics and correlational analysis using pc-SAS program. The Linear Structural Modeling (LISREL) 8.0 program was used to find the best fit model which predicts causal relationship of variables. The fit of the hypothetical model to the data was X2=132.85. (df=22, p=.000). GFI=.88, NNFI=.35, NFI=.77, AGFI=.59 which was not favorable but the fit of modified model to the data was X2=46.90. (df=27, p=.01).GFI= .95, NNFI=.91, NFI=.92, AGFI=.87) which was more than moderate. The predictable variables of stage of change for exercise of the Korean elderly were helping relationship, self cognitive determination, conversion of negative condition in process of change and efficacy for exercise. These variables explained 68% of stage of change for exercise of the Korean elderly.

  • PDF

Application of Logit Model in Qualitative Dependent Variables (로짓모형을 이용한 질적 종속변수의 분석)

  • Lee, Kil-Soon;Yu, Wann
    • Journal of Families and Better Life
    • /
    • v.10 no.1 s.19
    • /
    • pp.131-138
    • /
    • 1992
  • Regression analysis has become a standard statistical tool in the behavioral science. Because of its widespread popularity. regression has been often misused. Such is the case when the dependent variable is a qualitative measure rather than a continuous, interval measure. Regression estimates with a qualitative dependent variable does not meet the assumptions underlying regression. It can lead to serious errors in the standard statistical inference. Logit model is recommended as alternatives to the regression model for qualitative dependent variables. Researchers can employ this model to measure the relationship between independent variables and qualitative dependent variables without assuming that logit model was derived from probabilistic choice theory. Coefficients in logit model are typically estimated by the method of Maximum Likelihood Estimation in contrast to ordinary regression model which estimated by the method of Least Squares Estimation. Goodness of fit in logit model is based on the likelihood ratio statistics and the t-statistics is used for testing the null hypothesis.

  • PDF

Investigation on vortex-induced vibration of a suspension bridge using section and full aeroelastic wind tunnel tests

  • Sun, Yanguo;Li, Mingshui;Liao, Haili
    • Wind and Structures
    • /
    • v.17 no.6
    • /
    • pp.565-587
    • /
    • 2013
  • Obvious vortex induced vibration (VIV) was observed during section model wind tunnel tests for a single main cable suspension bridge. An optimized section configuration was found for mitigating excessive amplitude of vibration which is much larger than the one prescribed by Chinese code. In order to verify the maximum amplitude of VIV for optimized girder, a full bridge aeroelastic model wind tunnel test was carried out. The differences between section and full aeroelastic model testing results were discussed. The maximum amplitude derived from section model tests was first interpreted into prototype with a linear VIV approach by considering partial or imperfect correlation of vortex-induced aerodynamic force along span based on Scanlan's semi-empirical linear model. A good consistency between section model and full bridge model was found only by considering the correlation of vortex-induced force along span.

Application of Soft Computing Model for Hydrologic Forecasting

  • Kim, Sung-Won;Park, Ki-Bum
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2012.05a
    • /
    • pp.336-339
    • /
    • 2012
  • Accurate forecasting of pan evaporation (PE) is very important for monitoring, survey, and management of water resources. The purpose of this study is to develop and apply Kohonen self-organizing feature maps neural networks model (KSOFM-NNM) to forecast the daily PE for the dry climate region in south western Iran. KSOFM-NNM for Ahwaz station was used to forecast daily PE on the basis of temperature-based, radiation-based, and sunshine duration-based input combinations. The measurements at Ahwaz station in south western Iran, for the period of January 2002 - December 2008, were used for training, cross-validation and testing data of KSOFM-NNM. The results obtained by TEM 1 produced the best results among other combinations for Ahwaz station. Based on the comparisons, it was found that KSOFM-NNM can be employed successfully for forecasting the daily PE from the limited climatic data in south western Iran.

  • PDF

A Nonparametric Test for the Parallelism of Regression Lines Based on Kendall's Tau (Kendall의 Tau에 의한 회귀직선의 평행성에 관한 비모수 검정)

  • Song, Moon-Sup
    • Journal of the Korean Statistical Society
    • /
    • v.7 no.1
    • /
    • pp.17-26
    • /
    • 1978
  • For testing $\beta_i=\beta, i=1,...,k$, in the regression model $Y_{ij} = \alpha_i + \beta_ix_{ij} + e_{ij}, j=1,...,n_i$, a simple and robust test based on Kendall's tau is proposed. Its asymptotic distribution is proved to be chi-square under the null hypthesis and noncentral chi-square under an appropriate sequence of alternatives. For the optimal designs, the asymptotic relative efficiency of the proposed procedure with respect to the least squares procedure is the same as that of the Wilcoxon test with respect to the t-test.

  • PDF

A Class of Discrete Time Coverage Growth Functions for Software Reliability Engineering

  • Park, Joong-Yang;Lee, Gye-Min;Park, Jae-Heung
    • Communications for Statistical Applications and Methods
    • /
    • v.14 no.3
    • /
    • pp.497-506
    • /
    • 2007
  • Coverage-based NHPP SRGMs have been introduced in order to incorporate the coverage growth behavior into the NHPP SRGMs. The coverage growth function representing the coverage growth behavior during testing is thus an essential factor of the coverage-based NHPP SRGMs. This paper proposes a class of discrete time coverage growth functions and illustrates its application to real data sets.

Experimental and numerical analyses on axial cyclic behavior of H-section aluminium alloy members

  • Wu, Jinzhi;Zheng, Jianhua;Sun, Guojun;Chang, Xinquan
    • Structural Engineering and Mechanics
    • /
    • v.81 no.1
    • /
    • pp.11-28
    • /
    • 2022
  • This paper considers the combination of cyclic and axial loads to investigate the hysteretic performance of H-section 6061-T6 aluminum alloy members. The hysteretic performance of aluminum alloy members is the basis for the seismic performance of aluminum alloy structures. Despite the prevalence of aluminum alloy reticulated shells structures worldwide, research into the seismic performance of aluminum alloy structures remains inadequate. To address this deficiency, we design and conduct cyclic axial load testing of three H-section members based on a reliable testing system. The influence of slenderness ratios and bending direction on the failure form, bearing capacity, and stiffness degradation of each member are analyzed. The experiment results show that overall buckling dominates the failure mechanism of all test members before local buckling occurs. As the load increases after overall buckling, the plasticity of the member develops, finally leading to local buckling and fracture failure. The results illustrate that the plasticity development of the local buckling position is the main reason for the stiffness degradation and failure of the member. Additionally, with the increase of the slenderness ratio, the energy-dissipation capacity and stiffness of the member decrease significantly. Simultaneously, a finite element model based on the Chaboche hybrid strengthening model is established according to the experiment, and the rationality of the constitutive model and validity of the finite element simulation method are verified. The parameter analysis of twenty-four members with different sections, slenderness ratios, bending directions, and boundary conditions are also carried out. Results show that the section size and boundary condition of the member have a significant influence on stiffness degradation and energy dissipation capacity. Based on the above, the appropriate material constitutive relationship and analysis method of H-section aluminum alloy members under cyclic loading are determined, providing a reference for the seismic design of aluminum alloy structures.

An Integrative Approach for Strengthening Continual Adoption of e-Government Services : An Empirical Study (전자정부 서비스의 지속적 수용 강화를 위한 통합적 접근 : 실증연구)

  • Lim, Se Hun
    • Journal of Information Technology Applications and Management
    • /
    • v.20 no.1
    • /
    • pp.19-41
    • /
    • 2013
  • This study analyzed the users acceptance of e-Government services. Many IT(Information Technology) adoption studies appeared the TAM(technology adoption model) of Davis[1989] as a theoretical background. The TAM composed of three factors those are the perceived easy of use, the perceived usefulness, and intention to adoption of IT. However, TAM did not explain the consequences of intention to adoption and antecedents of the ease of use and usefulness in IT adoption. To overcome limitations of TAM, many technology acceptance studies done. In this study, the researcher suggested the IT acceptance model for explaining users adoption of e-Government service based on the model of IT acceptance of Wixom and Todd[2005]. The model of Wixom and Todd[2005] based on the TAM of Davis[1989], IT adoption model of Taylor and Todd[1995] and, IS(Information Systems) success model of Delone and Mclean[1992, 2003]. For testing our research model, the researcher collected data from 200 users of e-Government services. The researcher analyzed in measurement model and structural model using statistical software. This study analyzed relationships among interaction, information quality, Web systems quality, satisfaction, ease of use, usefulness, and attitude to explain and predict influences of the users acceptance of e-Government services. The results of this study will provide useful information about develop a strategy for usage spread of e-Government services.

A Single Requirement Modeling with Graphical Language for Embedded System (그래픽 언어를 이용한 임베디드 시스템의 단일 요구사항 모델링)

  • Oh, Jung-Sup;Lee, Hong-Seok;Park, Hyun-Sang;Kim, Jang-Bok;Choi, Kyung-Hee;Jung, Ki-Hyun
    • The KIPS Transactions:PartD
    • /
    • v.15D no.4
    • /
    • pp.505-512
    • /
    • 2008
  • In order to do requirement-based testing of embedded system, we must have correct requirement specifications. But, natural language requirements of a client have ambiguity, inaccuracy, and inconsistency. To solve these problems, natural language requirements are modeled with modeling language such as UML and Simulink. During a modeling phase, the requirements are rearranged and retranslated in use-case. These activities are disadvantages of modeling. In this paper, we propose the technique, which is how to model a embedded system requirement into a model without rearranging and retranslating. This technique 1) represent a embedded system requirement with graphical language, and 2) model a requirement into a model. Because this technique only describes "what-to-do" of the requirement, this technique is useful to not only the low-level requirements but also the high-level requirements. We show some example systems modeled by REED, which has adopted this technique.