• Title/Summary/Keyword: goal model

Search Result 2,510, Processing Time 0.044 seconds

OVERVIEW OF KSTAR INTEGRATED CONTROL SYSTEM

  • Park, Mi-Kyung;Kim, Kuk-Hee;Lee, Tae-Gu;Kim, Myung-Kyu;Hong, Jae-Sic;Baek, Sul-Hee;Lee, Sang-Il;Park, Jin-Seop;Chu, Yong;Kim, Young-Ok;Hahn, Sang-Hee;Oh, Yeong-Kook;Bak, Joo-Shik
    • Nuclear Engineering and Technology
    • /
    • v.40 no.6
    • /
    • pp.451-458
    • /
    • 2008
  • After more than 10 years construction, KSTAR (Korea Superconducting Tokamak Advanced Research) had finally completed its assembly in June 2007, and then achieved the goal of first-plasma in July 2008 through the four month's commissioning. KSTAR was constructed with fully superconducting magnets with material of $Nb_3Sn$ and NbTi, and their operation temperatures are maintained below 4.5K by the help of Helium Refrigerator System. During the first-plasma operation, plasmas of maximum current of 133kA and maximum pulse width of 865ms were obtained. The KSTAR Integrated Control System (KICS) has successfully fulfilled its missions of surveillance, device operation, machine protection interlock, and data acquisition and management. These and more were all KSTAR commissioning requirements. For reliable and safe operation of KSTAR, 17 local control systems were developed. Those systems must be integrated into the logically single control system, and operate regardless of their platforms and location installed. In order to meet these requirements, KICS was developed as a network-based distributed system and adopted a new framework, named as EPICS (Experimental Physics and Industrial Control System). Also, KICS has some features in KSTAR operation. It performs not only 24 hour continuous plant operation, but the shot-based real-time feedback control by exchanging the initiatives of operation between a central controller and a plasma control system in accordance with the operation sequence. For the diagnosis and analysis of plasma, 11 types of diagnostic system were implemented in KSTAR, and the acquired data from them were archived using MDSpius (Model Driven System), which is widely used in data management of fusion control systems. This paper will cover the design and implementation of the KSTAR integrated control system and the data management and visualization systems. Commissioning results will be introduced in brief.

Fate and Activity of Microorganism introduced into the Soil (토양에 투입된 미생물의 거동 및 활성)

  • Chung, Jae-Chun;Ju, Seul;Lee, Jae-Woong;Lee, Jung-Jae
    • Journal of the Korea Organic Resources Recycling Association
    • /
    • v.10 no.2
    • /
    • pp.100-116
    • /
    • 2002
  • There are several purpose to introduce microorganism into the Soil. The major purpose is to promote plant growth and inhibit plant pathogens. The model example is to put in nitrogen fixing symbiotic bacteria, Pythium and Rhizobium. In order to achieve the intended goal, the introduced microorganism should survive and colonize with sufficient density. The survival of introduced microorganism depend upon biotic and abiotic factors. Predation and competition are important among biotic factor. Water tension, organic carbon, inorganic nutrients(N, P), pH are important factor among abiootic factor. Soil texture and distribution of soil pore are also important in the survival and colonization of introduced microorganism. Selection by soil ecosystem for inoculant is a crucial factor for colonization. Good example are control of autochtonous microorganism and the introduction of surfactant biodegrading Pseudomonas. Sometimes, carriers such as peat and montmorillonite can be added to help colonization. Carriers can protect introduced microorganism by supplying protective microhabitat. Organic polymer is also used as a carrier to immobilize bacteria or industrial enzymes. Examples of these carrier are calcium alginate, agarose and k-carrageenan. The function of these carrier is to provide microhabitat and help colonization for introduced microorganism.

  • PDF

Lane Detection in Complex Environment Using Grid-Based Morphology and Directional Edge-link Pairs (복잡한 환경에서 Grid기반 모폴리지와 방향성 에지 연결을 이용한 차선 검출 기법)

  • Lin, Qing;Han, Young-Joon;Hahn, Hern-Soo
    • Journal of the Korean Institute of Intelligent Systems
    • /
    • v.20 no.6
    • /
    • pp.786-792
    • /
    • 2010
  • This paper presents a real-time lane detection method which can accurately find the lane-mark boundaries in complex road environment. Unlike many existing methods that pay much attention on the post-processing stage to fit lane-mark position among a great deal of outliers, the proposed method aims at removing those outliers as much as possible at feature extraction stage, so that the searching space at post-processing stage can be greatly reduced. To achieve this goal, a grid-based morphology operation is firstly used to generate the regions of interest (ROI) dynamically, in which a directional edge-linking algorithm with directional edge-gap closing is proposed to link edge-pixels into edge-links which lie in the valid directions, these directional edge-links are then grouped into pairs by checking the valid lane-mark width at certain height of the image. Finally, lane-mark colors are checked inside edge-link pairs in the YUV color space, and lane-mark types are estimated employing a Bayesian probability model. Experimental results show that the proposed method is effective in identifying lane-mark edges among heavy clutter edges in complex road environment, and the whole algorithm can achieve an accuracy rate around 92% at an average speed of 10ms/frame at the image size of $320{\times}240$.

