• The KIPS Transactions:PartD
• /
• v.15D no.4
• /
• pp.505-512
• /
• 2008

In order to do requirement-based testing of embedded system, we must have correct requirement specifications. But, natural language requirements of a client have ambiguity, inaccuracy, and inconsistency. To solve these problems, natural language requirements are modeled with modeling language such as UML and Simulink. During a modeling phase, the requirements are rearranged and retranslated in use-case. These activities are disadvantages of modeling. In this paper, we propose the technique, which is how to model a embedded system requirement into a model without rearranging and retranslating. This technique 1) represent a embedded system requirement with graphical language, and 2) model a requirement into a model. Because this technique only describes "what-to-do" of the requirement, this technique is useful to not only the low-level requirements but also the high-level requirements. We show some example systems modeled by REED, which has adopted this technique.

• Korean Journal of Poultry Science
• /
• v.21 no.2
• /
• pp.101-111
• /
• 1994

From the observations of dietary self-selection by growing pullets, step-up protein or reverse protein and single-stage low protein pullet feeding systems were developed. They offered another pullet feeding concept that appears to control the body weight effectively and to reduce the consumption of feed and nutrients without impairment of subsequent laying performance. It is obvious from the feed and nutrient consumption pattern of layers fed diets for self-selection of energy, protein and calcium that they have a daily cyclic requirement rather than a constant requirement for nutrients. It seems that a practical self-selective feeding system is needed to meet the daily cyclic requirement for nutrients without consuming an excess of energy and protein at certain times of the day as compared to the complete or single diet where layers have to consume extra energy and protein in the afternoon when they have a specific appetite mainly for calcium.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.3 no.1
• /
• pp.17-29
• /
• 1999

The reliable authentication of a communicating party and a network component is an essential factor to achieve the security in a computer network. The Kerberos Authentication Services has been the most successful solution which is widely used today but its requirement for synchronized clocks has been a serious limitation to use it. In this paper we presented an extended Kerberos method which avoids the synchronization requirement for a single-time ticket user. We modified the Kerberos protocol minimally by replacing the synchronization requirement with the challenge-response method.

• Journal of the Korea Safety Management & Science
• /
• v.9 no.1
• /
• pp.51-63
• /
• 2007

It is noted that the disaster such as fire, explosion, collapse has been rapidly increased caused by strength deterioration of steel structures at petrochemical plant during fire. In this regard, it is stressed out that the legal requirement for fire proofing for steel structures at petrochemical plant should be carefully reviewed since the current legal requirement such as Industrial Safety & Health Law, Architectural Law has a conflict and different way of approach. In addition, it is our point of view that the present law should be revised to consolidate into single law including engineering design criteria to reflect unreasonable legal requirement. It is further our point of view that the performance certificate for fire proofing like UL-1709, basis of maintenance should be appropriately and reasonably provided in line with global practice.

• Proceedings of the Korea Association of Crystal Growth Conference
• /
• 1999.12a
• /
• pp.93-99
• /
• 1999

It is definite trend that the functional devices are to be integrated by miniaturizing of individual components. Bulk crystals turn into wafer form, while thin film of the functional materials is being fabricated for single and multi-layer devices. In addition, single crystals with multi-function performance would be desirable for further miniaturization. crystal growers have the responsibility for synthesis single crystals work to meet ever increasing requirement of future devices.

• 한국정보디스플레이학회:학술대회논문집
• /
• 2008.10a
• /
• pp.43-46
• /
• 2008

This study investigated if a requirement for screen gloss is needed in the TCO Requirements and was, therefore, targeted towards finding an acceptable reflex level. The results show that a glossy surface has an impact on the visual ergonomics, and for this reason we believe that a requirement is needed. Although, the results do not point to a single value that is better than another, so a selection for a requirement level has to be augmented with additional information. Such a discussion is given and 60 gloss units at 60 degrees ($GU_{60}$) was selected as the new requirement level for the TCO Requirements (TCO '03 and TCO '05).

• The KIPS Transactions:PartD
• /
• v.17D no.1
• /
• pp.41-52
• /
• 2010

A relation between generated test cases and an original requirement is important, but it becomes very complex because a relation between requirement models and requirements are m-to-n in automatic test case generation based on models. In this paper, I suggest automatic generation technique for REED (REquirement EDitor), 1-to-1 requirement modeling tool. Test cases are generated though 3 steps, Coverage Target Generation, IORT (Input Output Relation Tree)Generation, and Test Cases Generation. All these steps are running automatically. The generated test cases can be generated from a single requirement. As a result of applying to three real commercial systems, there are 5566 test cases for the Temperature Controller, 3757 test cases for Bus Card Terminal, and 4611 test cases for Excavator Controller.

• Proceeding of EDISON Challenge
• /
• 2017.03a
• /
• pp.290-303
• /
• 2017

This paper aims to build a drone platform based on an optimum design of its single arm. We assumed its single arm as a cantilevered beam with a tip mass. Based on the numerical optimization theory, we conducted validation and optimization of a new design by comparing the results with the similar ones obtained by ANSYS. Finally, this design is reflected in the control simulation, and the requirement of an optimum structural design considering the resonance situation is demonstrated.

• Proceedings of the KSR Conference
• /
• 2001.10a
• /
• pp.35.1-40
• /
• 2001

This study is on the behavior analysis which can define and verify a system requirement through a behavior diagram for High speed rail system. The model considered in this study is limited to the preconditioning control of the control system specification for HSRS. To build an executable model, requirements should be decomposed first into leaf node requirements. The behavior model is composed of input, output, and functions which are linked with leaf node requirements. It is important that a single requirement must specify a single Auction. Using the developed executable model and the traceability between requirements and functions, this study found out a lot of static and dynamic inconsistency, missed and derived requirements. This is to develop and executable behavior model to do functional analysis and be able to verify the integrity of a specification.

• Korean Journal of Agricultural Science
• /
• v.11 no.2
• /
• pp.264-269
• /
• 1984

The single edged blade was efficient to reduce tilling torque requirement than the double edged blade as previous reported study. This study was carried out to find reducing effects of tilling torque requirement of single edged blade comparing to double edged one in according to wearing by tilling operation. The single and double edged rotary blades were attached on same rotary shaft, and tilling operation was done in hard glass land. The wearing weights of the blade were checked out each 3 hrs tilling operation, at same time, the tilling toruqe requirements were measured with soil bin system in laboratory. The results of the study were summarized as follows: 1. The edged blade shape was not changed during the tilling operation of the rotary blade. The single edged blade was saved 5-10% in the maximum tilling torque and 3-15% in the mean tilling torque than the double edged blade for total durable period. 2. Generally, the tilling torques according to operation were decreased until original shape was maintained, but it was increased after 12 hrs tilling operation, and the tip shape of rotary blade was changed seriously. It is noted that the tip shape of the rotary blade is another factor affecting tilling torque, it should be desirable to study on the rotary blade tip shape to reduce tilling torque requirement after changing its original shape with wearing.