• 제목/요약/키워드: Branch flow

검색결과 449건 처리시간 0.028초

제어 흐름 무결성 검증을 위한 간접 분기 주소의 효과적인 비교 (Effective Comparison of Indirect Branch Addresses for Checking Control-flow Integrity)

  • 김태환;성인형;한경숙;표창우
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(A)
    • /
    • pp.86-88
    • /
    • 2012
  • 코드 포인터 공격을 이용한 제어 흐름은 실행 중에 간접 분기의 무결성을 검사하는 것으로 보호할 수 있다. 간접 분기는 반복되는 목적지 주소로의 분기인 경우가 많지만, 목적지 주소는 실행 시간에만 알 수 있기 때문에 여러 가지 예외적인 상황을 적절히 대처할 방법이 필요하다. 본 논문에서는 동적 이진 계측화를 활용하여 실행 중 발생하는 간접 분기를 분석하고, 수집한 주소들을 빠르게 비교하는데 효과적인 주소 비교 기법들을 제시한다. 또한 각 기법을 비교하여 프로그램에 따라 주소 비교의 효율성을 극대화하는 방안을 모색하였다. 이러한 기법을 통해 간접 분기가 야기하는 여러 문제점에서부터 보안 분야에 이르기 까지 활용 범위를 넓힐 수 있을 것으로 기대한다.

Concrete compressive strength prediction using the imperialist competitive algorithm

  • Sadowski, Lukasz;Nikoo, Mehdi;Nikoo, Mohammad
    • Computers and Concrete
    • /
    • 제22권4호
    • /
    • pp.355-363
    • /
    • 2018
  • In the following paper, a socio-political heuristic search approach, named the imperialist competitive algorithm (ICA) has been used to improve the efficiency of the multi-layer perceptron artificial neural network (ANN) for predicting the compressive strength of concrete. 173 concrete samples have been investigated. For this purpose the values of slump flow, the weight of aggregate and cement, the maximum size of aggregate and the water-cement ratio have been used as the inputs. The compressive strength of concrete has been used as the output in the hybrid ICA-ANN model. Results have been compared with the multiple-linear regression model (MLR), the genetic algorithm (GA) and particle swarm optimization (PSO). The results indicate the superiority and high accuracy of the hybrid ICA-ANN model in predicting the compressive strength of concrete when compared to the other methods.

The Monitoring Comparative Results of Floodplain Ecosystems in Regulated and Natural Part of the Danube River (Geisling-Passau)

  • Kouzmina, Janna;Treshkin, Sergey;Henrichfreise, Alfons
    • The Korean Journal of Ecology
    • /
    • 제27권4호
    • /
    • pp.211-216
    • /
    • 2004
  • The complex ecological researches were made in the broad-leaved forest zone of Central Europe in nature reserves and national parks located on the banks of the river (hydrology, vegetation, soils, unconfined ground waters). The natural conditions of terrestrial ecosystems and natural sites were compared along the course of the rivers. The significant negative influence of low-dammed (low-confined hydrotechnic) construction and small reservoirs on vegetation and soils of floodplain was revealed. On the basis of analysis of mean annual water level and flow trends on the multi-years series (60-100 years) of the hydrometric stations on the rivers under consideration the significant influence of natural long-term variability of watering on vegetation dynamics in the floodplains was revealed.

사출금형의 러너시스템 형상에 따른 균형 충전도 (Degree of Filling Balance according to Runner Shapes in Injection Mold)

  • 한동엽;정영득
    • Design & Manufacturing
    • /
    • 제6권1호
    • /
    • pp.52-57
    • /
    • 2012
  • Aspect of filling imbalance that is originated from imbalanced share rate in runner is changed by material property, runner layout that are factors of changing viscosity and by injection pressure, injection speed, melt temperature and mold temperature that are injection conditions. In this paper, we made a study of runner system that is one of factor of filling imbalance and Sharp Conner Effect and Groove Corner Effect that are recently released. The study are showed that filling rate of between inside and outside cavity was influenced on shape of runner. Also, we suggested runner system for filling imbalance by adapting the two effects at multi cavity of unary branch type and theoretical investigated flow in the Shrap Conner runner type.

  • PDF

Remote sensing images and interpretation for 'Reverse Difference' phenomenon of the marine sediments At the CaMau tongue (extreme South Vietnam - Mekong Basin)

  • 황강수;권승준;김용일
    • 대한원격탐사학회:학술대회논문집
    • /
    • 대한원격탐사학회 2003년도 Proceedings of ACRS 2003 ISRS
    • /
    • pp.682-686
    • /
    • 2003
  • This paper is concerned with 'reverse difference' of marine sediments at the Camau tongue in the extreme south of Vietnam. We demonstrate the importance of remote sensing in geomorphology and marine geological application, using only visual evaluation and some data-processing techniques. In this paper, about 10,000 km$^2$ of the territorial water in the extreme south of Vietnam is being studied. We show that form and behavior of Mekong and its branch can be determined by visually interpreting remote sensing images and using ERDAS IMAGE 8.5 software. Besides, the 'reverse difference' phenomenon is explained by flows of Mekong river and its branches.

  • PDF

