• Title/Summary/Keyword: Logical model

Search Result 527, Processing Time 0.027 seconds

Data Modeling for Developing the Baseline Network Analysis Software of Korean EMS System (한국형 EMS 시스템의 Baseline 계통 해석용 소프트웨어 개발을 위한 데이터 모델링)

  • Yun, Sang-Yun;Cho, Yoon-Sung;Lee, Wook-Hwa;Lee, Jin;Sohn, Jin-Man
    • The Transactions of The Korean Institute of Electrical Engineers
    • /
    • v.58 no.10
    • /
    • pp.1842-1848
    • /
    • 2009
  • This paper summarizes a data modeling for developing the baseline network analysis software of the Korean energy management system (EMS). The study is concentrated on the following aspects. First, the data for operating the each application software are extracted. Some of the EMS network application softwares are selected for basis model. Those are based on the logical functions of each software and are not considered the other softwares. Second, the common data are extracted for equipment model and topological structure of power system in Korea. We propose the application common model(ACM) that can be applied whole EMS network application softwares. The ACM model includes the hierarchy and non-hierarchy power system structure, and is connected each other using the direct and indirect link. Proposed database model is tested using the Korea Electric Power Corporation(KEPCO) system. The real time SCADA data are provided for the test. Through the test, we verified that the proposed database structure can be effectively used to accomplish the Korean EMS system.

Development of a Value Inquiry Model in Biology Education (생물교육에서의 가치 탐구 모형 개발)

  • Jeong, Eun-Young;Kim, Young-Soo
    • Journal of The Korean Association For Science Education
    • /
    • v.20 no.4
    • /
    • pp.582-598
    • /
    • 2000
  • There are many bioethical issues in line with the rapid advance of biology. In this situation, it is important for students to make a rational decision on value problem. In this study 'value inquiry in biology education' is defined as 'the process of rational value judgement and wise decision-making in the biology-related value problem' and the model was developed. To develop the model, value inquiry models were reviewed. Value clarification model is helpful for the formation of the personal value as the process of individual value inquiry, but it isn't helpful for clarifying the value conflicts. Value analysis model focuses on the rational solution of value problem through the logical procedure. But it has the limitations that overemphasizing the logical and systematic aspects results in devaluating students' affective aspects. So it is necessary to coordinate psychological and logical aspects of value inquiry. In this regard, the model was developed, including identifying and clarifying value problem, understanding biological knowledge related to conflict situation, considering on the related persons, searching for alternatives, predicting the consequences of each alternative, selecting the alternative, evaluating the alternative, and final value judgement and affirming it. The educational objectives of value inquiry were selected in consideration of the ability to carry out the steps of the developed model. And the selected contents were animal duplication, test-tube baby, genetic engineering, growth hormone injection problem, brain death, organ transplant, animal to be experimented and were organized on the basis of the 6th and the 7th science curriculum. And the suitable instructional models for the value inquiry education were selected: bioethical value clarification decision-making model, group presentation according to the value analysis model, role play and debate, and discussion through web forum. And the interview was considered to be suitable to evaluate the students' value inquiry ability and the rubric was made to evaluate the attainment of the educational objectives for value inquiry.

  • PDF

Priority Setting of New Promising IT Industries (IT 유망 신산업의 우선순위 평가)

  • Lee, Jang-U;Min, Wan-Gi
    • Journal of Technology Innovation
    • /
    • v.13 no.1
    • /
    • pp.25-54
    • /
    • 2005
  • In this study, priority setting model of new promising IT industries which will be the growth engines for the Korean IT industry, was established. Based on the AHP model, priority setting of IT new promising IT industries was conducted. Firstly, the selection cases of the new promising IT industries and major priority setting methodologies including the AHP methodology, were analyzed. The AHP model was selected as the most feasible methodology for priority setting of the new IT industries, among the various priority setting methodologies. Secondly, in setting up the AHP model for prioritization of the new promising If industries, a 'goal' was established to be priority setting of the new promising IT industries, and an 'alternatives' to be 18 new promising IT industries. Then a logical and a systematic assessment criteria including 5 main criteria('Technological Innovation', 'Market Ability', 'SPin-off Effect', 'Public Benefit', 'Strategic Importance') and 14 sub-criteria, were developed for priority setting of the 18 new promising industries. Finally, with the AHP model, the substantial analysis was made to set up priority of the 18 new promising IT industries. The substantial analysis showed the following priority setting results and implications for the 18 new promising IT industries.

  • PDF

