• Journal of applied mathematics & informatics
• /
• 제25권1_2호
• /
• pp.231-244
• /
• 2007

In this paper, we use measure theory for considering asymptotically stable of an autonomous system [1] of first order nonlinear ordinary differential equations(ODE's). First, we define a nonlinear infinite-horizon optimal control problem related to the ODE. Then, by a suitable change of variable, we transform the problem to a finite-horizon nonlinear optimal control problem. Then, the problem is modified into one consisting of the minimization of a linear functional over a set of positive Radon measures. The optimal measure is approximated by a finite combination of atomic measures and the problem converted to a finite-dimensional linear programming problem. The solution to this linear programming problem is used to find a piecewise-constant control, and by using the approximated control signals, we obtain the approximate trajectories and the error functional related to it. Finally the approximated trajectories and error functional is used to for considering asymptotically stable of the original problem.

• 한국정보과학회논문지:시스템및이론
• /
• 제35권3호
• /
• pp.141-149
• /
• 2008

대부분의 함수형 프로그래밍 언어에서는 '위에서 아래쪽, 왼쪽에서 오른쪽 방향으로' 패턴 매칭(pattern matching)을 한다는 전략에 따라, 모호한(ambiguous) 특성을 갖는 룰의 정의를 허용하고 있다. 이 방법은 함수형 프로그래머에게 디폴트 룰을 정의할 수 있게 하는 직관적인 편리함을 제공하지만, 한편으로 모호한 룰 때문에 함수형 언어의 의미는 불명확해 질 수 있다. 좀 더 구체적으로, 함수형 언어가 갖는 대표적인 특성인 등식 추론(equational reasoning) 원리의 적용을 불가능하게 할 수 있으며, 함수형 언어를 람다 계산법으로 변환하는 데 있어서도 정형적인 방법이 아닌 임시방편적인(ad hoc) 방법에 의존할 수밖에 없게 한다. 본 연구에서는 지연(lazy) 함수형 언어의 패턴 매칭의 의미를 순수 선언적 특성을 갖는 항 개서 시스템(Term Rewriting Systems)의 분리성(separability) 이론과 연관시키고, 분리성 이론에 따라 지연 함수형 언어가 람다 계산법으로 변환될 수 있음을 보인다.

• Journal of Information Processing Systems
• /
• 제17권3호
• /
• pp.537-555
• /
• 2021

Many researchers have carried out studies related to programming languages since the beginning of computer science. Besides programming with traditional programming languages (i.e., procedural, object-oriented, functional programming language, etc.), a new paradigm of programming is being carried out. It is programming with natural language. By programming with natural language, we expect that it will free our expressiveness in contrast to programming languages which have strong constraints in syntax. This paper surveys the approaches that generate source code automatically from a natural language description. We also categorize the approaches by their forms of input and output. Finally, we analyze the current trend of approaches and suggest the future direction of this research domain to improve automatic code generation with natural language. From the analysis, we state that researchers should work on customizing language models in the domain of source code and explore better representations of source code such as embedding techniques and pre-trained models which have been proved to work well on natural language processing tasks.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2001년도 ICCAS
• /
• pp.146.4-146
• /
• 2001

Various methods have been proposed for the time series prediction. Most of the conventional methods only optimize parameters of mathematical models, but to construct an appropriate functional form of the model is more difficult in the first place. We employ the Genetic Programming (GP) to construct the functional form of prediction models. Our method is distinguished because the model parameters are optimized by using Back-Propagation (BP)-like method and the prediction model includes discontinuous functions, such as if and max, as node functions for describing complicated phenomena. The above-mentioned functions are non-differentiable, but the BP method requires derivative. To solve this problem, we develop ...

• Computers and Concrete
• /
• 제23권4호
• /
• pp.255-265
• /
• 2019

The potential of using genetic programming to predict engineering data has caught the attention of researchers in recent years. The present paper utilized weighted genetic programming (WGP), a derivative model of genetic programming (GP), to model the compressive strength of concrete. The calculation results of Abrams' laws, which are used as the design codes for calculating the compressive strength of concrete, were treated as the inputs for the genetic programming model. Therefore, knowledge of the Abrams' laws, which is not a factor of influence on common data-based learning approaches, was considered to be a potential factor affecting genetic programming models. Significant outcomes of this work include: 1) the employed design codes positively affected the prediction accuracy of modeling the compressive strength of concrete; 2) a new equation was suggested to replace the design code for predicting concrete strength; and 3) common data-based learning approaches were evolved into knowledge-based learning approaches using historical data and design codes.