대전 DS피부과 인테리어 계획 (Interior Project of Daejeon DS Skin Clinic)

  • 김석영
    • 한국실내디자인학회:학술대회논문집
    • /
    • 한국실내디자인학회 2006년도 추계학술발표대회 논문집
    • /
    • pp.179-182
    • /
    • 2006
  • This project is for a Branch clinic of DS Skin Clinic who currently runs two other skin clinics in Daejeon Province. The major consideration of the project is to provide the high quality space appropriate for the unique medical services compared to any other skin clinics. The concept of the design is 'spaciousness of the past' and actual design elements used in this space is 'Frame', 'Smooth Traffic Pattern', 'Eye Flow', 'Faded looking finishes and colors of material' Overall space is divided into 2 areas, which are Dermatology Department providing medical service and Skin Clinic Department providing skin and body care. Those 2 areas are connected to each other through a circular reception area for administration, storage, and public area.

  • PDF

탄성기초 위에 놓인 파이프의 동적 안정성에 미치는 말단 질량의 영향 (The Effect of a Tip Mass on Dynamic Stability of Pipes on Elastic Foundations)

  • 류봉조;김건희
    • 한국소음진동공학회논문집
    • /
    • 제14권11호
    • /
    • pp.1115-1122
    • /
    • 2004
  • The paper discussed the effect of a tip mass on the stability of pipes on elastic foundations. Governing equations of motion are derived by extended Hamilton's principle, and the numerical scheme using finite element method is applied to obtain the discretized equations. With or without internal damping, the critical flow velocities of the pipes are investigated according to the variation of elastic foundation parameters and tip mass ratios. Also. the relationship between the eigenvalue branches and the corresponding flutter modes of the cantilevered pipes with a tip mass on the elastic foundations is fully investigated.

DESIGN AND IMPLEMENTATION OF V-GIS EVENT PROCESSING SYSTEM

  • Lee, Moon-Soo;Kim, Ju-Wan
    • 대한원격탐사학회:학술대회논문집
    • /
    • 대한원격탐사학회 2008년도 International Symposium on Remote Sensing
    • /
    • pp.266-269
    • /
    • 2008
  • Urban is more intelligent continuously with the help of the convergence with IT technology. And it requires an integrated control system, which can manage urban facilities or monitor large-scale events based on GIS data, to provide its citizen with various ubiquitous services such as u-Health, u-Traffic, context-awareness etc. In order to realize the intelligent city geo-sensors that have the functionalities of generic sensing as well as location awareness will be established everywhere in the near future. Our system we presented have a rule engine to handle a atomic event as well as complex events that contain control flow or branch among them. And it can allow for visualization and monitoring the results through KML (Keyhole Mark-up Language) in the Google Maps. This paper describes au-GIS event processing system that can deal effectively with u-GIS events coming from various geo-sensor data in ubiquitous computing environments.

  • PDF

수정블럭 모델 법에 의한 배전계통의 최적운용에 관한 연구 (A study on the Optimal Operation of Distirbution System Using the Modified Block Model Method)

  • 송길영;홍상은;김재영
    • 대한전기학회논문지
    • /
    • 제36권4호
    • /
    • pp.231-239
    • /
    • 1987
  • Distribution system is one of large and complicated sytem, consisted of a great number of components. Therefore efficient operation based on precise analysis and computation methods is indispensable accommodating growing loads. This paper describes an optimal operation problem to relieve overload flow in radial distribution systems by using modified block model. The problem is formulated as a network problem of synthesizing the optimal spanning tree in a graph, branch and bound method is used for the optimization. Especially modified block model proposed in this paper is validated more practical than conventional model. These methods can be applied to two types of distribution system problems such as, 1) planning problem to check the capability of relieving overload at normal rating, 2) emergency operation problem to determine switching scheme for minimizing customer loads affected by a fault. Examples of application to these problems are discussed.

  • PDF

말단질량을 갖는 외팔 송수관의 고유치 분기와 플러터 모드 (Eigenvalue Branches and Flutter Modes of a Cantilevered Pipe Conveying Fluid and Having a Tip Mass)

  • 류봉조;류시웅;이종원
    • 한국소음진동공학회논문집
    • /
    • 제13권12호
    • /
    • pp.956-964
    • /
    • 2003
  • The paper describes the relationship between the eigenvalue branches and the corresponding flutter modes of cantilevered pipes with a tip mass conveying fluid. Governing equations of motion are derived by extended Hamilton's principle, and the numerical scheme using finite element method is applied to obtain the discretized equations. The flutter configurations of the pipes at the critical flow velocities are drawn graphically at every twelfth period to define the order of quasi-mode of flutter configuration. The critical mass ratios, at which the transference of the eigenvalue branches related to flutter takes place. are definitely determined. Also, in the case of haying internal damping, the critical tip mass ratios, at which the consistency between eigenvalue braches and quasi-modes occurs. are thoroughly obtained.