• Journal of KIISE
• /
• v.42 no.12
• /
• pp.1503-1521
• /
• 2015

Agent-based modeling and simulation (ABMS) is used to model of market and social phenomena by utilizing agents' fine-grained behaviors and interactions that cannot be implemented in a conventional simulation. However, ABMS represents irrational agents and hinders the achievement of individual or overall goals since ABMS is based on agent-based software, which follows the principle of rationality at the knowledge level [1]. This problem was solved in the agent-based software engineering (ABSE) field by using behavior laws for the social level [2]. However, they still do not propose the specific development methodology for how to develop the social level in a systematic way. Therefore, in order to propose agent-based modeling and simulation methods that reflect the behavior laws of social level characteristics, our study used the Tropos that can combine ABSE and social behavior laws for the presentation of concrete tasks and deliverables for each development step by step. In addition, the proposed method will be specified through experiments with specific application examples and case studies on the self-adaptive smart grid and the military domain system.

• KIPS Transactions on Computer and Communication Systems
• /
• v.6 no.3
• /
• pp.121-134
• /
• 2017

With rapid increasing the development and use of IoT Devices, requirements for safe IoT devices and services such as reliability, security are also increasing. In Security engineering, SDLC (Secure Development Life Cycle) is applied to make the trustworthy system. Secure Development Life Cycle has 4 big steps, Security requirements, Design, Implementation and Operation and each step has own goals and activities. Deriving security requirements, the first step of SDLC, must be accurate and objective because it affect the rest of the SDLC. For accurate and objective security requirements, Threat modeling is used. And the results of the threat modeling can satisfy the completeness of scope of analysis and the traceability of threats. In many countries, academic and IT company, a lot of researches about drawing security requirements systematically are being done. But in domestic, awareness and researches about deriving security requirements systematically are lacking. So in this paper, I described about method and process to drawing security requirements systematically by using threat modeling including DFD, STRIDE, Attack Library and Attack Tree. And also security requirements are described via Common Criteria for delivering objective meaning and broad use of them.

• Journal of the Korean Society of Urban Environment
• /
• v.18 no.4
• /
• pp.401-408
• /
• 2018

EQPS (Effluent Quality Prediction System, Dynamita, France) was applied to analyze the appropriateness of the design of a bioreactor in A sewage treatment plant. A sewage treatment plant was designed by setting the design concentration of the secondary clarifier effluent to total nitrogen and total phosphorus, 10 mg/L and 1.8 mg/L, respectively, in order to comply with the target water quality at the level of the hydrophilic water. The retention time of the 4-stage BNR reactor was 9.6 hours, which was 0.5 for the pre-anoxic tank, 1.0 for the anaerobic tank, 2.9 for the anoxic tank, and 5.2 hours for the aerobic tank. As a result of the modeling of the winter season, the retention time of the anaerobic tank was increased by 0.2 hours in order to satisfy the target water quality of the hydrophilic water level. The default coefficients of the one step nitrification denitrification model proposed by the software manufacturer were used to exclude distortion of the modeling results. Since the process modeling generally presents optimal conditions, the retention time of the 4-stage BNR should be increased to 9.8 hours considering the bioreactor margin. The accurate use of process modeling in the design stage of the sewage treatment plant is a way to ensure the stability of the treatment performance and efficiency after construction of the sewage treatment plant.

• Proceedings of the Korean Society of Surveying, Geodesy, Photogrammetry, and Cartography Conference
• /
• 2004.04a
• /
• pp.395-400
• /
• 2004

This study consists of three steps of data modeling procedures. The first step is to identify possible items for the data model based on literature review and expert interviews. The second step is to design delineate possible sub-themes, feature classes, feature types, attributes, attribute domains, and their relationships. These are presented in various UML class diagrams, and each feature type is clearly defined and modeled. The data model also shows geometry objects and their topological relationships in UML diagrams. Finally, a standardized data model has been provided to avoid possible conflicts in the field of geographic and Facility Area, and thus this study and the data model will eventually assist in alleviating efforts to build standardized geographic information databases for Facility Area.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.29 no.2 s.233
• /
• pp.350-359
• /
• 2005

