• Journal of the Korean Mathematical Society
• /
• v.54 no.4
• /
• pp.1121-1148
• /
• 2017

Go is an ancient game of great complexity and has a huge following in East Asia. It is also very rich mathematically, and can be played on any graph, although it is usually played on a square lattice. As with any game, one of the most fundamental problems is to determine the number of legal positions, or the probability that a random position is legal. A random Go position is generated using a model previously studied by the author, with each vertex being independently Black, White or Uncoloured with probabilities q, q, 1 - 2q respectively. In this paper we consider the probability of legality for two scenarios. Firstly, for an $N{\times}N$ square lattice graph, we show that, with $q=cN^{-{\alpha}}$ and c and ${\alpha}$ constant, as $N{\rightarrow}{\infty}$ the limiting probability of legality is 0, exp($-2c^5$), and 1 according as ${\alpha}$ < 2/5, ${\alpha}=2/5$ and ${\alpha}$ > 2/5 respectively. On the way, we investigate the behaviour of the number of captured chains (or chromons). Secondly, for a random graph on n vertices with edge probability p generated according to the classical $Gilbert-Erd{\ddot{o}}s-R{\acute{e}}nyi$ model ${\mathcal{G}}$(n; p), we classify the main situations according to their asymptotic almost sure legality or illegality. Our results draw on a variety of probabilistic and enumerative methods including linearity of expectation, second moment method, factorial moments, polyomino enumeration, giant components in random graphs, and typicality of random structures. We conclude with suggestions for further work.

• Journal of Korean Society of Steel Construction
• /
• v.20 no.3
• /
• pp.409-419
• /
• 2008

A co-rotational quasi-conforming formulation of four- node stress resultant shell elements using Ivanov-Ilyushin yield criteria are presented for the nonlinear analysis of plate and shell structure. The formulation of the geometrical stiffness is defined by the full definition of the Green strain tensor and it is efficient for analyzing stability problems of moderately thick plates and shells as it incorporates the bending moment and transverse shear resultant force. As a result of the explicit integration of the tangent stiffness matrix, this formulation is computationally very efficient in incremental nonlinear analysis. This formulation also integrates the elasto-plastic material behaviour using Ivanov Ilyushin yield condition with isotropic strain hardening and its asocia ted flow rules. The Ivanov Ilyushin plasticity, which avoids multi-layer integration, is computationally efficient in large-scale modeling of elasto-plastic shell structures. The numerical examples herein illustrate a satisfactory concordance with test ed and published references.

• Journal of Korean Tunnelling and Underground Space Association
• /
• v.15 no.3
• /
• pp.311-320
• /
• 2013

This paper presents the effect of Segment thickness during Shield TBM tunnelling in case study. In order to perform this study, the ground condition developed in the investigation site are reviewed and analysed. It is also carried out the construction problems occurred in the site during Shield TBM tunnelling. Several Segments were broken partially during advance tunnel by jacking pressure. The data surveyed from site are analysed in order to investigate the cause of Segment break. The numerical and analytical evaluations are carried out to examine the effect of Segment behaviour. From the results, it is found that the main causes of Segment break may be the jacking system and Segment thickness. In addition, new jacking technique is suggested to install safely the Segment during advance tunnel by jacking.

• The Journal of Korean Association of Computer Education
• /
• v.13 no.6
• /
• pp.9-21
• /
• 2010

Concurrent processes come into conflict with each other when they are competing for the use of the same resources. In the case of competing processes three control problems must be faced: mutual exclusion, deadlock, and starvation. The concurrency is a subject rather difficult to understand. In addition, because concurrent programs included in most of OS texts are described by pseudocode and are not being able to execute directly, almost learners are difficult to understand behaviour of concurrent programs. The purpose of this study is to propose instruction method for mutual exclusion using SDL and MSC base on graphic. In order to verify the effectiveness of the proposed materials, we compare with materials based on pseudocode. The results indicated that the proposed materials is more effective than materials based on pseudocode in teaching-learning for mutual exclusion mechanisms.

• Journal of the Korean Geotechnical Society
• /
• v.15 no.5
• /
• pp.193-204
• /
• 1999

Particle crushing is an important and essential factor in interpreting the strength and deformation properties of granular materials in the case of geotechnical problems related to soil crushability. As a recent field problem, the exploitation of offshore oil reserves in tropical and sub-tropical coastal shelf areas has shown that the behaviour of soils containing carbonates is markedly different from predominantly silica sands. In this study, as a first step in making a mechanical framework of granular materials incorporating the soil crushability, single particle fragmentation tests were carried out on four different types of sands in order to clarify the characteristics of the single particle fragmentation strength as related to soil crushability. The single particle strength was considered with the influence of the particle shapes, the amount of mineral components and the particle sizes. The soil particle strength corresponding $D_{50}$ of soil distribution curve has shown the lower value, the more the carbonate component and the more angular the particle shape.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.17 no.2
• /
• pp.285-299
• /
• 1993

