• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.11 no.1
• /
• pp.396-413
• /
• 2017

Dynamically checking the integrity of software at run-time is always a hot and difficult spot for trusted computing. Control-flow integrity is a basic and important safety property of software integrity. Many classic and emerging security attacks who introduce illegal control-flow to applications can cause unpredictable behaviors of computer-based systems. In this paper, we present a software-based approach to checking violation of control flow integrity at run-time. This paper proposes a high-performance and low-overhead software control flow checking solution, control flow checking at virtual edges (CFCVE). CFCVE assigns a unique signature to each basic block and then inserts a virtual vertex into each edge at compile time. This together with insertion of signature updating instructions and checking instructions into corresponding vertexes and virtual vertexes. Control flow faults can be detected by comparing the run-time signature with the saved one at compile time. Our experimental results show that CFCVE incurs only 10.61% performance overhead on average for several C benchmark programs and the average undetected error rate is only 9.29%. Compared with previous techniques, CFCVE has the characteristics of both high fault coverage and low memory and performance overhead.

• Journal of Advanced Marine Engineering and Technology
• /
• v.31 no.3
• /
• pp.235-242
• /
• 2007

This paper discusses dynamic characteristics of a urea-SCR (Selective Catalytic Reduction) system. The urea flow rate to improve NOx conversion efficiency is generally determined by parameters such as catalyst temperature and space velocity. The urea-SCR system was tested in the various engine operating conditions governing the raw NOx emission levels, space velocity. and SCR catalyst temperature. These experiments include cold-transients to determine catalyst light-off temperature and urea flow rate transients. Likewise. ammonia storage dynamics was also investigated. The cold-transient results indicate the light-off temperature of the catalysts used in these experiments was $200-220^{\circ}C$. The ammonia storage and urea flow rate transients all indicate very slow dynamics (on the order of seconds) which presents control challenges for mobile applications. The results presented in this paper should provide an excellent starting point in developing a functional in-vehicle urea-SCR system.

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 2000.04a
• /
• pp.555-560
• /
• 2000

The modeling and the numerical analysis are done so as to develop the Computer Aided Design program for the design of flow control valve attached to the vane pump. The factors affecting the flow rate characteristics, are analyzed by the experiments and the numerical methods. It is shown that the main factor affecting to the first control flow is the diameter of small rod of the spool, the main factor affecting to the second control flow is the diameter of big rod of the spool, the main factors affecting to the cut off are the main spring constant, the initial displacement of main spring and small diameter of the spool, and the dropping slope characteristics of flow rate are decided by the chamfer of spool and the dynamic characteristics of the spool.

• Proceedings of the IEEK Conference
• /
• 2009.05a
• /
• pp.94-96
• /
• 2009

In this paper, we present the Q-learning method for adaptive traffic signal control on the basis of multi-agent technology. The structure is composed of sixphase agents and one intersection agent. Wireless communication network provides the possibility of the cooperation of agents. As one kind of reinforcement learning, Q-learning is adopted as the algorithm of the control mechanism, which can acquire optical control strategies from delayed reward; furthermore, we adopt dynamic learning method instead of static method, which is more practical. Simulation result indicates that it is more effective than traditional signal system.

• 한국전산유체공학회:학술대회논문집
• /
• 2005.10a
• /
• pp.223-227
• /
• 2005

A PCV valve is a part to control the flow rate of Blowby gas in a PCV system. A PCV system re-burns Blowby gas with fuel in a combustion chamber. Some gas enters to a crankcase room through the gap between piston ring and engine cylinder wall. This gas si called 'Blowby gas'. This gas causes many problems. In environmental view, Blowby gas includes about $25\~35\%$ hydrocarbon{HC) of total generated HC in an automobile. Hydrocarbon is a very harmful pollutant element in our life. In mechanical view, Blowby gas has some reaction with lubricant oil of crankcase room. Then, this causes lubricant oil contamination, crankcase corrosion and a decrease fo engine efficiency. Consequently, Blowby gas must be eliminated from a crankcase room. In this study, we simulated internal flow characteristics in a PCV valve according to spool dynamic behavior using local remeshing method And, we programmed our sub routine to simulate a spool dynamic motion. As results, spool dynamic behavior is periodically oscillated by the relationship between fluid force and elastic force of spring. And its magnitude is linearly increased by the differential pressure between inlet and outlet. Also, as spool is largely moved, flow area is suddenly decreased at orifice. For this reason, flow velocity is rapidly decreased by viscous effect.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.33 no.6
• /
• pp.568-572
• /
• 2009

