• 전산구조공학
• /
• 제5권2호
• /
• pp.93-104
• /
• 1992

최적화기법의 최종목표는 전체최적점(golbal optimum point)을 정확히 그리고 효율적으로 구하는 것이다. 이를 위해 확률론적인 탐색과정을 가지는 Simulated Annealing과 Genetic Algorithm에 의한 최적화과정을 살펴보고, 수학적함수와 트러스, 보 구조물에 대해 최적설계를 행하여 전체최적점에 도달한 신뢰도 및 계산시간을 기준으로 기존의 확정론적 최적화기법에 의한 결과와 그 유용성을 비교검토하였다.

• 월간 닭고기
• /
• 제19권2호
• /
• pp.84-89
• /
• 2013

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2003년도 추계학술대회 및 정기총회
• /
• pp.207-217
• /
• 2003

지능적으로 공격 패턴을 달리하는 많은 공격들에 대응하기 위해 기존의 보안 시스템은 강력한 보안시스템으로 확장되고 있다. 보안 시스템과 같은 규모가 크거나 복잡한 소프트웨어 계발에 있어서 설계 및 구현 과정에서 있는 설계 변경 및 구현상의 변경으로 인한 전체 시스템에 미치는 영향이 크다. 본 논문에서는 규모가 큰 보안시스템 계발에 있어서 전체 시스템의 영향 관계를 체계적으로 정립한 소프트웨어 설계 방법론으로의 적용이다. 소프트웨어 설계 방법론은 시스템 형식론에 의거하여 소프트웨어가 표현되었으므로 논리적 연관관계를 추적하기 쉽다 이는 소프트웨어 설계 또는 설계 변경 후 인터페이스 시스템의 중요한 동적 특성을 미리 파악 할 수 있게 하여 소모적일 수 있는 시간과 노력을 절약 할 수 있다.

• 논리연구
• /
• 제9권2호
• /
• pp.59-98
• /
• 2006

유아론에 대한 비트겐슈타인의 철학적 투쟁을 조명하는 것은 그의 전체 철학의 핵심을 조명하는 것에 상당한다. 요컨대 유아론의 문제는 언어놀이, 놀이와 언어의 유사성, 가족 유사성, 규칙 따르기, 규칙 따르기의 역설, 사적 언어 논변, 뜻함, 봄과 -로서 봄, 모순, 논리적 필연성, 함 또는 실천과 같은 후기 비트겐슈타인의 핵심 개념이나 주제와 얽혀 있다. 이를 보이기 위해서 이 글에서는 유아론의 개념, 유아론에 대한 청년 비트겐슈타인의 생각, 후기 비트겐슈타인의 진단을 논의하게 될 것이다. 이러한 과정에서 우리는 비트겐슈타인이 유아론(넓게는 데카르트주의, 영국경험론, 현상학)에서 실천으로 나아가는 패러다임의 전환을 수행하고 있다는 것을 확인하게 될 것이다. 이러한 논의가 진행되면 우리는 유아론에 대한 후기 비트겐슈타인의 비판과 '사적 언어'가 어떻게 연결되는지 자연스럽게 문제 삼게 된다. 많은 학자들이 주장하는 바에 따르면, 비트겐슈타인은 사적 언어가 불가능하다고 간주했다. 그러나 나는 이러한 주장은 비트겐슈타인이 처한 패러다임의 전환 상황을 간과하는 처사로서 설득력 없는 것임을 보이고자 한다.

• 한국산학기술학회논문지
• /
• 제5권5호
• /
• pp.389-394
• /
• 2004

이 논문에서는 플래시 메모리의 특성에 따른 메모리 재활용 방법론을 제안하여 비용을 감소시키면서 동시에 성능의 감소를 방지하는 목적을 만족시키고자 한다. 새로운 방법론은 재활용 대상 메모리 세그먼트 공간을 K 개의 하부 공간으로 분할하여 전체 검색을 대신 부분 검색을 실행하여 비용의 최소화를 추구한다. 아울러, 새로운 메모리 공간 배정 결정 시 전체 플래시 메모리 공간의 균등 소거에 대한 개선책을 제안한다. 제안된 방법론의 최적화를 위하여 하부 공간 분할 크기를 실험을 통해 취득 하였다. 실험적 자료는 제안된 방법론이 기존의 방법론과 비교하였을 교 비용은 감소하고 성능은 개선되는 것을 예시한다. 또한, 실험을 통해 메모리 공간 배정이 메모리 공간의 균등 소거에 많은 영향을 미친다는 사실을 확인할 수 있다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2000년도 제12회 한글 및 한국어 정보처리 학술대회
• /
• pp.323-328
• /
• 2000