The objective of the present study is to analyze material flow in the metal forming processes by using computer simulation and experiment with model material, plasticine. A UBET program is developed to analyze the bulk flow behaviour of various metal forming problems. The elemental strain-hardening effect is considered in an incremental manner and the element system is automatically regenerated at every deforming step in the program. The material flow behavior in closed-die forging process with rib-web type cavity are analyzed by UBET and elastic-plastic finite element method, and verified by experiments with plasticine. There were good agreements between simulation and experiment. The effect of corner rounding on material flow behavior is investigated in the analysis of backward extrusion with square die. Flat punch indentation process is simulated by UBET, and the results are compared with that of elastic-plastic finite element method.

• Asian-Australasian Journal of Animal Sciences
• /
• v.28 no.3
• /
• pp.451-455
• /
• 2015

The buffalo is an important livestock resource in several countries of South Asia and the Mediterranean regions. However, reproductive efficiency is compromised due to known problems of biological and management origins, such as lack of animal selection and poor nutrition. Under optimal conditions puberty is attained at 15 to 18 months in river buffalo, 21 to 24 months in swamp buffalo and is influenced by genotype, nutrition, management and climate. However, under field conditions these values deteriorate up to a significant extant. To improve reproductive efficiency, several protocols of oestrus and ovulation synchronization have been adopted from their use in commercial cattle production. These protocols yield encouraging pregnancy rates of (30% to 50%), which are comparable to those achieved in buffaloes bred at natural oestrus. The use of sexed semen in buffalo heifers also showed promising pregnancy rates (50%) when compared with conventional non-sexed semen. Assisted reproductive technologies have been transferred and adapted to buffalo but the efficiency of these technologies are low. However, these latest technologies offer the opportunity to accelerate the genetic gain in the buffalo industry after improving the technology and reducing its cost. Most buffaloes are kept under the small holder farming system in developing countries. Hence, future research should focus on simple, adoptable and impact-oriented approaches which identify the factors determining low fertility and oestrus behaviour in this species. Furthermore, role of kisspeptin needs to be explored in buffalo.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.17 no.3
• /
• pp.279-293
• /
• 2004

The analysis of linear static and free vibration problems of isotropic and laminated composite plates and shells is performed by the improved 9-node shell element with the new strain displacement relationship. In that relationship, the effect of new additional terms between the bending strain and displacement has been investigated in the warping problem. Natural co ordinate based strains, stresses and constitutive equations are used. The assumed natural strain method is used to alleviate both membrane and shear locking behavior from the element. The Lanczos method is employed in the calculation of the eigenvalues of laminated composite structures and the Gauss integration rule is adopted to evaluate the mass matrix. The numerical examples are compared with the analytical solutions to validate the current formulation and the results presented could be useful for the understanding of the behaviour of laminates under free vibration conditions.

• Transactions of Materials Processing
• /
• v.6 no.3
• /
• pp.239-249
• /
• 1997

The behaviour of alloys in the semi-solid state strongly depends on the imposed stress state and on the morphology of the phase which can vary from dendritic to globular. To optimal net shape forging of semi-solid materials, it is important to investigate for filling phenomena in forging process of arbitrarily shaped dies. To produce a automotive part which has good mechanical property, the filling pattern according to die velocity and solid fraction distribution has to be estimated for arbitrarily shaped dies. Therefore, the estimation of filling characteristic in the forging simulation with arbitrarily shaped dies of semi-solid materials are calculated by finite element method with proposed algorithm. The proposed theoretical model and a various boundary conditions for arbitrarily shaped dies is investigated with the coupling calculation between the liquid phase flow and the solid phase deformation. The simulation process with arbitrarily shaped dies is performed to the isothermal conditions of two dimensional problems. To analysis of forging process by using semi-solid materials, a new stress-strain relationship is described, and forging analysis is performed by viscoelastic model for the solid phase and the Darcy's law for the liquid flow. The calculated results for forging force and filling limitations will be compared to experimental data. The filling simulation of simple products performed with the uniform billet temperature(584$^{\circ}C$) from the induction heating by the commercial package MAGMAsoft. The initial step of computation is the touching of semi-solid material with the end of die gate and the initial concept of proposed system just fit with the capability of MAGMAsoft.

• Asian Pacific Journal of Cancer Prevention
• /
• v.16 no.1
• /
• pp.145-152
• /
• 2015

Barriers to health seeking constitute a challenging issue in the treatment of breast cancer. The current meta-synthesis aimed to explore common barriers to health seeking among Malaysian breast cancer patients. From the systematic search, nine studies were found meeting the inclusion criteria. Data extraction revealed that health behavior towards breast cancer among Malaysia women was influenced by knowledge, psychological, sociocultural and medical system factors. In terms of knowledge, most of the Malaysian patients were observed to have cursory information and the reliance on the information provided by media was limiting. Among psychological factors, stress and sense of denial were some of the common factors leading to delay in treatment seeking. Family member's advice, cultural beliefs towards traditional care were some of the common sociocultural factors hindering immediate access to advanced medical diagnosis and care. Lastly, the delay in referral was one of the most common health system-related problems highlighted in most of the studies. In conclusion, there is an immediate need to improve the knowledge and understanding of Malaysian women towards breast cancer. Mass media should liaise with the cancer specialists to disseminate accurate and up-to-date information for the readers and audience, helping in modification of cultural beliefs that hinder timing health seeking. However, such intervention will not improve or rectify the health system related barriers to treatment seeking. Therefore, there is an immediate need for resource adjustment and training programs among health professional to improve their competency and professionalism required to develop an efficient health system.