• Journal of KIISE:Software and Applications
• /
• v.33 no.12
• /
• pp.1008-1021
• /
• 2006

Product line engineering(PLE) is one of the recent and effective reuse approaches that enables developing a number of applications by instantiating a core asset. Elements of a core asset are product line architecture(PLA), component, and decision model. Among these elements, PLA is the key element since it defines the overall structure of the core asset. Although numerous PLE methodologies have been introduced, it is still unclear what should be the elements of a PLA and how to systematically instantiate it for specific applications. Formal specifications can play a key role in defining detailed and precise instantiation process. In this paper, we first present a meta model of PLA and show how to specify PLA in a formal language, Object-Z. Then, we propose instantiation rules using formal specification and those rules precisely define constraints for instantiating PLA. By applying the proposed formal specification, we believe PLA instantiation can be carried out precisely and correctly, yielding high quality software development.

• Proceedings of the Safety Management and Science Conference
• /
• 2008.11a
• /
• pp.35-39
• /
• 2008

This paper considers the sequencing of products in mixed model assembly lines. The sequence which minimizes overall utility work in car assembly lines reduce the cycle time, the number of utility workers, and the risk of conveyor stopping. The sequencing problem is solved using Tabu Search. Tabu Search is a heuristic method which can provide a near optimal solution in real time. Various examples are presented and experimental results are reported to demonstrate the efficiency of the technique.

• Structural Engineering and Mechanics
• /
• v.90 no.1
• /
• pp.41-49
• /
• 2024

In recent years, China's high-speed railway (HSR) line continues to expand into seismically active regions. Analyzing the features of earthquake rail irregularity is crucial in this situation. This study first established and experimentally validated a finite element (FE) model of bridge-track. The FE model was then combined with earthquake record database to generate the earthquake rail irregularity library. The sample library was used to construct a model of desired earthquake rail irregularity based on signal processing (SFT) and hypothesis principle. Finally, the effects of random pier height and random span number on desired irregularity were analyzed. Herein, an equivalent method of calculating earthquake rail irregularities for random structures was proposed. The results of this study show that the amplitude of desired irregularity is found to increase with increasing pier height. When calculating the desired irregularity of a structure with unequal pier heights, the structure can be regarded as that with equal pier heights (taking the largest pier height). For a structure with the span number large than 9, its desired irregularity can be considered equal to that of a 9-span structure. For the structures with both random pier heights and random span number, their desired irregularities are obtained by equivalent calculations for pier height and span number, respectively.

• Journal of the Korean Society of Safety
• /
• v.29 no.6
• /
• pp.151-157
• /
• 2014

This study deals with the rear-end collision at roundabouts. The purpose of this study is to develop the accident models of rear-end collision in Korea. In pursuing the above, this study gives particular attention to developing the appropriate models using Poisson, negative binomial model, ZAM, multiple linear and nonlinear regression models, and statistical analysis tools. The main results are as follows. First, the Vuong statistics and overdispersion parameters indicate that ZIP is the most appropriate model among count data models. Second, RMSE, MPB, MAD and correlation coefficient tests show that the multiple nonlinear model is the most suitable to the rear-end collision data. Finally, such the independent variables as traffic volume, ratio of heavy vehicle, number of circulatory roadway lane, number of crosswalk and stop line are adopted in the optimal model.

• Journal of Institute of Control, Robotics and Systems
• /
• v.1 no.2
• /
• pp.112-118
• /
• 1995

In designing assembly lines, it is required that the lines should not only meet the demand of the product, but also minimize the assembly cost associated with the line. For such a purpose, numerous research efforts have been made on either the assembly sequence generation or the assembly line balancing. However, the works dealing with both the research problems have been seldom reported in literature. When assembly sequences are generated without consideration of line balancing, additional cost may be incurred, because the sequences may not guarantee the minimum number of workstations. Therefore, it is essential to consider line balancing in the generation of cost-effective assembly sequences. To incorporate the two research problems into one, this paper treats a single-model and deterministic (SMD) assembly line balancing (ALB) problem, and proposes a new method for generating line-balanced robotic assembly sequences by using a simulated annealing. In this method, an energy function is derived in consideration of the satisfaction of assembly constraints, and the minimization of both the assembly cost and the idle time. Then, the energy function is iteratively minimized and occasionally perturbed by the simulated annealing. When no further change in energy occurs, an assembly sequence with consideration of line balancing is finally found. To show the effectiveness of the proposed scheme, a case study for an electrical relay is presented.

• Journal of Computing Science and Engineering
• /
• v.1 no.2
• /
• pp.125-160
• /
• 2007

