• Journal of the Korean Operations Research and Management Science Society
• /
• v.12 no.1
• /
• pp.10-18
• /
• 1987

This paper discusses algorithmic properties of a class of complementarity programs involving strictly diagonally isotone and off-diagonally isotone functions, i. e., functions whose Jacobian matrices have positive diagonal elements and nonnegative off-diagonal elements, A typical traffic equilibrium under elastic demands is cast into this class. Algorithmic properties of these complementarity problems, when a Jacobi-type iteration is applied, are investigated. It is shown that with a properly chosen starting point the generated sequence are decomposed into two converging monotonic subsequences. This and related will be useful in developing solution procedures for this class of complementarity problems.

• Structural Engineering and Mechanics
• /
• v.65 no.1
• /
• pp.81-89
• /
• 2018

Stone column installation is a convenient method for improvement of soft ground. In very soft clays, in order to increase the lateral confinement of the stone columns, encasing the columns with high stiffness and creep resistant geosynthetics has proved to be a successful solution. This paper presents the results of three dimensional finite element analyses for evaluating improvement in behaviour of ordinary stone columns (OSCs) installed in soft clay by geotextile encasement under monotonic and cyclic loading by a comprehensive parametric study. The parameters include length and stiffness of encasement, types of stone columns (floating and end bearing), frictional angle and elastic modulus of stone column's material and diameter of stone columns. The results indicate that increasing the stiffness of encasement clearly enhances cyclic behaviour of geotextile encased stone columns (GESCs) in terms of reduction in residual settlement. Performance of GESCs is less sensitive to internal friction angle and elasticity modulus of column's materials in comparison with OSCs. Also, encasing at the top portion of stone column up to triple the diameter of column is found to be adequate in improving its residual settlement and at all loading cycles, end bearing columns provide much higher resistance than floating columns.

• Journal of the Korean Society for Heat Treatment
• /
• v.9 no.3
• /
• pp.212-218
• /
• 1996

To clarify the influence of precipitation microstructure and inclusion on the monotonic tensile fracture behaviors in 2090 alloy aged at $180^{\circ}C$, the detailed measurement of hardness, tensile strength, elongation and the observation of scanning electron micrography, transmision electron micrography have been carried out. The transgranular shear ductile fracture has been observed in specimen quenched after solution treatment at $500^{\circ}C$ for 45min. While the under-aged specimen was fractured in both transgranular shear ductile and intergranular fracture mode, the fracture mode of peak-aged and over-aged alloy was predominantly intergranular fracture. The fracture behavior of each ageing condition was influenced by the change of precipitation microstructural features. In the case of peak-aged and over-aged alloys, the coarse and heterogeneous slip band caused by both shearable nature of the ${\delta}^{\prime}(Al_3Li)$ precipitates and PFZ along the high angle grain boundary aid the localization of deformation, resulting in low energy intergranular fracture. It was also estimated that the fractured T-type intermetallic phases (inclusion) and the equilibrium ${\delta}$(AlLi) phases which were formed at grain boundaries palyed an important role in promoting intergranular fracture mode.

• Proceedings of the KIEE Conference
• /
• 2001.07d
• /
• pp.2369-2373
• /
• 2001

Usually the static scheduling algorithms such as DMS (Deadline Monotonic Scheduling) or RMS(Rate Monotonic Scheduling) are used for CAN scheduling due to its ease with implementation. However, due to their inherently low utilization of network media, some dynamic scheduling approaches have been studied to enhance the utilization. In case of dynamic scheduling algorithms, two considerations are needed. The one is a priority inversion due to rough deadline encoding into stricted arbitration fields of CAN. The other is an arbitration delay due to the non-preemptive feature of CAN. In this paper, an extended algorithm is proposed from an existing EDS(Earliest Deadline Scheduling) approach of CAN scheduling algorithm haying a solution to the priority inversion. In the proposed algorithm, the available bandwidth of network media can be checked dynamically by all nodes. Through the algorithm, arbitration delay causing the miss of their deadline can be avoided in advance. Also non real-time messages can be processed with their bandwidth allocation. The proposed algorithm can achieve full network utilization and enhance aperiodic responsiveness, still guaranteeing the transmission of periodic messages.

• Geomechanics and Engineering
• /
• v.10 no.2
• /
• pp.189-205
• /
• 2016

Soils are subjected to additional stresses due to the loads transferred by the foundations of the buildings. The distribution of stress in soil has great importance in geotechnical engineering projects such as stress, settlement and liquefaction analyses. The purpose of this study is to examine the shear stresses on horizontal plane below the rectangular foundations subjected to biaxial bending on an elastic soil. In this study, closed-form analytical solutions for shear stresses in x and y directions were obtained from Boussinesq's stress equations. The expressions of analytical solutions were simplified by defining the shear stress influence values ($I_1$, $I_2$, $I_3$), and solution charts were presented for obtaining these values. For some special loading conditions, the expressions for shear stresses in the soil below the corners of a rectangular foundation were also given. In addition, a computer program was developed to calculate the shear stress increment at any point below the rectangular foundations. A numerical example for illustrating the use of the presented solution charts was given and, finally, shear stress isobars were obtained for the same example by a developed computer program. The shear stress expressions obtained in this work can be used to determine monotonic and cyclic behavior of soils below rectangular foundations subjected to biaxial bending.

