• International Journal of Highway Engineering
• /
• v.7 no.4 s.26
• /
• pp.41-47
• /
• 2005

Traffic data such as traffic volume, speed, and vehicle Class are very important basic data for the plan and design of highway. Based on traffic data, the future service level of a specific highway and geometry of newly constructed or expended road is predicted and determined. The Ministry of Construction & Transportation has simultaneously surveyed coverage count and permanent count at highways since 1985. Traffic volume survey sections were determined at jointed nodes of highways and jointed nodes of highways and other roads such as freeway and local highway. Volume survey was performed at these sections. The premise to decide these sections is assumed that links between jointed nodes of main highways exhibit similar traffic characteristics. Recently, due to the change of highway geometries such as construction of detour road and installations of traffic facilities such as installation of media, traffic characteristics of the existing traffic volume survey sections was changed. To reflect these changes, traffic characteristics at homogeneous road sections was widely evaluated and analyzed. Using Genetic Algorithms, a model was developed for the evaluation of traffic characteristics at homogeneous road sections. Traffic volume survey sections were then determined through the application of the developed model for current traffic system.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.29 no.3B
• /
• pp.360-374
• /
• 2004

The OSPF protocol is the most widely used Interior Gateway Routing Protocol. Therefore, for the reliability of behavior of gigabit swiching routers, it is essential to guarantee the interoperability and the safety of the OSPF protocol. In this paper, we analyze the standard document of the OSPF protocol, so that we provide a formal specification that specifies the protocol behaviors by detailed design level using the algebraic formal method. By referring available source codes of the OSPF protocol, we supplement the formal specification to express more detailed behaviors that is not specified definitely in the standard. We also formally verify the interoperability and the safety of the protocol state machine of the specification. By showing that the formal specification specify all of the states and the transition events that appear in the standard document of the OSPF protocol, we prove that the state machine has the completeness, and prove it has the interoperability. To prove that the specification of the protocol has the safety, we formally verify the reachability, the liveness, the livelock-free property, and the deadlock-free property. As a result, we prove the protocol has the consistency. The specification and the validation are also effective to the OSPF Version 3 that inherit the protocol mechanism of the OSPF Version 2.

• Journal of the Korea Concrete Institute
• /
• v.16 no.2 s.80
• /
• pp.221-228
• /
• 2004

In recent years building floors become larger and more spacious due to the development of new design methods and high strength and light weight materials. However, such long span floor systems may provide smaller amount of damping and have a longer period so that they may be more vulnerable to the floor vertical vibration. In Korea when floors are to be checked against the floor vertical vibration, the provisions developed in foreign countries have been used. However these guidelines have been developed based on human perception, which may vary from country to country. Also, Korea have particular floor systems, such as flat plate floor system of apartment building. This study attempts to evaluate the vibration performance of the floors in typical apartment buildings. Two different floors with the area of $28 m^2$ and $32 m^2$ were investigated. The criteria provided by ATC-1(1999), AISC-11(1997), AIJ(1991) and the local criteria developed in the previous study(Han, 2003) was used to check the acceptability of the floor vertical vibration.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2003.06a
• /
• pp.1261-1265
• /
• 2003

Axial piston pumps of bent axis have been commonly used in hydraulic systems because of high pressure level. best efficiency, low shear force on pistons and low operating costs. The other side, they have a few demerits like that they have the relatively high number of moving parts and more discharge pressure ripples. Especially, the discharge pressure ripples bring about vibrations and noises in hydraulic system components such as connecting pipes and control valves, so that these deteriorate the stability and accuracy of the systems. Therefore, the hydraulic systems having the axial piston pumps of bent axis require the methods to reduce the discharge pressure ripples. So, the purpose of this paper is to reduce the discharge pressure ripples by the phase interference of pressure wave and to develope the analysis model of the pumps to predict the discharge pressure ripples. In this paper, the analysis model of the axial piston pumps of bent axis was developed using the AMESim software, and the reliability of that was verified by the comparison with the experimental results. The hydraulic pipeline with a parallel line was used as the method to generate the phase interference of pressure wave. the dynamics characteristics of the hydraulic pipeline with a parallel line were analyzed by a transfer matrix method. the usefulness of the phase interference of pressure wave was investigated through the experiment and simulation. The results from the experiment and simulation said that the phase interference of pressure wave by the hydraulic pipeline with a paralle linel could reduce the discharge pressure wave of the pump well. The analysis model of the axial piston pumps of bent axis developed in this paper and the method of the phase interference by the hydraulic pipeline with a parallel line are expected to be helpful to achieve the design of the pump and to reduce the discharge pressure wave of the pump effectively.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.47 no.4
• /
• pp.41-49
• /
• 2010

