• Title/Summary/Keyword: checks

Search Result 821, Processing Time 0.031 seconds

Detection of invalidated sanity checks caused by undefined behaviors (정의되지 않은 행동에 의한 안전성 검사 무효화 탐지 기법)

  • Lee, JongHyup
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.24 no.1
    • /
    • pp.215-219
    • /
    • 2014
  • C programming language has undefined behaviors, which cause unintended execution of a program. When a programmer adds sanity checks without caring about undefined behaviors, compilers may misunderstand and invalidate the sanity checks. Thus, we propose an automated system to detect invalidated sanity checks by marking sanity checks in source code and checking the marks in binary code.

The Characteristics of Vacuum Drying Disks of Domestic Softwoods (I) (국산 침엽수재 원판(圓板)의 진공건조(眞空乾燥) 특성 (I))

  • Lee, Nam-Ho;Lee, June-Ho;Kim, Jong-Mann;Jung, Hee-Suk
    • Journal of the Korean Wood Science and Technology
    • /
    • v.24 no.2
    • /
    • pp.46-54
    • /
    • 1996
  • This study was carried out to investigate the vacuum drying characteristics of 50mm- and 75mm- thick tree disks of some domestic softwoods for substituting the conventional hardwoods as the materials for wood crafts. Though the elapsed drying times from green to in-use moisture content(MC) were largely shortened by vacuum drying, the tree disks treated by EWS couldn't be dried to in-use MC, and so sapwood stains also were occurred severely. We suggest EWS treatment is undesirable for the species with very high sapwood portion or vacuum drying with hot water circulation heating system. Heart checks were slight, but sapwood checks, which have never been trouble in drying process of tree disks, were severe. For the reasonable explanation it is suggested MC differences between sapwood and heartwood were large and most of tree disks had already no barks before drying test. Ginkgo was vacuum-dried with very slight drying defects such as heart checks, sapwood checks. V-cracks and sapwood stains. In Korean red pine and pitch pine V-cracks were severely occurred. And it was found the special feature that most of these defected tree disks contained several V-cracks within one tree disk. It can be considered as the causes that the region of sapwood was defected by the several checks at the early drying stage because of the steep MC gradient along the radial direction, and then at the later drying stage the drying stresses due to differential shrinkage were concentrated on these brittle spots.

  • PDF

Investigation and Analysis of the Occurrence of Rail Head Checks

  • Jin, Ying;Aoki, Fusayoshi;Ishida, Makoto;Namura, Akira
    • International Journal of Railway
    • /
    • v.2 no.2
    • /
    • pp.43-49
    • /
    • 2009
  • Wear and rolling contact fatigue (RCF) defects are most important causes of rail damage, and often interaction competitive at present railway track. Head check is one of rolling contact fatigue (RCF) defects, and generally occurs in mild circular curves and transition curves that are set at both ends of sharp circular curves. Wear tends to limit the crack growth of head checks by removing the material from the RCF surface. In order to clarify the conditions of the occurrence and growth of head checks, the authors measured the interacting forces between wheels and rails and the angle of attack of wheelset, and carried out contact analyses using the actual profile data of wheels and rails. The effects of the lateral force, the contact geometry, and the wear rate at rail gauge comer on the formation of head checks were also analyzed by using the worn profiles of actual wheels and rails and the data obtained by a track inspection car. Some specific range of wear rate at the gauge comer was identified as having close relation with occurrence of head checks.

  • PDF

Who Wants Checks and Balances? Endogeneity of the Balancing Perspective

  • Yu, Eric Chen-Hua;Huang, Chi;Hsiao, Yi-Ching
    • Asian Journal for Public Opinion Research
    • /
    • v.2 no.3
    • /
    • pp.196-227
    • /
    • 2015
  • The premise of the intentional model of split-ticket voting is that some voters split their tickets simply because they prefer divided government and believe in constant "checks and balances." This article examines whether this premise stands firm in an emerging democracy like Taiwan. That is, by using survey data in Taiwan, we explore whether one's attitude toward divided or unified government is "real." We hypothesize that a citizen's attitude toward "checks and balances" is subject to change, and conditional on whether her preferred party is in power. Specifically, we speculate that a citizen would tend to hold the balancing perspective or favor divided government, if her preferred party is in opposition. However, if her preferred party becomes the ruling party, she would be more likely to oppose (hold) the balancing (non-balancing) perspective or favor unified government. We then utilize panel survey data embedded in Taiwan's Election and Democratization Studies (TEDS) to verify our hypothesis.