Data Warehousing and OLAP (On-Line Analytical Processing) have turned into the key technology for comprehensive data analysis. Originally developed for the needs of decision support in business, data warehouses have proven to be an adequate solution for a variety of non-business applications and domains, such as government, research, and medicine. Analytical power of the OLAP technology comes from its underlying multidimensional data model, which allows users to see data from different perspectives. However, this model displays a number of deficiencies when applied to non-conventional scenarios and analysis tasks. This paper presents an attempt to systematically summarize various extensions of the original multidimensional data model that have been proposed by researchers and practitioners in the recent years. Presented concepts are arranged into a formal classification consisting of fact types, factual and fact-dimensional relationships, and dimension types, supplied with explanatory examples from real-world usage scenarios. Both the static elements of the model, such as types of fact and dimension hierarchy schemes, and dynamic features, such as support for advanced operators and derived elements. We also propose a semantically rich graphical notation called X-DFM that extends the popular Dimensional Fact Model by refining and modifying the set of constructs as to make it coherent with the formal model. An evaluation of our framework against a set of common modeling requirements summarizes the contribution.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.15 no.9
• /
• pp.5769-5775
• /
• 2014

This paper reports the political supporting platform, and the outcome evaluation model, which was developed for the Korean on-line game companies that have started to go abroad to publish their games. When they begin to sell their games, they have many difficulties in promoting in other countries including the USA & EU. They try to find solutions to solve these problems, but on-line games still do not have a successful business model because of their unique attributes and environmental features, even though they spent a lot of money and time to enter the international on line game market. Thus far, the local on-line game supporting policy has tried to improve the world competitiveness of local companies by doing diverse activities, such as Global Service Platform(GSP) service, international game competition, and globalization, marketing. On the other hand, there has been only a small number of fruitful results except for GSP. Therefore, in this paper, the result of GSP was verified using the Global on-line game Supporting Chain Model(GoGSCM), which is the new political supporting and evaluation model through survey targeting GSP participations. As a result, GSP was evaluated based on the compatibility, efficiency, effectiveness, and continuity.

• Journal of the Korea Society for Simulation
• /
• v.21 no.2
• /
• pp.91-101
• /
• 2012

Automobile manufacturing consists of body-line, painting-line, and assembly-line. These production lines are disposed in series and go through a flow process, so according to the status of pre & post processing, a suspension happens in a line by a starvation(impossibility of production by insufficient supply) or blocking(impossibility of production by exceed capacity). Therefore, to prevent a loss of production coming from a starvation or blocking, a storage such as WBS or PBS is independently owned and operated. The paper suggests the simulation model of integrated storage which can operate it by integrating each storage performing a role as a buffer of line. Specifically, the paper found the answers about reasonable number of Stacker Crane and AGV(Automatic Guided Vehicle) and suggested a methodology of operation which is available to operate them. Also, it compared an efficiency between a model of current storage and integrated storage through simulation. As a result, it turned out that the model suggested in the paper was more efficient on suspension of painting-line stop than a current storage.

• Journal of Korean Society of Transportation
• /
• v.23 no.6 s.84
• /
• pp.115-125
• /
• 2005

The line planning problem is to determine the origin and destination stations of the lines with their frequencies so as to meet the OD demands. Since the advent of high speed trains, Korea railway is confronted with the urgent difficulty to reconstruct the line configuration with the frequencies of each line and each fleet type so the demands could be newly created as well as satisfied. Furthermore. the existing trains except the high speed trains suffer from a longer traveling time than before. Now, to reduce the passenger traveling time, the trains with the various halting patterns are run in the same line. Therefore, it is necessary to develop a new line planning model to consider the various halting patterns. Most of studies find the frequencies of each lines which meet the link traffic loads or minimum link frequencies. But these are based on the assumption of all stop patterns. Furthermore, it is not easy to include the actual constraints as like the minimum number of stops at a station, the maximum number of stops or a train, etc. We develop the line planning model considering not only the various halting patterns but also the actual constraints which is based on the multicommodity network flow model with the additional constraints.

• Structural Engineering and Mechanics
• /
• v.71 no.3
• /
• pp.291-303
• /
• 2019

In the paper the analysis of natural vibrations of the transmission line with use of spectral elements and the laboratory experiments is performed. The purpose of the investigation is to analyze the natural vibrations of the transmission line and compare with the results obtained in the numerical simulations. Particular attention is paid to the hysteretic and aerodynamic damping analysis. Sensitivity of the wave number is performed for changing of the tension force, as well as for the different damping parameters. The numerical model is made using the Spectral Element Method. In the spectral model, for various parameters of stiffness, damping and tension force, the system response is checked and compared with the results of the accelerations obtained in the measurements. A frequency response functions (FRF) are calculated. The credibility of the model is assessed through a validation process carried out by comparing graphical plots of FRF and time history analysis and numerical values expressing differences in acceleration amplitude (MSG), phase angle differences (PSG) and differences in acceleration and phase angle total (CSG) values. The next aspect constituting the purpose of this paper is to present the wide possibilities of modelling and simulation of slender conductors using the Spectral Element Method. The obtained results show good accuracy in the range of both experimental measurements as well as simulation analysis. The paper emphasizes the ease with which the sensitivity of the conductor and its response to changes in density of spectral mesh division, tensile strength or material damping can be studied.