• Title/Summary/Keyword: type checking

Search Result 266, Processing Time 0.022 seconds

A Research on the Simplification of the Expression Attribute Grammar (수식 속성 문법 단순화에 대한 연구)

  • Chung, Yong-Ju
    • Journal of Korea Multimedia Society
    • /
    • v.14 no.2
    • /
    • pp.282-287
    • /
    • 2011
  • The attribute grammar is a grammar for static semantic rules to overcome the difficulties of type checking. But this attribute grammar is difficult to write and understand by its additional rules. A grammar would be preferable if it has simple and small size of an attribute grammar. This paper shows how to decrease the size of an attribute grammar for an expression using LH method. This approach considers the types of an expression. That is, the construction of a semantic relation between the types of the expression can make it possible that an attribute grammar be written with its simpler and smaller size.

The Minimization of Generator Output Variations by Impulse Chamber Pressure Control during Turbine Valve Test (터빈 밸브시험 중 충동실 압력제어에 의한 발전기 출력변동 최소화)

  • Choi, In-Kyu;Kim, Jong-An;Park, Doo-Yong;Woo, Joo-Hee;Shin, Jae-Ho
    • The Transactions of The Korean Institute of Electrical Engineers
    • /
    • v.59 no.1
    • /
    • pp.152-159
    • /
    • 2010
  • This paper describes the actual application of a feedback control loop as a means for minimizing turbine impulse chamber pressure variation during the turbine steam valve tests at a 1,000 MW nuclear power plant. The chamber pressure control loop was implemented in the new digital control system which was installed as a replacement for the old analog type control system. There has been about 40MW of the generator output change during the steam valve tests, especially the high pressure governing valve tests, because the old control system had not the impulse chamber pressure control so the operators had to compensate steam flow drop manually. The process of each valve test consists of a closing process and an reopening process and the operators can make sure that the valves are in their sound conditions by checking the valves movement. The control algorithm described in this paper contributed to keep the change in megawatt only to 6MW during the steam valve tests. Thereby, the disturbance to reactor control was reduced, and the overall plant control system's stability was greatly improved as well.

Land Suitability Classification for Rational Land Use Planning in County(Gun) Area(II) Determination of the land Use Suitability to Integrate the Classified Values - (군단위지역 토지이용계획의 합리적 책정을 위한 토지적성구분(II) - 토지이용적성의 종합화 방안 -)

  • Hwang, Han-Cheol;Choe, Su-Myeong;Han, Gyeong-Su
    • Journal of Korean Society of Rural Planning
    • /
    • v.2 no.1
    • /
    • pp.31-38
    • /
    • 1996
  • As a rational decision-making process of county-level area development, this study designed 3-step framework : function-giving(areal analysis) on unit planning area by decision matrix of land suitability, check of typical characteristics of each function area and formulation of its future development strategies. Two alternatives were suggested as the areal analysis method, of which one is equal ordering / valuing technique of checking indices for land suitability classfication and the other preferential weighting technique. And then, under the algorithm specially defined in this study, land suitability maps(Fig.2,3) of the case study area (Seungju-county area, Chonnam-province, Korea) were drawn from the areal analysis results. By use of land suitability classification results, unique characteristics of typical function areas were defined (on 7 types of alternative 1 , 8 types of II ) and their future development strategies were formulated in the case study area, According to the categorization criteria in this study, all the villages of the case area were classfied as a suitable type of function areas illustrated in this study.

  • PDF

An Automatic Computing Algorithm of Magnitude of Each Maintenance Index Regarding Response Characteristic for Speed Control System in Rolling Process (압연 공정에서 속도제어계통의 응답특성에 대한 관리지표값들의 자동산출 알고리즘)

  • 이해영;양일화;최용환
    • Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
    • /
    • v.17 no.6
    • /
    • pp.119-126
    • /
    • 2003
  • This paper presents an algorithm of automatically finding magnitude of each maintenance index regarding step response characteristic for speed control system of driving roller in rolling process. For speed response data with noise, we distinguished possible cases that the number of maximum values is 2 or more into three separate types. Also, we suggested a way of selecting a candidate for reasonable maximum overshoot in each type and developed a decision algorithm of checking whether a candidate chosen is correct maximum overshoot. In terms of two types of test, we showed that magnitude and position in time axis of maximum overshoot can be found well via such algorithm presented in this paper.

Measurement and Analysis of Insulation Detects of Cast-resin Transformers using Antenna (안테나를 이용한 몰드변압기 절연결함 측정기법 연구)

  • Choi, Myeong-Il;Kim, Jae-Jin;Han, Ga-Ram;Jeon, Jeong-Chay;Lee, Hyun-Ok
    • The Transactions of The Korean Institute of Electrical Engineers
    • /
    • v.65 no.11
    • /
    • pp.1937-1942
    • /
    • 2016
  • Unlike oil immersed transformers, cast-resin transformers have the solid insulator 'epoxy resin' in sealed structure. Therefore, they reveal a lot of limitations in checking aging conditions and predicting an accident. This study analyzed the characteristics of Cast-resin transformers by the measurement distance and measurement sensitivity with a corona defect sample, using antenna sensor. Therefore, the experiment has proven that the antenna sensor-based measurement method proposed in this study is able to detect the insulation defect location of the cast-resin transformer, unlike conventional measurement methods. It is expected that the result of this study will be used to develop a new type of measuring method in order to measure insulation defects and to use in safety inspection of domestic cast-resin transformers.

