• 제목/요약/키워드: Goal Programming

검색결과 294건 처리시간 0.023초

D* 서치와 퍼지 알고리즘을 이용한 모바일 로봇의 충돌회피 주행제어 알고리즘 설계 (Development of a Navigation Control Algorithm for Mobile Robots Using D* Search and Fuzzy Algorithm)

  • 정윤하;박효운;이상진;원문철
    • 대한기계학회논문집A
    • /
    • 제34권8호
    • /
    • pp.971-980
    • /
    • 2010
  • 이 논문은 모바일 로봇이 고정 장애물 또는 움직이는 장애물이 존재하는 환경에서 장애물을 회피하며 운행될 수 있는 제어 알고리즘을 연구하였다. 이 제어 알고리즘은 $D^*$ 알고리즘과, 충돌 위험도 퍼지로직, 이동로봇의 행동결정 퍼지로직을 사용하여 전역경로계획과 지역경로계획을 수행한다. $D^*$ 알고리즘에는 로봇이 이동하는 2 차원 공간을 정방형 격자 분활하여 적용한다. 이 알고리즘은 파이썬 프로그래밍 언어와 이동로봇의 운동방정식을 사용한 시뮬레이션을 통해 검증하였다. 시뮬레이션 결과를 통해 알고리즘을 적용하여 로봇이 이동하는 장애물을 피하거나 모르는 고정 장애물을 피하면서 원하는 위치로 이동하는 것을 볼 수 있다.

VHDL을 이용한 프로그램 가능한 스택 기반 영상 프로세서 구조 설계 (Design of Architecture of Programmable Stack-based Video Processor with VHDL)

  • 박주현;김영민
    • 전자공학회논문지C
    • /
    • 제36C권4호
    • /
    • pp.31-43
    • /
    • 1999
  • 본 논문의 주요 목표는 고성능 SVP(Stack-based Video Processor)를 설계하는 것이다. SVP는 과거에 제안된 스택 머신과 영상 프로세서의 최적의 측면만을 선택함으로써 더 좋은 구조를 갖도록 하는 포괄적인 구조이다. 본 구조는 객체 지향형 프로그램의 소규모의 많은 서브루틴을 가지고 있기 때문에 스택 버퍼를 갖는 준범용 S-RISC(Stack-based Reduced Instruction Set Comuter)를 이용하여 객체 지향형 영상 데이터를 처리한다. 그리고 MPEG-4의 반화소 단위 처리와 고급 모드 움직임 보상, 움직임 예측, SA-DCT(Shape Adaptive-Discrete Cosine Transform)가 가능하며, 절대값기, 반감기를 가지고 있어서 부호화하기로 확장할 수 있도록 하였다. SVP는 0.6㎛ 3-메탈 계층 CMOS 표준 셀 기준을 이용하여 설계되었으며, 110K 로직 게이트와 12Kbit SRAM 내부 버퍼로 이루어지고 50 MHz의 동작 속도를 가진다 . MPEG-4의 VLBL(Very Low Bitrate Video) 최대 전송율인 QCIF 15fps(frame per second)로 영상 재생 알고리즘을 수행한다.

  • PDF

다중 사용자 온라인 게임 개발을 통한 소프트웨어 개발 교육 (Software Development Education through Developing a usable Multiplayer Online Game)

  • 윤일미;게리 앵;권오영
    • 한국실천공학교육학회논문지
    • /
    • 제4권2호
    • /
    • pp.38-45
    • /
    • 2012
  • 게임제작은 전산학을 가르치는 효과적이고 매력적인 방법이다. 다중사용자 게임제작은 기술, 팀웍, 소프트웨어 공학등 중요한 측면들을 요구하고 있다. 전체 클래스를 다수의 팀으로 구성하고, 학생들은 하나 혹은 두 개의 팀에 속하였다. 각 팀은 한학기동안 자신들의 진행상황을 발표하고, 향후 이정표와 트러블슈팅에 대해 논의하고, 명확한 소통을 위해 문서를 갱신하고, SVN(Subversion)을 활용하였다. 다른 클래스 구성과 달리, 모든 학생이 하나의 목적을 달성하려는 회사처럼 서로 협력하여 일을 했다. 한학기동안 학생들은 개념설계부터 시작해서 "deBugger(2009)"와 "World of Balance(2011)"라는 다중사용자 온라인 게임을 완성했다. 더불어 게임설계, 3D 그래픽스, 게임엔진, 서버-클라이언트 구조, 게임프로토콜, 네트워크 프로그래밍, 데이터베이스, 소프트웨어공학, 팀 프로젝트로서 대규모 어플리케이션 제작방법들을 학습할 수 있었다.

  • PDF

