• Bulletin of the Korean Chemical Society
• /
• 제2권3호
• /
• pp.90-96
• /
• 1981

The significant structure theory of liquids has been successfully applied to the sodium ammonia solution. In applying the theory to sodium ammonia solution, we assumed there were four species in solution, i.e., sodium cation, solvated electron, triple ion, and free electron and equilibria existed between them. Based on these assumptions, we set up the model explaining the anomalous properties of sodium ammonia solution. The partition function for sodium ammonia solution is composed of the partition functions for the above four species and also for the Debye-Huckel excess free energy term. Agreements between calculated and experimental values of the thermodynamic quantities, such as molar volume, vapor pressure, partial molar enthalpy and entropy, and chemical potential as well as viscosity are quite satisfactory.

• Bulletin of the Korean Chemical Society
• /
• 제6권6호
• /
• pp.337-343
• /
• 1985

A statistical mechanical approach to elucidate the solvent effects on the high polymer solutions has been carried out on the basis of the simple model of liquids improved by Pak. In our works, the partition function of the polymer solutions is formulated by the lattice model and our simple treatment of liquid structures. For the ideal polymer solutions proposed by Flory, thermodynamic functions of the polymer solutions are obtained and equations of mixing properties and partial molar quantities are derived from the presented partition function of the polymer solutions. Partial molar quantities are calculated for the rubber solutions in carbon disulfide, benzene and carbon tetrachloride. Comparisons have been made between our equations and those of Flory's original paper for partial molar properties of the rubber-benzene system. Comparing the experimental data of the osmotic pressure of polystyrene-cyclohexane system with our calculated values and those of Flory's, our values fit to the agreeable degrees better than those of Flory's.

• 대한수학회보
• /
• 제60권4호
• /
• pp.1017-1024
• /
• 2023

A celebrated result in the study of integer partitions is the identity due to Lehmer whereby the number of partitions of n with an even number of even parts minus the number of partitions of n with an odd number of even parts equals the number of partitions of n into distinct odd parts. Inspired by Lehmer's identity, we prove explicit formulas for evaluating generating functions for sequences that enumerate integer partitions of fixed width with an even/odd number of even parts. We introduce a technique for decomposing the even entries of a partition in such a way so as to evaluate, using a finite sum over q-binomial coefficients, the generating function for the sequence of partitions with an even number of even parts of fixed, odd width, and similarly for the other families of fixed-width partitions that we introduce.

• 정보과학회 논문지
• /
• 제44권7호
• /
• pp.649-657
• /
• 2017

드론의 종류와 목적이 다양해지고 부가기능이 많아지면서 소프트웨어의 역할이 증가되고 있다. ARINC 653은 파티셔닝을 통해 항공전자 시스템의 소프트웨어 재사용 및 통합을 안정적으로 제공하고 SWaP(Size, Weight and Power) 문제를 효율적으로 해결할 수 있다. ARINC 653은 대형 항공기 외에 소형 무인비행체인 드론에도 효과적으로 적용될 수 있다. 본 논문에서는 드론의 비행제어 프로그램에 ARINC 653을 적용하기 위하여 계층적 ARINC 653을 확장하여 파티션 내 통신을 구현하고 실제 드론 시스템에 적용한 사례를 보인다. 실험 결과, 파티션 내 통신의 오버헤드가 낮으며, ARINC 653의 파티셔닝 기능에 의해서 드론의 비행제어 프로그램에 할당된 자원이 보장됨을 확인할 수 있다.

• 한국컴퓨터정보학회논문지
• /
• 제17권2호
• /
• pp.49-57
• /
• 2012

FCM(fuzzy c-means)은 일반적으로 영상 분할에서 좋은 성능을 보인다. 하지만 공간 정보를 사용하지 않는 일반적인 FCM 알고리즘은 낮은 대비의 영상, 경계선이 뚜렷하지 않은 영상, 잡음이 포함된 영상의 분할에는 좋지 않은 성능을 보인다. 이와 같은 문제를 해결하기 위해 본 논문에서는 3x3 크기의 윈도우를 이용하여 윈도우 내의 중심 픽셀과 주변 픽셀간의 거리 정보를 소속 함수에 추가한 개선된 공간적 퍼지 클러스터링 알고리즘을 제안한다. 본 논문에서는 분할 계수, 분할 엔트로피, Xie-Bdni 함수와 같은 클러스터링 검증 함수를 이용하여 FCM 기반의 다양한 클러스터링 알고리즘과 제안한 알고리즘과의 성능을 비교하였다. 성능 평가 결과 제안한 알고리즘이 기존의 FCM기반의 클러스터링 알고리즘보다 클러스터링 검증 함수에서 성능이 우수함을 확인 할 수 있었다.

• International Journal of Control, Automation, and Systems
• /
• 제2권3호
• /
• pp.298-309
• /
• 2004

In this paper, a new evolutionary scheme to design a TSK fuzzy model from relevant data is proposed. The identification of the antecedent rule parameters is performed via the evolutionary algorithm with the unique fitness function and the various evolutionary operators, while the identification of the consequent parameters is done using the least square method. The occurrence of the multiple overlapping membership functions, which is a typical feature of unconstrained optimization, is resolved with the help of the proposed fitness function. The proposed algorithm can generate a fuzzy model with transparent membership functions. Through simulations on various problems, the proposed algorithm found a TSK fuzzy model with better accuracy than those found in previous works with transparent partition of input space.

• 한국정밀공학회지
• /
• 제23권8호
• /
• pp.89-99
• /
• 2006

