• 한국정보통신학회논문지
• /
• 제16권2호
• /
• pp.357-372
• /
• 2012

대부분의 이러닝 시스템은 복잡한 가입 절차를 거쳐야 하고 교육과정 또한 여러 부분으로 나뉘어 있어 서비스를 이용하기가 쉽지 않다. 이는 사용자가 학습에 대한 관심을 쉽게 잃게 만들 수 있고 학습 능률도 떨어뜨릴 수 있는 문제점을 가지고 있다. 또한 대부분의 이러닝 과정은 유아 및 초등학생들을 대상으로 하고 있지 않아 보호자 없이는 학습을 원활이 할 수 없는 설정이다. 따라서 본 논문에서는 초등학생들을 대상으로 하는 영어 이러닝 시스템을 설계 및 구현 한다. 제안하는 시스템은 사용자들의 나이가 어리다는 것을 참고하여 사용자 측면의 환경을 최대한 쉽고 흥미롭게 구성 한다. 본 시스템은 3가지의 클래스로 구성되고 사용자들은 능력에 맞게 미리 정해진 코스 정보를 이용하여 각 클래스별로 코스를 진행하게 된다.

• 의료ㆍ복지 건축 : 한국의료복지건축학회 논문집
• /
• 제29권2호
• /
• pp.39-48
• /
• 2023

Purpose: In Korea, the increase rate of the number of mentally ill patients increases, and the hospitalization period for severely mentally ill patients to stay in acute wards is long and the re-hospitalization rate is high. In order to improve the dignity of patients with acute mental illness and to plan a therapeutic environment for this, this study attempted to present a basic framework of spacial planning for establishing guidelines for psychiatric acute ward in general hospitals. Methods: By analyzing the acute psychiatric ward guidelines of the UK, Australia, and the US., this study analyzed the areas and required rooms of psychiatric acute ward in general hospitals, as well as the net floor area of each room, and the connection between the rooms. Results: As a result of the study, the basic framework for the ward areas and the required rooms, the net floor areas of the rooms, and the connection between the rooms were presented for the establishment of guidelines for the psychiatric acute ward in general hospitals. Implication: The results of the study will be used as a basic framework of space planning for establishing of guidelines for the psychiatric acute ward in general hospitals and will contribute to the establishment of detailed guidelines based on the space configuration through surveys and analysis of space use status, operation status, and expert interviews in Korea.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2000년도 추계학술대회 논문집 학회본부 D
• /
• pp.615-617
• /
• 2000

Temporal Logic Frameworks is convenient to represent temporal relation. It is useful to represent a dynamic properties of Discrete Event Dynamic Systems. Also, it is convenient to express a current and next state of event using logical representation. Because the teachability tree of the Temporal Logic Frameworks is very complexity it is difficult to understand. In this paper, we defined some rules to represent Temporal Logic Frameworks by Petri Net and proposed am method of the representation of them Petri Net for the Temporal Logic Frameworks. An example are used to demonstrate the feasibility of this method.

• 전기학회논문지
• /
• 제60권7호
• /
• pp.1347-1353
• /
• 2011

While most of the existing protection schemes have been designed with local information around individual components, these local schemes are not considered capable of protecting the modern electric power gird with growing complexity. Recent blackouts in North America and Europe have renewed the emphasis on coordinated protection and control actions to avoid systemwide blackouts, utilizing all of the available grid information. Thus, this paper proposes a new methodology, Agent-based Colored Petri Net (ACPN) modeling for systematically representing, modeling and analyzing information flows and interactions among the entities of the electric power grid. The paper demonstrates its efficacy and accuracy by investigating an ACPN model of a wide area protection system for a typical power grid. The proposed modeling and analysis schemes may further provide a framework to help assure reliability and interoperability of diverse smart grid components.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2019년도 춘계학술발표대회
• /
• pp.398-400
• /
• 2019

