• 한국통신학회논문지
• /
• 제39B권4호
• /
• pp.234-241
• /
• 2014

콘텐츠 제공자 주변 네트워크에서 발생하는 병목 현상으로 인한 네트워크 비효율성을 개선하기 위하여, 콘텐츠/정보 중심 네트워킹 기술은 콘텐츠 전송에 참여한 네트워크 노드들이 해당 콘텐츠를 임시 저장한 후, 해당 콘텐츠에 대한 요청 메시지를 다시 수신하면 앞서 저장된 콘텐츠를 요청자에게 전송한 후, 요청 메시지를 콘텐츠 제공자에게 전달하지 않고 콘텐츠 전송 프로세스를 종료한다. 그러나 이러한 콘텐츠 전송 방식은 수신자가 실제 콘텐츠 제공자를 확인할 수 없기 때문에 수신된 콘텐츠를 이용하기 전에 반드시 콘텐츠를 인증해야만 한다. 그러나 이와 같은 콘텐츠 인증 프로세스는 서비스 운영 지연을 발생시키는 원인 중 하나가 되고 있다. 본 논문에서는 콘텐츠 인증에 따른 문제점을 살펴보고, 효율적인 콘텐츠 인증을 위한 개선된 운영 방안을 제안하고 그 성능을 평가한다.

• 한국항공우주학회지
• /
• 제45권11호
• /
• pp.998-1005
• /
• 2017

본 논문에서는 계층구조로 설계된 항공전자시스템의 체계적 검증을 위해 장비 모델을 활용하여 각 서브시스템 별 개별 검증, 다수 서브시스템들 간 통합 검증, 전체 시스템의 통합 검증 등으로 이루어진 단계적 검증 절차를 소개하였으며, 이를 기반으로 여러 단계의 시험이 1대의 통합시험환경으로 동시에 수행 가능한 다중모드 통합시험환경 개발 방안을 제안하여 기존의 순차적 시험 방식에 비해 시험 시간을 줄일 수 있음을 수학적으로 증명함으로써, 시험 효율성을 향상에 따른 검증 기간 단축과 비용 절감 효과를 입증하였다.

• 보험의학회지
• /
• 제27권2호
• /
• pp.68-74
• /
• 2008

Medical verification of cancer diagnosis in insurance claims is a very important procedure in insurance administrations. Claims staffs are in need of medical experts' opinions about claim administration. This procedure is called medical claim review (MCR) and is composed of verification and advice. MCR verification evaluates the insured’s physical condition by medical records and compares it with product coverage. It is divided into assessment of living assurance benefit, verification of cancer, and assessment of the cause of death. Actually cancer verification of MCR is applicable to coding because the risk ratio in product development is usually coded data. There are some confusing neoplastic diseases in assessing the verification of cancer. This article reviews gastrointestinal stromal tumors (GIST) and mucosa-associated lymphoid tissue tumors (MALToma) of the stomach. The second most common group of stromal or mesenchymal neoplasms affecting the gastrointestinal tract is GIST. Nowadays there are many articles about the pathophysiology of GIST. However there are few confirmative theories except molecular cell biology of KIT mutation and some tyrosine kinase. Therefore, coding the GIST, which has previously been classified as an intermediate risk group according to NIH2001 criteria, for cancer verification of MCR is suitable for D37.1; neoplasm of uncertain or unknown behavior of digestive organs and the stomach. The gastrointestinal tract is the predominant site of extranodal non-Hodgkin's lymphomas. B-cell lymphomas of the MALT type, now called extranodal marginal zone B-cell lymphoma of MALT type in the REAL/WHO classification, are the most common primary gastric lymphomas worldwide. Its characteristics are as follows. First, it is different from traditional stomach cancers such as gastric adenocarcinoma. Second, the primary therapy of MALToma is the eradication of H. pylori by antibiotics and the remission rate is over 80%. Third, it has a different clinical course compared to traditional malignant lymphoma. Someone insisted that cancer verification is not possible for the above reasons. However, there have been findings on pathologic mechanism, and according to WHO classification, MALToma is classified into malignant B-cell lymphoma and it must be verified as malignancy in MCR.

• 대한조선학회 특별논문집
• /
• 대한조선학회 2017년도 특별논문집
• /
• pp.32-37
• /
• 2017

