• Journal of the korean society of oceanography
• /
• v.32 no.2
• /
• pp.75-84
• /
• 1997

Relation between the length scale and the wall proximity function in the Mellor-Yamada level 2.5 turbulence closure model has been investigated through various experiments using a range of wall proximity functions. The model performance has been evaluated quantitatively by comparing with laboratory data for wind-driven flow (Baines and Knapp, 1965) and for open-channel flows without and with adverse wind action (Tsuruya, 1985). Comparison shows that a symmetric wall proximity function used by Blumberg and Mellor(1987) gives rise to current profiles with better accuracy than asymmetric wall proximity functions considered. It is noted that in modelling homogeneous flows the length scale 1= 0.31${\|}$z${\|}$(1+z/h) can be used with tolerable accuracy.

• Proceedings of the KIEE Conference
• /
• 2009.07a
• /
• pp.1814_1816
• /
• 2009

ZigBee is a technology that is being rapidly developed since its power consumption is low and the stability of its communication is high. However, documented data which is coded using conventional programming languages such as C or assembly programming language would not be able to fulfill the various requirements upon application development by ZigBee. Unified Modelling Languge (UML) could be one of the alternatives to solve this problem. UML provides a variety of diagrams by which the results of the software development can be presented visually and by which the developers can communicate more spontaneously. This paper shows the results of an ongoing study into the application of model-driven methods for ZigBee Application. Also, this paper shows that this approach is feasible by comparing memory usage, latency, and power consumption of UML modelling code with those of handwritten code.

• Journal of KIISE:Software and Applications
• /
• v.34 no.7
• /
• pp.635-645
• /
• 2007

Component technology has been widely accepted as an effective way for building software systems with reusable components, and Microsoft (MS) .NET is one of the recent representative component technologies. Model Driven Architecture (MDA) is a new development paradigm which generates software by transforming design models automatically and incrementally. Transformation of structural models in MDA has been successfully applied. However, transformation of dynamic models and pervasive services, such as transaction service, security service, synchronization service and object pooling are largely remains as an area for further research. The recent enterprise system has multi tier distributed architecture, and the functionality of early mentioned pervasive services is essential for this architecture. .NET platform can implement Component Object Model+ (COM+) component for supporting pervasive services by specify Attribute code. In this paper, we specify the functionalities of the COM+ component offering pervasive services, and then those functionalities are defined by UML profile. By using the profile, the Platform Specific Model (PSM) for .NET/C# is specified, and .NET components are automatically generated through our tool. The development productivity, extensibility, portability, and maintenance of software can be dramatically improved by using of the proposed methods.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.42 no.1
• /
• pp.59-66
• /
• 2014

In the case of a propeller-driven aircraft, power-on effect generated by the propeller has a strong influence on the performance and the stability of an aircraft directly and indirectly. A numerical study on the power-on effect has been performed using the CFD based on the multiple reference frame and sliding mesh model. The power-on effect increases the overall lift and the maximum lift of the aircraft. In addition to lift increment, power-on effect delays the stall of the aircraft. On the other hand, the power-on effect increases the drag significantly and consequently decreases the lift-to-drag ratio of the aircraft. Furthermore, the power-on effect decreases the nose-down pitching moment and consequently decreases the longitudinal static stability of the aircraft. It is expected that the analysis results presented and discussed in this report will be used as an important material for analyzing the aircraft performance and stability and will contribute the development of the propeller-driven aircraft with the pusher propeller.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.22 no.3
• /
• pp.130-135
• /
• 2014

In this paper, a new estimation method is proposed to calculate steering rack axial force using a 3 dimensional tire mesh model when a car is standing on the road. This model is established by considering changes of camber angle and contact patch between the tires and the ground according to steering angle. The steering rack bar axial force is estimated based on the static equilibrium equations of forces and moments. A tire friction force is supposed to act on the center point of the contact patch, and the proportional coefficient of friction depending on contact patch is suggested. Using the proposed estimation method, rack axial force sensitivity analysis is evaluated according to changes of suspension geometry. Then optimal motor power of Motor Driven Power Steering(MDPS) is evaluated using suggested rack forces.

• Nuclear Engineering and Technology
• /
• v.51 no.2
• /
• pp.463-478
• /
• 2019

