• Journal of Korean Society of Coastal and Ocean Engineers
• /
• v.33 no.3
• /
• pp.122-130
• /
• 2021

A wind-speed estimation at the arbitrary elevations is key component for the design of the offshore wind energy structures and the computation of the wind-wave generation. However, the wind-speed estimation of the target elevation has been carried out by using the typical functions and their typical parameters, e.g., power and logarithmic functions because the available wind speed data is limited to the specific elevation, such as 2~3m, 10 m, and so on. In this study, the parameters of the vertical profile functions are estimated with optimal and analyzed the parameter ranges using the HeMOSU-1 platform wind data monitored at the eight different locations. The results show that the mean value of the exponent of the power function is 0.1, which is significantly lower than the typically recommended value, 0.14. The values of the exponent, the friction velocity, and the roughness parameters are in the ranges 0.0~0.3, 0~10 (m/s), and 0.0~1.0 (m), respectively. The parameter ranges differ from the typical ranges because the atmospheric stability condition is assumed as the neutral condition. To improve the estimation accuracy, the atmospheric condition should be considered, and a more general (non-linear) vertical profile functions should be introduced to fit the diverse profile patterns and parameters.

• Korea journal of population studies
• /
• v.13 no.2
• /
• pp.48-55
• /
• 1990

월리스의 생산력-소득수준 결정모형에서 자녀에 대한 수요가 자녀의 수와 자녀교육의 질에 대하여 비동차함수 형태를 취할때 자녀수요에 미치는 현존가격의 변화에 따른 소득효과 및 대체효과를 대수적으로 유도하고 이 의미를 기하학적으로 확인해 보는데 본 글의 의의가 있다. 대수적으로 자녀수요(C)를 단순히 자녀의 수(N)와 자녀 교육(Q)의 곱으로 C=NQ와 같이 나타낸 월리스의 모형에서 이를 C=f(N,Q)와 같이 일반적인 함수 형태를 취할때에 소비자 이론의 기본적인 작용 극대화를 통하여 자녀수요를 도출하였다. 기하학적으로는 대수적으로 도출된 자녀수요에 대한 가치효과들을 자녀의 수와 자녀 교육의 질에 대한 상대적 현존 가치를 고려하여 자녀수요의 변화, 자녀수 및 자녀 교육의 질 사이에 관계를 도시하였다.

• Journal of KIISE:Information Networking
• /
• v.29 no.4
• /
• pp.346-351
• /
• 2002

We improve a new probabilistic public key cryptosystem, in which the one wav function was defined only on the discrete logarithmic functions, proposed by Okamoto and Uchiyama. The plaintexts are calculated from the modular product of two these functions, one of which has a fixed value depending on a given public key. The improvement is achieved by a well-chosen public key assuming an unit element 1 as the fixed function value. Because it is possible to reduce the number of operations at the decryption. Also the concrete method for a public key of our improved scheme is suggested.

• School Mathematics
• /
• v.10 no.1
• /
• pp.43-61
• /
• 2008

This study is based on the pedagogical aspect that both connections of mathematical concepts and a geometric approach enhance the understanding of structures in school mathematics. This study is to investigate the graphical properties of quadratic functions such as symmetry, coordinates of vertex, intercepts and congruency through the geometric properties of graphs of linear functions. From this investigation this study would give suggestions on a new pedagogical perspective about current teaching and learning methods of quadratic function graphs which is focused on routine algebraic transformation of the completing squares. In addition, this study would provide the topic of quadratic function graphs with the understanding of geometric perspective.

• Proceedings of the KIEE Conference
• /
• 1999.11c
• /
• pp.564-566
• /
• 1999

계측 시스템이나 시스템 식별을 수행할 때 정확히 모델링 되는 플랜트를 가정할 경우, 입출력 신호간 혹은 상태 변수들 사이의 비선형 함수 관계를 유도해 낼 수 있다. 그런데 특히 비선형 함수가 매우 복잡하여 해를 닫힌 형태로 구할 수 없을 경우 고려하는 변수들 양자간의 수학적 모델링을 기반으로 루프내 변수가 방정식의 해로 수렴하는 대수 루프를 구성할 수 있다. 이는 모델을 정확히 아는 시스템에 대하여 출력으로부터 입력을 추정하는 역시스템(inverse system)을 구성하는 것과 유사하다. 이러한 개념을 응용한 간단한 예로 용량형 센서의 입출력 비선형성을 제거해주는 역시스템을 대수 루프를 통하여 구현하였다. 또한 구현한 루프가 항상 유일한 해로 수렴할 수 있도록 하는 조건을 구하였다. 해석된 결과를 바탕으로 구현된 루프가 컴퓨터 시뮬레이션 및 아날로그 회로 실험에서도 잘 동작함을 검증하였다. 시뮬레이션 결과로 보인 잡음에 대한 강인성과 실제 회로 실험 결과는 대수 루프의 구현이 실제 용량형 센서 등에 용이하게 적용될 수 있음을 보여준다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.15 no.6
• /
• pp.105-110
• /
• 2005

The linearized polynomial fan be regarded as a generalization of the identity function so that the inverse of the linearized polynomial is a generalization of e inverse function. Since the inverse function has so many good cryptographic properties, the inverse of the linearized polynomial is also a candidate of good Boolean functions. In particular, a construction method of vector resilient functions with high algebraic degree was proposed at Crypto 2001. But the analysis about the algebraic degree of the inverse of the linearized Polynomial. Hence we correct the inexact result and give the exact maximal algebraic degree.

• Journal of Soil and Groundwater Environment
• /
• v.7 no.1
• /
• pp.3-14
• /
• 2002

We analyzed hydrologic time-series data obtained from a fractured aquifer in Wonju and a porous shallow aquifer in Uiwang area. Auto-correlation, spectral density, and cross-correlation functions were used for the analyses. Water level at a shallow well in Wonju was weakly auto-correlated and it was sensitive to direct infiltration from rainfall through soil zone while that at a well screened in the fractured zone showed a relative stability to an outer stress (rainfall), which was derived from a delayed transmission of recharge stress through a fracture network from a remote area. Characteristics of time-series data in Uiwang area were similar to those in the fractured zone in Wonju. This was caused by a regional recharge from a distant area rather than a direct infiltration. This study demonstrated a usefulness of time series analyses for identification of recharge mechanism.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2000.05a
• /
• pp.83-88
• /
• 2000

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.20 no.5
• /
• pp.116-124
• /
• 2006

No matter how the equally spaced grounding grid is designed there are many problem. The best-fitted design for unequally spaced grounding grid is a part that must be considered. This paper Suggest a new way of calculation for grounding grid space of ground conductor by an algebraic function control(The first-order function, Root function, Polynomial function etc.) and on the optimal spaced grounding conductor that make the under 2[%] between maximum potential and minimum potential.

• Journal of the Korea Society of Computer and Information
• /
• v.28 no.2
• /
• pp.111-119
• /
• 2023

In this paper, we investigate the feasibility of functional programming in the Scala language. The main issue is to what extent Scala is able to handle major properties of functional programming such as lambda expression, high-order functions, generic types, algebraic data types, and monads. For this purpose, we implement an interpreter of an imperative language. In this implementation, the same functional programming techniques are applied to both Haskell and Scala languages, and then these two versions of implementations are compared and analyzed. The abstract syntax tree of an imperative language is expressed as algebraic data types with generics and enum classes in Scala, and the state transition of imperative languages is implemented by using state monad. Extension and given, new features of Scala, are used as well.