• Title/Summary/Keyword: Protocol Validation

Search Result 141, Processing Time 0.025 seconds

Concurrency Control Protocol for Main Memory Database Systems (주기억 데이터베이스 시스템을 위한 병행수행 제어 프로토콜)

  • Sim, Jong-Ik;Bae, Hae-Yeong
    • The Transactions of the Korea Information Processing Society
    • /
    • v.3 no.7
    • /
    • pp.1687-1696
    • /
    • 1996
  • Most of the main memory database systems use two-phase locking(2PL)for concurrency control. The 2PL method is preferred over other methods for concurrency control because of its simplicity and common usage. However, conventional concurrency control solution will function poorly when the data are memory resident. In this paper, we propose a new optimistic concurrency control protocol for a main memory database system. In our proposed protocol, transaction conflict information is used in validation phase to improve data conflict resolution decisions. Our experiments show that the proposed protocol performs better than 2PL in terms of throughput for main memory database system enshrinements.

  • PDF

DEVSim++ - NS2 Interoperating Environment for Protocol Evaluation (프로토콜 평가를 위한 DEVSim++ 와 NS2 의 연동 환경)

  • 김회준;김탁곤
    • Proceedings of the Korea Society for Simulation Conference
    • /
    • 2002.05a
    • /
    • pp.253-258
    • /
    • 2002
  • This paper proposes a methodology for development of protocol models. The methodology attempts to employ two modeling environments in models development, NS2 and DEVSim++, which will interoperate during simulation. NS2 is a widely used network simulator in protocol research, which employs an informal modeling approach. Within the approach time and state information of protocol models are not explicitly described, thus being hard to validate model. On the other hand the DEVS formalism is a mathematical framework for modeling a discrete event system in a hierarchical, modular manner. In DEVS, model's time and state information is described explicitly, By using DEVS formalism, models can easily be validated and errors in the modeling stage can be reduced. However, the DEVS simulator, DEVSim++, supports a small amount of models library which are required to build simulation models of general communication network. Although NS2 employs an informal modeling approach and models validation is difficult, it supports abundant models library validated by experimental users. Thus, combination of DEVS models and NS2 models may be an effective solution for network modeling. Such combination requires interoperation between DEVSim++ simulator and NS2 simulator. This paper develops an environment for such interoperation. Correctness and effectiveness of the implemented interoperation environment have been validated by simulation of UDP and TCP models.

  • PDF

Connection Control Protocol and Parallel Interworking Model for the VB5.2 Interface (VB5.2 인터페이스를 위한 연결 제어 프로토콜과 병렬형 연동 모델)

  • 차영욱;김춘희;한기준
    • Journal of Korea Society of Industrial Information Systems
    • /
    • v.5 no.2
    • /
    • pp.22-31
    • /
    • 2000
  • The VB5.2 interface of B-lSDN, that is located between an access network and a service node, allows dynamic allocation and release of ATM resources. In this paper, we propose the B-ANCC protocol of the VB5.2 interface to minimize the overall connection setup delay by introducing the access network. The B-ANCC protocol enhances the B-BCC protocol and adopts a parallel interworking function with signaling protocols in the service node. To confirm the correctness of the proposed B-ANCC protocol, we validate it using the automated validation tool, SPIN. We analyze and simulate the sequential interworking model based on the B-BCC protocol and the parallel interworking model based on the B-ANCC protocol, in terms of a connection setup delay and a completion ratio. It is shown that our proposed parallel interworking model with B-ANCC reduces a setup delay and improves a completion ratio compared to the sequential interworking model with B-BCC.

  • PDF

