• 한국인터넷방송통신학회논문지
• /
• 제9권5호
• /
• pp.169-174
• /
• 2009

본 논문에서는 정확한 분석 모델을 제시할 수 있는 객체 모델링과 정형화 방법을 통해 개발자와 사용자간 효과적인 의사소통을 제공하고 객체모델의 정형화와 표준화에 필요한 형식명세로의 변환 규칙을 제안한다. 사용자의 요구에 따라 최적의 객체모델 선택을 위한 객체 모델 검색 프로토타입을 제시한다. 이를 통해서 적합한 모델을 선택할 수 있으므로 소프트웨어 개발시 비용과 노력을 최소화할 수 있다.

• 대기
• /
• 제27권2호
• /
• pp.235-249
• /
• 2017

This paper describes methodology verifying near-surface predictability of numerical weather prediction models against the surface synoptic weather station network (SYNOP) observation. As verification variables, temperature, wind, humidity-related variables, total cloud cover, and surface pressure are included in this tool. Quality controlled SYNOP observation through the pre-processing for data assimilation is used. To consider the difference of topographic height between observation and model grid points, vertical inter/extrapolation is applied for temperature, humidity, and surface pressure verification. This verification algorithm is applied for verifying medium-range forecasts by a global forecasting model developed by Korea Institute of Atmospheric Prediction Systems to measure the near-surface predictability of the model and to evaluate the capability of the developed verification tool. It is found that the verification of near-surface prediction against SYNOP observation shows consistency with verification of upper atmosphere against global radiosonde observation, suggesting reliability of those data and demonstrating importance of verification against in-situ measurement as well. Although verifying modeled total cloud cover with observation might have limitation due to the different definition between the model and observation, it is also capable to diagnose the relative bias of model predictability such as a regional reliability and diurnal evolution of the bias.

• 한국컴퓨터정보학회논문지
• /
• 제12권6호
• /
• pp.123-130
• /
• 2007

본 논문은 객체모델에서 표현되는 객체와 관련성을 형식명세의 상태와 오퍼레이션 도메인으로의 변환 규칙을 제시하였다. 즉 정보모델의 요소인 객체와 관련성을 형식명세 표현에서 상태영역으로 변환하였다. 동적모델의 상태, 이벤트, 행위를 오퍼레이션 영역으로 변환하였다. 비형식적인 객체모델을 형식 명세 언어로 변환하므로써 객체모델을 정형화된 방법으로 검증할 수 있다. 검증과정을 통해 소프트웨어 개말 초기단계에서 모델링 과정의 편리함과 신뢰성을 제공할 수 있다 또한 검증된 모델과 사용자 요구사항 사이의 일관성을 위해 시뮬레이션 도구를 구현하였다. 시뮬레이션 도구는 적합한 모델의 선택과 검증이 가능하도록 하므로 소프트웨어 개발비용과 노력, 개발 시간을 최소화할 수 있다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권12호
• /
• pp.731-740
• /
• 2008

철도 제어 시스템은 대표적인 안전철수 시스템이다. 국제 규격의 컴퓨터 기반의 철도 제어 시스템을 개발하기 위해서 정형 기법을 이용한 요구사항 명세와 검증이 요구된다. 본 논문에서는 정형 기법을 사용하여 요구사항 명세를 작성하는 지침서(guideline)을 개발하고, 컴퓨터 기반의 열차 제어 장치 시스템에 대한 실제 적용 사례를 제시한다. 정형 명세를 위해 상태차트(statechart)와 Z를 사용하고, 정형 명세의 일치성(consistency)과 완전성(completeness)을 검증한다.

• 한국인터넷방송통신학회논문지
• /
• 제12권6호
• /
• pp.147-153
• /
• 2012

IT 환경이 점점 복잡해지고 인프라의 규모가 커지면서 정보시스템의 안전성과 데이터의 가용성에 대한 인식이 더욱 가중되고 있다. 이처럼 정보자산의 가치가 중요시되는 시점에서 재해복구 대응책을 위한 고성능 백업시스템에 대한 연구는 비즈니스에 직접적인 영향을 미치는 분야이다. 그러므로 본 연구는 고성능 백업시스템을 위한 복제 데이터의 정합성검증을 시행하였다. 그리고 DB 테이블 복제 처리 성능 비교와 네트워크 대역폭에 따른 복제 시스템의 트랜잭션 처리 속도와 성능 평가를 시행하였다.

• 기록학연구
• /
• 제14호
• /
• pp.91-117
• /
• 2006

