• KSBB Journal
• /
• v.5 no.3
• /
• pp.195-200
• /
• 1990

The growth behavior of recombinant Escherichia coli cells having plasmid pIF-III-B, which carries human alpha-interferon gene under the control of lpp promoter, lac promoter and lac operator, was studied by using of various E. coli host strains. Expression of the alpha-IFN gene is controllable by using inducer IPTG because the plasmid also contains lacI gene which produces lac regressors. The repressors block the transcription of alpha-IFN gene. There were considerable differences in cell growth according to the host strains used. Cell growth was inhibited not only by plasmid pIF-III-B itself but also by the induction of alph-a-IFN gene expression. Growth inhibition caused by the plasmid itself was more serious than that caused by the induction of alpha-IFN gene expression.

• Kyungpook Mathematical Journal
• /
• v.63 no.2
• /
• pp.155-166
• /
• 2023

In 2018, Andrews introduced the partition functions ${\mathfrak{EO}}$(n) and ${\bar{\mathfrak{EO}}}$(n). The first of these denotes the number of partitions of n in which every even part is less than each odd part, and the second counts the number of partitions enumerated by the first in which only the largest even part appears an odd number of times. In 2021, Pore and Fathima introduced a new partition function ${\mathfrak{EO}}_e$(n) which counts the number of partitions of n which are enumerated by ${\bar{\mathfrak{EO}}}$(n) together with the partitions enumerated by ${\bar{\mathfrak{EO}}}$(n) where all parts are odd and the number of parts is even. They also proved some particular congruences for ${\bar{\mathfrak{EO}}}$(n) and ${\mathfrak{EO}}_e$(n). In this paper, we establish infinitely many families of congruences modulo 2, 4, 5 and 8 for ${\bar{\mathfrak{EO}}}$(n) and modulo 4 for ${\mathfrak{EO}}_e$(n). For example, if p ≥ 5 is a prime with Legendre symbol $({\frac{-3}{p}})=-1$, then for all integers n ≥ 0 and α ≥ 0, we have ${\bar{\mathfrak{EO}}}(8{\cdot}p^{2{\alpha}+1}(pn+j)+{\frac{19{\cdot}p^{2{\alpha}+2}-1}{3}}){\equiv}0$ (mod 8); 1 ≤ j ≤ (p - 1).

• Bulletin of the Korean Mathematical Society
• /
• v.50 no.4
• /
• pp.1303-1314
• /
• 2013

An injective coloring of a graph G is an assignment of colors to the vertices of G so that any two vertices with a common neighbor receive distinct colors. A graph G is said to be injectively $k$-choosable if any list $L(v)$ of size at least $k$ for every vertex $v$ allows an injective coloring ${\phi}(v)$ such that ${\phi}(v){\in}L(v)$ for every $v{\in}V(G)$. The least $k$ for which G is injectively $k$-choosable is the injective choosability number of G, denoted by ${\chi}^l_i(G)$. In this paper, we obtain new sufficient conditions to be ${\chi}^l_i(G)={\Delta}(G)$. Maximum average degree, mad(G), is defined by mad(G) = max{2e(H)/n(H) : H is a subgraph of G}. We prove that if mad(G) < $\frac{8k-3}{3k}$, then ${\chi}^l_i(G)={\Delta}(G)$ where $k={\Delta}(G)$ and ${\Delta}(G){\geq}6$. In addition, when ${\Delta}(G)=5$ we prove that ${\chi}^l_i(G)={\Delta}(G)$ if mad(G) < $\frac{17}{7}$, and when ${\Delta}(G)=4$ we prove that ${\chi}^l_i(G)={\Delta}(G)$ if mad(G) < $\frac{7}{3}$. These results generalize some of previous results in [1, 4].

• Journal of the Korean Society of School Health
• /
• v.19 no.1
• /
• pp.79-88
• /
• 2006

