• Journal of the Korea Concrete Institute
• /
• v.14 no.1
• /
• pp.118-125
• /
• 2002

Hydration is the main reason for the growth of the material properties. An exact parameter to control the chemical and physical process is not the time, but the degree of hydration. Therefore, it is reasonable that development of all material properties and the formation of microstructure should be formulated in terms of degree of hydration. Mathematical formulation of degree of hydration is based on combination of reaction rate functions. The effect of moisture conditions as well as temperature on the rate of reaction is considered in the degree of hydration model. This effect is subdivided into two contributions: water shortage and water distribution. The former is associated with the effect of W/C ratio on the progress of hydration. The water needed for progress of hydration do not exist and there is not enough space for the reaction products to form. The tatter is associated with the effect of free capillary water distribution in the pore system. Physically absorption layer does not contribute to progress of hydration and only free water is available for further hydration. In this study, the effects of chemical composition of cement, W/C ratio, temperature, and moisture conditions on the degree of hydration are considered. Parameters that can be used to indicate or approximate the real degree of hydration are liberated heat of hydration, amount of chemically bound water, and chemical shrinkage, etc. Thus, the degree of heat liberation and adiabatic temperature rise could be determined by prediction of degree of hydration.

• Fibers and Polymers
• /
• v.6 no.1
• /
• pp.1-5
• /
• 2005

In this study, we attempted to evaluate a novel use of sericin-fixed silk fiber (SFx) as an immobilization support of enzyme. Sericin was fixed on the silk fiber using glutaraldehyde as a fixation reagent. After 6 hours of fixation, the degree of fixation increases linearly with linear decrease of the amount of bound $\alpha$-chymotrypsin (CT). This suggests that the increase of the degree of fixation is due to the further crosslinking of free aldehyde groups on the surface of sericin-fixed silk fiber (SFx). Even though perfect fixation was not achieved, sericin did not dissolve seriously and could be removed by further washing. The specific activity did not differ significantly after 6 hours of fixation. The activity of immobilized CT on SFx decreased to its half after 6 hours of incubation at 50$^{\circ}C$. However, it retained $78\%$ of initial activity even after 1 hour of treat­ment with $100\%$ ethanol. As a result, the SFx could be used as an immobilization support of enzyme in non-aqueous media at ambient temperature.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.13 no.3
• /
• pp.337-344
• /
• 1989

The upper bound elemental technique (UBET) is used to simulate the bulk flow characteristics in axisymmetric closed die forging process. Internal flow inside the cavity is predicted using a kinematically admissible velocity field that minimizes the rate of energy consumption. Application of the technique includes an assessment of the formation of flash and of degree of filling in rib-web type cavity using billets with various aspect rations. The technique considering bulging effect is performed in an incremental manner. The results of simulation show how it can be used for the prediction of forging load, metal flow, and free surface profile. The experiments are carried out with plasticine. There are good agreements in forging load and material flow in cavity between the simulation and experiment. The developed program using UBET can be effectively applied to the various forging problems.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.13 no.6
• /
• pp.2859-2872
• /
• 2019

Interference alignment (IA) has been a powerful approach to achieve the maximum degree of freedom (DoF) for K users multiple-input-multiple-output (MIMO) interference channels. However, due to the feasibility constraint, aligning all the interference signals at each receiver is impractical for large K without symbol extension. In this paper, we propose two best-effort interference alignment (BEIA) schemes that the network selects the maximum number of interfering transmitters to align their signals given the feasibility conditions when each transmitter-receiver pair has a constant number of data streams. Besides, in case of not all interfering signals aligned at each receiver, an upper bound of the average throughput is derived. Simulation results show that the proposed schemes have superiority over the traditional methods, such as time division multiple access (TDMA) and cluster IA(CIA), in low and moderate signal-to-noise ratio (SNR) region in terms of average user throughput. In addition, the proposed max-min relative interference distance alignment scheme outperforms the proposed scheme of equal interfering transmitters number alignment in terms of both average user throughput and minimum user throughput.

• Structural Engineering and Mechanics
• /
• v.33 no.2
• /
• pp.159-177
• /
• 2009

The aim of this paper is to give a rigorous framework for the interpretation of limit analysis results including large displacements. The presentation is oriented towards unidimensional media (beams) but two-dimensional (plates) or three-dimensional media are also concerned. A single-degree-of-freedom system is first considered: it shows the basic phenomena of large displacement limit analysis or second-order limit analysis. The results are compared to those of a continuous system and the differences between both systems are discussed. Theoretical results are obtained using the kinematical approach of limit analysis. An admissible load-displacement plane is then defined, according to the yield design theory. The methodology used is applied to frame structures. The presented results are nevertheless different from those already published in the literature, as the virtual displacement field can be distinguished from the displacement field at collapse. The simplicity of large displacement limit analysis makes it attractive for practical engineering applications. The load-displacement upper bound can be used for instance in the optimal design of steel frames in seismic areas.