We present a ternary microfluidic multiplexer unit, capable to address three flow channels using a pair of control lines with two different threshold pressure valves. The previous binary multiplexer unit addresses only two flow channels using a pair of control line with identical threshold pressure valves, thus addressing $2^{n/2}$ flow channels using n control lines. The present ternary multiplexer addressing three flow channels using a pair of control lines, however, is capable to address $3^{n/2}$ flow channels using n control lines with two different threshold pressure valves. In the experimental study, we characterized the threshold pressure and the response time of the valves used in the ternary multiplexer. From the experimental observation, we also verified that the present ternary multiplexer unit could be operated by two equivalent valve operating conditions: the different static pressures and dynamic pressures at different duty ratio. And then, $3{\times}3$ well array stacking ternary multiplexers in serial is addressed in cross and plus patterns, thus demonstrating the individual flow channel addressing capability of the ternary multiplexer. Thus, the present ternary multiplexer reduces the number of control lines for addressing flow channels, achieving the high well control efficiency required for simple and compact microfluidic systems.

• 제어로봇시스템학회:학술대회논문집
• /
• 1991.10a
• /
• pp.974-978
• /
• 1991

Electro-pneumatic valve is an electro-mechanical device which converts electric signal into pneumatic flow mu or pressure. A measurement of dynamic response time is very important to evaluate valve performance. Dynamic response time of electro-pneumatic valve has a variation accordance with valve types, operating way and test standard. In this study, automatic measurement system of dynamic response time is composed based on test condition of dynamic response time test standard(CETOP, JIS). Also, in this study test pressure variation characteristics accordance with variation of solenoid excitation power, and we developed dynamic response measurement system enable to compare of and analyze these two characteristics.

• Journal of Institute of Control, Robotics and Systems
• /
• v.18 no.3
• /
• pp.258-266
• /
• 2012

This paper describes a biped walking algorithm for a hydraulic humanoid robot on inclined floors. To realize stable and robust biped walking, the walking algorithm was divided into five control strategies. The first is a joint position control strategy. This strategy is for tracking desired joint position trajectories with a gain switching. The second is a multi-model based ZMP (Zero Moment Point) control strategy for dynamic balance. The third is a walking pattern flow control strategy for smooth transition from step to step. The fourth is an ankle compliance control, which increases the dynamic stability at the moment of floor contact. The last is an upright pose control strategy for robust walking on an inclined floor. All strategies are based on simple pendulum models and include practical sensory feedback in order to implement the strategies on a physical robot. Finally, the performance of the control strategies are evaluated and verified through dynamic simulations of a hydraulic humanoid on level and inclined floors.

• Journal of Power System Engineering
• /
• v.12 no.1
• /
• pp.72-79
• /
• 2008

This paper designs a looper-tension controller for mass-flow stabilization in hot strip finishing mills. By Newton's 2nd law and Hooke's law, nonlinear dynamic equations on the looper-tension system are firstly derived, and linearized by a linearization algorithm using a Taylor's series expansion. Moreover, a tension calculation model is obtained from the nonlinear dynamic equations which is called as a soft sensor of strip tension between two neighboring stands. Next, a looper-tension servo controller is designed by an ILQ(Inverse Linear Quadratic optimal control) algorithm, and it is combined with a minimal disturbance observer which to attenuate speed disturbances by AGC and operator interventions, etc.. Finally, it is shown from by a computer simulation that the proposed ILQ controller with a disturbance observer is very effective in stabilizing the strip mass-flow under some disturbances, moreover it has a good command following performance.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1992.10a
• /
• pp.249-254
• /
• 1992

Hydrostatic Bearings have been applied to ultra high precision machine tools and precision instruments, because of their low friction characteristic, high load carrying capacity and high moving accuracy at all range of speed. In regard to realizing the Hydrostatic Bearing, various restrictors such as capillary, orifice, diaphram valve, spool valve, and etc can be used. However, their stiffness and flexibility are not sufficient in practical use for ultra precision machine tool elements. In this study dynamic equations were derived and the dynamic characteristics were simulated for both orifice and flow control servo valve. Simulation was carried out on the condition that static and sinusoidal dynamic loads were applied to the table of CNC jig Boring machine. The simulation results indicate the improvement of the performance of the Bearing system when flow control servo valve has been used as restrictor of Hydrostatic Bearing.