Analytical Model for Component Based Software: Towards Effective Design

Prasenjit Banerjee,Anirban Sarkar,Narayan C Debnath 보안공학연구지원센터 2015 International Journal of Software Engineering and Vol.9 No.12

Implementation of an analytical model of component based software into web based system is an important issue towards the effective software development. The mechanism towards such model implementation also enriches the quality of the model design. Formal specification would help to provide concrete and precise concept of a model. This paper has proposed a formal specification of an analytical model for a component based system, called Component-Class-Interface (CCI) which facilitates a sophisticated description of component model with mathematical explanation. A logical level implementation mechanism of such formally specified analytical model has been also implemented along with re-engineering facility. Moreover, a rule based transformation mechanism has been proposed to transform CCI into logical model. The correctness of such model transformation has been evaluated using Triple Graph Grammar. A comparative study has also been discussed to show the expressiveness of the proposed methodology. Moreover the concepts of the proposed approach have been implemented using a CASE tool.

GFRP 보강근의 외피형상을 고려한 부착 해석모델 제안

박지선,송태협,이정윤 한국구조물진단유지관리공학회 2019 한국구조물진단유지관리공학회 논문집 Vol.23 No.3

The bond analysis model equation was proposed through the regression analysis of the experimental values of bond behavior for each rebar. In order to verify the appropriateness of the bond analysis model equation, the bond behaviors calculated by the proposed bond analysis model, BPE model and CMR model were compared with experimental values. The proposed bond model showed the closest behavior to the experimental values when compared to other analysis models. The former models can not consider the different properties of GFRP rebar according to composed materials, mixing and manufacturing method and the latter has limitation to express the relationships between bond behavior because of derived formula by numerical analysis. This study proposed the analytical model different considering bond mechanism according to surface type. In order to verity the appropriateness of the bond analytical model, the bond behaviors calculated by the proposed bond analytical model, BPE model and CMR model were compared with experimental values. The proposed bond model showed the closest behavior to the experimental values when compared to other analysis models. GFRP 보강근과 콘크리트의 부착성능은 접착력, 부착력 및 지압력으로 발휘되며 보강근의 표면처리 방식이나 외피형상에 따라 발휘되는 부착저항력의 종류와 크기는 다르다. GFRP 부착 해석모델에 대한 선행연구를 살펴보면 철근의 부착 해석모델을 일부 수정하여 발전시키거나 수치해석을 통한 매개변수의 수가 많은 복잡한 해석식을 제안하였다. 전자의 경우에는 규격화된 마디형상을 갖는 철근과 달리 구성재료, 배합방법, 제조방법에 따라 다양한 외피형상을 가지는 GFRP 보강근의 특성을 포괄적으로 제안하는 데는 제약이 있으며 후자의 경우에는 수치해석으로 인한 수학적 관계식으로 GFRP 보강근의 부착거동과의 역학적인 관계를 고려하기에는 어려움이 있다. 따라서 이 연구에서는 GFRP 보강근의 콘크리트와의 외피형상에 따라 달라지는 부착메커니즘을 반영한 부착 해석모델을 제안하고자 하였다. 제안한 부착 해석모델에 대한 적합성 검증을 위하여 타 연구자가 수행한 실험값과 비교하였으며 기존의 부착 해석모델인 BPE 부착 해석모델과 CMR 부착 해석모델과의 비교연구도 수행하였다. 비교결과 이 연구에서 제안한 부착 해석모델이 실제 거동에 가장 근사하게 평가하였다.

학습분석 수업설계모형 개발

김태기(金兌冀) 서울대학교 교육연구소 2021 아시아교육연구 Vol.22 No.2

