• The Transactions of the Korea Information Processing Society
• /
• v.6 no.6
• /
• pp.1520-1531
• /
• 1999

In this paper, we present a first step for developing a method of verifying both safety and correctness of object-oriented design specification. As first, we analyze the discrepancies, which can occur between requirements specification and design specification, to make clear target faults. Then, we propose a new design verification method which aims at detecting faults in the design specification. The key idea of the proposed framework is that all elements to be verified can be extracted based on the requirements specification, safety standards, and design specification given for the target product These elements are expressed using three kinds of tables for verification, and thus, the verification steps can be greatly simplified. Here, we assume that component library, standards for safety and design specification obtained from the Booch's object-oriented design method are given. At the beginning, the designers construct a design table based on a design specification, and the verifiers construct a correctness table and a safety table from component library and standards for safety Then, by comparing the items on three tables, the verifiers verification a given design specification and detect faults in it. Finally, using an example of object-oriented design specification, we show that faults concerning safety or correctness can be detected by the new design verification method.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.45 no.12
• /
• pp.58-65
• /
• 2008

This paper presents a new geographic distributed hash table (GDHT) for MANETs or Mesh networks, where virtual geographic protocol is used. In previous wort GDHT is applied to a network scenario based on two dimensional Cartesian coordinate system. Further, logical data space is supposed to be uniformly distributed. However, mobile node distribution in a network using virtual geographic routing is not matched to data distribution in GDHT. Therefore, if we apply previous GDHT to a virtual geographic routing network, lots of DHT data are probably located at boundary nodes of the network or specific nodes, resulting in long average-delay to discover resource (or service). Additionally, in BVR(Beacon Vector Routing) or LCR(Logical Coordinate Routing), because there is correlation between coordinate elements, we cannot use normal hash function. For this reason, we propose to use "geographic hash function" for GDHT that matches data distribution to node distribution and considers correlation between coordinate elements. We also show that the proposed scheme improves resource discovery efficiently.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.5
• /
• pp.1280-1290
• /
• 1999

Applying the change impact analysis to the distributed environment is not straightforward since it is based on the centralized system environment. In this paper, we investigate the change impact analysis of object-oriented shoftwares in the distributed environment. We first, categories the types of changes common in object-oriented software into three sets: data, method, and class level changes. We, then, analyze the impact of each set of changes and represent it in the form of a DPDG. A DPDG is a graph showing relationship of object oriented softwares - with data elements. classes, design documents, servers - in the distributed environment. DPDG searches element of software to retest when the software is changed. Thus, DPDG saves effort of software to retest. In this paper, We propose the table of firewall for retest elements that be discovered by DPDG and implement the table of firewall. The table of firewall is used VIST that we design a software testing tool. The VIST utilizes the minimized firewall, then saves efforts and costs of retesting for distributed object-oriented software.

• Korean Journal of Artificial Intelligence
• /
• v.1 no.1
• /
• pp.1-3
• /
• 2013

This study suggested ways to control UML diagram and to make design of database and to retrieve diagram information by giving questions. The study classified elements of the diagram. For instance, class diagram was made of classes, and class was done of class name and attribute operator. The elements were transformed to be database table having basic key and foreign key information. The ways suggested had advantages of users' sharing of model information and reuse of the model. This study investigated cost saving, time saving and UML model construction by database. We had designed integrated and relation database that could save and manage UML diagram, and suggested retrieval. For instance, we classified class diagram into elements to make tables and kept relation of each element by using not only basic key of relation database but also foreign key information. We made database of modeling depending upon methods to give users convenience.

• Journal of Nutrition and Health
• /
• v.40 no.6
• /
• pp.558-565
• /
• 2007

On the basis of the increasing interest for the selection of beverages, this study aimed to evaluate the contents of nutrients and health ${\cdot}$ functional elements in the beverages. Total 161 beverages that bear nutrition lable (NL) as nutrition table and health ${\cdot}$ functional elements information were collected and classified to 8 groups. The evaluated nutrients that are obligatory for NL in Korea were total calorie, carbohydrate, protein, fat, and sodium. Presented values showed that milk & yogurt and soy milk are the most wholesome beverages while the total caloric contents also were higher among 8 groups. Sodium contents in soy milk were higher than any other groups. The caloric contents of other beverage groups come mainly from carbohydrate presumably simple sugar. The caloric content of sports drinks is the lowest but the sodium content is variable among products showing the range of 0 - 100 mg/100 ml. Nonobligatory nutrients for NL frequently expressed are Ca, Fe, vitamin C, folate, and dietary fiber. Their content per serving size does not exceed the tolerable upper intake level, however, habitual multiple intakes of certain product require attention for the prevention of overintakes. Many health ${\cdot}$ functional elements as catechin, carnitine, polyphenol, and nucleic acids etc were listed in NL without presenting the content and their functions appear to be exaggerated compared to the known scientific evidence.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.26 no.3
• /
• pp.29-38
• /
• 2022

