• Title/Summary/Keyword: Model-checking

Search Result 569, Processing Time 0.022 seconds

The Study on the Digital Transformation Process of Mid-Sized Companies (중견제조기업의 디지털전환(DX) 과정에 관한 연구)

  • Kim, Chang-Ho
    • Journal of Industrial Convergence
    • /
    • v.20 no.1
    • /
    • pp.23-33
    • /
    • 2022
  • The study was conducted to develop an implementation model for digital transformation (DX) of manufacturing companies. To this end, previous studies on the process of management innovation and digital transformation were reviewed. The DX process model was derived based on the NEBIC theory and innovation theory applied in the innovation process of the Internet business. In addition, a research model including the factors of the will of the top management class (TMT) was constructed and confirmed through empirical data. The research hypothesis were verified based on data collected from members of mid-sized manufacturing companies promoting digital transformation. Through regression analysis, the influence relationship of each stage of the research model (technical knowledge, TK → opportunity perception, OR → performace expectation, PE and → Intention to execute, IE) was confirmed. Hierarchical regression analysis was conducted to understand the mediating effect of the members' perception of the top management's willingness to promote DX in the process. As a result of checking the Sobel test, it was confirmed that the management's perception of DX promotion partially mediated the relationship at each stage. This study is meaningful in that it presented a model applicable to the digital transformation of the mid-sized manufacturing industry. It is also valuable in providing an empirical basis for innovative research and NEBIC expansion. Longitudinal studies are required to overcome the limitations of empirical data for process models with dynamic characteristics whereas extended empirical studies are required in various fields other than manufacturing to generalize research results.

Modeling FORM Architectures Based on UML 2.0 Profiling (UML 2.0 프로파일링을 이용한 FORM 아키텍처 모델링)

  • Yang, Kyung-Mo;Jo, Yoon-Ho;Kang, Kyo-Chul
    • Journal of KIISE:Software and Applications
    • /
    • v.36 no.6
    • /
    • pp.431-442
    • /
    • 2009
  • The Software Product Line (SPL) engineering is one of the most promising software development paradigms. With Feature-Oriented Reuse Method (FORM), reusable and flexible components can be built to aid the delivery of various software products such as mobile phone and digital TV applications based on commonalities and variabilities identified during Feature modeling. Model Driven Architecture (MDA) is also an emerging technology which supports developing software products to work on different platforms with platform independent models (PIM). Combining advantages of these two approaches is helpful to build a group of software products which share common Features while working on various platforms. As first step to combine FORM with MDA, we extend UML2.0 with profiles by which FORM architectures and parameterized Statecharts can be modeled. Secondly, we provide rules to examine whether Features are allocated at positions of elements of Statecharts consistently between a Feature model and a parameterized Statechart. Some rules are designed to check the consistency between FORM architectures and parameterized Statecharts. A case study on an elevator control system is provided to demonstrate the feasibility of our modeling approach and consistency checking rules.

Developing and Applying In-Service Program for Spreading the Practical On-site Cooperation Model (POCoM) (POCoM (Practical On-site Cooperation Model) 확장을 위한 교사 연수 프로그램의 개발과 적용)

  • Jeong, Jin-Su;Park, Jongwon;Park, Jongseok;Kim, Youngmin;Park, Young-Shin
    • Journal of The Korean Association For Science Education
    • /
    • v.34 no.3
    • /
    • pp.261-272
    • /
    • 2014
  • In this study, to disseminate the Practical On-site Cooperation Model (POCoM) for practical improvement of science teaching and learning through cooperation between researcher and teacher, an in-service program has been developed, applied and evaluated. The in-service program emphasizes the following three aspects; (1) video-recording of actual science teaching has been used as a primary resource, (2) communication between teacher and researcher and among teachers have been emphasized, (3) activities have been mainly included. The in-service program has been implemented for nine hours, and 17 science teachers have been recruited as volunteers. The result shows that, by checking the agreements between raters, we found that teachers' expertise in analyzing the science class using the Korean Teaching Observation Protocol (KTOP) has improved, and we have confirmed that teachers are able to judge whether the science class has improved or not. Through the questionnaire, various highly positive responses could be obtained from teachers. And through the observation of teachers' activities during the in-service program, teachers' questions, their difficulties in doing activities, and their comments for improving the program has also been analyzed. Finally, based on the results, a list of recommendations for a more effective in-service program have been suggested. It is expected that this list can be utilized for more effective and meaningful design and implementation of in-service course.