국내에서 영한 자동번역 시스템을 1985 년부터 개발한 지 벌써 15년이 흐르고 있다. 15 년의 영한 자동번역 기술개발에도 불구하고 아직도 영한 자동번역 시스템의 번역품질은 40%를 넘지 못하고 있다. 이렇게 번역품질이 낮은 이유는 다음과 같이 요약할 수 있을 것이다. o 입력문에 대해 파싱할 때 오른쪽 경계를 잘못 인식함으로써 구조적 모호성의 발생문제: 예를 들어 등위 접속절에서 오른쪽 등위절이 등위 접속절에 포함되는 지의 모호성. o 번역 단위로써 전체 문장을 대상으로 한 번역패턴이 아닌 구나 절과 같은 부분적인 번역패턴으로 인한 문장 전체의 잘못된 번역 결과 발생. o 점차 증가하는 대용량 번역지식의 구축과 관련해 새로 구축되는 번역 지식과 기구축된 대용량 번역지식들 간의 상호 충돌로 인한 번역 품질의 저하. 이러한 심각한 원인들을 극복하기 위해 본 논문에서는 문틀에 기반한 새로운 영한 자동번역 방법론을 소개하고자 한다. 이 문틀에 기반한 영한 자동번역 방법론은 현재 CNN뉴스 방송 자막을 대상으로 한 영한 자동번역 시스템에서 실제 활용되고 있다. 이 방법론은 기본적으로 data-driven 방법론에 속하다. 문틀 기반 자동번역 방법론은 규칙기반 자동번역 방법론보다는 낮은 단계에서 예제 기반 자동번역 방법론보다는 높은 단계에서 번역을 하는 번역방법론이다. 이 방법론은 영한 자동번역에 뿐만 아니라 다른 언어쌍에서의 번역에도 적용할 수 있을 것이다.

• 대한화학회지
• /
• 제43권6호
• /
• pp.621-627
• /
• 1999

순이론적인 계산으로부터 얻은 전체 에너지로부터 탄화수소의 생성 엔탈피를 계산하는 새로운 방법을 제안하여였다. 이 방법은 결합 파라미터를 도입하여 원자의 전체 갯수에 근거를 두는 과거의 방법론을 개선한 것이다. 현 방법론의 결과는 우수하며 생성 엔탈피 계산의 평균오차는 실험 오차보다 작은 것으로 나타났다. 제안하는 방법론을 확실히 하기 위한 몇 가지 가능한 확장법도 제시하였다.

• 한국정보시스템학회:학술대회논문집
• /
• 한국정보시스템학회 2004년도 추계학술대회
• /
• pp.182-190
• /
• 2004

공급사슬의 구성문제는 주문의 동적환경를 고려하여 전체 관점에서 스케줄링되어야 한다. 이러한 공급사슬구성문제를 본 연구에서는 에이전트 협상 방법론을 통해 해결하고자 한다. 에이전트 협상은 공급사슬망을 경쟁적 관계로 이해하고 개별목적을 가진 구성원 에이전트간의 협상과정을 통해 재스케줄링이 발생되어 공급사슬을 구성하게된다. 지금까지의 연구는 공급사슬 상에서 수직적 통합(vertical integration)을 중심으로 조직의 유연적 조정에 초점이 맞추어졌다. 그러나 본 문제에서는 구매자로부터 주문을 받기 위해 경쟁적 관계에 놓인 제조자가 도급계약(sub-contract)이 허용되는 환경에서 협력적 관계를 통해 개별적 이익을 최대화하는 동시에 공급사슬 전체의 관점에서도 비용 최적화를 이룰 수 있는 제조자 협상방법론을 제안하였다. 본 협상방법론을 통해 수평적 관계에 놓인 경쟁업체들의 협력적 관계 및 전략적 제휴의 중요성을 살펴볼 수 있다.

• 한국정보시스템학회:학술대회논문집
• /
• 한국정보시스템학회 2005년도 추계학술대회 발표 논문집
• /
• pp.143-154
• /
• 2005

공급사슬의 구성문제는 주문의 동적환경를 고려하여 전체 관점에서 스케줄링되어야 한다. 이러한 공급사슬구성문제를 본 연구에서는 에이전트 협상 방법론을 통해 해결하고자 한다. 에이전트 협상은 공급사슬망을 경쟁적 관계로 이해하고 개별목적을 가진 구성원 에이전트간의 협상과정을 통해 재스케줄링이 발생되어 공급사슬을 구성하게된다. 지금까지의 연구는 공급사슬 상에서 수직적 통합(vertical integration)을 중심으로 조직의 유연적 조정에 초점이 맞추어졌다. 그러나 본문제에서는 다수의 구매자, 제조자. 공급자간의 3 단계 과정에서 협력적 관계를 통해 개별적 이익을 최대화하면서 공급사슬 전체의 관점에서도 비용 최적화를 이룰 수 있는 다자간 협상방법론을 제안한다. 본 협상방법론의 최적화 여부와 효율성을 Branch & Bound 알고리즘과 비교하여 검증하였다.

• 한국지능정보시스템학회:학술대회논문집
• /
• 한국지능정보시스템학회 2005년도 춘계학술대회
• /
• pp.94-102
• /
• 2005

화주의 선박 선정과정은 선박과 화물의 일정에 따른 1차 선정과 화물을 재선적하여 하나의 단위로 선복을 집중시키는 2차 선정으로 구분된다. 지금까지 3자물류업체는 이러한 선적업무가 수작업으로 진행됨으로써 비효율성을 초래하였다. 그러므로 본 연구에서는 에이전트 협상을 통해 전체 물류비를 감소시킬 수 있는 방안을 제안하고자 한다. 화물의 집중과 배분을 통해 얻을 수 있는 물류비 절감을 최대화 시키기 위해 재고비와 운임비간의 상관관계에서 최적점을 찾아야 하며 이를 화주간 협상으로 해결할 수 있다. 실험에서는 현업에서 이루어지는 화물 선적방법인 EPDS(Earliest Possible Departure-Date Scheduling)와 LPDS(Latest Possible Departure-Date Scheduling)에 본 협상방법론을 접목하여 SBF(Scheduling Bundle Factor, 선적동시처리량)에 따른 재고비, 운임비 그리고 물류비 등을 도출하고 실험결과를 분석 하였다, 분석결과, 협상방법론이 EPDS와 사용될 경우 전체 물류비를 최소화 시킬 수 있었다.