• 한국산학기술학회논문지
• /
• 제13권9호
• /
• pp.4207-4213
• /
• 2012

소프트웨어의 품질은 요구사항 품질과 강하게 관계되어 있다. 이에 따라서 기업들은 요구사항의 품질을 향상시켜 주기 위한 노력을 하고 있다. 그러나 명세서 형태의 요구사항은 검증하기 어려우며, 분석가의 비정형화된 업무 지식에 의존해야 한다. 또한 명세서 형태의 요구사항 품질을 향상시켜 주기 위한 정형화된 방법론이나 자동화된 기법이 미흡한 상황이다. 본 논문에서는 요구사항의 품질을 향상시켜 주기 위한 요구사항 검증 프로세스 및 자동화 검증 도구를 제안한다. 검증을 위해 요구사항에 대한 외적뷰 설계와 내적뷰 설계를 비교한다. 사례연구를 통해 제안된 요구사항 자동화 검증 기법의 타당성을 검증한다.

• 드라이브 ㆍ 컨트롤
• /
• 제15권2호
• /
• pp.22-31
• /
• 2018

This study deals with verifying the design feasibility, of an independently driving hydraulic system for disaster response purposes, through an analytical approach. The development target is a system in which four traveling motors are driven independently, and must be easy to operate even under conditions in which different loads are applied to the traveling motors. In order to be suitable for complex work, the hydraulic system was designed using the main control valve with a pressure compensation function. If we can develop an analytical model that reflects the specifications and functions of the parts through the analysis program, we can verify the validity of the design before we make the prototype. The purpose of this study therefore, is to verify the feasibility of designing an independent drive hydraulic system through the development of an analysis model from the viewpoint of complex work. The analysis program uses Simulation X.

• Nuclear Engineering and Technology
• /
• 제56권4호
• /
• pp.1330-1338
• /
• 2024

Information on isotopic composition and geometric structure is necessary for identifying a true warhead. Nevertheless, such classified information should be protected physically or electronically. With a novel Hash encryption algorithm, this paper presents a Monte Carlo-based design of a neutron activation analysis verification module. The verification module employs a thermal neutron source, a non-uniform mask (physically encrypting information about isotopic composition and geometric structure), a gamma detector array, and a Hash encryption algorithm (for electronic encryption). In the physical field, a non-uniform mask is designed to distort the characteristic gamma rays emitted by the inspected item. Furthermore, as part of the Hash algorithm, a key is introduced to encrypt the data and improve the system resolution through electronic design. In order to quantify the difference between items, Hamming distance is used, which allows data encryption and analysis simultaneously. Simulated inspections of simple objects are used to quantify system performance. It is demonstrated that the method retains superior resolution even with 1% noise level. And the performances of anti-statistical attack and anti-brute force cracking are evaluated and found to be very excellent. The verification method lays a solid foundation for nuclear disarmament verification in the upcoming era.

• International Journal of Control, Automation, and Systems
• /
• 제5권4호
• /
• pp.372-378
• /
• 2007

This paper discusses Robust $H{\infty}$ control problems for networked control systems (NCSs) with time delays and subject to norm-bounded parameter uncertainties. Based on a new discrete-time model, two approaches of robust controller design are proposed. A numerical example and experimental verification with an NCS test bed are given to illustrate the feasibility and effectiveness of proposed design methodologies.

• 제어로봇시스템학회논문지
• /
• 제22권3호
• /
• pp.204-209
• /
• 2016

In this paper, an unmanned delivery service using drone was proposed and verified the feasibility. The multicopter has GPS for autopilot and a camera for remote control by human operator. The gripper for manipulation of delivery object was designed and evaluated. The multicopter flies to a given position automatically based on GPS, and approaches to the prepared delivery desk by remote control of human operator using the received image from the multicopter. GPS sensor verification and experimental PID tuning were performed to ensure the flight stability. The flight tests were carried out to verify the feasibility of delivery service.

• 한국콘크리트학회:학술대회논문집
• /
• 한국콘크리트학회 1997년도 봄 학술발표회 논문집
• /
• pp.508-514
• /
• 1997

RCS system consists of RC columns and Steel girders. Because RC columns are useful for compression and steel girders are for bending moment, RCS system has good structural performances. This system, however, has had no verification in the onstruction fields. This paper is a feasibility study on RCS system to verify the structural and economic efficiency of RCS system. On this study, we analyze 18 models selected by existing building data survey, and design these models as steel system,SRC system (Steel + RC system) and RCS system. To verify the economic efficiency of RCS system, we estimate the columns of these models. And we predict the construction procedure of RCS system to compare construction duration of RCS system with others So, in this study we find that RCS system is more economic than steel system and SRC system.

• 전력전자학회논문지
• /
• 제22권6호
• /
• pp.504-509
• /
• 2017

This paper proposes a procedure for designing a resonant network for induction cookers that enables the induction heating of magnetic and non-magnetic vessels. In order to design such network, the range of operating frequency must be determined according to the material of the vessels by measuring several parameters, such as equivalent resistance and inductance, which are reflected in the working coil of the vessels. Through this process, the capacitance of the resonant capacitor is determined. The PSIM simulation and experiment results verify the feasibility of the proposed design and the heating performance of the designed resonant network.

• 복식
• /
• 제58권9호
• /
• pp.99-113
• /
• 2008

This paper provides the foundation to settle the new paradigm in the beauty industry service quality by confirming the beauty industry service quality influence on customer satisfaction and loyalty through the actual verification. The scale of this study for measurement of beauty industry service quality is confirmed through the certification of reliability and feasibility with questionnaire investigation after confirmation of contents and preliminary feasibility. The dimensions and items for measurement of beauty industry service quality are selected with service ability(6), tangible(4), responsiveness(3), reliability(2), conveniency(2). And it is confirmed that the level of service quality is changing unlike a beauty-shop facility or cost recognized traditionally as a key factor to occupy the higher position in competition of beauty-shops. This thesis presents the important point of current issue about kinds of strategy which beauty industry should establish in providing the beauty industry service for occupying higher position in keen competition.

• 한국의상디자인학회지
• /
• 제22권1호
• /
• pp.1-13
• /
• 2020

The purpose of this study is to create a 3D avatar from 3D human body shape data using the CLO 3D virtual clothing program and to verify the feasibility of avatar production using the virtual clothing system for verifying size and shape. The research method was to select one virtual representative model that is the closest to the mean size of each body item for each age group. Using the 3D human body scan shape of a 40-69 years old male was applied to the CLO 3D virtual wearing system. Using the CLO 3D Avatar conversion menu, we verified the feasibility of creating a 3D avatar that reproduces the human body scan shape. In the dimension comparison between the 3D avatar and the fictitious representative model, the dimension difference was noticeable in height, circumference, and length. However, as a result, the converted 3D avatar showed less than a 5% difference in most human dimensions. In addition, since the body shape and posture were reproduced similarly, the utilization of the avatar was verified.

• 산업공학
• /
• 제15권4호
• /
• pp.460-473
• /
• 2002

The objective of this paper is to design a Goal Alternatives Disposition System having three main subsystems for setting, evaluating and selecting goal alternatives. For setting of goal alternatives, System Alternatives Tree(SAT) structure will be developed, which has a computation algorithm for setting decision alternatives by the concept of System Priority Number(SPN). For evaluating and selecting of goal alternatives; First, Normative and Exploratory Priority Indices which consider technical performance to the goal, cost and feasibility are developed respectively. Second, Integrated Priority Index is built up to determine the total priority of the Goal Alternatives Disposition(GAD) system. For the design and verification of the GAD system, technological forecasting structure theory, systems engineering methodology will be used.