• Kyungpook Mathematical Journal
• /
• v.61 no.2
• /
• pp.239-248
• /
• 2021

In this paper we study modules with the W F I⁺-extending property. We prove that if M satisfies the W F I⁺-extending, pseudo duo properties and M/(Soc M) has finite uniform dimension then M decompose into a direct sum of a semisimple submodule and a submodule of finite uniform dimension. In particular, if M satisfies the W F I⁺-extending, pseudo duo properties and ascending chain (respectively, descending chain) condition on essential submodules then M = M₁ ⊕ M₂ for some semisimple submodule M₁ and Noetherian (respectively, Artinian) submodule M₂. Moreover, we show that if M is a W F I-extending module with pseudo duo, C₂ and essential socle then the quotient ring of its endomorphism ring with Jacobson radical is a (von Neumann) regular ring. We provide several examples which illustrate our results.

• Honam Mathematical Journal
• /
• v.8 no.1
• /
• pp.51-74
• /
• 1986

The thery of measure is significant in that we extend from it to the theory of integration. AS specific metric outer measures we can take Hausdorff outer measure and Lebesgue-Stieltjes outer measure connecting measure with monotone functions.([12]) The purpose of this paper is to find some properties of Lebesgue-Stieltjes measure by extending it from $R^1$ to $R^n(n{\geq}1)$ $({\S}3)$ and differentiation of the integral defined by Borel measure $({\S}4)$. If in detail, as follows. We proved that if $_n{\lambda}_{f}^{\ast}$ is Lebesgue-Stieltjes outer measure defined on a finite monotone increasing function $f:R{\rightarrow}R$ with the right continuity, then $$_n{\lambda}_{f}^{\ast}(I)=\prod_{j=1}^{n}(f(b_j)-f(a_j))$$, where $I={(x_1,...,x_n){\mid}a_j$<$x_j{\leq}b_j,\;j=1,...,n}$. (Theorem 3.6). We've reached the conclusion of an extension of Lebesgue Differentiation Theorem in the course of proving that the class of continuous function on $R^n$ with compact support is dense in $L^p(d{\mu})$ ($1{\leq$}p<$\infty$) (Proposition 2.4). That is, if f is locally $\mu$-integrable on $R^n$, then $\lim_{h\to\0}\left(\frac{1}{{\mu}(Q_x(h))}\right)\int_{Qx(h)}f\;d{\mu}=f(x)\;a.e.(\mu)$.

• Journal of English Language & Literature
• /
• v.57 no.6
• /
• pp.1043-1065
• /
• 2011

This study investigates i-umlaut which occurred in the period of pre Old English (OE) in two aspects: what motivates i-umlaut in OE and how the phenomenon can be analyzed within the framework of OT. Unlike root-controlled vowel harmony, i-umlaut in OE is triggered by the suffixal i or j in the unstressed syllable whereby a stressed root vowel becomes fronted or raised. In this study, it is proposed that i-umlaut in OE is driven by the weak trigger i or j to improve its poor perception: I-umlaut improves the poor perceptibility of the weak trigger by extending its feature-either [-back] or [-low]-onto the vowel in the stressed syllable. This study provides an OT-theoretic analysis utilizing the licensing account to vowel harmony proposed by Walker (2004, 2005). The licensing constraints, IDENT-IO(F) and the locally conjoined constraints are proposed and their interaction correctly captures the pattern of i-umlaut in OE. Also, it is shown that the licensing account proposed in this paper is superior to the previous analyses as well as the nonlicensing approaches in that it can provide a perceptual motivation couched in i-umlaut in OE.

• Journal of the Korean Mathematical Society
• /
• v.45 no.3
• /
• pp.727-740
• /
• 2008