Faced with the increasing demand for image recognition on mobile devices, how to run convolutional neural network (CNN) models on mobile devices with limited computing power and limited storage resources encourages people to study efficient model design. In recent years, many effective architectures have been proposed, such as mobilenet_v1, mobilenet_v2 and PeleeNet. However, in the process of feature selection, all these models neglect some information of shallow features, which reduces the capture of shallow feature location and semantics. In this study, we propose an effective framework based on Feature Pyramid Networks to improve the recognition accuracy of deep and shallow images while guaranteeing the recognition speed of PeleeNet structured images. Compared with PeleeNet, the accuracy of structure recognition on CIFA-10 data set increased by 4.0%.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2019년도 춘계학술발표대회
• /
• pp.522-524
• /
• 2019

In spite of a rapid development in the quality of built-in mobile cameras, their some physical restrictions hinder them to achieve the satisfactory results of digital single lens reflex (DSLR) cameras. In this work we propose an end-to-end deep learning method to translate ordinary images by mobile cameras into DSLR-quality photos. The method is based on the framework of generative adversarial networks (GANs) with several improvements. First, we combined the U-Net with DenseNet and connected dense block (DB) in terms of U-Net. The Dense U-Net acts as the generator in our GAN model. Then, we improved the perceptual loss by using the VGG features and pixel-wise content, which could provide stronger supervision for contrast enhancement and texture recovery.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 1994년도 춘계공동학술대회논문집; 창원대학교; 08월 09일 Apr. 1994
• /
• pp.467-477
• /
• 1994

The objective of this research is to develop a manufacturability measurement model for process and material screening. The process and material screening is the key requirement for implementing the Design for Manufacturability (Concurrent Engineering). A computerized system realizing this model then is developed to aid designers. Identification of the key factors which influence technical manufacturability, decision variables and their characteristics, conceptual framework for implementing the model are suggested. Manufacturability measure for quantifying the consistency of between the product requirements and the manufacturing capability is important contribution of this research. The focus is on net shape manufacturing process such as diecasting, forging, metal forming and injection molding.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 1996년도 춘계공동학술대회논문집; 공군사관학교, 청주; 26-27 Apr. 1996
• /
• pp.619-622
• /
• 1996

This paper presents the formal integration of process planning and shop floor control with Petri net formalism. Formal integration means that both planning and control problems can be modeled, interfaced, and transformed with the Petri net formalism. This integrated framework provides a systematic approach for rapidly developing a formal shop floor controller from process planning with respect to shop floor configuration.

• Nuclear Engineering and Technology
• /
• 제44권5호
• /
• pp.459-470
• /
• 2012

From the PSA point of view, the Fukushima accident of Japan in 2011 reveals some issues to be re-considered and/or improved in the PSA such as the limited scope of the PSA, site risk, etc. KAERI (Korea Atomic Energy Research Institute) has performed researches on the development of an integrated risk assessment framework related to some issues arisen after the Fukushima accident. This framework can cover the internal PSA model and external PSA models (fire, flooding, and seismic PSA models) in the full power and the low power-shutdown modes. This framework also integrates level 1, 2 and 3 PSA to quantify the risk of nuclear facilities more efficiently and consistently. We expect that this framework will be helpful to resolve the issue regarding the limited scope of PSA and to reduce some inconsistencies that might exist between (1) the internal and external PSA, and (2) full power mode PSA and low power-shutdown PSA models. In addition, KAERI is starting researches related to the extreme external events, the risk assessment of spent fuel pool, and the site risk. These emerging issues will be incorporated into the integrated risk assessment framework. In this paper the integrated risk assessment framework and the research activities on the emerging issues are outlined.

• Industrial Engineering and Management Systems
• /
• 제11권1호
• /
• pp.94-102
• /
• 2012

In this paper, an interactive planning and scheduling framework are proposed for optimising operations from pits to crushers in ore mining industry. Series of theoretical and practical operations research techniques are investigated to improve the overall efficiency of mining systems due to the facts that mining managers need to tackle optimisation problems within different horizons and with different levels of detail. Under this framework, mine design planning, mine production sequencing and mine transportation scheduling models are integrated and interacted within a whole optimisation system. The proposed integrated framework could be used by mining industry for reducing equipment costs, improving the production efficiency and maximising the net present value.