• 대한수학회지
• /
• 제61권2호
• /
• pp.395-408
• /
• 2024

There have been numerous studies on the characteristics of the solutions of ordinary differential equations for optimization methods, including gradient descent methods and alternating direction methods of multipliers. To investigate computer simulation of ODE solutions, we need to trace pseudo-orbits by real orbits and it is called shadowing property in dynamics. In this paper, we demonstrate that the flow induced by the alternating direction methods of multipliers (ADMM) for a C² strongly convex objective function has the eventual shadowing property. For the converse, we partially answer that convexity with the eventual shadowing property guarantees a unique minimizer. In contrast, we show that the flow generated by a second-order ODE, which is related to the accelerated version of ADMM, does not have the eventual shadowing property.

• 산업경영시스템학회지
• /
• 제40권2호
• /
• pp.129-136
• /
• 2017

Among the information technology and automation that have rapidly developed in the manufacturing industries recently, tens of thousands of quality variables are estimated and categorized in database every day. The former existing statistical methods, or variable selection and interpretation by experts, place limits on proper judgment. Accordingly, various data mining methods, including decision tree analysis, have been developed in recent years. Cart and C5.0 are representative algorithms for decision tree analysis, but these algorithms have limits in defining the tolerance of continuous explanatory variables. Also, target variables are restricted by the information that indicates only the quality of the products like the rate of defective products. Therefore it is essential to develop an algorithm that improves upon Cart and C5.0 and allows access to new quality information such as loss cost. In this study, a new algorithm was developed not only to find the major variables which minimize the target variable, loss cost, but also to overcome the limits of Cart and C5.0. The new algorithm is one that defines tolerance of variables systematically by adopting 3 categories of the continuous explanatory variables. The characteristics of larger-the-better was presumed in the environment of programming R to compare the performance among the new algorithm and existing ones, and 10 simulations were performed with 1,000 data sets for each variable. The performance of the new algorithm was verified through a mean test of loss cost. As a result of the verification show, the new algorithm found that the tolerance of continuous explanatory variables lowered loss cost more than existing ones in the larger is better characteristics. In a conclusion, the new algorithm could be used to find the tolerance of continuous explanatory variables to minimize the loss in the process taking into account the loss cost of the products.

• 한국산학기술학회논문지
• /
• 제17권4호
• /
• pp.138-146
• /
• 2016

이 연구는 평생교육에 참여하는 성인학습자 특성과 평생학습 행복지수의 관계에서 성인교육자 특성, 학습참여동기 및 교육기관 특성의 매개 효과를 탐색하기 위한 목적으로 수행하였다. 연구결과 첫째, 성인학습자의 성별, 학력별, 연령대별, 거주지별, 평생학습 참여경험, 직업, 참여하고 있는 평생교육 프로그램 유형에 따라 평생학습 행복지수의 차이는 없으며, 둘째, 성인학습자 특성이 평생학습 행복지수에 직접적 영향을 미치지는 않고, 셋째. 성인학습자 특성은 성인교육자 특성, 학습참여동기 및 교육기관 특성에 영향을 미치며, 넷째, 성인교육자 특성은 평생학습 행복지수에 영향을 미치지 않지만 학습참여 동기와 교육기관 특성은 각각 평생학습 행복지수에 긍정적 영향을 미치며, 다섯째, 성인교육자 특성은 성인학습자 특성과 평생학습 행복지수에 매개 역할을 하지 않으나 학습참여동기와 교육기관 특성은 성인학습자 특성과 평생학습 행복지수에 대해 각각 완전매개 하는 것으로 나타났다. 이러한 연구결과는 평생학습 경험을 통해 행복지수를 높이기 위하여 성인학습자의 참여동기와 성인교육자가 성인학습자 특성 이해의 향상과 교육기관의 교육서비스 질이 매우 중요함을 시사한다.

• 한국항공우주학회지
• /
• 제31권6호
• /
• pp.8-16
• /
• 2003

3차원 비정상, 비압축성 Navier-Stokes 방정식 해석코드를 이용하여, 초소형 비행체 주위에 형성되는 저 레이놀즈수 유동장의 공력 특성을 연구하였다. 비정상 유동장의 효율적인 계산을 위하여, 개발된 코드는 MPI 프로그래밍 기법을 이용하여 병렬처리 하였으며, single partitioning 방법을 적용하여 3차원 형상에 대한 multi-block 격자계를 효율적으로 해석 하였다. 비교적 형상이 복잡하지 않은 초소형 비행체 주위 날개에 대해 해석한 후 초소형 비행체 전 형상에 대해 받음각을 변화시키며 공력계수 및 정안정성을 살펴보았다. 해석 결과, 서울대학교 미소공기역학실험실에서 수행한 아음속 풍동 실험데이터와 비교하여 보았을 때 대체로 잘 일치하였으며, 개념 설계한 비행체가 공기역학적으로 정안정성을 갖고 있음을 보일 수 있었다.

