• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.19 no.4
• /
• pp.91-103
• /
• 2009

A cryptographic module (CM) is an implementation of various cryptographic algorithms and functions by means of hardware or software, When a CM is validated or certified under the CM validation program(CMVP), a finite state model(FSM) of the CM should be developed and provided, However, guides or methods of modeling and analysis of a FSM is not well-known, because the guide is occasionally regarded as a proprietary know-how by developers as well as verifiers of the CM. In this paper, we propose a set of guides on modeling and analysis of a FSM, which is needed for validation of a CM under CMVP, and a transition test path generation algorithm, as well as implement a simple modeling tool (CM-Statecharter). A FSM of a CM is modeled by using the Statechart of UML 2.0, Statechart, overcoming weakness of a FSM, is a formal and easy specification model for finite state modeling of a CM.

• Journal of Korean Society for Atmospheric Environment
• /
• v.30 no.6
• /
• pp.586-599
• /
• 2014

During the last two decades, indoor air quality and volatile organic compounds (VOCs) have been of concern in Korean society due to their nature of potential health impacts. In order to investigate the pollution levels of VOCss in indoor environments, establishment of a solid test method for monitoring the airborne VOCss is essential. In Korea, a method based on adsorbent sampling and GC analysis coupled with thermal desorption was proclaimed as the Korea Standard Method for Indoor Air Quality Test. This study was carried out to examine some inherent problems of the VOCs measurement method. The VOCs method does not describe in detail preparing the standard samples. The standard samples may be prepared by impregnation of either liquid standard solutions or a mixture of standard gases. In this study, we investigated the optimal temperature condition for transferring the liquid standards onto a standard adsorbent tube. As a result, keeping the impregnation temperature at $250^{\circ}C$ will be recommended in regard of the boiling points of multiple target analytes and the thermal stability of the adsorbent. We also demonstrated some problems associated with handling of a syringe used for transferring the standard solutions onto the adsorbent tubes, and a best way to get rid of the syringe problems was suggested. Finally, a number of field works were conducted to evaluate the performance of adsorbent sampling methods. Comparison of different adsorbent tubes, i.e. tube packed with single sorbent (Tenax) and double sorbents (Tenax with Carbotrap), revealed that 30 to 40% differences between the two groups, implying that sampling efficiency is depending on the volatility and the strength of adsorbents. However, duplicate precisions for VOCs sampling with a same type of adsorbent and at same flow rates appeared to be satisfactory to be all within 20%, which is a quality control guideline. Distributed volume precisions were also found to be within a guideline value, 25%, although the precision was in general inferior to the duplicate precision. The Korea indoor VOCs test method should be more refined and improved in many aspects, particularly procedure and instrumentation for preparing the standard samples and specification of quality control assessment.

• Journal of the Korean Association of Geographic Information Studies
• /
• v.9 no.3
• /
• pp.25-35
• /
• 2006

Standardization or standard-related study are regarded as main issues in GIS applications. Though several GIS standards and specifications have been released, there are a few actual application cases adapting those. In this study, we designed and implemented a geo-spatial information processing system with editing, storing, and disseminating functions, in which standard GIS transportation data model by TTA linked with OGC-GML, XML-based geographic features encoding standard. The system developed in this study enables us to transfer and edit transportation entities based on TTA standards to GML, importing ESRI shapefile. In web-based system, GML-based databases are transformed to SVG file, for the purpose of web publishing. TTA GIS transportation data model is used in this study, and tested; however, standard data models from other application fields also can be easily applied because this system basically provides data importing and editing functions. This system as practical tools can be utilized for applicability test of GIS standard data model and practical operation of standard specification.

• Ecology and Resilient Infrastructure
• /
• v.6 no.4
• /
• pp.217-226
• /
• 2019

Optimum engineering methods for bank protection were classified based on steepness of bank slope and an existence of waterfront facility in the floodplain, and a new concept of eco-hybrid rolling mat method which could be applicable for the unfitted cases with previously developed countermeasures was suggested in this study. The eco-hybrid rolling mat method can be constructed while maintaining the river environment and ecosystem that does not interfere with the ground and slopes, when bank erosion occurs, it is an economical and efficient construction method that can protect the revetment and the bank slope immediately. The developed eco-hybrid rolling mat method was verified for the designed structure, system, function and effect based on large-scale river experiments including field exposure and decomposition test. As a result, the normal operation and effect of the rolling mat ted under low and high velocity conditions were confirmed with respect to bank protection. The effect of bank erosion prevention was quantitatively validated by sediment concentration monitoring and analysis, and the product specification of the eco-hybrid rolling mat was presented based on the standardized mat applied in real-scale tests.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2015.10a
• /
• pp.190-193
• /
• 2015

