• The KIPS Transactions:PartD
• /
• v.17D no.5
• /
• pp.337-346
• /
• 2010

Timing diagram is popularly utilized for the reason of its advantages; it is convenient for timing diagram to describe behavior of system and it is simple for described behaviors to recognize it. Various techniques are needed to test systems described in timing diagram. One of them is a technique to derive the system into a certain condition under which a test case is effective. This paper proposes a technique to automatically generate the test input sequence to reach the condition for systems described in timing diagram. It requires a proper input set which satisfy transition condition restricted by input waveform and timing constraints to generate a test input sequence automatically. To solve the problem, this paper chooses an approach utilizing the linear programming, and solving procedure is as follows: 1) Get a Timing diagram model as an input, and transforms the timing diagram model into a linear programming problem. 2) Solve the linear programming problem using a linear programming tool. 3) Generate test input sequences of a timing diagram model from the solution of linear programming problem. This paper addresses the formal method to drive the linear programming model from a given timing diagram, shows the feasibility of our approach by prove it, and demonstrates the usability of our paper by showing that our implemented tool solves an example of a timing diagram model.

• Journal of the Korea Society for Simulation
• /
• v.20 no.4
• /
• pp.105-114
• /
• 2011

The roadmap-based planning is a path planning method which is used widely for a goal-directed movement in Robotics and has been applied to the world of computer animation such as computer games. However it is unnatural for computer characters to follow the path planned by the roadmap method as it is performed in Robotics. Flocking which is used for realistic and natural movements in computer animation enables character's movement by using a few simple rules without planning unlike the roadmap method. However it is impossible to achieve a goal-directed movement with flocking only because it does not keep states. In this paper we propose a simulation method which combines planning based on the road map with reactive actions for natural movements along the path planned. We define and implement steering behaviors for a leader which are needed to follow the trajectory naturally by analysing characteristics of roadmap-based paths and for the rest of members which follow the leader in various manners by detecting obstacles. The simulations are performed and demonstrated by using the implemented steering behaviors on every possible combination of roadmap-based path planning methods and models of configuration spaces. We also show that the detection of obstacle-collisions can be done effectively because paths are planned in the configuration space in which a moving object is reduced to a point.

• The KIPS Transactions:PartD
• /
• v.15D no.2
• /
• pp.271-284
• /
• 2008

Self-healing is an approach to evaluating constraints defined in target system and to applying an appropriate strategy when violating he constrains. Today, the computing environment is very complex, so researches that endow a system with the self-healing's ability that recognizes problem arising in a target system are being an important issues. However, most of the existing researches are that self-healing developers need much effort and time to analyze and model constraints. Thus, this paper proposes an automated approach to determine problem arising in external and internal system environment. The approach proposes: 1) Specifying the target system through the models created in design phase of target system. 2) Automatically creating constraints for external and internal system environment, by using the specified contents. 3) Deriving a dependency model of a component based on the created internal state rule. 4) Translating the constraints and dependency model into code evaluating behaviors of the target system, and determinating problem level. 5) Monitoring an internal and external status of system based on the level of problem determination, and applying self-healing strategy when detecting abnormal state caused in the target system. Through these, we can reduce the efforts of self-healing developers to analyze target system, and heal rapidly not only abnormal behavior of target system regarding external and internal problem, but also failure such as system break down into normal state. To evaluate the proposed approach, through video conference system, we verify an effectiveness of our approach by comparing proposed approach's self-healing activities with those of the existing approach.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.19 no.12
• /
• pp.717-724
• /
• 2018

To prepare for the explosive increase in maintenance costs of bridges according to the aging of infrastructure, future maintenance costs of bridges should be predicted. For this purpose, the management status of bridges was investigated and modeled as the upper limit of the performance level and the target management level according to the life cycle. This paper proposes methodologies and procedures for estimating the bridge maintenance costs using two models and existing cost and performance prediction models that consist of unit repair cost model according to the safety score, performance degradation model of bridges, unit reconstruction cost, and average reconstruction time. To verify the applicability, future maintenance costs can be forecasted for specific management agency considering the number of bridges, degree of aging, and current management status. As a result, it is possible to obtain the maintenance cost and safety level of an individual bridge level for each year. In addition, by summing them up to the agency level, the average safety score, ratio of the safety level, inspection costs, repair costs, and reconstruction costs can be obtained. In a further study, the changes in maintenance costs can be analyzed according to the changes in the target management levels using the developed method. The optimal management level can be suggested by reviewing the results.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.34 no.1
• /
• pp.59-69
• /
• 2021

