• 한국경영과학회지
• /
• 제30권2호
• /
• pp.185-199
• /
• 2005

With the growth of internet shopping malls, there is increasing interest in comparison shopping mall. However most comparison sites compare only book prices by collecting simple XML data and do not provide .the exact comparison Including precise shipping costs. Shipping costs vary depending on each customer's address, the delivery method, and the category of selected goods, so rule based system is required in order to calculate exact shipping costs. Therefore, we designed and implemented comparison shopping mall which compares not only book prices but also shipping costs using rule based inference. By adopting the extensible Rule Markup language (XRML) approach, we proposed the methodology of extracting delivery rules from Web pages of each shopping mall. The XRML approach can facilitate nearly automatic rule extraction from Web pages and consistency maintenance between Web pages and rule base. We developed a ConsiderD system which applies our rule acquisition methodology based on XRML. The objective of the ConsiderD system is to compare the exact total cost of books including the delivery cost over Amazon.com, BarnesandNoble.com, and Powells.com. With this prototype, we conducted an experiment to show the potential of automatic rule acquisition from Web pages and illustrate the effect of delivery cost.

• Structural Engineering and Mechanics
• /
• 제16권2호
• /
• pp.153-176
• /
• 2003

From the equation of motion of a "bare" non-uniform beam (without any concentrated elements), an eigenfunction in term of four unknown integration constants can be obtained. When the last eigenfunction is substituted into the three compatible equations, one force-equilibrium equation, one governing equation for each attaching point of the concentrated element, and the boundary equations for the two ends of the beam, a matrix equation of the form [B]{C} = {0} is obtained. The solution of |B| = 0 (where ${\mid}{\cdot}{\mid}$ denotes a determinant) will give the "exact" natural frequencies of the "constrained" beam (carrying any number of point masses or/and concentrated springs) and the substitution of each corresponding values of {C} into the associated eigenfunction for each attaching point will determine the corresponding mode shapes. Since the order of [B] is 4n + 4, where n is the total number of point masses and concentrated springs, the "explicit" mathematical expression for the existing approach becomes lengthily intractable if n > 2. The "numerical assembly method"(NAM) introduced in this paper aims at improving the last drawback of the existing approach. The "exact"solutions in this paper refer to the numerical results obtained from the "continuum" models for the classical analytical approaches rather than from the "discretized" ones for the conventional finite element methods.

• Nuclear Engineering and Technology
• /
• 제44권7호
• /
• pp.755-766
• /
• 2012

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 its memory consumption is very high. Recently, in order to solve a large reliability problem within limited computational resources, Jung presented an efficient method to maintain a small BDD size by a BDD truncation during a BDD calculation. In this paper, it is first identified that Jung's BDD truncation algorithm can be improved for a more practical use. Then, a more efficient truncation algorithm is proposed in this paper, which can generate truncated BDD with smaller size and approximate TEP with smaller truncation error. Empirical results showed this new algorithm uses slightly less running time and slightly more storage usage than Jung's algorithm. It was also found, that designing a truncation algorithm with ideal features for every possible fault tree is very difficult, if not impossible. The so-called ideal features of this paper would be that with the decrease of truncation limits, the size of truncated BDD converges to the size of exact BDD, but should never be larger than exact BDD.

• 한국도로학회논문집
• /
• 제18권2호
• /
• pp.51-60
• /
• 2016

PURPOSES : The applicability of the mechanics-based similarity concept (suggested by Feng et al.) for determining scaled variables, including length and load, via laboratory-scale tests and discrete element analysis, was evaluated. METHODS: Several studies on the similarity concept were reviewed. The exact scaling approach, a similarity concept described by Feng, was applied in order to determine an analytical solution of a free-falling ball. This solution can be considered one of the simplest conditions for discrete element analysis. RESULTS : The results revealed that 1) the exact scaling approach can be used to determine the scale of variables in laboratory tests and numerical analysis, 2) applying only a scale factor, via the exact scaling approach, is inadequate for the error-free replacement of small particles by large ones during discrete element analysis, 3) the level of continuity of flowable materials such as SCC and cement mortar seems to be an important criterion for evaluating the applicability of the similarity concept, and 4) additional conditions, such as the kinetics of particle, contact model, and geometry, must be taken into consideration to achieve the maximum radius of replacement particles during discrete element analysis. CONCLUSIONS : The concept of similarity is a convenient tool to evaluate the correspondence of scaled laboratory test or numerical analysis to physical condition. However, to achieve excellent correspondence, additional factors, such as the kinetics of particles, contact model, and geometry, must be taken into consideration.

• Journal of applied mathematics & informatics
• /
• 제7권2호
• /
• pp.391-408
• /
• 2000

In the curved geometries, from the solution of the classical Riemann problem in the plane, the asymptotic solutions of the compressible Euler equation are presented. The explicit formulae are derived for the third order approximation of the generalized Riemann problem form the conventional setting of a planar shock-interface interaction.

• 충청수학회지
• /
• 제16권1호
• /
• pp.15-23
• /
• 2003

In order to compute the Nielsen number N(f) of a self-map $f:X{\rightarrow}X$, some Reidemeister classes in the fundamental group ${\pi}_1(X)$ need to be distinguished. D. Ferrario has some algebraic results which allow distinguishing Reidemeister classes. In this paper we generalize these results to the Reidemeister sets of iterates.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제22권2호
• /
• pp.179-184
• /
• 2015

In this paper we discuss a functional approach to obtain a lattice-like structure in d-algebras, and obtain an exact analog of De Morgan law and some other properties.

• Journal of applied mathematics & informatics
• /
• 제26권3_4호
• /
• pp.689-706
• /
• 2008

In this paper, a fifth order numerical method is presented for solving singularly perturbed two point boundary value problems with a boundary layer at one end point. The two point boundary value problem is transformed into general first order ordinary differential equation system. A discrete approximation of a fifth order compact difference scheme is presented for the first order system. An asymptotically equivalent first order equation of the original singularly perturbed two point boundary value problem is obtained from the theory of singular perturbations. It is used in the fifth order compact difference scheme to get a two term recurrence relation and is solved. Several linear and non-linear singular perturbation problems have been solved and the numerical results are presented to support the theory. It is observed that the present method approximates the exact solution very well.

• 응용통계연구
• /
• 제22권5호
• /
• pp.1097-1102
• /
• 2009

Classification of subjects with unknown distribution in small sample size setup may involve order-restricted constraints in multivariate parameter setups. Those problems makes optimality of conventional likelihood ratio based statistical inferences not feasible. Fortunately, Roy (1953) introduced union-intersection principle(UIP) which provides an alternative avenue. Redescending M-estimator along with that principle yields a considerably appropriate robust testing procedure. Furthermore, conditionally distribution-free test based upon exact permutation theory is used to generate p-values, even in small sample. Applications of this method are illustrated in simulated data and read data example (Lobenhofer et al., 2002)

• Korean Journal of Mathematics
• /
• 제26권3호
• /
• pp.467-481
• /
• 2018

In this paper we present a postprocessing scheme for the Raviart-Thomas mixed finite element approximation of the second order elliptic eigenvalue problem. This scheme is carried out by solving a primal source problem on a higher order space, and thereby can improve the convergence rate of the eigenfunction and eigenvalue approximations. It is also used to compute a posteriori error estimates which are asymptotically exact for the $L^2$ errors of the eigenfunctions. Some numerical results are provided to confirm the theoretical results.