• Journal of the Korean Society for Library and Information Science
• /
• v.46 no.4
• /
• pp.169-188
• /
• 2012

This study aimed to analyze the characteristics of the bibliographic description of ISBD Consolidated edition published in 2011 and to grasp the considerations in applying the rules of ISBD consolidated edition to KCR4. For achieving this, the four aspects were analyzed such as the description area and data elements, the resource types, the punctuation, and the order of the elements of ISBD Consolidated edition(2011). The characteristics of ISBD Consolidated edition are as follows. First, the content form and the media type area are added in new 0 area and elements are designated by mandatory to confirm to FRBR. Second, content form, content qualification and media type replaced GMD in title and statement of responsibility area. Third, the prescribed punctuations were retained even when this results in double punctuation, and individual square brackets were preferred than entire square brackets when using square brackets to all elements in same area. Fourth, the order of elements in description was set out by patterns of data elements in areas, therefore could reduce the confusion of the order of elements. ISBD Consolidated edition as an international standard would make various rules to maintain the uniformity, but also respects the bibliographic practices of individual countries. Therefore, each country must revise its own rule to conform the ISBD Consolidated edition as well as reflect its unique situation. In Korea, since KCR4 was developed based on the previous edition of ISBD, it should be revised to confirm to the ISBD Consolidated edition. Therefore, this study is expected to contribute to the revision of KCR4.

• KIPS Transactions on Software and Data Engineering
• /
• v.12 no.9
• /
• pp.381-386
• /
• 2023

Many existing test case generation researchers extract test cases from models. However, research on generating test cases from natural language requirements is required in practice. For this purpose, the combination of natural language analysis and requirements engineering is very necessary. However, Requirements analysis written in Korean is difficult due to the diverse meaning of sentence expressions. We research test case generation through natural language requirement definition analysis, C3Tree model, cause-effect graph, and decision table steps as one of the test case generation methods from Korean natural requirements. As an intermediate step, this paper generates test cases from C3Tree model-based decision tables using meta-modeling. This method has the advantage of being able to easily maintain the model-to-model and model-to-text transformation processes by modifying only the transformation rules. If an existing model is modified or a new model is added, only the model transformation rules can be maintained without changing the program algorithm. As a result of the evaluation, all combinations for the decision table were automatically generated as test cases.

• Korean Journal of Environmental Biology
• /
• v.18 no.3
• /
• pp.323-330
• /
• 2000

Early life history and spawning for Odontobutis interrupta were observed in the laboratory during May-August 1999 with a condition of natural habitats in the field. Optimal water temperature for spawning was between 17.5 and 22.$0^{\circ}C$ and appropriate water depth and current velocity in the natural habitat ranged 0.3-0.6 m and 0.1-0.3 m/sec, respectively. Ovary maturation index peaked at about 100mm in the total length and their values gradually decreased after the size. Male fishes showed a territory and courtship behavior to adult females and the males frequently pushed upper-ventral part of females for egg releases. After females spawned, the males guarded the egg masses and supplied dissolved oxygen using pectoral fins. According to observation of egg development in the laboratory, blastodisc formed in 1hr 17 min after the fertilization, cleavaging at 36-minute interval regularly. Blastulation occurred in 7 hr 12 min after the fertilization, with gastrulation after 11 hr 11 mins and formation of york plug after 32 hr 48 min. Embryo was formed in 33 hr 45 min after fertilization and optic vesicles appeared in 47 hr 27 mins when 30-31 somites were formed. Cardiac primordium was formed in 65 hr 15mins and its beat averaged 44- 48 time/min. Pectoral fins were formed in 138 hr 40 min, air-bladder and black vesicles were observed in lower portion of young fish. Embryo hatched from she-11 membrane after about 10 days and juvenile was 5.8$\pm$0.2mm in total length 3.0$\pm$0.5mg in weight.

• Journal of Korea Water Resources Association
• /
• v.33 no.2
• /
• pp.181-193
• /
• 2000

This paper presents the flow and the suspended sediment movement over ripples for oscillatory flows. A new numerical model system is developed, and applied to a laboratory experimental condition of regular waves and a fictitious condition of irregular waves. The flow field is obtained from a programme proposed by Kim et. al.(1994), which is a modified version of SOLA based on SMAC scheme. The sub-model solves the continuity and Reynolds momentum equations in the x-z plane. The wave orbital velocities, shear stresses, and pressure are all reasonably reproduced by the model. The model results on the vertical velocity component show good agreement with the measurements. The suspended sediment transport sub-model is newly set up to solve the advection-diffusion equation of suspended sediment using a split method, and involving a special shear entrainment from the whole ripple surface. The calculated suspended sediment concentrations for regular waves show reasonable agreement with measurements at Deltaflume. The model results for random waves show that the suspended sediment concentration is higher than those for regular waves and that the sediment diffuses higher than for regular waves with the significant wave height and the peak wave period of the irregular waves.

• Journal of the Society of Naval Architects of Korea
• /
• v.54 no.6
• /
• pp.492-500
• /
• 2017