This paper proposes a new high speed SHA-1 architecture using multiple unfolding and pre-computation techniques. We unfolds iterative hash operations to 2 continuos hash stage and reschedules computation timing. Then, the part of critical path is computed at the previous hash operation round and the rest is performed in the present round. These techniques reduce 3 additions to 2 additions on the critical path. It makes the maximum clock frequency of 118 MHz which provides throughput rate of 5.9 Gbps. The proposed architecture shows 26% higher throughput with a 32% smaller hardware size compared to other counterparts. This paper also introduces a analytical model of multiple SHA-1 architecture at the system level that maps a large input data on SHA-1 block in parallel. The model gives us the required number of SHA-1 blocks for a large multimedia data processing that it helps to make decision hardware configuration. The hs fospeed SHA-1 is useful to generate a condensed message and may strengthen the security of mobile communication and internet service.

• Korean Journal of Organic Agriculture
• /
• v.23 no.4
• /
• pp.847-858
• /
• 2015

Bacillus amyloliquefaciens GR4-5 was isolated from the rhizosphere soil of Korean ginseng and displayed broad-spectrum suppression of ginseng root rot pathogens. The survivability of B. amyloliquefaciens GR4-5 in soil was investigated under three different conditions; indoor, outdoor - of which soil was put in 14 mL tube after treatment - and field environments. Soil samples were collected over a four-week period from three experimental designs, and assessed for 16S rRNA gene copy number by quantitative polymerase chain reaction (qPCR). In outdoor condition, the 16S rRNA gene copy number of Bacillus spp. was 8.35 log copies g $soil^{-1}$ immediately after the GR4-5 treatment. Two weeks later, the 16S rRNA gene copy number of Bacillus spp. (6.70 log copies g $soil^{-1}$) was similar to that of the control (6.38 log copies g $soil^{-1}$). In indoor condition, the 16S rRNA gene copy number of Bacillus spp. maintained in a certain level for a longer period than those in outdoor and field. The 16S rRNA gene copy number of Bacillus spp. in field experiment was reduced faster than that of outdoor condition. Our results show that B. amyloliquefaciens GR4-5 can survive in bulk soil for 1 week, indicating its potential use as a biocontrol agent following 7 day application intervals. This study presents that outdoor microcosm system design could be a useful method to assess easily the survivability of beneficial microorganisms.

• Journal of Korean Public Health Nursing
• /
• v.16 no.2
• /
• pp.239-253
• /
• 2002

Health care for women regularly focuses on the reproductive system to the exclusion of other health needs. The lack of research focusing on women's common health issues is a major problem to the enhanced optimal level of women's health. Health care providers have to recognize biological and social differences between men and women. This study was conducted to identify the baseline data and their correlation of health perception, health behavior, and health status of adult women for developing nursing intervention. The study was a descriptive correlational design. A convenient sampling method was used for collecting data from 103 adult women, over 18 years of age, during the period from Sep 1 to Nov 30, 2001. The study's subjects were interviewed using a structured questionnaire. The instruments for this study were the health perception scale modified by Lee(1985) based on the tool developed by Ware(1977) and Jenkins (1966), and the health behavior scale by Ko, Kumja(1987). Health status was measured by the short form Cornell Medical Index(CMI) modified by Nam, Hochang(1965). The data were analyzed SPSS PC+, by frequency, mean, t-test, ANOVA, and Pearson correlation coefficients. Also, the Duncan test was utilized for a post hoc test of ANOVA. The results of this study are as follows: 1. The mean score for health perception was 3.02(S.D=0.39) on a 5 point scale. 2. The mean score for health behavior was 3.08(S.D=0.43) on a 5 point scale. 3. The mean score for health status was 18.54 on 58 items. The mean score for physical symptoms of a subscale of health status was 11.30 on 36 items and the mean score for psychological symptoms was 7.37 on 22 items. 4. The relationship of sociodemographic variables to health perception. health behavior, and health status of women.: 1) There were significant differences in the scores of health perception by disease experience(t=-3.37, p=0.00). 2) There were significant differences in the scores of health behavior by age(F=10.52, p=0.00), height(F=4.73, p=0.01), marital status(t=-5.56, p=0.00), educational background(t=2.90, p=0.00), and drinking or non-drinking(t=2.17, p=0.03). 3) There were significant differences in the scores of health status by educational background(t=2.28, p=0.02) and disease experience(t=2.61, p=0.01). 5. Health perception showed significant positive correlation with health behavior(r=0.39, p=0.00). Health perception showed significant negative correlation with health status(r=-0.44, p=0.00), that is, the more women perceived health, the less she complained about unhealthy symptoms. Health behavior had no significant correlation with health status but showed a positive correlation with psychological symptoms of a subscale of health status(r=-0.19, p=0.05). Many of the leading causes of disease are preventable through changes in health perception and behavior. The need to increase individual awareness of relationships among health perception, health behavior, and health status and to enhance knowledge regarding the long-term effects of positive health behaviors, is an important nursing strategy for women's health promotion.

