• Journal of the Korean Institute of Intelligent Systems
• /
• v.21 no.1
• /
• pp.120-127
• /
• 2011

Checkpointing is one of common methods of realizing fault-tolerance for real-time systems. This paper presents a scheme to determine checkpoint intervals using probabilistic optimization. The considered real-time systems comprises multiple tasks in which transient faults can happen with a Poisson distribution. Also, multi-tasks are scheduled by the non-preemptive Rate Monotonic (RM) algorithm. In this paper, we present an optimization problem where the probability of task completion is described by checkpoint numbers. The solution to this problem is the optimal set of checkpoint numbers and intervals that maximize the probability. The probability computation includes schedulability test for the non-preemptive RM algorithm with respect to given numbers of checkpoint re-execution. A case study is given to show the applicability of the proposed scheme.

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

We calculate the coordinates of an axisymmetric nozzle with a central body. This nozzle ensures a transonic flow with a plane sound surface, which is orthogonal to the symmetry axis and has a wall kink at the sonic point, The Chaplygin transformation in the subsonic part of the flow leads the Dirichlet problem for a system of nonlinear equations. The definition domain of the solution in the velocity-hodograph plane is taken as a rectangle. This enables one to obtain the nozzle with a monotonic distribution of velocity along its subsonic part. In the nonlinear differential equation, the linear Chaplygin operator for plane flows is separated, which allows the iterative calculation of the solution. The supersonic part of the nozzle is calculated under the assumption that the flow at the nozzle exit is uniform and parallel to the symmetry axis; i.e., the supersonic jet outflows to the submerged space with the same pressure. The calculation is performed by the characteristic method. The exact solution of Tricomi equation for near-sonic flows with the straight sonic line is used to 'move away' the sound plane. The velocity distribution alone the supersonic part of the nozzle is also monotonic, which ensures the absence of the boundary-layer separation and, therefore, the adequacy of the ideal-gas model. calculations show that the flow in the supersonic part of the nozzle is continuous (compression shocks are absent)

• Nuclear Engineering and Technology
• /
• v.27 no.4
• /
• pp.463-469
• /
• 1995

The point-kinetics reactor system which is subject to feedback effects may have multiple steady-state solutions for some operating conditions. A necessary and sufficient condition for multiple steady-state solutions of the point-kinetics reactor feedback system for an external input reactivity is obtained through their theoretical approach. If and only if the steady-state feedback reactivity of the reactor system is not strictly monotonic on some values of the feedback variables, then the reactor system has multiple steady-state solutions for the equilibrium operating conditions corresponding to the values of the feedback variables. Also, if and only if the steady--state feedback reactivity is strictly monotonic on all the feedback variables, then the reactor system has only one steady-state solution for all the operating conditions.

• Bulletin of the Korean Chemical Society
• /
• v.35 no.8
• /
• pp.2505-2511
• /
• 2014

Indium oxide nanocrystals ($In_2O_3$ NCs) with sizes of 5.5 nm-10 nm were synthesized by hot injection of the mixture precursors, indium acetate and oleic acid, into alcohol solution (1-octadecanol and 1-octadecence mixture). Field emission transmission electron microscopy (FE-TEM), High resolution X-Ray diffraction (X-ray), Nuclear magnetic resonance (NMR), and Fourier transform infrared spectroscopy (FT-IR) were employed to investigate the size, surface molecular structure, and crystallinity of the synthesized $In_2O_3$ NCs. When covered by oleic acid as a capping group, the $In_2O_3$ NCs had a high crystallinity with a cubic structure, demonstrating a narrow size distribution. A high mobility of $2.51cm^2/V{\cdot}s$ and an on/off current ratio of about $1.0{\times}10^3$ were observed with an $In_2O_3$ NCs thin film transistor (TFT) device, where the channel layer of $In_2O_3$ NCs thin films were formed by a solution process of spin coating, cured at a relatively low temperature, $350^{\circ}C$. A size-dependent, non-monotonic trend on electron mobility was distinctly observed: the electron mobility increased from $0.43cm^2/V{\cdot}s$ for NCs with a 5.5 nm diameter to $2.51cm^2/V{\cdot}s$ for NCs with a diameter of 7.1 nm, and then decreased for NCs larger than 7.1 nm. This phenomenon is clearly explained by the combination of a smaller number of hops, a decrease in charging energy, and a decrease in electronic coupling with the increasing NC size, where the crossover diameter is estimated to be 7.1 nm. The decrease in electronic coupling proved to be the decisive factor giving rise to the decrease in the mobility associated with increasing size in the larger NCs above the crossover diameter.

