• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제11권1호
• /
• pp.396-413
• /
• 2017

Dynamically checking the integrity of software at run-time is always a hot and difficult spot for trusted computing. Control-flow integrity is a basic and important safety property of software integrity. Many classic and emerging security attacks who introduce illegal control-flow to applications can cause unpredictable behaviors of computer-based systems. In this paper, we present a software-based approach to checking violation of control flow integrity at run-time. This paper proposes a high-performance and low-overhead software control flow checking solution, control flow checking at virtual edges (CFCVE). CFCVE assigns a unique signature to each basic block and then inserts a virtual vertex into each edge at compile time. This together with insertion of signature updating instructions and checking instructions into corresponding vertexes and virtual vertexes. Control flow faults can be detected by comparing the run-time signature with the saved one at compile time. Our experimental results show that CFCVE incurs only 10.61% performance overhead on average for several C benchmark programs and the average undetected error rate is only 9.29%. Compared with previous techniques, CFCVE has the characteristics of both high fault coverage and low memory and performance overhead.

• Journal of electromagnetic engineering and science
• /
• 제13권1호
• /
• pp.16-21
• /
• 2013

This study presents the angular effects of virtual vertices inserted for effective treatment of the boundary edge laid on an infinite conducting surface in a half-space scattering problem. We investigated the angular effects of virtual vertices by first computing the radar cross section (RCS) of a specific scatterer; i.e., a tilted conducting plate in contact with the ground surface, by inserting the virtual vertex in half-space. Here, the electric field integral equation is used to solve this problem with various virtual vertex angles (${\theta}_{\nu}$) and conducting plate inclination angles (${\theta}_r$) ranging from $0^{\circ}$ to $180^{\circ}$. The effects of the angles ${\theta}_{\nu}$ and ${\theta}_r$ on the RCS computation are clearly shown with numerical results with and without the virtual vertices in free- and half-spaces.

• 한국CDE학회논문집
• /
• 제11권6호
• /
• pp.403-411
• /
• 2006

NURBS surfaces have been widely used in engineering design since it can create a smooth surface using minimal numbers of data. But deformation of the surfaces is quite difficult especially for the detailed modification. Also, NURBS surface deformation processes need many inputs, and it is not easy to be implemented in 3D virtual system. In this paper, both the surface trimming and multi-resolution surface are used for the detailed sculpting including sharp edges of NURBS surface. QuadTree is used to separate cleanly the target surface with the surface for sculpting effect. Simple user strokes are also used for the sculpting target curves and GOMS(Goals, Operators, Methods, Selection Rules) model is applied to verify the efficiency of the proposed sculpting process.

• Journal of Electrical Engineering and Technology
• /
• 제9권3호
• /
• pp.1016-1022
• /
• 2014

Kinect is a motion sensing camera released by Microsoft in November 2010 for the Xbox360 that is used to produce depth and color images. Because Kinect uses an infrared pattern, it generates holes and noises around an object's boundaries in the obtained images. The flickering phenomenon and unmatched edges also occur. In this paper, we propose a real time virtual-view video synthesis algorithm which results in a high quality virtual view by solving these problems stated above. The experimental results show that the proposed algorithm performs much better than the conventional algorithms.

• 정보처리학회논문지A
• /
• 제16A권6호
• /
• pp.509-518
• /
• 2009

본 논문에서는 입력 선분들 상에 위치하며, 이들을 일정한 길이로 분할하는 가상 노드 포탈을 이용하여 입력 선분들을 모두 연결하는 근사 선분 최소 신장 트리를 빠른 시간 내에 찾는 방법을 제안한다. 이 근사 선분 최소 신장 트리는 통신선, 도로 및 철도망의 연결 등에 활용될 수 있다. 3000개의 입력 선분에 대해 제안된 방법으로 생성된 근사 트리는, 포탈 간격이 0.3인 경우에 최적 선분 최소 신장 트리와 비교하여 1.8% 의 길이가 증가한 반면에 트리 생성 시간은 29.74%의 감소를 보였고, 0.75의 경우 2.96%의 길이의 증가와 39.96%의 트리 생성 시간의 절감을 보였다. 이는 약간의 길이 증가를 허용하면서 짧은 시간 내에 선분 연결 트리를 생성해야 하는 응용에 잘 적용될 수 있음을 보인다. 또한 제안 된 방법은 포탈 간격, 포탈 포기 비율 등을 외부 인자로서 조절하여, 목적에 따른 트리 길이 또는 트리 생성 시간에 중점을 둔 근사 선분 최소 신장 트리 생성이 가능함을 보인다.