Recently, large-scale offshore and coastal structures have been constructed owing to the increasing interest in eco-friendly energy development. To achieve this, precise simulations of waves are necessary to ensure the safe operations of marine structures. Several experiments are required in the field to understand the offshore wave; however, in terms of scale, it is difficult to control variables, and the cost is significant. In this study, numerical waves under various wave conditions are produced using a piston-type wavemaker, and the produced wave profiles are verified by comparing with the results from a numerical wave tank (NWT) modeled using the smoothed particle hydrodynamics (SPH) method and theoretical equations. To minimize the effect by the reflected wave, a mass-weighted damping zone is set at the right end of the NWT, and therefore, stable and uniform waves are simulated. The waves are generated using the linear and Stokes wave theories, and it is observed that the numerical wave profiles calculated by the Stokes wave theory yield high accuracy. When the relative depth is smaller than two, the results show good agreement irrespective of the wave steepness. However, when the relative depth and wave steepness are larger than 2 and 0.04, respectively, the errors are negligible if the measurement position is close to the excitation plate. However, the error is 10% or larger if the measurement position is away from the excitation location. Applicable target wave ranges are confirmed through various case studies.

• Economic and Environmental Geology
• /
• v.43 no.3
• /
• pp.259-267
• /
• 2010

Resistivity logging instruments were designed to measure electrical resistivity of formation, which can be directly interpreted to provide water-saturation profile. Short and long normal logging measurements are made under groundwater level. In some investigation sites, groundwater level reaches to a depth of a few meters. It has come to attention that the proximity of groundwater level might distort short and long normal logging readings, when the measurements are made near groundwater level, owing to the proximity of an insulating air. This study investigates the effects of the proximity of groundwater level (and also the proximity of earth surface) on the normal by simulating normal logging measurements near groundwater level. In the simulation, we consider all the details of real logging situation, i.e., the presence of wellbore, the tool mandrel with current and potential electrodes, and currentreturn and reference-potential electrodes. We also model the air to include the earth’'s surface in the simulation rather than the customary choice of imposing a boundary condition. To obtain apparent resistivity, we compute the voltage, i.e., potential difference between monitoring and reference electrodes. For the simulation, we use a twodimensional, goal-oriented and high-order self-adaptive hp finite element refinement strategy (h denotes the element size and p the polynomial order of approximation within each element) to obtain accurate simulation results. Numerical results indicate that distortion on the normal logging is greater when the reference potential electrode is closer to the borehole and distortions on long normal logging are larger than those on short normal logging.

• Korean Journal of Remote Sensing
• /
• v.33 no.6_2
• /
• pp.1139-1149
• /
• 2017

Measuring tree's volume is very important input data of various environmental analysis modeling However, It's difficult to use economical and equipment to measure a fragmented small green space in the city. In addition, Trees are sensitive to seasons, so we need new and easier equipment and quantification methods for measuring trees than lidar for high frequency monitoring. In particular, the tree's size in a city affect management costs, ecosystem services, safety, and so need to be managed and informed on the individual tree-based. In this study, we aim to acquire image data with UAV(Unmanned Aerial Vehicle), which can be operated at low cost and frequently, and quickly and easily quantify a single tree using SfM-MVS(Structure from Motion-Multi View Stereo), and we evaluate the impact of reducing number of images on the point density of point clouds generated from SfM-MVS and the quantification of single trees. Also, We used the Watertight model to estimate the volume of a single tree and to shape it into a 3D structure and compare it with the quantification results of 3 different type of 3D models. The results of the analysis show that UAV, SfM-MVS and solid model can quantify and shape a single tree with low cost and high time resolution easily. This study is only for a single tree, Therefore, in order to apply it to a larger scale, it is necessary to follow up research to develop it, such as convergence with various spatial information data, improvement of quantification technique and flight plan for enlarging green space.

