• Korean Journal of Construction Engineering and Management
• /
• v.5 no.4 s.20
• /
• pp.107-114
• /
• 2004

This paper represents the application of the 3D CAD Model data for 4D simulation and quantity estimation. These support the effective and practical use of 4D CAD model. By using and manipulating the 3D CAD model information, scheduling and quantity estimation could be developed more quickly and effectively. So the 3D CAD model information is made use of not only drawing a blueprint but also playing an important part of data integration platform. The scheduling module sets up the schedule generation logic that consists of period, priority of element arrangement, and time lag of floor placement. It sorts the working items as a priority of working process. And the quantity estimation module queries the material quantity of the structural elements according to the scheduling conditions. These two modules are developed using the 3D CAD model information and assist the function of 4D CAD model.

• KIPS Transactions on Software and Data Engineering
• /
• v.7 no.1
• /
• pp.1-8
• /
• 2018

Software testing is important to determine the reliability of the system, a task that requires a lot of effort and cost. Model-based testing has been proposed as a way to reduce these costs by automating test designs from models that regularly represent system requirements. For each path of model to generate an input value to perform a test, meta-heuristic technique is used to find the test data. In this paper, we propose an automatic test data generation method using a slicing method and a priority policy, and suppress unnecessary computation by excluding variables not related to target path. And then, experimental results show that the proposed method generates test data more effectively than conventional method.

• Journal of the Korean Society for Precision Engineering
• /
• v.14 no.6
• /
• pp.64-73
• /
• 1997

솔리드 모델러, 자동요소분할 기법, 4면체 특이요소, 응력확대계수의 해석 기능을 통합하여, 3차원 균열의 응력확대계수를 효율적으로 해석할 수 있는 시스템을 개발하였다. 균열을 포함하는 기하모델을 CAD 시스템을 이용하여 정의하고, 경계조건과 재료 물성치 및 절점밀도 분포를 기하모델에 직접 지정함으로써, 퍼지이론 에 의한 절점발생과 데로우니 삼각화법에 의한 요소가 자동으로 생성된다. 특히, 균열 근방에는 4면체 2차 특이요소를 생성시켰으며, 유한요소 해석을 위한 입력 데이터가 자동으로 작성되어 해석코드에 의한 응력 해석이 수행된다. 해석 후, 출력되는 변위를 이용하여 변위외삽법에 의한 응력확대계수가 자동적으로 계산되어 진다. 본 시스템의 효용성을 확인하기 위해, 인장력을 받는 평판내의 표면균열에 대해 해석하여 보았다.

• Annual Conference on Human and Language Technology
• /
• 2019.10a
• /
• pp.419-423
• /
• 2019

질문과 그에 대한 근거가 있는 문서를 읽고 정답을 예측하는 기계 독해 연구가 최근 활발하게 연구되고 있다. 기계 독해 문제를 위해 주로 사용되는 방법은 다층의 신경망으로 구성된 딥러닝 모델로 좋은 성능을 위해서는 양질의 대용량 학습 데이터가 필요하다. 그러나 질과 양을 동시에 만족하는 학습 데이터를 구축하는 작업에는 많은 경제적 비용이 소모된다. 이러한 문제를 해결하기 위해, 본 논문에서는 정답 분리 인코더와 복사 메커니즘을 이용한 단답 기반 한국어 질문 자동 생성 모델을 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.11a
• /
• pp.1543-1546
• /
• 2012

반응형 시스템은 외부 환경과 지속적으로 상호작용하는 시스템이다. 반응형 시스템이 요구 사항을 만족하는지를 검사하기 위해서 상호 작용을 수행할 환경 모델을 구축 해야 한다. 환경 모델은 반응형 시스템에게 항상 올바른 입력들을 제공 해야만 검사 결과의 신뢰성을 보장할 수 있기 때문에 올바른 입력들을 포함하는 것은 매우 중요하다. GR(1) Synthesis 는 수학적 정형 기법으로써 논리식으로 표현된 요구 사항을 보장할 수 있는 모델을 자동으로 생성할 수 있다. 이 기법을 이용하여 올바른 환경 모델을 생성하고 반응형 시스템에게 올바른 환경의 입력들을 자동으로 제공 함으로써 반응형 시스템의 행위가 올바른지를 환경 모델 상에서 검사하였다. 또한 사례 연구를 통해 환경 모델을 이용한 검사가 기존 방법에 비해 우수함을 알 수 있었다.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.38 no.4
• /
• pp.277-284
• /
• 2001

