• Journal of Korea Society of Digital Industry and Information Management
• /
• v.8 no.4
• /
• pp.167-175
• /
• 2012

Service-oriented Architecture(SOA) is one of the most recent trends in IT solutions. SOA is a paradigm for organizing and utilizing distributed capabilities that may be under the control of different ownership domains and implemented using various technology stacks. From a technical perspective SOA, can be considered a method for designing and developing IT systems where applications are constructed from loosely coupled and autonomous building blocks. And SOA is a very effective response to the problems faced by companies in terms of reusability, interoperability and reduce coupling between systems that implement their information systems. To exploit these advantages many organizations have decided to evolve their legacy systems towards this architecture. This paper proposes a modeling for SOA based business process generation and testing, and introduces its implementation in the BPEL. And we analyze business process between enterprises, modeling the service-oriented business process with BPEL to realization level. Also, we suggests that UML is used from high-level business problems to the process of low-level problem for Visual and effectively.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.52 no.10
• /
• pp.56-63
• /
• 2015

Not only performance analysis but also power analysis at early design stages is important in designing a system-on-chip. We propose a power modeling based on clock gating enable signals that enables accurate power analysis at a high-level. Power state is defined as combinations of the values of the clock gating enable signals and we can extract the clock gating enable signals to generate the power model automatically. Experimental results show that the average power accuracy is about 96% and the speed gain of power analysis at the high-level power is about 280 times compared to that at the gate-level.

• International Journal of Naval Architecture and Ocean Engineering
• /
• v.10 no.1
• /
• pp.37-47
• /
• 2018

Dynamic simulation is critical for electrical ship studies as it obtains the necessary information to capture and characterize system performance over the range of system operations and dynamic events such as disturbances or contingencies. However, modeling and simulation of the interactive electrical and mechanical dynamics involves setting up and solving system equations in time-domain that is typically time consuming and computationally expensive. Accurate assessment of system dynamic behaviors of interest without excessive computational overhead has become a serious concern and challenge for practical application of electrical ship design, analysis, optimization and control. This paper aims to develop a systematic approach to classify the sophisticated dynamic phenomenon encountered in electrical ship modeling and simulation practices based on the design intention and the time scale of interest. Then a novel, comprehensive, coherent, and end-to-end mathematical modeling and simulation approach has been developed for the latest Medium Voltage Direct Current (MVDC) Shipboard Power System (SPS) with the objective to effectively and efficiently capture the system behavior for ship-wide system-level studies. The accuracy and computation efficiency of the proposed approach has been evaluated and validated within the time frame of interest in the cast studies. The significance and the potential application of the proposed modeling and simulation approach are also discussed.

• Journal of Electrical Engineering and Technology
• /
• v.6 no.2
• /
• pp.270-274
• /
• 2011

This paper presents a parameterized simulation program with integrated circuit emphasis (SPICE) model of a two-level microbolometer based on negative-temperature-coefficient thin films, such as vanadium oxide or amorphous silicon. The proposed modeling begins from the electric-thermal analogy and is realized on the SPICE modeling environment. The model consists of parametric components whose parameters are material properties and physical dimensions, and can be used for the fast design study, as well as for the co-design with the readout integrated circuit. The developed model was verified by comparing the obtained results with those from finite element method simulations for three design cases. The thermal conductance and the thermal capacity, key performance parameters of a microbolometer, showed the average difference of only 4.77% and 8.65%, respectively.

• The Transactions of the Korean Institute of Electrical Engineers A
• /
• v.51 no.2
• /
• pp.59-68
• /
• 2002

This Paper presents the dynmics modeling and the operation simulation of the 500 MW drum-type boiler and its control system hosted in the Boryung Power Plant unit #1 and #2. The fidelity of the modeling and the operation simulation is well verified by their agreement with the actual data obtained form the plant operation. As a plant signal generator for the various operation patterns and fault situations, the simulation environment will be utilized to develope the fault detecting signal processing algorithms.

• Nuclear Engineering and Technology
• /
• v.37 no.1
• /
• pp.118-126
• /
• 2005

