• 제목/요약/키워드: consistency check

검색결과 139건 처리시간 0.028초

겨울철 보도 미끄럼 저항 (Skid Resistance of the Sidewalks in Winter)

  • 김용석
    • 한국도로학회논문집
    • /
    • 제15권6호
    • /
    • pp.17-23
    • /
    • 2013
  • PURPOSES : This study aimed to measure the skid resistance of the sidewalk in order to find out the relationship between different surface types and skid resistance. By using British Pendulum Tester, skid resistance of sidewalk was measured in a wet after snow-melt, sludgy, and snowy conditions. METHODS : The skid resistance was measured on surfaces including Concrete Interlocking Block Paving, Colour Asphalt Pavement, Granite Block Paving, Manhole, and Tactile Paving for Visually Impaired. Five trials at each measurement were made, and the average and standard deviation were derived. RESULTS : The skid resistance measured in wet after snow-melt, sludgy, and snowy conditions for the various surface types are summarized and compared. Reduction rates of skid resistance of sludgy and snowy against wet after snow-melt are also analysed. The skid resistance variation between measurement points which mimic pedestrian route in study site are analysed to check out the consistency of the skid resistance along the sidewalk. CONCLUSIONS : The study concluded that the skid resistance of sidewalk surfaces varied depending on the surface types and weather conditions. Secondly, reduction rates of skid resistance according to weather changes are varied depending on the surface types, Thirdly, consistency of skid resistance along the pedestrian route is hardly acquired in the study site at least. So, future study on the consistency evaluation for skid resistance along sidewalk is strongly recommended.

지형 선형 연결 설계 (Terrain-Alignment Linked Design)

  • 김용석
    • 한국도로학회논문집
    • /
    • 제16권6호
    • /
    • pp.191-198
    • /
    • 2014
  • PURPOSES : Safety consciousness can be the first factor to hinder the acceptance of design alternative, which moderates the applied design criteria in order to adapt the road to the natural terrain condition. METHODS : The method which enables to check the safety of design alternative by using design consistency concept is suggested. The method is based on the linked or interactive analysis between terrain and road alignment. Real design example is considered as a guide how to apply the method and the analysis result is discussed with the future research. RESULTS : Suggested method can be used for designers as a tool to review their design outputs can be safe as much as the original design. So, designers have the more objective judgement on their designs and have the confidence on their designs. CONCLUSIONS : The method is expected to be used as a tool to see the safety consciousness in an objective view, so any possible conflicts between designers and design-related personnels caused by the terrain-oriented design can be solved.

SAN기반 클러스터 파일 시스템의 일관성 검증을 위한 검사 프로그램의 설계 및 구현 (Design and Implementation of Consistency Check Program for Storage Area Network Based Cluster File System)

  • 백주현;박성용;이장선;오상규
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (A)
    • /
    • pp.70-72
    • /
    • 2002
  • 본 논문에서는 기존 파일 시스템의 일관성 검사 프로그램 및 클러스터 파일 시스템의 특징 분석을 통해 클러스터 파일 시스템의 일관성을 검사하는데 필요한 프로그램 설계 요소 및 구현 방법에 관해 논한다. 나아가 이러한 설계 방법에 따라 구현된 프로그램을 실제 상용화된 클러스터 파일 시스템에 적용함으로써 검사 프로그램의 기능을 검증한다 이를 위해 뮤테이션 테스트(Mutation Test) 기법을 도입하여 일관성 검사 프로그램의 신뢰성 검증 방법을 고찰하고 그에 따른 테스트 결과를 살펴본다.

  • PDF

연구개발 프로젝트 평가에 대한 의식구조분석 (Analysis of Consciousness Structure R&D Project Evaluation)

  • 김성희;김정자
    • 산업경영시스템학회지
    • /
    • 제25권4호
    • /
    • pp.61-68
    • /
    • 2002
  • This paper provides a method of consciousness structure analysis for research and development project evaluation using fuzzy structure modeling(FSM). Fuzzy structure modeling, which is a modeling method for consciousness structure, has a large number of pairwise comparison by human subjective judgement and is difficult to check the consistency index of denoting the precision for human judgement. Thus, in this paper, we analyzed the structure of consciousness by fuzzy structural modeling method, introducing the concept of pairwise comparison matrix in Analytic Hierarchy Process.

