• Proceedings of the CALSEC Conference
• /
• 1997.11a
• /
• pp.263-268
• /
• 1997

Functional Modeling methodology, IDEF0 is widely used for modeling, analysis and description of enterprise system. The limitation of modeling components restricts applicability and give rise to confusion about model. In this paper, we propose new method to extend IDEF0. The first is adding modeling components which are semantic representations. In addition to ICOMs, we add the time and cost component which is required to execute the function. The second is tracing mechanism. When we need some information, we drive the functions related with the information by reverse tracing of the function which produces the information as a output and input. Through the tracing, we find out the bottleneck process or high cost process. Finally, we suggest the final decomposition level. We call the final decomposed function into unit function which has only one output data. We can combine and reconstruct some of functions because an unit function is similar to ‘lego block’. To reach the integrated system, the main problem to be solved is the integration of information produced by different functional subsystem. This can be resolved when the creation of data must be dependent on only one function. Through view integration of function output, we can guarantee the integrity of data.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.62 no.8
• /
• pp.1151-1156
• /
• 2013

In this study, to clearly establish the concept of a geometric modeling I apply for the concept of Pushbroom, limited to two-dimensional radiation Locator to provide a three-dimensional information purposes. Respect to the radiation scanner Pushbroom modeling techniques, geometric modeling method was presented introduced to extract three-dimensional information as long as the rotational component of the Gamma-Ray Linear Pushbroom Stereo System, introduced the two-dimensional and three-dimensional spatial information in the matching relation that can be induced. In addition, the pseudo-inverse matrix by using the conventional least-squares method, GCP(Ground Control Point) to demonstrate compliance by calculating the key parameters. Projection transformation matrix is calculated for obtaining three-dimensional information from two-dimensional information can be used as the primary relationship, and through the application of a radiation image matching technology will make it possible to extract three-dimensional information from two-dimensional X-ray imaging.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2003.05a
• /
• pp.792-799
• /
• 2003

As eTransformation and collaborative eCommerce have been on the rise, business processes between business partners are increasingly recognized as important assets that need to be integrated. These trends imply more complex and dynamic business processes should be considered in order to integrate related business organizations and business units. Moreover, these business processes are widely distributed across stakeholders. Therefore, there is a need for business process modeling that is usable, flexible and capable of integrating systems consistently across businesses and technology barriers. In this paper, a business process modeling methodology is introduced, which is based on top­do\W and model-driven approach utilizing OMG's MDA(Model-Driven Architecture) and UML profile for EDOC(Enterprise Distributed Object Computing). This provides the ability to model business process at all levels simultaneously, to combine business process models retaining their meaning, to use business process design patterns constraining the behavior of sub-processes, and to derive specific codes from a stable model as the underlying infrastructure shifts over time. In addition, we suggest some modifications of the meta-model for EDOC-Business Process Profile by adding new features in order to model business processes rigidly. This paper illustrates some examples of business process modeling and compares them with UML diagrams and IDEF models. The proposed methodology is implemented to develop a business process modeling tool.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.14 no.5
• /
• pp.2186-2203
• /
• 2020

Security administrators of companies and organizations need to come up with proper countermeasures against cyber-attacks considering infrastructures and security policies in their possession. In order to develop and verify such countermeasures, the administrators should be able to reenact both cyber-attacks and defenses. Simulations can be useful for the reenactment by overcoming its limitations including high risk and cost. If the administrators are able to design various scenarios of cyber-attacks and to develop simulation models from their viewpoints, they can simulate desired situations and observe the results more easily. It is challenging to simulate cyber-security issues, because there is lack of theoretical basis for modeling a wide range of the security field as well as pre-defined basic components used to model cyber-attacks. In this paper, we propose a modeling method for cyber-security simulations by developing a basic component and a composite model, called Abstracted Cyber-Security Unit Model (ACSUM) and Abstracted Cyber-security SIMulation model (ACSIM), respectively. The proposed models are based on DEVS(Discrete Event systems Specification) formalism, a modeling theory for discrete event simulations. We develop attack scenarios by sequencing attack behaviors using ACSUMs and then model ACSIMs by combining and abstracting the ACSUMs from a security perspective. The concepts of ACSUM and ACSIM enable the security administrators to simulate numerous cyber-security issues from their viewpoints. As a case study, we model a worm scenario using ACSUM and simulate three types of simulation models based on ACSIM from a different security perspective.

• Nuclear Engineering and Technology
• /
• v.51 no.8
• /
• pp.1916-1938
• /
• 2019

