• Title/Summary/Keyword: consistency

Search Result 4,812, Processing Time 0.032 seconds

The Study on the Generation of Verifying Rules for Consistency and Completeness of the Unified Modeling Language Diagrams (UML 다이아그램간의 일관성과 완전성을 위한 검증 규칙 생성에 관한 연구)

  • 김재웅;김진수;김치수;황선명
    • Journal of Korea Multimedia Society
    • /
    • v.3 no.3
    • /
    • pp.290-297
    • /
    • 2000
  • For verifying consistency and completeness of some UML diagrams as a representative of the graphic notations for object-oriented designs, we first give an analysis of some UML diagrams and apply simple ER model to the UML diagrams. Next, we formally define this graphical representation as a set of sets and a set of functions. According to the semantics of these functions, we derive a set of rules to assure the consistency and completeness of this graphical representation. These rules will be included with a CASE tool, which possesses both the diagramming facility and the consistency and completeness checking capability.

  • PDF

Flame Diagnosis using Image Processing Technique (영상처리 기술을 이용한 연소상태 진단)

  • Lee, Tae-Young;Kim, Song-Hwan;Lee, Sang-Ryong
    • Journal of the Korean Society for Precision Engineering
    • /
    • v.16 no.7
    • /
    • pp.196-202
    • /
    • 1999
  • Recent trend changes a criterion for evaluation of burner that environmental problem is raised as global issue. For efficient driving problem, the higher thermal efficiency and the lower oxygen in exhaust gas, burner is evaluated the better. For environmental problem, burner must satisfy $NO_{X}$ limit and CO limit. Consequently, 'good burner' means on whose thermal efficiency is high under the constraint of $NO_{X}$ and CO consistency. To make existing burner satisfy recent criterion, it is highly recommended to develop feedback control scheme whose output is the consistency of $NO_{X}$ and CO. This paper describes development of real time flame diagnosis technique that evaluate and diagnose combustion state such as consistency of components in exhaust gas, stability of flame in quantitative sense. This study focuses on wave length of luminescence from chemical reaction measurement of the luminescence via optical measuring apparatus and derive correlation with consistency of components in exhaust gas by image processing technique.

  • PDF

Calibrated Parameters with Consistency for Option Pricing in the Two-state Regime Switching Black-Scholes Model (국면전환 블랙-숄즈 모형에서 정합성을 가진 모수의 추정)

  • Han, Gyu-Sik
    • Journal of Korean Institute of Industrial Engineers
    • /
    • v.36 no.2
    • /
    • pp.101-107
    • /
    • 2010
  • Among a variety of asset dynamics models in order to explain the common properties of financial underlying assets, parametric models are meaningful when their parameters are set reliably. There are two main methods from which we can obtain them. They are to use time-series data of an underlying price or the market option prices of the underlying at one time. Based on the Girsanov theorem, in the pure diffusion models, the parameters calibrated from the option prices should be partially equivalent to those from time-series underling prices. We call this phenomenon model consistency. In this paper, we verify that the two-state regime switching Black-Scholes model is superior in the sense of model consistency, comparing with two popular conventional models, the Black-Scholes model and Heston model.

Consistency preservation techniques for Location Register System in Mobile Networks

  • Kim, Jang-Hwan
    • International Journal of Internet, Broadcasting and Communication
    • /
    • v.12 no.2
    • /
    • pp.144-149
    • /
    • 2020
  • A database called Home Location Register(HLR) plays a major role in location management in mobile cellular networks. The objectives of this paper are to identify the problems of the current HLR system through rigorous analysis, to suggest solutions to them. The current HLR backup method is a process of simply writing the changed memory SLD block to disk, which has a problem in maintaining database consistency. Since information change and backup are performed separately by separate processes, there is a risk of information inconsistency when an error restart occurs. To solve this problem, a transaction concept was introduced for subscriber-related operation functions and a recovery method through logging and checkpointing was introduced. The subscriber related functions of tasks terminated normally by the suggested process are recovered with consistency even after system restarts. Performance is also not affected seriously because disk tasks for log occur with only subscriber related functions.

An Explanatory Consistency of Preservice Secondary Teachers' Explanations about the Lunar Phases (달의 위상 변화 설명에 대한 예비 중등 교사의 설명적 일관성)

  • Oh, Jun-Young
    • Journal of the Korean earth science society
    • /
    • v.27 no.6
    • /
    • pp.606-619
    • /
    • 2006
  • In this paper we investigated the types of the explanatory consistency of preservice secondary teachers in explaining the lunar phase. The explanatory consistencies were proposed into four discrete mental models depending on their attributes. The four types based on the explanatory consistency by the preservice secondary teachers' explanations are as follows: ad hoc expansion, competitive theory addition, transition of unexplainable each, and transition using in context of several situations.

