• International Journal of Safety
• /
• v.3 no.1
• /
• pp.38-46
• /
• 2004

This paper introduces the software life-cycle V&V (verification and validation) tasks for the KNICS (Korea nuclear instrumentation and control system) project. The objectives of the V&V tasks are mainly to develop a programmable logic controller (PLC) for safety critical instrumentation and control (I&C) systems, and then to apply the PLC to developing the prototype of an engineered safety features-component control system (ESF-CCS) in nuclear power plants. As preparative works for the software V&V, various kinds of software plans and V&V task procedures have been developed according to the software life-cycle management. A number of software V&V tools have been adopted or developed to efficiently support the V&V tasks. The V&V techniques employed in this work include a checklist-based review and inspection, a requirement traceability analysis, formal verification, and life-cycle based software testing.

• Kyungpook Mathematical Journal
• /
• v.56 no.1
• /
• pp.69-81
• /
• 2016

For a positive integer k, a k-rainbow dominating function of a digraph D is a function f from the vertex set V (D) to the set of all subsets of the set $\{1,2,{\ldots},k\}$ such that for any vertex $v{\in}V(D)$ with $f(v)={\emptyset}$ the condition ${\cup}_{u{\in}N^-(v)}$ $f(u)=\{1,2,{\ldots},k\}$ is fulfilled, where $N^-(v)$ is the set of in-neighbors of v. A set $\{f_1,f_2,{\ldots},f_d\}$ of k-rainbow dominating functions on D with the property that $\sum_{i=1}^{d}{\mid}f_i(v){\mid}{\leq}k$ for each $v{\in}V(D)$, is called a k-rainbow dominating family (of functions) on D. The maximum number of functions in a k-rainbow dominating family on D is the k-rainbow domatic number of D, denoted by $d_{rk}(D)$. In this paper we initiate the study of the k-rainbow domatic number in digraphs, and we present some bounds for $d_{rk}(D)$.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.1
• /
• pp.265-276
• /
• 2017

Let K be a fan-like simplicial sphere of dimension n-1 such that its associated complete fan is strongly polytopal, and let v be a vertex of K. Let K(v) be the simplicial wedge complex obtained by applying the simplicial wedge operation to K at v, and let $v_0$ and $v_1$ denote two newly created vertices of K(v). In this paper, we show that there are infinitely many strongly polytopal fans ${\Sigma}$ over such K(v)'s, different from the canonical extensions, whose projected fans ${Proj_v}_i{\Sigma}$ (i = 0, 1) are also strongly polytopal. As a consequence, it can be also shown that there are infinitely many projective toric varieties over such K(v)'s such that toric varieties over the underlying projected complexes $K_{{Proj_v}_i{\Sigma}}$ (i = 0, 1) are also projective.

• JSTS:Journal of Semiconductor Technology and Science
• /
• v.17 no.2
• /
• pp.239-244
• /
• 2017

We experimentally investigate the physical mechanism for asymmetrical degradation in amorphous indium-gallium-zinc oxide (a-IGZO) thin-film transistors (TFTs) under simultaneous gate and drain bias stresses. The transfer curves exhibit an asymmetrical negative shift after the application of gate-to-source ($V_{GS}$) and drain-to-source ($V_{DS}$) bias stresses of ($V_{GS}=24V$, $V_{DS}=15.9V$) and ($V_{GS}=22V$, $V_{DS}=20V$), but the asymmetrical degradation is more significant after the bias stress ($V_{GS}$, $V_{DS}$) of (22 V, 20 V) nevertheless the vertical electric field at the source is higher under the bias stress ($V_{GS}$, $V_{DS}$) of (24 V, 15.9 V) than (22 V, 20 V). By using the modified external load resistance method, we extract the source contact resistance ($R_S$) and the voltage drop at $R_S$ ($V_{S,\;drop}$) in the fabricated a-IGZO TFT under both bias stresses. A significantly higher RS and $V_{S,\;drop}$ are extracted under the bias stress ($V_{GS}$, $V_{DS}$) of (22 V, 20V) than (24 V, 15.9 V), which implies that the high horizontal electric field across the source contact due to the large voltage drop at the reverse biased Schottky junction is the dominant physical mechanism causing the asymmetrical degradation of a-IGZO TFTs under simultaneous gate and drain bias stresses.

• Journal of Radiation Protection and Research
• /
• v.26 no.3
• /
• pp.315-319
• /
• 2001

It is shown, that both cosmic radiation (external source) and natural radioactive gases (inner source) are sources of neutrons near the Earth crust. Correlation between the Earth crust dynamics and variations of thermal and slow neutron flux near the Earth surface is studied. It is shown, that variations of neutron flux near the Earth crust can be used for short-term predicting of natural hazards.

• The Korean Journal of Physiology and Pharmacology
• /
• v.3 no.2
• /
• pp.137-146
• /
• 1999