Improvement of the Value for Technical Wood Arts of Disks by End-Taping with Korean Traditional Paper During Vacuum Drying (한지(韓紙) 엔드테이핑처리(處理)에 의한 진공건조(眞空乾燥)에서 원판(圓板)의 목공예적(木工藝的) 가치(價値) 증진)

  • Jung, Hee-Suk;Lee, Nam-Ho;Sim, Jae-Hyeon;Yeo, Hwan-Myeong
    • Journal of the Korean Wood Science and Technology
    • /
    • v.21 no.2
    • /
    • pp.39-48
    • /
    • 1993
  • End-matched disks of 7.7cm thickness were part-time dried in vacuum press dryer to investigate the drying characteristics by using drying schedules and end treatments. The ginkgo disks could be dried faster with severer end checks and ring failures by C schedule than by S schedule. There were no significant differences in drying rates and amounts of end checks, ring failures and V-shaped checks occurred between ginkgo disks end-taped with Korean traditional paper (KTP) and those untreated. The drying time of walnut disks was slightly reduced by end-taping with KTP. And the length of end checks and V-shaped checks and the frequency of defected disk were decreased more effectively than those untreated. The tangential strains and tangential drying stresses near bark sides of ginkgo and walnut disk untreated were developed in the early stage of drying and incresed slightly curvi-linearly above fiber saturation point (fsp) and more curvi-linearly below fsp. The influence of end-taping with KTP on the drying rate for impermeable walnut disk was stronger than that for permeable ginkgo disk.

  • PDF

Checks, grids and tartans

  • Wang, Chaoran;Hann, Michael Andrew
    • The Research Journal of the Costume Culture
    • /
    • v.23 no.5
    • /
    • pp.922-927
    • /
    • 2015
  • Checks are best considered as a (visible) sub-set of grids, and each check consists of two assemblies of parallel lines, one superimposed on the other at ninety degrees. In the conventional textile context, one assembly of parallel yarns is superimposed on another at ninety degrees. These parallel lines caused by the yarns remain visually apparent in the finished composition. Commonly, checks are considered simply as a variety of woven textile and Scottish clan tartans, or plaids (common terminology for tartans in the USA), famously display a checked feature, using differently colored yarns in woven-textile form. Often the sequence of colours and the numbers of yarns used is equal in both warp and weft directions. Where this is the case, the tartan may be considered to be 'balanced' or 'regular', with the component yarns creating square units repeating across and down the fabric. Thus in balanced tartans, lengthways components have identical ordering, colouring and measured width to those used widthways. Meanwhile an unbalanced check lacks one or more of these attributes. This paper explores further the nature of Scottish clan tartans, using data collected from collections of rare tartans held at ULITA - An Archive of International Textiles at the University of Leeds.

The Usage of Buildings in Tiantong Temple in the Song Era - Through Rules of Purity for the Chan Monastery and Five Mountains Ten Checks Figures - (송대(宋代) 천동사(天童寺)의 전각과 이용 - "선원청규(禪院淸規)"와 "오산십찰도"의 문헌을 중심으로 -)

  • Seo, A-Ri;Hong, Dae-Hyung
    • Journal of architectural history
    • /
    • v.14 no.2 s.42
    • /
    • pp.7-20
    • /
    • 2005
  • Ceremony is important to Buddhism as a part of the religious practice. Buddhist ceremony is a kind of discipline and it rules the Chan monastery life. This discipline, called $\ulcorner$Qinggui(淸規)$\lrcorner$ also forms a part of the practice for enlightenment in the Chan monastery(禪宗). Qinggui is derived from $\ulcorner$Baizhang's monastic code(百丈淸規)$\lrcorner$ which no longer exists. $\ulcorner$Chanyuan qinggui(禪院淸規)$\lrcorner$ is considered the oldest surviving Chinese monastic discipline. Its success is partly due to the emphasis in the Chan monastery on the succession of monks to abbot hood. Qinggui has been called the only discipline in Buddhist monastic life in religion. Whether it is also the discipline of the architectural space of the Chan temples is the focus of this thesis. The examination of this assumption may expand the meaning of Qinggui as embodying not only the religious form of discipline but also a fundamental part of the architectural archive. The majority of the buildings in the Chan monastery in Qinggui are related to $\ulcorner$Five Mountains Ten Checks figures$\lrcorner$. Most of all, it can be clarified that the elements of Qinggui are expressed through the analysis of the activities in each building. This proves that Qinggui has become a stipulation not only for the regulation of the monastery life but also the architectural code of the Chan temples. In conclusion, this study shows how the meaning of ceremony and monastery life in $\ulcorner$Chanyuan qinggui$\lrcorner$ can be expanded to include the design program of temples. The research proves that there is a basic code in the Chan temples for designing the structure of the monastery space. Similarly, $\ulcorner$Five Mountains Ten Checks Figures$\lrcorner$ was a diagram for examination and analysis as well as a tool for creating drawings of the temples in the Song era.

  • PDF

