• Proceedings of the Korean Society of Computer Information Conference
• /
• 한국컴퓨터정보학회 2023년도 제67차 동계학술대회논문집 31권1호
• /
• pp.47-49
• /
• 2023

사회적으로 복잡한 문제들이 시공간 형태로 문제 표현이 가능하고 이를 활용하여 문제를 해결하기 위한 연구들이 진행 중이다. 특히, 시뮬레이션 이론 중 하나인 BM-DEVS는 시공간 논리를 적용하여 실세계에서 일어나는 문제들을 시공간 규칙으로써 표현하였고 이를 모델에 적용하여 시스템에서 행위를 모니터링한다. 하지만 BM-DEVS에서는 시스템 차원에서 정의된 시공간 규칙들을 평가하기 위하여 Büchi 오토마타로의 변환과 오토마타를 모델들에 반영할 수 있어야 한다. 이를 위하여 시스템을 구축하는 모델러가 직접 규칙을 오토마타로 변환하는 작업을 해야하며 이에 대한 오토마타를 모델에 적용하기까지는 많은 시간이 소요된다. 이러한 문제를 해결하기 위해 본 논문에서는 모델링의 단순화를 위하여 시공간 규칙을 모델들에 자동적으로 적용하는 방법에 대하여 소개한다.

• Journal of the Korean GEO-environmental Society
• /
• 제7권6호
• /
• pp.133-143
• /
• 2006

A fully coupled effective stress dynamic analysis procedure for modeling seismic liquefaction on slope is presented. An elasto-plastic formulation is used for the constitutive model UBCSAND in which the yield loci are radial lines of constant stress ratio and the flow rule is non-associated. This is incorporated into the 2D version of Fast Lagrangian Analysis of Continua (FLAC) by modifying the existing Mohr-Coulomb model. This numerical procedure is used to simulate centrifuge test data from the Rensselaer Polytechnic Institute (RPI). UBCSAND is first calibrated to cyclic direct simple shear tests performed on Nevada sand. Both pre- and post-liquefaction behaviour is captured. The centrifuge test is then modeled and the predicted accelerations, excess porewater pressures, and displacements are compared with the measurements. The results are shown to be in general agreement. The procedure is currently being used in the design of liquefaction remediation measures for a number of dam, bridge, tunnel, and pipeline projects in Western Canada.

• School Mathematics
• /
• 제9권4호
• /
• pp.467-486
• /
• 2007

In mathematical modeling activity modeling process is usually an iterative process. When model can not be solved, the model needs to be simplified by treating some variables as constants, or by ignoring some variables. On the other hand, when the results from the model are not precise enough, the model needs to be refined by considering additional conditions. In this study we investigate the role of spreadsheet model in model refinement and modeling process. In detail, we observed that by using spreadsheet model students can solve model which can not be solved in paper-pencil environment. And so they need not go back to model simplification process but continue model refinement. By transforming mathematical model to spreadsheet model, the students can predict or explain the real word situations directly without passing the mathematical conclusions step in modeling process.

• Proceedings of the Korean Society for Information Management Conference
• /
• 한국정보관리학회 2001년도 제8회 학술대회 논문집
• /
• pp.137-142
• /
• 2001

본 논문에서는 벡터모델과 신경망 모델을 이용하여 데이터 퓨전의 관점에서 다중증거로서 가중치, 문헌분리가, 엔트로피, 공기유사도를 적절히 결합하여 질의를 확장하는 방법을 제안한다. 실험결과 코사인 정규화 가중치 알고리즘, 문서길이 정규화 가중치 알고리즘과 결합하여 질의를 확장하는 것이 정규화시키지 않고 단순히 문헌빈도와 역문헌빈도의 조합을 이용한 가중치 알고리즘과 결합했을 때 보다 평균 정확률 향상이 더 높게 나타났다. 또한 다양한 공기기반 유사도를 이용하여 질의확장을 한 결과 벡터모델과 신경망 모델에서 코사인 공기유사도에 기반하여 질의확장한 경우가 다른 공기유사도에 비해 더 좋은 성능을 보였다.

• Computational Structural Engineering
• /
• 제17권1호
• /
• pp.50-64
• /
• 2004

유한요소 인체모델은 인체의 기계적 특성을 수치 모형화 한 것이며, 외부로부터 다양한 기계적 하중을 받는 상황에서 인체의 거동과 상해와 같은 여러 현상들을 해석적으로 규명하고자 할 때 주로 사용된다. 따라서 인체 모델은 인체를 구성하고 있는 골격, 인대, 근육, 살, 장기 등의 특성을 수치적으로 정확히 표현하여야 한다. 그러나 인체는 매우 복잡한 메커니즘 속에서 동작하고 있기 때문에, 해석적으로 인체의 모든 특성을 구현하는 것은 현실적으로는 거의 불가능하다. 이 때문에, 인체 모델은 인체모델을 사용하고자 하는 상황이나 목적에 적합하도록 적절히 단순화되어야 한다.(중략)

