• 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.

• Journal of Convergence for Information Technology
• /
• v.7 no.3
• /
• pp.65-71
• /
• 2017

The quantum logic was introduced by G. Birkhoff and 1. von Neumann in order to study projections of a Hilbert space for a formulation of quantum mechanics, and Husimi proposed orthomodular law and orthomodular lattices to complement the quantum logic. Abott introduced orthoimplication algebras and its properties to investigate an implication of orthomodular lattice. The commuting relation is an important property on orthomodular lattice which is related with the distributive law and the modular law, etc. In this paper, we define a binary operation on orthoimplication algebra and the greatest lower bound by using this operation and research some properties of this operation. Also we define a homomorphism and characterize the commuting relation of orthoimplication algebra by the homomorphism.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2012.05a
• /
• pp.433-433
• /
• 2012

제주지역의 지하수 함양 지체시간을 분석하기 위해 18개 지점의 지하수 관측자료를 기초로 강수-지하수위 자료를 강수사상별로 분류하여 분석하였다. 지하수 함양에 결정적인 영향을 주는 인자로 지하수위의 대수층 두께와 지점의 투수계수를 설정하였다. 대체로 고도가 낮은 지역에서는 지하수 함양 지체가 짧았으나 고도가 높아질 수록 대수층 두께도 증가하여 지하수 함양지체시간은 길게 나타났다. 하지만 대수층 두께만으로 지체시간이 결정되는 것은 아니며 이에 투수계수 자료를 함께 분석해야만 타당한 결과를 얻을 수 있을 것으로 판단하여 대수층 두께와 지점 투수계수를 변수로 두고 관측된 지하수 함양지체시간과의 관계를 다중선형회귀분석을 통해 구하였다. 다중상관계수는 0.9정도로 높게 나타났으며, 대수층 두께에 대한 통계학적 유의성도 적합하게 나타났다. 이와 같이 결정된 회귀식은 향후 지하수 함양지체시간의 공간분포를 결정함에 있어 활용이 가능하며 분포형 수문모형과 연계시킬 경우 통합모델링에 적절하게 반영될 수 있을 것으로 판단된다.

• Water for future
• /
• v.29 no.5
• /
• pp.215-222
• /
• 1996

An expression for the cross covariance of the logconductivity and the head in nonstationary porous formation is obtained. This cross covariance plays a key role in the inverse problem, i.e., in inferring the statistical characteristics of the conductivity field from head data. The nonstationary logconductivity is modeled as superposition of definite linear trend and stationary fluctuation and the hydraulic head in saturated aquifers is found through stochastic analysis of a steady, two-dimensional flow. The cross covariance with a Gaussian correlation function is investigated for two particular cases where the trend is either parallel or normal to the head gradient. The results show that cross covariances are stationary except along separation distances parallel to the mean flow direction for the case where the trend is parallel to head gradient. Also, unlike the stationary model, the cross covariance along distances normal to flow direction is non-zero. From these observations we conclude that when a trend in the conductivity field is suspected, this information must be incorporated in the analysis of groundwater flow and solute transjport.

• Journal of Soil and Groundwater Environment
• /
• v.10 no.6
• /
• pp.32-44
• /
• 2005

314 pumping test data of the National Groundwater Monitoring Wells (NGMWs) are analyzed to present statistical properties of fractured-rock and alluvial aquifers of Korea such as distribution of hydraulic conductivity, empirical relations between transmissivity and specific capacity, and time-drawdown patterns of pumping and recovery test. The mean hydraulic conductivity of alluvial aquifers (1.26 m/day) is 17 times greater than that of fractured-rock aquifers (0.076 m/day). Hydraulic conductivity of fracture-rock aquifers ranges in value over 4 orders of magnitude which coincide with representative values of fractured crystalline rocks and shows distinctive differences among rock types with the lowest values for metamorphic rocks and the highest values for sedimentary rocks. In consideration of the estimated transmissivity with some simplifying assumptions, it Is likely that $32\%$ of groundwater flow for NGMWs would occur through fractured-rock aquifers and $68\%$ through alluvial aquifers. Based on 314 pairs of data, empirical relations between transmissivity and specific capacity are presented for both fractured-rock and alluvial aquifers. Depending on time-drawdown patterns during pumping and recovery test, NGMWs are classified into $4\~5$ types. Most of NCMWs $(83.7\%)$ exhibit the recharge boundary type, which call be attributed to sources of water supply such as streams adjacent to the pumping well, the vertical groundwater flux between fractured-rock and the alluvial aquifers, and the delayed yield associated with gravity drainage occurring in unconfined aquifers.

• Proceedings of the Korean Society of Soil and Groundwater Environment Conference
• /
• 2005.04a
• /
• pp.90-93
• /
• 2005

