• 정보처리학회논문지A
• /
• 제19A권1호
• /
• pp.69-72
• /
• 2012

고전 논리나 선형 논리에 기반한 논리 프로그래밍에서는 순차적 작업이나 순차적 순환 작업을 표현하는 구문이 결여되어 있다. 최근 순차적 작업을 표현하는 구문 - $G_1{\cap}G_2$ 이 제시되었는데 이는 Japaridze의 game 모델에 기반을 두고 있다. 본 논문에서는 ${\cap}_x^LG$의 형태를 갖고 있는 순차적 순환 작업을 제안하고 있다. 여기서 $x$는 변수이고, $L$은 리스트이고, $G$는 목표작업을 의미한다. 기호 ${\cap}_x^L$는 순차적 유한 정량자라고 불린다. 위 구문을 다음과 같은 작업을 의미한다: $x$에 $L$의 원소들의 값을 차례로 대입하여 순차적으로 반복 수행하시오.

• 한국항공우주학회지
• /
• 제50권11호
• /
• pp.771-781
• /
• 2022

순차 컨벡스 최적화 기법을 사용한 궤적 최적화로 무인기 기초 설계 형상의 성능 분석을 수행했다. 외부 공력 모델로 설계한 비선형 궤적 최적화 문제는 볼록화와 이산화를 통해 2차 원뿔 프로그램 문제로 근사 되었다. 알고리즘의 성능 향상을 위해 제약조건을 완화한 문제의 해를 초기 궤적으로 사용했다. 근사해의 반복적인 탐색으로 하강 궤적 최적화 문제들을 분석했으며 설계 형상의 구동부 성능에 따른 최대 도달 속도를 비교했다.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2003년도 춘계학술대회
• /
• pp.1441-1446
• /
• 2003

The design optimization of the plate heat exchanger with staggered pin arrays for a fixed volume is performed numerically. The flow and thermal fields are assumed to be a streamwise-periodic flow and heat transfer with constant wall temperature and they are solved by using the finite volume method. The optimization is carried out by using the sequential linear programming (SLP) method and the weighting method is used for solving the multi-objective problem. The results show that the optimal design variables for the weighting coefficient of 0.5 are as follows; S=6.497mm, P=5.496mm, $D_1=0.689mm$, and $D_2=2.396mm$. The Pareto optimal solutions are also presented.

• 정보교육학회논문지
• /
• 제22권3호
• /
• pp.297-305
• /
• 2018

피지컬 컴퓨팅은 컴퓨팅을 인간과 환경, 사물의 영역으로 확장한 개념으로 하드웨어와 소프트웨어 통합한 물리적 산출물 기반의 프로그래밍 학습매체로 주목받고 있다. 본 연구에서는 기술적 자유도가 높은 피지컬 컴퓨팅의 특징을 활용한 인터랙티브 프로토타이핑 기반의 프로그래밍 학습 모형을 개발하고 실험연구를 통해 학습 효과를 분석하였다. 실험처치 효과 검증을 위해 초등학교 5학년 59명 학습자를 대상으로 실험집단과 통제집단으로 구성하고 실험집단에는 인터랙티브 프로토타이핑 프로그래밍 학습모형을 적용하고 통제집단에는 선형순차 프로그래밍 학습모형을 적용하였다. 실험처치 전 후 정보과학 창의적 성향 검사를 실시하였고 두 집단의 사전검사 점수를 공변량으로 처리한 공분산분석(ANCOVA) 결과 유의수준 .05에서 학습 효과가 있음을 증명하였다. 이를 통해 초등학교 5학년 학습자를 대상으로 피지컬 컴퓨팅 기반의 인터랙티브 프로토타이핑 프로그래밍 학습모형의 프로그래밍 학습에 적용 가능성을 시사한다.

• 한국통신학회논문지
• /
• 제31권3B호
• /
• pp.183-198
• /
• 2006

매체공유기반 통신 시스템은 매체접근제어 과정에서 단말기의 채별 점유 제약 조건에 따라 크게 완전매체공유 시스템과 불완전매체 공유 시스템으로 구분할 수 있다 본 논문은 불완전매체공유 시스템의 매체접근제어기법의 개발을 위해 채널할당기법을 다루었다. 최적 채널할당기법은 채널할당 문제를 다중항목흐름(multi-commodity flow) 최대화 문제로 간주하고 선형 프로그래밍 문제를 유도하여 전역 최적해를 구한다. 또한 연산 복잡도를 낮추기 위한 대안으로 준최적 채널할당기법을 제안한다. 이 방식은 2단 iSLIP 채널할당기법과 순차적(sequential) 채널할당기법으로 구분하여 제안한다. 모의실험 결과 순차적 채널할당기법이 2단 iSLIP 채널할당기법 비해 상대적으로 낮은 연산 복잡도와 우월한 성능을 나타냄을 확인할 수 있었다.