• Electronics and Telecommunications Trends
• /
• 제30권4호
• /
• pp.36-45
• /
• 2015

매니코어는 단순한 기능을 가진 수백~수천 개 코어를 하나의 CPU에 집적하여 성능을 구현하는 것으로 근본적으로 이를 활용할 병렬프로그래밍이 필요하다. 단순히 속도를 높이는 방향으로 발전하던 하드웨어는 병렬성을 증대하는 방향으로 발전하고 있고 이에 따라 프로그래밍 패러다임 역시 변하고 있다. 병렬화를 위한 여러 기술이 하드웨어에 구현되고 프로그래머가 이를 보다 적극적으로 활용할 수 있게 하는 유용한 병렬프로그래밍 모델이 필요하다. 또한, 컴퓨팅 환경은 자원의 활용도를 중시하는 시스템 중심에서 응용 및 서비스 중심으로 변화하고 있으므로, 그 도메인에 적합하게 프로그래밍할 수 있는 환경이 요구된다. 매니코어에서 병렬시스템 구조를 활용하는 방법을 결정하는 병렬프로그래밍 모델은 그 목적에 유연하게 제공되고 또한 컴퓨팅 환경 변화에 따라 새로운 개념의 모델을 정립하는 데 있어 유용해야 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (1)
• /
• pp.198-200
• /
• 1999

공간 데이터베이스 구축을 효과적으로 하는 방법중의 하나는 대축척 공간 데이터베이스를 이용하여 여러 종류의 다중축척 데이터베이스를 구축하는 것이다. 다중축척 데이터베이스의 구축에는 많은 작업들이 포함된다. 기하학적 변형이나 불필요한 객체의 단순화, 삭제 등의 일반화와 데이터 모델의 변형, 그리고 데이터베이스의 전환 과정에 포함된다. 이 작업은 매우 다양한 처리과정을 요구하기 때문에 자동화된 도구의 도움을 필요로 한다. 본 논문에서는 다중축척 데이터베이스 구축에 이용되는 작업을 지원하는 CASE 도구를 소개한다. 이 도구는 지도 일반화에 의해 발생되는 데이터 모델의 변화에 대한 규칙에 따라 새로운 소축척의 데이터베이스의 데이터 모델을 설계하는 작업을 지원하며, 이 데이터 모델에 따라 대축척의 데이터베이스를 소축척의 데이터베이스로 전환하는 기능을 지원한다.

• Annual Conference on Human and Language Technology
• /
• 한국정보과학회언어공학연구회 2014년도 제26회 한글 및 한국어 정보처리 학술대회
• /
• pp.56-60
• /
• 2014

기계학습 방법에 기반한 자연어 분석은 학습 데이터가 필요하다. 학습 데이터가 구축된 소스 도메인이 아닌 다른 도메인에 적용할 경우 한국어 의미역 인식 기술은 15% 정도 성능 하락이 발생한다. 본 논문은 이러한 다른 도메인에 적용시 발생하는 성능 하락 현상을 극복하기 위해서 기존의 소스 도메인 학습 데이터를 활용하여, 소규모의 타겟 도메인 학습 데이터 구축만으로도 성능 하락을 최소화하기 위해 한국어 의미역 인식 기술에 prior 모델을 제안하며 기존의 도메인 적응 알고리즘과 비교 실험하였다. 추가적으로 학습 데이터에 사용되는 자질 중에서, 형태소 태그와 구문 태그의 자질 값을 기존보다 단순하게 적용하여 성능의 변화를 실험하였다.

• Journal of KSNVE
• /
• 제7권5호
• /
• pp.837-845
• /
• 1997

The dynamic interactions between the reactor vessel and the control element drive mechanisms (CEDMs) of a pressurized water reactor are studied with the simplified mathematical model. The CEDMs are modeled as multiple substructures having different masses and the reactor vessel as a single degree of freedom system. The explicit equation for the frequency responses of the multiple substructure system are presented for the case of harmonic base excitations. The optimum dynamic characteristics of the CEDMs are presented to reduce the dynamic responses of the reactor vessel. The mathematical model and its response equations are verified by finite element analysis for the detailed model of the reactor vessel and the CEDMs for the harmonic base excitations. It is finally shown that the optimal dynamic characteristics of the CEDM presented can be applicable for the aseismic design.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• 제35권10호
• /
• pp.1223-1228
• /
• 2011

A moving-coil type linear actuator has been widely used in the system reciprocating short stroke because of its several advantages, such as the structural simplicity, low weight and a fast control response speed. This paper presents a design approach for improving the actuating performance with a clear expression of optimal configuration represented by a level set function. The optimization problem is formulated to minimize the variation of magnetic force at every moving displacement of the mover for fast and easy control. To consider the manufacturability of actuator, the concept of phase-field model is incorporated to control the complexity of structural boundaries. To verify the usefulness of the proposed method, the core design example of cylindrical linear actuator is performed.