A Study on Activation in Win-Win Cooperation Quality Circle Innovation Activities (상생협력 분임조 혁신활동 활성화 방안에 관한 연구)

  • Ahn, Hyobeom
    • Industry Promotion Research
    • /
    • v.3 no.1
    • /
    • pp.43-48
    • /
    • 2018
  • This study is focusing on activating and developing the right model of win-win partnership innovative activity for the purpose of win-win relationship among companies. These are the following studies that are conducted for that objective. First, This study systematically analyzes the best cases of the win-win partnership focusing on the proceedings of the companies participating in the field of win-win Partnership at the national quality-circle contest for the last three years(2014~2016). This study reveals the underlying problems of win-win partnership innovative activity and draws the conclusion in the way of improvement about the win-win partnership innovative activity. Second, This study suggests the efficient method of the function and improvement of a system for activating win-win partnership innovative activity by analyzing screening criterion and selecting excellent cases in the field of win-win Partnership at the national quality-circle contest in 2017. Third, This study suggests the method of strengthening the system of sharing result for invigorating and motivating the win-win partnership innovative activity. It is expected that this methodology for reinforcing the system of Win-win Partnership among companies will help to create the environment where a sound and new corporate culture can be settled. And It is also expected that this study can contribute to attaining the goal of growing together through enhancing the competitiveness, productivity and quality among Win-win Cooperation companies.

A Study of e-Textbook Format Standardization Scheme for Smart Education Circumstance (스마트 교육환경을 위한 e-교과서 포맷 표준화 방안 연구)

  • Sohn, Won-Sung;Lim, Soon-Bum;Kim, Jae-Kyung
    • Journal of The Korean Association of Information Education
    • /
    • v.16 no.3
    • /
    • pp.327-336
    • /
    • 2012
  • The Korea government has recently announced "A Master Plan for Smart Education", including application of digital textbooks and composition of education system using cloud computing. Our education system in future circumstance, over the conventional e-learning methods, needs the smart education solutions which enable students to study and communicate on various types of devices. The ongoing government project related with the digital textbook has been performed as mid- and long-term goals, whereas PDF-based e-textbook project, similar to e-book model and, has been already completed for the short-term goal. For the purpose of improved future smart education circumstance, however, a specific strategy is required in the following areas: flexibility of format conversion and independency of original text sources among the multiple device platforms. Therefore, in this paper, we propose a standardization scheme for e-textbook format based on e-book structure. To do this, we survey trends in e-book technologies, and research on standardization of e-book format for digitalization of textbooks, based on the analysis of existing textbooks. Moreover, we produce an example e-book content using our proposed standard method. As a result, our approach can be applied to the future smart education circumstance, and we may say that it will be efficiently applicable to the long-term digital textbook project.

  • PDF

A Representation Method of Game Mechanics Using UML Notations in Game Design (UML 표기법을 활용한 게임메카닉스 설계내용 표현방법)

  • Chang, Hee-Dong
    • Journal of Korea Game Society
    • /
    • v.6 no.4
    • /
    • pp.47-53
    • /
    • 2006
  • In the game development differently with general software development, game planers, programers, and graphic designers, the specialists of the various fields, accomplished one team and they are advanced all to their goal. So it is very difficult for the development participants to communicate each other accurately and efficiently. For successful game development, all development participants should understand accurately the contents of the game design document. Specially the game mechanics as a major part of game design, requires the no-error contents, the no-error expression, and the no-error readings to all development participants because it contains almost game-play logic. It becomes more difficult for the development participants to understand accurately the game mechanics which becomes larger and complicated as the size of game development becomes larger. And configuration management of the game mechanics becomes more complicated and inefficient. In this paper, we propose a new representation method of game mechanics using UML notations for solving this problem. The proposed method satisfies the visual expression and the logical expression simultaneous for the requirements of the game mechanics because of UML notations. And the proposed method could be an efficient management of configuration because the management is based on the UML model management. The proposed representation of game mechanics of "Capture The Dude" game, shows good visual expression and good logical expression.

  • PDF