이 연구는 초, 중, 고등학교의 일반 교실환경에서 교사들이 학습분석을 활용하여 체계적인 수업을 할 수 있도록 학습분석 수업설계모형을 개발하는 것을 목적으로 한다. 이를 위해 기존의 수업설계모형, 학습분석모형 문헌들을 탐색하여 학습분석 수업설계모형의 구성요소들을 도출하고, 그것을 바탕으로 모형을 설계하였다. 설계된 모형은 내적타당화를 위한 교수학습분야를 전공한 3인의 전문가 검토와 외적타당화를 위한 현직교사 12인의 사용성 평가를 거쳐 수정 보완된 후 최종 학습분석 수업설계모형이 개발되었다. 이후 최종 모형은 교수설계 및 모형전문가 6인으로부터 타당화를 검증받았고 그 결과 본 연구결과로 개발된 WISE 학습분석 수업설계모형은 타당한 것으로 나타났다. 결론적으로 이 연구는 학습분석을 활용한 수업설계모형을 통해 교수학습현장을 개선하기위한 새로운 가능성을 제시한다. 한편 이 연구에서 개발된 학습분석 수업설계모형은 교육 현장에서 사용하는 교사의 역량, 학습정보의 정확성, 교육환경의 여건 등에 따라 사용성이 달라질 수 있다는 한계가 있지만 다음과 같은 의의가 있다. 첫째, 이 연구는 최초로 초, 중, 고등학교의 일반적인 교수학습 현장을 대상으로 한 학습분석 수업설계 모형을 개발했다는 의의가 있다. 둘째, 이 연구는 학습분석을 초, 중, 고등학교의 일반적인 교수학습 현장에 적용할 수 있는 실제적인 수업모형의 기준을 제시한다는 의의가 있다. 끝으로 모형 개발 효과, 학교급간 차이에 대한 수업모형 적합성 검증, 온라인 기반의 학습분석모형들과의 연계 등의 후속연구를 제언한다. The study aims to develop a learning analytics instructional design model so that teachers can systematically teach using learning analytics in the general classroom environment of elementary, middle and high schools. To this end, the existing classroom instructional design model and learning analytics model literatures were explored to derive the components of the learning analytics instructional design model, and the model was designed based on it. The designed model was revised and supplemented by three experts who majored in the field of teaching and learning for internal feasibility and by 12 incumbent teachers for external feasibility, and the final learning analytics instructional design model was developed. After that, the final model was validated by 6 instructional design and model experts, and as a result, the WISE learning analytics instructional design model developed as a result of this study was found to be valid. In conclusion, this study presents a new possibility to improve the teaching and learning field through the instructional design model using learning analytics. Meanwhile, the learning analytics instructional design model developed in this study has limitations that its usability can vary depending on teachers’ capabilities, accuracy of learning information, and conditions in the educational environment, but this study has the following implications. First, the study is meaningful in that it developed a learning analytics instructional design model for general teaching and learning field of elementary, middle and high schools for the first time. Second, this study is meaningful it suggests the standard of practical instructional model that can be applied to general teaching and learning fields in elementary, middle and high schools. Finally, follow-up studies such as model development effects, verification of the model suitability for differences between schools, and linkage with online-based learning analysis models are suggested.

Modelling of an adsorption chiller with adsorbent-coated heat exchangers: Feasibility of a polymer-water adsorption chiller

Kim, Dong-Seon,Chang, Young-Soo,Lee, Dae-Young Elsevier 2018 ENERGY Vol.164 No.-

<P><B>Abstract</B></P> <P>An analytical model is developed for an adsorption chiller with adsorbent-coated heat exchangers, where adsorbent is deposited on heat exchanger surface in thin film to improve heat and mass transfer characteristics. Approximate solutions are obtained from the simplified governing equations for the heat exchanger and then used to predict performance of the chiller. The analytical model provides the heat and mass fluxes in the system in explicit functions of a few dimensionless numbers including <I>N</I> <SUB> <I>t</I> </SUB>, <I>Ja</I>, <I>γ</I> and <I>C</I> <SUB> <I>r</I> </SUB>. The analytical model is validated via comparison with a two-dimensional numerical model in wide ranges of design and operating parameters. The maximum discrepancy is found ca. 13% in SCP and 0.02 point in COP. Performance of the chiller is discussed regarding the influences of various design and operating parameters. Some experimental results are also analyzed with the analytical model and the results are discussed focusing on the performance of polymer-coated heat exchangers.</P> <P><B>Highlights</B></P> <P> <UL> <LI> Analytical solution is obtained for an adsorbent-coated heat exchanger. </LI> <LI> A simple analytical model is developed for an adsorption chiller. </LI> <LI> The analytical model is validated via comparison with a two-dimensional numerical model. </LI> <LI> Performance of a polymer-water adsorption chiller is discussed. </LI> </UL> </P>

