• 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.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.14 no.8
• /
• pp.3999-4005
• /
• 2013

We forecast that the scale of mobile market will be large scale according to the twenty million times of smart phone's user is arrived. The type of software development is being transferred into mobile-based App. or cloud computing-based service from web-based software. Currently both Google's android and Apple's IOS are known for two prominent platforms. Existing modeling techniques cannot be applied into the case of mobile application which is executed those platforms. Therefore, we suggest a modeling technique that is customized existing modeling techniques into android-based software development. That is, we propose an analysis and design techniques which are needed into android-based mobile smart environment.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2011.10a
• /
• pp.614-622
• /
• 2011

In this study, the computational structural dynamic modeling of floating offshore wind turbine system is presented using efficient equivalent modeling technique. Structural dynamic behaviors of the offshore floating platform with 5MW wind turbine system have been analyzed using computational multi-body dynamics based on the finite element method. The considered platform configuration of the present offshore wind turbine model is the typical spar-buoy type. Equivalent stiffness and damping properties of the floating platform were extracted from the results of the baseline model. Dynamic responses for the floating wind turbine models are presented and compared to investigate its structural dynamic characteristics. It is important shown that the results of the present equivalent modeling technique show good and reasonable agreements with those by the fully coupled analysis considering complex floating body dynamics.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.39 no.2
• /
• pp.93-101
• /
• 2021

Recently, with the urban redevelopment and the spread of the planned cities, there is increasing interest in the wind environment, which is related not only to design of buildings and landscaping but also to the comfortability of pedestrians. Numerical analysis for wind environment prediction is underway in many fields, such as dense areas of high-rise building or composition of the apartment complexes, a precisive 3D building model is essentially required in this process. Many studies conducted for wind environment analysis have typically used the method of creating a 3D model by utilizing the building layer included in the GIS (Geographic Information System) data. These data can easily and quickly observe the flow of atmosphere in a wide urban environment, but cannot be suitable for observing precisive flow of atmosphere, and in particular, the effect of a complicated structure of a single building on the flow of atmosphere cannot be calculated. Recently, drone photogrammetry has shown the advantage of being able to automatically perform building modeling based on a large number of images. In this study, we applied photogrammetry technology using a drone to evaluate the flow of atmosphere around two buildings located close to each other. Two 3D models were made into an automatic modeling technique and manual modeling technique. Auto-modeling technique is using an automatically generates a point cloud through photogrammetry and generating models through interpolation, and manual-modeling technique is a manually operated technique that individually generates 3D models based on point clouds. And then the flow of atmosphere for the two models was compared and analyzed. As a result, the wind environment of the two models showed a clear difference, and the model created by auto-modeling showed faster flow of atmosphere than the model created by manual modeling. Also in the case of the 3D mesh generated by auto-modeling showed the limitation of not proceeding an accurate analysis because the precise 3D shape was not reproduced in the closed area such as the porch of the building or the bridge between buildings.

• Journal of the Korean Data and Information Science Society
• /
• v.17 no.2
• /
• pp.269-278
• /
• 2006

This paper presents the new hybrid data mining technique using error pattern, modeling of improving classification accuracy. The proposed method improves classification accuracy by combining two different supervised learning methods. The main algorithm generates error pattern modeling between the two supervised learning methods(ex: Neural Networks, Decision Tree, Logistic Regression and so on.) The Proposed modeling method has been applied to the simulation of 10,000 data sets generated by Normal and exponential random distribution. The simulation results show that the performance of proposed method is superior to the existing methods like Logistic regression and Discriminant analysis.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.22 no.3
• /
• pp.175-190
• /
• 1997

Organizational change projects such as Business Process Redisign (BPR) have been perceived to incur high risk due to their high management complexity, enterprise-wide impace, and steep project cost. This research intends to reduce such risk by developing a systematic process redesign methods, called Dynamic Process Modeling (DPM) method. DPM integrates the customer-oriented business process modeling technique with computerized visual simulation technique to promote better understanding of the target process and enable performance simulation of the proposed redesign alternatives prior to actual BPR implementations. For the cusstomer-oriented process modeling, we propose Dynamic-Event Process Chain (Dynamic-EPC) extending from the conceptual customer process model, Event-Process Chain (EPC). We compare DPM with four other implementation-level process modeling methods over eight criteria and demonstrate its effectiveness by applying it to the real-world hospital BPR case.

• Structural Engineering and Mechanics
• /
• v.18 no.1
• /
• pp.113-124
• /
• 2004

The information on local stress acting in a bridge is required in many occasions such as fatigue assessment. The analysis by beam elements cannot yield this class of information adequately, while the finite element modeling of an entire long-span bridge by shell elements is impractical. In the present study, the hybrid modeling is tried out: only part of a bridge in which the point of interest is located is discretized by shell elements and the remaining part is modeled by beam elements. By solving a simple box girder problem, the effectiveness of this approach is discussed. This technique is then applied to the Rama IX Bridge for local stress evaluation. The numerical results compare very well with the results of a full-scale static loading test. The present research thus offers a practical yet accurate technique for the stress analysis of a long-span cable-stayed bridge.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.61 no.12
• /
• pp.1959-1963
• /
• 2012

Since electric railway load is variable largely due to starting and braking characteristics as well as various operation patterns, load modeling is not easy but complicated. For this reason, a simple technique for modeling of electric railway load of is required to analyze the AC substation system of electric railway. In this paper, a modeling technique of converter-based electric railway load is proposed and is tested using nonlinear loads on Matlab/Simulink.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1996.04a
• /
• pp.200-203
• /
• 1996

Object-Oriented Modeling Technique (OMT) [1] promotes better understanding of requirements, cleaner designs, and more maintainable systems. A development of Group Decision Support System (GDSS) needs this advantage of OMT. GDSS designed through OMT proposes 3 modelings, object modeling, dynamic modeling, and functional modeling. This paper illustrates a design of GDSS using these 3 modelings. By exploiting the object-oriented paradigm, this design results in a highly system-independent design. And this paper shows some implementation issues including a tip of C++ code.

• Transactions of Materials Processing
• /
• v.1 no.1
• /
• pp.5-10
• /
• 1992