In the study, numerical simulation on the greenwater impact load of free surface offshore structure in the regular waves using fixed cartesian grid system and Modified Marker-Density (MMD) method were carried out and the results were reviewed. In order to compare numerical simulation and experimental results, the FPSO with the scale ratio of 1/100 model ship with fixed rectangular deck was selected and turbulence characteristic of the flow was considered by applying the Sub-Grid Scale (SGS) in laminar flow. As a result, it is reviewed how the greenwater impact load inflowed from bow in regular headsea wave influence the flow on the deck and the flow characteristic by numerical simulation and the experiment results were compared and reviewed. Based on this study, it would be useful to numerically study the effect of greenwater on offshore structure.

• Journal of the Korean School Mathematics Society
• /
• v.19 no.1
• /
• pp.103-122
• /
• 2016

The purpose of this study was to analyze the sentences related with mathematical modeling in the third and fourth grade mathematics textbooks in accordance with changing of Korean mathematics curricula. In the preliminary analysis, the researchers used the criteria that Kim(2010) had analyzed Mathematics in Context[MiC], and analyzed South Korean textbooks from the perspective of mathematical modeling. The researchers revised them for the analysis criteria among South Korean elementary mathematics textbooks and employed them as the analysis framework of the present study. From the mathematical modeling perspective, the study reached the following conclusions in accordance with the change of textbooks from the 7th curriculum to the 2009 revised curriculum. The contexts of real-world situations presented in the textbooks are increased in all areas except Probability and Statistics areas, the methods of expression of mathematical model are diversified in all areas except Patterns area, and the communication types are also diversified and frequencies increased in all areas except Patterns area. Based on this research, several suggestions were made for the development of future textbooks.

• The KIPS Transactions:PartA
• /
• v.12A no.5 s.95
• /
• pp.385-390
• /
• 2005

Set constraints logic language is a language that adopts `set theory` in programming. In this paper, we introduce the procedure for solving set constraints proposed by A. Dovier and show how the procedure can be implemented in logic language Prolog. The procedure is represented in `rewriting rules` and this representation is characterized by having nondeterministic rule applicationsand mathematical variables that is difficult to be implemented in general programming languages. In this paper, we show that the representation can be easily implemented by using nondeterministic control, logical variables and data structure `list` provided in Prolog. Our implementation has following advantages.First we have implemented the full features of the language. Second we have described the implementation detail in thisresearch. Third other used the commercial Prolog called SICStus, but we are using CIAO Prolog with GNU GPL(General Public License) and anyone can use it freely. Forth the software of our implementation is open source so anyone can use, modify, and distribute it freely.

• Journal of the Institute of Convergence Signal Processing
• /
• v.8 no.4
• /
• pp.272-278
• /
• 2007

In this paper, we present an automated API translator for embedded software development based on a model-driven approach. Since MDA(Model Driven Architecture) provides little support for the development of embedded software, we propose a new method which contains the MDA's advantage, automation of implement process, and can solve the problem of real-time overhead. First, we define 'generic APIs' which do not depend on any RTOS's but provide most of typical RTOS services. We can describe RTOS-related behaviors of target application using these generic APIs in a CIC(Common Intermediate Code). Then, we propose a transformation tool for translating a CIC using generic APIs into a C-code for specific RTOS. The proposed API translator converts them into C-code using XML transformation rule which is defined outside. It indicates that an API translator extends to other RTOS's by modifying or adding the transformation rule. From the experiment, we validate the proposed method.

• Survey Research
• /
• v.6 no.1
• /
• pp.83-98
• /
• 2005

Large scale survey database may contain some erroneous data or missing data. Incomplete or erroneous data may be produced in the process of data collection or data capture. Since erroneous data can cause some bias and inconsistency, data editing, which is the procedure for detecting and adjusting individual errors in data records, is a very important work in statistical survey. In this paper, we introduce an editing process for the housing price survey to enhance discussions on that topic. We explain how to decide some appropriate edit rules and show some related data. Furthermore, we describe input editing procedures which is appropriate for on-line survey and how to find and eliminate erroneous data through output editing.

• Journal of KIISE:Software and Applications
• /
• v.30 no.10
• /
• pp.992-999
• /
• 2003

The purpose of a grammar checker is to find a grammatical erroneous expression in a sentence, and to provide appropriate suggestions for them. To find those errors, grammar checker should parse the whole input sentence, which is a highly time-consuming job. B7or this reason, most Korean grammar checkers adopt a partial parser that can analyze a fragment of a sentence without an ambiguity. This paper presents a Korean grammar checker using a full parser in order to find grammatical errors. This approach allows the grammar checker to critique the errors between the two words in a long distance relationship within a sentence. As a result, this approach improves the accuracy in correcting errors, but it nay come at the expense of decrease in its performance. The Korean grammar checker described in this paper is implemented with 65 rules for checking and correcting the grammatical errors. The grammar checker shows 96.49% in checking accuracy against the test corpus including 7 million words.