• 디지털콘텐츠학회 논문지
• /
• 제19권4호
• /
• pp.809-814
• /
• 2018

클라우드 컴퓨팅 기반 인프라가 확산됨에 따라, 서비스 프로바이더는 온-디맨드 방식의 서비스 배포가 가능해졌다. 최근 클라우드형 인프라의 자원 확장성 효율을 극대화하기 위해 마이크로 서비스 구조가 주목받고 있다. 모든 서비스 기능을 하나의 소프트웨어로 구현하는 대신 필요한 서비스를 효율적으로 설계된 Application Programming Interface (API)를 통해 연동함으로써 쉽고 자율적으로 구현할 수 있고, 기능의 요구사항에 맞는 프로그래밍 언어, 소프트웨어, 기능구조를 자유로이 정할 수 있다. 본 논문에서는 마이크로 서비스 구조를 기반으로 가상 인프라 매니저 서비스를 설계하고 제안된 구조가 부하에 따라 효율적으로 스케일링이 가능함을 실험을 통해 검증한다.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2017년도 춘계학술대회
• /
• pp.430-433
• /
• 2017

동시성을 보장하는 프로그래밍은 개발자에게 있어서 필수적이다. 이를 사용하지 않는다면 하드웨어 자체의 기술 발전이 있지 않는 한 프로그램의 속도 향상을 기대하기 힘들다. 뛰어난 동시성 코드를 지원하는 프로그래밍 언어로 go, elixir, scala 등이 있다. 수많은 유용한 라이브러리를 지원하는 파이썬 역시 asyncio나 coroutine과 같은 동시성 프로그래밍을 지원하고 있다. 본 지에서는 동시성과 병렬성의 개념을 정의하며, 파이썬에서 동시성 프로그래밍을 작성할 시에 유의해야 할 점에 대해 설명한다. 웹 데이터를 수집하는 크롤러를 동시성 코드로 작성하여 순차, 멀티스레딩 코드로 작성된 프로그램과 성능을 비교한다.

• Journal of applied mathematics & informatics
• /
• 제7권1호
• /
• pp.183-193
• /
• 2000

