• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1995년도 추계학술대회 논문집
• /
• pp.859-863
• /
• 1995

Presented in the paper are a review of sorting and buffering system(SBS), the design procedure of a SBS and an analytical model for the initial alternative generation. SBS is an automated material handling system in which incoming items of different part types are automatically sorted and buffered so that the processing machines can process the part in lots. SBSs play a key role in modern manufacturing systems ans are widely found in mass fabrication lines, packaging and palletizing, and disribution centers.

• 산업공학
• /
• 제24권2호
• /
• pp.156-163
• /
• 2011

The radiopharmaceutical synthesis for PET (positron emission tomography) is composed of chemical reactions using automated synthetical equipment. Due to the radioactive material, the automated equipment is being frequently developed to replace human operators who conduct dangerous, repetitive and dexterous operations. As to operation, the manipulating program is commonly coded using the spread sheet while the whole actuators are mapped in every step. The process map (program) is changed according to such parameters as temperature of reactor, keeping time, mixture sequence and amount of reagent. In cases of customizing the automated synthetical equipment or developing the new radiopharmaceuticals, lots of experiments should be conducted and the programming mistake is not allowed as it can lead abnormal control of the equipment to leak the radioactive materials. The exact process map has depended on trial and error manner. Thus, this study developed the methodology to tabulate the synthetical process to convert the process map automatically while the synthetical module formation is represented by a network model. The proposed method is validated using the actual radiopharmaceutical synthetical procedure.

• 로봇학회논문지
• /
• 제14권2호
• /
• pp.139-149
• /
• 2019

In this paper, we present auto-annotation tool and synthetic dataset using 3D CAD model for deep learning based object detection. To be used as training data for deep learning methods, class, segmentation, bounding-box, contour, and pose annotations of the object are needed. We propose an automated annotation tool and synthetic image generation. Our resulting synthetic dataset reflects occlusion between objects and applicable for both underwater and in-air environments. To verify our synthetic dataset, we use MASK R-CNN as a state-of-the-art method among object detection model using deep learning. For experiment, we make the experimental environment reflecting the actual underwater environment. We show that object detection model trained via our dataset show significantly accurate results and robustness for the underwater environment. Lastly, we verify that our synthetic dataset is suitable for deep learning model for the underwater environments.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제33권11호
• /
• pp.986-998
• /
• 2006

인터넷의 발전으로 방대해진 정보를 컴퓨터가 이해하고 효율적으로 관리하기 위해서는 시맨틱 웹 기반의 메타데이타가 반드시 필요하다. 그러나 메타데이타 생성 시 의미 중의성을 가진 정보가 존재하며 이 문제의 해결책이 필요하다. 본 논문에서는 순차적으로 존재할 수 있는 단어들의 확률 모델을 이용하여 문서와 같은 정보에 포함된 의미가 애매한 단어를 관련성이 높은 모델의 개념으로 메타데이타를 생성하는 방법을 제안한다. 제안한 방법에서 메타데이타를 생성 할 때, 온톨로지에 정의된 개념들 간의 중의성을 고려하고 명칭(named entity)의 일부 단어에 대한 인식을 위해 은닉 마르코프 모델(Hidden Markov Model)을 사용한다. 먼저 온톨로지에 정의된 각 클래스(class)의 인스턴스(instance)를 인식하기 위한 마르코프 모델을 생성한다. 다음으로 문서로부터 의미가 애매한 단어의 의미를 파악할 수 있는 상황정보(Context)를 생성하고, 상황정보에 포함된 단어들의 순서에 대응하는 최적의 마르코프 모델을 찾아 메타데이타 생성시의 중의성 문제를 해결한다. 제안한 방법으로 전산학관련 논문에 대해 의미가 애매한 7개의 단어를 추출하여 실험하였다. 그 결과 상황정보에 존재하는 개체(entity)의 의미부류들 중 가장 빈번한 의미 부류로 애매한 단어의 의미를 선정한 SemTag보다 정확도 면에서 38%정도의 나은 성능을 나타내었다.

• 한국항공우주학회지
• /
• 제37권4호
• /
• pp.359-366
• /
• 2009

자동 코드생성이란 MATLAB의 Simulink 환경에서 설계한 블록 다이어그램을 c 코드로 변환시켜 주는 기능으로 MATLAB과의 연동을 통해 소프트웨어 설계부터 검증까지의 통합된 개발환경을 제공함으로서 개발 시간을 크게 줄일 수 있다. 하지만 생성된 c 프로그램을 무인기에 탑재하기 위해서는 소프트웨어의 신뢰성 확보가 필요하며 특히 원본이 되는 Simulink 블록의 검증이 중요하다. 본 연구에서는 자동 코드생성 기능을 고려하여 Simulink 환경에서 구성한 무인기용 자동비행 프로그램을 DO-178B에 명시된 소프트웨어 시험 과정에 따라 검증하였다. 이 과정을 통해 최종 프로그램은 기능 요구사항에 대한 만족함을 확인했을 뿐 아니라 Decision Coverage 93%, Condition Coverage 95% 그리고 MC/DC 90%로 구조적 측면에서 검증을 수행했다.