Purpose : To identify general characteristics of school personnel with recent fatigue which was the most frequent symptom among subjective symptoms and to explore fatigue-related factors by evaluating physical and perceived health status, life style, and symptoms through data mining techniques. Methods : We collected a data of the 1,147(male 545, female 602) who were elementary, middle, or high school personnel, answered a questionnaire, and received physical examination in Seoul School Health Center from September to November in 2000. And we investigated the differences between fatigue group and non-fatigue group for demographic characteristics, physical health status, perceived health status, symptoms, and laboratory values by frequency, chi-square test, t-test, or simple logistic regression analysis by SAS package 8.1, and then selected significant variables as input variables of a decision tree analysis of CART model by SAS E-miner. Results : In general characteristics, the fatigue consisted of 41.1%(male 35.2%, female 46.4%) among 1,147 school personnel. In classical statistics, factors related with fatigue were female, lower means of systolic and diastolic pressure, young age, personnel in middle school, irregular eating habit, no exercise a week or less than 30minutes exercise a day, perception of unhealthy status, and subjective symptoms including short of breath at exercise. In simple logistic regression to examine the relationship between selected independent variables and fatigue as a dependent variable, the odds ratio of gender (female vs male) was 1.58 times, and young age ( 20s vs 60s) 20.67 times, and middle vs high school personnel 1.86 times. However, we mined combined several characteristics by SAS-E miner. In CART model, if health perception was healthy, and age was >= 37.5 years, the proportion of the fatigue was only 19.3%. but if health perception was not healthy and symptom was severe 'short of breath' during exercise and age was < 53.5 years, and BMI was >= 22.69, the proportion of the fatigue was up to 84.8%. Conclusions : The fatigue consisted of 41.1%(male 35.2%, female 46.4%). In classical statistics, fatigue-related factors among school personnel were young age, female gender, perceived unhealthy status, subjective physical symptoms, poor life-style, and lower blood pressure rather than only physical health status. However, in data mining, if health perception was healthy and age was >= 37.5 years, the proportion of the fatigue was only 19.3%. but if health perception was not healthy and symptom was severe 'short of breath' during exercise and age was < 53.5 years, and BMI was >= 22.69, the proportion of the fatigue was up to 84.8%.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1993.06a
• /
• pp.975-976
• /
• 1993

