• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (1)
• /
• pp.557-559
• /
• 1999

프로그램 슬라이싱은 프로그램의 특정 문장에서 변수에 영향을 주는 문장들을 분해하는 방법으로 디버깅, 최적화, 프로그램 유지보수, 테스팅, 재사용 부품 추출 그리고 프로그램 이해를 포함하는 여러 응용 분야들에서 그 유용성을 확인할 수 있다. 본 논문은 포인터 변수와 포인터 변수에 의해 참조되는 동적 객체, 구조체, 배열을 포함하는 프로그램에 대한 정확한 슬라이스 생성에 관한 연구이다. 포인터 변수와 같은 복잡한 구조를 가지는 프로그램에서 포인터 변수나 포인터 변수가 참조하는 객체의 상태를 파악하기 위해서 객체 참조상태 그래프를 제시한다.

• 전자공학회논문지SC
• /
• 제39권2호
• /
• pp.176-181
• /
• 2002

이 논문에서는 PDA(Probabilistic Data Association) 필터를 이용한 표적 추적에서 평균자승추정오차의 기대값을 최소화하는 표적 검출 문턱값의 최적제어 방법을 제시하고, 닫힌 형태의 준최적해를 구한다. 최적의 검출 문턱값을 구하기 위한 이전의 연구에서는 그래프를 이용한 부정확한 최적화 방법이나, 매우 시간이 많이 소요하는 수치해석적 최적화 알고리듬을 사용하였다. 하지만, 이 논문에서는 정보감소인자의 수치적 근사화식을 이용하여, 최적제어문제로 정식화하여 닫힌 형태의 준최적 검출 문턱값을 구하였다. 이 결과는 실시간 표적 추적에서 유용하게 사용될 수 있다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2017년도 제55차 동계학술대회논문집 25권1호
• /
• pp.21-22
• /
• 2017

본 논문은 Predicate Tree를 이용한 질의 최적화를 서술한다. 인터넷 등의 보급으로 데이터는 급등했으며 이러한 대용량 데이터를 처리하기 위해서는 적적한 모델이 필요하다. 시멘틱 웹은 컴퓨터가 해독할 수 있는 데이터의 형태로 데이터를 저장하는 것을 말하며, RDF는 시멘틱 웹에서 중요한 역할을 한다. RDF는 유동성과 데이터의 규모가 크며 그래프 모델을 통한 질의 처리는 데이터가 커짐에 따라 성능이 저하된다. 본 논문에서는 이러한 시멘틱 웹의 포맷인 RDF를 제안하는 기법인 Predicate Tree를 이용하여 데이터를 저장하고 처리한다.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 1989년도 추계학술발표회 발표논문초록집; 이화여자대학교, 서울; 23 Sep. 1989
• /
• pp.151-153
• /
• 1989

이 글에서는 다음의 내용을 다루었다. 1. 목표 : 가. 수송비용 절감, 나. 대 고객 서비스(품질, 납기, cost)수준 향상 2. 목적 : 가. 종합물류 cost및 대고객 서비스 수준을 평가기준으로 한 종합물류 simulation모델의 개발과 운영, 나. 신규투자의 타당성검토를 위한 의사결정지원 모델의 개발과 운영, 다. 모든 관련 시스템 정보의 획득과 이용을 위한 정보망 유지 3. 기능구성 : (1) 자료관리, (2) 종합물류 최적화 모델, 가. 소비지 물량 배정 최적화 모델, 나. 생산 및 재고계획수립 모델, 다. 제품 수급계획수립 모델, (3) Presentation, 가. 통계분석 및 그래프 작성, 나. 보고서 작성, (4)외부시스템과의 interface 4. 특성 : Three OR/MS model approach

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2021년도 제64차 하계학술대회논문집 29권2호
• /
• pp.605-607
• /
• 2021

본 논문에서는 지형 API를 활용해 사용자와 병원들의 위치를 들로네 삼각화로 그래프를 구성하고, 교통정보를 기반으로 사용자에게 최적의 경로를 알려주는 새로운 길 찾기 알고리즘을 제안한다. 경로를 분석하는 과정에서 교통정보를 활용하여 최단 시간이 걸리는 구간을 알려주어 전체적인 처리 시간을 최소화한다. 또한, 본 논문에서는 교통정보와 지형 API를 기반으로 들로네 삼각화를 구성하고, 구성된 간선을 기반으로 최적화 문제를 풀어냄으로써, 사용자에게 최적의 경로를 알려준다.

• 디지털융복합연구
• /
• 제15권3호
• /
• pp.181-186
• /
• 2017

시스템 최적화는 소스코드의 변경 없이 중복된 모듈을 추출하고, 추출된 모듈의 재사용을 위하여 프로그램의 구조를 변경하는 기법이다. 구조지향 개발과 객체지향 개발은 크로스커팅 영역의 모듈화에는 효율적이나 크로스커팅 개념을 모듈화 할 수 없다. 기존 시스템에서 크로스커팅 개념을 적용하기 위해, 각 시스템 내에 분산되어 있는 시스템 최적화 대상 모듈을 크로스커팅 영역으로 추출하는 기술이 필요하다. 본 논문에서는 개발이 완료된 시스템에서 중복 모듈을 추출하기 위한 방법을 제안한다. 제안하는 방법은 소스코드 분석을 통해 데이터 의존관계와 제어 의존관계를 분석하여 중복되는 요소를 추출한다. 추출된 중복된 요소는 시스템 최적화를 위하여 프로그램 의존 관계 분석에 사용될 수 있다. 중복된 의존관계 분석 결과는 제어 흐름 그래프로 변환되며, 이를 활용하여 최소 크로스커팅 모듈을 생성할 수 있다. 의존 관계 분석을 통해 추출된 요소는 크로스커팅 영역 모듈로 설정함으로써 시스템 내 중복된 코드를 최소화 할 수 있는 시스템 최적화 방법을 제시한다.