• 한국조경학회지
• /
• 제28권4호
• /
• pp.75-90
• /
• 2000

This study suggests the methods of the assessment and creation of biotopes in small and medium sized cities, in Korea. For this purpose, Chonju city was selected to classify and asses the biotope types. Moreover, relevant legislations to conserve and enhance urban biotopes were examined. The results of this study are as follows: 1) There were two approaches to asses the potential of urban biotopes in medium-sized cities. One was the urban scale evaluation for urban green spaces and the other was the biotope scale evaluation for the classification and evaluation of biotopes. 2) The urban scale evaluation was developed through overlaping analysis of landuse and vegetation factors. This study also included the conception of watershed. In this conception, three watersheds in Chonju city were characterized. According to these characteristics, individual programs for conservation and enhancement of urban green space were suggested. 3) For the biotope scale evaluation, Selected site was inclusively mapped and field investigation actually was carried. There were total 9 types of bitopes. Especially landuse was appeared in various evaluation items were vegetation structure, area of green space, condition of vegetation and vegetation profile. Mt, Gonji and Dukjin park, Chonbuk national University and fields were evaluated highly I the potential. 4) The biotope programs were based on the results of assessment and physical characteristics of biotopes. The uniform and simple levels on vegetation must be modified with various levels of vegetation structure and vernacular plants. And the physical characteristics like Points, Corridors and Patches can be organized by the conception of biotope networking theory. 5) The proper legislative environment was the clue elements for the biotope programs. Until now, only five types of parks and two types of green space are defined and the minimum size of green space has been proposed by the law. So, it is necessary to enlarge the conception of green space in legislation and improve the quality of green space by amending the related regulations. This study has limitation because it was selected only in Chonju. Through the continuous studies, we need to apply this other small and medium sized cities, South Korea. Also the data collection and management of theme maps such as actual vegetation, landuse and a soil must be done preliminary.

• 전자공학회논문지
• /
• 제50권11호
• /
• pp.219-225
• /
• 2013

본 논문은 소노스(SONOS) 형태의 타원형 게이트 올 어라운드(GAA) 구조를 갖는 플레쉬 셀의 프로그램과 삭제 특성을 채널의 이심률 변화에 대해 연구 하였다. 타원형 GAA SONOS 셀의 쓰기와 삭제에 대한 해석적 모델을 제안하고 평가하였다. 점진적 계단형 펄스 프로그램(ISPP)시 타원의 이심률이 증가할수록 인가 전압에 대해 문턱전압이 비선형적으로 변화한다. 이는 2차원 소노스 구조나 원형 3차원 GAA 구조에서 선형적 특성을 보이는 것과는 매우 다른 모습이다. ISPP 특성에 대한 모사의 결과는 실험적 결과와 잘 부합됨을 발견할 수 있다.

• 디지털융복합연구
• /
• 제11권7호
• /
• pp.165-171
• /
• 2013

코딩 패턴이란 소스 코드에 자주 나타나는 전형적인 코드 조각이다. 소프트웨어에서 로깅이나 동기화 처리 등 모듈화가 곤란한 기능과 프로그래밍의 상용구 등이 코딩 패턴으로 추출된다. 기존에 소스 코드에 대한 패턴 마이닝을 이용한 코딩 패턴 감지 방법이 제안되었지만, 수동으로 조사 가능한 코딩 패턴의 수는 한정되어 있기 때문에 대규모 소프트웨어 등에 대한 충분한 분석은 할 수 없다. 본 논문에서는 개발자가 분석하고자 하는 코딩 패턴만을 추출하는 것을 목표로 코딩 패턴의 특성 평가 척도로 6개의 지표를 선정하여 4개의 오픈 소스에 대한 분석을 실시했다. 매트릭스 사이의 값의 관계와 실제 패턴의 특징을 분석한 결과, 패턴의 인스턴스 수, 인스턴스의 분포의 넓이, 패턴의 요소에 포함되는 반복 구조 비율 등의 지표 등을 분석해야 패턴 선택에 도움이 되는 것을 확인했다.

• 경영과정보연구
• /
• 제37권1호
• /
• pp.139-154
• /
• 2018