• Journal of the Institute of Electronics Engineers of Korea SP
• /
• v.42 no.2 s.302
• /
• pp.27-36
• /
• 2005

This thesis proposed an effective encryption method for the DCT-based image/video contents and made it possible to operate in a high speed by implementing it as an optimized hardware. By considering the increase in the amount of the calculation in the image/video compression, reconstruction and encryption, an partial encryption was performed, in which only the important information (DC and DPCM coefficients) were selected as the data to be encrypted. As the result, the encryption cost decreased when all the original image was encrypted. As the encryption algorithm one of the multi-mode AES, DES, or SEED can be used. The proposed encryption method was implemented in software to be experimented with TM-5 for about 1,000 test images. From the result, it was verified that to induce the original image from the encrypted one is not possible. At that situation, the decrease in compression ratio was only $1.6\%$. The hardware encryption system implemented in Verilog-HDL was synthesized to find the gate-level circuit in the SynopsysTM design compiler with the Hynix $0.25{\mu}m$ CMOS Phantom-cell library. Timing simulation was performed by Verilog-XL from CadenceTM, which resulted in the stable operation in the frequency above 100MHz. Accordingly, the proposed encryption method and the implemented hardware are expected to be effectively used as a good solution for the end-to-end security which is considered as one of the important problems.

• Journal of Korean Tunnelling and Underground Space Association
• /
• v.14 no.6
• /
• pp.575-593
• /
• 2012

This paper briefly introduces the scope and objectives of SKB Task 8, which is an international cooperative research project. In addition, the hydraulic behaviors of bentonite buffer focusing on the interactions between bentonite and a rock mass with a joint were investigated using TOUGH2 code as part of a sub-mission of Task 8a. The effects of a rock joint and high capillary pressure of bentonite on the re-saturation properties and pressure distribution in a buffer were identified and successfully incorporated in the TOUGH2 code. Based on the numerical results, it was found that the speed of re-saturation in bentonite surrounded by a rock mass with a joint is 2.5 to 12 times faster than that in a condition without a rock joint, while the degree of saturation in the lower part of the buffer material is generally higher than in the upper part in both the cases of with and without a joint. It can be anticipated that the results obtained from this study can be applied to an estimation of the full saturation time and a determination of optimum thickness with regard to the design of the bentonite buffer in a high level waste disposal system.

• Asian-Australasian Journal of Animal Sciences
• /
• v.21 no.1
• /
• pp.66-74
• /
• 2008

Two experiments were conducted to assess the effect of replacing a conventional concentrate with mixed cassava (Manihot esculenta) foliage and legume (Phaseolus calcaratus) foliage. In Exp. 1, three rumen fistulated crossbred cows were used for in sacco rumen degradability studies. In vitro gas production was also studied. In Exp. 2, 11 crossbred F2 heifers (Red Sindhi$\times$Holstein Friesian), with initial live weight of $129{\pm}6kg$ and aged six months, were allocated in a Completely Randomized Design (CRD) to evaluate a mixture (ratio 3:1) of cassava and legume foliage (CA-LE feed) as a protein source compared to a traditional concentrate feed (Control) in diets based on fresh elephant grass (Pennisetum purpureum) and urea treated rice straw ad libitum. The Control feed was replaced by the CA-LE feed at levels of 0% (Control), 40% (CA-LE40), and 60% (CA-LE60) based on dry matter (DM). The in sacco degradation of CA-LE feed was higher than Control feed (p<0.05). After 48 h incubation the degradation of CA-LE feed and Control feed was 73% vs. 58% of DM and 83% vs. 65% of CP, respectively. The gas production of CA-LE feed was also significantly higher than of Control feed during the first 12 h of incubation. The results of the performance study (Exp. 2) showed that the level of CA-LE feed in the concentrate had no effect on total dry matter intake (p>0.05), but live weight gains (LWG) in CA-LE40 and CA-LE60 were significantly higher (551 and 609 g/d, respectively) than in the Control group (281 g/d). The intake of CP was higher (p<0.05) for the treatments CA-LE40 and CA-LE60 (556 and 590 g/d, respectively) compared to that of Control (458 g/d), while there was no significant difference in ME intake. The feed conversion ratio was 16.8, 9.0 and 7.9 kg DM/kg LWG in Control, CA-LE40 and CA-LE60, respectively. The feed cost of CA-LE40 and CA-LE60 corresponded to 43% and 35%, respectively, of the feed cost of Control feed. The best results were found when CA-LE feed replaced 60% of DM in Control feed and considerably decreased feed cost. It is concluded that feeding cassava foliage in combination with Phaseolus calcaratus legume as a protein supplement could be a potentially valuable strategy which leads to reduced feed costs and a more sustainable system in smallholder dairy production in Vietnam.