• 대한수학회보
• /
• 제46권4호
• /
• pp.771-787
• /
• 2009

We use an idea of linear representations of the symmetric group to reduce the number of communication rounds in the verification protocol, proposed in Crypto 2005 by Peng et al., of a shuffling. We assume Paillier encryption scheme with which we can apply some known zero-knowledge proofs following the same line of approaches of Peng et al. Incidence matrices of 1-subsets and 2-subsets of a finite set is intensively used for the implementation, and the idea of $\lambda$-designs is employed for the improvement of the computational complexity.

• 설비공학논문집
• /
• 제10권2호
• /
• pp.180-192
• /
• 1998

Enthalpy transport in a pulse tube was investigated by two-dimensional analysis of mass, momentum and energy equations assuming that the axial temperature gradient in the pulse tube is constant. Time-averaged second-order conservation equations of mass, momentum and energy were used to show the existence of steady mass streaming and enthalpy streaming. Effects of axial temperature gradient, velocity amplitude ratio and heat transfer between the gas and the wall on the steady mass streaming and enthalpy streaming were shown. Enthalpy loss due to the steady mass streaming is zero for basic and orifice pulse tube refrigerators, but it is proportional to the axial temperature gradient and steady mass flow rate through a pulse tube for double inlet pulse tube refrigerators.

• Journal of Electrochemical Science and Technology
• /
• 제8권3호
• /
• pp.244-249
• /
• 2017

This paper presents the results of an investigation into the isoamperic point of cyclic voltammograms, which is defined as the singular point where the voltammograms of various scan rates converge. The origin of the unique point is first considered from a theoretical perspective by formulating the voltammetric curves as a system of linear equations, the solution of which indicates that a trivial solution is only available at the potential at which the net current is zero during the reverse potential scan. In addition, by way of a mathematical formulation, it was also shown that the isoamperic point is dependent on the switching potential of the potential scanning. To validate these findings, theoretical and practical cyclic voltammmograms were studied using finite-element based digital simulations and 3-electrode cell experiments. The new understanding of the nature of the isoamperic point provides an opportunity to measure the charge transfer effects without the influence of the mass transfer effects when determining the thermodynamic and kinetic characteristics of a faradaic system.

• 한국초지조사료학회지
• /
• 제18권1호
• /
• pp.19-26
• /
• 1998

The effects of different fertilizer management on herbage production and botanical composition were determined. Field experiments were conducted during 1991 - 1993 on sandy loam soil at Allgiu south western Germany under variabling fertilizer management; cattle slurry, NPK, PK chemical fertilizer management and zero fertilization. The dry matter yield of forage was the highest in the plot of mineral fertilizer and lowest in the plot of without fertilization. The dry matter yield of P-K application was higher by 1.2 ton than that of without fertilization. The content of crude protein, crude fibre, digestible dry matter yield, net energy and nitrogen content of plants was not significantly different among different fertilizer management. N uptake of plants was in the order NPK chemical fertilizer (347kg N/ha) > cattle slurry (337kg N/ha) > P-K chemical fertilizer (325kg N/ha) > without fertilization (3 15kg N/ha).

• Nuclear Engineering and Technology
• /
• 제40권7호
• /
• pp.571-580
• /
• 2008

A Binary Decision Diagram (BDD) is a graph-based data structure that calculates an exact top event probability (TEP). It has been a very difficult task to develop an efficient BDD algorithm that can solve a large problem since it is highly memory consuming. In order to solve a large reliability problem within limited computational resources, many attempts have been made, such as static and dynamic variable ordering schemes, to minimize BDD size. Additional effort was the development of a ZBDD (Zero-suppressed BDD) algorithm to calculate an approximate TEP. The present method is the first successful application of a BDD truncation. The new method is an efficient method to maintain a small BDD size by a BDD truncation during a BDD calculation. The benchmark tests demonstrate the efficiency of the developed method. The TEP rapidly converges to an exact value according to a lowered truncation limit.

• 한국진공학회:학술대회논문집
• /
• 한국진공학회 2013년도 제44회 동계 정기학술대회 초록집
• /
• pp.578-578
• /
• 2013

We proposed a method for synthesized nanoparticle trapping in capacitively coupled plasma (CCP) reactor. The nanoparticle in nonthermal plasma can be negatively charged by a charged particle in plasma. Thus, it can be placed between sheath and bulk plasma with zero net force on nanoparticle. However, synthesized nanoparticle can be pumped out due to the neutral drag force when the large size of sheath thickness. We try to make a potential well using the sheath for trapping the synthesized nanoparticle.

• 대한기계학회논문집A
• /
• 제30권9호
• /
• pp.1025-1033
• /
• 2006

This paper describes the levitation mechanism using magnetic wheel for a maglev planar transportation system. Rotation of the magnetic wheel where the permanent magnet array is embedded produces the time varying traveling magnetic flux density and the generated magnetic flux density creates the induced levitation force and drag force with the conductor. Because the net drag force is zero, magnetic wheel can only generate the levitation force. Thus, it always guarantees the stability in levitation direction and it does not disturb other directional motion. In this paper, levitation principle of the magnetic wheel is analyzed using distributed field approach and dynamic characteristics of the levitation in the magnetic wheel system are estimated. The feasibility of the proposed levitation mechanism is verified through the several experimental works.

• Bulletin of the Korean Chemical Society
• /
• 제7권6호
• /
• pp.448-453
• /
• 1986

Two contributions to the activation barrier of the $S_N2$ reaction, intrinsic and thermodynamic, are discussed in connection with the predictive power of various rate-equilibrium relationships. It has been shown that the PES models can only give correct predictions of changes in structure and energy of the transition state if the activation barrier is dictated by the thermodynamic factor. We concluded that the identity and dissociative $S_N2$ reactions are dominated by the intrinsic component while associative $S_N2$ reactions are predominantly of thermodynamic controlled. Thus in the former cases, the PES models fail, whereas in the latter cases predictions based on the intrinsic factor, the quantum mechanical models, fail. Finally in a general case of equal contributions by thermodynamic and intrinsic factors, the $SN_2$ reaction proceeds by a synchronous process with zero net charge on the reaction center, for which predictions of substituent effects will be the same as for the intrinsic control case.

• Nuclear Engineering and Technology
• /
• 제51권4호
• /
• pp.963-967
• /
• 2019

Accurate measurement of the reactivity worth of safety rods is very important for the safe reactor operation, in normal and emergency conditions. In this paper, the reactivity worth of safety rods in Heavy Water Zero Power Reactor (HWZPR) in the new lattice pitch is measured by advanced source jerk method. The average of the results related to two different detectors is equal to 29.88 mk. In order to verify the result, this parameter was compared to the previously measured value by subcritical to critical approach. Different experiment results are finally compared with corresponding calculated result. Difference between the average experimental and calculated results is equal to 2.2%.

• Nuclear Engineering and Technology
• /
• 제55권8호
• /
• pp.2864-2872
• /
• 2023

The criticality problem in this study is studied with the recently investigated the Anlı-Güngör scattering function. The scattering function depends on the Legendre polynomials as the Mika scattering function, but it includes only one scattering parameter, t, and its orders. Both Mika and Anlı-Güngör scattering are the same for only linear anisotropic scattering. The difference appears for the quadratic scattering and further. The analytical calculations are performed with the H_N method, and the numerical results are calculated with Wolfram Mathematica. Interpolation technique in Mathematica is also used to approximate the isotropic scattering results when t parameter goes to zero. Thus, the calculated results could be compared with the literature data for isotropic scattering.