Due to the nature of semi-submergible drilling rig, various equipments are arranged in a limited space, and therefore the many types of outfitting holes passing through the hull structure are densely arranged and that is required the detailed structural strength evaluation in terms of ULS and FLS by class or client. Particularly, semi-submergible drilling rig has a variety of global load which affects the structure strength around holes compared to general commercial ship, and its response of stress is also complicated, so it is difficult to carry out the prediction design of structural strength evaluation and reinforcement. In this regard, this paper presents a case study on the evaluation of structural strength for the various holes and large openings of semi-submergible drilling rig conducted by our company, as well as an established hole verification procedure.

• Journal of Power Electronics
• /
• 제12권5호
• /
• pp.813-820
• /
• 2012

This paper presents the development of a software supported acquisition system for metrological verification and testing of the equipment for monitoring and analysis of the basic electrical power quality parameters. The described procedure consists of two functionally connected segments. The first segment involves generation of the reference three-phase voltage signals, including the possibility of simulation of the various power quality disturbances, typical for electrical power distribution networks. The second part of this procedure includes the real-time recording of power quality disturbances in three-phase distribution networks. The procedure is functionally supported by the virtual instrumentation concept, including a software application developed in LabVIEW environment and data acquisition boards NI 6713 and NI 9215A. The software support of this system performs graphical presentation of the previously generated and recorded signal waveforms. A number of the control functions and buttons, implemented on the virtual instrument front panels, are provided to adjust the basic signal acquisition, generation and recording parameters.

• 시스템엔지니어링학술지
• /
• 제19권1호
• /
• pp.44-55
• /
• 2023

The defense M&S system, which has been classified as a weapon system between requirements determination and project implementation, is being developed by applying the weapon system development procedure of the Defense Acquisition Program Administration. The M&S system abstracts and models the real world to suit the intended use and proceeds with the process of developing it as a software-oriented system. Overseas, the conceptual model development stage is staged before entering the design stage after the requirements analysis. In addition, each step includes verification and validation processes. In Korea, while establishing and applying the weapon system development procedure based on the SE process, the M&S system is also applied in the same way as the general weapon system, limiting appropriate development outputs and verification and validation. In this study, the system development procedure of the M&S system is established and presented based on the relevant standards and SE process of developed countries.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2010년도 춘계학술대회 논문집
• /
• pp.1821-1828
• /
• 2010

In this study we suggest a method of optimization of verification hierarchy structure and system requirements management by using a verification matrix with traceability consideration. Verification items were gathered in the process of CDR(Critical Design Review), and analyzed with respect to requirements traceability structure. Missed or overlapped items were adjusted, and cross-correlated items between sub-systems were clustered and rearranged in order to structurize verification requrements (VRs). Those VRs are to be used as a guideline for the test and evaluation planning, development of test items and procedure, and system requirements management throughout the system integration stages.

• Journal of Positioning, Navigation, and Timing
• /
• 제10권3호
• /
• pp.221-228
• /
• 2021

The Korea Augmentation Satellite System (KASS) is a Korean Satellite Based Augmentation System (SBAS) that has been under development since 2014 with the goal of providing Approach Procedure with Vertical guidance (APV)-I Safety of Life (SoL) services. KASS Control Station (KCS) is a subsystem that controls and monitors KASS systems. It also serves to store data generated by KASS. KCS has now completed detailed design and implementation and verification is in progress. This paper presents verification procedures and verification items for KCS verification activities and presents management measures for defects occurring during the verification phase.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2000년도 추계종합학술대회 논문집(2)
• /
• pp.180-183
• /
• 2000

This paper presents a technique used for verifying the design of AE32000, a 32-bit microprocessor core. We follow the commonly used verification procedure while speeding up and completing the debugging process by adopting a reverse engineering scheme.

• 한국추진공학회지
• /
• 제25권3호
• /
• pp.127-137
• /
• 2021

발사대시스템은 다양한 설비로 구성된다. 이들 설비를 원격 운용하는 발사관제시스템은 제어 알고리즘 개발과 검증에 많은 시간과 노력이 소요된다. 알고리즘 검증은 소프트웨어 제작자가 시험절차서에 기반한 시뮬레이션 상태 값을 입력하고, 알고리즘 흐름에 따라 출력 결과를 확인하는 과정을 통해 이루어진다. 이러한 검증 과정은 반복적으로 수행되므로 작업 오류를 쉽게 유발할 수 있다. 본 논문에서는 작업 오류의 최소화와 검증 기간 단축이 가능한 스크립트 시험절차서 기반의 효율적인 자동화 검증 방법을 제안하며, 발사대의 고압가스 공급설비와 전자식 유공압패널설비 제어 알고리즘 검증시험에 적용한 결과를 제시한다.