• 대한수학회보
• /
• 제59권4호
• /
• pp.801-810
• /
• 2022

In this paper, we prove that any orthogonal almost complex structure on a warped product manifold of any oriented closed surface and a round 4-sphere for a concircular warping function on the sphere is never integrable. This gives a partial answer to Calabi's problem.

• Communications for Statistical Applications and Methods
• /
• 제21권4호
• /
• pp.285-296
• /
• 2014

The quantile residual life function has been effectively used to interpret results from the analysis of the proportional hazards model for censored survival data; however, the quantile residual life function is not always estimable with currently available semi-parametric regression methods in the presence of heavy censoring. A parametric regression approach may circumvent the difficulty of heavy censoring, but parametric assumptions on a baseline hazard function can cause a potential bias. This article proposes a Bayesian semi-parametric regression approach for inference on an unknown baseline hazard function while adjusting for available covariates. We consider a model-based approach but the proposed method does not suffer from strong parametric assumptions, enjoying a closed-form specification of the parametric regression approach without sacrificing the flexibility of the semi-parametric regression approach. The proposed method is applied to simulated data and heavily censored survival data to estimate various quantile residual lifetimes and adjust for important prognostic factors.

• East Asian mathematical journal
• /
• 제33권1호
• /
• pp.83-102
• /
• 2017

The main purpose of this paper is to introduce a pair new class of primal and dual problem associated with an operator. We prove the sufficient optimality theorem, weak duality theorem and strong duality theorem for these problems. The equivalence between the generalized optimization problems and the generalized variational inequality problems is studied in ordered topological vector space modeled in Hilbert spaces. We introduce the concept of partial differential associated (PDA)-operator, PDA-vector function and PDA-antisymmetric function to show the existence of a new class of function called, ($T_{\eta};{\xi}_{\theta}$)-invex functions. We discuss first and second kind of ($T_{\eta};{\xi}_{\theta}$)-invex functions and establish their existence theorems in ordered topological vector spaces.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2012년도 추계학술대회
• /
• pp.918-919
• /
• 2012

본 논문에서는 모듈러 설계기법에 기반을 둔 함수분해방법과 입력변수 처리 방법에 관한 설계기법을 제안하였다. 부분 분해방법으로서 행 분할 변수 중 1-열 변수의 입력 값에 따라 함수를 분할하여 컬럼 곱을 구하였다. 또한 제안한 부분 함수는 단일 T-gate를 사용하므로 모듈 라이브러리 방식에서의 제어함수를 생략할 수 있는 장점이 있다. 이를 함수에 적용한 결과 주어진 함수가 비대칭, 불규칙인 경우 기존의 방식에 비래 내부 결선이 약 12%정도, T-gate 수는 16% 정도 감소되어 더욱 간단한 회로설계가 이루어지는 장점이 있음을 보였다.

• Korean Chemical Engineering Research
• /
• 제57권5호
• /
• pp.652-665
• /
• 2019

Analytical solutions of the reactant concentration inside porous spherical catalytic particles were obtained from unsteady reaction-diffusion equation by applying eigenfunction expansion method. Various surface concentrations as exponentially decaying or oscillating function were considered as boundary conditions to solve the unsteady partial differential equation as a function of radial distance and time. Dirac delta function was also used for the instantaneous injection of the reactant as the surface boundary condition to calculate average reactant concentration inside the particles as a function of time by Laplace transform. Besides spherical morphology, other geometries of particles, such as cylinder or slab, were considered to obtain the solution of the reaction-diffusion equation, and the results were compared with the solution in spherical coordinate. The concentration inside the particles based on calculation was compared with the bulk concentration of the reactant molecules measured by photocatalytic decomposition as a function of time.

• 대한치매학회지
• /
• 제22권4호
• /
• pp.139-147
• /
• 2023

Background and Purpose: Dual walking task such as crossing over an obstacle may serve as an excellent tool for predicting early cognitive decline. Thus, this study aimed to investigate correlation between walking while crossing over an obstacle and executive functions under different gait phases to validate the use of walking with an obstacle for predicting early cognitive decline. Methods: A cross-sectional study was conducted on 48 elderly individuals from 2 day-care centers and 3 welfare-centers in Seoul and Gyeonggi, Korea. Executive function tests (Trail Making Test, Stroop test) and dual walking tests (gait speed, cadence, stance time, gait cycle time) were performed and compared using partial correlation analysis. Results: There were significant correlations between executive function and most of the gait variables (stance time, cadence, and gait cycle time) (p<0.05) when crossing over an obstacle while walking. Especially, stance time exhibited significant correlations with most executive functions (p<0.05). Conclusions: When evaluating executive function during walking with an obstacle, post-obstacle-crossing phase and stance time need to be observed.