R 프로그래밍 시스템은 인터넷을 통해 개방적이고 무료로 제공이 된다. R 환경은 헌신적이고 독자적인 사용자 그룹이 제공하는 다양한 함수가 포함되는 라이브러리에 의해 그 기능이 지속적으로 풍부해지고 다양해지고 있다. R의 사용은 조직에서의 빅데이터 분석이 점차 도입되면서 다양한 데이터 형태의 데이터 조작과 데이터 분석처리가 요구되면서 점차 채택되기 시작하였다. 그러나 R 수용에 대한 연구는 아직까지 존재하지 않고 있다. 본 연구는 교육환경의 사용자가 R을 수용하는데 미치는 인지변수를 식별하고, 그들간의 관계를 규명하고자 한다. 기존의 기술수용모형에 주관적 규범과 소프트웨어 역량을 추가한 확장된 R 수용모델을 제안하고, 경로분석을 통하여 가설을 검정하였다. 사용의도에 정의 영향을 미치는 변수는 주관적 규범, 지각된 편리성, 지각된 유용성으로 밝혀졌고, 지각된 유용성은 주관적 규범, 소프트웨어 역량, 그리고 지각된 편리성으로부터 영향을 받는 것으로 나타났다. 본 연구가 이전 연구와의 주요 차이점은 대상 시스템이 독립적인 시스템이 아니고, 또한 시스템은 정적이고 개발이 확정된 상태가 아닌 진화하고 오픈소스 시스템을 대상으로 했다는 것이다. 또한 R 환경은 플랫폼으로서, 다양한 통계분석, 빅데이터분석, 그리고 시각화가 가능한 시스템이다. 우리는 TAM(Technology Acceptance Model)을 적용하여 R플랫폼에 대한 사용자의 수용에 영향을 주는 변수를 식별하고 인과관계를 처음으로 시도하였다. 또 다른 기여도는 기존의 TAM모형에 주관적 규범과 소프트웨어 역량 개념을 추가한 확장된 모형을 식별한 것이다. 본 연구결과는 통계나 빅데이터 분석 패키지 도입 계획이 있는 대학이나 기업체에 시사점을 제공할 수 있을 것이다. 그러나 분석에 사용된 표본의 수가 적고, 표본이 모집단을 대표할 수 있다는 근거가 약해 제안된 모델의 신뢰성 및 타당성이 상대적으로 미흡하다고 할 수 있을 것이다. 따라서, 향후 연구에서는 확정적 연구를 위해서는 이와 같은 문제점에 대한 보완이 필요하다고 판단된다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2008년도 춘계종합학술대회 A
• /
• pp.670-673
• /
• 2008

C 프로그램을 사용하여 증명된 최적화된 알고리즘과 수식은 검증을 위해 Verilog와 같은 hardware description language를 통하여 다시 한번 분석하여 하드웨어 구현에 적합하도록 수정하여 최적화하여야 한다. 그 이유는 C 언어의 sequential한 특성이 하드웨어를 직접 구현 하는 데에 본질적으로 틀리기 때문이다. 알고리즘적인 접근과 더불어 하드웨어적으로 2중적으로 검증된 하드웨어 IP는 Altera 임베디드 시스템을 활용하여, ARM9이 내장되어 있는 Altera Excalibur FPGA에 매핑되어 실제 칩 프로토타입 IP로 구현한다. 구현된 유한체 연산 IP들은 실제적인 암호 시스템으로 구현되기 위하여, 193 비트 이상의 타원 곡선 암호 연산 IP를 구성하는 라이브러리 모듈로 사용될 수 있다.

• 한국지반공학회:학술대회논문집
• /
• 한국지반공학회 1999년도 봄 학술발표회 논문집
• /
• pp.349-356
• /
• 1999

In general, the term soft ground includes clayey soils, which have large compressibility and small shear resistance due to the external load. All process of consolidation in compressible soils can be explained in terms of a transfer of load from an incompressible pore-water to a compressible soil structure. Therefore, one of the most important subjects about the characteristics of the time-dependent consolidation of the clay foundation by the change of load may be the presumption of the final settlement caused by consolidation and the degree of consolidation according to the time. The problems of discontinuous layer interface are very important in the algorithm and programming for the analysis of multi-layered soils using a numerical analysis, finite difference method. Better results can be obtained by the Process for discontinuous layer interface, since it can help consolidation analysis to model the actual ground. The purpose of this paper Provides an efficient computer algorithm based on numerical analysis using finite difference method(F.D.M.) which account for multi-layered soils to determine the degree of consolidation and excess pore pressures relative to time and positions more realistically.