• Management Science and Financial Engineering
• /
• v.7 no.2
• /
• pp.1-11
• /
• 2001

Gouveia and Pires (European Journal of Operations Research 112(1999) 134-146) have proposed four extended formulations having precedence variables as extra variables and characterized the projections of three of the four formulations into the natural variable space. In Gouveia and Pires (Discrete Applied Mathematics 112 (2001)), they also have introduced some other extended formulations with the same extra variables and conjectured that the projection of one of the proposed formulations is equivalent to the one proposed by Dantzig, Fulkerson, and Johnson (Operations Research 2(1954) 393-410). In this paper, we provide a unifying framework based on which we give alternative proofs on the projections of three extended formulations and new proofs on those of two formulations appeared in Gouveia and Pires(1999, 2001).

• Journal of Korean Institute of Industrial Engineers
• /
• v.24 no.1
• /
• pp.1-9
• /
• 1998

In a competitive environment, systems design should be agile to accomplish business goal. However, there are often significant problems with systems design that is manifested in the fact that there are no current techniques to apply rigorous mathematics to semantic conveyance in the design framework. As a promising solution, this paper introduces situation theory (ST) and provides an application of ST for information flow in manufacturing systems design (IDEF0). The described work in this paper addresses the procedure of creation of IAST Model (Inf-Act On in Situation Theory) which is the first application of ST in engineering fields. Finally, we show that IAST Model is very helpful for effective information capturing in systems by comparison existing methodology with developed methodology as a practical application of ST.

• Proceedings of the Korea Contents Association Conference
• /
• 2003.11a
• /
• pp.367-372
• /
• 2003

In the framework of Lorentzian warped products, we study the Friedmann - Robertson - Walker cosmological model to investigate non-smooth curvatures associated with multiple discontinuities involved in the evolution of the universe. In particular we analyze non-smooth features of the spatially flat Friedmann-Robertson-Walker universe by introducing double discontinuities occurred at the radiation- matter and matter-lambda phase transitions in astrophysical phenomenology.

• Communications of the Korean Mathematical Society
• /
• v.21 no.4
• /
• pp.665-673
• /
• 2006

In a recent paper, Domokos and $Kolumb\'{a}}n$ [2] gave an interesting interpretation of variational inequalities (VI) and vector variational inequalities (VVI) in Banach space settings in terms of variational inequalities with operator solutions (in short, OVVI). Inspired by their work, in a former paper [4], we proposed the scheme of generalized vector variational inequality with operator solutions (in short, GOVVI) which extends (OVVI) into a multivalued case. In this note, we further develop the previous work [4]. A more general pseudomonotone operator is treated. We present a result on the existence of solutions of (GVVI) under the weak pseudomonotonicity introduced in Yu and Yao [8] within the framework of (GOVVI) by exploiting some techniques on (GOVVI) or (GVVI) in [4].

• Bulletin of the Korean Mathematical Society
• /
• v.49 no.6
• /
• pp.1131-1145
• /
• 2012

The purpose of this paper is to use an appropriate variational framework to discuss the boundary value problem with p-Laplacian type operators $$\{({\alpha}(t,x^{\Delta}(t)))^{\Delta}-a(t){\phi}_p(x^{\sigma}(t))+f({\sigma}(t),x^{\sigma}(t))=0,\;{\Delta}-a.e.\;t{\in}I\\x^{\sigma}(0)=0,\\{\beta}_1x^{\sigma}(1)+{\beta}_2x^{\Delta}({\sigma}(1))=0,$$ where ${\beta}_1$, ${\beta}_2$ > 0, $I=[0,1]^{k^2}$, ${\alpha}({\cdot},x({\cdot}))$ is an operator of $p$-Laplacian type, $\mathbb{T}$ is a time scale. Some sufficient conditions for the existence of constant-sign solutions are obtained.

• Journal of the Korean Mathematical Society
• /
• v.46 no.3
• /
• pp.551-560
• /
• 2009

A theorem of Robert Blumenthal is used here in order to obtain a sufficient condition for a function between two Finsler manifolds to be a fibre bundle map. Our study is connected with two possible constructions: 1) a Finslerian generalization of usually Kaluza-Klein theories which use Riemannian metrics, the well-known particular case of Finsler metrics, 2) a Finslerian version of reduction process from geometric mechanics. Due to a condition in the Blumenthal's result the completeness of Euler-Lagrange vector fields of Finslerian type is discussed in detail and two situations yielding completeness are given: one concerning the energy and a second related to Finslerian fundamental function. The connection of our last framework, namely a regular Lagrangian having the energy as a proper (in topological sense) function, with the celebrated $Poincar{\acute{e}}$ Recurrence Theorem is pointed out.

• Journal of Information Processing Systems
• /
• v.7 no.3
• /
• pp.397-412
• /
• 2011

Granular Computing has emerged as a unified and coherent framework of designing, processing, and interpretation of information granules. Information granules are formalized within various frameworks such as sets (interval mathematics), fuzzy sets, rough sets, shadowed sets, probabilities (probability density functions), to name several the most visible approaches. In spite of the apparent diversity of the existing formalisms, there are some underlying commonalities articulated in terms of the fundamentals, algorithmic developments and ensuing application domains. In this study, we introduce two pivotal concepts: a principle of justifiable granularity and a method of an optimal information allocation where information granularity is regarded as an important design asset. We show that these two concepts are relevant to various formal setups of information granularity and offer constructs supporting the design of information granules and their processing. A suite of applied studies is focused on knowledge management in which case we identify several key categories of schemes present there.

• Research in Mathematical Education
• /
• v.5 no.1
• /
• pp.59-75
• /
• 2001

This paper reports an investigation of problem solving activities of students at university level students. The study focused on the cognitive-metacognitive and affective activities appeared in problem solving process. The cognitive-metacognitive framework was used to analyzed and categorize the written response and free response of interviews probing the students\\` cognitive-metacognitive activities. Affective factors were assessed by administering the problem solving survey (Carlson, The emergence of students\\` problem solving behavior, 1999). This study provide an insight for the design of problem solving instruction by identifying cognitive, metacognitive and affective characteristics of the students\\` problem solving behaviors. The results report that the metacognitive factor were significantly related to problem solving performance interacting with both cognitive and affective factors.

• Research in Mathematical Education
• /
• v.15 no.1
• /
• pp.69-79
• /
• 2011

Based on the work of Haylock (cf [Haylock, D. W. (1987). A framework for assessing mathematical creativity in schoolchildren. Educ. Stud. Math. 18(1),59-74]) a mathematical creativity test containing items of two categories overcoming fixation and divergent thinking has been developed for Bengali medium school students with sample size 262. The items measuring divergent thinking are found highly internally consistent and there is a significant correlation between overcoming fixation and divergent thinking. Study of the factorial validity of the test by Thursstone's centroid method gives satisfactory result. Validity coefficient of the test with teachers' rating, alpha reliability and test-retest reliability of the test are also found satisfactory.

• Agribusiness and Information Management
• /
• v.8 no.1
• /
• pp.11-16
• /
• 2016

This paper presents how Digital Knowledge Ecosystem such as "Govi Nena" (translates as agriculture intelligence) can be used to provide a more effective and practical solution to eliminate the inefficiencies in agricultural markets and achieve higher productivity and price stability. In order to establish the framework to analyze the system, this paper uses a set of hypothetical scenarios faced by value chain actors based on a review of the literature, established knowledge and recent developing country experiences. The scenario analysis reveals that "Govi Nena" enables farmers to make effective production decisions, deepens the level of value chain integration, and enhances the level of welfare for the society as a whole.