A Study of the Establishment of Small and Medium Sized Architectural Design Firm BIM Environment based on Virtual Desktop Infrastructure (가상 데스크톱 인프라(VDI) 기술을 활용한 중소규모 설계사의 BIM 사용자 별 데스크탑 자원 할당 전략에 관한 연구)

  • Lee, Kyuhyup;Shin, Joonghwan;Kwon, Soonwook;Park, Jaewoo
    • Korean Journal of Construction Engineering and Management
    • /
    • v.17 no.5
    • /
    • pp.78-88
    • /
    • 2016
  • Recently BIM technology has been expanded for using in construction project. However its spread has been delayed than the initial expectations, due to the high-cost of BIM infrastructure development, the lack of regulations, the lack of process and so forth. In design phase, especially, collaboration based on BIM system has being a key factor for successful next generation building project. Through the analysis of current research trend about IT technologies, virtualization and BIM service, data exchange such as drawing, 3D model, object data, properties using cloud computing and virtual server system is defined as a most successful solution. In various industrial fields, cloud computing technology is utilized as a promising solution which can reduce time and cost of hardware infrastructure. Among the cloud computing technology, VDI is receiving a great deal of attention from it market as an essential part cloud computing. VDI enables to host multiple individual virtual machines by using hypervisor. It has an advantage to easy main device management. Therefore, this study implements a step-by-step user's DaaS by analyzing the desktop resource data of the workers from Pre-design phase to Schematic design, Design develop and Construction design phase. It also develops BIM environment based on test of BIM modeler and designers in architectural design firm. The goal of the study is to enable the cloud computing BIM server. It provides cost saving, high-performance quality of working environment and cooperation's convenience and high security when doing BIM work in small and medium sized architectural design firm.

Comparison among Methods of Modeling Epistemic Uncertainty in Reliability Estimation (신뢰성 해석을 위한 인식론적 불확실성 모델링 방법 비교)

  • Yoo, Min Young;Kim, Nam Ho;Choi, Joo Ho
    • Journal of the Computational Structural Engineering Institute of Korea
    • /
    • v.27 no.6
    • /
    • pp.605-613
    • /
    • 2014
  • Epistemic uncertainty, the lack of knowledge, is often more important than aleatory uncertainty, variability, in estimating reliability of a system. While the probability theory is widely used for modeling aleatory uncertainty, there is no dominant approach to model epistemic uncertainty. Different approaches have been developed to handle epistemic uncertainties using various theories, such as probability theory, fuzzy sets, evidence theory and possibility theory. However, since these methods are developed from different statistics theories, it is difficult to interpret the result from one method to the other. The goal of this paper is to compare different methods in handling epistemic uncertainty in the view point of calculating the probability of failure. In particular, four different methods are compared; the probability method, the combined distribution method, interval analysis method, and the evidence theory. Characteristics of individual methods are compared in the view point of reliability analysis.

Incentive Design Considerations for Free-riding Prevention in Cooperative Distributed Systems (협조적 분산시스템 환경에서 무임승차 방지를 위한 인센티브 디자인 고려사항 도출에 관한 연구)

  • Shin, Kyu-Yong;Yoo, Jin-Cheol;Lee, Jong-Deog;Park, Byoung-Chul
    • Journal of the Korea Society of Computer and Information
    • /
    • v.16 no.7
    • /
    • pp.137-148
    • /
    • 2011
  • Different from the traditional client-server model, it is possible for participants in a cooperative distributed system to get quality services regardless of the number of participants in the system since they voluntarily pool or share their resources in order to achieve their common goal. However, some selfish participants try to avoid providing their resources while still enjoying the benefits offered by the system, which is termed free-riding. The results of free-riding in cooperative distributed systems lead to system collapse because the system capacity (per participant) decreases as the number of free-riders increases, widely known as the tragedy of commons. As a consequence, designing an efficient incentive mechanism to prevent free-riding is mandatory for a successful cooperative distributed system. Because of the importance of incentive mechanisms in cooperative distributed system, a myriad of incentives mechanisms have been proposed without a standard for performance evaluation. This paper draws general incentive design considerations which can be used as performance metrics through an extensive survey on this literature, providing future researchers with guidelines for the effective incentive design in cooperative distributed systems.

Framework for Designing Explanatory Style of Interactive Agents (상호작용형 에이전트의 설명 양식을 디자인하기 위한 프레임워크 개발)

  • Oh, Se-Jin;Woo, Woon-Tack
    • Journal of the Institute of Electronics Engineers of Korea CI
    • /
    • v.45 no.5
    • /
    • pp.63-73
    • /
    • 2008
  • Recent years have seen an explosion of interest in interactive agents motivating human learners to engage in edutainment systems which are designed to be entertaining and educational at the same time. Especially, work on socio-emotional processes has focus on understanding of human's social behavior in training and entertainment a applications. In contrast with work on social emotion, where research groups have developed detailed models of emotional processes, models of personality have emphasized shallow surface behavior. Here, we build on computational appraisal models of emotion to better characterize dispositional differences in how people come to understand social situations. Known as explanatory style, this dispositional factor plays a key role in social interactions and certain socio-emotional disorders, such as depression. Building on appraisal and attribution theories, we model key conceptual variables underlying the explanatory style, and enable agents to exhibit different explanatory tendencies with respect to their personalities. Furthermore, we developed an interactive AR agent based on our framework and applied it into an interactive teaming system that allows participants to explore individual differences in the explanation of social events, with the goal of encouraging the development of perspective laking and emotion-regulatory skills.