• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.29 no.5
• /
• pp.1039-1048
• /
• 2019

Symbolic execution, an automatic search method for vulnerability verification, has been technically improved over the last few years. However, it is still not practical to analyze the program using only the symbolic execution itself. One of the biggest reasons is that because of the path explosion problem that occurs during program analysis, there is not enough memory, and you can not find the solution of all paths in the program using symbolic execution. Thus, it is practical for the analyst to construct a path for symbolic execution to a target with vulnerability rather than solving all paths. In this paper, we propose a static analysis - based backward CFG(Control Flow Graph) generation technique that can be used in symbolic execution for program analysis. With the creation of a backward CFG, an analyst can select potential vulnerable points, and the backward path generated from that point can be used for future symbolic execution. We conducted experiments with Linux binaries(x86), and indeed showed that potential vulnerability selection and backward CFG path generation were possible in a variety of binary situations.

• Journal of the Korean Institute of Landscape Architecture
• /
• v.38 no.2
• /
• pp.119-129
• /
• 2010

This study concerns the design strategy for the waterside of Gyeong-In Ara Waterway, Korea’s first constructed canal. This design focused on the creation of a new paradigm for waterway landscapes the major factors of which were geographical advantage, value of landscape and efficient approach. As the major space plan for the waterfront formed through the Gyeong-In Ara waterway from the Yellow Sea to the Han River, eight good views of the waterfront zone were designed by utilizing the waterway as a scenery viewpoint and, by constructing two traffic lanes for the scenic parkway connecting Incheon and the Gimpo terminal, both a linear greenway as well as various waterfront facilities were also designed. A boardwalk and bike path connecting the major theme parks were planned, and a waterfront pocket park was then organized based on the bike path. In this study, the result of the new waterfront result from the Gyeong-In Ara waterway was planned to have an identity as a new waterside culture space in order to achieve multiple functions including environmental, cultural, leisure, and tourism as well as management programs based on a variety of applied culture content and story-telling.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.15 no.3
• /
• pp.250-256
• /
• 2012

Unmanned ground vehicles may be operated by remote control unit through the wireless communication or autonomously. However, the autonomous technology is still challenging and not perfectly developed. For some reason or other, the wireless communication is not always available. If wireless communication is abruptly disconnected, the UGV will be nothing but a lump of junk. What was worse, the UGV can be captured by enemy. This paper suggests a method, autonomous return technology with which the UGV can autonomously go back to a safer position along the reverse path. The suggested autonomous return technology for UGV is based on multi-correlated information based DB creation and matching. While SUGV moves by remote-control, the multi-correlated information based DB is created with the multi-sensor information; the absolute position of the trajectory is stored in DB if GPS is available and the hybrid MAP based on the fusion of VISION and LADAR is stored with the corresponding relative position if GPS is unavailable. In multi-correlated information based autonomous return, SUGV returns autonomously based on DB; SUGV returns along the trajectory based on GPS-based absolute position if GPS is available. Otherwise, the current position of SUGV is first estimated by the relative position using multi-sensor fusion followed by the matching between the query and DB. Then, the return path is created in MAP and SUGV returns automatically based on the MAP. Experimental results on the pre-built trajectory show the possibility of the successful autonomous return.

• Journal of Satellite, Information and Communications
• /
• v.12 no.1
• /
• pp.76-80
• /
• 2017

With the fast growing popularity of small UAVs (Unmanned Aerial Vehicles), recent UAV systems have been designed and utilized for the various field with their own specific purposes. UAVs are opening up many new opportunities in the fields of electronics, sensors, camera, and software for pilots. Increase in awareness and mission capabilities of UAVs are driving innovations and new applications driven with the help of low cost and its capability in undertaking high threat task. In particular, small unmanned aerial vehicles should fly in environments with high probability of unexpected sudden change or obstacle appearance in low altitude situations. In this paper, current researches regarding techniques of autonomous flight of smal UAV systems are introduced and we propose a draft idea for planning paths for small unmanned aerial vehicles in adversarial environments to arrive at the given target safely with low cost sensors.

• Journal of the Economic Geographical Society of Korea
• /
• v.23 no.1
• /
• pp.110-123
• /
• 2020

The advanced industrial economies have been suffering from rapid de-industrialization since the 1970s. In order to overcome such crisis, many countries have attempted to establish science parks and technopoles. Sophia Antipolis in France is one of the best examples of the worldly known technopoles, which was launched in the late 1960s. However, earlier evaluations on the technopole were not positive, while there were no dynamic innovative activities among institutions and firms of the technopole at least up to the early 1990s. While some changes in such circumstance have been observed since then, this paper attempts to investigate the changes and transformations occurring from the technopole since the late 1990s. Based on the review of the recent publications, statistics and expert interviews, the current paper concludes that Sophia Antipolis has been transformed into a dynamic and innovative technopole.