The most important non-functional requirements for dependability of any Embedded Real-Time Safety Systems are safety, availability and reliability requirements. System architecture plays the primary role in achieving these requirements. Compliance with these non-functional requirements should be ensured early in the development cycle with appropriate considerations during architectural design. In this paper, we present an application of system architecture modeling for quantitative assessment of system dependability. We use probabilistic model checker (PRISM), for dependability analysis of the DTMC model derived from system architecture model. In general, the model checking techniques do not scale well for analyzing large systems, because of prohibitively large state space. It limits the use of model checking techniques in analyzing the systems of practical interest. We propose abstraction based compositional analysis methodology to circumvent this limitation. The effectiveness of the proposed methodology has been demonstrated using the case study involving the dependability analysis of safety system of a large Pressurized Water Reactor (PWR).

• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.8
• /
• pp.543-554
• /
• 2013

Model-Driven Development(MDD) helps developers verify requirements and design issues of a software system in the early stage of development process by taking advantage of a software model which is the most highly abstracted form of a software system. In practice, however, many software systems have been developed through a code-centric method that builds a software system bottom-up rather than top-down. So, without support of appropriate tools, it is not easy to introduce MDD to real development process. Although there are many researches about extracting a model from code to help developers introduce MDD to code-centrically developed system, most of them only extracted base-level models. However, using concept of abstract component one can continuously extract higher level model from base-level model. In this paper we propose a practical method for automatic extraction of base level abstract component from source code, which is the first stage of continuous extraction process of abstract component, and validate the method by implementing an extraction tool based on the method. Target code chosen is the source code of TinyOS, an operating system for wireless sensor networks. The tool is applied to the source code of TinyOS, written in nesC language.

• Journal of Advanced Marine Engineering and Technology
• /
• v.27 no.2
• /
• pp.238-245
• /
• 2003

To overcome the weakness in the load capacity of conventional robot manipulators actuated by motors with the speed reducer such as the harmonic driver, we proposed a new closed-chain type of the robot actuator which is composed of the four-bar-link mechanism driven by the ball screw. The robot manipulator is revolute-jointed and composed of four axes. The base axis is actuated by the lineal actuator such as the ball screw, and the others are actuated by the proposed actuator. We analyzed the mechanism of the actuators of the robot joints, and developed the dynamics model. The dynamics are expressed in the joint coordinates and then they are mapped into the sliding coordinates of the ball screw. We performed fundamental tests on the structure of the robot.

• Proceedings of the KIEE Conference
• /
• 1996.07b
• /
• pp.1173-1175
• /
• 1996

This paper describes a driving simulator for the multimotor driven electric vehicle. The electric vehicle is simulated by a 7-DOF(degree of freedom) model and a couple of developed split torque control algorithms are tested with the simulator to illustrate and verify its normal operation.

• The Sea:JOURNAL OF THE KOREAN SOCIETY OF OCEANOGRAPHY
• /
• v.5 no.4
• /
• pp.257-266
• /
• 2000

A vertically-averaged, two-dimensional version of the Princeton Ocean Model has been applied to the South Sea to simulate the circulation driven by tides and inflows/outflows across open boundaries. To incorporate both forcing properly, a two-step modeling approach is adopted, in which the tidal circulation is first simulated by specifying the tides along the open boundaries, and then both the calculated tidal currents and the observed steady mean currents are prescribed across the open boundaries. Model results show that the steady, subtidal circulation of the South Sea is different from the residual circulation due to tidal rectification, and subtidal currents become locally as strong as tidal currents. The Cheju Current entering the model domain across the Cheju Strait flows eastward in general while shifting onshore or offshore areas following local isobaths. The Tsushima Current entering across the southern boundary reaches farther to the north in the eastern vicinity of Cheju-Do as compared to that entering across other parts of the southern boundary. The Tsushima Current turns to the east, merges with the Cheju Current, and both the Cheju and Tsushima Current exit to the East Sea through the western channel of the Korea Strait. An intensification of the outflow occurs over the deep trough adjacent to the Tsushima Island, which appears to be due to the formation of the frictional boundary layer in order to remove excess positive relative vorticity generated by an increase in the layer thickness. The circulation driven by both the tidal and inflows/outflows is different from that driven by each forcing separately in coastal areas, which implies that both forcings should be considered simultaneously in the simulation of more realistic coastal circulation.