Insect Resistance and Horticultural Trait Genetic Values of Potato Families

  • Souza, Velci Queiroz de;Pereira, Arione da Silva;Silva, Giovani Olegario da;Carvalho, Fernando Iraja Felix de;Oliveira, Antonio Costa de
    • Journal of Crop Science and Biotechnology
    • /
    • v.11 no.1
    • /
    • pp.69-74
    • /
    • 2008
  • This work aimed to evaluate 11 potato families for insect resistance horticultural traits. The families were derived from crosses between introduced insect resistant and adapted genotypes. A randomized complete block design, with three replications was used. The plot consisted of 25 genotypes of a family, summing up to 75 genotypes tested per family. Two susceptible cultivars were included in the experiment as checks. The genotypes were evaluated for insect resistance, tuber yield traits, tuber appearance and tuber skin smoothness. The genetic value for the intensity of insect attack in the leaves and in the tubers was lower(higher resistance) in the 11 families than in the checks. For yield traits, there was no predominant effect among the families regarding the origin of the resistant donor species(Solanum berthaultii and/or S. chacoense). However, there was a large contribution of the C-1485-16-87 recurrent parent in crosses with resistant genotypes for tuber yield and tuber number. In relation to tuber appearance, only the family derived form the C-1485-16-87/ ND140(S. berthaultii) cross did not differ from the checks. had genetic value tuber skin smoothness, it was identified that families derived from S. berthaultii resistant parents showed higher genetic values than the check cultivars. For tuber skin smoothness, the genetic values of the families neither differed significantly from each other nor from the checks.

  • PDF

A Survey on Suit Design by Image Visual Effect Demographic Characteristics (인구통계적 변인에 따른 수트디자인 시각효과에 관한 연구)

  • 박순천
    • Journal of the Korean Society of Costume
    • /
    • v.53 no.6
    • /
    • pp.131-143
    • /
    • 2003
  • This treatise deals with the profitable suit image design of middle-aged men by examining visual effects in physical design. The sample of this study is people who lives in Kwangju, the Republic of Korea and 20-50 age's men and women. And it is very variety in each population statistics factors the differences of associate design visual effect which considering the difference of sex and age group, numbers of button, a figure and material pattern. Firstly, look into the associate design visual effect by sex and button number. In men's group, the style with three buttons was the most attractive and that with two buttons was the least attractive. In 50's group, the style with two buttons was the least attractive and those with 1.3 and 4 buttons were a little attractive. Secondly, in the difference of associate design with sex and shape, men's group was considered that standard type was the most attractive shape, women's group was thought that lean and standard types were the most attractive shape. So we can know that the attractive shape is different with sex. In the difference of association design with age and shape, 20's considered that standard type was the most modernistic and fat type was the least modernistic. 30's considered that lean type was the most modernistic and 50's thought that fat type and standard type were the most modernistic. Thirdly, see the sex and material pattern. In familarity, men's group considered that stripe pattern was more familiar than checks and plain patterns. And they considered that striped pattern and plain was more manly than checks. In sex and material pattern, 20's thought that plain was the most attractive, stripe was the next, and checks was not attractive. 40's estimated that plain and stripe were more attractive than checks. 50's judged that stripe was the most attractive material. Thus. the attraction is different with ages and material patterns.

The Nail Jointing Properties and Checking Mechanism of Thinned Japanese Cedar (Cryptomeria japonica D. Don.) Boards Grown in Southern District (남부지역 삼나무 간벌목재의 못접합특성과 할렬발생)

  • So, Won-Tek
    • Journal of the Korea Furniture Society
    • /
    • v.22 no.1
    • /
    • pp.18-25
    • /
    • 2011
  • This experiment was carried out to investigate the effects of nail diameter, driving distance from end on the nail check length, and the effects of nail diameter, prehole for nail driving, and nail driving slope on the nail withdrawal resistance, by the static test of universal testing machine. The test specimen were Japanese cedar (Cryptomeria japonica D. Don.) boards grown in southern district of Korea, and the nails for test were 2.02~4.82 mm in diameter. After nail driving, the back face checks of test boards were longer than the surface checks. The optimum nail diameter without checks or loss of nail withdrawal resistance were below 10% of board width and the optimum driving distance from end of boards were ten multiple of nail diameter. The relation between nail diameter (x) and withdrawal resistance (y) was linear and the regression formulae for Japanese cedar board was y = 8.66x + 7.6 ($R^2=0.978$). As both of the prehole diameter and driving slope were increased, the withdrawal resistances were significantly decreased.

  • PDF