In this study, the shaking table tests were carried out on six types of non-structural elements installed on a full-scale two-story steel structure. The shaking table tests were performed for non-structural elements with and without seismic isolators. In this study, the seismic performance of Uninterruptible Power Supply (UPS) specimens was tested and investigated. Non-seismic details were composed of conventional channel section steel beams, and the seismic isolators were composed of high damping rubber bearing (HDRB) and wire isolator. The input acceleration time histories were artificially generated to satisfy the requirements proposed by the ICC-ES AC156 code. Based on the test results, the damage and dynamic characteristics of the UPS with the seismic isolator were investigated in terms of the natural frequency, damping ratio, acceleration time history responses, dynamic amplification factors, and relative displacements. The results from the shaking table showed that the dynamic characteristics of the UPS including the acceleration response were significantly improved when using the seismic isolator.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.46 no.5
• /
• pp.88-94
• /
• 2009

We propose a scheme which reduce the computational complexity of the lattice reduction (LR) aided detector in MIMO system. The performance of the ML detection algorithm is good but the computational complexity grows exponentially with the number of antenna elements and constellation points. LR aided detector shows the same diversity with the ML scheme with relatively less complexity. But the LR scheme still requires many computations since it involves several iterations of size reduction and column vector exchange. We notice that the LR process depends not on the received signal but only on the channel matrix so we can apply LR process offline and store the results in Look-Up Table (LUT). In this paper we propose an algorithm to generate the LUT which require less memory requirement and we evaluate the performance and complexity of the proposed system. We show that the proposed system requires less computational complexity with similar detection performance compared with the conventional LR aided detector.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.32 no.3C
• /
• pp.249-255
• /
• 2007

In general, a large amount of the memory accesses are required for the CAVLC decoding in H.264/AVC. It is a serious problem for the applications such as a DMB and videophone services because the considerable power is consumed for accessing the memory. In order to solve this problem, we propose an efficient decoding method for the coeff-token which is one of the syntax elements of CAVLC. In this paper, the variable length code table is re-designed with the new codewords which are defined by investigating the architecture of the conventional codeword for the coeff_token element. A new coeff_token decoding method is developed based on the suggested table. The simulation results show that the proposed algorithm achieves an approximately 85% memory access saving without video-quality degradation, compared to the conventional CAVLC decoding.

• International Journal of Concrete Structures and Materials
• /
• v.10 no.3
• /
• pp.307-323
• /
• 2016

The nonlinear behaviors of recycled aggregate concrete (RAC) frame structure are investigated by numerical simulation method with 3-D finite fiber elements. The dynamic characteristics and the seismic performance of the RAC frame structure are analyzed and validated with the shaking table test results. Specifically, the natural frequency and the typical responses (e.g., storey deformation, capacity curve, etc.) from Model 1 (exclusion of strain rate effect) and Model 2 (inclusion of strain rate effect) are analyzed and compared. It is revealed that Model 2 is more likely to provide a better match between the numerical simulation and the shaking table test as key attributes of seismic behaviors of the frame structure are captured by this model. For the purpose to examine how seismic behaviors of the RAC frame structure vary under different strain rates in a real seismic situation, a numerical simulation is performed by varying the strain rate. The storey displacement response and the base shear for the RAC frame structure under different strain rates are investigated and analyzed. It is implied that the structural behavior of the RAC frame structure is significantly influenced by the strain rate effect. On one hand, the storey displacements vary slightly in the trend of decreasing with the increasing strain rate. On the other hand, the base shear of the RAC frame structure under dynamic loading conditions increases with gradually increasing amplitude of the strain rate.

• Journal of the Korean Society for Library and Information Science
• /
• v.1
• /
• pp.1-58
• /
• 1970

As to the structure of author tables for the Korean libraries using the Korean alphabet Hangul for filing, no other system is understood more relevant to author notations than the analytico-synthetic system. The Korean character consists of syllables respectively dividual into 'consonant+vowel' or 'consonant+vowel+consonant,' with the first element a consonant and the second a vowel. When these elements are synthesized with figure representation, they make an enumerative two-figure table. Individualizing and assigning, therefore, are done without listing many en-tries on the table or looking up notations in ready-made enumerative author tables. We still do not have general agreements in form of entry, reading of the Japanese and Chinese names, transliteration of foreign words, and filing system. What is more, so flexible and hospitable a notation system should be adopted as to meet the anticipated changes. The writer introduces an author notation system that could make 150,000 divisions by combinating figures, thus making it possible to endure changes through readjustments. It is considered effective, convenient, and efficacious for individualization.