• Transactions of the Korean Society of Mechanical Engineers
• /
• v.14 no.1
• /
• pp.103-111
• /
• 1990

This paper presents a methodology for predicting stable crack growth and instability of a cracked body under monotonically increasing load. It is based on a model that incremental crack extensions and load increments after fracture initiation occur by turns in sequence and the criterion that the crack grows by an incremebt .delta.a when the opening displacement at the current crack tip increases by a critical value V$_{c}$. It is shown that the value I$_{c}$ = V$_{c}$/ .delta. a is a material constant characterizing ductile crack growth resistance. Along with the fracture initiation toughness value, the constant is used for the calculation of the loads against crack extensions by adding up each increment. The specimen failure is defined to occur when the necessary load increment for crack extension is zero or when the limit load in the current ligament is reached. The predicted failure loads are in good agreement with the avaliable experimental failure loads for the compact and center-cracked tension specimens of 7075-T651, 2024-T351 aluminum alloys and 304 stainless steel.steel.

• Korean System Dynamics Review
• /
• v.7 no.2
• /
• pp.97-120
• /
• 2006

This paper deals with the extension of and discussion on the System Dynamics model (Jeong & Jeon, 2005) of river crabs in Korea. The previous model has been elaborated to empirically search for the optimal restoration and harvest rates of crabs in the Imjin River, on the basis of theoretical models of population dynamics in the field of bio-mathematics and environmental economics. In this paper, the authors tries to couple a series of new feedback loops related to density restrictions and cannibalistic behaviors with a stage-structured model of the crab ecosystem, and also to endogenize the parameter of baby crabs' survival that is caused by water quality improvement and income increase. Through these extensions and relaxations, the authors are able to argue about the strategic decision of the optimal rates additional considerations as well as the properties of the integrated system that was not covered in the previous paper.

• Korean Institute of Interior Design Journal
• /
• v.21 no.2
• /
• pp.152-162
• /
• 2012

In Korean apartment housing, balcony is semi-outdoor space for storage and drying laundry. Recently, this semi-outdoor balcony space has been merged into indoor living space with the legal permission of balcony extension. It results in disappearance of the original function of balcony in apartment housing. This study attempts to propose better utilization of balcony extension by analyzing how balcony has been extended and used, and what residents' needs are. This study asks 400 housewives living in apartment housing in Jangyu new urban area, Kyungnam. Findings are : 1) Balcony extensions are carried out in a living room, a large bedroom and a small bedroom. Most extensions are made for enlarging adjacent indoor living space; 2) Original balcony that is not extended is used for drying laundry, resting, flower pot, storing, and kid's playing; 3) The residents recognize that problems of balcony extension are the decreased heating efficiency, the reduced soundproofing effect, the loss of spare housework space, and the disappearance of buffer between indoor and outdoor space; 4) Many residents want to extend their balcony space of a small bedroom and a large bedroom and to keep the balcony space of a kitchen-dining room and a master bedroom as they are.

• Bulletin of the Korean Mathematical Society
• /
• v.46 no.4
• /
• pp.743-769
• /
• 2009

An ID-based DNF signature scheme is an ID-based signature scheme with an access structure which is expressed as a disjunctive normal form (DNF) with literals of signer identities. ID-based DNF signature schemes are useful to achieve not only signer-privacy but also a multi-user access control. In this paper, we formally define a notion of a (non-interactive) ID-based DNF signature and propose the first noninteractive ID-based DNF signature schemes that are secure under the computational Diffie-Hellman and subgroup decision assumptions. Our first scheme uses random oracles, and our second one is designed without random oracles. To construct the second one, we use a novel technique that converts a non-interactive witness indistinguishable proof system of encryption of one bit into a corresponding proof system of encryption of a bit-string. This technique may be of independent interest. The second scheme straightforwardly yields the first ID-based ring signature that achieves anonymity against full key exposure without random oracles. We finally present two extensions of the proposed ID-based DNF signature schemes to support multiple KGCs and different messages.

• Journal of Arbitration Studies
• /
• v.30 no.1
• /
• pp.139-160
• /
• 2020

Shalish is a key ingredient of the dispute resolution culture in Bangladesh since a formal court system has been known to show inefficiencies, such as overburdened cases and litigation process delays. This paper investigates the main function of Shalish and examines the evolution of Shalish in the perspectives of its three variants: a community-based Shalish, a village court, and an NGO variant of Shalish in modern extensions. It was found that traditional Shalish may play a role in the dispute resolution system in modern villages. A village court is a kind of hybrid dispute resolution system combining an informal dispute resolution with a formal court system. A village court is administered by the Union Parishad without intervention from the central government. Both the Shalish and village court have the weakness of unfair verdict exercised by local elders within a community. For this reason, an NGO variant Shalish is to reflect voices of women and other lower people in the community. To this study's interpretation, a village court is a new kind of Shalish combined with a formal court system while an NGO variant Shalish is also a "new" Shalish combined with a mediation system. In this respect, core elements of Shalish tradition have not been changed although various forms of new dispute resolution systems have emerged in the modern world.

