• Journal of Advanced Navigation Technology
• /
• v.23 no.5
• /
• pp.345-351
• /
• 2019

Avionics System Integration Laboratory is an integrated test environment for the integration and the verification of avionics systems. Recently, in order to fully consider the requirements verification of avionics system from the aspect of the entire system integration, the participation in the development of the SIL field is advanced from the requirement analysis of the aircraft. Efforts are being made to minimize the cost and the period of development of a SIL so that it does not affect the overall schedule of the aircraft development. We propose the avionics simulation model framework (ASMF) based on the modeling formalism applicable to SIL in order to reduce development period/cost and increase maintenance by standardizing the modeling methods of SIL.

• Journal of the Korea Society for Simulation
• /
• v.28 no.2
• /
• pp.131-137
• /
• 2019

The operation of the precision-guided missiles with seekers is becoming more and more dominant since the modern wars became geographically localized like anti-terror campaigns and civil wars. Imaging seekers are relatively low-price and applicable to various operational conditions. The image tracker, however, requires highly advanced method for the target tracking under harsh missile flight condition. Missile roll can reduce the tracking performance since it introduces big differences in imagery. The missile roll is inevitable because of the disturbance and flight control error. Consequently, the errors of the subsystems should be under control for the stable performance of the tracker and the whole system. But the performance prediction by some simple metric is almost impossible since the target signature and the tracker are highly nonlinear. We established M&S tool for a precision-guided missile with imaging seeker and analyzed the roll effects to tracking and system performance. Furthermore, we defined the specification of missile subsystems through error analysis to guarantee system performance.

• Journal of Internet Computing and Services
• /
• v.20 no.3
• /
• pp.1-11
• /
• 2019

Today's software systems are becoming larger and more complicated, and the risk of accidents and failures have also grown larger. Software failures and accidents in industrial fields such as automobiles, nuclear power plants, railroad industries, etc. may lead to severe damage of property and human life. The safety-related international standards, such as IEC 61508 have been established and applied to industries for decades. The safety life cycle specified in the standards emphasize the activities to develop safety requirements through hazard and risk analysis in the early stage of software development. In this paper, we propose 'Hazard Analysis Process based on STPA using SysML' in order to ensure the safety of software at the early stage of software development. The proposed hazard analysis can be effectively performed minimizing the loss of hazard by using the BDD and the IBD of SysML to define the control structure of a system. The proposed method also improves the specification of the safety constraints(requirement) by using SD. As a result, it is possible to identify the hazard without missing and identify the hazard scenarios in detail, and safety can be sufficiently ensured in the early stage of software development.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.41 no.4
• /
• pp.203-212
• /
• 2018

Quality requirements of manufactured products or parts are given in the form of specification limits on the quality characteristics of individual units. If a product is to meet the customer's fitness for use criteria, it should be produced by a process which is stable or repeatable. In other words, it must be capable of operating with little variability around the target value or nominal value of the product's quality characteristic. In order to maintain and improve product quality, we need to apply statistical process control techniques such as histogram, check sheet, Pareto chart, cause and effect diagram, or control charts. Among those techniques, the most important one is control charting. The cumulative sum (CUSUM) control charts have been used in statistical process control (SPC) in industries for monitoring process shifts and supporting online measurement. The objective of this research is to apply Taguchi's quality loss function concept to cost based CUSUM control chart design. In this study, a modified quality loss function was developed to reflect quality loss situation where general quadratic loss curve is not appropriate. This research also provided a methodology for the design of CUSUM charts using Taguchi quality loss function concept based on the minimum cost per hour criterion. The new model differs from previous models in that the model assumes that quality loss is incurred even in the incontrol period. This model was compared with other cost based CUSUM models by Wu and Goel, According to numerical sensitivity analysis, the proposed model results in longer average run length in in-control period compared to the other two models.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.50 no.10
• /
• pp.739-745
• /
• 2022

In various environmental requirements of a fighter aircraft, the explosive atmosphere is a test to verify whether or not military products are ignited for the safety of the aircraft system and crew. For the test, the explosive atmosphere test chamber owned by the Korea Institute of Industrial Technology (KITECH) was applied, and n-hexane, which has more sensitive ignition characteristics than general fuel, was used to conduct the test conservatively. Based on Procedure I, Method 511.6, MIL-STD-810G w/Change 1, the US military environmental test specification, the scope of application, tailoring guide, and detailed test procedures are checked, and the necessity of this test for each subsystem of the fighter aircraft is considered. In this study, we present the correct tailoring method by analyzing the explosive atmosphere test results for the components installed in the fighter aircraft and sharing the derived essential points.

• Design & Manufacturing
• /
• v.16 no.1
• /
• pp.27-35
• /
• 2022