• Journal of KIISE:Software and Applications
• /
• v.37 no.4
• /
• pp.282-296
• /
• 2010

OWL is an ontology language for the Semantic Web, and suited to modelling the knowledge of a specific domain in the real-world. Ontology also can infer new implicit knowledge from the explicit knowledge. However, the modeled knowledge cannot be complete as the whole of the common-sense of the human cannot be represented totally. Ontology do not concern handling nonmonotonic reasoning to detect incomplete modeling such as the integrity constraints and exceptions. A default rule can handle the exception about a specific class in ontology. Integrity constraint can be clear that restrictions on class define which and how many relationships the instances of that class must hold. In this paper, we propose a practical reasoning system for open and closed-world reasoning that supports a novel hybrid integration of ontology based on open world assumption (OWA) and non-monotonic rule based on closed-world assumption (CWA). The system utilizes a method to solve the problem which occurs when dealing with the incomplete knowledge under the OWA. The method uses the answer set programming (ASP) to find a solution. ASP is a logic-program, which can be seen as the computational embodiment of non-monotonic reasoning, and enables a query based on CWA to knowledge base (KB) of description logic. Our system not only finds practical cases from examples by the Protege, which require non-monotonic reasoning, but also estimates novel reasoning results for the cases based on KB which realizes a transparent integration of rules and ontologies supported by some well-known projects.

• Journal of Communications and Networks
• /
• v.18 no.6
• /
• pp.902-912
• /
• 2016

Recent advances in energy harvesting (EH) technology have motivated the adoption of rechargeable mobile devices for communications. In this paper, we consider a point-to-point (P2P) wireless communication system in which an EH transmitter with a non-ideal rechargeable battery is required to send a given fixed number of bits to the receiver before they expire according to a preset delay constraint. Due to the possible energy loss in the storage process, the harvest-use-and-store (HUS) architecture is adopted. We characterize the properties of the optimal solutions, for additive white Gaussian channels (AWGNs) and then block-fading channels, that maximize the energy efficiency (i.e., battery residual) subject to a given rate requirement. Interestingly, it is shown that the optimal solution has a water-filling interpretation with double thresholds and that both thresholds are monotonic. Based on this, we investigate the optimal double-threshold based allocation policy and devise an algorithm to achieve the solution. Numerical results are provided to validate the theoretical analysis and to compare the optimal solutions with existing schemes.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.25 no.4
• /
• pp.15-25
• /
• 2000

In this paper, we introduce a point-to-multipoint minimum cost flow problem with convex and demand splitting. A source node transmits the traffic along the tree that includes members of the point-to-multipoint connection. The traffic is replicated by the nodes only at branch points of the tree. In order to minimize the sum of arc costs, we assume that the traffic demand can be splitted and transmitted to destination nodes along different trees. If arc cost is linear, the problem would be a Steiner tree problem in networks eve though demand splitting is permitted. The problem would be applied in transmitting large volume of traffic from a serve to clients in Internet environments. Optimality conditions of the problem are presented in terms of fair tree routing. The proposed algorithm is a finite terminating algorithm for $\varepsilon$-optimal solution. convergence of the algorithm is obtained under monotonic condition and strict convexity of the cost function. Computational experiences are included.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.7 no.2
• /
• pp.175-185
• /
• 1983

When a circular cylinder near the plane fluid-interface of different viscosities is in parallel and normal motion, solutions of the Oseen equation are obtained. Classical image method with Faxen's integral form is used to satisfy the boundary conditions on the plane interface. Coefficients of drag and lift increase as a cylinder approaches to the interface. But drag-coefficients of parallel motions with viscosity-ratio less than unity are decreased slightly. They show monotonic increase with Reynolds number in case of parallel motion, but minimum values of drag coefficients in normal motion are appeared. On the other hand Stokes' solution are obtained by taking limits of low Reynolds number except the case of parallel motion with viscosity-ratio not equal to infinity.

• Steel and Composite Structures
• /
• v.19 no.4
• /
• pp.789-809
• /
• 2015

This paper presents experimental and numerical studies into the structural behavior of a high performance corbel type composite connection adopted in Raffles City of Hangzhou, China. Physical tests under both monotonic and quasi-static cyclic loads were conducted to investigate the load carrying capacities and deformation characteristics of this new type of composite connection. A variety of structural responses are examined in detail, including load-deformation characteristics, the development of sectional direct and shear strains, and the history of cumulative plastic deformation and energy. A three-dimensional finite element model built up with solid elements was also proposed for the verification against test results. The studies demonstrate the high rigidity, strength and rotation capacities of the corbel type composite connections, and give detailed structural understanding for engineering design and practice. Structural engineers are encouraged to adopt the proposed corbel type composite connections in mega high-rise buildings to achieve an economical and buildable and architectural friendly engineering solution.