• Structural Engineering and Mechanics
• /
• 제55권3호
• /
• pp.555-581
• /
• 2015

Triangular pyramid and Quadrangular pyramid elements for partial double-layer spherical reticulated shells of pyramidal system are investigated in the present study. Macro programs for six typical partial double-layer spherical reticulated shells of pyramidal system are compiled by using the ANSYS Parametric Design Language (APDL). Internal force analysis of six spherical reticulated shells is carried out. Distribution regularity of the stress and displacement are studied. A shape optimization program is proposed by adopting the sequence two-stage algorithm (RDQA) in FORTRAN environment based on the characteristics of partial double-layer spherical reticulated shells of pyramidal system and the ideas of discrete variable optimization design. Shape optimization is achieved by considering the objective function of the minimum total steel consumption, global and locality constraints. The shape optimization of six spherical reticulated shells is calculated with the span of 30m~120m and rise to span ratio of 1/7~1/3. The variations of the total steel consumption along with the span and rise to span ratio are discussed with contrast to the results of shape optimization. The optimal combination of main design parameters for six spherical reticulated shells is investigated, i.e., the number of the optimal grids. The results show that: (1) The Kiewitt and Geodesic partial double-layer spherical reticulated shells of triangular pyramidal system should be preferentially adopted in large and medium-span structures. The range of rise to span ratio is from 1/6 to 1/5. (2) The Ribbed and Schwedler partial double-layer spherical reticulated shells of quadrangular pyramidal system should be preferentially adopted in small-span structures. The rise to span ratio should be 1/4. (3) Grids of the six spherical reticulated shells can be optimized after shape optimization and the total steel consumption is optimized to be the least.

• 한국진공학회:학술대회논문집
• /
• 한국진공학회 2003년도 제25회 학술발표회 초록집
• /
• pp.199-199
• /
• 2003

• 대한전자공학회논문지
• /
• 제19권3호
• /
• pp.19-27
• /
• 1982

LSI, 프린트 기판등의 배치 문제에 있어서의 목적 함수로써 총배선장의 최소화, 통과선선의 최소화가 지금까지 채용되어 왔었다. 이 목적 함수는 layout의 궁극적인 목표(100% 결선률)를 대국적으로는 반영하고 있다고 말할 수 있지만 국기적으로 혼잡한 배선 상태를 나타내고 있지 않기 때문에 목적 함수로써 불충분한 경우가 많이 보여 지고 있다. 본 논문에서는 국소적인 배선 혼잡도를 나타내기 위해 쎄그먼트(segment) 혼잡도라고 하는 새로운 개념을 도입하여 이 쎄그먼트 혼잡도를 최소로 하는 것을 목적 함수로 하는 것을 제안하였다. 그리고 이 목적 함수를 최적화 하기 위해 능률 좋은 휴리스틱 알고리즘을 제안하고 프로그램 실험에 의해 그 유용성을 확인하였다. 쎄그먼트 혼잡도의 최대치는 총배선장이 짧게 되면 적게 되고 총배선장이 길게 되면 크게 되는 것이 실험의 결과로 얻어져 총배선장을 ?게 하고 동시에 쌔그먼트 혼잡도의 최대치를 적게 하는 제어 파라미터 (혼잡도 Parameter)의 값의 범위를 실험적으로 구하였다.

• 한국산림과학회지
• /
• 제103권3호
• /
• pp.462-472
• /
• 2014

이 연구는 목제품의 수급모형을 개발하고, 제품별로 중장기적인 수요와 공급을 전망하는 데 목적이 있다. 목제품 시장 수급모형은 주요 제품인 제재목, 합판, 파티클보드, 섬유판, 펄프 등으로 한정하였다. 각각의 제품에 대해 공급함수, 수입수요함수, 수요함수 등을 추정하여 부분균형 모형을 구축하였다. 주어진 외생변수를 이용하여 2050년까지 전망한 결과 제재목, 합판, 섬유판 등의 국내공급 및 수입은 감소할 것으로 예상된다. 이는 환경보호와 자원의 무기화 등으로 인해 국내외 원목가격이 인상될 것이라고 예상하였기 때문이다. 반면 폐재를 재활용하는 파티클보드와 목재칩을 원료로 이용하는 펄프의 경우 전체적인 공급은 늘어날 것으로 전망된다.