• Proceedings of the Korean Institute of Communication Sciences Conference
• /
• 1987.04a
• /
• pp.184-187
• /
• 1987

The method of Conjugate Gradient(C.G.M) is applied to the solution of current distribution from body of revolution (B.O.R).Using the C.G.M it is possible to analyze electrically large arbtrarily oriented B.O.R. The fundamental differences between C.G.M and moment method are outlined. This method converges for any initial guess and this techniqe gurantees a monotonic convergence. Numerical results are presented for electromagnetic case which show good agreement with moment solution.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.25 no.2
• /
• pp.130-138
• /
• 1988

The method of conjugate gradient (C.G.M.) is applied to the solution of current distribution from body of revolution(B.O.R.). Using the C.G.M., it is possible to analyze electrically large arbitratily oriented B.O.R.. The fundamental differencess between C.G.M. and moment are outlined. This method converge for any initial guess, and this techniqe guarantees a monotonic convegence. Numerical resulsts are presented for electromagnetic case which shows good agreements with moment solution.

• Proceedings of the Korea Concrete Institute Conference
• /
• 1995.04a
• /
• pp.325-330
• /
• 1995

Three types of model concrete with different mix ratios for 1/10 scale reinforced concrete model were made and tested to find the best solution for the simulation of mechanical characteristics of prototype concrete. Scaled reinforcing materials in diameter(D1.8) having similar con-figuration and mechanical properties with commercial deformed bars(D19) were prepared for 1/10 scale model tests of reinforced concrete structures. Two types of model test using D1.8 model reinforcing bars and model concrete, monotonic simple beam test and cyclic cantilever beam test, were performed to ensure and check the similitude of bond behavior between 1/10 scale model and prototype. The test results showed that the flexural behavior of 1/10 scale models can be simulated with accuracy enough for practical use in monotonic and cyclic loading test.

• 제어로봇시스템학회:학술대회논문집
• /
• 2001.10a
• /
• pp.60.3-60
• /
• 2001

Usually the static scheduling algorithms such as DMS(Deadline Monotonic Scheduling) or RMS(Rate Monotonic Scheduling) are used for CAN scheduling due to its ease with implementation. However, due to their inherently low utilization of network media, some dynamic scheduling approaches have been studied to enhance the utilization. In case of dynamic scheduling algorithms, two considerations are needed. The one is a priority inversion due to rough deadline encoding into stricted arbitration fields of CAN. The other is an arbitration delay due to the non-preemptive feature of CAN. In this paper, an extended algorithm is proposed from an existing EDS(Earliest Deadline Scheduling) approach of CAN scheduling algorithm having a solution to the priority inverstion ....

• Geomechanics and Engineering
• /
• v.32 no.4
• /
• pp.397-409
• /
• 2023

This study examines two traditional approaches (non-linear elastic and elasto-plastic) in association with 2D and 3D FEM analyses of a box-section pile embedded in sand. A particular emphasis is placed on stress singularities concerning both reentrant corners of the pile section and the resulting tension zones. From the experience gained in this study, non-linear elastic soil models are less restrictive when one considers stress singularities and their possible effects on convergence of the solution. At least for monotonic loading, when compared with field tests, non-linear elastic models yield better results than the plasticity ones. On the other hand, although elasto-plastic models are not limited to monotonic loading, they are much more sensitive to stress singularities. For this reason, a spherical elastic region is necessary at the pile tip to ensure convergence. Without this region, one must artificially impose an apparent cohesion to limit the tension stresses within a sand medium.

• The Pure and Applied Mathematics
• /
• v.17 no.2
• /
• pp.175-183
• /
• 2010

Using Darbo's fixed point theorem, we establish the existence of monotone solutions for a nonlinear quadratic integral equation of Volterra type in the Banach space of real functions defined and continuous on a bounded and closed interval.