경상남도 합천군과 창녕군 생활용수 지하수 관정 개발시 지하수 굴착공종으로부터 얻어진 구간별 지층자료와 대수층 수질 자료를 획득하여 이용하는 방법을 연구하였다. 지층정보를 파악하기 위하여 지하수공 굴착심도 10m마다 슬라임을 채취하였으며, 대수층 관통시에 지하수 시료를 구간별로 채수하여 전기전도도 및 수질시료를 분석하였다. 경도가 높은 지역의 경우, 음용수 수질기준치에 적합한 지하수를 개발하기 위해서 대수층별 전기전도도를 분석측정하여 경도를 간접적으로 파악함으로써 지하수 굴착심도 결정에 이용하였다. 그리고 대수층 구간별 불소 농도를 파악하였으며, 불소 농도가 높은 대수층 구간에서는 하부대수층 메움 등을 실시하였다. 대수층의 수질검사결과에서 기준치를 초과하는 우려 인자들(불소, 경도, 증발잔류물, 질산성 질소, 철, 알루미늄, 아연 등)에 대한 수질기준 초과 가능성을 대비한 양수시험 모니터링을 설계함으로써 지하수공의 수질 특성 파악이 가능하였다. 양수시험과정에서 탁도가 시간에 따라 기준치 이하까지 감소하는 일반적인 경향과 기준치 이상에서 더 이상 감소하지 않는 경향에 대한 원인을 분석할 수 있었다.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.35 no.6
• /
• pp.1309-1320
• /
• 2015

This study made an attempt to analyse the relationship between operation environment and fleet size per route which represents the level of service for inner-city bus service. Regression analysis method has been adopted as main analysis tool and 98 routes of bus operation status in Ulsan city as of 2013 has also been selected for analysis target. Correlation analysis was performed to identify the relationship between dependent and independent variables. There are three types of model for whole sample, type operation, and bus route operation system. These are the results of the current study. 1. The model developed for whole sample of 98 routes is as follows. Y(Fleet Size)=$-4.532+0.00002877*X_1$(Revenue). This model shows that it is necessary to have more than 140 passengers per day to increase fleet size of each bus route in Ulsan. 2. Models developed by type of operation (which are standard, express, and middle sized) are shown below. Stand Bus : Y(Fleet Size)=$-10.954+0.00004283*X_1$(Revenue). It is identified that more than 153 passengers need to use standard bus to increase fleet size per each standard bus, Middle Sized Bus : Y(Fleet Size)=-0.859+0.00001438*X1(Revenue). For middle sized bus, at least 52 daily passengers are needed to increase number of bus in each route. 3. Models developed for each route operation systems are as belows. Joint Operation Group : Y(Fleet Size)=$-4.786+0.00003028*X_1$(Revenue). Individual Operation Group : Y(Fleet Size)=$-2.339+0.00002030*X_1$(Revenue). These model provide similar result which 140 people is the minimum number of passenger to raise the number of vehicles in each route. This result shows that the route operation systems does not affect the raise number of cars significantly.

• Journal of Korea Water Resources Association
• /
• v.37 no.6
• /
• pp.509-515
• /
• 2004

In this study, comprehensive evaluation on the fully coupled SWAT-MODFLOW model is performed. Since combined model can consider the spatially varied daily recharge rate, groundwater modeling would be greatly enhanced. Also, combined model has been able to generate the distribution of groundwater heads with time, surface-subsurface flow modeling would be greatly advanced. River-aquifer interaction is well established in the combined model considering two-way interactions. Consequently, the reliability of groundwater discharge and total runoff of watershed would be greatly enhanced when combined model is used.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.32B no.6
• /
• pp.862-867
• /
• 1995

In this paper a method to perform Exclusive-OR operation between two tabular type Boolean expressions is presented. The proposed method allows to solve the switching equations and the simultaneous equations in a rather direct manner, compared with Unger's method.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2002.05a
• /
• pp.590-597
• /
• 2002

LNG고압펌프계통은 천연가스 고압 송출에 있어 가용도가 매우 중요한 계통이다. 본 연구에서는 현재 적용되고 있는 예방(계획)정비주기를 가용성 측면에서 재검토했다. 확률적인 운전대수와 운전 및 보전 형태에 연관된 여러제약이 고려할 때 계통 불가용도를 정량화하기 위하여 시뮬레이션 기법을 적용했다. 중도 절단된 형태의 펌프 수명 데이터를 분석해 욕조형의 고장율 함수를 도출했으며 보수시간 데이터를 분석해 확률분포모수를 구했다. 또한 주요 펌프부대설비에 대해서는 상수형의 고장율과 보전율을 도출했다. 분석된 확률모수를 작성된 시뮬레이션 모형에 입력하고 과거의 운전대수 시나리오를 설정해 실험한 결과와 실제 보수 및 운전 자료를 비교해 모형의 유효성을 보였다. 그리고 차후 예상되는 운전요구대수 시나리오를 기정하고 각 예방정비주기별로 반복 실험하여 계통의 불가용도를 보이고 적합한 예방정비주기를 도출했으며 펌프부품 교체비용의 기대 절감액을 보였다.