• Korean Journal of Mathematics
• /
• v.30 no.2
• /
• pp.315-333
• /
• 2022

We give a general procedure to analyze the structure for certain ℂ-Fuchsian subgroups of some non-arithmetic lattices. We also show their presentations and describe their fundamental domains which lie in a complex geodesic, a set homeomorphic to the unit disk.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.20 no.41
• /
• pp.123-134
• /
• 1997

In this paper we consider the CSP requirements determination problem of new equipment system. The CSP we deal with in the paper are restricted to the demand-based spare parts. For the newly procured equipment systems, mathematical analyses are made for the system which is constructed with the repairable items to derive the associated CSP requirement determination model in mathematical expression, respectively. Based on these analyses, a mathematical model is derived for making an optimal CSP requirement determination subject to the constraint of satisfying any given funds limitation. We assume that the failure of a part follows a Poisson process. Firstly, the operational availability concept in CSP is defined and the relation between the general system availability and the operational availability is established. Secondly, the problem is formulated as the operational availability maximization problem that should satisfy the funds limitation, and then, using the generalized Lagrange multipliers method, the optimal solution procedure is derived.

• Journal of Mechanical Science and Technology
• /
• v.16 no.10
• /
• pp.1296-1302
• /
• 2002

A mathematical model for cold rolling and temper rolling process of thin steel strip has been developed using the influence function method. By solving the equations describing roll gap phenomena in a unique procedure and considering more influence factors, the model offers significant improvements in accuracy, robustness and generality of the solution for the thin strip cold and temper rolling conditions. The relationship between the shape of the roll profile and the roll force is also discussed. Calculation results show that any change increasing the roll force may result in or enlarge the central flat region in the deformation zone. Applied to the temper rolling process, the model can well predict not only the rolling load but also the large forward slip. Therefore, the measured forward slip, together with the measured roll force, was used to calibrate the model. The model was installed in tile setup computer of a temper rolling mill to make parallel setup calculations. The calculation results show good agreement with the measured data and the validity and precision of the model are proven.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.21 no.48
• /
• pp.113-122
• /
• 1998

In this paper we consider the CSP requirements determination problem of new equipment(machine) system. For the newly procured equipment systems, mathematical analyses are made for the system which is constructed with the consumable parts to derive the associated CSP requirement determination model in mathematical expression. Based on these analyses, a mathematical model is derived for making an optimal CSP requirement determination subject to tile constraint of satisfying any given operational availability limitation. We assume that the failure of a part follows a Poisson process. Firstly, the operational availability concept in CSP is defined and the relation between the general system availability and the operational availability is established. Secondly, the problem is formulated as the cost minimization problem that should satisfy the operational availability limitation, and then, using the generalized Lagrange multipliers method, the optimal solution procedure is derived.

• Structural Engineering and Mechanics
• /
• v.5 no.5
• /
• pp.491-505
• /
• 1997

This paper deals with the formulation and solution of a wide class of structures, in the presence of both geometric and material nonlinearities, as a particular mathematical programming problem. We first present key ideas for the nonholonomic (path dependent) rate formulation for a suitably discretized structural model before we develop its computationally advantageous stepwise holonomic (path independent) counterpart. A feature of the final mathematical programming problem, known as a nonlinear complementarity problem, is that the governing relations exhibit symmetry as a result of the introduction of so-called nonlinear "residuals". One advantage of this form is that it facilitates application of a particular iterative algorithm, in essence a predictor-corrector method, for the solution process. As an illustrative example, we specifically consider the simplest case of plane trusses and detail in particular the general methodology for establishing the static-kinematic relations in a dual format. Extension to other skeletal structures is conceptually transparent. Some numerical examples are presented to illustrate applicability of the procedure.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.23 no.59
• /
• pp.53-67
• /
• 2000