유비쿼터스 기반의 건강진단 자동화 시스템의 설계 (The Design of Automated System for Ubiquitous Healthcare Examination)

  • 궁상환
    • 한국산학기술학회논문지
    • /
    • 제8권3호
    • /
    • pp.541-548
    • /
    • 2007
  • 비즈니스 오퍼레이션의 핵심기능인 워크플로우는 비즈니스 프로세스(process)에서 공통적으로 나타나는 업무 절차의 핵심적인 요소와 이 요소들 간의 관계를 모델화한 것이다. 본 연구에서는 최근 우리 주변에서 쉽게 접하게 되는 건강진단 프로세스에서, 어떻게 워크플로우를 활용할 수 있을 가하는 방법에 초점을 맞추고 있다. 특히, RFID(Radio Frequency Identification) 태그가 부착된 PDA(Personal Digital Assistance)를 피검사자에게 제공하여 건강진단 프로세스의 완벽한 자동화를 실현하도록 하고 있다. 이를 위하여, 논문에서는 유비쿼터스 환경에서의 건강진단 프로세스를 실현하기 위한 소프트웨어 아키텍처의 설계와 아울러, 클래스의 구조 설계, 주요 메시지의 정의, 그리고 검사간 라우팅 알고리즘 등 구체적인 설계내용을 제안하고 있다. 다시말해, 건강진단 응용의 환경 및 서비스 시나리오에 대한 분석을 토대로, 자바와 같은 객체지향언어 환경에서 워크플로우 엔진과 건강진단 응용에 대한 소프트웨어 설계를 제안하고 있다. 본 연구의 결과는 도우미 중심적인 건강진단 프로세스의 무인화를 가능하게 하고, 나아가 많은 건강진단 센터들이 유비쿼터스 기반의 건강진단 프로세스를 현실화할 수 있을 것으로 사료된다.

  • PDF

Parallel task scheduling under multi-Clouds

  • Hao, Yongsheng;Xia, Mandan;Wen, Na;Hou, Rongtao;Deng, Hua;Wang, Lina;Wang, Qin
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • 제11권1호
    • /
    • pp.39-60
    • /
    • 2017
  • In the Cloud, for the scheduling of parallel jobs, there are many tasks in a job and those tasks are executed concurrently on different VMs (Visual machines), where each task of the job will be executed synchronously. The goal of scheduling is to reduce the execution time and to keep the fairness between jobs to prevent some jobs from waiting more time than others. We propose a Cloud model which has multiple Clouds, and under this model, jobs are in different lists according to the waiting time of the jobs and every job has different parallelism. At the same time, a new method-ZOMT (the scheduling parallel tasks based on ZERO-ONE scheduling with multiple targets) is proposed to solve the problem of scheduling parallel jobs in the Cloud. Simulations of ZOMT, AFCFS (Adapted First Come First Served), LJFS (Largest Job First Served) and Fair are executed to test the performance of those methods. Metrics about the waiting time, and response time are used to test the performance of ZOMT. The simulation results have shown that ZOMT not only reduces waiting time and response time, but also provides fairness to jobs.