In this paper we use measure theory to solve a wide range of second-order boundary value ordinary differential equations. First, we transform the problem to a first order system of ordinary differential equations(ODE's)and then define an optimization problem related to it. The new problem in modified into one consisting of the minimization of a linear functional over a set of Radon measures; the optimal measure is then approximated by a finite combination of atomic measures and the problem converted approximatly to a finite-dimensional linear programming problem. The solution to this problem is used to construct the approximate solution of the original problem. Finally we get the error functional E(we define in this paper) for the approximate solution of the ODE's problem.

• East Asian mathematical journal
• /
• 제25권1호
• /
• pp.11-26
• /
• 2009

In this paper, the concepts of compatible mappings of types (A) and (P) are introduced in an induced metric space, two common xed point theorems for two pairs of compatible mappings of types (A) and (P) in an induced complete metric space are established. As their applications, the existence and uniqueness results of common solution for a system of functional equations arising in dynamic programming are discussed.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제28권1호
• /
• pp.1-13
• /
• 2021

In this note we use a generalization of coincidence point(a property which was defined by [1] in symmetric spaces) to prove common fixed point theorem on S-metric spaces for weakly compatible maps. Also the results are used to achieve the solution of an integral equation and the bounded solution of a functional equation in dynamic programming.

• Nonlinear Functional Analysis and Applications
• /
• 제26권5호
• /
• pp.1077-1089
• /
• 2021

In this article, we introduce the quasi strongly E-convex function and pseudo strongly E-convex function on strongly E-convex set which generalizes strongly E-convex function defined by Youness [10]. Some non trivial examples have been constructed that show the existence of these functions. Several interesting properties of these functions have been discussed. An important characterization and relationship of these functions have been established. Furthermore, a nonlinear programming problem for quasi strongly E-convex function has been discussed.

• 한국정보처리학회논문지
• /
• 제2권5호
• /
• pp.733-745
• /
• 1995

본 연구는 함수언어의 번역기 개발을 목적으로 한다. 이를 위하여 지연어의를 갖 는 원시함수 언어를 정의하고 그것의 번역기를 설계, 구현, 평가한다. 함수프로그램의 실행모형은 G-기계를 기반으로 한 컴비네이터 그래프축소이다. 번역기는 전체 4단계로 구성되며 원시프로그램을 C를 사용한 목적프로그램으로 번역한다. 번역기의 첫 번째 단계에서는 원시프로그램을 확장람다계산 그래프로 번역하고, 두 번째 단계에서 수 퍼컴비네이터그래프로 변환하고, 세 번째 단계에서 G-기계어 프로그램으로 번역하고, 마지막 단계에서 G-기계어 프로그램을 C로 번역한다. 생성된 목적 프로그램은 C 컴파 일러에 의해서 실행 프로그램은 번역한다. 번역기 구현은 UNIX환경에서 컴파일러 자동 화 도구인 YACC, Lex를 이용하여 구문분석기, 어휘분석기를 구현하고, 그 외의 루틴은 C로 구현한다. 본 논문에서는 번역기에 사용된 구현기법과 수행결과를 기술한다.

• 한국컴퓨터정보학회논문지
• /
• 제24권10호
• /
• pp.267-278
• /
• 2019

교육에서 테크놀로지의 중요성이 증가함에 따라 수업에서 테크놀로지 활용을 촉진하기 위하여 TPACK 연구가 활발하게 진행되었다. 하지만 테크놀로지가 가진 기능적인 한계로 인하여 예비 교사는 수업에서 테크놀로지 활용에 어려움을 겪고 있었다. 따라서 본 연구에서는 기능적 한계가 존재하지 않는 프로그래밍 언어를 TPACK의 테크놀로지 도구로 도입하는 연구를 진행하였다. 연구 방법으로 설계 기반 연구를 활용하여, 교육 프로그램을 개발하고, 예비 교사를 대상으로 적용하고, 효과를 평가하는 연구를 반복하여 진행하였다. 1차 연구에서는 예비 교사가 프로그래밍 학습에 어려움을 겪었으며, 이를 해결하기 위하여 프로그래밍 기반 수업과 교육과정 분석을 교육프로그램에 보완하였다. 2차 연구에서는 교수-학습에서 프로그래밍의 활용에 어려움을 느껴서, 수업 설계 및 성찰을 보완하였다. 3차 연구에서는 프로그래밍 학습 및 활용을 보완하기 위하여 프로그래밍 개발 환경 탐색을 보완하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권12호
• /
• pp.800-807
• /
• 2008

프로그래밍 언어의 구문 구조(syntax)와 메타이론을 정형화(formalization)하고 관련된 명세(specification)의 증명을 자동화(automatization)하는 과정에서 일어날 수 있는 모든 종류의 변수 묶기(variable binding)를 정형적(formal)으로 구현, 해결하는 방식을 개략적으로 소개한다. 또한 함수언어(functional language)의 기본으로 사용되는 Lambda calculus와 연계해서 POPLmark Challenge와 관련된 시도들의 공통점, 차이점 및 각각의 특성을 증명보조 툴인 Coq에서 구현된 간단한 예제들을 통해 보여준다.

• Journal of applied mathematics & informatics
• /
• 제14권1_2호
• /
• pp.97-113
• /
• 2004

In this paper we shall study moving boundary problems, and we introduce an approach for solving a wide range of them by using calculus of variations and optimization. First, we transform the problem equivalently into an optimal control problem by defining an objective function and artificial control functions. By using measure theory, the new problem is modified into one consisting of the minimization of a linear functional over a set of Radon measures; then we obtain an optimal measure which is then approximated by a finite combination of atomic measures and the problem converted to an infinite-dimensional linear programming. We approximate the infinite linear programming to a finite-dimensional linear programming. Then by using the solution of the latter problem we obtain an approximate solution for moving boundary function on specific time. Furthermore, we show the path of moving boundary from initial state to final state.