• The KIPS Transactions:PartC
• /
• v.14C no.3 s.113
• /
• pp.229-238
• /
• 2007

Sensor networks consist of many tiny sensor nodes that collaborate among themselves to collect, process, analyze, and disseminate data. In sensor networks, sensor nodes are typically powered by batteries, and have limited computing resources. Moreover, the redeployment of nodes by energy exhaustion or their movement makes network topology change dynamically. These features incur problems that do not appear in traditional, wired networks. Security in sensor networks is challenging problem due to the nature of wireless communication and the lack of resources. Several efforts are underway to provide security services in sensor networks, but most of them are preventive approaches based on cryptography. However, sensor nodes are extremely vulnerable to capture or key compromise. To ensure the security of the network, it is critical to develop suity mechanisms that can survive malicious attacks from "insiders" who have access to the keying materials or the full control of some nodes. In order to protect against insider attacks, it is necessary to understand how an insider can attack a sensor network. Several attacks have been discussed in the literature. However, insider attacks in general have not been thoroughly studied and verified. In this paper, we study the insider attacks against routing protocols in sensor networks using the Ad-hoc On-Demand Distance Vector (AODV) protocol. We identify the goals of attack, and then study how to achieve these goals by modifying of the routing messages. Finally, with the simulation we study how an attacker affects the sensor networks. After we understand the features of inside attacker, we propose a detect mechanism using hop count information.

• Geophysics and Geophysical Exploration
• /
• v.9 no.1
• /
• pp.37-43
• /
• 2006

In 2006, the Cooperative Research Centre for Greenhouse Gas Technologies (CO2CRC) plans to undertake (subject to receiving the necessary approvals) a Pilot program for $CO_2$ storage within a depleted gas reservoir. The Otway Basin Pilot Program (OBPP) aims to demonstrate that subsurface $CO_2$ storage is both economically and environmentally sustainable in Australia. This will be the first $CO_2$ storage program in the world to utilise a depleted gas reservoir and, hence, the experience gained will be a valuable addition to the range of international $CO_2$ storage programs that are underway or being planned. A key component of the OBPP is the design of an appropriate geophysical monitoring strategy that will allow the subsurface migration of the $CO_2$ plume to be tracked and to verify that containment has been successful. This paper presents the results from modelling the predicted gravity response to $CO_2$ injection into the Otway Basin reservoir, where the goal was to determine minimum volumes of $CO_2$ that may be detectable using non-seismic geophysical techniques. Modelling results indicate that gravity measurements at 10 m spacing within the existing observation well and the planned $CO_2$ injection well would provide excellent vertical resolution, even for the smallest $CO_2$ volume modelled (10000 tonnes), but resolving the lateral extent of the plume would not be possible without additional wells at closer spacing.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.16 no.1
• /
• pp.155-162
• /
• 2016

In recent years, hoping the interaction of individuals and rather than software development process and tools, and customers want software that works first, rather than a comprehensive document, in cooperation with the customer, rather than the developer negotiate a contract, to each other stick to the plan I think even more so than the value that corresponds to the change. In view of this, software development is given the autonomy and motivation to project team rather than process-oriented and have a passion and vision and human relations oriented management approach is required. In recent years, increasing the productivity benefits of agile development processes, improved quality, efficiency and customer satisfaction as is demonstrated in the methodology selected to promote the project, attention was given to the experts. Contemporary demands with regard to the methodology chosen to meet your needs, in this paper in the organization, and to solve the problems of product-based Cross functional team proposed methodology Feature Team model, this model is an organizational Cross functional team and the team is not the outcome (product) basis, were examined for the model that points to progress the development across multiple product as a functional unit, value-plan through the driven agile technique-based model and proposed a difference. And the domain analysis, required extraction by conventional JAD (joint application development) meeting the targets for the object-oriented modeling, in modeling and organize, review, aware in advance and the UML Structure and Behavior Diagrams and proposed to proceed with the project.