• 정보보호학회논문지
• /
• 제31권3호
• /
• pp.509-516
• /
• 2021

이행성 서명 기법은 이행적으로 닫혀있는 그래프에서 간선들을 인증하는 경우 매우 유용하게 사용될 수 있는 기법이다. 다시 말하면, 간선 (i, j)에 대한 인증 값이 있고, 간선 (j, k)에 대한 인증 값이 있을 때, 해당 인증 값을 이행성 서명을 통해 생성하게 되면 간선 (i, k)에 대한 인증 값도 별도의 인증 절차 없이 바로 계산할 수 있게 된다. 본 논문에서 우리는 공개키가 난수 형태가 아닌, ID 구조를 가지는 이행성 서명 기법을 처음으로 설계한다. 우리가 설계한 기법은 래티스의 어려운 문제에 기반을 두고 설계되었다.

• 터널과지하공간
• /
• 제15권4호
• /
• pp.243-249
• /
• 2005

터널 굴착 시 최근 사용이 늘어난 격자지보(lattice girder)의 구조적 거동분석을 위해 유한요소해석 프로그램인 MIDAS를 이용하여 하중 조건, 재하 방법, 지보재의 형상을 달리하여 해석하였다. 격자지보의 시공 최적 조건을 제시하였다.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2001년도 가을 학술발표회 논문집
• /
• pp.337-344
• /
• 2001

This paper is concerned with the change of joint rigidity in estimating the degree of semi-rigidity of connections and the buckling load in a single layer latticed dome. The estimations are based on information about the ratio for the rotational stiffness of the connection to the flexural stiffness of the member and the minimum eigenvalue of a structure for pinned, semi-rigid and completely rigid cases, respectively. Connection characteristics are reflected in the ratio control of joint rigidity for the DOFs to be related using the spring element by FEM.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
• /
• pp.343-345
• /
• 2001

요약해석(abstract interpretation)이란 래티스(lattice)로 표현되는 요약된 공간에서 프로그램을 수행함으로써 프로그램의 성질을 분석하는 방법이다. 요약해석에서 프로그램의 분석 결과는, 정보가 없는 상태에서 시작하여 더 이상 정보의 증가가 없을 때까지 프로그램을 반복해서 수행함으로써 얻어지는 고정점(fixpoint)에 의하여 표현된다. 본 연구에서는 이러한 고정정 계산의 속도를 높이기 위하여 이전 반복의 계산 결과를 최대한 이용하는 방법을 제시한다. 그리고 제시된 방법을 상수 및 이명 분석의 구현에 적응하여 실제로 분석 속도가 증가함을 보였다.

• 한국공간구조학회:학술대회논문집
• /
• 한국공간구조학회 2008년도 춘계 학술발표회 논문집
• /
• pp.119-124
• /
• 2008

대공간 구조물은 3차원적인 힘의 흐름과 면내력에 의해 외부하중에 대한 저항 능력을 극대화 시킨 형태 저항 구조로서, 일반적인 골조와는 달리 부재에 대한 유한 변형을 동반 하므로 정적, 동적 해석에 관계없이 비선형 해석이 요구 된다. 대공간 구조물의 정확한 구조 해석을 수행하기 위해서는 기하학적 비선형 및 재료적 비선형 뿐 아니라 복합적인 비선형 해석이 필요하다. 기하학적 비선형 문제가 구조재료의 특성 및 위치에 따른 비선형을 고려하지 못하고, 구조재료의 비선형 문제가 기하학적 형상에 따른 비선형을 고려하지 못한다는 상호간의 단점을 해결하기 위하여, 본 논문에서는 동일조건하에서 기하학적 비선형과 재료적 비선형을 함께 고려하며, 범용 유한요소 해석 프로그램인 ABAQUS를 이용하여 하중-변위 곡선을 추적하였다.

• 한국정보과학회논문지:데이타베이스
• /
• 제32권3호
• /
• pp.326-333
• /
• 2005

많은 XML 응용들은 XML 문서에 대한 질의 언어로 XPath 패턴을 사용한다. XPath 패턴들 사이에는 포함 관계가 존재할 수 있으며, 하나의 XPath 패턴이 다른 XPath 패턴을 포함하는지를 결정하는 문제를 포함 문제라고 한다. 포함 문제는 많은 응용들에서 발생하고 있지만 co-NP complete 문제로 알려져 있다. 한편 XPath 패턴들 사이의 준동형 관계는 포함 관계의 충분 조건이면서 다항 시간에 얻을수 있다. 본 논문에서는 준동형 문제가 포함 문제를 대체하여 유용하게 쓰일 수 있는 응용들에 대해 논의하고, XPath 패턴들 사이의 준동형 정보를 유지하면 많은 이점을 얻을 수 있다는 사실에 대해 논의한다. 그리고 XPath 패턴들 사이의 준동형 관계를 유지하기 위하여 POX(Partially Ordered Set of XPath Patterns)라는 래티스 구조를 제안하고, 그것을 유지할 수 있는 알고리즘을 개발한다. 알고리즘 분석을 보면 알 수 있듯이, 본 논문에서 제안하는 알고리즘은 다항 시간에 POX를 효율적으로 유지할 수 있다.