자원 이송용 파이프라인의 내리기 단계에서 평면 거동 평가를 위한 해석 모델

김정석,안기용 한국건설순환자원학회 2023 한국건설순환자원학회 논문집 Vol.11 No.4

본 논문에서는 내리기 시 파이프라인의 단면력 해석을 위한 합리적인 해석 모델을 제안했다. 본 해석 모델은 기하학적 특성과경계조건을 고려하여 파이프라인을 분할한 후 two parameters Beam On Elastic Foundation과 Euler-Bernoulli 빔으로 모델링했다. 또한 파이프라인과 지반의 상호 작용 뿐만 아니라 파이프라인에 작용하는 축력을 했다. 기존 모델은 정형화된 하중조건만 적용이 용이했으나 Segmented Pipeline Model로 정의된 제안 모델은 내리기 시 발생되는 대부분의 시공 조건에대해 고려할 수 있다. 또한 가정을 최소화하고 요소를 세분화하여 모델링의 편의성과 적용성을 향상시켰다. 그럼에도 불구하고이 모델은 FE 모델에 대비 높은 정확도를 갖고 있으므로 내리기 시 파이프라인의 안전성 평가는 물론 형상관리에도 효율적으로활용될 수 있을 것으로 기대된다. 또한 시공 단계에서 파이프라인의 안전성을 확보함에 따라 운용 중 내구성 향상에 큰 도움이될 것으로 판단된다. To ensure the safety of the pipeline against large deformation of the pipeline during lowering construction, the analysis for pipeline becomes emphasized. The FE analysis has a lower efficiency at calculating time, while it could be obtained high accuracy. In this paper, a reasonable analytical model for analysis of pipeline is proposed during lowering-in. This analytical model is partitioned considering the geometrical characteristics and modeled as two parameters Beam On Elastic Foundation and Euler-Bernoulli beam considering the boundary condition. This takes into account the pipeline-soil interaction and the axial forces acting on the pipeline. Previous model can only be applied to standardized conditions, whereas the proposed model defined as Segmented Pipeline Model can be considered for the majority of construction conditions occurred during lowering-in. In addition, minimized assumptions and segmented elements lead to improve the convenience and applicability of modeling. Nevertheless, the model shows accurate results compared to the FE model. Accordingly, it is expected that it will be used efficiently for configuration management as well as safety assessment of pipeline during lowering-in.

포인트와 라인 세그먼트의 해석적 에러 검증을 위한 확률기반 시뮬레이션 모델에 관한 연구

홍성철,주용진 대한공간정보학회 2013 Spatial Information Research Vol.21 No.2

Analytical and simulation error models have the ability to describe (or realize) error-corrupted versions of spatial data. But the different approaches for modeling positional errors require an internal validation that ascertains whether the analytical and simulation error models predict correct positional errors in a defined set of conditions. This paper presents stochastic simulation models of a point and a line segment to be validated with analytical error models, which are an error ellipse and an error band model, respectively. The simulation error models populate positional errors by the Monte Carlo simulation, according to an assumed error distribution prescribed by given parameters of a variance-covariance matrix. In the validation process, a set of positional errors by the simulation models is compared to a theoretical description by the analytical error models. Results show that the proposed simulation models realize positional uncertainties of the same spatial data according to a defined level of positional quality. 해석적 또는 시뮬레이션 오차 모델은 공간 데이터가 가지는 위치오차의 분포를 설명 하는데 유용하다. 그러나 두 오차 모델은 위치오차를 모델링을 하기위하여 다른 접근 방법을 이용하므로 정의된 조건 내에서 올바른 위치오차를 예측 하는지 확인하는 내적 검증을 필요로 한다. 이에 본 논문은 오차 타원과 에러밴드 모델을 이용하여 제시한 포인트와 라인 세그먼트 시뮬레이션 오차 모델을 내부적으로 검증하는 방법을 제안하였다. 시뮬레이션 오차 모델은 분산-공분산 행렬(variance-covariance matrix)의 변수에 의해 규정된 확률분포에 따라 몬테카를로 시뮬레이션을 이용하여 위치오차들을 생성한다. 검증 절차에서는 시뮬레이션 모델에 의한 위치오차의 집합을 해석적 오차 모델에 의한 이론적 위치오차와 비교하였다. 결과적으로 제안된 시뮬레이션 오차 모델은 정의된 위치오차에 따라 동일한 공간 데이터의 위치적 불확실성을 실현함을 확인할 수 있었다.