In this paper a new shape reconstruction method that allows us to construct surface models from very large sets of points is presented. In this method the global domain of interest is divided into smaller domains where the problem can be solved locally. These local solutions of subdivided domains are blended together according to weighting coefficients to obtain a global solution using partition of unity function. The suggested approach gives us considerable flexibility in the choice of local shape functions which depend on the local shape complexity and desired accuracy. At each domain, a quadratic polynomial function is created that fits the points in the domain. If the approximation is not accurate enough, other higher order functions including cubic polynomial function and RBF(Radial Basis Function) are used. This adaptive selection of local shape functions offers robust and efficient solution to a great variety of shape reconstruction problems.

• 대한수학회지
• /
• 제59권5호
• /
• pp.945-962
• /
• 2022

For a positive integer ℓ, $\bar{A}_{\ell}(n)$ denotes the number of over-partitions of n into parts not divisible by ℓ. In this article, we find certain Ramanujan-type congruences for $\bar{A}_{r{\ell}}(n)$, when r ∈ {8, 9} and we deduce infinite families of congruences for them. Furthermore, we also obtain Ramanujan-type congruences for $\bar{A}_{13}(n)$ by using an algorithm developed by Radu and Sellers [15].

• 대한수학회지
• /
• 제57권2호
• /
• pp.451-470
• /
• 2020

Let C[0, T] denote an analogue of Wiener space, the space of real-valued continuous functions on the interval [0, T]. For a partition 0 = t₀ < t₁ < ⋯ < t_n < t_n+1 = T of [0, T], define X_n : C[0, T] → ℝⁿ⁺¹ by X_n(x) = (x(t₀), x(t₁), …, x(t_n)). In this paper we derive a simple evaluation formula for Radon-Nikodym derivatives similar to the conditional expectations of functions on C[0, T] with the conditioning function X_n which has a drift and does not contain the present position of paths. As applications of the formula with X_n, we evaluate the Radon-Nikodym derivatives of the functions ∫₀^T[x(t)]^mdλ(t)(m∈ℕ) and [∫₀^Tx(t)dλ(t)]² on C[0, T], where λ is a complex-valued Borel measure on [0, T]. Finally we derive two translation theorems for the Radon-Nikodym derivatives of the functions on C[0, T].

• 헤리티지:역사와 과학
• /
• 제55권4호
• /
• pp.196-209
• /
• 2022

본 연구는 공간구문론(Space syntax)을 이용하여 조선 후기에 제작된 <동궐도(東闕圖)>의 판장의 설치에 따른 주요 권역별 공간변화를 비교하여 판장의 공간분할 기능과 역할을 재해석하였다. 연구방법으로는 <동궐도>의 공간을 단위 공간으로 분해하기 위한 설정 기준을 마련하였고, 판장의 설치 전·후에 따라 2개의 볼록공간도를 작성해 공간구문변수인 연결도, 통제도, 통합도 값을 산출하여 비교분석하였다. 연구의 결과는 다음과 같다. 첫째, <동궐도> 내 가림시설은 전각공간에 대한 변수의 평균값을 비교하였을 때, 동궐의 전체적인 배치에서 통제와 연결은 영향이 크지 않았다. 다만 특정 권역 내 공간의 접근성 측면에서 영향을 주었다. 가림시설이 집중적으로 설치된 내전과 동궁 그리고 후원으로 이동할 수 있는 공간을 중심으로 이동과 접근에 제한을 주었다. 둘째, 판장은 내전과 동궁에 집중적으로 분포되어 공간의 활용방식에 적극적으로 이용된 시설로 판장의 설치에 따른 공간의 특성이 뚜렷하게 나타났으며 기능에서도 차이가 확인되었다. 내전의 수정전 권역과 희정당 권역 그리고 동궁의 성정각 권역에 판장을 설치함으로써 개방적이고 통제성이 높았던 공간이 통제성이 낮은 폐쇄적인 공간으로 변모하였고 사적인 공간이 조성되었다. 동궁의 완영당 권역은 판장을 여러 방향으로 설치함으로써 공간의 깊이를 증가시켰다. 이는 거쳐서 오는 공간의 수가 증가됨으로써 자유롭고 은신이 가능한 공간이 조성되었다. 셋째, 판장은 기존 선행연구에서 밝혔던 '시선차단·공간분리·동선조절'의 기능 이외에 '접근통제가 용이한 공간'을 조성하였다. 일정한 공간으로 유도함과 동시에 동선이 집중됨에 따라 접근 통제가 가능한 공간이 되었으며, 판장의 개수와 배치에 따라 집중형 통제공간과 분산형 통제공간을 조성하였다. 본 연구는 그 간 가림시설의 기능과 역할에 대한 연구 외에 판장에 대한 기능을 수학적 모델로 분석하여 특정 공간속에서 판장이 어떠한 양상으로 공간을 통제하였는지 수치적으로 확인하였고, 공간의 통제와 연결, 은신과 개방성 등의 해석으로 연구의 방법을 확장한 것에 의의가 있다. 또한 연구의 방법론이었던 공간구문론을 <동궐도>에 적용하기 위해 궁궐의 건축 및 조경요소의 단위공간 분할 및 연결 유형에 따른 기준을 마련함으로써 궁궐과 유사한 전통주거단지에서도 적용이 가능한 분석툴을 마련하였다는 점에서 가치가 있다. 그러나 공간구문론의 분석을 통해 결과적으로 제공되는 것은 공간조직이 가지는 구성적 특질을 표현하는 숫자들로 제한된 체계 내에서만 의미를 가진다는 한계가 있다.