Viterbi algorithm is widely used in digital communication system for FEC(forward error correction). Each communication systems based on the Viterbi algorithm use specific Viterbi decoder which has different code parameter values. Even if Viterbi decoder has the same code parameters, it can be varied by the design architecture adopted. We propose the parameterized VHDL model generator for the efficiency of the design. It makes it possible to achieve shorter design time and lower design cost. The model generator searches the design space available and finds out the optimal design point to generate a decoder model.

• Journal of the Korea Society for Simulation
• /
• v.17 no.4
• /
• pp.1-9
• /
• 2008

Proposed in the paper is an automated procedure to construct a plant model for PLC simulation. Since PLC programs only contain the control logic without the information on the plant model, it is necessary to build the corresponding plant model to perform simulation. Conventionally, a plant model for PLC simulation has been constructed manually, and it requires much efforts as well as the in-depth knowledge of simulation. As a remedy for the problem, we propose an automated procedure to generate a plant model from the symbol table of a PLC program. To do so, we propose a naming rule for PLC symbols so that the symbol names include enough information on the plant model. By analyzing such symbol names, we extract a plant model automatically. The proposed methodology has been implemented, and test runs were made.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2023.05a
• /
• pp.544-545
• /
• 2023

최근 화제인 가상 아이돌의 춤 제작에 많은 자원 및 비용이 발생한다. 만일 춤을 자동으로 생성해 3D 모델에 피팅하면 이러한 비용을 줄일 수 있으며, 다양하고 복잡한 춤의 구현도 가능할 것이다. 또한, 댄스 게임을 통해 춤을 배우고 즐기는 사람들이 많지만, 경험할 수 있는 춤이 한정적이며, 모션 인식 정확도가 낮다는 단점이 있다. 따라서 본 논문에서는 트랜스포머 구조의 인공지능 모델을 통해 음악에 어울리는 3D 춤 모션을 자동으로 생성하고, 3D 자세 추정 모델을 사용해 사용자의 모션을 추정한 후, 두 모션의 유사도를 랜드마크 3D 좌표로 계산하여 판정하고자 한다. 이는 1 인 댄스 룸 또는 댄스 게임에 활용되어 발전 가능하다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1992.04b
• /
• pp.545-554
• /
• 1992

본 논문에서는 복합형상의 금형을 가공하기 위하여 필요한 공구와 가공경로를 자동으로 생성해 주는 자동공정계획(CAPP)방법을 제시한다. 금형곡면은 일반적으로 복잡한 형상의 자유곡면들의 조합으로 이루어 지는데 육면체 형상의 소재로부터 원하는 금형곡면을 가공하는데는 수십시간의 기계가공 시간이 소요되며 또한 NC Code를 준비하는데도 같은정도의 시간이 소요된다. 금형곡면의 NC가공에 있어서 또다른 어려움은 공구의 과부하와 공구간섭이 빈번하게 발생할 수 있다는 점이다. 제안하는 자동공정계획방법은 전처리, 공정계획, 공구경로 생성의 3단계로 구성된다. 자동공정계획시스템의 입력정보는 1) 생성될 곡면형상 2) 가공할 소재형상 3) 가공공구 셀(드릴, 볼 엔드밀, 플렛 엔드밀), 절삭성 데이타등이다. 전처리 단계에서는 곡면모델러로부터 생성된 입력 형상을 Z-map이라 부르는 자료구조로 변환한다. 두번째 단계에서는 절삭 가공작업의 순서가 사용되는 공구와 함께 후방순환법에 의하여 결정된다. 그리고 실제 가공될 NC공구경로가 마지막 세번째 단계에서 생성된다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.41 no.6
• /
• pp.488-494
• /
• 2013

The control law design and analysis environment of the FBW helicopter system have been developed using model base design method. The model based design is generally used in a aircraft, unmanned aerial system and automobile as well as rotorcraft development. The model based design provides many advantages such as development risk and schedule reduction using simulation and autocode generation. This paper describes a development of process for verification and validation of auto generated code for FBW helicopter flight control law. And this process is applied for Fly-By-Wire Helicopter Development Project. The results of functional test for auto generated code meet several specific requirements.