The Development of a chapter of middle school mathematics textbook according to the learners' self-directed learning model (자기 주도적 학습 지원 모형에 따른 중학교 수학 교과서 시범 단원 개발)

  • Hwang, Hye Jeang;Cho, Wan Young;Ko, Ho Kyoung
    • Communications of Mathematical Education
    • /
    • v.31 no.3
    • /
    • pp.331-347
    • /
    • 2017
  • The purpose of this study is to develop a sample chapter of mathematics textbook at the first middle school according to the model of supporting learners' self-directed learning. The self-directed learning is a learning strategy to develop learner's ability to solve unstructured problems by himself or herself. Basically, the textbook should included learning objectives distinctively. Second textbook should consist of some appropriate method for learners to learn content. Third, it suggests some plans to utilize learning strategies of this model effectively when authors or developers develop textbooks in future. Based on those condition, it is also requested that the sample chapter of the textbook be develop in order to study interestingly as well as to implement self-directed study, and content materials using mixed diverse subjects would be included in the chapter. Furthermore, the sample chapter which is suitable to the semester of managing self-directed learning middle school would be developed. For this purpose, in this study the 'Plane shapes' was selected dealt with in the first middle school. The sample chapter is developed at first by the researchers and then revised and completed through the checking from the professionalists two times.

Soil Moisture Modelling at the Topsoil of a Hillslope in the Gwangneung National Arboretum Using a Transfer Function (전이함수를 통한 광릉 산림 유역의 토양수분 모델링)

  • Choi, Kyung-Moon;Kim, Sang-Hyun;Son, Mi-Na;Kim, Joon
    • Korean Journal of Agricultural and Forest Meteorology
    • /
    • v.10 no.2
    • /
    • pp.35-46
    • /
    • 2008
  • Soil moisture is one of the important components in hydrological processes and also controls the subsurface flow mechanism at a hillslope scale. In this study, time series of soil moisture were measured at a hillslope located in Gwangneung National Arboretum, Korea using a multiplex Time Domain Reflectometry(TDR) system measuring soil moisture with bi-hour interval. The Box-Jenkins transfer function and noise model was used to estimate spatial distributions of soil moisture histories between May and September, 2007. Rainfall was used as an input parameter and soil moisture at 10 cm depth was used as an output parameter in the model. The modeling process consisted of a series of procedures(e.g., data pretreatment, model identification, parameter estimation, and diagnostic checking of selected models), and the relationship between soil moisture and rainfall was assessed. The results indicated that the patterns of soil moisture at different locations and slopes along the hillslope were similar with those of rainfall during the measurment period. However, the spatial distribution of soil moisture was not associated with the slope of the monitored location. This implies that the variability of the soil moisture was determined more by rainfall than by the slope of the site. Due to the influence of vegetation activity on soil moisture flow in spring, the soil moisture prediction in spring showed higher variability and complexity than that in early autumn did. This indicates that vegetation activity is an important factor explaining the patterns of soil moisture for an upland forested hillslope.

