• 대한전기학회논문지
• /
• 제33권1호
• /
• pp.9-16
• /
• 1984

This paper describes the minimum cost expansion planning which is based on the economical aspect under the various conditions on the power system expansion planning. It presents not only linear cost characteristics analysis but also stepwise cost characteristics analysis which satisfies practical condition in the power system. The latter analysis must be handled by integer programming (IP), because the relation between the cost and the capacity has stepwise characteristics. In order to proceed the latter analysis, the solving procedure is illustrated in detais by using branch and bound method which includes the network flow theory and maximum flow-minimum cut theorem.

• 한국수학사학회지
• /
• 제27권6호
• /
• pp.403-408
• /
• 2014

The interdisciplinary study addresses the G$\ddot{o}$del's ontology from the perspective of the mathematical maximality. We first investigate G$\ddot{o}$del's God having all the positive properties as the intersection of ultrafilters in his own ontological proof(1970). Regarding the axiom of choice and his compactness theorem(1930), the next part discusses the ontological meaning of the maximal rather than the maximum in terms of an episteme space. The results show that G$\ddot{o}$del's ontological arguments imply all the existence of the maximal reality, and all the human's epistemological boundedness as well.

• Nonlinear Functional Analysis and Applications
• /
• 제27권3호
• /
• pp.691-700
• /
• 2022

Let p(z) be a polynomial of degree n having no zero inside the unit circle. Then for 0 < r ≤ 1, the well-known inequality due to Rivlin [Amer. Math. Monthly., 67 (1960) 251-253] is $$\max\limits_{{\mid}z{\mid}=r}{\mid}p(z){\mid}{\geq}{\(\frac{r+1}{2}\)^n}\max\limits_{{\mid}z{\mid}=1}{\mid}p(z){\mid}$$. In this paper, we generalize as well as sharpen the above inequality. Also our results not only generalize, but also sharpen some known results proved recently.

• 한국지반공학회:학술대회논문집
• /
• 한국지반공학회 2008년도 춘계 학술발표회 초청강연 및 논문집
• /
• pp.1144-1154
• /
• 2008

In this paper, the behaviour of shell foundation was studied. In order to perform this study, three studies such as theoretical, numerical and experimental programs were performed. In the theoretical program, the general shallow foundation theories and failure mechanism developed by Terzaghi, Mayerhof and others were reviewed and compared. Based on the previous shallow foundation behaviour, the shell foundation theory was developed using the upper boundary theorem. In the numerical study, the 2 and 3 dimensional FEM simulations were carried out using an uncoupled-analysis approach. From the analysis results, the adequate depth of shell foundation was evaluated. It was also evaluated the bearing capacity according to the shell angle ($120^{\circ}$, $90^{\circ}$, $60^{\circ}$). In the experimental study, the laboratory model tests were carried out for five cases of different foundation shapes including the rectangular and circular foundation in order to verify the theoretical and nemerical study. According to the results of this study, the bearing capacity of shell foundation was theoretically about 15% larger than that of general foundation. However, in the model test, the bearing capacity of shell foundation was about 25 to 30% larger than that of general foundation. In the case of shell angle, the maximum bearing capacity of shell foundation shows when the shell angle of foundation was $60^{\circ}$. In addition, Even if the shell foundation has the various advantages compared with the general foundations as described above, the practical verifications in full scale size will be necessary to use in the field and will be helpful in the technical development of other special foundations.

• 대한토목학회논문집
• /
• 제29권5A호
• /
• pp.477-486
• /
• 2009

이 논문은 정다각형 중실 변단면을 갖는 정적 최강아치에 관한 연구이다. 아치의 지간길이와 체적은 정다각형 단면깊이의 형상함수에 상관없이 항상 일정하다. 아치에 정적 연직 집중하중과 수평 집중하중이 작용하는 경우에 단면에 발생하는 최대 수직응력을 산정하였다. 산정된 최대 수직응력이 최소가 되는 정적 최강아치의 변단면 형상, 즉 일정체적 변단면 아치의 단면비를 산정하였다. 부정정 아치의 부정정력을 구하기 위하여 최소일의 원리를 이용하였다. 일련의 수치해석 예를 통하여 정적 최강아치의 단면비를 표 및 그림에 나타내었다. 이 연구의 결과는 아치구조의 최소중량 설계에 매우 유용한 자료를 제공 할 수 있다.

• 대한골대사학회지
• /
• 제25권4호
• /
• pp.251-266
• /
• 2018

Background: The causal networks among genes that are commonly expressed in osteoblasts and during bone metastasis (BM) of breast cancer (BC) are not well understood. Here, we developed a machine learning method to obtain a plausible causal network of genes that are commonly expressed during BM and in osteoblasts in BC. Methods: We selected BC genes that are commonly expressed during BM and in osteoblasts from the Gene Expression Omnibus database. Bayesian Network Inference with Java Objects (Banjo) was used to obtain the Bayesian network. Genes registered as BC related genes were included as candidate genes in the implementation of Banjo. Next, we obtained the Bayesian structure and assessed the prediction rate for BM, conditional independence among nodes, and causality among nodes. Furthermore, we reported the maximum relative risks (RRs) of combined gene expression of the genes in the model. Results: We mechanistically identified 33 significantly related and plausibly involved genes in the development of BC BM. Further model evaluations showed that 16 genes were enough for a model to be statistically significant in terms of maximum likelihood of the causal Bayesian networks (CBNs) and for correct prediction of BM of BC. Maximum RRs of combined gene expression patterns showed that the expression levels of UBIAD1, HEBP1, BTNL8, TSPO, PSAT1, and ZFP36L2 significantly affected development of BM from BC. Conclusions: The CBN structure can be used as a reasonable inference network for accurately predicting BM in BC.

