• 대한인간공학회:학술대회논문집
• /
• 대한인간공학회 1995년도 춘계학술대회논문집
• /
• pp.62-71
• /
• 1995

This paper measured the range of arm joint motion for Korean 54 male in twenties. The subjects are measured directly using Goniometer and angle gauge. The static measurement variables are seven and the dynamic measurement variables are thirteen. The anthropometric datum are analyzed by basic statistical analysis, correlation analysis and regression analysis using commercial SAS program. The results of analysis are compared with American students anthropometric data by Laubach, 1978.

• Structural Engineering and Mechanics
• /
• 제26권1호
• /
• pp.15-30
• /
• 2007

In the paper, one focuses on the problem of duality in non-linear programming, applied to the solution of no-tension problems by means of Limit Analysis (LA) theorems for Not Resisting Tension (NRT) models. In details, one demonstrates that, starting from the application of the duality theory to the non-linear program defined by the static theorem approach for a discrete NRT model, this procedure results in the definition of a dual problem that has a significant physical meaning: the formulation of the kinematic theorem.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2006년도 정기 학술대회 논문집
• /
• pp.971-976
• /
• 2006

This paper presents a design technique of steel structures subjected to static and dynamic loadings using practical nonlinear inelastic analysis software. The beam-column approach using the stability functions and the plastic hinge concept enables the software to suitably predict second-order effects and inelastic behavior of beam-columns. For dynamic analysis. the incremental from of the equation of motion is solved by the use of a step-by-step numerical integration procedure in which the assumption of constant acceleration over a small time step is employed. The accuracy of the analysis program is validated using the results of ABAQUS program and experimental tests. A user-friendly graphic interface of the software is developed to facilitate the modeling process and result interpretation of the problem. A design example of large span bridge is presented to detail the direct design process using the practical advanced analysis software.

• 한국콘텐츠학회논문지
• /
• 제5권3호
• /
• pp.73-81
• /
• 2005

CTOC(Classes To Optimized Classes)는 자바 바이트코드의 최적화와 분석을 위해 현재 개발 중인 프레임워크이다. CTOC는 스택 기반인 바이트코드를 최적화와 분석을 쉽게 하기 위해 3-주소 형태로 변환한다. 바이트코드가 타입에 관한 정보를 포함하지만 스택 기반의 동작을 수행하기 때문에 지역 변수를 위한 명시적인 타입을 갖지 못하는 경우가 발생한다. 따라서 바이트코드에서 3-주소 형태로 변환하는 과정에 사용되는 모든 변수는 정적 타입을 가져야 하는 문제점이 발생한다. 왜냐하면, 프로그램의 최적화나 분석을 위해서는 지역 변수의 타입을 알아야 하기 때문이다. 본 논문은 CTOC 프레임워크의 전반부로 바이트코드를 스택을 사용하지 않는 3-주소 형태로 변환하는 과정을 수행한다. 이 과정에서 스택 코드 형태인 CTOC-B 코드를 생성하고, 제어 흐름 그래프를 생성하여 바이트코드 수준에서 분석을 수행한다. 또한 정적 타입을 제공하기 위한 중간 과정으로 타입을 갖지 않는 CTOC-T 코드를 생성한다. 이를 위해 정적 단일 배정문 형태(Static Single Assignment Form)를 사용하여 모든 변수를 분리하고 각 변수에 새로운 이름으로 재명명하는 동작을 수행한다. 분리된 변수들은 추후 정적 타입 추론을 위한 준비 단계로 사용된다.

• 한국컴퓨터정보학회논문지
• /
• 제11권4호
• /
• pp.87-96
• /
• 2006

바이트코드는 많은 장점을 가지고 있으나 수행 속도가 느리고 프로그램의 분석과 최적화에 알맞은 표현은 아니다. 분석과 최적화를 위하여 바이트코드를 정적 단일 배정문(SSA Form)으로 변환이 수행되어야 한다. 그러나 바이트코드에서 SSA Form으로 변환 시 어떤 변수는 타입 정보를 상실한다. 이를 해결하기 위하여 본 논문에서는 바이트코드에 대한 확장된 제어 흐름 그래프를 생성한다. 또한 정적으로 분석하기 위해 제어 흐름 그래프를 SSA Form으로 변환한다. SSA Form으로 변환을 위하여 지배자. 직접 지배자. 지배자 경계. ${\phi}$-함수, 재명명 등 많은 정보에 대한 계산을 수행한다. 생성된 SSA Form에 알맞은 타입을 선언하기 위해서 다음과 같은 동작들을 수행한다. 먼저 클래스의 호출그래프와 상속 그래프를 생성한다. 그리고 각 노드에 대한 정보를 수집한다. 수집된 정보를 기반으로 동등한 타입의 노드를 찾고 강 결합 요소로 설정한 후 각 노드에 타입을 효율적으로 설정하는 방법을 제안하였다.