• 한국정보처리학회논문지
• /
• 제3권6호
• /
• pp.1483-1492
• /
• 1996

본 논문에서는 지리정보시스템을 적용하는 우편 업무와 관련하여, 우편 경로에 대한 관리 및 의사 결정을 수행하는 우편 경로 최적화 시스템을 구성하는 주요 모듈 인 최단 경로 생성 알고리즘에 대한 설계 및 구현에 대하여 다루었다. 최단 경로 생 성 알고리즘 개발을 통하여 효율적인 우편 경로 최적화 시스템을 제시하기 위해 경로 최적화 시스템에 대한 사례 조사와 요구 사항을 분석하였다. 우편 경로 최적화 시스 템의 주요 모듈인 최단 경로 생성 알고리즘은 기존의 그래프 이론에서 제시된 Dijkstra알고리즘뿐 아니라 방향성을 고려한 탐색 방법을 적용하여 시스템이 빠르고 효과적인 경로 탐색을 할 수 있도록 하였다. 우편 경로 최적화 시스템은 최단 경로 생성기, 등거리 생성기, 경로 재배치 생성기의 주요 모듈로 이루어져 있고, 좌표 처 리를 위한 지리정보시스템 엔진과 지형 데이터를 취급하기 위해 공간 데이터베이스를 이용하였다. 이 시스템은 우편 배달 업무의 관리, 배달 구역 및 경로 관리, 경로 재 배치 등에 이용될 수 있으며, 향후에 택배 시스템, 도로 및 교통 정보 안내 등과, GPS(Global Positioning System)와의 연계를 통해 위치 추적 및 자동 운항 시스템에 도 적용될 수 있다.

• 한국융합학회논문지
• /
• 제12권9호
• /
• pp.161-168
• /
• 2021

복합가공기 분야에서 고속 및 고정밀화에 대한 요구가 늘어남에 따라 복합가공기의 강성과 진동에 관한 관심이 증가하고 있다. 그러나 경험에 의존한 설계로 인해 개발 시간이 많이 소요되며 적절한 설계에도 어려움이 많아 공작기계 설계에 구조 최적화 FEM의 활용이 많아지고 있다. 그러나, 현재 구조물의 응력 분포를 통한 최적화를 주로 활용하고 있어 구조물의 진동 상태를 고려하여 최적화하기에는 어려움이 있다. 본 논문에서는 5축 복합가공기에서 가공에 가장 많은 영향을 끼치는 헤드 구조물의 최적화를 위하여 유한요소해석을 활용한 정적 구조해석, 모드 해석, 가진 주파수 해석을 진행하였으며, 도출된 응력 분포, 변형, 고유진동수, 가진 주파수 그래프를 활용하고 적절한 목적함수와 설계변수를 설정하여 정강성과 동강성을 모두 고려한 위상 최적화 해석 방법을 제시하고자 한다.

• 한국과학교육학회지
• /
• 제43권3호
• /
• pp.237-251
• /
• 2023

본 연구는 합성곱 신경망을 활용한 자동 채점 모델을 설계하고 학생의 운동학 그래프 답안에 적용함으로써, 과학 그래프 답안에 대한 자동 채점의 가능성을 탐색하였다. 연구자가 작성한 2,200개의 답안을 2,000개의 훈련 데이터와 200개의 검증 데이터로 데이터셋을 구성하고, 202개의 학생 답안을 100개의 훈련 데이터와 102개의 시험 데이터로 데이터셋을 구성하여 연구를 진행하였다. 먼저, 자동 채점모델을 설계하고 성능을 검증하는 과정에서는 연구자가 작성한 답안 데이터셋을 활용하여 그래프 이미지 분류에 최적화되도록 자동 채점모델을 완성하였다. 다음으로 자동 채점 모델에 훈련 데이터셋을 여러 유형으로 학습시키면서 학생의 시험 데이터셋에 대한 채점을 수행하여 훈련 데이터의 양이 많고 다양할수록 자동 채점 모델의 성능이 향상된다는 것을 확인하였고, 최종적으로 인간 채점과의 일치율은 97.06%, 카파 계수는 0.957, 가중 카파 계수는 0.968을 얻었다. 한편, 훈련 데이터로 학습되지 않은 유형의 답안의 경우 인간 채점자들 간에는 채점이 거의 일치하였으나, 자동 채점 모델은 일치하지 않게 채점하는 것을 확인하였다.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제3권5호
• /
• pp.151-154
• /
• 2014

모바일 기기에서 어플리케이션의 에너지 소비는 운영체제, 실행시간 환경, 컴파일러, 어플리케이션 등이 복잡한 상호 작용을 통해 이루어진다. 최근까지 에너지-지향적인 고수준 및 저수준의 컴파일러 기술을 적용하여 모바일 기기에서 어플리케이션의 에너지 소비를 줄이기 위한 노력이 진행되고 있다. 본 논문에서는 안드로이드 달빅에서 실행되는 dex 파일로부터 달빅 바이트코드를 추출한 후 에너지 소비 최적화를 위한 리스트 인스트럭션 스케줄링을 적용하여 어플리케이션의 에너지 소비를 줄이고자 한다. 이러한 연구는 급속도로 확산되고 있는 안드로이드 기반 어플리케이션이 전력 공급이 제한적인 모바일 환경에서 최적화된 전력 에너지 소비할 수 있는 환경을 구축하는 데 활용할 수 있다.