• Language and Information
• /
• v.7 no.1
• /
• pp.23-40
• /
• 2003

In this paper, we have proposed Auto-TUS, an automatic transcription module of three union symbols-hyphen, dash and tilde (‘­’, ‘―’, ‘∼’)-using their linguistic contexts. Few previous studies have discussed the problems of ambiguities in transcribing symbols into Korean alphabetic letters. We have classified six different reading formulae of the union symbols, analyzed the left and right contexts of the symbols, and investigated selection rules and distributions between the symbols and their contexts. Based on these linguistic features, 86 stereotyped patterns, 78 rules and 8 heuristics determining the types of reading formulae are suggested for Auto-TUS. This module works modularly in three steps. The pilot test was conducted with three test suites, which contains respectively 418, 987 and 1,014 clusters of words containing a union symbol. Encouraging results of 97.36%, 98.48%, 96.55% accuracy were obtained for three test suites. Our next phases are to develop a guessing routine for unknown contexts of the union symbols by using statistical information; to refine the proper nouns and terminology detecting module; and to apply Auto-TUS on a larger scale.

• Proceedings of the Korean Geotechical Society Conference
• /
• 2000.03a
• /
• pp.51-63
• /
• 2000

Because of simplicity and easiness, dynamic pile driving formulae have long been used by most of the field engineers for pile quality control purposes. Yet their reliability have been repeatedly reported unsuitable and the results can lead to significant errors. According to the research results by the authors, the two most important sources of unreliability of dynamic pile driving formulae are uncertainty in the estimation of hammer efficiency and time dependent characteristics of pile bearing capacity. Based on this finding a new method is proposed. By using the actual value of hammer efficiency the pile bearing capacity at the time of driving could be reasonably estimated. By performing restrike test sometime after pile installation, time effect coefficient could be determined. The effectiveness of the proposed method was proven in the actual construction project.

• Proceedings of the Korean Society For Composite Materials Conference
• /
• 2001.10a
• /
• pp.163-169
• /
• 2001

The solution of two-dimensional deflection of circular wavy reinforcing fiber elastics was obtained for one end clamped boundary under concentrated load condition. The fiber was regarded as a linear elastic material. Wavy shape was described as a combination of half-circular arc smoothly connected each other with constant curvature of all the same magnitude and alternative sign. Also load direction was taken into account. As a result, the solution was expressed in terms of a series of elliptic integrals. These elliptic integrals had two different transformed parameters involved with load value and initial radius of curvature. While we found the exact solutions and expressed them in terms of elliptic integrals, the recursive ignition formulae about the displacement and arc length at each segment of circular section were obtained. Algorithm of determining unknown parameters was established and the profile curve of deflected beam was shown in comparison with initial shape.

• Kyungpook Mathematical Journal
• /
• v.46 no.3
• /
• pp.449-461
• /
• 2006

Generalizing twist moves of classical knots, we introduce $t(a_1,{\cdots},a_m)$-moves of virtual knots for an $m$-tuple ($a_1,{\cdots},a_m$) of nonzero integers. In [4], M. Goussarov, M. Polyak and O. Viro introduced finite type invariants of virtual knots and Gauss diagram formulae giving combinatorial presentations of finite type invariants. By using the Gauss diagram formulae for the finite type invariants of degree 2, we give a necessary condition for a virtual long knot K to be transformed to a virtual long knot K' by a finite sequence of $t(a_1,{\cdots},a_m)$-moves for an $m$-tuple ($a_1,{\cdots},a_m$) of nonzero integers with the same sign.

• Journal of Korean Institute of Industrial Engineers
• /
• v.40 no.5
• /
• pp.520-525
• /
• 2014

When the PCF (Point Coordinated Function) MAC protocol is combined with the frame aggregation method to enhance the MAC performance in IEEE 802.11 wireless LANs, the formulae for the optimal frame aggregation level for best PCF MAC performance were derived in our previous study. We extend the formulae for the PCF protocol to derive the optimal frame aggregation level for the connectivity-based multipolling MAC protocol in IEEE 802.11 wireless LANs. By simulations, we compare the performances of IEEE 802.11 wireless LANs with the optimal and random frame aggregation levels. Compared with the random frame aggregation level, the optimal frame aggregation level significantly improves the performance of IEEE 802.11 wireless LANs.

• Journal of Korean Society for Quality Management
• /
• v.30 no.3
• /
• pp.186-194
• /
• 2002

In this paper we introduce formulae for estimating the failure rate of a large scaled software by using the Bayesian rule when a black-box random testing which selects an element(test case) at random with equally likely probability, is performed. A program or software can be treated as a mathematical function with a well-defined (input)domain and range. For a large scaled software, their input domains can be partitioned into multiple subdomains and exhaustive testing is not generally practical. Testing is proceeding with selecting a subdomain, and then picking a test case from within the selected subdomain. Whether or not the proportion of selecting one of the subdomains is assumed probability, we developed the formulae either case by using Bayesian rule with gamma distribution as a prior distribution.

• Honam Mathematical Journal
• /
• v.39 no.2
• /
• pp.217-231
• /
• 2017

In this paper, we introduce a generating function for a Legendre-based poly-Bernoulli polynomials and give some identities of these polynomials related to the Stirling numbers of the second kind. By making use of the generating function method and some functional equations mentioned in the paper, we conduct a further investigation in order to obtain some implicit summation formulae for the Legendre-based poly-Bernoulli numbers and polynomials.

• Journal of Environmental Science International
• /
• v.20 no.2
• /
• pp.155-161
• /
• 2011

In application and discussion of population structure and phenotypic divergence in plant community, the classic Lotka-Volterra models of competition and spatial model are conceived as a mechanism that is composed by multiple interacting processes. Both the Lotka-Volterra and spatial simulation formulae predict that species diversity increases with genotypic richness (GR). The two formulae are also in agreement that species diversity generally decreases within increasing niche breadth (NB) and increases with increasing potential genotypic range (PGR). Across the entire parameter space in the Lotka-Volterra model and most of the parameter space in the spatial simulations, variance in community composition decreased with increasing genotypic richness. This was, in large part, a consequence of selecting genotypes randomly from a set pool.

• The Pure and Applied Mathematics
• /
• v.11 no.3
• /
• pp.189-196
• /
• 2004

In this article, using the L'Hospital rule, mathematical induction, the trigonometric power formulae and integration by parts, some integral formulae for the improper integrals ${\int}_0^{\infty}$[sin$^{2m}({\alpha}x)]/(x^{2n})dx$ AND ${\int}_0^{\infty}$[sin$^{2m+1}({\alpha}x)]/(x^{2n+1})dx$ are established, where m $\geq$ n are all positive integers and $\alpha$$\neq$ 0.

• Journal of Advanced Marine Engineering and Technology
• /
• v.7 no.2
• /
• pp.22-28
• /
• 1983

In former papers which were published already, authors had derived calculation formulae for the axial stiffness and the radial force conversion factor of crankshaft. In this paper, crankthrow axial stiffness and radial force conversion factors of actual engines are calculated by these theoretical formulae and then their characteristics are investigated. As the results, the axial stiffness and the radial force conversion factor of the latest super-long stroke engine are smaller than those of old-type engines. The influence of the former brings down the resonance speed of engine and the latter reduces the exciting force of axial vibration, but as the harmonic component of axial vibration force becomes rather strong, its effect of reducing is considerably canceled. In conclusion, as the latest super-long stroke engine is seemed to be liable to axial vibration of crankshafat, it is recommend that, in the design stage of propulsion shaft, its axial vibration condition must be more carefully checked.