• ETRI Journal
• /
• 제43권2호
• /
• pp.288-298
• /
• 2021

Abstractive text summarization is a process of making a summary of a given text by paraphrasing the facts of the text while keeping the meaning intact. The manmade summary generation process is laborious and time-consuming. We present here a summary generation model that is based on multilayered attentional peephole convolutional long short-term memory (MAPCoL; LSTM) in order to extract abstractive summaries of large text in an automated manner. We added the concept of attention in a peephole convolutional LSTM to improve the overall quality of a summary by giving weights to important parts of the source text during training. We evaluated the performance with regard to semantic coherence of our MAPCoL model over a popular dataset named CNN/Daily Mail, and found that MAPCoL outperformed other traditional LSTM-based models. We found improvements in the performance of MAPCoL in different internal settings when compared to state-of-the-art models of abstractive text summarization.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2004년도 ICCAS
• /
• pp.358-362
• /
• 2004

Verification and testing are complementary techniques that are used to increase the level of confidence in the correct functioning of communication systems as prescribed by their specifications. This paper presents an experience of model checking for a formal railway signaling protocol specified in LTS (Labeled Transition System). This formal approach checks deadlock, livelock and reachability for the state and action to verify whether properties expressed in modal logic are true on specifications. We also propose a formal method for semi-automated test case generation for a railway signaling protocol described in I/O FSM (Input/Output Finite State Machine). This enables the generation of more complete and consistent test sequence for conformance testing. The above functions are implemented by C++ language and included within RSPVTE (Railway Signaling Protocol Verification and Testing Environment).

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2002년도 추계학술대회 논문집
• /
• pp.591-594
• /
• 2002

Generating NC-code from 3D part model needs a lot of effort to make many decisions, including machining area, tool change data, tool data, cutting condition, etc., by using either manual or computer aided method. This effort can be reduced by integration of automated process planning and NC-code generation. In case of generating NC code with a help of the process planning system, many data mentioned from the process planning can be used. It means that we can create NC-code about a full part. In this study, integration of FAPPS(Feature based Automatic Process Planning) with a NC-code generating module is described and additional data to adapt NC-code for machine shop is discussed.

• International Journal of Aeronautical and Space Sciences
• /
• 제17권2호
• /
• pp.204-213
• /
• 2016

A differential game theory based approach is used to develop an automated maneuver generation algorithm for Within Visual Range (WVR) air-to-air combat of unmanned combat aerial vehicles (UCAVs). The algorithm follows hierarchical decisionmaking structure and performs scoring function matrix calculation based on differential game theory to find the optimal maneuvers against dynamic and challenging combat situation. The score, implying how much air superiority the UCAV has, is computed from the predicted relative geometry, relative distance and velocity of two aircrafts. Security strategy is applied at the decision-making step. Additionally, a barrier function is implemented to keep the airplanes above the altitude lower bound. To shorten the simulation time to make the algorithm more real-time, a moving horizon method is implemented. An F-16 pseudo 6-DOF model is used for realistic simulation. The combat maneuver generation algorithm is verified through three dimensional simulations.

• 정보처리학회논문지B
• /
• 제14B권3호
• /
• pp.199-214
• /
• 2007

최근 들어 인공지능 계획기법을 이용하여 자동화된 시맨틱 웹서비스들 간의 조합을 구현하려는 연구들이 활발하게 이루어지고 있다. 하지만 일반적으로 전통적인 인공지능 계획기법들은 복잡한 제어구조를 포함하는 웹서비스 프로세스를 하나의 단위 행동이나 계획으로 표현하기 어렵고, 온톨로지에 포함된 의미 정보들을 계획생성에 충분히 반영할 수 없으며, 웹서비스들 사이의 입출력 데이터 흐름을 직접 모델링할 수 없고, 계획단계와 실행단계가 분리되어 있어 웹서비스 실행단계의 불확실성과 가변성을 계획단계에서 충분히 고려할 수 없다는 등의 한계점을 가지고 있다. 본 연구에서는 이러한 문제점들을 해결하기 위한 접근 방법으로서 반응형 계획을 이용한 시맨틱 웹서비스 조합을 제안하고, 프로토타입 시스템인 SWEEP을 구현하였다. e-Commerce 분야의 예제 웹서비스들을 대상으로 실험을 통해, 우리는 반응형 계획이 자동화된 시맨틱 웹서비스의 조합과 실행을 구현하기 위한 효과적인 기술임을 확인할 수 있었다.