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

Molodtsov [12] introduced the concept of soft set as a new mathematical tool for dealing with uncertainties that is free from the difficulties that have troubled the usual theoretical approaches. In this paper we apply the notion of soft sets by Molodtsov to commutative ideals of BCK-algebras, The notions of commutative soft ideals and commutative idealistic soft BCK-algebras are introduced, and their basic properties are investigated. Examples to show that there is no relations between positive implicative idealistic soft BCK-algebras and commutative idealistic soft BCK-algebras are provided.

• 대한산업공학회지
• /
• 제42권6호
• /
• pp.386-394
• /
• 2016

In this research, in order to optimize the multi-objective function effectively, we suggested the optimization model to maximize the total destruction of ground targets and minimize the total damage of aircrafts and cost of air munitions by using goal programming. To satisfy the various variables and constraints of this mathematical model, the concept of air strike package is applied. As a consequence, effective attack can be possible by identifying the prior ground targets more quickly. This study can contribute to maximize the ROK air force's combat power and preservation of high value air asset in the war.

• 대한기계학회논문집
• /
• 제18권11호
• /
• pp.2825-2836
• /
• 1994

The engineering optimization has been developed for the automatic design of engineering systems. Since the conventional optimum is determined without considering noise factors, applications to practical problems can be limited. Current design practice tends to account for these noises by the specification of closer tolerances or the use of safety factors. However, these approaches may be very expensive. Thus the consideration on the noises of design variables is needed for optimal design. A method is presented to find robust solutions for unconstrained optimization problems. The method is applied to discrete and continuous variables. The orthogonal array is utilized based on the Taguchi concept. Through mathematical proofs and numerical examples, it is verified that solutions from the suggested method are more insensitive than the conventional optimum within the range of variations for design variables.

• 한국연소학회:학술대회논문집
• /
• 한국연소학회 2000년도 제21회 KOSCO SYMPOSIUM 논문집
• /
• pp.24-32
• /
• 2000

A brief introduction is given on the conditional moment closure model for turbulent nonpremixed combustion. It is based on the transport equations derived through a rigorous mathematical procedure for the conditionally averaged quantities and appropriate modeling forms for conditional scalar dissipation rate, conditional mean velocity and reaction rate. Examples are given for prediction of NO and OH in bluffbody flames, soot distribution in jet flames and autoignition of a methane/ethane jet to predict the ignition delay with respect to initial temperature, pressure and fuel composition. Conditional averaging may also be a powerful modeling concept in other approaches involved in turbulent combustion problems in various different regimes.

• 한국수학사학회지
• /
• 제29권6호
• /
• pp.317-324
• /
• 2016

Since Jiuzhang Suanshu, mathematical structures in the traditional East Asian mathematics have been revealed by practical problems. Since then, polynomial equations are mostly the type of $p(x)=a_0$ where p(x) has no constant term and $a_0$ is a positive number. This restriction for the polynomial equations hinders the systematic development of theory of equations. Since tianyuanshu (天元術) was introduced in the 11th century, the polynomial equations took the form of p(x) = 0, but it was not universally adopted. In the mean time, East Asian mathematicians were occupied by kaifangfa so that the concept of zeros of polynomials was not materialized. We also show that Suanxue Qimeng inflicted distinct developments of the theory of equations in three countries of East Asia.

• Korean Journal of Mathematics
• /
• 제22권2호
• /
• pp.279-288
• /
• 2014

The studies of reversible and 2-primal rings have done important roles in noncommutative ring theory. We in this note introduce the concept of quasi-reversible-over-prime-radical (simply, QRPR) as a generalization of the 2-primal ring property. A ring is called QRPR if ab = 0 for $a,b{\in}R$ implies that ab is contained in the prime radical. In this note we study the structure of QRPR rings and examine the QRPR property of several kinds of ring extensions which have roles in noncommutative ring theory.

• Korean Journal of Mathematics
• /
• 제28권3호
• /
• pp.623-638
• /
• 2020

In this article, we initially present the concept of the fuzzy generalized m-bi-ideals in semigroups, then making use of their important types like prime, semiprime and strongly fuzzy generalized m-bi-ideals, we give the important characterizations of the semigroups. We also characterize the m-regular and m-intraregular semigroups using the properties of the irreducible and strongly irreducible fuzyy generalized m-bi-ideals.

• Korean Journal of Mathematics
• /
• 제24권3호
• /
• pp.345-367
• /
• 2016

The concept of derivations of BCI-algebras was first introduced by Jun and Xin. In this paper, we introduce the notions of (l, r)-derivations, (r, l)-derivations and derivations of UP-algebras and investigate some related properties. In addition, we define two subsets $Ker_d(A)$ and $Fix_d(A)$ for some derivation d of a UP-algebra A, and we consider some properties of these as well.

• 산업경영시스템학회지
• /
• 제21권48호
• /
• pp.269-277
• /
• 1998

In this study, a traditional concept of sampling inspection plan for the quality assurance system is extended to a consideration of economic aspects in total production system by representing and analyzing the effects between proceding/succeeding production process including inspection. This approach recognizes that the decision to be made at one manufacturing process (or assembly process) determine not only the cost and the average outgoing quality level of that process but also the input parameters of the cost and the incoming quality to the succeeding process. By analyzing the effects of the average incoming and outgoing quality, manufacturing/assembly quality level and sampling inspection plan on the production system, mathematical models and solution technique to minimize the total production cost for a single product manufacturing system with specified average outgoing quality limit (AOQL) are suggested.

• Kyungpook Mathematical Journal
• /
• 제45권1호
• /
• pp.33-43
• /
• 2005

Clones are sets of operations which are closed under composition and contain all projections. Identities of clones of term operations of a given algebra correspond to hyperidentities of this algebra, i.e., to identities which are satisfied after any replacements of fundamental operations by derived operations ([7]). If any identity of an algebra is satisfied as a hyperidentity, the algebra is called solid ([3]). Solid algebras correspond to free clones. These connections will be extended to so-called generalized clones, to strong hyperidentities and to strongly solid varieties. On the basis of a generalized superposition operation for terms we generalize the concept of a unitary Menger algebra of finite rank ([6]) to unitary Menger algebras with infinitely many nullary operations and prove that strong hyperidentities correspond to identities in free unitary Menger algebras with infinitely many nullary operations.