This talk presents the overview of the author's research and development activities on fuzzy inference hardware. We involved it with two distinct approaches. The first approach is to use application specific integrated circuits (ASIC) technology. The fuzzy inference method is directly implemented in silicon. The second approach, which is in its preliminary stage, is to use more conventional microprocessor architecture. Here, we use a quantitative technique used by designer of reduced instruction set computer (RISC) to modify an architecture of a microprocessor. In the ASIC approach, we implemented the most widely used fuzzy inference mechanism directly on silicon. The mechanism is beaded on a max-min compositional rule of inference, and Mandami's method of fuzzy implication. The two VLSI fuzzy inference chips are designed, fabricated, and fully tested. Both used a full-custom CMOS technology. The second and more claborate chip was designed at the University of North Carolina(U C) in cooperation with MCNC. Both VLSI chips had muliple datapaths for rule digital fuzzy inference chips had multiple datapaths for rule evaluation, and they executed multiple fuzzy if-then rules in parallel. The AT & T chip is the first digital fuzzy inference chip in the world. It ran with a 20 MHz clock cycle and achieved an approximately 80.000 Fuzzy Logical inferences Per Second (FLIPS). It stored and executed 16 fuzzy if-then rules. Since it was designed as a proof of concept prototype chip, it had minimal amount of peripheral logic for system integration. UNC/MCNC chip consists of 688,131 transistors of which 476,160 are used for RAM memory. It ran with a 10 MHz clock cycle. The chip has a 3-staged pipeline and initiates a computation of new inference every 64 cycle. This chip achieved an approximately 160,000 FLIPS. The new architecture have the following important improvements from the AT & T chip: Programmable rule set memory (RAM). On-chip fuzzification operation by a table lookup method. On-chip defuzzification operation by a centroid method. Reconfigurable architecture for processing two rule formats. RAM/datapath redundancy for higher yield It can store and execute 51 if-then rule of the following format: IF A and B and C and D Then Do E, and Then Do F. With this format, the chip takes four inputs and produces two outputs. By software reconfiguration, it can store and execute 102 if-then rules of the following simpler format using the same datapath: IF A and B Then Do E. With this format the chip takes two inputs and produces one outputs. We have built two VME-bus board systems based on this chip for Oak Ridge National Laboratory (ORNL). The board is now installed in a robot at ORNL. Researchers uses this board for experiment in autonomous robot navigation. The Fuzzy Logic system board places the Fuzzy chip into a VMEbus environment. High level C language functions hide the operational details of the board from the applications programme . The programmer treats rule memories and fuzzification function memories as local structures passed as parameters to the C functions. ASIC fuzzy inference hardware is extremely fast, but they are limited in generality. Many aspects of the design are limited or fixed. We have proposed to designing a are limited or fixed. We have proposed to designing a fuzzy information processor as an application specific processor using a quantitative approach. The quantitative approach was developed by RISC designers. In effect, we are interested in evaluating the effectiveness of a specialized RISC processor for fuzzy information processing. As the first step, we measured the possible speed-up of a fuzzy inference program based on if-then rules by an introduction of specialized instructions, i.e., min and max instructions. The minimum and maximum operations are heavily used in fuzzy logic applications as fuzzy intersection and union. We performed measurements using a MIPS R3000 as a base micropro essor. The initial result is encouraging. We can achieve as high as a 2.5 increase in inference speed if the R3000 had min and max instructions. Also, they are useful for speeding up other fuzzy operations such as bounded product and bounded sum. The embedded processor's main task is to control some device or process. It usually runs a single or a embedded processer to create an embedded processor for fuzzy control is very effective. Table I shows the measured speed of the inference by a MIPS R3000 microprocessor, a fictitious MIPS R3000 microprocessor with min and max instructions, and a UNC/MCNC ASIC fuzzy inference chip. The software that used on microprocessors is a simulator of the ASIC chip. The first row is the computation time in seconds of 6000 inferences using 51 rules where each fuzzy set is represented by an array of 64 elements. The second row is the time required to perform a single inference. The last row is the fuzzy logical inferences per second (FLIPS) measured for ach device. There is a large gap in run time between the ASIC and software approaches even if we resort to a specialized fuzzy microprocessor. As for design time and cost, these two approaches represent two extremes. An ASIC approach is extremely expensive. It is, therefore, an important research topic to design a specialized computing architecture for fuzzy applications that falls between these two extremes both in run time and design time/cost. TABLEI INFERENCE TIME BY 51 RULES {{{{Time }}{{MIPS R3000 }}{{ASIC }}{{Regular }}{{With min/mix }}{{6000 inference 1 inference FLIPS }}{{125s 20.8ms 48 }}{{49s 8.2ms 122 }}{{0.0038s 6.4㎲ 156,250 }} }}

• Magazine of the Korean Society of Agricultural Engineers
• /
• v.37 no.E
• /
• pp.55-62
• /
• 1995

The topographic influences for the hydraulic characteristics in the estuary were studied by the hydraulic model test. The upstream boundary is set up at the Kumkang estuary dike and the downstream boundary at the Kunsan outer port. The geometrical model scales in horizontal and vertical are 1/300 and 1/100 respectively so that the distorted ratio is 3. If there is no or little river flow through the gate, the highest water levels are varied with $\pm$ 5cm compared with those before the project. If there is a flood flow through the gate, the highest water levels in front of the estuary dike are reduced 5~2Ocm depending on the frequency of flood compared with those before the project. This means that there is no important risk of excessive water level rise after the dredging.

• Communications for Statistical Applications and Methods
• /
• v.16 no.5
• /
• pp.841-849
• /
• 2009