• 한국구조물진단유지관리공학회 논문집
• /
• 제14권6호
• /
• pp.220-228
• /
• 2010

일체형 삼각 트러스 형태의 철선을 아연도금 강판에 용접한 철선일체형 데크 플레이트는 슬래브 시공 시 현장시공 최소 및 동바리와 지보공 등 거푸집 공사비 절감을 목적으로 개발되어 이미 많은 현장에 적용되고 있다. 본 연구에서는 철선일체형 데크 플레이트 시스템의 구조성능 평가를 위해 상부철선, 하부철선, 래티스 철선, 경간, 단부가공방법을 변수로 채택하여 총 32개의 시험체를 실물크기로 제작하여 실험적 연구를 수행하였다. 연구결과 시험체의 최종파괴형태 변화 및 단부가공방법이 시험체의 구조 성능에 영향을 미치지 않는 것으로 나타났으며, 경간 3.2m 시험체는 래티스 철선으로 ${\Phi}4.5$를 사용해도 큰 무리가 없는 것으로 나타났다.

• 한국공간구조학회논문집
• /
• 제10권4호
• /
• pp.67-74
• /
• 2010

대공간 구조형식을 갖는 단층 래티스 돔은 역학성, 가능성, 심미성 등을 갖는 구조물로서 그 용도가 점점 확대되고 있다. 단층 래티스 돔의 골조 격자 패턴은 무수히 존재하며, 그 대표적인 패턴에는 삼각형, 사각형, 육각형, 라멜라형, 리브형 등이 있다. 대공간 구조물의 경우, 일반구조물과 달리 재래적인 공법으로 지붕 골조를 시공할 경우 많은 가설재가 소요됨으로 시공비 증가가 예상된다. 따라서 대공간 구조물의 지붕 골조 설치는 특수 Erection 공법에 의하는 것이 일반적이며, 그 중 지상에서 지붕골조를 설치 후 jack-up 서포트에 의해 골조를 인양하는 Step-Up 공법을 적용할 경우 공기와 공비의 대폭적인 절감이 예상된다. 따라서 본 논문의 목적은 Step-Up 공법에 의해 단층라멜라 돔의 지붕골조를 시공할 경우, 인양 중 가설 서포트 개수와 위치에 따른 좌굴특성을 검토하는 것이다. 연구 결과 서포트 개수 및 위치에 따른 단층라멜라 돔의 다양한 좌굴 특성에 관한 실무자를 위한 기초적인 자료를 얻을 수 있었다.

• 한국구조물진단유지관리공학회 논문집
• /
• 제17권5호
• /
• pp.40-48
• /
• 2013

에코 데크 플레이트 시스템은 철선일체형 거더와 아연도금 강판을 볼트에 의해 일체화시키기 때문에 기존에 용접에 의해 제작된 철선일체형 데크 플레이트에 비해 친환경 및 우수한 공법으로 인정받고 있다. 본 연구에서는 에코 데크 플레이트의 구조적 거동을 평가하기 위해 12가지 형태의 시험체를 동일한 조건으로 2개씩 총 24개의 시험체를 실물크기로 제작하여 실험적 연구를 수행한다. 실험결과 시공하중 작용에 대한 허용 처짐은 설계값 이내의 값을 나타내 만족하는 것으로 나타났으며, 래티스 철선의 가공은 아래로 향하게 절단해 제작하는 것이 구조적으로 유리한 것으로 나타났다. 또한, 하부철선으로 D13을 사용한 시험체의 경우에는 하부철선과 래티스 철선의 용접부위에서 파괴가 발생해 공장 제작 시 용접에 대한 개선안의 마련이 필요하다.

• 한국공간구조학회논문집
• /
• 제3권4호
• /
• pp.69-76
• /
• 2003

In case of rectangular latticed pattern which shearing rigidity is very small, it has a concern to drop Buckling-strength considerably by external force. So, by means of system to increase buckling-strength, there is a method of construction that lattice of dome is reinforced by braced member. In a case like this, shearing rigidity of braced member increase buckling-strength of the whole of structure and can be designed economically from the viewpoint of practice. Therefore, this paper is aimed at investigating how much does rigidity of braced member united with latticed member bearing principal stress of dome increase buckling-strength of the whole of structure. the subject of study is rectangular latticed domes that are a set of 2-way lattice dome which grid is simple and number of member gathering at junction is small. Analysis method is based on FEM dealing with the geometrically nonlinear deflection problems.