Many automated dynamic test data generation technique have been proposed. The techniques evaluate fitness of test data through executing instrumented Software Under Test (SUT) and then generate new test data based on evaluated fitness values and optimization algorithms. Previous researches and experiments have been showed that these techniques generate effective test data. However, optimization algorithms in these techniques incur much time to generate test data, which results in huge test case generation cost. In this paper, we propose a technique for reducing the time of evaluating a fitness of test data among steps of dynamic test data generation methods. We introduce the concept of Fitness Evaluation Program (FEP), derived from a path constraint of SUT. We suggest a test data generation method based on FEP and implement a test generation tool, named ConGA. We also apply ConGA to generate test cases for C programs, and evaluate efficiency of the FEP-based test case generation technique. The experiments show that the proposed technique reduces 20% of test data generation time on average.
The Journal of Korean Institute of Communications and Information Sciences
/
v.41
no.5
/
pp.546-554
/
2016
Free-viewpoint video (FVV) is a synthesization technology that generates a virtual viewpoint video using multiple videos recorded via wireless devices at heterogeneous locations. In order to introduce a new service that grafts the FVV onto the real-time streaming service using wireless devices, we need to overcome several constraints. Two main factors of those constraints are the limited wireless capacity that are shared fairly by multiple devices, and the transmission time constraint with which live streaming services have to comply. Therefore, for optimal quality of entire videos, a set of transmitting devices should be effectively selected depending on the condition of wireless channel and the required video popularity of specific viewpoint requested from users. For optimal selection, this study proposes a heuristic algorithm that takes into account the aforementioned factors from possible wireless transmission error behaviors and the requested viewpoint popularity. Through analysis and simulation, we show that with this algorithm, quality of most popular viewpoint videos is guaranteed. Furthermore, performance comparison against the existing scheme which is based only on the location of recording devices is made.
Kim, Eun-Hee;Ahn, Kwang-Deuk;Lee, Hee-Choon;Ha, Jong-Chul;Lim, Eunha
Atmosphere
/
v.25
no.4
/
pp.623-637
/
2015
The accurate analysis of water vapor in initial of numerical weather prediction (NWP) model is required as one of the necessary conditions for the improvement of heavy rainfall prediction and reduction of spin-up time on a very-short-range forecast. To study this effect, the impact of a ground-based Global Positioning System (GPS)-Precipitable Water Vapor (PWV) on very-short-range forecast are examined. Data assimilation experiments of GPS-PWV data from 19 sites over the Korean Peninsula were conducted with Advanced Storm-scale Analysis and Prediction System (ASAPS) based on the Korea Meteorological Administration's Korea Local Analysis and Prediction System (KLAPS) included "Hot Start" as very-short-range forecast system. The GPS total water vapor was used as constraint for integrated water vapor in a variational humidity analysis in KLAPS. Two simulations of heavy rainfall events show that the precipitation forecast have improved in terms of ETS score compared to the simulation without GPS-PWV data. In the first case, the ETS for 0.5 mm of rainfall accumulated during 3 hrs over the Seoul-Gyeonggi area shows an improvement of 0.059 for initial forecast time. In other cases, the ETS improved 0.082 for late forecast time. According to a qualitative analysis, the assimilation of GPS-PWV improved on the intensity of precipitation in the strong rain band, and reduced overestimated small amounts of precipitation on the out of rain band. In the case of heavy rainfall during the rainy season in Gyeonggi province, 8 mm accompanied by the typhoon in the case was shown to increase to 15 mm of precipitation in the southern metropolitan area. The GPS-PWV assimilation was extremely beneficial to improving the initial moisture analysis and heavy rainfall forecast within 3 hrs. The GPS-PWV data on variational data assimilation have provided more useful information to improve the predictability of precipitation for very short range forecasts.
Simulation model was developed to analyze drying process for tray type red pepper dryer and validated by experiments. This model could predict satisfactorily temperatures and moisture contents of red pepper and temperatures of drying air during drying. Optimize algorithm was developed to search control valiables (drying air temperature, air recycle ratio and air flow rate) of red pepper dryer based on a criterion of minimizing energy consumption under the constraint conditions that statisfied carotenoid retension of at least 210mg per 100g dry matter, the moisture content of bottom layer of 15% (d.b) and drying time of less than 35 hours. Step changes in drying air temperature and air recycle ratio were considered in the optimization. In single step in control variables, the difference of the moisture content between top layer and bottom layer was great and more fan power was required. As the drying trays were exchanged when the moisture content of bottom layer reached to 100% (d.b), fifty percent of energy was saved and the difference of moisture content was little. In double step changes in control variables, optimal conditions were found by changing the step when the moisture content of bottom layer reached to 100% (d.b) (about 19.8 hours from starting drying). Optimum air flow rate was $18.1cmm/m^2$. Optimum drying air temperature and air recycle ratio in the first step was $55.8^{\circ}C$ and 0.80, and in the second step $65.6^{\circ}C$ and 0.88, respectively. In triple step changes in control variables, the optimal conditions were found by changing the steps when the moisture content of bottom layer reached to 250% (d.b) and 150% (d.b). Optimal air temperatures were $66.2^{\circ}C$, $58.4^{\circ}C$ and $66.9^{\circ}C$, and optimal air recycle ratios were 0.778, 0.785, 0.862 at each step, respectively. Optimal air flow rate was $18.9cmm/m^2$. The best operating mode was triple step mode considering energy consumption, drying time, fan power, and quality of dried red pepper. When the triple step mode was used to dry the red pepper, the energy consumption was about 16.5%~57.2% less than that of the single step mode and the drying time was 6.6 hours shorter than that of the double step mode.
Proceedings of the Korean Institute of Information and Commucation Sciences Conference
/
2013.10a
/
pp.914-916
/
2013
Renewable energy from the environment in a variety of ways to obtain various forms of energy. Recent functional polymer composites (EAP) to take advantage of the pressure and vibration of physical energy into electrical energy storage, to take advantage of current collector technology is attracting attention. EAP, a type of IPMC (Ionic exchange Polymer Composite) got a hydrophilic properties, marine power plants is being studied as a source of energy. Studies using IPMC marine power plant because there is a constraint on the time, IPMC in real time, which can measure the power generated by the system is required, Due to the nature of the power plant to be floating in the sea through the power cable and data transmission measurement system is hard drive self-generation and wireless data transmission system is required. In this study, IPMC marine power plant is to develop a system of monitoring. IPMC for several power plants to build individual current-voltage measurement system, CAN communication with the main system to collect all the information and wireless data transmission to occur, and Generation of electricity using solar energy to building systems in real-time without an external power supply to drive the measuring system is to develop a monitoring system.
The Journal of the Convergence on Culture Technology
/
v.8
no.5
/
pp.569-575
/
2022
It is most desirable to build a crane training program in the same evvironment as the actual port, but it has problem such as time constraint and cost. To overcome these limitations, next-generation training programs based on AR/VR are receiving a lot of attention. In this paper, a prototype of a harbor crane training system based on virtual reality was designed and implemented. The system implemented in this paper consists of two elements: an Arduino-based IoT terminal and an HMD equipped with a Unity application program. The IoT terminal consists of 2 controllers, 2 toggle switches, and 8 button switches to process data generated according to the user's operation. The HMD uses Oculus Quest2 and is connected to the IoT terminal through wireless communication to provide user convenience. The training system implemented in this paper is expected to provide trainees with a training environment independent of time and place through virtual reality and to save time and money.
This paper presents the multi-objective optimal design of thermopile sensor having beam or membrane structure. The thermopile sensor is composed of $Si_{3}N_{4}/SiO_{2}$ dielectric membrane, Al-polysilicon thermocouples and $RuO_{2}$ thin film for black body. The sensing method is based on the Seebeck effect which is originated from the temperature difference of the two positions, black body and silicon rim. The objective functions of the presented design are sensitivity, detectivity and thermal time constant. The modelling of the sensor is proposed including the package. The multi-objective optimization technique is applied to the design of the sensor not only inspecting the modelling equation but also simulating mathematical programming method. Especially, fuzzy optimization technique is adapted to get the optimal solution which enables the designer to reach the more practical solution. The design constraint of the voltage output originated from the change of the environmental temperature is included for practical use.
The Journal of Korean Institute of Communications and Information Sciences
/
v.32
no.7A
/
pp.724-729
/
2007
In this paper, we consider a joint optimization of transmitter and receiver in additive cyclostationary noise with zero forcing criterion. We assume that the period of the cyclostationary noise is the same as the inverse of the symbol transmission rate and that the noise has a positive-definite autocorrelation function. The data sequence is modeled as a wide-sense stationary colored random process and the channel is modeled as a linear time-invariant system with a frequency selective impulse response. Under these assumptions and a constraint on the average power of the transmitted signal, we derive the optimum transmitter and receiver waveforms that jointly minimizes the mean square error with no intersymbol interference. The simulation results show that the proposed system has a better BER performance than the systems with receiver only optimization and the systems with no transmitter and receiver optimization.
One of the hottest challenges in automotive industry is related to weight reduction in sheet metal forming processes, in order to produce a high quality metal part with minimal material cost. Stamping is the most widely used sheet metal forming process; but its implementation comes with several fabrication flaws such as springback and failure. A global and simple approach to circumvent these unwanted process drawbacks consists in optimizing the initial blank shape with innovative methods. The aim of this paper is to introduce an efficient methodology to deal with complex, computationally expensive multicriteria optimization problems. Our approach is based on the combination of methods to capture the Pareto Front, approximate criteria (to save computational costs) and global optimizers. To illustrate the efficiency, we consider the stamping of an industrial workpiece as test-case. Our approach is applied to the springback and failure criteria. To optimize these two criteria, a global optimization algorithm was chosen. It is the Simulated Annealing algorithm hybridized with the Simultaneous Perturbation Stochastic Approximation in order to gain in time and in precision. The multicriteria problems amounts to the capture of the Pareto Front associated to the two criteria. Normal Boundary Intersection and Normalized Normal Constraint Method are considered for generating a set of Pareto-optimal solutions with the characteristic of uniform distribution of front points. The computational results are compared to those obtained with the well-known Non-dominated Sorting Genetic Algorithm II. The results show that our proposed approach is efficient to deal with the multicriteria shape optimization of highly non-linear mechanical systems.
In this study, it was developed to the design program optimization the design factors of the carbon dioxide fire extinguishing system on the basis of design theory for the carbon dioxide fire extinguishing system, national emergency management agency (NEMA) notice No. 2012-11, KS B 6261 and steepest descent method of optimization. The design program was developed to C++ compiler based on established the logic and algorithms and was to operate on the Windows operating system. The optimization of design factors for the carbon dioxide fire extinguishing system are minimized subject to constraint on agent flow rate, emission time and design variables (pipe size etc.). It was verified to the design program performance for test system, and it was provided to the foundation for optimal design in fire fighting field. Also, it is considered to improve the efficiency of the fire extinguishing system and to maximize of fire suppression as the construction of the carbon dioxide extinguishing system based on the optimal design factors.
본 웹사이트에 게시된 이메일 주소가 전자우편 수집 프로그램이나
그 밖의 기술적 장치를 이용하여 무단으로 수집되는 것을 거부하며,
이를 위반시 정보통신망법에 의해 형사 처벌됨을 유념하시기 바랍니다.
[게시일 2004년 10월 1일]
이용약관
제 1 장 총칙
제 1 조 (목적)
이 이용약관은 KoreaScience 홈페이지(이하 “당 사이트”)에서 제공하는 인터넷 서비스(이하 '서비스')의 가입조건 및 이용에 관한 제반 사항과 기타 필요한 사항을 구체적으로 규정함을 목적으로 합니다.
제 2 조 (용어의 정의)
① "이용자"라 함은 당 사이트에 접속하여 이 약관에 따라 당 사이트가 제공하는 서비스를 받는 회원 및 비회원을
말합니다.
② "회원"이라 함은 서비스를 이용하기 위하여 당 사이트에 개인정보를 제공하여 아이디(ID)와 비밀번호를 부여
받은 자를 말합니다.
③ "회원 아이디(ID)"라 함은 회원의 식별 및 서비스 이용을 위하여 자신이 선정한 문자 및 숫자의 조합을
말합니다.
④ "비밀번호(패스워드)"라 함은 회원이 자신의 비밀보호를 위하여 선정한 문자 및 숫자의 조합을 말합니다.
제 3 조 (이용약관의 효력 및 변경)
① 이 약관은 당 사이트에 게시하거나 기타의 방법으로 회원에게 공지함으로써 효력이 발생합니다.
② 당 사이트는 이 약관을 개정할 경우에 적용일자 및 개정사유를 명시하여 현행 약관과 함께 당 사이트의
초기화면에 그 적용일자 7일 이전부터 적용일자 전일까지 공지합니다. 다만, 회원에게 불리하게 약관내용을
변경하는 경우에는 최소한 30일 이상의 사전 유예기간을 두고 공지합니다. 이 경우 당 사이트는 개정 전
내용과 개정 후 내용을 명확하게 비교하여 이용자가 알기 쉽도록 표시합니다.
제 4 조(약관 외 준칙)
① 이 약관은 당 사이트가 제공하는 서비스에 관한 이용안내와 함께 적용됩니다.
② 이 약관에 명시되지 아니한 사항은 관계법령의 규정이 적용됩니다.
제 2 장 이용계약의 체결
제 5 조 (이용계약의 성립 등)
① 이용계약은 이용고객이 당 사이트가 정한 약관에 「동의합니다」를 선택하고, 당 사이트가 정한
온라인신청양식을 작성하여 서비스 이용을 신청한 후, 당 사이트가 이를 승낙함으로써 성립합니다.
② 제1항의 승낙은 당 사이트가 제공하는 과학기술정보검색, 맞춤정보, 서지정보 등 다른 서비스의 이용승낙을
포함합니다.
제 6 조 (회원가입)
서비스를 이용하고자 하는 고객은 당 사이트에서 정한 회원가입양식에 개인정보를 기재하여 가입을 하여야 합니다.
제 7 조 (개인정보의 보호 및 사용)
당 사이트는 관계법령이 정하는 바에 따라 회원 등록정보를 포함한 회원의 개인정보를 보호하기 위해 노력합니다. 회원 개인정보의 보호 및 사용에 대해서는 관련법령 및 당 사이트의 개인정보 보호정책이 적용됩니다.
제 8 조 (이용 신청의 승낙과 제한)
① 당 사이트는 제6조의 규정에 의한 이용신청고객에 대하여 서비스 이용을 승낙합니다.
② 당 사이트는 아래사항에 해당하는 경우에 대해서 승낙하지 아니 합니다.
- 이용계약 신청서의 내용을 허위로 기재한 경우
- 기타 규정한 제반사항을 위반하며 신청하는 경우
제 9 조 (회원 ID 부여 및 변경 등)
① 당 사이트는 이용고객에 대하여 약관에 정하는 바에 따라 자신이 선정한 회원 ID를 부여합니다.
② 회원 ID는 원칙적으로 변경이 불가하며 부득이한 사유로 인하여 변경 하고자 하는 경우에는 해당 ID를
해지하고 재가입해야 합니다.
③ 기타 회원 개인정보 관리 및 변경 등에 관한 사항은 서비스별 안내에 정하는 바에 의합니다.
제 3 장 계약 당사자의 의무
제 10 조 (KISTI의 의무)
① 당 사이트는 이용고객이 희망한 서비스 제공 개시일에 특별한 사정이 없는 한 서비스를 이용할 수 있도록
하여야 합니다.
② 당 사이트는 개인정보 보호를 위해 보안시스템을 구축하며 개인정보 보호정책을 공시하고 준수합니다.
③ 당 사이트는 회원으로부터 제기되는 의견이나 불만이 정당하다고 객관적으로 인정될 경우에는 적절한 절차를
거쳐 즉시 처리하여야 합니다. 다만, 즉시 처리가 곤란한 경우는 회원에게 그 사유와 처리일정을 통보하여야
합니다.
제 11 조 (회원의 의무)
① 이용자는 회원가입 신청 또는 회원정보 변경 시 실명으로 모든 사항을 사실에 근거하여 작성하여야 하며,
허위 또는 타인의 정보를 등록할 경우 일체의 권리를 주장할 수 없습니다.
② 당 사이트가 관계법령 및 개인정보 보호정책에 의거하여 그 책임을 지는 경우를 제외하고 회원에게 부여된
ID의 비밀번호 관리소홀, 부정사용에 의하여 발생하는 모든 결과에 대한 책임은 회원에게 있습니다.
③ 회원은 당 사이트 및 제 3자의 지적 재산권을 침해해서는 안 됩니다.
제 4 장 서비스의 이용
제 12 조 (서비스 이용 시간)
① 서비스 이용은 당 사이트의 업무상 또는 기술상 특별한 지장이 없는 한 연중무휴, 1일 24시간 운영을
원칙으로 합니다. 단, 당 사이트는 시스템 정기점검, 증설 및 교체를 위해 당 사이트가 정한 날이나 시간에
서비스를 일시 중단할 수 있으며, 예정되어 있는 작업으로 인한 서비스 일시중단은 당 사이트 홈페이지를
통해 사전에 공지합니다.
② 당 사이트는 서비스를 특정범위로 분할하여 각 범위별로 이용가능시간을 별도로 지정할 수 있습니다. 다만
이 경우 그 내용을 공지합니다.
제 13 조 (홈페이지 저작권)
① NDSL에서 제공하는 모든 저작물의 저작권은 원저작자에게 있으며, KISTI는 복제/배포/전송권을 확보하고
있습니다.
② NDSL에서 제공하는 콘텐츠를 상업적 및 기타 영리목적으로 복제/배포/전송할 경우 사전에 KISTI의 허락을
받아야 합니다.
③ NDSL에서 제공하는 콘텐츠를 보도, 비평, 교육, 연구 등을 위하여 정당한 범위 안에서 공정한 관행에
합치되게 인용할 수 있습니다.
④ NDSL에서 제공하는 콘텐츠를 무단 복제, 전송, 배포 기타 저작권법에 위반되는 방법으로 이용할 경우
저작권법 제136조에 따라 5년 이하의 징역 또는 5천만 원 이하의 벌금에 처해질 수 있습니다.
제 14 조 (유료서비스)
① 당 사이트 및 협력기관이 정한 유료서비스(원문복사 등)는 별도로 정해진 바에 따르며, 변경사항은 시행 전에
당 사이트 홈페이지를 통하여 회원에게 공지합니다.
② 유료서비스를 이용하려는 회원은 정해진 요금체계에 따라 요금을 납부해야 합니다.
제 5 장 계약 해지 및 이용 제한
제 15 조 (계약 해지)
회원이 이용계약을 해지하고자 하는 때에는 [가입해지] 메뉴를 이용해 직접 해지해야 합니다.
제 16 조 (서비스 이용제한)
① 당 사이트는 회원이 서비스 이용내용에 있어서 본 약관 제 11조 내용을 위반하거나, 다음 각 호에 해당하는
경우 서비스 이용을 제한할 수 있습니다.
- 2년 이상 서비스를 이용한 적이 없는 경우
- 기타 정상적인 서비스 운영에 방해가 될 경우
② 상기 이용제한 규정에 따라 서비스를 이용하는 회원에게 서비스 이용에 대하여 별도 공지 없이 서비스 이용의
일시정지, 이용계약 해지 할 수 있습니다.
제 17 조 (전자우편주소 수집 금지)
회원은 전자우편주소 추출기 등을 이용하여 전자우편주소를 수집 또는 제3자에게 제공할 수 없습니다.
제 6 장 손해배상 및 기타사항
제 18 조 (손해배상)
당 사이트는 무료로 제공되는 서비스와 관련하여 회원에게 어떠한 손해가 발생하더라도 당 사이트가 고의 또는 과실로 인한 손해발생을 제외하고는 이에 대하여 책임을 부담하지 아니합니다.
제 19 조 (관할 법원)
서비스 이용으로 발생한 분쟁에 대해 소송이 제기되는 경우 민사 소송법상의 관할 법원에 제기합니다.
[부 칙]
1. (시행일) 이 약관은 2016년 9월 5일부터 적용되며, 종전 약관은 본 약관으로 대체되며, 개정된 약관의 적용일 이전 가입자도 개정된 약관의 적용을 받습니다.