• 한국IT서비스학회:학술대회논문집
• /
• 한국IT서비스학회 2006년도 추계학술대회
• /
• pp.199-206
• /
• 2006

지금까지의 전자정부 구축은 국민의 편의성과 정부업무의 효율성에 맞추어져 왔으며, 이는 경제적 사회적 흐름에 따른 IT서비스가 국민과 정부가 실제로 원하는 것을 찾아 지원하고 선도하여 줄 수 있도록 하는 것이라 할 수 있다. 그러나 엄밀히 말하면 우리의 전자정부 과제는 남한에 국한된 것이다. 헌법에 의하면 남한과 북한은 하나의 국가인데도 불구하고, 남북한 간의 한계성을 의식적으로든 무의식적으로든 인식하여, 남한으로 테두리를 정하고 u-Korea를 실행하고 있는 것이다. 이러한 상황에서 통일부가 운영하고 있는 남북교류협력시스템(http://inter-korea.unikorea.go.kr)를 바탕으로 남북교류협력을 위한 실질적인 프로세스 개선과 정보화 전략을 새롭게 수립하기 위하여 현황과 방향성에 대해 연구하여, 향후 남북통일을 위한 초석이 될 수 있는 IT서비스로서, 또한 남북간의 특이사항을 반영한 시스템으로 기타 전자정부 과제들의 통일 이후의 모습이라는 거시적인 미래과제를 풀 수 있는 한 도구로 본 연구가 활용되고자 한다.

• 한국산학기술학회논문지
• /
• 제20권5호
• /
• pp.612-620
• /
• 2019

빌딩, 자동차, 선박, 항공기 등에서의 곡선보 사용 증가로 인해 이러한 구조물의 동적거동해석에 있어 괄목할만한 성과가 있어 왔다. 탄성곡선보의 안정성 거동 해석분야는 많은 연구자들의 관심분야였다. 전통적으로 미분방정식의 해법은 유한차분법으로 해결해왔다. 이러한 방법들은 복잡한 기하학적 구조 및 하중에 따른 격자점의 증가로 많은 계산시간을 요구한다. 편미분방정식의 해를 구하기 위한 효율적인 방법 중의 하나는 미분구적법이다. 복잡한 기하학적 구조 및 하중으로 인한 과도한 컴퓨터 용량의 사용과 복합알고리즘 프로그램의 어려움을 극복하기 위하여 미분구적법(DQM)이 많은 분야에 적용되어왔다. 본 연구에서는 선형적으로 단면적이 변하는 비대칭 곡선보에 대하여 DQM을 적용하여 아크축 신장을 고려한 내 평면 진동해석을 수행하였다. 다양한 매개변수 비, 경계조건, 그리고 열림 각에 따른 기본진동수를 계산하였다. DQM 결과는 활용 가능한 다른 엄밀해와 비교하였다. 다양한 매개변수 비, 경계조건, 그리고 열림 각에 따른 기본진동수를 계산하였으며 DQM 결과를 활용 가능한 다른 엄밀해와 비교하였다. 해석결과에 따르면 DQM은, 적은 격자점을 사용하고도, 엄밀해 결과와 일치함을 보여주었다.

• 대한조선학회논문집
• /
• 제30권2호
• /
• pp.161-176
• /
• 1993

본 논문에서는 주어진 상황에 맞추어 적절한 수준에서 건전성평가를 수행하기 위하여, 개정된 BSI PD 6493의 3단계 평가방법에 균열성장효과를 고려한 건전성 평가방법과 균열의 안정성장을 엄밀히 고려할 수 있는 안정성 평가방법(stability assessment method:SAM)과 더불어 소성 붕괴를 평가하는 극한하중해석을 고려한 건전성 평가방법을 정식화하였다. 또한 신뢰성이론 중 2차 모멘트방법을 사용하여, center cracked panel(CCP) 시편과 관통균열을 갖는 파이프에 대하여, 신뢰성해석에 의한 건전성 평가를 수행하였다. 신뢰성해석을 수행하는데 필요한 확률변수들의 통계적 특성은 지금까지 보고된 그들 변수들의 실험자료와 통계해석의 결과들을 이용하였다. 또 기존의 신뢰성해석에서 정확한 파괴확률을 구할 수 있는 Monte Carlo 방법을 사용하여, 본 논문의 유용성을 검토하였다.

• 한국인지과학회:학술대회논문집
• /
• 한국인지과학회 2000년도 춘계 학술대회
• /
• pp.273-278
• /
• 2000

본 연구는 한국어 기능 범주(functional category)의 처리를 살펴보기 위하여 실문법증 환자를 대상으로 실시되었다. 일반적으로 수형도에서 기능 범주는 보문소구(Complementizer Phrase), 시제구(Tenxe Phrase), 일치소구(Agreement Phrase)의 순으로 구성되어 있다. 본 실험은 Grodzinsky(1997)의 수형도 가지치기 가설과 실문법증의 엄밀성 척도를 바탕으로 한국어 기능 범주의 처리에 있어서도 두 가지 가설의 적용이 타당한지 여부를 검증하기 위해 실시되었다. 실험 1은 일치소(Agr)의 처리를 살펴보기 위하여 실시되었는데, 국어의 존칭 선어말 어미를 중심으로 살펴보았다. 국어의 존칭선어말 어미는 크게 '-시-'삽입에 의한 존칭과 다른 어휘로 대체하는 보충법에 의한 존칭으로 구분된다. '-시-'삽입에 의한 존칭은 AgrP의 범주로 보충법에 의한 존칭은 동사구(Verb Phrase)의 범주로 설정하여 문법에 어려움을 보이는 실문법증의 경우 어휘부에 혹하는 보충법에 의한 존칭을 문법범주에 속하는 '-시-'삽입의 존칭보다 더 잘 할 것으로 가정하였다. 실험 2는 AgrP의 범주인 '-시-'선택의 장애가 TPqja주인 시제 선택에 역시 영향을 미칠 것이라는 가정아래 설계되었다. 수형도 상에서 '-시-'는 일치소(Agr)로서 시제(TP)의 아래에 위치하므로 실험 3은 '-시-'삽입 존칭과 시제에서 어려움이 보문소(CP)의 선택에 역시 영향을 미칠 것이라는 가정하에서 실시되었다. 실험 1의 결과 '-시-'삽입에 의한 존칭을 처리하는데 보충법에 의한 존칭보다 어려움을 보였다. 실험 2의 결과 '-시-'삽입 존칭에 어려움을 보인 환자는 시제 선어말 어미를 선택하는데도 어려움을 보임이 확인되었다. 실험 3 역시 실험 1과 실험2에서와 동일하게 처리의 어려움을 보였다. 이러한 실험 결과들은 국어의 존칭과 시제 선어말 어미가 통사부에서 구(XP)와 결합하여 새로운 구를 형성하는 통사적 접사로 해석할 수 있으며 Grodzinsky의 가설을 지지하는 결과를 보여 줌으로서 국어에서도 AgrP, TP, CP 사이의 통사적 위계가 있음을 뒷받침하는 증거가 된다.

• 수산해양기술연구
• /
• 제20권1호
• /
• pp.43-48
• /
• 1984

본 연구에서는 보의 전달매트릭스법을 적용함에 있어서 균일단면보의 분할방법과 이에 의한 수치계산의 결과를 엄밀해에 비교하여, 가장 가까운 값을 얻을 수 있는 방법을 제시하고, 이를 불균일단면을 가지거나, 여기에 임의의 하중이 작용하는 보에도 적용하여, 수치계산의 결과를 실험치와 비교하였다. 또한 진동수 방정식의 근사해를 구하기 위한 3가지 반복법에 대해 그 실용성을 검토하여 가장 효율적인 방법을 아울러 제시하였다. 그 결과를 요약하면 다음과 같다. 1. 균일단면에 있어서 질량의 분배방법은 방법 3이 가장 정도가 좋으며 이 경우 분할수 6이상이면 어떠한 경계조건에서든지 엄밀해에 거의 일치한다. 2. 상기1의 분할수 및 질량의 분배방법은 불균일단면을 가지거나 임의의 위치에 임의의 하중이 작용하는 경우에도 그대로 적용할 수 있다. 3. 진동수 방정식의 근사해를 구하는 반복법은 FPM이 가장 효율적이다. 4. 질량분배에 대한 방법 3과 FPM을 조합하여 수치계산을 행함으로써 종래의 전달매트릭스법에 비해 연산시간을 훨씬 단축시킬 수 있다.

• 한국측량학회지
• /
• 제8권2호
• /
• pp.9-16
• /
• 1990

본 논문은 해안에 건설된 해안 구조물에 의한 해안선 번형에 관한 연구이다. 해안선 변형을 예측하는 방법에는 경험적인 방법, 수리모형방법 및 수치방법 등이 있다. 이 중에서 수치모형방법이 측지분야에서는 가장 적합하다. 예측 모델은 여러 가지가 있다. 본 연구는 수리학적 인자가 적고, 자연현상을 단순화 시킬 수 있는 해안선 모델을 채택하였다. 본 연구는 우선 이상적인 안벽 경계 조건을 설정하고, 동해안의 동산항에 개략 모델과 엄밀 모델을 적용하였다. 그 결과 해안선 변형 모델은 안벽의 최적 위치를 예측할 수 있었으며, 안벽은 파의 입사각이 20$^\circ$이하인 해안을 보호할 수 있었으며 파고와 쇄파대의 비는 해안선 변형에 영향을 미치지 않았다. 또한 엄밀 모델은 정확하나 장기 변형의 예측이 불가능하였고, 개략법은 그와 반대였다.

• 대한조선학회논문집
• /
• 제28권2호
• /
• pp.187-194
• /
• 1991

양단이 병진 및 회전에 대해 탄성구속되고 다양한 중간구속조건 즉, 임의 갯수의 집중질량, 병진 스프링, 회전스프링 구속이 있는 보-기둥의 진동에 대해 우선 Hamilton 원리, Laplace 변환방법을 원용한 엄밀해법을 제시했다. 그러나 이 방법이 중간구속조건이 여러 개 있을 경우 그 연산과정이 매우 복잡함을 고려하여 기준계 즉, 중간구속 조건이 없는 계의 고유함수를 이용하는 Rayleigh-Ritz 방법에 의한 근사해법도 검토했다. 근자에 발표된 타연구 결과와의 비교검토목적의 다양한 수치계산예를 통해, 첫째 본 연구의 엄밀해의 타당성이 확인되었고, 또 기준계의 고유함수를 이용하는 Rayleight Ritz방법이 중간구속조건의 다양한 변화에 대해 동일함수를 이용하는 장점과 더불어 진동파형가정함수의 항수에 따른 수렴성도 양호하며 좋은 정도를 보장하면서 편리하게 적용될 수 있음이 확인되었다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제4권11호
• /
• pp.479-486
• /
• 2015

모델 체킹 방법은 가능한 모든 경우를 자동으로 확인할 수 있으며, 코드가 구현되기 이전의 명세서나 디자인의 검증에도 적용할 수 있어 고위험 시스템의 검증에 활발히 적용되어왔다. 그러나 이러한 엄밀한 검증기법에 대한 일반적인 이해 부족과 테스팅에 비해 높은 검증 비용으로 인하여, 일반적인 소프트웨어들은 여전히 인력에 의한 테스팅과 같은 기초적인 방법에 의존하여 검증이 수행되고 있다. 본 논문에서는 그 대표적인 예인 온라인 게임 서버를 대상으로, SPIN 모델 체커(SPIN model checker)를 이용한 자동화 검증 방법을 적용하는 실험적인 연구를 수행하여 검증 비용 대비 효과에 근거한 적용성을 판단하였다. 연구 결과, 5~7GB 이내의 메모리와 10분 이내의 시간 내에서 온라인 게임 서버 파티 시스템의 주요 특성들을 검증할 수 있음을 보였고, 이 과정에서 기존에 파악하지 못한 오류도 검출하였다. 이로부터 인력에 의한 테스팅에 비해 납득할만한 수준의 검증 비용으로 엄밀하고 효과적인 검증이 가능하다는 결론을 도출할 수 있었다.

• 콘크리트학회지
• /
• 제9권5호
• /
• pp.189-196
• /
• 1997

본 연구에서는 유한요소법을 이용한 콘크리트 인장균열의 발생 및 전파양상을 모형화하기 위하여 분산균열(smeared crack) 모델의 일종인 2차원 균질화된 균열(homogenized crack)모형을 제안하였다. 제안한 모형은 인장균열면을 따라 속도 불연속계(velocity discontinuity)를 도입하고 평형방정식 빛 적합방정식을 이용하여 인장균열을 포함한 콘크리트의 구성방정식을 유도할 수 있으며 인장균열이 소성연화거동을 하는 경우. 유한요소망내에서 객관성이 유지될 수 있음을 밝히기 위하여 1차원 영역내에서 엄밀해를 유도하였다. 제안한 모형을 이용한 1차원 또는 2차원 유한요소 해석은 기존의 노치를 포함한 콘크리트 시편에 대한 실험과 상응하는 결과를 보였을 뿐만 아니라 유한요소망의 객관성이 유지되고 있음을 밝혔다. 제안한 모형은 큰 어려움없이 3차원 영역으로 확대할 수 있을 것이며 이에 대한 추가적인 연구가 계속될 것이다.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2006년도 추계학술대회 논문집(제2권)
• /
• pp.129-133
• /
• 2006

모든 조직들은 자신들의 업무관행이나 운영전략 등의 개선을 통한 조직효율성의 재고를 위해 다양한 노력들을 기울이고 있다. 해운항만산업의 첨두에 있는 컨테이너 터미널의 경우도 예외가 아니며, 이러한 목적을 위해 벤치마킹기법이 사용될 수 있다. 벤치마킹 기법은 자신들 내면을 파악한 후 동종업계의 최고업무처리관행(best practices)조직을 참조하여 자신들의 업무 효율성을 향상시키는 방법이다. 국내 컨테이너항만의 후발주자이면서, 물동량의 증가율도 높지 않아 지역민이나 전 국민의 우려대상이 되고 있는 광양항도 다양한 방법을 사용한 발전을 모색해야만 하며, 이러한 방법적용을 위해 대표적으로 사용할 수 있는 것이 자료포괄분석법(data envelopment analysis, DEA)이다. 본 연구는 부산항과 광양항에 있는 중소형 9개 터미널의 1999${\sim}$2004년간의 4년자료를 통해 광양항 컨테이너터미널의 문제점과 그 원인을 살펴보고, 벤치마킹기법을 이용해 이를 개선하기 위한 행동방안을 간략히 제시해본다. 추후에는 최근의 다양한 변수와 국내외의 다양한 대상을 통한 더욱 엄밀한 분석을 수행해야 할 것이다.