영상 정보를 이용한 로보트의 창법 연구 (Aisle following of a mobile robot using machine vision)

  • 장무경;한민홍
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 제어로봇시스템학회 1990년도 한국자동제어학술회의논문집(국내학술편); KOEX, Seoul; 26-27 Oct. 1990
    • /
    • pp.591-595
    • /
    • 1990
  • This paper describes a method of aisle following of a mobile robot using machine vision. As a navigation guide, Black strip painted on the lower part of wall of aisle is used. The offset of the vehicle position from the center of aisle and the heading angle are determined from the binary image of guide strip captured by a CCD camera. To remove the effect of noise. i.e. break of guide strip for the door or reflection of light, pixel sampling method together with consistency check of the incline for the sampled pixels is used.

  • PDF

Coherent Combination of Baryon Acoustic Oscillation Statistics and Peculiar Velocity Measurements from Redshift Survey

  • 송용선
    • 천문학회보
    • /
    • 제36권1호
    • /
    • pp.46.1-46.1
    • /
    • 2011
  • New statistical method is proposed to coherently combine Baryon Acoustic Oscillation statistics (BAO) and peculiar velocity measurements exploiting decomposed density--density and velocity--velocity spectra in real space from the observed redshift distortions in redshift space, 1) to achieve stronger dark energy constraints, sigma(w)=0.06 and sigma(w_a)=0.20, which are enhanced from BAO or velocity measurements alone, and 2) to cross--check consistency of dark energy constraints from two different approaches; BAO as geometrical measurements and peculiar velocity as large scale structure formation observables.

  • PDF

이동 클라이언트/서버 컴퓨팅환경에서의 캐싱 및 동시성 제어 (Caching and Concurrency Control in a Mobile Client/Sever Computing Environment)

  • 이상근;황종선;이원규;유헌창
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제26권8호
    • /
    • pp.974-987
    • /
    • 1999
  • 이동 컴퓨팅 환경에서 자주 접근하는 데이터에 대한 캐싱은 무선 채널의 좁은 대역폭에서 경쟁을 줄일 수 있는 유용한 기술이다. 그러나, 트랜잭션 캐시 일관성을 지원하는 전통적인 클라이언트/서버 전략은 클라이언트와 서버간에 많은 양의 통신을 필요로 하기 때문에 이동 클라이언트/서버 컴퓨팅 환경에서는 적절하지 않다. 본 논문에서는 브로드캐스트-기반 캐시 무효화 정책을 사용하면서 트랜잭션 캐시 일관성을 지원하는 OCC-UTS (Optimistic Concurrency Control with Update TimeStamp) 프로토콜을 제안한다. 접근한 데이터에 대한 일관성 검사 및 완료 프로토콜은 캐시 무효화 과정의 내부 과정으로 완전 분산 형태로 효율적으로 구현되며, 일관성 체크의 대부분이 이동 클라이언트에서 수행된다. 또한, 분석 모델에 기반한 성능 비교를 통해, 본 논문에서 제안하는 OCC-UTS 프로토콜이 다른 경쟁 프로토콜보다 높은 트랜잭션 처리율을 얻으며, 데이터 항목을 자주 접근하면 할수록 지역 캐시를 사용하는 OCC-UTS 프로토콜이 더 효율적임을 보인다. 이동 클라이언트의 접속 단절에 대해서는 무효화 브로드캐스트 윈도우를 크게 하여 접속 단절에 적절히 대처할 수 있다.Abstract In a mobile computing environment, caching of frequently accessed data has been shown to be a useful technique for reducing contention on the narrow bandwidth of the wireless channels. However, the traditional client/server strategies for supporting transactional cache consistency that require extensive communications between a client and a server are not appropriate in a mobile client/server computing environment. In this paper, we propose a new protocol, called OCC-UTS (Optimisitic Concurrency Control with Update TimeStamp), to support transactional cache consistency in a mobile client/server computing environment by utilizing the broadcast-based solutions for the problem of invalidating caches. The consistency check on accessed data and the commitment protocol are implemented in a truly distributed fashion as an integral part of cache invalidation process, with most burden of consistency check being downloaded to mobile clients. Also, our experiments based on an analytical model substantiate the basic idea and study the performance characteristics. Experimental results show that OCC-UTS protocol without local cache outperforms other competitor protocol, and the more frequent a mobile client accesses data items the more efficient OCC-UTS protocol with local cache is. With respect to disconnection, the tolerance to disconnection is improved if the invalidation broadcast window size is extended.

