• 디지털융복합연구
• /
• 제10권1호
• /
• pp.357-364
• /
• 2012

소프트웨어의 폐쇄적 지적재산권에 대한 저항으로 자유소프트웨어 운동이 추진되어 라이선스에서 제시한 사항을 이행하는 사람은 누구나 자유롭게 소프트웨어를 이용하고 개작할 수도 있는 오픈소스 소프트웨어가 널리 이용되고 있다. 오픈소스소프트웨어는 제품의 개발시간과 비용을 줄일 수 있고 이를 사용하는 많은 사람들의 검증을 거치게 되므로 개선되고 발전되어 간다. 그러나 이러한 장점과 더불어 무분별한 사용으로 분쟁의 발생위험도 높다. 이에 본 연구에서는 오픈소스 소프트웨어 분쟁 사례를 분석하여 오픈소스소프트웨어의 저작권 침해를 방지하고 적법하게 오픈소스소프트웨어를 이용할 수 있는 사용자 환경을 제시하고자 한다.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제6권1호
• /
• pp.43-50
• /
• 2017

최근 컴퓨터 시스템 내부에 존재하는 웹 브라우저, 운영체제 커널 등에서 Use-After-Free 보안문제가 지속적으로 발생하고 있다. 해당 보안약점은 기존의 보안약점 탐지방법으로 제거하기 어려우며 소프트웨어 내부에 해당 보안약점이 존재할 경우 내부 보안에 심각한 영향을 미친다. 본 논문에서는 소프트웨어 개발 과정에서 해당 보안약점을 제거하기 위한 방안을 연구하였다. 이 과정에서 해당 보안약점의 발생 원인을 정리하고 이를 제거하기 위한 방법을 제시한다.

• EDISON SW 활용 경진대회 논문집
• /
• 제4회(2015년)
• /
• pp.452-459
• /
• 2015

Thanks to the development of applications, many people are using a smart phone cradle these days. But it has some problems. First of all, it is hard to fix on automobiles. Also, it is vulnerable to external vibration. Recognizing these problems, we decided to improve this device by using FreeCAD and ANSYS. Because FreeCAD is newly invented software, we used another 3D modeling software to cover shortages of tools in FreeCAD. Also, we used famous analysis software 'ANSYS' to analyze bending deformation, modal analysis, and harmonic analysis.

• 정보보호학회논문지
• /
• 제27권4호
• /
• pp.803-810
• /
• 2017

최근 소프트웨어 산업의 발달에 따른 사회적 보안 문제가 지속적으로 발생하고 있으며, 소프트웨어 안정성 검증을 위해 다양한 자동화 기법들이 사용되고 있다. 본 논문에서는 소프트웨어 테스팅 기법 중 하나인 동적 기호 실행을 이용해 윈도우 시스템 콜 함수를 대상으로 Use-After-Free 취약점을 자동으로 탐지하는 방법을 제안한다. 먼저, 목표 지점을 선정하기 위한 정적 분석 기반 패턴 탐색을 수행한다. 탐지된 패턴 지점을 바탕으로 관심 밖의 영역으로의 분기를 차단하는 유도된 경로 탐색 기법을 적용한다. 이를 통해 기존 동적 기호 실행 기술의 한계점을 극복하고, 실제 목표 지점에서의 취약점 발생 여부를 검증한다. 제안한 방법을 실험한 결과 기존에 수동으로 분석해야 했던 Use-After-Free 취약점을 제안한 자동화 기법으로 탐지할 수 있음을 확인하였다.

• International Journal of Naval Architecture and Ocean Engineering
• /
• 제13권1호
• /
• pp.466-477
• /
• 2021

There are three different well-known methods for predicting the manoeuvrability of ships: (1) free running model test, (2) direct manoeuvring simulation using CFD and (3) system-based manoeuvring simulation. In this paper, the manoeuvrability of the KVLCC2 was estimated using CFD with rigid body motion and body force propeller method. The free running manoeuvre at the different time steps were also simulated. The yaw checking ability and the turning ability of KVLCC2 were predicted using CFD and could have been confirmed that the IMO criteria was satisfied. When the results were compared with the model test and system-based method, the free running simulation showed better agreement to that of the model test. It could also be confirmed that the results vary depending on the time step. Overall, the CFD results using the body force propeller method estimated most accurately the test results.

• Journal of information and communication convergence engineering
• /
• 제6권1호
• /
• pp.6-9
• /
• 2008

