• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.6 no.4
• /
• pp.67-84
• /
• 1996

VDL-SL (Vienna Development Method-Specification Language) is one of the FSL(Formal Specification Language) which is being presented for the correct description of the security relevant standards. Several tools are being developed for the correctness and the convenience in the description and executable code generation of security relevant standards using VDM-SL. The IFAD VDM-SL Toolbox is one that has many functions : syntax checking, type checking, c++ code generation, test coverage information. This paper describes a formal method for description and implementation of MD4 algorithm using VDM-SL and IFAD VDM-SL Toolbox, and examines the result applied to secure hash algorithm, and proposes the relation to strict conformance test which recently suggested as a security test method.

• The Journal of the Korea Contents Association
• /
• v.15 no.6
• /
• pp.290-296
• /
• 2015

The purpose of this study was to derive the proposals and to suggest the exposure dose reduction scheme on pediatric head CT scan by analyzing and comparing CT dose index (CTDI) and the national diagnostic reference levels. From January 2014 to December, 231 children under 10years who were requested a pediatric head CT scan with head injury were examined. Research methods were to research and analyze the general characteristics kVp, mA test coverage $CTDI_{vol}$ and DLP referring to dose reports and electronic medical record (EMR). As a result, 7.4%(17 patients) of the total subjects in $CTDI_{vol}$ showed a national diagnostic reference levels exceeding. For DLP 41.6%(96 patients) in excess was relatively higher than $CTDI_{vol}$. DLP was exceeded more than about 60% that is higher than the CT dose index presented by Korea Food & Drug Administration. it is cause of high DLP that scan range increased more than about 30% wider than the standard test coverage presented in Health Insurance Review & Assessment Service. In conclusion, it is able to significantly lower the dose if it is complied with checking the baseline scan range of pediatric head CT scan and appropriately adjusting the protocol.

• Journal of Preventive Medicine and Public Health
• /
• v.51 no.4
• /
• pp.188-195
• /
• 2018

Objectives: This study aimed to examine the level of dementia knowledge of older Korean adults living alone in rural areas and to identify related factors. Methods: A cross-sectional descriptive design was applied. The participants were 231 older adults living alone who were recruited from 12 of the 13 primary health care posts in the rural area of Chuncheon. Participants' level of dementia knowledge was assessed using the Dementia Knowledge Scale. Data were analyzed using descriptive statistics, and the t-test, analysis of variance, chi-square test, and Mann-Whitney test were applied. Results: Participants' mean age was $77.3{\pm}5.4$ years, and women comprised 79.7% of the sample. Over half of the participants (61.9%) had no formal education, and all the participants were enrolled in Medical Aid. The participants' average percentage of correct answers was 61.6%. The highest rate (94.4%) was for the item "Dementia can change one's personal character." The item with the lowest proportion of correct answers was "Dementia is not treatable" (23.4%). Dementia knowledge was significantly associated with age, education, health coverage, source of living expenses, and dementia risk. Conclusions: Dementia knowledge among Korean rural older adults living alone was relatively low. Participants' misconceptions about symptoms and treatment could hinder them from seeking early treatment. The results of this study suggest the need for active outreach and health care delivery for rural older adults living alone in South Korea.

• Journal of Broadcast Engineering
• /
• v.10 no.4 s.29
• /
• pp.587-598
• /
• 2005

KBS and ETRI have co-developed an advanced DOCR(Digital On Channel Repeater) which has an equalization and pre-distortion function and can be operated properly under lower isolation of reception and transmission antennas. Field tests of the DOCR were performed twice in Suwon area in 2004 and 2005. This paper summarizes the characteristics of the DOCR system and field test results in Suwon. The changes in DOCR coverage according to the different generations of ATSC DTV receivers were also analyzed. Basic concept to apply the DOCR system in DTV broadcasting networks in Korea is suggested through test results.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.50 no.2
• /
• pp.114-121
• /
• 2013

As the weight of embedded memory within Systems-On-Chips(SoC) rapidly increases to 80-90% of the number of total transistors, the importance of testing embedded memory in SoC increases. This paper proposes IEEE std. 1500 wrapper based Programmable Memory Built-In Self-Test(PMBIST) architecture which can support various kinds of test algorithm. The proposed PMBIST guarantees high flexibility, programmability and fault coverage using not only March algorithms but also non-March algorithms such as Walking and Galloping. The PMBIST has an optimal hardware overhead by an optimum program instruction set and a smaller program memory. Furthermore, the proposed fault information processing scheme guarantees improvement of the memory yield by effectively supporting three types of the diagnostic methods for repair and diagnosis.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.38 no.2
• /
• pp.319-325
• /
• 2018