A Developmont of Numerical Mo del on the Estimation of the Log-term Run-off for the Design of Riverheads Works -With Special Reference to Small and Medium Sijed Catchment Areas- (제수원공 설계를 위한 장기간 연속수수량 추정모형의 개발 - 중심유역을 중심으로)

  • 엄병현
    • Magazine of the Korean Society of Agricultural Engineers
    • /
    • v.29 no.4
    • /
    • pp.59-72
    • /
    • 1987
  • Although long-term runoff analysis is important as much as flood analysis in the design of water works, the technological level of the former is relatively lower than that of the latter. In this respect, the precise estimation model for the volume of successive runoff should he developed as soon as possible. Up to now, in Korea, Gajiyama's formula has been widely used in long-term runoff analysis, which has many problems in applying in real situation. On the other hand, in flood analysis, unit hydrograph method has been exclusively used. Therefore, this study aims at trying to apply unit hydrograph method in long-term runoff analysis for the betterment of its estimation. Four test catchment areas were selected ; Maesan area in Namlum river as a representative area of Han river system, Cheongju area in Musim river as one of Geum river system, Hwasun area in Hwasun river as one of Yongsan river system, and Supyung area in Geum river as one of Nakdong river system. In the analysis of unit hydrograph, seperation of effective rainfall was carried out firstly. Considering that effective rainfall and moisture condition of catchrnent area are inside and outside of a phenomenon respectively and the latter is not considered in the analysis, Initial base flow(qb)was selected as an index of moisture condition. At the same time, basic equation(Eq.7) was established, in which qb can take a role as a parameter in relating between cumulative rainfall(P) and cumulative loss of rainfall(Ld). Based on the above equation, computer program for estimation model of qbwas seperately developed according to the range of qb, Developed model was applied to measured hydrographs and hyetographs for total 10 years in 4 test areas and effective rainfall was estimated. Estimation precision of model was checked as shown in Tab- 6 and Fig.8. In the next stage, based on the estimated effective rainfall(R) and runoff(Qd), a runoff distribution ratio was calculated for each teat area using by computerised least square method and used in making unit hydrographs in each test area. Significance of induced hydrographs was tested by checking the relative errors between estimated and measured runoff volume(Tab-9, 10). According to the results, runoff estimation error by unit hydrograph itself was merely 2 or 3 %, but other 2 or 3 % of error proved to be transferred error in the seperation of effective rainfall. In this study, special attentioning point is that, in spite of different river systems and forest conditions of test areas, standardized unit hydrographs for them have very similar curve shape, which can be explained by having similar catchinent characteristics such as stream length, catchinent area, slope, and vegetation intensity. That fact should be treated as important factor ingeneralization of unit hydrograph method.

  • PDF

Feasibility of Application of Roy's Adaptation Model to Family Health Assessment (로이적응모델의 가족건강사정에의 적용가능성)

  • Jang Sun-Ok
    • Journal of Korean Public Health Nursing
    • /
    • v.8 no.2
    • /
    • pp.35-56
    • /
    • 1994
  • This article was intended to survey whether Roy' Adapation model ('Roy Model') can be applied to family health assessment and to study whether application of the Roy Model to a Korean family is feasible. under the Roy Model, a family is viewed as an adaptation system having a series of process of input. process, feedback, and output. Further, the Roy Model indicates that a family contains Physiolosical, self-concept. role function and interdependent mode in respect of internal or external stimuli. In the event where the family health assessed, the adaptation mode of that family must be assess at the first stage. Then, the focal, contextual, residual stimuli affecting the family must be assessed. In 1984 Hanson suggested four types of family adaptation mode based upon the Roy Model and thereby enhanced the possibility for family health assessment. In order survey whether the Roy Model can be applied to the Korean family, the author of this article contracted adults of 169 who live in 'A' city to make open questions regarding family and then analyzed responses from them by utilizing Roy model. This study categorized family Adaptation mode based upon the' four types of family adaptation mode developed by Hanson. As a result of this study, family adaptation mode was categorized into 117 concepts. Those 117 concepts are consisted or Physiolosical mode of 47. self­concept mode of 56, role function mode of 9 and interdependent mode of 5. Further. stimuli affecting family were classified based upon Roy's definition as to three types of stimuli. Stimuli on a family are comprised focal stimuli concept of 19, contextual stimuli concepts of 19, one residual stimuli concept. this result implies that the Roy's Model can be applied to Korean family. Physiological mode shows meaning of survival. while self-concept mode reflects meaning of growth and emphasizes harmony among the family based on the familism. The role function mode shows continuity rather control of family member. By contrast, interdependent mode shows interaction with community to which the family belongs. but the degree of interaction does not appear too high. The analysis of family stimuli led this study to conclude that troubles within a family. changes in family structure and diease of family member generate stimuli. However, an application of the Roy Model contains the following problems: First, Roy argued that the family adaptation mode should be assessed at the first level family health assessment and then stimuli affecting family adaptation should be adaptation assessed at the second stage. To the belief of the author of this article. however, for checking family adaptation level. focal, contextual, residual stimuli should be confirmed by assessing stimuli at first stage. Then, the family adaptation mode in respect of such stimuli should be assessed. The rationale for this is that the family adaptation level is determined depending on degree of strength of focal. contextual. residual stimuli. Second. Whall (1991) raised a question 'Does one assess family adaptation mode and intervene in the stimuli?' 'Likewise, assessment of the family adaptation should be made in the following manner in order for family health to be enhanced. Third. Roy believes that additional stimuli (such as contextual and residual) are same as internal process (including nurturance. support, and socialization). However, the basis for this Roy's belief is not too clear. In spite of these problems which the author indicated above, it can be concluded that the Roy Model can serve as a good device for an assessment of family health and that the Roy Model can be applied to a Korean family. Finally, further research of family adaptation theory and family nursing theory is required for a development of these theories.

  • PDF