• 에너지공학
• /
• 제8권2호
• /
• pp.213-223
• /
• 1999

최근 원자력발전소의 안전계통 소프트웨어는 신뢰성을 향상시키기 위해 ANSI/IEEE-ANS-7-4.3.2-1982 기준에 따라 확인 및 검증이 이루어지고 있다. 이 규정은 안전관련 소프트웨어가 정적 및 동적 환경에서 시험되어야 한다고 요구하고 있다. 부적절노심냉각감시계통의 경우에 정적시험 절차 및 관련기술들은 개발되었으나 동적시험 절차 및 관련기술들은 개발되지 않았다. 따라서, 본 논문에서는 미개발된 기술들을 논의하고, 동적시험 절차와 시험 입력자료 생성 프로그램을 제안한다. 이 프로그램의 성능은 울진 3,4호기 최종 안전성 분석 보고서의 사고해석 결과를 사용하여 확인하였다.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2017년도 춘계학술대회
• /
• pp.249-251
• /
• 2017

과거에는 소프트웨어 보안이 크게 중요하지 않게 생각해왔다. 그러나 소프트웨어를 공격하는 기술은 시대를 넘어 빠르게 성장하고 있으며 이로 인한 소프트웨어 산업의 성장은 감소하고 저작권자의 이익은 점점 감소하고 있다. 그래서 본 연구에서는 PE 포맷 조작을 통해 소프트웨어 크랙을 방지하는 것을 제안한다. 보통 해커는 프로그램을 정적으로 먼저 분석을 해서 1차적인 정보를 얻는데 PE 포맷의 약간의 조작만으로 정적 분석을 방해할 수 있다. 그리고 PE 포맷 조작을 통해 해당 프로그램에 여러 가지 보안 코드가 삽입 가능하며 이를 통해 해커들의 디버거를 이용한 접근이나 동적 분석을 방해 할 수 있다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2009년도 춘계학술대회 논문집 특별세미나,특별/일반세션
• /
• pp.421-426
• /
• 2009

Recently, the design process for a railway bogie frame in Europe has been carried out according to the norm EN 13749. The activities in the norm EN shall demonstrate that the design of the bogie frame fulfills the acceptances of 4 steps of the program such as structural calculation, static tests, fatigue test and on-tracks tests. At the end of the acceptance program, the on-tracks tests have the aim to measure the real stress history generated in operation and to verify that they are reasonably next to those calculated and measured on the test rig. Therefore, in order to assure the safety of the railway vehicle, it is important to examined the durability of that under load histories measured from on-tracks tests. In this study, under variable amplitude loading based on the actual acceleration history, fatigue analysis of the welding bogie frame is investigated by using durability software. Moreover, the fatigue life of the frame under the loading in the norm EN fatigue test condition is evaluated and compared with the life under variable amplitude loading.

• 한국항공우주학회지
• /
• 제35권4호
• /
• pp.287-294
• /
• 2007

전산유체와 전산구조 연계 방법을 사용하여 하부에 외부 장착물이 부착된 초음속 비행체의 날개에 대한 정적 공탄성 해석을 수행하였다. 전산유체와 전산구조의 연계를 위하여 두 개의 사상 알고리즘, 즉 압력 사상 알고리즘과 변위 사상 알고리즘이 사용되었다. 공력해석은 날개주위의 유동장을 구하기 위하여 비정렬 3차원 오일러 방정식을 이용하였고 구조변위를 구하기 위하여 유한요소해석 프로그램을 사용하였다. 연계 절차는 특정 수렴조건을 만족할 때까지 반복 수행되며, 전형적인 초음속 비행체 날개에 대한 정적 공탄성 해석을 수행하여 수렴된 날개 형상을 얻었다.

• 한국지반환경공학회 논문집
• /
• 제9권5호
• /
• pp.45-52
• /
• 2008

본 연구에서는 지반 및 구조물의 문제점을 이상화 하는데 필요한 응용기술을 개발하기 위해 공개되어 있는 소프트웨어 즉 도스용 프로그램을 윈도우상에서 OpenSees 말뚝의 정적 지지지력과 침하를 분석할 수 있도록 하여 윈도우상에서 사용자가 편리하게 전 처리와 후 처리 및 경제조건 처리가 가능하도록 OpenSees프로그램을 개선하였다. 본 연구에 사용된 지지력 분석은 유한요소 해석과 합성된 하중전이함수에 근거한 수치해석방법이다. 본 연구에서는 흙-말뚝의 상호작용에 의한 마찰력과 선단 지지력을 각각 모델링하기 위해 경험적인 비선형 T-z과 Q-z곡선에 의한 하중전이법을 이용하여 하중재하에 따른 침하조건에서의 흙-말뚝의 반응을 나타내었다. 본 연구에서 예측한 정적 지지력과 침하량은 문헌에 의한 정적재하시험 결과와 잘 일치하는 것으로 나타나 유용하게 활용될 수 있을 것으로 판단된다.