Pot-holes are steadily increasing due to abnormal climate such as heavy rainfall and frequent snowfall. Pot-hole related to traffic accidents cause injuries, car damage and distress of road facilities. To reduce pot-holes, the use of an anti-stripping agent is mandatorily recommended to asphalt concrete mixture. Hydrated lime is commonly used as anti-stripping agent due to the convenience and economics. Byproduct ash from circulating fluidized bed boiler was reviewed as an anti stripping agent. According to the test results, the byproduct ash is satisfied with TSR specification using 1% to 3% by weight of the asphalt mixture. The byproduct ash was examined under various condition changes of aggregate and asphalt concrete mixture considering quality movement. According to the results, using the byproduct ash was measured average 0.87 of TSR and coverage rates of 60% after rolling bottle test. Test results also revealed that the byproduct ash showed stable performance. Using the byproduct ash to decrease pot-hole in asphalt concrete pavement is suitable for demonstrating stable performance as anti-stripping agent.

• Journal of Periodontal and Implant Science
• /
• v.30 no.1
• /
• pp.133-146
• /
• 2000

Histological studies indicate a tetracycline HCl similar to citric acid to induce connetive tissue repair in animals. When tetracycline HCl was used as a root conditioning agent in humans, there was a trend toward more connective tissue attachment than in root planing alone. The purpose of this study was to evaluate clinical effect of tetracycline HCl in the treatment of gingival recession. 44 teeth in 12 patients with bilaterally gingival recession & Miller classification I, II gingival recession were selected and 22 teeth were treated with 125mg/ml tetracycline HCl , the others was not treated with tetracycline HCl. Gingival recession, pocket depth, clinical attachment level, width of keratinized gingiva were observed at baseline, postoperative 4, 12, 20weeks. Both groups were statistically analyzed by Wilcoxon signed Ranks Test & Wilcoxon's rank sum test(Mann-whitney test) using SPSS program.(5% significance level) The results were as follows: 1........The change of gingival recession, clinical attachment level, keratinized gingiva in both groups were increased significantly at 4, 12, 20 weeks. 2.......The pocket depth exhibited no marked changes throughout the entire investigation in both groups. 3........The change of gingival recession in tetracycline group was increased significantly than control group at 4, 12, 20 weeks and the percentage of root coverage was 93% in tetracycline group and 83% in control group. 4........The change of clinical attachment level, pocket depth, keratinized tissue from baseline to 4, 12, 20 weeks was not differ significanltly in both group.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.8 no.3
• /
• pp.598-604
• /
• 2004

The mobile service was focused on voice and low rate data service. But recently high data rate service is getting more important, so mobile service operators are providing 1x EV-DO services for high data rate service. Many mobile repeaters were deployed for service coverage, but most of them were deployed when voice and low rate data service were main service. It is necessary to test whether these repeaters are suitable for 1x EV-DO networks for high rate data services. In field test, 1x EV-DO data rates were measured through various repeaters. Some repeaters showed data rates degradation compared with 1x EV-DO AN. The specifications of the repeaters were analyzed. And under the various radio environments such as fading and RSSI, data rates through repeater were tested. These test results will be useful for operation guide of repeaters in high data rate service networks.

• The KIPS Transactions:PartC
• /
• v.8C no.6
• /
• pp.783-792
• /
• 2001

It is well known that, in the near future, the lifetime of the IPv4 address space will be limited and available 32-bit IP network addresses will not be left any more. In order to solve such IPv4 address space problem in an effective way, the transition to the new version using IPv6 architecture is inevitably required. At present, it is impossible to convert IPv4 into IPv6 at a time, since the coverage and the size of today's Internet is too huge. Therefore, the coexistence of both IPv4 and IPv6 must be arranged in a special and practical fashion for rapid conversion on the whole. IP protocol translation has been proposed to ease the translation of the Internet from IPv4 to IPv6. This paper presents the design and implementation of a transparent transition service that translates packet header as they cross between IPv4 and IPv6 networks. IPv4/IPv6 Translation Protocol is written in c source code and is tested by the local test recommended by ISO, which has the most excellent error detection function. The test was processed with a test scenario and it was found that the results were successful.

• Journal of KIISE
• /
• v.42 no.7
• /
• pp.860-867
• /
• 2015

In the defense field, weapon systems are increasing in importance, as well as the weight of the weapon system embedded software development as an advanced technology. As the development of a network-centric warfare has become important to secure the reliability and quality of embedded software in modern weapons systems in battlefield situations. Also, embedded software problems are transferred to the production stage in the development phase and the problem gives rise to an enormous loss at the national level. Furthermore, development companies have not systematically constructed a software reliability test. This study suggests that approaches about a qualityverification- system establishment of embedded software, based on a variety of source code reliability test verification case analysis.