• Journal of applied mathematics & informatics
• /
• v.31 no.3_4
• /
• pp.533-544
• /
• 2013

The multiplicative version of Wiener index (${\pi}$-index), proposed by Gutman et al. in 2000, is equal to the product of the distances between all pairs of vertices of a (molecular) graph G. In this paper, we first present some sharp bounds in terms of the order and other graph parameters including the diameter, degree sequence, Zagreb indices, Zagreb coindices, eccentric connectivity index and Merrifield-Simmons index for ${\pi}$-index of general connected graphs and trees, as well as a Nordhaus-Gaddum-type bound for ${\pi}$-index of connected triangle-free graphs. Then we study the behavior of ${\pi}$-index upon the case when removing a vertex or an edge from the underlying graph. Finally, we investigate the extremal properties of ${\pi}$-index within the set of trees and unicyclic graphs.

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 2002.04a
• /
• pp.543-550
• /
• 2002

This work is concerned with the estimation of output derivatives and their use for the design of robust controller for linear systems with systems uncertainties due to modeling errors and disturbance. It is assumed that a nominal transfer function model and Quantitative bounds for system uncertainties are known. The developed control schemes are shown to achieve regulation of the system output and ensures boundedness of the system states without imposing any structural conditions on system uncertainties and disturbances. Output derivative estimation is first conducted trough restructuring of the plant in a specific parameterization. They are utilized for constructing robust nonlinear high-gain feedback controller of a SMC(Sliding Mode Controller) Type. The performances of the developed controller are evaluated and shown to be effective and useful through simulation study.

• Korean Management Science Review
• /
• v.12 no.2
• /
• pp.89-103
• /
• 1995

Traditionally, the scarce and expensive resources in communication networks has been the bandwidth of transmission facilities; accordingly, the techniques used for networking and switching have been chosen so as to optimize the efficient use of that resource. One of them is the packet switching for data communications, which is much different from the circuit switching. It allows multiple users to share the data network facilities and bandwidth, rather than providing specific amounts of dedicated bandwidth to each users. One main challenge therefore has been to design and build cost-effective packet switching networks. In this paper, we develop a mathematical programming medel and heuristic algorithm for designing the packet switching networks with hop-count constraints. To develop an efficient heuristic, we apply the Lagrangian relaxation method. Some valid inequalities, which have been known as the tight constraints, are considered to improve the bound for Lagrangian sub-problem. The computational experiments show that the performance of the proposed heuristic is very satisfactory in both the speed and the quality of design solutions generated.

• Journal of the Korean Mathematical Society
• /
• v.48 no.2
• /
• pp.341-365
• /
• 2011

In this paper, we establish general stratawise higher jet evaluation transversality of J-holomorphic curves for a generic choice of almost complex structures J (tame to a given symplectic manifold (M, $\omega$)). Using this transversality result, we prove that there exists a subset $\cal{J}^{ram}_{\omega}\;{\subset}\;\cal{J}_{\omega}$ of second category such that for every $J\;{\in}\;\cal{J}^{ram}_{\omega}$, the dimension of the moduli space of (somewhere injective) J-holomorphic curves with a given ramication prole goes down by 2n or 2(n - 1) depending on whether the ramication degree goes up by one or a new ramication point is created. We also derive that for each $J\;{\in}\;\cal{J}^{ram}_{\omega}$ there are only a finite number of ramication profiles of J-holomorphic curves in a given homology class $\beta\;{\in}\;H_2$(M; $\mathbb{Z}$) and provide an explicit upper bound on the number of ramication proles in terms of $c_1(\beta)$ and the genus g of the domain surface.

• Bulletin of the Korean Mathematical Society
• /
• v.51 no.1
• /
• pp.77-82
• /
• 2014

We prove that if ${\mid}a_1{\mid}$ is large and ${\mid}a_0{\mid}$ is small enough, then every approximate zero of power series equation ${\sum}^{\infty}_{n=0}a_nx^n$=0 can be approximated by a true zero within a good error bound. Further, we obtain Hyers-Ulam stability of zeros of the polynomial equation of degree n, $a_nz^n$ + $a_{n-1}z^{n-1}$ + ${\cdots}$ + $a_1z$ + $a_0$ = 0 for a given integer n > 1.