바이트코드 최적화기 (The Bytecode Optimizer)

  • 이야리;홍경표;오세만
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제30권1_2호
    • /
    • pp.73-80
    • /
    • 2003
  • 자바언어는 인터넷 및 분산 환경 시스템에서 효과적으로 응용 프로그램을 개발할 수 있도록 설계된 프로그래밍 언어로써 객제지향 패러다임 특성 및 다양한 개발 환경을 지원하고 있다. 그러나, 자바는 클래스 파일이 이동하여 JVM 환경에서 인터프리팅 되는 시스템이므로, 성능의 저하 없이 실행되기 위해서는 효율적인 최적화와 실행 시스템이 요구된다. 본 논문은 네트워크 상에서 동적으로 다운로드 되는 클래스 파일을 바이트코드 수준에서 최적화하였다. 최적화된 바이트코드들이 인터프리팅 되는 시스템에서 적은 네트워크 로드를 가지고 실행할 수 있도록 하며, 효율적인 실행 속도를 보이도록 하는 것이다. 본 논문에서 구현된 바이트코드 최적화기에서는 내부적으로 바이트코드 최적화기와 클래스 파일 생성기를 이용하여 실행시간을 개선하고 전체 클래스 파일의 크기를 줄이게 된다. 바이트코드 최적화기는 바이트코드를 클래스사이의 계층 분석과 제어 흐름의 분석을 통하여 클래스들간의 연관 관계를 분석한 후 그래프를 구성하고, 패턴 탐색 결과 기본 블록 분리를 통하여 전역 최적화를 이루고, 기본 블록 안에서의 연산강도 경감, 그리고 도달할 수 없는 코드 블록의 제거를 수행한다. 바이트코드 최적화 단계를 수행한 클래스 파일은 부분적으로 클래스 파일의 최적화를 가져와 전체 클래스 파일의 크기를 줄이고, 인터프리터를 통하여 실행될 때 수행 속도 면에서 좀더 빠른 실행속도를 가지게 된다.

토지 획득 문제에서 공간적 밀집도 측정을 위한 최적화 연구 (An Optimization Approach for a Spanning Tree-Based Compactness Measure in Contiguous Land Acquisition Problems)

  • 김명진
    • 대한지리학회지
    • /
    • 제46권6호
    • /
    • pp.724-737
    • /
    • 2011
  • 토지 획득 문제(land acquisition problems)란 일련의 목적에 맞게 서로 인접하고 있는 최적의 토지 필지들을 찾는 것이다. 이 문제는 도시 및 지역 계획과 각종 구획 문제 등에서 사회적 활용도가 높은 분야로서, 공간적 요소인 인접성(contiguity)와 밀집도(compactness)는 중요한 제약요소로 다루어지고 있다. 그렇지만, 공간적 밀집도(spatial compactness)는 완벽한 측정방법이 존재하지 않고, 획득된 필지들의 둘레를 제거나, 모양을 측정하는 등의 여러 가지 방법으로 측정되고 있다. 그리하여 이 논문에서는 공간적 밀집도를 측정하는 새로운 방법을 제시하고자 한다. 인접한 토지 필지간의 내부적인 구조적 특징을 바탕으로 proximity degree라고 불리는 공간적 밀집도를 측정하는 최적화 연구모델(optimization model)을 발전시켰다. 일련의 실험을 통해 proximity degree에 따라 다양한 공간적 밀집도를 가진 모습을 확인할 수 있다.

소스 코드에 포함된 코딩 패턴의 특성과 출현 위치 관련성에 대한 분석 (Analysis of characteristics and location of the appearance for codding pattern in the source code)

  • 김영태;공헌택;김치수
    • 디지털융복합연구
    • /
    • 제11권7호
    • /
    • pp.165-171
    • /
    • 2013
  • 코딩 패턴이란 소스 코드에 자주 나타나는 전형적인 코드 조각이다. 소프트웨어에서 로깅이나 동기화 처리 등 모듈화가 곤란한 기능과 프로그래밍의 상용구 등이 코딩 패턴으로 추출된다. 기존에 소스 코드에 대한 패턴 마이닝을 이용한 코딩 패턴 감지 방법이 제안되었지만, 수동으로 조사 가능한 코딩 패턴의 수는 한정되어 있기 때문에 대규모 소프트웨어 등에 대한 충분한 분석은 할 수 없다. 본 논문에서는 개발자가 분석하고자 하는 코딩 패턴만을 추출하는 것을 목표로 코딩 패턴의 특성 평가 척도로 6개의 지표를 선정하여 4개의 오픈 소스에 대한 분석을 실시했다. 매트릭스 사이의 값의 관계와 실제 패턴의 특징을 분석한 결과, 패턴의 인스턴스 수, 인스턴스의 분포의 넓이, 패턴의 요소에 포함되는 반복 구조 비율 등의 지표 등을 분석해야 패턴 선택에 도움이 되는 것을 확인했다.