The objective of this paper is to discuss the modeling principles of phenomena governing core degradation/melting and in-vessel melt relocation during severe accidents in light water reactors. The proposed modeling approach has been applied in the development of a new accident simulation package, COMPASS (COre Meltdown Progression Accident Simulation Software). COMPASS can be used either as a stand-alone tool to simulate in-vessel meltdown progression up to and including RPV failure, or as a component of an integrated simulation package being developed in Korea for the APR1400 reactor. Interestingly, since the emphasis in the development of COMPASS modeling framework has been on capturing generic mechanistic aspects of accident progression in light water reactors, several parts of the overall model should be useful for future accident studies of other reactor designs, both PWRs and BWRs. The issues discussed in the paper include the overall structure of the model, the rationale behind the formulation of the governing equations and the associated simplifying assumptions, as well as the methodology used to verify both the physical and numerical consistencies of the overall solver. Furthermore, the results of COMPASS validation against two experimental data sets (CORA and PHEBUS) are shown, as well as of the predicted accident progression at TMI-2 reactor.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.18 no.12
• /
• pp.3069-3078
• /
• 2014

This research handles the performance improvement effect by the Modeling & Simulation and shows the design, implementation, test results of the new 3-axis magnetometer which is the core component of strategic offensive deploying mine. The submarine is modelled by using the commercial electromagnetic field analysis tool on numerical value, and its magnetic field characteristic is predicted in order to apply the new magnetometer to the future underwater weapon system. The method to take the performance test results of new 3-axis magnetometer in the land is shown instead of the real test result in sea by making the miniature submarine.

• Earthquakes and Structures
• /
• v.7 no.5
• /
• pp.817-842
• /
• 2014

ASCE/SEI 41-13 provides modeling parameters and numerical acceptance criteria for various types of members that are useful for evaluating the seismic performance of reinforced concrete (RC) building structures. To accurately evaluate the global performance of a coupled wall system, it is crucial to first properly define the component behaviors (i.e., force-displacement relationships of shear walls and coupling beams). However, only a few studies have investigated on the modeling of RC coupling beams subjected to earthquake loading to date. The main objective of this study is to assess the reliability of ASCE 41-13 modeling parameters specified for RC coupling beams with various design details, based on a database compiling almost all coupling beam tests available worldwide. Several recently developed coupling beam models are also reviewed. Finally, a rational method is proposed for determining the chord yield rotation of RC coupling beams.

• Journal of Power Electronics
• /
• v.19 no.1
• /
• pp.24-33
• /
• 2019

A new modeling method for AC-AC switched capacitor converters (SCCs) is introduced in this study. The proposed analytical method aims to accurately describe the input-output characteristics of AC-AC SCCs and establish a mathematical model for static voltage conversion ratio and equivalent resistance, which are key performance metrics for SCCs. A quantitative analysis of converter regulation capability is addressed on the basis of the modeling method. In this analysis, the effects of the control parameters and individual components on SCCs are illustrated extensively. Component stresses, such as the peak value and transient variation of the voltage/current of the converter, are also presented. The effectiveness of the proposed method is verified by comparing it with the existing modeling method and applying it to an AC-AC SCC with a conversion ratio of three. Two 1 kW prototypes are built in a laboratory, and their experimental results exhibit good agreement with the theoretical analysis.

• 제어로봇시스템학회:학술대회논문집
• /
• 2004.08a
• /
• pp.1093-1097
• /
• 2004

We propose 'the haptic primitive' for haptic rendering without the need to solve complicated parametric equations. To develop 'the haptic primitive', we adopted "the God-Object Method" as a haptic rendering algorithm and applied 'Constructive Solid Geometry' to manage haptic objects. Besides being used in the 'ghost library' of $PHANToMTM^{TM}$ our method can be used as a basic component for developing tools and libraries that aim to simplify haptic modeling. It can also be applied to tactile display modules and temporal display modules. Ultimately it can be developed into a one-stop haptic modeling tool that enables the user to more conveniently create a tangible CAD systems or a tangible e-ommerce system.

• Progress in Superconductivity and Cryogenics
• /
• v.5 no.1
• /
• pp.60-65
• /
• 2003

An effective modeling and simulation scheme of a resistive type Superconducting fault Current Limiter (SFCL) using PSCAD/EMTDC is proposed in this paper. In case of High Temperature Superconducting (HTS) resistive type fault current limiter current limiting is implemented by the ultra-fast transition characteristics from the superconducting (non-resistive) state to the normal (resistive) state by overstepping the critical current density. The states can generally be divided into three sub-states: the superconducting state the quench state and the recovery state respectively. In order to provide alternative application schemes of a resistive type SFCL, an effective modeling and simulation method of the SFCL is necessary. For that purpose, in this study, an actual experiment based component model is developed and applied for the simulation of the real resistive type SFCL using PSCAD/EMTDC. The proposed simulation scheme can be implemented to the grid system readily under various system conditions including sort of faults and the system capacity as well. The simulation results demonstrate the effectiveness of the proposed model and simulation scheme.