A New White Waxy Corn 'Daedukchal 1' Hybrid with High Yield and High Table Quality

  • Lee, Hee-Bong;Choi, Yun-Pyo;Cha, Hui-Jeong;Lee, Moon-Sup;Bok, Tae-Kuy;Ryu, Ji-Hong;Choi, Hyeon-Gu;Joo, Jeong-Il;Jo, Yang-hee
    • 한국육종학회지
    • /
    • 제42권3호
    • /
    • pp.212-217
    • /
    • 2010
  • A new waxy corn hybrid 'Daedukchal 1' was developed from single cross between CNU 504 and CNU 2396 at Chungnam National University in 2007. Inbred CNU 504 used as a seed parent and inbred CNU 2396 as a pollen parent were collected throughout domestic regions. Tasseling date of this hybrid was seven days later than that of check hybrid, 'Chalok 1'. 'Daedukchal 1' was 19.7 cm in ear length and 4.5 cm in ear diameter. On yield trial, ear length of this hybrid was increased 29.7% compared with a check hybrid, 'Chalok 1'. 'Daedukchal 1' had white kernels and good eating quality due to high sugar content and thinner pericarp. The ratio of kernel set length/ear length was similar to 'Chalok 1'. It is moderately resistant to southern leaf blight and northern leaf blight but susceptible to corn borer. The yields of 'Daedukchal 1' in fresh ear weight and in number of fresh ear were 16% and 8%, respectively, higher than those of a check hybrid in regional yield trials for two years. Seed production for this hybrid was better because of the consistency of tasseling dates.

롤러전압 콘크리트포장의 적정 다짐실험 방안 고찰 (Optimum Compaction Test of Roller Compacted Concrete Pavement)

  • 정건우;이승우
    • 한국도로학회논문집
    • /
    • 제17권3호
    • /
    • pp.27-33
    • /
    • 2015
  • PURPOSES : To ensure appropriate RCC properties with sufficient strength development and workability, it is necessary to secure a proper level of consistency. It is also necessary to secure maximum dry density, which is an important factor for increasing the interaction of aggregate interlocking, leading to an augmentation of RCC strength. On the other hand, the dry density of RCC can be changed owing to the compaction conditions, water content, and particle size distribution. A Proctor test and a modified Proctor test were used for determining the optimum water content needed to achieve maximum dry density with different amounts of compaction energy. A Vebe test, on the other hand, was used for checking the level of consistency, which is important for producing a workable mixture. METHODS : To confirm the degree of compaction at various particle sizes, RCC mixtures with different sand/aggregate ratios were evaluated. The Proctor test and modified Proctor test were applied to these mixtures to check the effect of the aggregate gradation and compaction energy on the maximum dry density and optimum water content. During each test, three specimens were produced for all types of water content under each aggregate gradation. A compaction curve and the optimum water content and maximum dry density for each aggregate gradation were then obtained for both tests. The range of water content for the appropriate consistency of each aggregate gradation was determined through a Vebe test. The optimum water content was then evaluated based on this range. RESULTS : The compaction test results show that the modified Proctor test provides a higher maximum dry density and lower optimum water content compared with the standard Proctor test. For the modified Proctor test, two cases of aggregate gradation (s/a = 30% and 70%) had the optimum water contents outside of the appropriate water content range. For the standard Proctor test, on the other hand, none of aggregate gradations provided the optimum water content within the desired range. CONCLUSIONS : The modified Proctor test should be used for an RCC mixture design because it can provide adequacy between maximum dry density and consistency. Moreover, the compaction roller has become highly developed for higher compaction energy.

공간 데이터베이스를 위한 새로운 위상 관계 유도 알고리즘 (A New Algorithm for Deriving Topological Relationships in Spatial Databases)

  • 황환규
    • 전자공학회논문지CI
    • /
    • 제37권2호
    • /
    • pp.11-20
    • /
    • 2000
  • 위상 관계는 공간 데이터베이스의 질의 최적화에 중요한 역할을 한다. 만일 위상 관계를 사전에 알 수 있다면 비용이 많이 드는 질의 처리는 피할 수 있다. 본 논문에서는 1) 공간 객체간의 위상 관계의 파악, 2) 주어진 위상 관계의 일관성 검사, 3) 주어진 위상 관계로부터 새로운 위상 관계의 유도 등의 문제에 관하여 논의하고자 한다. 이러한 논의는 위상 관계와 관련된 질의가 주어졌을 때 효과적인 공간 질의 처리를 가능하게 하여준다. 특히 위상 관계로서 8가지 종류({equal, disjoint, overlap, meets, contains, contained-in, properly-contains, properly-contained-in})를 고려한다. 본 논문에서는 주어진 위상 관계의 일관성을 검증하는 알고리즘을 제시하고 주어진 위상 관계로부터 모든 가능한 새로운 위상 관계를 유도하는 알고리즘을 제시한다.

  • PDF