• 한국지능시스템학회논문지
• /
• 제21권1호
• /
• pp.120-127
• /
• 2011

체크포인트 기법은 실시간 시스템의 내고장성을 구현하는 대표적인 방법이다. 본 논문에서는 확률 최적화를 이용하여 체크 포인트 구간을 결정하는 기법을 제시한다. 본 논문에서 다루는 실시간 시스템은 멀티 태스크(multi-task)들로 구성되며 Poisson 분포를 가지는 과도 고장이 발생한다. 또 멀티 태스크들은 비선점형 Rate Monotonic 알고리듬으로 스케줄링된다. 이번 연구에서는 멀티 태스크들의 수행 성공 확률을 체크포인트 삽입 개수로 표현하는 최적화 문제를 설정하고 이 확률값을 최대로 만드는 체크포인트 개수와 구간 길이를 구한다. 제안된 확률 계산 과정은 체크포인트 재수행 횟수에 대한 비선점형 RM 알고리듬의 스케줄링 가능성을 판별하는 방법도 포함한다. 사례 연구를 통해서 제안된 기법의 적용가능성을 입증한다.

• 한국전산유체공학회:학술대회논문집
• /
• 한국전산유체공학회 2005년도 추계 학술대회논문집
• /
• 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
• /
• 제27권4호
• /
• pp.463-469
• /
• 1995

궤환효과의 지배를 받는 점동특성시스템은 특정 운전조건에서 여러 개의 정상상태해를 가질 수 있다. 점동특성시스템의 다중해 및 비선형시스템의 일반적인 특성과 관련된 이론적 연구를 통하여, 점동특성시스템이 주어진 외부 입력 반응도에 대해 다중의 정상상태해를 갖기 위한 필요충분조건을 얻었다. 즉 정상상태에서의 궤환반응도가 제환변수의 어떤 값에 대해서 'Strictly Monotoruc'이 아니면, 점동특성시스템은 그 값에 대응되는 운전영역에서 다중의 정상상태해를 갖는다. 반면 정상상태에서의 궤환반응도가 궤환변수의 모든 값에 대해서 'Strictly Monotonic' 이면, 점동특성시스템은 항상 하나의 정상상태해를 갖는다.

• Bulletin of the Korean Chemical Society
• /
• 제35권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.

• 한국통신학회:학술대회논문집
• /
• 한국통신학회 1987년도 춘계학술발표회 논문집
• /
• 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.

• 대한전자공학회논문지
• /
• 제25권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.

• 한국콘크리트학회:학술대회논문집
• /
• 한국콘크리트학회 1995년도 봄 학술발표회 논문집
• /
• 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년도 ICCAS
• /
• 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
• /
• 제32권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.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제17권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.