• Journal of the Semiconductor & Display Technology
• /
• v.9 no.4
• /
• pp.45-50
• /
• 2010

This paper explores a new approach for modeling of decision-making problems that involve uncertain, time-dependent and sequence-dependent processes which can be applied to semiconductor industry. In the proposed approach, which is based on probability theory, approximate sample paths are required to be specified by probability and statistic characteristics. Completely specified sample paths are seen to be elementary and fundamental outcomes of the related experiment. The proposed approach is suitable for modeling real processes more accurately. A case study is applied to a single item production planning problem with continuous and uncertain demand and the solution obtained by the approximate path specification method shows less computational efforts and practically desirable features. The application possibility and general plan of the proposed approach in semiconductor manufacturing process is also described in the paper.

• Proceedings of the IEEK Conference
• /
• 2000.07a
• /
• pp.410-413
• /
• 2000

This paper suggests a methodology in which control signals for high-level synthesis are generated from SDL specification. SDL is based on EFSM(Extended Finite State Machine) model. Data path and control part are partitioned into representing data operations in the from of scheduled data flow graph and process behavior of an SDL code in forms of an abstract FSM. Resource allocation is performed based on the suggested architecture model and local control signals to drive allocated functional blocks are incorporated into an abstract FSM extracted from an SDL process specification. Data path and global controller acquired through suggested methodology are combined into structural VHDL representation and correctness of behavior for final circuit is verified through waveform simulation.

• The Transactions of the Korea Information Processing Society
• /
• v.2 no.2
• /
• pp.254-263
• /
• 1995

In this paper we discuss Moore and Mealy-model Time-stationary control schemes of pipelined data paths of Application Specific, Integrated Circuits (ASICs). We developed a method to synthesize both a Moore and a Mealy-style Finite State Machine(FSM) controller specifications given a pipelined data path with conditional branches. The control synthesis task consists of the generation of control specification and the FSM synthesis. The control specification procedure generates a FSM specification in the form of a state table. The different partitioning schemes are applied to each FSM controller so as to minimize the total area. Experimental results show the characteristics of the two different control styles and the effects of these two models on cost and performance.

• The KIPS Transactions:PartD
• /
• v.14D no.2
• /
• pp.191-202
• /
• 2007

In general, test data generation techniques require the specification of an entire program path for automated test data generation. This paper presents a new way for generating test data automatically een without specifying a program path completely. For the ends, this paper presents a technique for transforming a program under test into Alloy which is the first order relational logic and then producing test data via Alloy analyzer. The proposed method reduces the burden of selecting a program path and also makes it easy to generate test data according to various test adequacy criteria. This paper illustrates the proposed method through simple, but illustrative examples.

• Journal of Korea Multimedia Society
• /
• v.2 no.2
• /
• pp.200-216
• /
• 1999

In this paper, we propose a BTPN (Beta-distributed Timed Petri Net) model which is not only an effective multimedia synchronization and authoring specification model, but also a direct control model for playout of a title. Methods of specification of relationships among all media objects in a title by using the BTPN structure and language, as well as methods of analysis of the BTPN by means of a Remaining Timed Reachability Graph and Timing diagram, are proposed. A concept of critical object path, coming from PERT/CPM, is useful for modeling the uncertainty of playout of a multimedia title and editing of title.

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.12 no.10
• /
• pp.758-765
• /
• 2002