Finite element method is a very effective method to simulate the forming processes with good prediction of the deformation behaviour. For the finite element modeling of sheet mental forming the accurate die model is required. Among finite element method, the static-implicit finite element method is applied effectively to analyze real-size auto-body panel stamping processes, which include the forming stage. This study is about analyzing the stamping process problems by using AutoForm commercial software which used static-implicit method. According to this study, the results of simulation will give engineers good information to access the die design of optimization.

• Proceedings of the KSME Conference
• /
• 2001.06d
• /
• pp.884-889
• /
• 2001

Combustion chamber crevices in SI engines are identified as the largest contributor to the engine-out hydrocarbon emissions. The largest of crevice region is the piston ring pack crevice. To predict and understand the oxidation process of piston crevice hydrocarbons, a 3-dimensional numerical simulation method was developed. A engine shaped computational mesh with moving grid for piston and valve motions was constructed. And a 4-step oxidation model involving 7 species was used and the 16 coefficients in the rate expressions were optimized based on the results from a detailed chemical kinetic mechanism for the oxidation condition of engine combustion chamber. Propane was used as a fuel in order to eliminate oil layer absorption and liquid fuel effect.

• 한국방재학회:학술대회논문집
• /
• 2007.02a
• /
• pp.497-500
• /
• 2007

Data structure was designed not only to estimate LCC but also to analyze time-variant reliability index of plate girder bridges. Information model for data structure was categorized into cost information, cost variable information, user cost information, and reliability analysis information according to the characteristic of data. EXPRESS language of STEP was adopted to describe the data structure for the electronic representation of LCC information. The suitability of the developed data structure was verified by estimating LCC and analyzing time-variant reliability index of a plate girder bridge considering corrosion on the basis of the constructed test database.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.17 no.9 s.112
• /
• pp.890-894
• /
• 2006

To make the best use of known characteristics of the alternating-direction-implicit finite-difference time-domain (ADI-FDTD) method such as unconditional stability and modeling accuracy, an efficient time domain solution with variable time-step size is proposed. Numerical experiment shows that a time-step size for a given mesh size can be increased preserving a desired numerical accuracy over frequencies of interest. The proposed method can be used to analyze electromagnetic problems with reduced computation time.

• Korean System Dynamics Review
• /
• v.9 no.2
• /
• pp.27-43
• /
• 2008

This study investigates market barriers in increasing the market share of Alternative Fuel Vehicles (AFVs). In particular, this study first conceptualizes the AFVs market model with the aid of generic system archetypes suggested by Wolstenholme. Among four generic system archetypes suggested by Wolstenholme, the market structure of AFVs can be explained by the 'relative achievement' archetype. Starting from the generic system archetype, this study extends the model boundary step by step to take account of various model assumptions necessary to simulate the model numerically. If there is a significant network effect on vehicle operating costs, it is difficult to achieve the shift to AFVs even in the long term without a policy intervention because the car market is locked into the current structure. There are several possible policy options to break the 'locked-in' structure of the car market, such as subsidies on vehicles, subsidies on fuels, and a niche management policy.

• Proceedings of the Korean Institute of IIIuminating and Electrical Installation Engineers Conference
• /
• 2005.05a
• /
• pp.467-472
• /
• 2005

In this paper, design and control of the novel SEPIC-Flyback converter(SF converter) is developed as a possible converter for fuel cell system. This output characteristic of SF converter is similar to Buck-Boost converter in that it can step-up or step-down the voltage. With the small signal equivalent circuit modeling of SF converter, control-to-output transfer function is obtained. SF converter couples up the inductive type converter to capacitive type converter with one transformer, which has less ripple current than its respective one does. To verify the validity of the proposed converter, 500W, 100kHz converter is designed and tested. ZVS switching and active clamping are also tested in practice.