A ring R is called IFP, due to Bell, if ab=0 implies aRb=0 for $a,b{\in}R$. Huh et al. showed that the IFP condition need not be preserved by polynomial ring extensions. But it is shown that ${\sum}^n_{i=0}$ $E_{ai}E$ is a nonzero nilpotent ideal of E whenever R is an IFP ring and $0{\neq}f{\in}F$ is nilpotent, where E is a polynomial ring over R, F is a polynomial ring over E, and $a_i^{'s}$ are the coefficients of f. we shall use the term near IFP to denote such a ring as having place near at the IFPness. In the present note the structures of IFP rings and near-IFP rings are observed, extending the classes of them. IFP rings are NI (i.e., nilpotent elements form an ideal). It is shown that the near-IFPness and the NIness are distinct each other, and the relations among them and related conditions are examined.

• YAKHAK HOEJI
• /
• v.44 no.6
• /
• pp.607-612
• /
• 2000

Generally, antitumor drugs have strong toxicity and result in damage in normal cells. Previously, lectin has been reported as a tumor cell specific binding protein and tannin as an antitumor substance. In this study, we investigated antitumor activity of lectin-conjugated ellagitannin and used praecoxin A as an ellagitannin source. We injected mouse melanoma cell, B16-F10, on right the femoral region of C57BL/6 mouse. After 10 hours later, first treatment with praecoxin A, lectin-praecoxin A mixiture and lectin-conjugated praecoxin A was carried and followed by injection i.m. every 48 hours. Praecoxin A extended the life of mice up to 14.8% in comparison with the negative control group at 5 mg/kg dose. The life extending ratio of Lectin-praecoxin A mixture was 26.1% at 5 mg/kg dose, and the life extending ratio of lectin-conjugated praecoxin A was 28.7% at 5 mg/kg dose. On the basis of these findings, we suggest that antitumor activities of lectin-praecoxin A mixiture and lectin-conjugated praecoxin A on survival are better than that of praecoxin A.

• Asian-Australasian Journal of Animal Sciences
• /
• v.16 no.9
• /
• pp.1242-1246
• /
• 2003

Data pertained to 335 crossbred cows comprising of 1/2 Friesian (F) + 1/2 Hariana (H), 1/2 F + 1/4 Jersey (J) + 1/4 H, 1/2 F + 1/4 Brown Swiss (BS) + 1/4 H, 1/2 F + 1/4 Red Dane (R) + 1/4 H, FR (I) and FRH (I) genetic groups extending over a period of 21 years (1970-1990) maintained at Animal Farm of CCS HAU, Hisar. The averages for first lactation milk yield was $2,486.24{\pm}80.26kg$ and peak yield of first three lactation were $11.35{\pm}0.72kg$, $13.97{\pm}0.60kg$ and $16.02{\pm}0.42kg$, respectively. The lifetime milk production was observed as $11,305.16{\pm}1,004.52kg$ in crossbred cattle. The average first lactation fat yield was observed as $102.06{\pm}0.01kg$ and peak fat yield of first three lactation were $0.458{\pm}0.01$, $0.490{\pm}0.01$ and $0.500{\pm}0.02kg$, respectively. The lifetime fat production was estimated as $502.31{\pm}45.90kg$. LTMP and LTFP had reasonably good additive genetic variance which could be exploited either through mass selection/combined with family or pedigree selection. FLMY, peak yields and LTMP had significant positive phenotypic correlation with FLFY and LTFP and the correlation at the genetic level were also higher and positive for these traits. Finally, peak week milk yield of first lactation (PMY1) was the earliest available trait having desirable and significant correlation at phenotypic and positive at genetic level with FLFY, PFY1 and PFY2, PFY3 and LTFP and selection for this trait will help in early evaluation of sires and dams and will increase genetic advancement per unit of time.

• 한국논리학회:학술대회논문집
• /
• 2009.05a
• /
• pp.38-66
• /
• 2009

Weakening-free non-associative fuzzy logics, which are based on mica-norms, are introduced as non-associative substructural logics extending $GL_{e\bot}$ (Non-associative Full Lambek calculus with exchange and constants T, F) introduced by Galatos and Ono (cf. see [10, 11]). First, the mica-norm logic MICAL, which is intended to cope with the tautologies of left-continuous conjunctive mica-norms and their residua, and several axiomatic extensions of it are introduced as weakening-free non-associative fuzzy logics. The algebraic structures corresponding to the systems are then defined, and algebraic completeness results for them are provided. Next, standard completeness (i,e. completeness with respect to algebras whose lattice reduct is the real unit interval [0, 1]) is established for these logics by using Jenei and Montagna-style approach for proving standard completeness in [7, 18].

• Animal Systematics, Evolution and Diversity
• /
• v.39 no.4
• /
• pp.254-263
• /
• 2023

Two feather mites, Brephosceles anatina Dubinin, 1951 (Analgoidea: Alloptidae) and Freyana anatina (Koch, 1844) (Pterolichoidea: Freyanidae), have been reported for the first time from the Eastern Spot-billed Duck, Anas zonorhyncha Swinhoe, 1866 (Anseriformes: Anatidae), in Korea. The genera Brephosceles Hull, 1934 and Freyana Haller, 1877 are new records of Korean fauna. The morphology of B. anatina is distinguished from three species of the lambda species group in having legs IV extending the level of setae e2 with the distal end of the tarsus in males, and the incision on the posterior margin of the hysteronotal shield triangular-shaped and distinctly longer than its greatest width in females. Freyana anatina is distinguished from F. nyrocae and F. obliquasetae in having setae ps1 with a rectangle bend in homeomorphic males, and setae ps1 obliquely ovate and divergent, with the inner canal going obliquely across the membranous part of these setae in females. This study provides morphological redescriptions of both feather mite species supplemented with partial sequences of mitochondrial cytochrome c oxidase subunit I(COI), based on specimens collected in Korea.

• Nuclear Engineering and Technology
• /
• v.9 no.4
• /
• pp.203-210
• /
• 1977

Using dimethylsulfoxide (DMSO) as a labelling aid, insulin--$^{126}$ I of radioimmunoassay use has been effectively prepared. A small amount of DMSO was added to usual labelling mixture ana the reaction time was controled. The labelled insulin obtained in such a way showed improved bindabilities to the antibody and thus expressed larger dose-gradients in the plots of standard dose-response curves even though the labelling rate was decreased to some extent. However, by extending the reaction time to about 1 min, average labelling yield of 30% could be obtained. The average increase of bindability (B/F) in definite antiserum dilution was 2.5 comparing with 1.5 obtained in the absence of DMSO. Thus, the net bindability increase was 70% of those obtained in tile absence of DMSO. By means of a NMR spectrometry, it has been confirmed that the DMSO in the labelling mixtutre is converted to dimethylsulfone by chloramine-T. The results, generally agreed with the Stags's postulation, were discussed in view of a competitive oxidation of DMSO with disulfide linkages of the insulin molecule by the chloramine-T.

• Smart Structures and Systems
• /
• v.4 no.6
• /
• pp.809-828
• /
• 2008

Real-time hybrid testing is an attractive method to evaluate the response of structures under earthquake loads. The method is a variation of the pseudodynamic testing technique in which the experiment is executed in real time, thus allowing investigation of structural systems with time-dependent components. Real-time hybrid testing is challenging because it requires performance of all calculations, application of displacements, and acquisition of measured forces, within a very small increment of time. Furthermore, unless appropriate compensation for time delays and actuator time lag is implemented, stability problems are likely to occur during the experiment. This paper presents an approach for real-time hybrid testing in which time delay/lag compensation is implemented using model-based response prediction. The efficacy of the proposed strategy is verified by conducting substructure real-time hybrid testing of a steel frame under earthquake loads. For the initial set of experiments, a specimen with linear-elastic behavior is used. Experimental results agree well with the analytical solution and show that the proposed approach and testing system are capable of achieving a time-scale expansion factor of one (i.e., real time). Additionally, the proposed method allows accurate testing of structures with larger frequencies than when using conventional time delay compensation methods, thus extending the capabilities of the real-time hybrid testing technique. The method is then used to test a structure with a rate-dependent energy dissipation device, a magnetorheological damper. Results show good agreement with the predicted responses, demonstrating the effectiveness of the method to test rate-dependent components.