• 제어로봇시스템학회논문지
• /
• 제2권1호
• /
• pp.53-59
• /
• 1996

An automatic verification method has been studied to determine the safety and operability of programmable logic controller (PLC) based systems. For the systematic and efficient verification, we have developed a conversion method from relay ladder logic (RLL) to the verification system description. RLL is a common representation used to document PLC programs for the sequential logic of the system such as the safety interlocks and the startup/shutdown procedures. Once the modules are developed, complex RLLs can be represented by the combination of modules. As a result we can verify complex PLC systems using the verification method including RLL modules. The developed modules are used to verify alarm systems and show that the method is valid.

• 한국군사과학기술학회지
• /
• 제16권3호
• /
• pp.348-357
• /
• 2013

This work describes an approach that contributes to derive from mission to critical functions of the attack helicopter under future battle space environment. An existing mission of the attack helicopter is limited to the only shooter oriented functions. In the future environment, mission and its functions of the helicopter might be much expanded. The functions should be derived by the top down approach based on systems engineering approach. In this point of view, this work describes network based future battle environment. From this environment, the missions of the attack helicopter are identified and optimized functions are derived through sequential procedures like from missions to tasks, tasks to activities, and activities to functions. The selected activities are obtained from the tasks using QFD. The weighting scores of the QFD are calculated by the AHP computational procedure. Finally the critical functions are presented through the similar procedure.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2007년도 춘계학술대회A
• /
• pp.343-348
• /
• 2007

Molecular dynamics study of thermal NIL (Nano Imprint Lithography) process is performed to examine stamp-resist interactions. A layered structure consists of Ni stamp, poly-(methylmethacrylate) thin film resist and Si substrate was constructed for isothermal ensemble simulations. Imposing confined periodicity to the layered unit-cell, sequential movement of stamp followed by NVT simulation was implemented in accordance with the real NIL process. Both vdW and electrostatic potentials were considered in all non-bond interactions and resultant interaction energy between stamp and PMMA resist was monitored during stamping and releasing procedures. As a result, the stamp-resist interaction energy shows repulsive and adhesive characteristics in indentation and release respectively and irregular atomic concentration near the patterned layer were observed. Also, the spring back and rearrangement of PMMA molecules were analyzed in releasing process.

• Asia pacific journal of information systems
• /
• 제12권3호
• /
• pp.71-88
• /
• 2002

In this paper, intelligent marketing and merchandising methods utilizing data mining and Web mining techniques are proposed for online retailers to survive and succeed in gaining competitive advantage in a highly competitive environment. The first part of this paper explains the procedures of one-to-one marketing based on customer relationship management(CRM) techniques and personalized recommendation lists generation. The second part illustrates Web merchandising methods utilizing data mining techniques, such as association and sequential pattern mining. We expect that our Web marketing and merchandising methods will both provide a currently operating Internet shopping mall with more selling opportunities and give more useful product information to customers.

• 한국지하수토양환경학회:학술대회논문집
• /
• 한국지하수토양환경학회 2003년도 총회 및 춘계학술발표회
• /
• pp.372-378
• /
• 2003

This study investigates the fractional composition and the leaching characteristics of heavy metals in polluted soils due to mining activities. The fractionated composition of heavy metals is classified into five fractions, adsorbed, carbonate, reducible, organic and residual fraction. The status of humic substances in mine wastes of most sites are polyhumic except tailing from Sangdong mine. According to the sequential extraction procedures (SEPs), leaching probabilities of Cd in coal wastes and tailing are relatively low due to high percentage of residual fraction. 46.4% of Ni in tailings from Sangdong mine is probably leached under oxidized environment, and 39.4% of Cu in these tailings is readily extracted under strongly oxidized environment by organic fraction. According to leaching condition of pH 3.0 and pH 5.6, the amount of heavy metals leached out of coal wastes and tailing increases to 1/2 hours. At pH 3.0 and pH 5.6, concentration of Ni in tailing increases up three times of the initial value. Heavy metals released from coal wastes and tailing were not influenced significantly by leaching time.