The current sea route sign system based on an electronic marine chart only has a data manufacture specification for uses at ECDIS. Therefore, it has a limitation in expressing various sea route data and falls short of productivity as it is frozen to prevent being changed for a long time. Also, it cannot satisfy requirements from high tech such as lattice structure data and time series information. Currently, although it builds each independent operation system based S-57, it has been found that it is the most important requirement from consumers that the entire monitoring system can mutually interwork by standardizing and uniting formats of all protocols. In addition, current status information and alarm system is using AIS, TRS, WCDMA telecommunication and processing all the data after saving it into each different server. Lighthouse lantern which currently has used was utilized to do a performance test of a developed system. All of created data was trasmitted through the RS-232, It is clear that the data was received by a situation monitoring system. In addition, when the data was transmitted after saving in a database, same data was ordinarily received. In this thesis, we will implemented the status information and alarm system of Marine transportation facilities which is a sea route sign system based on S-63 electronic marine chart, S/W, after uniting each different protocol and making combined system.

• Journal of Animal Science and Technology
• /
• v.64 no.3
• /
• pp.471-480
• /
• 2022

This experiment was conducted to determine the maximum dietary energy levels on growth performance and carcass characteristics of White Pekin duck. the Six dietary treatments were formulated based on their apparent metabolizable energy (AME) concentrations from 2,700 to 3,200 kcal/kg with a 100 kcal/kg gap to evaluate the accurate dietary AME requirement to address current knowledge and further issues for fulfilling the genetic potential of meat-type white Pekin ducklings. A total of 432 one-day-old male White Pekin ducklings were randomly allocated into one of six dietary treatments with six replicates (12 birds per pen). The diets were formulated as corn-soybean meal-based diets to meet or exceed the Nutrient Requirement of Poultry specification for meat-type ducks. Growth performance indices (i.e. average daily gain [ADG], average daily feed intake, feed conversion ratio) were measured weekly. Medium body weight (BW) ducklings from each pen were sacrificed to analyze the carcass traits and abdominal fat content on day 21. Obtained data were analyzed to estimate significant effect using the one-way ANOVA of IBM SPSS Statistics (Version, 25). If the p-value of the results were significant, differences in means among treatments were separated by Tukey's post hoc test. Significant differences were then analyzed with a linear and quadratic broken model to estimate the accurate concentration of AME. Ducklings fed higher dietary AME diets increased (p < 0.05) BW, ADG. Ducklings fed higher AME than 2,900 kcal/kg diets increased abdominal fat accumulation and leg meat portion. The estimated requirement by linear plateau method showed from 3,000.00 kcal/kg to 3,173.03 kcal/kg whereas the requirement by quadratic plateau method indicated from 3,100.00 kcal/kg to 3,306.26 kcal/kg. Collectively, estimated dietary requirements exhibit diverse results based on the measured traits and analysis methods. All the estimated requirements in this experiment present higher than previous research, the maximum requirement for the next diet formulation should be selected by the purpose of the diet.

• The Journal of Korean Academy of Prosthodontics
• /
• v.19 no.1
• /
• pp.17-27
• /
• 1981

This study was conducted to determine the chemical composition and the mechanical properties of four commercially available low gold-based crown and bridge alloy produced in Korea. Four dental casting gold-silver-palladium alloys, i.e., A, B, C and D (code of alloys) were selected for the evaluation of chemical composition, ultimate tensile strength, elongation. values and Vickers hardness. The chemical composition of test specimens was analyzed by both emission spectrography and wet gravitation method with a 1.5gm of low gold ingot. The tensile properties and Vickers hardness was determined with cast specimens treated in following three conditions; as-cast, softening heat treatment and hardening heat treatment. The tensile testing bars were cast in accordance with the model designed by Gettleman and Harrison (1969) which was modified from the A. D. A. Specification No. 14 for dental chromium-cobalt casting alloy. Nine tensile test specimens were made from a split silicone mold for each of the test alloys to the size of 2.5mm in diameter and a gauge length of 10mm. All four alloys were handled in accordance with conventional methods used in Type III gold alloys. Ultimate tensile strength and elongation were measured on an Instron Universal Tensile Testing Machine (Model 1125, Japan) operated at a crosshead rate of 0.1cm/min. Elongation values were measured using Digital Measuring Microscope (MS-152, FUSOH, Japan). Vickers hardness was determined with a Vickers Hardness Tester (Model VKH-l, Japan) at a 1.0kg load on a mounted tensile test specimen. The following results were obtained from this study; 1. All tested alloys were composed of Au, Ag, Pd, Cu, Zn and Fe in common. The composition rate of gold for all four alloys was found in the range of $42{\sim}47$ weight % as shown below. Alloy A; Au 45%, Ag 40.2%, Pd 5.76%, others 9.04%. Alloy B; Au 47.1%, Ag 29.03%, Pd 6.98%, others 16.92%. Alloy C; Au 45%, .Ag 26.9%, Pd 6.83%, others 21.07%. Alloy D; Au 41.8%, Ag 34.4%, Pd 6.95%, others 16.85%. 3. The ultimate tensile strength of the four alloys was in the range of $31{\sim}82kg/mm^2$. The test results were shown in the below order from the highest value; As-cast condition; D, B, C, A. Softening heat treament; B, C, D, A. Hardening heat treatment; D, B, C, A. 4. The test :results of the elongation rate for each alloy were in the range of $0.5{\sim}18%$. The test results were shown in the below order from the highest value; As-cast condition; A, D, B, C. Softening heat treatment; A, C, D, B. Hardening heat treatment; C, D, B, A. 5. Vickers hardness for each of the four alloys was in the range of $120{\sim}230$. The test results were shown in the below order from the highest value; As-cast condition; C, B, D, A Softening heat treatment; D, B, C, A. Hardening heat treatment; D, A, C, B. 6. There were no differences in the physical properties between as-cast condition and softening heat treatment.

