• 정보처리학회논문지D
• /
• 제15D권4호
• /
• pp.505-512
• /
• 2008

임베디드 시스템에 대한 RBT(Requirement-Based Testing)를 수행하기 위하여 정확한 요구사항 명세서가 존재해야 한다. 그러나 고객이 자연어로 작성하는 요구사항은 모호성, 부정확성, 불일치성을 가지고 있다. 이를 해결하기 위해서 UML, Simulink등의 모델링 언어를 이용하여 요구사항을 다시 모델링 하지만, 이 과정에서 요구사항을 use-case단위로 조합하고 재해석하는 단점이 생겨나게 되었다. 본 논문에서는 임베디드 시스템에 대한 고객의 요구사항을 use-case단위의 조합이나 재해석이 필요 없이 곧바로 모델로 표현할 수 있는 그래픽 언어를 이용한 1:1 요구사항 모델링 기법을 소개한다. 제안한 방법은 1) 임베디드 시스템의 요구사항을 자연어가 아닌 의미가 분명한 그래픽 언어를 이용하여 표현하고, 2) 하나의 요구사항을 하나의 그래픽 모델로 표현한다. 또한 제안한 방법은 시스템의 입출력을 기반으로 "what-to-do"만을 기술하기 때문에 상위레벨의 요구사항이나 하위레벨의 요구사항 모두에 적용할 수 있는 기법이다. 이 기법이 적용된 REED라는 도구를 통하여 실제 프로젝트에 적용한 예를 살펴본다.

• 한국가금학회지
• /
• 제21권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
• /
• 제3권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.

• 대한안전경영과학회지
• /
• 제9권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.

• 한국결정성장학회:학술대회논문집
• /
• 한국결정성장학회 1999년도 PROCEEDINGS OF KACG FALL MEETING, SEOUL, 4 DECEMBER, 1999
• /
• 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년도 International Meeting on Information Display
• /
• 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).

• 정보처리학회논문지D
• /
• 제17D권1호
• /
• pp.41-52
• /
• 2010

생성된 테스트 케이스와 요구사항과의 연관관계가 중요하지만, 모델을 이용한 테스트 케이스 자동생성에서는 모델이 요구사항과 m:n의 관계를 맺기 때문에 테스트 케이스와 요구사항과의 관계도 매우 복잡해진다. 본 논문에서는 1:1 모델링 도구인 REED(REquirement EDitor)를 이용하여 테스트 케이스를 생성하는 방법에 대하여 기술한다. 테스트 케이스는 커버리지 타겟 생성, IORT(Input Output Relation Tree) 생성, 테스트 케이스 생성의 3단계를 거치며, 모든 단계는 자동으로 진행된다. 생성된 테스트 케이스는 하나의 요구사항에서 생성될 수 있으며 실제 시스템에 적용한 결과, 온도조절장치 경우는 5,566개, 버스카드 단말기의 경우는 3,757개, 굴착기 제어기는 4,611개의 테스트 케이스가 생성되었다.

• EDISON SW 활용 경진대회 논문집
• /
• 제6회(2017년)
• /
• 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.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2001년도 추계학술대회 논문집
• /
• 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.

• 농업과학연구
• /
• 제11권2호
• /
• pp.264-269
• /
• 1984

단면(單面)의 로우터리 경운(耕耘)날이 양면(兩面)보다 경운소요(耕耘所要)토오크를 절감(節減)시키는 데 효과적(效果的)이란 결과(結果)에 대(對)하여는 앞서의 연구(硏究)에서 보고(報告)한 바 있으며, 본(本) 연구(硏究)는 경운작업(耕耘作業)에 의(依)한 날의 마모과정중(磨耗過程中) 양(兩), 단면(單面) 형상(形狀)의 경운(耕耘)날이 경운소요(耕耘所要)토오크의 절감효과(節減效果)가 지속(持續)되는가를 구명(究明)하기 위(爲)하여 포장실험(圃場實驗)을 실시(實施)하였다. 양(兩), 단면(單面)의 공시(供試)날은 동일(同一) 로우터리 축(軸)에 부착(附着)시켜 미경운토양(未耕耘土壤)에서 포장작업(圃場作業)을 실시(實施)하여 매(每) 3시간(時間)마다 마모량(磨耗量)을 측정(測定)하였으며, 계량(計量)한 날의 경운소요(耕耘所要)토오크는 실험실(實驗室)에서 Soil bin system 을 이용(利用)하여 측정(測定)하였으며, 분석(分析) 결과(結果)를 요약(要約)하면 다음과 같다. 1. 로우터리 경운작업(耕耘作業)을 실시(實施)하는 동안 날의 단면형상(斷面形狀)의 원형(原形)은 변화(變化)하지 않았으며, 단면(單面)인 날이 양면(兩面)보다 전(全) 내용시간(耐用時間) 동안 최대경운소요(最大耕耘所要)토오크는 5~10%, 평균경운소요(平均耕耘所要)토오크는 3~15% 절감(節減)하는 것으로 분석(分析)되었다. 2. 일반적(一般的)으로, 경운소요(耕耘所要)토오크는 경운(耕耘)날의 형상(形狀)이 유지(維持)되는 12시간(時間)까지는 감소(減少)하였으나, 그 후(後)에는 날의 tip형상(形狀)의 변형(變形)에 의(依)하여 증가(增加)하는 것으로 나타났다. 이것은 날의 tip형상(形狀)이 경운소요(耕耘所要)토오크에 영향(影響)을 미치는 요인(要因)이라고 분석(分析)할 수 있으며, 이에 대(對)한 연구(硏究)는 계속(繼續)되어져야 할 것으로 사료(思料)된다.