Thermoforming is a plastic manufacturing process that applies a force to stretch a film of heated thermoplastic material over an engineered mold to create a 3-dimensional shape. After forming, the shaped part can then be trimmed and finished to specification to meet an end-user's requirements. The process and thermoplastic materials are extremely versatile and can be utilized to manufacture parts for a very wide range of applications. In this study, based on K-BKZ nonlinear viscoelastic model, thermoforming process analysis was performed for an interior room-lamp. The predicted thickness was minimum at the corner of a molded film, and maximum at the center of the bottom. By using the Taguchi method of design of experiments, the effects of process conditions on residual stresses were investigated. The dominant factors were the liner thickness and the film heating time. As the thickness of the liner increased, the residual stress decreased. And it was found that the residual stress decreased significantly when the film heating temperature was higher than the glass transition temperature. A thermoforming mold and a trimming mold were manufactured, and the spring back was investigated through experiments. The dominant factors were film heating time, liner thickness, and lower mold temperature. As the film heating time and liner thickness increased, the spring back decreased. In addition, it was found that the spring back decreased as the lower mold temperature increased.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.22 no.3
• /
• pp.171-176
• /
• 2022

The communication signal for quick cut-off specification is defined as "design to support fast cut-off requirements of all applicable photovoltaic(PV) systems" in NEC 2014, NEC 2017 or the corresponding UL standard regardless of the system configuration. On the other hand, if you look at the domestic regulations related to new and renewable energy, the standards, regulations, and guidelines set by each institution are general, or only the parts necessary for the institution are being established and operated. There are many insufficient points to apply these things to photovoltaic facilities, and there are cases where excessive facilities are installed according to the design, inspection standards of supervisors and inspection agencies, and the skill level of inspectors. The internationally accepted IEC standards deal with various facility standards in detail. In each European country, there are separate facility regulations based on IEC. In particular, the performance and safety of devices are dealt with in detail, and in the case of 'NEC Article 690' applied in North America such as the United States, each item is described in detail. Therefore, in this paper, we will look at the details of the PV shutdown technology that is currently used and applied internationally.

• Journal of the Korea Society for Simulation
• /
• v.18 no.3
• /
• pp.113-122
• /
• 2009

Software is getting more complex due to a variety of requirements that include desired functions and properties. Therefore, verifying and testing the software are complicated problems. Moreover, if the software is already implemented, inserting and deleting tracing/logging code into the source code may cause several problems, such as the code tangling and the code scattering problems. This paper proposes the Aspect DEVS Verification Framework which supports the verification and testing process. The Aspect DEVS Verification Framework utilizes Aspect Oriented Programming features to handle the code tangling and the code scattering problems. By applying aspect oriented features, a user can find and fix the inconsistency between requirement and implementation of a software without suffering the problems. The first step of the verification process is the building aspect code to make a software act as a generator. The second step is developing a requirement specification using DEVS diagrams and implementing it using the DEVSIM++. The final step is comparing the event traces from the software with the possible execution sequences from DEVS model.

• Journal of Korean Society of Rural Planning
• /
• v.29 no.4
• /
• pp.69-79
• /
• 2023

This study investigated changes in the spatial structure of rural villages in Sayang Village, where accessibility restrictions to island areas were improved, and analyzed the spatial composition of houses according to changes in the living environment. First, despite the island's vulnerable transportation requirements being resolved by the completion of the land and bridge in 2018, the local economy continues to stagnate due to a vicious cycle of local living services and job losses. Second, when a survey of residents' changed living services was conducted through the continuation of the specification map, the scope of living areas was expanded by analyzing the frequency and place of visit of fresh food purchases, use of convenience facilities, and medical visits. Third, it is judged that the naturally formed village is composed of small roads to the inside of the village due to the disorganized street system and the form of walking instead of vehicles. Finally, as a result of analyzing the residential space of houses in fishing villages, the aging rate of houses over 30 years old was 62 (91.2%), and the average area of the first house space built was 65.2m² to 14.1m², an increase of 17.8% of the total area.

• The Journal of the Acoustical Society of Korea
• /
• v.26 no.8
• /
• pp.375-380
• /
• 2007

A reverberation chamber should be designed and constructed so as to satisfy its purposes and available space. However, it is somewhat difficult to meet the intended design requirements due to various errors from construction process. So, the post-construction measurement of its volume and surface areas is very essential to check the actual volume and volume uncertainty of a reverberation chamber These values should be carefully calculated and accurately estimated since they are used not only to evaluate the acoustic characteristics of building materials but also to calculate uncertainties for other acoustic characteristics. In this work, the method for the calculation and uncertainty estimation of the volume of a reverberation chamber is presented. To this end, the coordinates of all corners was measured with Total Station after construction. The results showed that the calculated volume of the measured reverberation chamber differs by 5 % from the design specification. The expanded volume uncertainty was also estimated to be about 2 % of the total calculated volume.