• Journal of Science Education
• /
• v.38 no.3
• /
• pp.670-690
• /
• 2014

The purpose of this study was to analyze paper and pencil test items of life science I in high school to diagnose problems of the test items developed by teachers, and to provide some implication for better assessment. 690 selection-type items and 162 supply-type items in life science I were collected from 10 general high schools. In the analysis of test items, the ratio of the selection-type item and the supply-type item was 81:19 in the number of items based on item type, while the ratio was 74.4:25.6 in the distribution of marks, indicating that the distribution of marks compared to the number of items was higher in the supply-type items. In the analysis by the Bloom's revised taxonomy of educational objectives, the items of 'conceptual knowledge' in the knowledge and those of 'understanding' in the cognition process were shown most in both the selection-type item and the supply-type item. In the analysis by the science assessment frameworks of NAEA, the items of 'knowledge' were shown 9 times more than those of 'inquiry'. When compared to the level of difficulty presented in the two-way specification table and the percentage of correct answers in the selection-type item, the concurrence was 41.5%. When compared to the ratio of number of items based on the item type of the supply-type items, the short-answer items were 34.0%, the descriptive items were 61.1%, and the drawing items were 4.9%. The drawing items were mainly developed in the unit of 'Cells and Continuity of Life'. When the descriptive items were classified by the acceptance of response, all the items were 'response restricted' type, and the items of 'restricted in content range' type among them were highest. When the items were classified by presentation of data, the items of 'presentation of data' type were highest(65.4%), and when classified by type of question, the items of 'knowledge description' type were highest(80.4%). In conclusion, it is needed to develop items belonging to 'inquiry' area more in the school, and to increase the ratio of the descriptive items, presenting various types of items.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.20 no.6
• /
• pp.20-29
• /
• 2016

This study investigates the effect of the absorbent materials on the material properties(compressive strength and drying shrinkage) of natural hwangtoh mortar which is one of the traditional building material in Korea. The absorbent materials used are seaweed paste and Super-Absorbent Polymer(SAP). In addition to the absorbent materials, the initial sealed curing recommended by the standard specification of properties for Korean traditional building materials is also a main interest of this study. Based on the test results of 28 days compressive strength and converged drying shrinkage, it is confirmed that the initial sealed curing for 7 days is effective to reduce the drying shrinkage and to enhance the compressive strength. Thus, it is verified that the recommendation is reasonable and has positive effects on the properties of the mortar. Next, the test results show that the addition of absorbent materials into the mortar is also effective to the two properties depending on their absorption capacity. Thus, it is more effective to use SAP than the seaweed paste because of higher absorption capacity. However, both the initial sealed curing and keeping total water contents of the mortar are required to show this effectiveness. Lastly, the compressive strength is inversely proportional to the drying shrinkage. By using this relation, the reason of the increase of compressive strength due to the initial sealed curing or the addition of absorbent materials is quantitatively explained.

• International Journal of Highway Engineering
• /
• v.7 no.2 s.24
• /
• pp.33-43
• /
• 2005

This paper describes a new approach to minimize the amount of shrinkage cracking in cement treated base(CTB). CTB is a stiffness base having lots of merits such as higher rutting resistance, minimizing fatigue cracking, and the ability to distribute upper loads. However, It is not applied to asphalt pavement system in Korea because of possible cracks caused by dry shrinkage. The goal of this study is the development of cement treated base with lower shrinkage for preventing reflection cracks and rutting. After identifying factors affecting dry shrinkage and analyzing mechanism of each admixture, the laboratory and field tests were designed and performed. Through the preliminary tests, the mix design containing 25 percent o( fly ash and 7 percent of cement was suggested. This mix design was satisfied with strength for Korea specification standard. According to the results considering strength, shrinkage, and economical efficiency, two mix designs were selected; 1) containing 25 percent of fly ash and 2) containing 25 percent of fly ash with 10 percent of expensive additive. For field test based on the result of laboratory test, the optimized alternative in cement treated base with lower shrinkage was the mix design containing 25 percent of fly ash with 10 percent of expansive additive.