New Higher-Order Fixed-Interface Component Mode Synthesis by Applying a Field-Consistency Concept (장-일치 개념을 적용한 신 고차 구속 모드 합성법)

  • Kang, Jeong-Hoon
    • Proceedings of the Korean Society for Noise and Vibration Engineering Conference
    • /
    • 2000.06a
    • /
    • pp.536-542
    • /
    • 2000
  • The present paper introduces a new fixed interface component mode synthesizing technique based on the notion of higher-order field-consistency. The present technique employs higher-order residual constraint modes in addition to lower fixed interface normal modes while consistency in matching field variables at the substructure interface is maintained. The present field-consistency approach does not increase the size of the synthesized system even if higher-order residual constraint modes are included. A new field-consistent higher-order synthesis technique is first presented and a numerical example is given to verify the present method.

  • PDF

New Criteria for the Consistency in Reasonable Pairwise Comparison Matrices (합리적 쌍대비교행렬에서 일관성에 대한 새로운 기준)

  • Kim, Jae-Bum;Cho, Yong-Gon;Kim, Yun-Bae;Cho, Keun-Tae
    • Journal of Korean Institute of Industrial Engineers
    • /
    • v.36 no.1
    • /
    • pp.1-6
    • /
    • 2010
  • The Analytic Hierarchy Process (AHP) has been applied widely in various decision making fields. One of advantages of the AHP is the consistency test. However, it has several problems such as the limit of its concept, the limit of 9 scales and stern criteria, contradictory pairwise comparison. In this paper, we propose new criteria for the consistency with more realistic and ideal conditions. To derive the criteria, we conduct the simulation and use the bootstrap method, which is one of resampling techniques in the simulation area.

Interrelation between Physicochemical Properties of Milled Rice and Retrogradation of Rice Bread during COld Storage (쌀의 이화학적 특성과 저장 쌀빵의 노화성과의 관계)

  • 강미영;최영희;최해춘
    • Journal of the Korean Society of Food Science and Nutrition
    • /
    • v.26 no.5
    • /
    • pp.886-891
    • /
    • 1997
  • The interrelation between physicochemical properties of milled rice and retrogradation of rice bread during cold storage was examined to compare the varietal difference in maintenance of rice bread quality. Twelve rice materials showed big varietal difference on physicochemical properties of rice starch such as amylose content(0.0~29.2%), gel consistency(20~98mm), and alkali digestion value(2.0~7.0). Rice bread made from milled rice of Jungwonbyeo, AC 27 and IRAT 177 exhibited soft texture and late retrogradation of rice bread during cold storage(4$^{\circ}C$). The amylose content of milled rice was closely associated with gel consistency negatively and with springiness of rice bread positively. The retrogradation of rice bread texture during cold storage was correlated with gel consistency of rice flour positively and with alkali digestion value of milled rice negatively.

  • PDF

An Implementation of Expert System wiht Knowledge Acquisition System (지식 획득 시스템을 갖춘 전문가 시스템의 구현)

  • Seo, Ui-Hyeon
    • The Transactions of the Korea Information Processing Society
    • /
    • v.7 no.5
    • /
    • pp.1434-1445
    • /
    • 2000
  • An expert system executes the inference, based on the knowledge of specific domain. the reliability on the results of inference depends upon both the consistency and accuracy of knowledge. This is the reason why expert system requires the facilities which can practice an access to the various kinds of knowledge and maintain the consistency and accuracy of knowledge an maintain the consistency and accuracy of knowledge. This paper is to implement an expert system permitting an access of declarative and procedural knowledge in the knowledge base and in the data base. This paper is also to implement a knowledge acquisition system which adds the knowledge a only if its accuracy and consistency are maintained, after verifying the potential errors such as contradiction, redundancy, circulation, non-reachable rule and non-lined rule. In consequence, the expert system realizes a good access to the various sorts of knowledge and increases the reliability on the results of inference. The knowledge acquisition system contributes tro strengthening man-machine interface that enables users to add the knowledge easily to the knowledge base.

  • PDF

The Effect of Mothers Depression Trait and Children′s Negative Emotionality on the Mothers and Children′s assesment on Children`s Behavior Problems (아동의 행동문제에 대한 어머니와 아동의 평가에 영향을 미치는 어머니의 우울성향 및 아동의 부정적 정서성)

  • 김선희
    • Journal of Families and Better Life
    • /
    • v.19 no.6
    • /
    • pp.67-76
    • /
    • 2001
  • The purpose of this study was to explore the consistency between rators(mother report & child self-report) of children's externalization and internalization behavior problems and to examine the effect of mother\`s depressive traits and child\`s negative emotionality on consistency between rators. Subjects were 434 children attending grades 4, 5, and 6 in Pusan and their mothers. Results of this study were as follows ; First, children reported significantly greater on behavior problems than their mothers and correlations between mother's and child's score on behavior problems was .20 (externalization behavior problems) or .27(internalization behavior problems). Second, mother's depressive traits influenced significantly the consistency between rators of externalization behavior problems. Third, child's negative emotionality influenced significantly the consistency between rators of externalization behavior problems.

  • PDF