• Journal of applied mathematics & informatics
• /
• 제26권1_2호
• /
• pp.61-73
• /
• 2008

In this paper common fixed point theorems dealing with compatible mappings of type (P) are established. As a application, the existence and uniqueness of common solution for a system of functional equations arising in dynamic programming is given. The results presented in this paper improve, generalize and unify the corresponding results in this field.

• 교육시설
• /
• 제15권4호
• /
• pp.4-13
• /
• 2008

This study intended to put information regarding space composition and functional relationship together and analyze them, and finally offers some suggestions. For the field survey, built questionnaire and drawings analysis were used in this study. Architectural programming offers basic information for design : putting field survey factors together and analysing them. It interacts with each part of design as well. In the initial stage of architectural design, the quality of information is very decisive in the quality of design. In this sense, analysing basic information such as floor space compositive system is required to rationalizing space and functional programing in the elementary school design.

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2005년도 춘계 종합학술대회 논문집
• /
• pp.464-469
• /
• 2005

일반적으로 게임 프로그램을 구현할 때 C언어와 같은 명령형 프로그래밍 언어가 주로 사용된다. 하지만 복잡하고 다양한 그림의 모습 및 동작을 표현하기에는 프로그래머의 많은 노력이 요구된다. 복잡한 게임 프로그램을 보다 간결하고 명확하게 표현하는 방법으로 순수 함수형 언어인 Haskell을 이용하는 방법을 시도한다. Haksell과 같은 순수 함수형 프로그래밍은 기술적인 우수성을 가지고 있으며, 현재 많은 분야에서 특화된 언어로 되고 있다. 본 논문에서는 동일한 게임을 Haskell과 C로 직접 구현함으로서, 게임 개발 측면에서 두 언어의 차이점과 장단점에 대해서 논의한다. 또한 향후 Haskell의 실용화 가능성에 대해서도 논의한다.

• 한국컴퓨터정보학회논문지
• /
• 제26권1호
• /
• pp.11-17
• /
• 2021

본 논문에서는 순수 함수형 언어로 작성된 쌍방시뮬레이션 알고리듬의 성능을 멀티코어 프로세서 컴퓨터에서 병렬화로 향상시키는 방법을 연구한다. 이 병렬화에 있어 핵심 아이디어는 순수 함수형 프로그램의 참조 투명성을 십분 활용하면 병렬화가 전혀 고려되지 않고 작성된 초기 구현으로부터 최소한의 수정만으로 성능 개선 효과를 기대할 수 있다는 것이다. 초기 구현과 병렬화 구현 둘 다 순수 함수형 언어인 하스켈로 작성되었다. 초기 구현을 병렬화할 때 변화는 아주 적어서 병렬화된 구현에서도 초기 구현의 프로그램 구조가 거의 그대로 유지되었다. 벤치마크를 통해 제시된 간단한 병렬화만으로도 초기 구현과 비교해 두 배 이상의 성능 개선을 확인했다. 또한, 병렬화와는 별개의 최적화 기법인 메모이제이션이 적용된 버전의 쌍방시뮬레이션 구현에도 같은 방식의 병렬화를 적용함으로써 마찬가지로 성능을 개선할 수 있음을 확인하였다.

• 대한전기학회논문지:전력기술부문A
• /
• 제55권10호
• /
• pp.418-425
• /
• 2006

This paper describes a simulation package for a power system using objected-oriented programming. The package includes four parts which are a power flow, a short circuit calculation, a transient simulation program, and an economic dispatch. The graphical user interface(GUI) is designed as a common platform which allows the user to create one-line diagrams of systems, specify components of power systems as well as simulation parameters, and view the output produced by the chosen application. The paper presents the data structure of the functional modules such as the draw module, power system data module, the power system simulation module, and the utility module using the object oriented programming. This package may be useful for educational and research purposes.