• Journal of the Korean Mathematical Society
• /
• v.47 no.5
• /
• pp.879-897
• /
• 2010

Y. Hirano introduced the concept of a quasi-Armendariz ring which extends both Armendariz rings and semiprime rings. A ring R is called quasi-Armendariz if $a_iRb_j$ = 0 for each i, j whenever polynomials $f(x)\;=\;\sum_{i=0}^ma_ix^i$, $g(x)\;=\;\sum_{j=0}^mb_jx^j\;{\in}\;R[x]$ satisfy f(x)R[x]g(x) = 0. In this paper, we first extend the quasi-Armendariz property of semiprime rings to the skew polynomial rings, that is, we show that if R is a semiprime ring with an epimorphism $\sigma$, then f(x)R[x; $\sigma$]g(x) = 0 implies $a_iR{\sigma}^{i+k}(b_j)=0$ for any integer k $\geq$ 0 and i, j, where $f(x)\;=\;\sum_{i=0}^ma_ix^i$, $g(x)\;=\;\sum_{j=0}^mb_jx^j\;{\in}\;R[x,\;{\sigma}]$. Moreover, we extend this property to the skew monoid rings, the Ore extensions of several types, and skew power series ring, etc. Next we define $\sigma$-skew quasi-Armendariz rings for an endomorphism $\sigma$ of a ring R. Then we study several extensions of $\sigma$-skew quasi-Armendariz rings which extend known results for quasi-Armendariz rings and $\sigma$-skew Armendariz rings.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.9 no.3
• /
• pp.65-73
• /
• 1989

Continuum formulations for the expressions of dynamic energy release rates and computational methods for dynamic stress intensity factors are developed for the analysis of dynamic fracture problems subjected to stress wave loading. Explicit volume integral expressions for instantaneous dynamic energy release rates are derived by modeling virtual crack extensions with the dynamic Eulerian-Lagrangian kinematic description. In the finite element applications a finite region around a crack-tip is modeled by using quarter-point singular isoparametric elements, and the volume integrals are evaluated for each crack-tip element during virtual crack extensions while the singularity is maintained. It is shown that the use of the present method is more reliable and accurate for the dynamic fracture analysis than that of other path-independent integral methods when the effects of stress waves are significant.

• Korean Journal of Mathematics
• /
• v.18 no.2
• /
• pp.119-132
• /
• 2010

P. M. Cohn called a ring R reversible if whenever ab = 0, then ba = 0 for $a,b{\in}R$. In this paper, we study an extension of a reversible ring with its endomorphism. An endomorphism ${\alpha}$ of a ring R is called strong right (resp., left) reversible if whenever $a{\alpha}(b)=0$ (resp., ${\alpha}(a)b=0$) for $a,b{\in}R$, ba = 0. A ring R is called strong right (resp., left) ${\alpha}$-reversible if there exists a strong right (resp., left) reversible endomorphism ${\alpha}$ of R, and the ring R is called strong ${\alpha}$-reversible if R is both strong left and right ${\alpha}$-reversible. We investigate characterizations of strong ${\alpha}$-reversible rings and their related properties including extensions. In particular, we show that every semiprime and strong ${\alpha}$-reversible ring is ${\alpha}$-rigid and that for an ${\alpha}$-skew Armendariz ring R, the ring R is reversible and strong ${\alpha}$-reversible if and only if the skew polynomial ring $R[x;{\alpha}]$ of R is reversible.

• The Korean Journal of Cytopathology
• /
• v.5 no.1
• /
• pp.1-9
• /
• 1994

The cytological and ultrastructural findings of Pneumocystis carinii(PC) obtained from rats by bronchoalveolar lavage (BAL) are described. All developmental forms of the PC organisms were obtained in the lavage fluid. Papanicolaou stain revealed conglomeration of PC as a foamy cast. The cystic walls of PC were well identified on Gomori's methenamine silver stain. Trophozoites and intracystic bodies were stained by Giemsa and Diff-Quik techniques. Some PC organisms were seen within the alveolar macrophages. Ultrastructurally, the cysts were almost circular in shape, and were nearly devoid of surface tubular extensions. The wall of the cyst was composed of an unit membrane, an intermediate electron lucent layer and an external electron dense layer The cysts frequently contained intracystic bodies, so called sporozoites. Occasionally empty or collapsed cysts with no intracystic bodies, and precysts were found. Trophozoites were variable in size and shape with abundant tubular extensions along the single electron dense pellicle. BAL is a useful method for concentrating the various morphologic forms of PC organisms, and is a rapid diagnostic method for PC pneumonia.

• Korean Journal of Logic
• /
• v.23 no.1
• /
• pp.1-23
• /
• 2020

This paper deals with mianorm-based logics with right and left n-potency axioms and their fixpointed involutive extensions. For this, first, right and left n-potent logic systems based on mianorms, their corresponding algebraic structures, and their algebraic completeness results are discussed. Next, completeness with respect to algebras whose lattice reduct is [0, 1], known as standard completeness, is established for these systems via Yang's construction in the style of Jenei-Montagna. Finally, further standard completeness results are introduced for their fixpointed involutive extensions.