EVALUATION OF NIRS FOR ASSESSING PHYSICAL AND CHEMICAL CHARACTERISTICS OF LINEN WEFT YARN

  • Sharma, Hss;Kernaghan, K.;Whiteside, L.
    • Proceedings of the Korean Society of Near Infrared Spectroscopy Conference
    • /
    • 2001.06a
    • /
    • pp.1091-1091
    • /
    • 2001
  • Previous reports have shown that Near Infrared Spectroscopy (NIRS) can be used to assess physical and chemical properties of flax fibre and fabric quality. Currently, spinners assess yarn quality mainly based on strength and regularity measurements. There two key characteristics are influenced by quality of raw fibres used, especially the degree of rotting and strength. The aim of this investigation was to evaluate the use of NIRS for assessing quality of weft grade yarn available on the commercial market. In order to develop the NIR calibrations, a range of samples representing poor, medium and good quality weft yarn samples was included in the calibration and validation sample sets. The samples were analysed for physical and chemical parameters including caustic weight loss, fibre fractions, lipid, ash and minerals. A detailed protocol for assessing yarn quality has been developed to maximize the accuracy of the reflectance spectra. The development of partial least squares regression models and validation of the calibration equations using blind samples will be presented and discussed.

  • PDF

Modeling and Simulation of the Efficient Certificate Status Validation System on Public Key Infrastructure (공개키 기반 구조에서의 효율적인 인증서 상태 검증 방법에 관한 모델링 및 시뮬레이션)

  • 최지혜;조대호
    • Proceedings of the Korea Society for Simulation Conference
    • /
    • 2004.05a
    • /
    • pp.7-12
    • /
    • 2004
  • 공개키 기반 구조(PKI; Public Key Infrastructure)에 필수적인 요소인 인증서의 상태 검증에 있어서 인증서 상태 검증 서버인 OCSP (Online Certificate Status Protocol) 서버는 실시간 상태 검증을 제공한다. 그러나, 서버와 클라이언트의 메시지 인증을 위해 전자 서명을 수행해야 하며, 이 때 사용되는 공개 암호 연산 과정의 복잡성은 동시에 많은 클라이언트의 요청이 발생할 경우에 응답 시간을 크게 지연시킨다는 단점을 가지고 있다. 본 논문에서는 이러한 문제를 해결하기 위한 인증서 상태 검증 서버의 시뮬레이션 모델을 DEVS (Discrete Event system Specification) 방법론을 이용하여 설계하였다. 이 모델은 인증서의 상태 검증을 요청하는 영역에 위치하여 해쉬 함수를 적용한 인증을 수행하도록 구성되었으며, 시뮬레이션 결과는 제시한 방법이 인증서 상태 검증 속도를 증대시켜 결과적으로 사용자의 응답 시간이 감소되는 것을 보여준다.

  • PDF

A Study on Test Working of Signalling System (신호시스템 시운전 시험 연구)

  • 정의진;황종규;이종우
    • Proceedings of the KSR Conference
    • /
    • 2000.05a
    • /
    • pp.157-163
    • /
    • 2000
  • Testing evaluation is a part of process for design, production, evaluation, operation and abolition, and is the process of certifying system performance. The main purpose of testing evaluation is to reduce the risk factor under the determining process. Testing process has the three step such as design qualification, integration and validation test in factory, system integration and commissioning test. Design Qualification is to verify errors on the design process. Integration and validation test in factory is for the H/W and S/W of an equipment and is to verify interface of subsystem, communication protocol and main functions. System integration and commissioning test is a functional test to adjust successful installation of equipment. According to the testing process, briefly consideration for test item, test method and test contents about signalling system is carried out.

  • PDF

Development of the Kangaroo Care Protocol and its Effect on Premature Infants (미숙아를 위한 캥거루케어 프로토콜 개발 및 적용 효과)

  • Lee, Eun Jung;Kim, Eun Sook;Lee, You Na;Park, So Hyun;Lee, Gum Moon;Yi, Young Hee
    • Journal of Korean Clinical Nursing Research
    • /
    • v.20 no.3
    • /
    • pp.313-325
    • /
    • 2014
  • Purpose: This study aimed to develop the protocol of kangaroo care for premature infants and to evaluate its effects including physiologic responses of premature infants, their parents'anxiety, and neonatal nurses'perception regarding the kangaroo care. Methods: Kangaroo care protocol was developed through a literature review and validation of an expert group. The developed kangaroo care protocol was tested with 27 preterm infants, 24 parents, and 60 nurses in one neonatal intensive care unit in S hospital. Data were collected from December 2012 to February 2013 and analyzed by descriptive statistics and t-test using the SPSS/Win statistical program. Results: Physiologic responses including heart rate, respiration rate, oxygen saturation, body temperature among premature infants received the kangaroo care were maintained within normal limit. The anxiety levels of the parents who provided kangaroo care for their infants were significantly decreased as it was compared before and after care (t=3.43, p=.002). There were no significant differences in nurses'perceptions about kangaroo care before and after the application of the protocol. Conclusion: The developed kangaroo care protocol is proved to be effective and can be used safely in nursing practice.