Implementation of Context-Aware Android Application for Automatic Task Setting (상황 인지 기반의 자동 태스크 설정을 위한 안드로이드 어플리케이션 구현)

  • Bak, Na-Yeon;Chung, Da-hae;Chang, Byeong-Mo;Choi, Kwanghoon
    • The Journal of the Korea Contents Association
    • /
    • v.16 no.11
    • /
    • pp.434-443
    • /
    • 2016
  • Users can set manually Android phone to do particular tasks on some situations. This type of setting is inconvenient, and also provide with unnecessary services, which don't consider users' situation. In this research, we design and implement a context-aware automatic task setting application. Users can get context-aware service by setting desired tasks based on contexts using this system. We design a language for describing context-action rules, and statically check validity of context-action rules by performing syntax and semantic check.

Study on the Disaster Prevention System for Wooden Cultural Assets Using USN -Focusing on the System Checking the Malfunction of Flame Detector- (USN을 이용한 목조문화재 방재시스템에 관한 연구 -불꽃감지기 오작동 확인시스템을 중심으로-)

  • Back, Min-Ho;Kim, Jeong-Ho
    • Journal of the Korean Society of Hazard Mitigation
    • /
    • v.10 no.5
    • /
    • pp.49-54
    • /
    • 2010
  • The wooden cultural assets have the characteristics such as the fast spread of flame and leading to total destruction. Therefore, there is a need for a system for early countermeasure of recognized problem, along with the technological response for accurately recognizing the situation, for the prevention and early suppression of fire. To utilize such technology for detecting the situation through the latest ubiquitous technology and for a quick response to suppress fire, the ubiquitous sensor network (USN) technology, flame detector, image sensor, USN-based cultural asset disaster prevention management application case and malfunction identification system realization were examined in this study and the study result was presented focusing on the flame detector malfunction identification system for the ubiquitous-type cultural asset disaster prevention system.

Influence line- model correction approach for the assessment of engineering structures using novel monitoring techniques

  • Strauss, Alfred;Wendner, Roman;Frangopol, Dan M.;Bergmeister, Konrad
    • Smart Structures and Systems
    • /
    • v.9 no.1
    • /
    • pp.1-20
    • /
    • 2012
  • In bridge engineering, maintenance strategies and thus budgetary demands are highly influenced by construction type and quality of design. Nowadays bridge owners and planners tend to include life-cycle cost analyses in their decision processes regarding the overall design trying to optimize structural reliability and durability within financial constraints. Smart permanent and short term monitoring can reduce the associated risk of new design concepts by observing the performance of structural components during prescribed time periods. The objectives of this paper are the discussion and analysis of influence line or influence field approaches in terms of (a) an efficient incorporation of monitoring information in the structural performance assessment, (b) an efficient characterization of performance indicators for the assessment of structures, (c) the ability of optimizing the positions of sensors of a monitoring system, and (d) the ability of checking the robustness of the monitoring systems applied to a structure. The proposed influence line- model correction approach has been applied to an integrative monitoring system that has been installed for the performance assessment of an existing three-span jointless bridge.

Modiied Fuzzy-based WRR Algorithm for QoS Guarantee in DiffServ Networks (DiffServ 망에서 QoS를 보장하기 위한 개선된 퍼지 기반 WRR 알고리즘 개발)

  • Chung Kyung-Taek;Park Joon;Kim Byun-Gon;Chon Byoung-Sil
    • Journal of the Institute of Electronics Engineers of Korea TC
    • /
    • v.43 no.3 s.345
    • /
    • pp.135-143
    • /
    • 2006
  • PQ(Priority Queue) and WRR(Weighted Round Robin) are the most famous schedulers, however, these schedulers have both points of advantages and disadvantages. In this paper, we propose an algorithm that can be adopted in my kind of scheduling type with making up for weak points of PQ and WRR. The proposed algorithm includes a fuzzy theory in the scheduler to assign priorities dynamically in the DiffServ network. This algorithm produces the control discipline by the fuzzy theory to assign priorities of the Queue effectively with checking the Queue status of each class dynamically under the discipline.

Evaluation of Dynamic Characteristics of Coarse Actuator and Design of a 2-Wire Fine Actuator for Small Form Factor ODD (초소형 광디스크 드라이브용 조동구동기의 동특성 평가 및 2-와이어 미세 구동기의 개발)

  • 박세준;이강녕;이동주;박노철;박영필
    • Proceedings of the Korean Society for Noise and Vibration Engineering Conference
    • /
    • 2004.05a
    • /
    • pp.351-351
    • /
    • 2004
  • For greeting the era of ubiquitous network, data storage devices have been essentially attached to mobile data devices. As a result, the minimization of the storage device has arisen as major interests in the next generation data storage technology. So, there are many researches for the small form factor ODD. In this paper, we propose a pick up that consists of a linear VCM and 2-wire focusing actuator for a small form factor ODD. For the sake of checking performance of the coarse actuator, PID controller is designed. Experiment with controller and DSP board shows its propriety as a fine tracking actuator. And, 2-wire suspension actuator is designed in order to be contained in a coarse actuator and to satisfy the thickness of a PCMCIA type. Through the experiment of designed actuator, It verifies performance as a focusing actuator.

  • PDF