• Journal of the Korean Mathematical Society
• /
• v.50 no.2
• /
• pp.411-423
• /
• 2013

For any $p{\in}(1,2)$ and arbitrary $f{\in}L^p(\mathbb{R}^2)$ with compact support, it is proved that there exists a pair (L, $u$), with L second order uniformly elliptic operator and $u{\in}W_0^{2,p}(\mathbb{R}^2)$ such that $Lu=f$ a.e. in $\mathbb{R}^2$.

• Honam Mathematical Journal
• /
• v.39 no.1
• /
• pp.115-126
• /
• 2017

In this paper, we aim to prove certain common fixed point theorems for a pair of weakly compatible mappings satisfying (CLRg) (or (E.A)) property in the bicomplex valued metric spaces. We also provide some examples which support the main results here.

• Nonlinear Functional Analysis and Applications
• /
• v.26 no.3
• /
• pp.565-580
• /
• 2021

In this paper, first of all we prove a fixed point theorem for 𝜓_∫𝜑-weakly contractive mapping. Next, we prove some common fixed point theorems for a pair of weakly compatible self maps along with E.A. property and (CLR) property. An example is also given to support our results.

• Proceedings of the Korea Concrete Institute Conference
• /
• 2000.10a
• /
• pp.745-750
• /
• 2000

The rigidity of pier is important in the analysis of rail on high speed railway bridges. This study is being performed because of followings. 1) Actual longitudinal stiffness of the structure including substructure should be considered in the calculation of longitudinal stresses in rails. 2) There are many uncertainties in piers and foundations for design. 3) Actual guideline for the design of piers is necessary. 4) Measurement on the rigidity of pier according to the types of pier, foundation and soil-condition is needed. Curve for rigidity will be obtained through this study and applied for actual design as the guideline. Stresses in rails can be estimates accurately. A pair of piers, which consists of pot-bearing for fixed support and pad-bearing for movable support, is loaded by steel frame through steel wire ropes. The responses which are intended to measure in the field test are displacements, forces and tilts on the top of piers.

• Journal of Convergence for Information Technology
• /
• v.7 no.1
• /
• pp.17-24
• /
• 2017

In the medical field, augmented reality is being used for surgical and medical education. However, augmented reality technology is not applied to emergency patients. In this paper, we propose a medical service support model that can support rapid medical service to emergency patients through an augmented reality - based IT device. The proposed model has the function of collecting the information necessary for the first aid simply through the IT equipment based on the reality of reality, and also receiving the first aid method appropriate for the emergency situation to the medical staff and supporting the service. In addition, the proposed model hierarchically collects information related to emergency patient information inquiry, emergency patient status and emergency treatment based on Analytic Hierarchy Process (AHP). The collected information uses a pair of comparison matrices to compensate for the ambiguity between the information. In particular, the collected information is stored in the server of the medical staff, and in addition to the unique information of the collected information, the collected information can be reflected in the medical service of the medical staff.

• The Journal of Korean Association of Computer Education
• /
• v.10 no.5
• /
• pp.43-51
• /
• 2007

We have developed a peer agent to support programming learning and analyzed its educational effects in a programming course. The agent acts as a tutor or a tutee. The role of a tutor/tutee is like the role of a navigator/driver in pair programming. While students are learning with the peer agent, the students' programming abilities are modeled. Based on the student's model, the peer agent provides appropriate feedbacks and contents to the learner. The peer agent gives positive effects on learners' achievement and self-efficacy in a programming course. It means that the peer agent system helps the learner in an affective domain as well as a cognitive domain.

• Steel and Composite Structures
• /
• v.52 no.1
• /
• pp.77-87
• /
• 2024