Implementation of Communication Protocol between Control Centers using ICCP (ICCP를 사용한 전력센터간의 통신 프로토콜 구현)

  • Jang, Kyung-Soo;Chang, Byung-Wook;Hahn, Kyung-Duk;Shin, Dong-Ryeol
    • The Transactions of the Korea Information Processing Society
    • /
    • v.7 no.12
    • /
    • pp.3910-3922
    • /
    • 2000
  • Current power systems are distributed geographically and operated in the form of Energy Management System(EMS)/ Supervision Control and Data Acquisition(SCADA) with the aid of computers and communications. Recently a variety of utilities have had interests in using inforrration technology to bring the efficiency and low operational costs. There is also a trend to integrdte the production, transmission, distribution and management/control of power into one and unified distributed system. To this end, Electric Power Hesearch Institute(EPRI) announced a new standard communication protocol called Inter-Control Center Protocol(ICCP).ICCP specifies the use of Manufacturing Message Specification(MMS) for services required by rccr in application layer and supports the communications between heterogeneous control centers. This paper presents the characteristics of MMS,ICCP and their relationship. Futherrnore, we implement the basic functional blocks of ICCP using MMS services under TCI/IP environments. Finally, we model a simple power system and apply the rccp protocol to this system in a window-based scheme, and finally show the operation and validation of this protocol.

  • PDF

Analytical method validation of oxiracetam using HPLC (HPLC를 이용한 의약품 주성분인 옥시라세탐의 Analytical Method Validation)

  • Kim, Yoo-Gon;Seo, Houng-Seok;Won, Chan-Hee
    • Analytical Science and Technology
    • /
    • v.23 no.6
    • /
    • pp.587-594
    • /
    • 2010
  • This study aims to determine that the test of medicines containing oxiracetam as their main ingredient was properly performed according to protocol. Furthermore, the study is to provide the written form of protocol in order to examine the validity of the HPLC analytical method for the quantitative analysis of oxiracetam in the finished products. In this experiment, system suitability, precision, linearity, range, accuracy, specificity, quantitative limit, and detection limit of the analytical method which was used to determine the contained quality of oxiracetam, were examined. The result shows that system suitability indicates 0.127% RSD, plate number 15081, tailing factor 0.49, and resolution 32.41. The experiment of precision reveals the result of below 0.359% for repetitiveness and among the subjects. In the linearity experiment, a coefficient of correlation ($R^2$) indicates that it is 1. The accuracy experiment satisfies the standards of the recovery test, which is minimum 98.4% and maximum 99.6%. Detection limit is 0.1 mg/L and quantitative limit was found to be 0.5 mg/L. The experiment to check the specificity also satisfies the standards, so the finished product using oxiracetam as the main ingredient is verified as suitable.

Performance Analysis of CAN-FD Based Network Against Network Topology (네트워크 토폴로지에 따른 CAN-FD 통신 영향성 분석)

  • Seo, Sukhyun
    • IEMEK Journal of Embedded Systems and Applications
    • /
    • v.12 no.6
    • /
    • pp.351-358
    • /
    • 2017
  • The most common communication interface for automotive electronic control devices is CAN (Controller Area Network). Sine CAN was first adopted to Daimler vehicles in 1991, all of automobile manufacturers use the CAN communication for in-vehicle networks. However, as the number of electronic control devices connected to the CAN network rapidly increases, the CAN protocol reaches the limit of technology. To overcome this limitation, Bosch introduced the new communication protocol, that is CAN-FD (Flexible Data-rate). In this paper, we analyze the characteristics and limitations of CAN-FD communication according to the topology under the in-vehicle wiring harness environment designed based on the existing classic CAN communication.