• 콘크리트학회논문집
• /
• 제28권2호
• /
• pp.167-176
• /
• 2016

이 연구는 다양한 콘크리트에 대해 전단마찰 거동에 의해 지배되는 부재에서 전단전달 기구를 설명하고 합리적인 전단마찰내력을 평가하기 위한 모델을 제안하였다. 제안된 모델의 기본식은 횡보강근과 작용 축응력을 고려하여 소성론의 상계치 이론(Upper-bound theorem)에 기반하여 유도하였다. 콘크리트는 수정 Coulomb 파괴 기준에 의해 완전한 소성 강체로 고려하였다. 콘크리트 유효강도에서 콘크리트 종류와 최대 골재 크기에 따른 영향을 적용하기 위해 Yang et al.의 압축 응력-변형률 모델과 CEB-FIP의 인장 응력-변형률 모델을 적용하였다. 이 응력-변형률 모델들을 이용한 완전 소성모델로의 변환을 통하여 유효압축강도계수, 유효강도비 그리고 콘크리트 마찰각을 간단한 식으로 일반화 하였다. 제시된 전단마찰내력 모델은 기존 연구에서 제시된 모델과 함께 91개의 직접전단 실험결과와 비교하였다. 그 결과로 이 연구에서 제시된 모델은 콘크리트 종류, 횡보강근 양 그리고 작용 축응력을 고려하여 전단마찰내력을 평가할 수 있었으며, 예측값에 대한 실험값의 비의 평균과 표준편차가 각각 0.95, 0.15로서 기존 식들에 비해 더 정확한 결과를 얻을 수 있었다.

• 한국통신학회논문지
• /
• 제28권11A호
• /
• pp.936-944
• /
• 2003

본 논문에서는 FPGA (Field Programmable Gate Array)에 사용될 수 있는 AND/XOR기반의 기술적인 매핑 기법이 제안되었다. FPGA에서는 프로그램 블록들의 숫자가 정해져 있기 때문에 적절한 수의 입력을 가진 블록으로 회로를 나눌 수 있으면 효과적인 구현이 가능하다. Davio Expansion에 기반한 제안된 기법은 Davio Expansion 자체가 AND/XOR의 성질을 가지고 있기 때문에 XOR를 많이 포함하고 있는 에러 검출/수정, 데이터 암호/해독, 산술 회로 등을 구현하기 매우 용이하다. 본 논문에서는 제안된 기법을 이용할 때 구현되는 면적뿐만 아니라 속도도 현저히 저하될 수 있음을 MCNC 벤치마크를 이용하여 증명하였다. 면적이 줄어듦을 보이기 위하여 CLB (Configurable Logic Block) 숫자와 총 게이트 숫자가 이용되었다. CLB 숫자는 67.6 % (속도로 최적화 된 결과)와 57.7 % (면적으로 최적화 된 결과) 만큼 감소되었고 총 게이트 숫자는 65.5 %만금 감소되었다. 속도관련 결과를 확인하기 위해 사용된 최대 Path Delay는 현재 사용되고 있는 방법들에 비해 56.7 %만큼 감소되었고 최대 Net Delay는 80.5% 만큼 감소되었다.

• 한국지능시스템학회논문지
• /
• 제23권1호
• /
• pp.46-50
• /
• 2013

본 논문은 다수의 구동기 고장을 가진 유연 관절 로봇의 적응 고장 수용 제어기를 제안한다. 다수의 구동기 고장의 크기와 일어나는 시간은 알려지지 않는다고 가정한다. 구동기 고장을 수용하기 위해 추종 오차의 수렴율과 오버슈트의 최대치로 특성화된 미리 정의된 성능을 보장하는 유계 조건을 갖는 적응 고장 수용 제어기를 설계한다. 르아프노브 안정도 이론을 이용하여 페루트 시스템의 모든 신호가 준 전역적이고 균일하고 궁극적으로 유계됨을 증명하고 추종 오차가 미리 정의된 성능 유계에서 벗어나지 않음을 보인다.

• Coupled systems mechanics
• /
• 제2권1호
• /
• pp.23-51
• /
• 2013

An analytical algorithm for the estimation of the resistance forces exerted on the dipper of a cable shovel and the specific energy consumed in the cutting-loading process is presented. Forces due to payload and to cutting of geomaterials under given initial conditions, cutting trajectory of the bucket, bucket's design, and geomaterial properties are analytically computed. The excavation process has been modeled by means of a kinematical shovel model, as well as of dynamic payload and cutting resistance models. For the calculation of the cutting forces, a logsandwich passive failure mechanism of the geomaterial is considered, as has been found by considering that a slip surface propagates like a mixed mode crack. Subsequently, the Upper-Bound theorem of Limit Analysis Theory is applied for the approximate calculation of the maximum reacting forces exerted on the dipper of the cable shovel. This algorithm has been implemented into an Excel$^{TM}$ spreadsheet to facilitate user-friendly, "transparent" calculations and built-in data analysis techniques. Its use is demonstrated with a realistic application of a medium-sized shovel. It was found, among others, that the specific energy of cutting exhibits a size effect, such that it decreases as the (-1)-power of the cutting depth for the considered example application.