Analytical methods for assessment of the out-of-plane buckling of unbraced top chords of truss bridges may look obsolete while comparing them to finite element analysis. However they are, usually, superior when rapid assessment is necessary. Analytical methods consider the top chord as a bar on elastic supports provided by bracing (Holt, Timoshenko). Correct assessment of the support elasticity (stiffness) is crucial. In the case of truss bridge spans of traditional structural layout (cross-beams at the truss chord nodes only), the elasticity may be set based on the analysis of the, so called, U-frame stiffness. Here the analyses consider the U-frame itself (a pair of verticals and a cross-beam) or the U-frame with adjacent diagonals or the pair of diagonals (in the absence of verticals) and the members of the bottom chord in the adjacent panels. For all the cases, the stability analysis of the chord as a bar in compression is necessary. Unfortunately, the method cannot be applied to contemporary truss bridges without verticals, that usually have independent cross-beam decks (the cross-beams attached to truss chords at their nodes and between them). This is the motivation for the analysis resulting in the method of setting the stiffness of the equivalent U-frame for the aforementioned truss bridges. Truss girders of both, gussetless and gusseted, joints are taken into account.

• Journal of information and communication convergence engineering
• /
• v.4 no.4
• /
• pp.141-146
• /
• 2006

In these days, wireless data services are becoming ubiquitous in our daily life because they offers several fundamental benefits including user mobility, rapid installation, flexibility, and scalability. Moreover, the requests for various multimedia services and the Quality of Service (QoS) support have been one of key issues in wireless data communications. Therefore the research relative to Medium Access Control (MAC) has been progressing rapidly. Especially a number of QoS-aware MAC schemes have been introduced to extend the legacy IEEE 802.11 MAC protocol which has not guaranteed any service differentiation. However, none of those schemes fulfill both QoS features and channel efficiency although these support the service differentiation based on priority. Therefore this paper studies a novel MAC scheme, referred to as Enhanced Distributed Coordination Function with Network Adaptation (EDCF-NA), for enhancements of both QoS and medium efficiency. It uses a smart factor denoted by ACK rate and Network Load Threshold (TH). In this paper, we study how the value of TH has effect on MAC performance and how the use of optimal TH pair improves the overall MAC performance in terms of the QoS, channel utilization, collision rate, and fairness. In addition, we evaluate and compare both the performance of EDCF-NA depending on several pairs of TH and the achievement of various MAC protocols through simulations by using Network Simulator-2 (NS-2).

• Journal of KIISE:Software and Applications
• /
• v.32 no.12
• /
• pp.1260-1270
• /
• 2005

Support Vector Machines (SVM) is well known for a representative learner as one of the kernel methods. SVM which is based on the statistical learning theory shows good generalization performance and has been applied to various pattern recognition problems. However, SVM is basically to deal with a two-class classification problem, so we cannot solve directly a multi-class problem with a binary SVM. One-Per-Class (OPC) and All-Pairs have been applied to solve the face recognition problem, which is one of the multi-class problems, with SVM. The two methods above are ones of the output coding methods, a general approach for solving multi-class problem with multiple binary classifiers, which decomposes a complex multi-class problem into a set of binary problems and then reconstructs the outputs of binary classifiers for each binary problem. In this paper, we introduce the output coding methods as an approach for extending binary SVM to multi-class SVM and propose new output coding schemes based on the Error-Correcting Output Codes (ECOC) which is a dominant theoretical foundation of the output coding methods. From the experiment on the face recognition, we give empirical results on the properties of output coding methods including our proposed ones.

• Journal of Computational Design and Engineering
• /
• v.3 no.4
• /
• pp.398-413
• /
• 2016

This work describes the design and development of a new drying system for a rollover carwash machine with the support of numerical tools. The drying system is composed of a pair of stationary vertical dryers and a moveable horizontal dryer that can adjust itself to the contour of a vehicle. After the definition of the dryers' concept, their performance was assessed individually to check their internal flow pattern and to improve their airflow distribution. These issues are expected to provide feedback on redesign and geometric optimization of the dryers. After redesign of the dryers separately, the behaviour of the complete drying system was studied on actual vehicle models, representative of the shortest and tallest dimensions that can be washed with the existing carwash machine sector. The drying efficiency of the whole system was studied by calculation of shear stress distribution on various surfaces of a given vehicle. The results allowed concluding that the overall drying performance of the design system is very good and assure adequate drying on most vehicles surfaces. The results obtained from numerical studies were then validated with experimental measurements and a good agreement was found between the two. The procedure employed in this work can be applied to support the design and analysis of other mechanical drying systems.