• 자동차안전학회지
• /
• 제8권3호
• /
• pp.16-21
• /
• 2016

As motorcycles are getting more widely used recently, motorcycle accidents are gradually increased every year. Although most accidents are caused by human factors, the importance of motor vehicle safety standards cannot be underestimated indeed. A variety of regulations related to motorcycle safety have been issued in many countries such as EU, U.S., and Australia, etc. In order to harmonize the international safety standards, it is necessary to develop or enhance the Korean Motor Vehicle Safety Standards (KMVSS) for motorcycles. In this study, motorcycle safety standards for an exterior rear-view mirror and a tire are investigated. Actual test procedures are expected in sequential studies according to the results provided herein. Also, the findings in this paper can be utilized to ensure the KMVSS for a safer driving.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2003년도 가을 학술발표회 논문집
• /
• pp.153-160
• /
• 2003

The objective of optimal placement of dampers for a structure is to maximize the effective-ness of the vibration control with the same number of dampers. While many optimal placement methods of linear viscous dampers have been proposed and used, there are only a few methods for MR dampers. Here some optimal location indices for M dampers are proposed, which are similar to those for linear viscous dampers and show how large the structural responses on each floor are. Every time an additional MR damper is implemented, the optimal location index on each floor is measured, and then the next damper is installed on the floor with the maximum location index. In these sequential procedures, the peak interstory drift, the peak interstory velocity and the absolute acceleration of each floor are selected as the optimal location indeices. Four different earthquakes with various scales are loaded to the 20-story nonlinear benchmark building model (Otori et al. 2000, 2002). Passive On/on algorithms are used in order to represent the control algorithm of M dampers.

• 한국지진공학회:학술대회논문집
• /
• 한국지진공학회 2003년도 추계 학술발표회논문집
• /
• pp.467-472
• /
• 2003

The objective of optimal placement of dampers for a structure is to maximize the effectiveness of the vibration control with the same number of dampers. While many optimal placement methods of linear viscous dampers have been proposed and used, there are only a few methods for MR dampers. Here some optimal location indices for MR dampers are proposed, which are similar to those for linear viscous dampers and show how large the structural responses on each floor we. Every time an additional MR damper is implemented, the optimal location index on each floor is measured, and then the next damper is installed on the floor with the maximum location index. In these sequential procedures, the peak interstory drift, the peak interstory velocity and the absolute acceleration of each floor are selected as the optimal location indeices. Four different earthquakes with various scales are loaded to the 20-story nonlinear benchmark building model (Otori et at. 2000, 2002). Passive On/Off algorithms are used in order to represent the control algorithm of MR dampers.

• 산업경영시스템학회지
• /
• 제15권25호
• /
• pp.97-101
• /
• 1992

This paper proposes a new procedures for assessing the influence of individual or groups of cases when any regressors are included. At first, various influence measures pickout influential cases when one regress-or is deleted. Next find influential subsets by using heuristic approach and perform group deletion. Retaining or removing any regressors may depend on the presence or absence of one or few cases. Then, we can identify the interrelationships that exist among regressors and cases and examine their impact on the fitted regression equation. We conclude with an example using fuel consumption data.

• Archives of Plastic Surgery
• /
• 제46권2호
• /
• pp.176-180
• /
• 2019

Post-traumatic soft tissue defects sometimes require sequential flap coverage to achieve complete healing. In the era of propeller flaps, which were developed to reduce donor site morbidity, Feng et al. introduced the concept of the free-style puzzle flap, in which a previously harvested flap becomes its own donor site by recycling the perforator. However, when a perforator cannot be found with a Doppler device, we suggest performing a new type of flap, the flip-flap puzzle flap, which combines two concepts: the free-style puzzle flap and the flip-flap flap described by Voche et al. in the 1990s. We present the cases of three patients who achieved complete healing through this procedure.