KITECH and ODS performed a study of internal and external noise prediction of the Korean high speed prototype test train(HSR 350X). The object of this study was 3 kinds of cars, trailer car(TT2), motorized car(TMI ) and power car(TPI) and the predicted noise was for the two different driving speeds in free field and tunnel conditions. Data of carbody design and noise sources were delivered from manufactures. Some of noise sources which were not available in the project team, were chosen by experiences of ODS. Internal noise level of each car was predicted for two cases i.e, at 300 km/h and 350 km/h. In addition sound transmission path and dominant noise sources were also investigated for each section of the car, which is circular shell typed part of whole carbody. In case of TT2, the dominating sound transmission path is the (floor in terms of structure-borne noise and air-borne noise. The main noise sources are structure-borne noise from the yaw-damper and air-borne noise from the wheel/rail contact, whereas the dominating sound transmission path of TMI are floor and sidewall below the window in terms of structure-borne noise. The main noise sources of TMI are structure-borne noise from motor/gear unit and the yaw-damper in the free field, and air-borne noise from the wheel/rail contact and structure-borne noise from motor/gear unit in the tunnel. Through the external noise prediction for the KHST test train formation, the noise form the wheel/rail contact is estimated as one of the major sources. In addition, the noise specification of sub-component was proposed for managing each sub-surpplier to reach the KHST noise requirement. The specification provide the sound power of machinery part and transmission loss of component of carbody structure. The predicted noise level in each case exceeded the required limit. Through this study, the noise characteristics of the test train were investigated by simulation, and then the actual test will be performed in near future. Both measured and calculated data will be compared and further work for noise reduction will be continued.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2002.05a
• /
• pp.917-923
• /
• 2002

KITECH and ODS performed a study of internal and external noise prediction of the KHST test train. The object of this study was 3 kind of cars; trailer car(TT2), motorized car(TM1) and power car(TP1) and the predicted noise was calculated for the two different driving speeds in free field and tunnel conditions. Data of carbody design and noise sources were delivered from each manufactures. Some of noise sources which were not available in project team, were chosen by experiences of ODS. Internal noise level of each car were predicted for two cases i.e, at 300 km/h and 350 km/h. In addition sound transmission path and dominant noise sources were also investigated of each section of car, which is circular shell typed part of whole carbody. In case of TT2, the dominating sound transmission path is floor in terms or structure-borne noise and air-borne noise. The main noise sources are structure-borne noise from the yaw-damper and air-borne noise from the wheel/rail contact, whereas the dominating sound transmission path of TM1 are floor and sidewall below the window in terms of structure-borne noise. The main noise sources of TM1 are structure-borne noise from motor/gear unit and the yaw-damper in the free field, and air-borne noise from the wheel/rail contact and structure-borne noise from motor/gear unit in the tunnel. Through the external noise prediction for the KHST test train formation, the noise form the wheel/rail contact is estimated as one of the major sources. In addition, the noise specification of sub-component was proposed for managing each sub-surpplier to reach the KHST noise requirement. The specification provide the sound power of machinery part and transmission loss of component of carbody structure. The predicted noise level in each case exceeded the required limit. Through this study, the noise characteristics of the test train were investigated by simulation, and then the actual test will be performed in near future. Both measured and calculated data will be compared and further work for noise reduction will be continued.

• Journal of Auto-vehicle Safety Association
• /
• v.12 no.2
• /
• pp.27-32
• /
• 2020

This paper presents steering system requirements to ensure the stabilized lateral control of autonomous driving vehicles. The two main objectives of a lateral controller in autonomous vehicles are maintenance of vehicle stability and tracking of the desired path. Even if the desired steering angle is immediately determined by the upper level controller, the overall controller performance is greatly influenced by the specification of steering system actuators. Since one of the major inescapable traits that affects controller performance is the time delay of the steering actuator, our work is mainly focused on finding adequate parameters of high level control algorithm to compensate these response characteristics and guarantee vehicle stability. Actual vehicle steering angle response was obtained with Electric Power Steering (EPS) actuator test subject to various longitudinal velocity. Steering input and output response analysis was performed via MATLAB system identification toolbox. The use of system identification is advantageous since the transfer function of the system is conveniently obtained compared with methods that require actual mathematical modeling of the system. Simulation results of full vehicle model suggest that the obtained tuning parameter yields reduced oscillation and lateral error compared with other cases, thus enhancing path tracking performance.

• Journal of the Korean Society for Precision Engineering
• /
• v.13 no.10
• /
• pp.71-77
• /
• 1996

This paper describes the development of on the machine measuring(OMM) system which can directlry measure the three dimensional machined dimensilnal accuracy using scanning probe in milling machine. Two algolithms, continuous path(CP) measurement using UC program and CAD data assisted point to point(PTP) measurement, were developed regarding specification of scanning probe. The OMM system was contructed to verify the developed system suing the proposed algorithm, and actually measured three kinds of machined TV shadow mask molds. The developed system was evaluated it's repeatability and compared with the current measurement system of CMM(Coording Measuring Machine) in terms of relative accuracy and time reduction and productivity increase.

• Proceedings of the KSME Conference
• /
• 2001.11a
• /
• pp.734-739
• /
• 2001

In this paper, we develop a six-axes machining center tool(MCT) and CAD/CAM system. The MCT consists of two mechanical parts, i.e., a X-Y-Z Cartesian coordinate typed MCT and a parallel-typed tilting table. Kinematics and singularity are accomplished to design the parallel-typed tilting table, and CAD/CAM system is developed for the six-axes MCT, which requires the commands of position as well as orientation for machining of complex shape. The CAD/CAM system has a tool path generator, a NC code generator and a graphic simulator. This paper designs the parallel-typed tilting table to meet the desired specification and presents the results of tool path, NC code and graphic simulation.