중등 정보과학 영재 사사 교육을 위한 회로 최소화 알고리즘 성능 평가 (A Performance Evaluation of Circuit Minimization Algorithms for Mentorship Education of Informatics Gifted Secondary Students)

  • 이형봉;권기현
    • 정보처리학회논문지:컴퓨터 및 통신 시스템
    • /
    • 제4권12호
    • /
    • pp.391-398
    • /
    • 2015
  • 이 연구에서는 중등 심화 과정을 마치고 사사 과정에 진입한 최우수 정보과학 영재 교육을 위한 회로 최소화 알고리즘의 성능 개선 및 평가 과정을 보인다. 이 과정에서 학생들은 원하는 목표 기능을 얻기 위한 논리 회로는 꼭 한 가지가 아니고 다양하게 구성할 수 있다는 점과 이들 중 가장 간단한 회로를 찾을 수 있는 방법의 필요성을 인식하게 된다. 수작업으로 이루어지는 까르노 맵에서 회로 최소화를 위한 기본 원리를 터득하고, 그 과정을 소프트웨어로 수행하는 Quine-McCluskey 알고리즘을 탐구한다. Quine-McCluskey 알고리즘은 기본적으로 집합 연산의 반복에 의해 중복성을 도출하고 축약하는 과정을 반복한다. 집합 연산은 두 집합을 구성하는 원소들에 대한 비교 연산으로 이루어지므로 복잡도가 높다. 이를 해결하는 방법으로 원소 나열식 집합을 비트 정보로 표현하는 방안을 모색하고, 그 결과 약 36%의 성능 향상이 이루어짐을 보게 된다. 이 과정의 궁극적 목표는 영재 학생들이 전자 스위치, 논리 게이트, 논리 회로, 프로그래밍 언어, 데이터 구조, 알고리즘 등을 포괄하는 컴퓨터과학 학문에 대한 흥미와 지식 통합적 안목을 기르는 데 있다.

Propulsion System Design and Optimization for Ground Based Interceptor using Genetic Algorithm

  • Qasim, Zeeshan;Dong, Yunfeng;Nisar, Khurram
    • 한국추진공학회:학술대회논문집
    • /
    • 한국추진공학회 2008년 영문 학술대회
    • /
    • pp.330-339
    • /
    • 2008
  • Ground-based interceptors(GBI) comprise a major element of the strategic defense against hostile targets like Intercontinental Ballistic Missiles(ICBM) and reentry vehicles(RV) dispersed from them. An optimum design of the subsystems is required to increase the performance and reliability of these GBI. Propulsion subsystem design and optimization is the motivation for this effort. This paper describes an effort in which an entire GBI missile system, including a multi-stage solid rocket booster, is considered simultaneously in a Genetic Algorithm(GA) performance optimization process. Single goal, constrained optimization is performed. For specified payload and miss distance, time of flight, the most important component in the optimization process is the booster, for its takeoff weight, time of flight, or a combination of the two. The GBI is assumed to be a multistage missile that uses target location data provided by two ground based RF radar sensors and two low earth orbit(LEO) IR sensors. 3Dimensional model is developed for a multistage target with a boost phase acceleration profile that depends on total mass, propellant mass and the specific impulse in the gravity field. The monostatic radar cross section (RCS) data of a three stage ICBM is used. For preliminary design, GBI is assumed to have a fixed initial position from the target launch point and zero launch delay. GBI carries the Kill Vehicle(KV) to an optimal position in space to allow it to complete the intercept. The objective is to design and optimize the propulsion system for the GBI that will fulfill mission requirements and objectives. The KV weight and volume requirements are specified in the problem definition before the optimization is computed. We have considered only continuous design variables, while considering discrete variables as input. Though the number of stages should also be one of the design variables, however, in this paper it is fixed as three. The elite solution from GA is passed on to(Sequential Quadratic Programming) SQP as near optimal guess. The SQP then performs local convergence to identify the minimum mass of the GBI. The performance of the three staged GBI is validated using a ballistic missile intercept scenario modeled in Matlab/SIMULINK.

  • PDF