In this paper we consider the CSP requirements determination problem of new equipment(machine) system. For the newly procured equipment systems, mathematical analyses are made for the system which is constructed with the consumable parts and the repairable parts to derive the associated CSP requirement determination model in mathematical expression. Based on these analyses, a mathematical model Is derived for making an optimal CSP requirement determination subject to the constraint of satisfying any given operational availability limitation. We assume that the failure of a part follows a Poisson process and the repair time has an exponential distribution. Firstly, the operational availability concept in CSP is defined and the relation between the general system availability and the operational availability is established. Secondly, the problem is formulated as the cost minimization problem that should satisfy the operational availability limitation, and then, using the generalized Lagrange multipliers method, the optimal solution procedure Is derived.

• Journal of the Korean Mathematical Society
• /
• v.55 no.6
• /
• pp.1389-1421
• /
• 2018

In this paper, we introduce the notion of C-Gorenstein weak injective modules with respect to a semidualizing bimodule $_SC_R$, where R and S are arbitrary associative rings. We show that an iteration of the procedure used to define $G_C$-weak injective modules yields exactly the $G_C$-weak injective modules, and then give the Foxby equivalence in this setting analogous to that of C-Gorenstein injective modules over commutative Noetherian rings. Finally, some applications are given, including weak co-Auslander-Buchweitz context, model structure and dual pair induced by $G_C$-weak injective modules.

• Research in Mathematical Education
• /
• v.18 no.1
• /
• pp.55-74
• /
• 2014

This study examined the potential teaching strategies of prospective elementary teachers and their perceptions of the procedural/conceptual nature of examples. Fifty-four prospective teachers participated in this study, engaging in two-phase tasks. Analysis of data indicated that: (a) Overall, the participants' perceptions were geared toward putting emphasis on conceptual understanding rather than procedural understanding; but (b) Generally, procedure-oriented strategies were more frequently incorporated in participants' potential teaching plans. This implied that participants' preconceived ideas regarding math examples were not always reliable indicators of their potential teaching strategies. Implications and suggestions for mathematics teacher preparation are discussed.

• Research in Mathematical Education
• /
• v.23 no.2
• /
• pp.63-92
• /
• 2020

Student engagement in high-level, cognitively demanding instruction is pivotal for student learning. However, many teachers are unable to maintain such instruction, especially in instances of non-responsive students. This case study of three middle school teachers explores prompts that aim to move classroom discussions past student silence. Prompt sequences were categorized into Progressing, Focusing, and Redirecting Actions, and then analyzed for maintenance of high levels of cognitive demand. Results indicate that specific prompt types are prone to either raise or diminish the cognitive demand of a discussion. While Focusing Actions afforded students opportunities to process information on a more meaningful level, Progressing Actions typically lowered cognitive demand in an effort to get through mathematics content or a specific method or procedure. Prompts that raise cognitive demand typically start out as procedural or concrete and progress to include students' thoughts or ideas about mathematical concepts. This study aims to discuss five specific implications on how teachers can use prompting techniques to effectively maintain cognitively challenging discourse through moments of student silence.

• Korean Chemical Engineering Research
• /
• v.60 no.1
• /
• pp.51-61
• /
• 2022

Gas separation via hollow fibre membrane modules (HFMM) is deemed to be a promising technology for natural gas sweetening, particularly for lowering the level of carbon dioxide (CO₂) in natural gas, which can cause various problems during transportation and process operation. Separation performance via HFMM is affected by membrane properties, module specifications and operating conditions. In this study, a mathematical model for HFMM is developed, which can be used to assess the effects of the aforementioned variables on separation performance. Appropriate boundary conditions are imposed to resolve steady-state values of permeate variables and incorporated in the model equations via an iterative numerical procedure. The developed model is proven to be reliable via model validation against experimental data in the literature. Also, the model is capable of capturing axial variations of process variables as well as predicting key performance indicators. It can be extended to simulate a large-scale plant and identify an optimal process design and operating conditions for improved separation efficiency and reduced cost.