Interactions among dexamethasone, dehydroepiandrosterone (DHEA), lipopolysaccharide (LPS), and antimycin A on the glutamate uptake and the polyamine uptake were investigated in primary cultures of rat cerebral cortical astrocytes to examine the effects of dexamethasone and DHEA on the regulatory role of astrocytes in conditions of increased extracellular concentrations of glutamate or polyamines. 1. $[^3H]Glutamate$ uptake: LPS and antimycin A decreased $V_{max},$ but both drugs had little effect on $K_m.$ Dexamethasone also decreased basal $V_{max}$ without any significant effect on $K_m.$ And dexamethasone further decreased the antimycin A-induced decrease of $V_{max}.$ DHEA did not affect the kinetics of basal glutamate uptake and the change by LPS or antimycin A. 2. $[^{14}C]Putrescine$ uptake: LPS increased $V_{max},$ and antimycin A decreased $V_{max}.$ They showed little effect on $K_m.$ Dexamethasone decreased $V_{max}$ of basal uptake and further decreased the antimycin A-induced decrease of $V_{max},$ and also decreased $V_{max}$ to less than control in LPS-treated astrocytes. DHEA did not affect $K_m$ and the change of $V_{max}$ by LPS or antimycin A. 3. $[^{14}C]Spermine$ uptake: Antimycin A decreased $V_{max},$ and LPS might increase $V_{max}.\;K_m$ was little affected by the drugs. Dexamethasone decreased basal $V_{max}$ and might further decrease the antimycin A-induced decrease of $V_{max}.$ And dexamethasone also decreased $V_{max}$ to less than control in LPS-treated astrocytes. DHEA might increase basal $V_{max}$ and $V_{max}$ of LPS-treated astrocytes. 4. $V_{max}$ of glutamate uptake by astrocytes was increased by putrescine (1000 ${\mu}M$ & 2000 ${\mu}M$) and spermidine (200 ${\mu}M,$ 500 ${\mu}M$ & 2000 ${\mu}M$). Spermine, 200 ${\mu}M$ (and 100 ${\mu}M$), also increased $V_{max},$ but a higher dose of 2000 ${\mu}M$ decreased $V_{max}.\;K_m$ of glutamate uptake was not significantly changed by these polyamines, except that higher doses of spermine showed tendency to decrease $K_m$ of glutamate uptake. In astrocytes, dexamethasone inhibited the glutamate uptake and the polyamine uptake in normal or hypoxic conditions, and the polyamine uptake might be stimulated by LPS and DHEA. Polyamines could aid astrocytes to uptake glutamate.

• ETRI Journal
• /
• v.39 no.5
• /
• pp.746-755
• /
• 2017

In this paper, an electrostatic discharge (ESD) protection circuit is designed for use as a 12 V power clamp by using a parasitic-diode-triggered silicon controlled rectifier. The breakdown voltage and trigger voltage ($V_t$) of the proposed ESD protection circuit are improved by varying the length between the n-well and the p-well, and by adding $n^+/p^+$ floating regions. Moreover, the holding voltage ($V_h$) is improved by using segmented technology. The proposed circuit was fabricated using a $0.18-{\mu}m$ bipolar-CMOS-DMOS process with a width of $100{\mu}m$. The electrical characteristics and robustness of the proposed ESD circuit were analyzed using transmission line pulse measurements and an ESD pulse generator. The electrical characteristics of the proposed circuit were also analyzed at high temperature (300 K to 500 K) to verify thermal performance. After optimization, the $V_t$ of the proposed circuit increased from 14 V to 27.8 V, and $V_h$ increased from 5.3 V to 13.6 V. The proposed circuit exhibited good robustness characteristics, enduring human-body-model surges at 7.4 kV and machine-model surges at 450 V.

• Proceedings of the Korean Magnestics Society Conference
• /
• 2007.05a
• /
• pp.142.2-142.2
• /
• 2007

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.11 no.2
• /
• pp.9-14
• /
• 2007

A signed 3-partite graph is a 3-partite graph in which each edge is assigned a positive or a negative sign. Let G(U, V, W) be a signed 3-partite graph with $U\;=\;\{u_1,\;u_2,\;{\cdots},\;u_p\},\;V\;=\;\{v_1,\;v_2,\;{\cdots},\;v_q\}\;and\;W\;=\;\{w_1,\;w_2,\;{\cdots},\;w_r\}$. Then, signed degree of $u_i(v_j\;and\;w_k)$ is $sdeg(u_i)\;=\;d_i\;=\;d^+_i\;-\;d^-_i,\;1\;{\leq}\;i\;{\leq}\;p\;(sdeg(v_j)\;=\;e_j\;=\;e^+_j\;-\;e^-_j,\;1\;{\leq}\;j\;{\leq}q$ and $sdeg(w_k)\;=\;f_k\;=\;f^+_k\;-\;f^-_k,\;1\;{\leq}\;k\;{\leq}\;r)$ where $d^+_i(e^+_j\;and\;f^+_k)$ is the number of positive edges incident with $u_i(v_j\;and\;w_k)$ and $d^-_i(e^-_j\;and\;f^-_k)$ is the number of negative edges incident with $u_i(v_j\;and\;w_k)$. The sequences ${\alpha}\;=\;[d_1,\;d_2,\;{\cdots},\;d_p],\;{\beta}\;=\;[e_1,\;e_2,\;{\cdots},\;e_q]$ and ${\gamma}\;=\;[f_1,\;f_2,\;{\cdots},\;f_r]$ are called the signed degree sequences of G(U, V, W). In this paper, we characterize the signed degree sequences of signed 3-partite graphs.

• Bulletin of the Korean Mathematical Society
• /
• v.55 no.2
• /
• pp.415-430
• /
• 2018

A proper vertex coloring of a graph G is acyclic if G contains no bicolored cycle. A graph G is acyclically L-list colorable if for a given list assignment $L=\{L(v):v{\in}V(G)\}$, there exists an acyclic coloring ${\phi}$ of G such that ${\phi}(v){\in}L(v)$ for all $v{\in}V(G)$ A graph G is acyclically k-choosable if G is acyclically L-list colorable for any list assignment with $L(v){\geq}k$ for all $v{\in}V(G)$. Let G be a planar graph without 5-cycles and adjacent 4-cycles. In this article, we prove that G is acyclically 5-choosable if every vertex v in G is incident with at most one i-cycle, $i {\in}\{6,7\}$.