• Proceedings of the Korea Information Processing Society Conference
• /
• 2014.04a
• /
• pp.357-359
• /
• 2014

그룹키란 그룹 내의 사용자들이 암호화와 복호화를 위하여 공유하는 비밀키를 의미하며, 그룹키는 Backward secrecy와 Forward secrecy를 모두 제공하여야 한다. Backward secrecy는 새로운 그룹 사용자가 과거의 데이터를 읽지 못하도록 하는 것이고, Forward secrecy는 탈퇴한 사용자가 이후의 데이터를 읽지 못하도록 하는 것이다. 본 연구에서는 해쉬체인을 사용하여 네트워크 환경에서 Backward secrecy와 Forward secrecy를 효율적으로 제공하는 기법을 제안한다.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.23 no.3
• /
• pp.179-202
• /
• 2019

This paper presents second derivative generalized extended backward differentiation formulas (SDGEBDFs) based on the second derivative linear multi-step formulas of Cash [1]. This class of second derivative linear multistep formulas is implemented as boundary value methods on stiff problems. The order, error constant and the linear stability properties of the new methods are discussed.

• Journal of applied mathematics & informatics
• /
• v.39 no.3_4
• /
• pp.443-454
• /
• 2021

In this paper, we discuss the backward extensions of Bergman shifts W_α(m), where $${\alpha}(m)\;:\;\sqrt{\frac{m}{m+1}},\;{\sqrt{\frac{m+1}{m+2}}},\;{\cdots},\;(m{\in}\mathbb{N})$$. We obtained a complete description of the n-hynonormality for backward one, two and three step extensions.

• Journal of ILASS-Korea
• /
• v.1 no.2
• /
• pp.66-73
• /
• 1996

The present study investigates experimentally the characteristics of liquid jet, which is, the spray flow in the normal direction of the air stream under the flow conditions of air velocity $110\sim125m/s$. The present study adopts with the flow visualization technique using a short duration light bulb and the image processing analyse with CCD camera. Two types of injector were used: one is a flat plate type, and the other is backward facing step type, which height are 5, 8, 10mm. Dispersion of liquid jet can be represented by gray level of CCD camera. In the upstream of liquid jet, the backward facing step shows better liquid jet penetration. However, in the downstream. mean droplet size for backward facing step injector is smaller than that for flat plate injector

• Journal of Advanced Marine Engineering and Technology
• /
• v.25 no.1
• /
• pp.124-130
• /
• 2001

This paper presents a methodology on automation of a trailer type vehicle which consists of two parts: a tractor and a trailer. Backward moving and parking control is very important to automate this type of vehicle. It is difficult to control the motion such a trailer vehicle whose dynamics in non-holonomic. Therefore, in this paper, the modeling and parameter estimation of the system using a RCGA(real-coded genetic algorithm) is proposed and a backward path tracking control algorithm is then obtained. The simulation results verify the effectiveness of the proposed method.

• Journal of the Korean Society for Precision Engineering
• /
• v.17 no.2
• /
• pp.144-150
• /
• 2000

In this paper, the formation of a corner cavity in the final stage of axisymmetric backward extrusion process is studied by means of upper bound analysis using kinematically admissible velocity. The quantitative relationships between corner cavity formation and process parameters are studied. And analytical results are compared with those of experiment to which plasticine is used. It is found that the analytical results agree well with experimental one. In addition, to restrict the formation of a corner cavity, driven container is applied to backward extrusion and the results are compared with those of FEM. The critical thickness of the bottom of the billet decreases with increase in reduction of area, and increases with decrease in friction. To prevent the formation of corner cavity, the concept of moving container was applied. Throughout this process, the occurrence of a corner cavity is delayed and forming limit area is enlarged.

• Proceedings of the Korean Institute of Industrial Safety Conference
• /
• 1998.05a
• /
• pp.307-312
• /
• 1998

In forklift operations, awkward postures due to backward driving may put drivers to the risk of CTD or low back pain. In this research, 6 forklift drivers were surveyed with OWAS for objective posture evaluation and bodymaps for self-report evaluation. The backward driving happened more frequently than forward driving as expected, and, as work hours passed by, the drivers naturally tended to assume the easier work postures in inverse proportion to the frequency of the backward operations. According to the results of OWAS, 60 % of the work postures in the forklift operations belonged to the category II, III, and IV classified serious. Especially, in the backward driving, the postures with the neck twisted over $45^{\circ}$ occupied 82.4 %. In addition, discomfort on the neck, left shoulder, and low back was frequently reported in the self-reports.

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.2
• /
• pp.483-504
• /
• 2015

This paper is devoted to solving a multidimensional backward stochastic differential equation with a general time interval, where the generator is uniformly continuous in (y, z) non-uniformly with respect to t. By establishing some results on deterministic backward differential equations with general time intervals, and by virtue of Girsanov's theorem and convolution technique, we prove a new existence and uniqueness result for solutions of this kind of backward stochastic differential equations, which extends the results of [8] and [6] to the general time interval case.

• Proceedings of the Korean Society of Marine Engineers Conference
• /
• 2000.05a
• /
• pp.11-15
• /
• 2000

This paper provides a basic study on automatic of a trailer type vehicle which consists of two parts such as a tractor and a trailer Backward moving and parking control is very important to automate this type of vehicle. However it is very difficult to control such their motion since a trailer type vehicle is a non-holonomic system. Therefore in this paper we propose the backward path tracking control algorithm for a trailer type vehicle. And also this paper presents the results of simulation to verify the effectiveness of the proposed control algorithm.

• The Journal of Korea Robotics Society
• /
• v.5 no.4
• /
• pp.286-293
• /
• 2010

The trailer system offers efficiency of transportation capability. However, it is difficult to control the backward motion. It is an open loop unstable problem. To solve this problem, we are proposed the driver assistance system. Driver assistance system assists a driver to control the backward motion of trailer system as if forward motion. A driver only secure the rear view of last passive trailer, and select the control input to drive the last passive trailer. The driver assistance system converts the control input of the driver into velocity and steering angle of the vehicle using the inverse kinematics. It is possible by electronic control input devices and the rear view camera. Effectiveness of driving assistance system is verified by the simulation and the experiments.