Let {$X_n$, n ${\ge}$ 1} be a negatively associated sequence of identically distributed random variables with mean zeros and positive finite variances. Set $S_n$ = ${\Sigma}^n_{i=1}\;X_i$. Suppose that 0 < ${\sigma}^2=EX^2_1+2{\Sigma}^{\infty}_{i=2}\;Cov(X_1,\;X_i)$ < ${\infty}$. We prove that, if $EX^2_1(log^+{\mid}X_1{\mid})^{\delta}$ < ${\infty}$ for any 0< ${\delta}{\le}1$, then $\lim_{{\epsilon}\downarrow0}{\epsilon}^{2{\delta}}\sum_{{n=2}}^{\infty}\frac{(logn)^{\delta-1}}{n^2}ES^2_nI({\mid}S_n{\mid}\geq{\epsilon}{\sigma}\sqrt{nlogn}=\frac{E{\mid}N{\mid}^{2\delta+2}}{\delta}$, where N is the standard normal random variable. We also prove that if $S_n$ is replaced by $M_n=max_{1{\le}k{\le}n}{\mid}S_k{\mid}$ then the precise rate still holds. Some results in Fu and Zhang (2007) are improved to the complete moment case.

• Structural Engineering and Mechanics
• /
• v.5 no.6
• /
• pp.803-815
• /
• 1997

It is well understood that concentrated forces applied in the plane of a beam or panel (such as a wall or slab) lead to splitting forces developing within a disturbed region forming beyond the bearing zone. In a linearly elastic material the length of the disturbed region is approximately equal to the depth of the member. In concrete structures, however, the length of the disturbed region is a function of the orthotropic properties of the concrete-steel composite. In the detailing of steel reinforcement within the disturbed regions two limit states must be satisfied; strength and serviceability (in this case the serviceability requirement being acceptable crack widths). If the design requires large redistribution of stresses, the member may perform poorly at service and/or overload. In this paper the results of a plane stress finite element investigation of concentrated loads on reinforced concrete panels are presented. Two cases are examined (i) panels loaded concentrically, and (ii) panels loaded eccentrically. The numerical investigation suggests that the bursting force distribution is substantially different from that calculated using elastic design methods currently used in some codes of practice. The optimum solution for a uniformly reinforced bursting region was found to be with the reinforcement distributed from approximately 0.2 times the effective depth of the member ($0.2D_e$) to between $1.2D_e$ and $1.6D_e$. Strut and tie models based on the finite element analyses are proposed herein.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.5
• /
• pp.1321-1334
• /
• 2023

An idempotent e of a ring R is called right (resp., left) semicentral if er = ere (resp., re = ere) for any r ∈ R, and an idempotent e of R∖{0, 1} will be called right (resp., left) quasicentral provided that for any r ∈ R, there exists an idempotent f = f(e, r) ∈ R∖{0, 1} such that er = erf (resp., re = fre). We show the whole shapes of idempotents and right (left) semicentral idempotents of upper triangular matrix rings and polynomial rings. We next prove that every nontrivial idempotent of the n by n full matrix ring over a principal ideal domain is right and left quasicentral and, applying this result, we can find many right (left) quasicentral idempotents but not right (left) semicentral.

• Asian-Australasian Journal of Animal Sciences
• /
• v.5 no.3
• /
• pp.401-409
• /
• 1992

Genotype $\times$ environment (G $\times$ E) interactions must be understood if they are to be exploited to improve animal production, particularly in production systems associated with large environmental variations. The measurement and evaluation of G $\times$ E are discussed. Examples are presented that demonstrate G $\times$ E in different breeds of beef cattle for high temperatures, internal and external parasites and changes in quantity and quality of nutrition. It is demonstrated that productivity differences between genotypes or breeds under grazing conditions arise because of differences between genotypes in the combination of production potential and resistance to environmental stresses in relation to the levels of the relevant environmental stresses that are operating at the time. The $F_1$ cross between genotypes with high production potential (e.g. European Bos Taurus breeds) and those with high resistance to environmental stress (e.g. Asian and African Bos indicus and sanga breeds) is an exceptional genotype with a unique combination of these two sets of attributes. The principles for G $\times$ E developed for beef cattle are briefly discussed in relation to dairy cattle, pigs, poultry and buffalo.