An analytical model based on performance demand of workload for energy-efficient heterogeneous multicore systems

Kee, Minkwan,Lim, Hong-yeol,Park, Gi-Ho,Cho, Sangyeun Academic Press 2017 Journal of parallel and distributed computing Vol.100 No.-

<P><B>Abstract</B></P> <P>Compute platforms are increasingly adopting heterogeneous multicore processing. This paper derives an analytical model to study the benefits and preferred configurations of the single instruction set architecture (ISA) heterogeneous multicore system. We analyze the performance, energy consumption, and energy efficiency of the heterogeneous multicore system under realistic workload based on proposed analytical model. We start by deriving a model for a simple machine that has a single big core (that is high performance) and a single small core (that is energy efficient). Then, we extend our model to deal with machines that have multiple big and small cores. The results obtained using our models show that we can achieve higher performance and lower energy consumption with a heterogeneous multicore system than with a similarly provisioned homogeneous multicore system. Additionally we derive models that assume different practical constraints from ideal heterogeneous multicore model to offer further insights into how to configure given processing cores for optimal efficiency in performance and energy consumption.</P> <P><B>Highlights</B></P> <P> <UL> <LI> Propose an analytical model based on a different workload model from Amdahl’s law. </LI> <LI> Present an analytical model for multicore system with multiple big and small cores. </LI> <LI> Consider effects of realistic constraints like limited number of active threads. </LI> </UL> </P>

An Agricultural Land Contractual Management Transfer Prediction Model Based on Analytic Hierarchy Process and Logistic Regression

Hai-ying Cao,Ling Wu 보안공학연구지원센터 2016 International Journal of u- and e- Service, Scienc Vol.9 No.10

In the field of application prediction, there are two kinds of common methods to establish the prediction model: prediction model established by artificial data analysis relying on expert experience, and prediction model achieved by statistical model exploiting data analysis. However, the prediction accuracy of the model based on expert is restricted by the experiences, while the model based on statistical analysis is limited by the quality and scale of the training data. In view of the advantages and disadvantages of these two kinds of models, this paper presents a prediction model by integrating Analytic Hierarchy Process and Logistic Regression. The proposed prediction model uses the Analytic Hierarchy Process, which are based on the training data and expert experience to obtain the rank of predominant factor in a specific domain, and exploits the logistical regression model to learn the weights of each influencing factor. Finally, the linear combination of the two models is used to obtain the prediction model. Further, we take agricultural land contractual management transfer prediction as an example to test the proposed hybrid prediction model.

An analytical model for shear links in eccentrically braced frames

Saeed Erfani,Amir Ashtari 국제구조공학회 2016 Steel and Composite Structures, An International J Vol.22 No.3

When an eccentrically braced frame (EBF) is subjected to severe earthquakes, the links experience inelastic deformations while beams outside of the link, braces and columns are designed to remain elastic. To perform reliable inelastic analyses of EBFs sufficient analytical model which can accurately predict the inelastic performance of the links is needed. It is said in the literature that available analytical models for shear links generally predict very well the maximum shear forces and deformations from experiments on shear links, but may underestimate the intermediary values. In this study it is shown that available analytical models do not predict very well the maximum shear forces and deformations too. In this study an analytical model which can accurately predict both maximum and intermediary values of shear force and deformation is proposed. The model parameters are established based on test results from several experiments on shear links. Comparison of available test results with the hysteresis curves obtained using the proposed analytical model established the accuracy of the model. The proposed model is recommended to be used to perform inelastic analyses of EBFs.

An analytic model for the prediction of the bar temperature in a roughing mill

Jaeboo Kim,Junghyeung Lee,Sang Moo Hwang 한국소성가공학회 2010 기타자료 Vol.2010 No.6

An on-line model is presented for the prediction of temperature distributions in the bar in the roughing mill of a hot strip mill. The model consists of an analytic model for the prediction of temperature distributions in the inter-stand zone, and a semi-analytic model for the prediction of temperature distributions in the bite zone. The prediction accuracy of the model is examined through comparison with predictions from a finite element model.