In future domestic context aware applications the location of mobile devices is often required. Ultrasonic technology enables high resolution indoor position measurements. A disadvantage of state-of-art ultrasonic systems is that several base stations are required to estimate 3D position. This study aims to evaluate the efficiency and effectiveness of using UPS as a 3D free-hand writing or drawing tool. The processes include the design and testing of UPS as an efficient 3D free-hand writing or drawing tool in the air. The paper will further explain the system architecture of the UPS and how to use GPS as 3D free-hand writing or drawing tool. The efficiency and effectiveness of the system was confirmed by a computer software simulation. The software will further display the result of drawing or writing from the user by graphics. As a result, it is possible to implement UPS as a 3D free-hand writing or drawing tool in the air.

• Coupled systems mechanics
• /
• 제12권5호
• /
• pp.461-479
• /
• 2023

The paper deals with the finite element modelling of the free vibration and structural behavior of a particular four-floor reinforced concrete structure subjected to static equivalent seismic loads and supported by a shallow foundation system called SNSF (Spider Net System Footing). The two FE models are a simple 2D Matlab model and a detailed 3D model based on solid elastic elements using Altairworks (Hypermesh and Optistruct). Both models can simulate the soil structure interaction. We concentrate on the behavior of a representative cell involving two columns on five levels. The influence of the boundary conditions on the external vertical planes of the domain are duly studied. The Matlab model appears relevant for a primary estimation of frequencies and stiffness of the whole structure under vertical and lateral loads.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2006년도 춘계종합학술대회
• /
• pp.451-454
• /
• 2006

Ultrasonic Positioning System (UPS) is an absolute positioning system using ultrasonic waves and has better performance in low price than the other absolute positioning systems. UPS can be further used as pseudo-satellites in the place where GPS is not available. This study aims to evaluate the efficiency and effectiveness of using UPS as a 3D free-hand writing or drawing tool. The process includes the design and testing of VPS as an efficient 3D free-hand writing or drawing tool in the air. The paper will further explain the system architecture of the UPS and how to use GPS as 3D free-hand writing or drawing tool. The efficiency and effectiveness of the system was confirmed by a computer software simulation. The software will further display the result of drawing or writing from the user by graphics. As a result, it is possible to implement UPS as a 3D free-hand writing or drawing tool in the air.

• International Journal of Computer Science & Network Security
• /
• 제21권7호
• /
• pp.241-248
• /
• 2021

Open-source software developments are basically Internet-based communities that voluntarily collaborate in developing software on the Internet and such Internet communities have become an important cultural and economic phenomenon. As a result, the emergence of open-source software has presented a challenge to the traditional offerings by providing free alternatives. The objective of this article is to review the possibility of the adoption of open source software in the creation of digital libraries, highlights advantages and disadvantage preservations. Among our objective also explaining the request of such software at the present time and the criteria evaluated in the digital preservation through surveying the best open source software from the reality of intellectual production, and standards that are being built to evaluate and choose what software to create a digital library without other software available. To achieve the above objectives, we shed the light on the top 11 open-source software to manage Libraries in addition to standards that may represent the basic building block for the selection of the appropriate systems to the needs of the digital library. This article relied on the descriptive approach by reviewing a series of studies and scientific research works related to the subject of the current study. Accordingly, the most prominent of the findings of this work is its illustration of the close association between open source software and the library community, both of which represent free culture. Also it is shown that the selection process of open source software has some obstacles most notably as there are no clear and reliable criteria for selecting these systems. Current study has concluded a set of recommendations, notably awareness of the role and importance of open source software and the facilities it provides in managing digital content.

• 대한기계학회논문집
• /
• 제19권8호
• /
• pp.1832-1843
• /
• 1995

Tool interference is one of the most critical problems in sculptured surface machining. When machining cavities and concaves, the tool frequently overcuts the portions of the surface, which cause inaccuracy in machining. So tool interference-free paths must be generated for rough cutting more efficiently. In this paper a software using SSI(Surface/Surface intersection) algorithm is developed for eliminating tool interference which occurs in an offset surface in 3-dimensional free form surface modeling. this work consists of two stages : using the offset data, the intersection curves are rapidly checked by this algorithm at the first stage. CL(cutter location) data are obtained by deleting the loop section of intersected offset patches at the second stage. This algorithm can reduce the amount of memory required to store machining data and also easily check region which have the possibility of intersection. Also, This software is verified to be useful in machining a curved object on a DNC milling machine.