A Study on Development of a GIS based Post-processing System of the EFDC Model for Supporting Water Quality Management (수질관리 지원을 위한 GIS기반의 EFDC 모델 후처리 시스템 개발 연구)

  • Lee, Geon Hwi;Kim, Kye Hyun;Park, Yong Gil;Lee, Sung Joo
    • Spatial Information Research
    • /
    • v.22 no.4
    • /
    • pp.39-47
    • /
    • 2014
  • The Yeongsan river estuary has a serious water quality problem due to the water stagnation and it is imperative to predict the changes of water quality for mitigating water pollution. EFDC(Environmental Fluid Dynamics Code) model was mainly utilized to predict the changes of water quality for the estuary. The EFDC modeling normally accompanies the large volume of modeling output. For checking the spatial distribution of the modeling results, post-processing for converting of the output is prerequisite and mainly post-processing program is EFDC_Explorer. However, EFDC_Explorer only shows the spatial distribution of the time series and this doesn't support overlay function with other thematic maps. This means the impossible to the connection analysis with a various GIS data and high dimensional analysis. Therefore, this study aims to develop a post-processing system of a EFDC output to use them as GIS layers. For achieving this purpose, a editing module for main input files, and a module for converting binary format into an ASCII format, and a module for converting it into a layer format to use in a GIS based environment, and a module for visualizing the reconfigured model result efficiently were developed. Using the developed system, result file is possible to automatically convert the GIS based layer and it is possible to utilize for water quality management.

Development of a Metamodel-Based Healthcare Service System using OSGi Component Platform (OSGi 컴포넌트 플랫폼을 이용한 메타모델 기반의 건강관리 서비스 시스템 개발)

  • Kim, Tae-Woong;Kim, Hee-Cheol
    • Journal of Korea Multimedia Society
    • /
    • v.14 no.1
    • /
    • pp.121-132
    • /
    • 2011
  • A healthcare system is a type of medical information system that performs early detection and prevention in diseases by checking one's health condition periodically. Such a healthcare system is based on the signal obtained from the body. However, the developed existing system represents certain differences in the storage and description of vital signs according to medicare devices and the evaluation method of the system. It brings some disadvantages, such as lacks in the interoperability between systems, increases in the development cost of systems, and absence of a unified system. Thus, this study develops a healthcare system based on a meta model. For establishing this objective, this study describes and stores vital sign data based on the standard meta model of HL7 and applies OCL, which is a mathematical specification language, for defining wellness indexes and extracting data in order to evaluate health risk appraisals in health. In addition, this study implements components based on OSGi and assemble them in order to easily extend various devices and systems. By describing vital data based on the meta model, it represents some advantages that it makes possible to ensure the interoperability between systems and introduce the standardization of the evaluation method of health conditions through defining the wellness index using OCL. Also, it provides dear specifications.

Inflow Estimation into Chungju Reservoir Using RADAR Forecasted Precipitation Data and ANFIS (RADAR 강우예측자료와 ANFIS를 이용한 충주댐 유입량 예측)

  • Choi, Changwon;Yi, Jaeeung
    • Journal of Korea Water Resources Association
    • /
    • v.46 no.8
    • /
    • pp.857-871
    • /
    • 2013
  • The interest in rainfall observation and forecasting using remote sensing method like RADAR (Radio Detection and Ranging) and satellite image is increased according to increased damage by rapid weather change like regional torrential rain and flash flood. In this study, the basin runoff was calculated using adaptive neuro-fuzzy technique, one of the data driven model and MAPLE (McGill Algorithm for Precipitation Nowcasting by Lagrangian Extrapolation) forecasted precipitation data as one of the input variables. The flood estimation method using neuro-fuzzy technique and RADAR forecasted precipitation data was evaluated. Six rainfall events occurred at flood season in 2010 and 2011 in Chungju Reservoir basin were used for the input data. The flood estimation results according to the rainfall data used as training, checking and testing data in the model setup process were compared. The 15 models were composed of combination of the input variables and the results according to change of clustering methods were compared and analysed. From this study was that using the relatively larger clustering radius and the biggest flood ever happened for training data showed the better flood estimation. The model using MAPLE forecasted precipitation data showed relatively better result at inflow estimation Chungju Reservoir.