• Spatial Information Research
• /
• v.17 no.3
• /
• pp.251-259
• /
• 2009

As a result of the current trend towards promoting conservation of the ecosystem, there have been various studies conducted to determine ways to establish an ecological network. The development of analytical methods and an environmental database of GIS has made the creation of this network more efficient. This study focuses on the development of an urban spatial decision support system based on 'Landscape Ecology Theory'. The spatial decision support system suggested in this study consists of four stages. First, landscape patch for the core areas, which are major structures of the ecological network, was determined using the GIS overlay method. Second, a forest habitat was investigated to determine connectivity assessment. Using the gravity model, connectivity assessment at the habitat forest was conducted to select the needed connecting area. Third, the most suitable corridor routes for the eco-network were presented using the least-cost path analysis. Finally, a brief investigation was conducted to determine the conflict areas between the study result and landuse. The results of this study can be applied to urban green network planning. Moreover, the method developed in this study can be utilized to control urban sprawl, promote biodiversity.

• International Area Studies Review
• /
• v.16 no.3
• /
• pp.27-51
• /
• 2012

Among the hypotheses regarding the internal process of industrialization, the debates about 'labor-surplus' model have been intensive. The basic idea of this neoclassical theory is that industrial development is brought about by the transfer of the unlimited cheap labor to the modern sector, and thus, under the labor-surplus situation labor-using technologies should be used for industrialization. Fei and Rannis attempted to confirm this theory by applying it to the Japanese economy. The purpose of this paper is to study whether the theory can be applied to Korean economic development. The neoclassical dualistic model which was designed by Kelly and Williamson was utilized. Simulating Korea's major economic variables for the period of 1965-1992 by using computable general equilibrium (CGE) model, we found that there are significant differentials between the simulation and the actual data. It suggests that Korea's economic development has not followed the neoclassical path -- creation of comparative advantage on the basis of market force.

• Korean Journal of Computational Design and Engineering
• /
• v.5 no.2
• /
• pp.144-154
• /
• 2000

We propose an algorithm for obtaining a triangular approximation of a trimmed NLRBS surface. Triangular approximation is used in the pre-processing step of many applications such as RP(Rapid Prototyping), NC(Numerical Control) and FEA(Finite Element Analysis), etc. The algorithm minimizes the number of triangular elements within tolerance and generates a valid triangular mesh for STL file and NC tool path generation. In the algorithm, a subdivision method is used. Since a patch is a basic element of triangular mesh creation, boundary curves of a patch are divided into line segments and the division of curves is applied for the interior of the surface. That is, boundary curves are subdivided into line segments and two end points of each line segment are propagated to the interior of the surface. For the case of a trimmed surface, triangulation is carried out using a model space information. The algorithm is superior because the number of elements can be controlled as the curvature of the surface varies and it generates the triangular mesh in a trimmed region efficiently. To verify the efficiency, the algorithm was implemented and tested for several 3D objects bounded by NURBS surfaces.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.16 no.5
• /
• pp.55-61
• /
• 2016

For the purpose of video security equipment is to protect personal property and life against from terrorism or recent threats. In this study, if you proceed with the recorded data search, we propose a method for increasing the user's search convenience. It has predefined data structure which is between camera's movement path and relationship. Also, design and implement a tool that automatically generates a files which has inter camera related information on the control center in a multi-camera is installed environment. Using generated file, minimize searching time and increase searching efficiency.

• Architectural research
• /
• v.4 no.1
• /
• pp.53-61
• /
• 2002

The typical Critical Path Method (CPM) leaves it to the construction managers to overcome two problems in developing networks. First, the construction manager needs to prepare information on the type of activities and their precedence relations in order to develop a network schedule. Second, he or she can include space information into the network schedule such as the locations where the activities take place, only with difficulty. These two problems make it difficult for an inexperienced person to create a network. The purpose of this paper is to provide construction managers with set equations of creating a network schedule for multiunit projects. A space-resource combined network creation are presented in this paper, which includes equations for generating a list of required activities, their precedence relations, and information on their location. Information on the space (location) and the resource is the required data for this method. Based on this information, this method divides a project into a number of activities so that each activity contains the information on the location where the activity takes place and the principal resource required for that activity. Precedence relations are then obtained from the sequence of space and resource. This method has the potential to reduce human efforts in scheduling activities.