A Experimental Study on the Usefulness of Structure Hints in the Leaf Node Language Model-Based XML Document Retrieval (단말노드 언어모델 기반의 XML문서검색에서 구조 제한의 유용성에 관한 실험적 연구)

  • Jung, Young-Mi
    • Journal of the Korean Society for information Management
    • /
    • v.24 no.1 s.63
    • /
    • pp.209-226
    • /
    • 2007
  • XML documents format on the Web provides a mechanism to impose their content and logical structure information. Therefore, an XML processor provides access to their content and structure. The purpose of this study is to investigate the usefulness of structural hints in the leaf node language model-based XML document retrieval. In order to this purpose, this experiment tested the performances of the leaf node language model-based XML retrieval system to compare the queries for a topic containing only content-only constraints and both content constrains and structure constraints. A newly designed and implemented leaf node language model-based XML retrieval system was used. And we participated in the ad-hoc track of INEX 2005 and conducted an experiment using a large-scale XML test collection provided by INEX 2005.

Design And Implementation of An Adaptive Interaction Model for Web-Based Instruction System (웹기반 교육 시스템을 위한 적응적 상호작용 모형의 설계 및 구현)

  • Choi, En-Young;Song, Hee-Heon
    • The Journal of Korean Association of Computer Education
    • /
    • v.6 no.1
    • /
    • pp.65-77
    • /
    • 2003
  • This paper presents a model for supporting the adaptive interaction between the computer and the learner. To design an adaptive interaction model, the strategy to support the adaptive interaction in the web-based educational system was established. And then. the necessary components for executing each strategy were selected. Also. the logical relations among the components were verified. To verify the effectiveness of the proposed adaptive interaction model, we applied the existing web-based courseware and the new courseware using the adaptive interaction models to two groups respectively, and then measured the performance of each group. Experimental results reveal that the adaptive interaction model actually has positive effects on the learning activities of the learner.

  • PDF

Under-Developed and Under-Utilized Eclipsing Binary Model Capabilities

  • Wilson, R.E.
    • Journal of Astronomy and Space Sciences
    • /
    • v.29 no.2
    • /
    • pp.115-121
    • /
    • 2012
  • Existing but largely unused binary star model capabilities are examined. An easily implemented scheme is parameterization of starspot growth and decay that can stimulate work on outer convection zones and their dynamos. Improved precision in spot computation now enhances analysis of very precise data. An existing computational model for blended spectral line profiles is accurate for binary system effects but needs to include damping, thermal Doppler, and other intrinsic broadening effects. Binary star ephemerides had been found exclusively from eclipse timings until recently, but now come also from whole light and radial velocity curves. A logical further development will be to expand these whole curve solutions to include eclipse timings. An attenuation model for circumstellar clouds, with several absorption and scattering mechanisms, has been applied only once, perhaps because the model clouds have fixed locations. However the clouds could be made to move dynamically and be combined into moving streams and disks. An area of potential interest is polarization curve analysis, where incentive for modeling could follow from publication of observed polarization curves. Other recent advances include direct single step solutions for temperatures of both stars of an eclipsing binary and third body kinematics from combined light and velocity curves.