• 제어로봇시스템학회논문지
• /
• 제22권11호
• /
• pp.877-882
• /
• 2016

Disaster robots have accepted tele-operation in order to share the intelligence of human operators and robot systems. Virtual wall is one of the tele-operation technology to support recognition of human operator. If the virtual wall can block the robot from dangers, the operator will feel comfortable and can concentrate on fundamental missions. In this paper, we proposes and compares three methods for virtual wall visualization in tele-operation using 3D reconstruction. First is a virtual wall visualized only with edges. A wall filled with transparent color is the second method. Finally, third method is a texture-mapped virtual wall. In the experiments, we discuss their merits and demerits in view of robot tele-operation.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2008년도 추계학술대회A
• /
• pp.652-657
• /
• 2008

A stress distribution of composite laminates patches is obtained by using the Kantorovich method when the substrate is under uniaxial load. The analysis is based on the stress function approach and uses the complementary virtual work principle. The three-dimensional stresses satisfy the traction free conditions at the free edges and the top surfaces of the patch. The stress of the bottom surfaces of the patch is obtained from equilibrium equation of patch and substrate. To demonstrate the efficiency and validity of the proposed analysis, numerical examples for cross-ply and quasi-isotropic laminates are included. The present method provides accurate stresses in the interior and near the free edges of composite laminate patches.

• 동력기계공학회지
• /
• 제14권3호
• /
• pp.52-57
• /
• 2010

Interlaminar stresses near the free edges of composite laminates have been analyzed considering wall effects. Interface modeling of bonding layer was introduced to explain the wall effect. Using Lekhnitskii stress functions and the principle of complementary virtual work, the interlaminar stresses were obtained, which satisfied the traction free boundary conditions not only at the free edges, but also at the top and bottom surfaces of laminates. The interface modeling provides not singular stresses but concentrated finite interlaminar stresses. The significant amount of reductions of stresses at the free edge are observed compared to the results without interface modeling. The real stress state can be predicted accurately and the results demonstrate the usefulness of the proposed interface modeling for the strength design of composite laminates.

• 한국CDE학회논문집
• /
• 제2권4호
• /
• pp.253-266
• /
• 1997

Pencil-curve machining, which is a single-pass ball-end milling along a concave edge on adie surface, is widely employed in die-surface machining. The cutter-path used for pencil-curve machining, which is the trajectory of the “ball-center point” of a ball-endmill sliding along a concave-edge region on the die surface, is called pencil-curve. Presented in the paper is a pencil-curve tracing algorithm in which “concave-type” sharp edges are computed from a “virtually digitized” model of the tool-envelope surface. The resulting “initial” pencil-cures are then refuted by applying a series of fairing operations. illustrative examples and methods for enhancing accuracy are also presented. The proposed pencil-curve tracing algorithm has been successfully implemented in a commercial CAM system specialized in die-machining and in the CAD/CAM system CATIA.

• Journal of Electrical Engineering and Technology
• /
• 제11권1호
• /
• pp.234-240
• /
• 2016

We propose a novel framework for markerless camera-based games. By using a visual camera, our method may yield robust human body segmentation with high performance comparable to the segmentation using depth cameras. The edges of human bodies are detected by subtracting gradient backgrounds, and human body regions are segmented by the operations based on mathematical morphology. Collisions between detected regions and virtual objects are determined by finding the colliding time using intra-frame positions of virtual objects. Experimental results show that the proposed method may produce robust segmentation of human bodies, thereby and the collision responses are more accurate than previous methods. Therefore, the proposed framework can be widely used in camera-based games requiring high performance.