전자기록은 평가 시 가치 평가와 진본 여부 평가를 함께 수행해야 한다. 그간 기록의 가치 평가에 대해서는 여러 논의가 진행되어 왔지만 진본 평가에 대해서는 그러하지 못했다. 이 글에서는 진본 평가가 기록관리 각 과정의 어느 국면에서 필요하고 그 구체적인 방법은 무엇인가를 밝히고 있다. 대체로 입수단계에서는, 생산기관에서의 재생산 직후의 일치 검증, 수신된 전자기록의 품질 및 일치 검증, 입수기록패키지와 보존기록패키지의 일치 검증이 필요하다. 저장단계에서는 매체수록된 보존기록패키지의 일치 검증, 저장된 전자기록의 손상여부 검사와 복구가, 각종 처리의 단계에서는 관리기준값 변경 처리 후의 적절성 평가, 기록철 분류구조 변경 후의 평가, 마이그레이션 이후의 일치평가 및 기타 주기적 무결성 평가, 배부기록의 일치 평가 등이 요구된다. 이러한 진본 평가를 위해서는 일치검증평가, 내용적 동일성 확인 평가, 메타데이터 요소의 적절성 평가, 불법적 변경여부의 확인 평가, 물리적 상태평가 등의 방법이 적용되어야 한다.

• 인터넷정보학회논문지
• /
• 제3권1호
• /
• pp.51-59
• /
• 2002

기존의 규칙베이스 검증 알고리즘은 명제논리 수준에 대응하는 지식표현에 대한 것들이었다. 실 세계어서 규칙베이스를 구성할 때는 술어논리 수준에 대응하는 규칙을 사용하여 규칙베이스를 구성한다. 그러므로 본 논문에서는 규칙을 술어논리 수준에서 자연스럽게 표현할 수 있는 Pr/T 네트를 이용한 규칙베이스의 검증 알고리즘을 제안한다.

• 전기학회논문지P
• /
• 제56권1호
• /
• pp.23-27
• /
• 2007

This article presents a review on chaos analysis of two-phase flow. Chaos theory has recently been applied to two-phase flow analysis, and it gives promising measures to quantitatively identify two-phase flow patterns and pool boiling behaviors. But, consistency of the calculated chaotic measures were not completely confirmed yet. More experimental data are requested for chaos analysis of two-phase flow. Also, chaos analysis methodology should be developed by experimental verification.

• 한국정보처리학회논문지
• /
• 제3권6호
• /
• pp.1453-1467
• /
• 1996

소프트웨어를 개발하는 과정은 일련의 다양한 모델을 구축하는 과정이라고 할 수 있다. 그러나 개발자들이 작성된 모델을 검증할 수 있는 적당한 방법이 없었다. 기존 의 검증 도구들은 주로 구현 단계에서 사용되고 있으나 본 논문에서는 이러한 검증 도구의 원리를 개발의 초기 단계인 분석 단계에 적용해 보았다. 본 논문에서는 기존 의 객체 모델링 방법론에서 제시하였던 지침들 뿐만 아니라 시스템의 개발자가 객체 모델에 대해서 규정하고자 하는 지침들까지도 제약으로서 표현할 수 있는 제약 언어 를 정의하였다. 정의된 제약 언어를 이용하여 객체 모델 작성기에 의해 생성된 객체 모델의 품질 및 일관성을 향상할 수 있는 검증시스템을 구축하였다.

• Nuclear Engineering and Technology
• /
• 제50권4호
• /
• pp.589-598
• /
• 2018

To maintain safety and reliability of reactors, redundant sensors are usually used to measure critical variables and estimate their averaged time-dependency. Nonhealthy sensors can badly influence the estimation result of the process variable. Since online condition monitoring was introduced, the online cross-calibration method has been widely used to detect any anomaly of sensor readings among the redundant group. The cross-calibration method has four main averaging techniques: simple averaging, band averaging, weighted averaging, and parity space averaging (PSA). PSA is used to weigh redundant signals based on their error bounds and their band consistency. Using the consistency weighting factor (C), PSA assigns more weight to consistent signals that have shared bands, based on how many bands they share, and gives inconsistent signals of very low weight. In this article, three approaches are introduced for improving the PSA technique: the first is to add another consistency factor, so called trend consistency (TC), to include a consideration of the preserving of any characteristic edge that reflects the behavior of equipment/component measured by the process parameter; the second approach proposes replacing the error bound/accuracy based weighting factor ($W^a$) with a weighting factor based on the Euclidean distance ($W^d$), and the third approach proposes applying $W^d$, TC, and C, all together. Cold neutron source data sets of four redundant hydrogen pressure transmitters from a research reactor were used to perform the validation and verification. Results showed that the second and third modified approaches lead to reasonable improvement of the PSA technique. All approaches implemented in this study were similar in that they have the capability to (1) identify and isolate a drifted sensor that should undergo calibration, (2) identify a faulty sensor/s due to long and continuous missing data range, and (3) identify a healthy sensor.