While emergency operating procedures (EOPs) occupy an important role in the management of various abnormal situations in nuclear power plants (NPPs), current technology for the validation of EOPs still largely depends on manual review. A validation method for EOPs of NPPs is thus proposed based on dynamic multi-level flow modeling (MFM). The MFM modeling procedure and the EOP validation procedure are developed and provided in the paper. Application of the proposed method to EOPs of an actual NPP shows that the proposed method provides an efficient means of validating EOPs. It is also found that the information on state transitions in MFM models during the management of abnormal situations is also useful for further analysis on EOPs including their optimization.

• Atmosphere
• /
• v.30 no.4
• /
• pp.319-333
• /
• 2020

Aircraft observations constitute one of the major sources of temperature observations which provide three-dimensional information. But it is well known that the aircraft temperature data have warm bias against sonde observation data, and therefore, the correction of aircraft temperature bias is important to improve the model performance. In this study, the algorithm of the bias correction modified from operational KMA (Korea Meteorological Administration) global model is adopted in the preprocessing of aircraft observations, and the effect of the bias correction of aircraft temperature is investigated by conducting the two experiments. The assimilation with the bias correction showed better consistency in the analysis-forecast cycle in terms of the differences between observations (radiosonde and GPSRO (Global Positioning System Radio Occultation)) and 6h forecast. This resulted in an improved forecasting skill level of the mid-level temperature and geopotential height in terms of the root-mean-square error. It was noted that the benefits of the correction of aircraft temperature bias was the upper-level temperature in the midlatitudes, and this affected various parameters (winds, geopotential height) via the model dynamics.

• The Mathematical Education
• /
• v.55 no.1
• /
• pp.41-71
• /
• 2016

The purpose of this study is to investigate elementary students' communication in process of applying mathematical modeling. For this study, 22 fifth graders in an elementary school were observed by applying mathematical modeling process (presentation of problem ${\rightarrow}$ model inducement activity ${\rightarrow}$ model exploration activity ${\rightarrow}$ model application activity). And the level of their communication with their activity sheets and outputs, observation records and interviews were also analyzed. Additionally, by analyzing the activity cases of and , this study researched that what is a positive influence on students' communication skills. Whereas showed significant advance in the level of communication, who communicated actively on speaking area but not on every areas showed insensible changes. To improve communication abilities, cognitive tension and debate situation are needed. This means, mathematical education should continuously provide students with mathematical communication learning, and a class which contains mathematical communication experiences (such as mathematical modeling) will be needed.

• Research in Mathematical Education
• /
• v.27 no.1
• /
• pp.49-73
• /
• 2024

This study aims to explore the direction of high school statistics education in Korea through a comparative analysis between the revised 2022 Korea mathematics curriculum and the IBDP Mathematics: Application & Interpretation Standard Level (IBDP AI SL) Curriculum and textbooks. The study seeks to investigate the Statistics unit of the two curricula, compare chapter structures and content elements of textbooks, and explore exercises on modeling and utilization of technology tools. The results are as follows: First, the IBDP AI SL statistics covered a broader range of topics. Second, exercises in Korean high school textbooks typically inquire about one or two questions in each topic, whereas the IBDP AI SL textbook's exercises present a real-life scenario on all relevant topics through sub-questions. Third, the Korean textbook guides the utilization of technology tools only in exercises presented after completing the entire chapter or where the calculation is complex. Also, there were only a handful of modeling exercises in the Korean textbook in contrast to most of the lessons and exercises were modeling exercises in the IBDP AI SL textbook. If these findings can be integrated into teaching practices in Korea, it will provide a direction for statistics education in Korean high schools.

• KIEAE Journal
• /
• v.15 no.6
• /
• pp.69-80
• /
• 2015

Purpose: Since most simulation programs take the interface that lists up all the input variables representing all the functionalities, users must know where design variables of an Energy Conservation Measure (ECM) are located and also know what values are appropriate. This is why practitioner designers feel frustrated when they attempt to use simulation. The final objective of this study is to provide a building energy modeling guideline for practitioners in various fields such as architectural design and MEP. Method: As the first step of the modeling guideline, this study provides the Level of Detail (LOD) for simulation modeling of primary ECMs considering the design information available in each design phase. It is prepared by literature review, simulation functionality investigation, and field experts' survey. Result: The proposed simulation LOD offers a milestone at each design phases concerning what design variable and attributes need to be developed with how much of details in order to meet the project goal. Also each design team can set up a simulation usecase considering organizational characteristics based on the proposed LOD.