Theoretical Model of Performance Evaluation for Informatization Programs: Focusing on the Public Sector (정보화지원사업의 성과평가를 위한 이론적 모형: 공공부문을 중심으로)

  • Kim, Sang-Hoon;Choi, Jeom-Ki
    • Journal of Information Technology Services
    • /
    • v.6 no.1
    • /
    • pp.101-126
    • /
    • 2007
  • This study aims to construct the integrative performance evaluation model of informatization programs. In order to achieve the purpose of research, first of all, the three major theoretical paradigms (technical/functional, economic/financial, and interpretive/alternative paradigms) are comparatively analyzed concerning their philosophical and methodological perspectives. Also, a number of important studies and research model in the area of IS (Information Systems) evaluation are critically reviewed. And then actual problems and limitations on the process of implementing IS performance evaluation are sought through investigating domestic and foreign practices. Based upon theoretical and practical review of informatization evaluation and logical reasoning, the components of ideal performance evaluation scheme for informatization program are derived, and the integrative performance evaluation model which can comprehensively represent the relationship among the components is conceptually proposed. For researchers, this study provides the theoretical basis for reasonably deriving the performance variables of informatization programs and empirically validating the performance of managing informatization programs. And in real world, the results of this study are very likely to contribute to presenting the practical guideline for desirably implementing performance evaluation of informatization programs.

The Real-Time Constructive Simulation With the RM scheduling and Lock-free Shared Objects (RM 스케쥴링과 Lock-Free 공유개체에 의한 실시간 시뮬레이션)

  • 박현규
    • Proceedings of the IEEK Conference
    • /
    • 1998.10a
    • /
    • pp.519-522
    • /
    • 1998
  • The Constructive Battle simulation Model is very important to the recent military training for the substitution of the field training. However, real battlefield systems operate under rea-time conditions, they are inherently distributed, concurrent and dynamic. In order to reflect these properties by the computer-based simulation systems which represent real world processes, we have been developing constructive simulation model for several years. The constructive simulation system is one of the famous real-time system software, nd the one common feature of all real-time systems is defined as the correctness of the system depend not only on the logical result of computation, but also on the time at which the results are produced. Conventionally, scheduling and resource allocation activities which have timing constraints are major problem of real-time computing systems. To overcome these constraints, we elaborated on these issues and developed the simulation system on commercially available hardware and operating system with lock-free resource allocation scheme and rae monotonic scheduling.

  • PDF

Edge-based range image segmentation method using pseudo reflectance images (의사 밝기 영상을 이용한 에지 기반형 거리 영상 분할)

  • 송호근;김태은;최종수
    • Journal of the Korean Institute of Telematics and Electronics B
    • /
    • v.33B no.4
    • /
    • pp.111-123
    • /
    • 1996
  • In this paper, a new edge-based segmentation algorithm for range image using pseudo reflectance images (PRIs) is proposed. A model of pseudo reflectance which is useful in analyzing three dimensional scene and objects is introduced and then three PRIs are generated by the model. For generating three PRIs, bels and jain's differential window operator is selected and three different light source directions are determined. Three edge images are extracted from each PRI and a fused (logical ORing) edge image is constructed for the benefit of enhanced edge formation. The final segmentation results of the proposed algoritm are obtained after the processing of thinning, labeling and correcting erroeneous regions with the fused edge image. The good performance of edge detection and segmentation is confirmed via computer simulation with synthetic and real range images.

  • PDF

The Distributed Server Model for the Evolutionary Online RP G (진화하는 온라인 롤플레잉 게임을 위한 분산형 게임 서버 모델)

  • Lee, Nam-Jae;Kwak, Hoon-Sung
    • Journal of Korea Game Society
    • /
    • v.2 no.1
    • /
    • pp.36-41
    • /
    • 2002
  • Recently, The online role playing games (RPG) get into spotlight of worldwide game marketing area because of the rapid growth of high speed Internet environment during a decade. The almost online RPGs are made of campaign scenario that constructed in series. In this paper, we propose the Distributed Server Model for the Evolutionary Online RPGs which have series scenario (Campaign). In order to represents evolutionary online RPGs, We configure the online RPG server uniquely by means of one to one mapping between logical and physical game world. We also configure the game worlds using circular queue form to express the evolution of civilization by reconstruction of game world.

  • PDF