• Proceedings of the Korean Nuclear Society Conference
• /
• 1996.05a
• /
• pp.446-450
• /
• 1996

본 논문은 Computer Aided Software Engineering (CASE) Tool을 이용할 경우의 Safety Critical 소프트웨어 개발 방법론인 구조적 분석 및 구조적 설계 모델링 방법론을 Teamwork CASE tool의 예를 중심으로 제안하고자 한다. 제시된 사례는 NSIS(Nuclear Safety Information System)으로서 Essential Modeling과 Implementation Modeling을 제시하였는데 Teamwork CASE 환경하에서의 분석 및 설계 절차, 지침 등을 제시하였다. Essential Modeling에서는 NSIS의 MMIS 분석범위 및 External Interface를 제시하는 환경 모델(Environmental Model)과 MMIS의 기능을 계층구조적으로 분할하는 행위모델링(Behaviroal Modeling)을 각각 Context Diagram과 Data Flow Diagram (DFD)으로 그 과정을 제시하였다. Implementation Modeling에서는 Essential Modeling으로 부터 나온 결과물을 토대로 Boss Rule, Transform Rule과 Transaction Rule 등을 거쳐 NSIS MMIS의 설계 근간이 되는 Structured Chart(SC)를 제시하였다. 본 논문에서 제시된 모델링 방법론을 통하여 Safety Critical 소프트웨어 개발시 Teamwork CASE Tool을 활용할 수 있음과 동시에 분실 및 설계의 일치성을 통하여 Safety Critical 소프트웨어의 안전성 확립과 품질보증 목표에 기여할 수 있다.

• Journal of the Korean Society of Industry Convergence
• /
• v.25 no.1
• /
• pp.37-45
• /
• 2022

It is well known that the Kano model measures customer satisfaction and classifies quality attributes into must-be, attractive as well as one-dimensional. The main purpose of this study is to investigate the dynamics of e-learning quality attributes by applying the proposed method using Kano's satisfaction index in the rapidly changing online learning environment. For this, the current study examined 27 e-learning quality attributes and conducted a comparative study using Kano's results obtained in 2013 and 2020. The result shows that the dynamics of quality attributes suggested by Kano(2001) is confirmed in the case of e-learning. The proposed approach shows better results in terms of Kano's direct classification method, and has potential application areas such as IPA(Importance-Performance Analysis) in the area of risk assemement. Some suggestions for better understanding of the proposed SI-DI diagram are also included in this study.

• Resources Recycling
• /
• v.16 no.2 s.76
• /
• pp.12-16
• /
• 2007

The influence of oxidation on the floatability of sulfide minerals contained in mine failings has been investigated employing chalcopyrite as a target material. The critical surface tension of chalcopyrite was estimated to be about 15.5 dyne/cm based on Zisman plot and the floatability of chalcopyrite was observed to increase with the concentration of collector. The enhanced float-ability of chalcopyrite at its initial stage of oxidation was considered to be due to the transformation of disulfide to elemental sulfur and the decrease in its floatability at further oxidation was presumably caused by the formation of sulfate and/or disulfur trioxide from elemental sulfur. When the oxidized chalcopyrite was reduced, its floatability was increased and the variation of the critical surface tension of chalcopyrite according to tile oxidation/reduction was interpreted by an energy diagram constructed by different bond energies between atoms.

• Current Research on Agriculture and Life Sciences
• /
• v.5
• /
• pp.158-167
• /
• 1987

The purpose of this study is to inquire and analyse the relation between traveltime (Tc) and watetshed physical characteristics surveyed such as river length (L), Lea, river main slope (s), base length of time area diagram, and storage constant (k). The results obtained in this study are as follows. The average widths of watersheds were with the range from 4.6 kilometers to 16.7 kilometers. The shape factors of main stream ranged from 0.08 to 0.37. The average slopes to main 8tream were within the range of 1.7-5.5 meter per kilometer. The relation between the base length and traveltime from S. C. S. method, Rational method, and RZIHA+KRAVEN method were derived $Tc=0.524{\times}1.35^c$ (r=0.98), $Tc=0.628{\times}1.339^c$, (r=0.98), $Tc=0.667{\times}1.342^c$ (r=0.97). The base length of the time-area diagram (c) for the IUH was derived as $c=0.9(\frac{L.L_{ca}}{\sqrt{s}})^{0.35}$ and correlation coefficient was 0.98 which defined a high significance. The storage constant K, derived in this study was $K=8.32+0.0213{\frac{L}{\sqrt{s}}}$ with correlation coefficient (0.96). The relation between storage Constant and conventional formula were figured out $Tc=0.0003{\times}3.323^k$ (r=0.97). $Tc=0.00045{\times}3.268^k$ (r=0.99) and $Tc=0.0004{\times}3.26^k$ (r=0.963). The base length (c) and storage constant (k) of time-Area Diagram were very important parts that determined traveltime for flood events. In the estimate of travel time for predicting flood volume, the formula of $Tc=0.524{\times}1.35^c$ that would be available to apply the Nak - Dong river watershed area and homogeneous watershed characteristics was found.

• Spatial Information Research
• /
• v.21 no.6
• /
• pp.91-98
• /
• 2013

Government introduces a Total Maximum Daily Loads(TMDL) which can be implemented for total pollutant amounts in 2004. Normally, the local governments have been calculated the amounts of pollutant discharge of each watershed using a water quality model. However, among the input data to use the water quality model, creating a schematic diagram of the stream or the modeling usually requires considerable amount of time and efforts due to the manual work. Therefore, this study tried to develop an algorithm which automates the creation of a schematic diagram for water quality modeling using the Korean Reach File capable of river network analysis. Further, this study creates a schematic diagram with the shape of a stream utilizing GIS capabilities. The diagram can be easily analyzed with overlapping various spatial information such as pollution sources and discharge points. This study mainly has automated element segmentation algorithm to divide streamflows into equal distance using line graphic data of Koran Reach File. Also, automated attribute input algorithm has also been developed to enable to insert element order and type into elements using point graphic data of Korean Reach File. For the verification of the developed algorithm, the algorithm was applied to kyungan stream basin to see the acceptable results. To conclude, it was possible to automate generating of schematic diagram of water quality model and it is expected to be able to save time and cost required for the water modeling. In future study, it is necessary to develop an automatic creation system of various types of input data for water quality modeling and this will lead to relatively easier and simple water quality modeling.

• Journal of Physiology & Pathology in Korean Medicine
• /
• v.20 no.6
• /
• pp.1447-1450
• /
• 2006

To study on the assignment of the eight trigrams (八卦) in human body being based on based the number of HADO(河圖)-NAGSEO(洛書). Being based on the number of HADO(河圖)-NAGSEO(洛書) and the BEOK-HEE's diagram of eight trigrams order(伏羲次序圖), human being organ (five-Jang organs (liver, heart, spleen, lung and kidney), five organs (ear, eye, mouth and nose), provisional namely six entera for the process on intake, digestion, excretion of food (mouth, stomach, small intestine, large intestine, rectum, anus) are assigned eight trigrams (八卦). Eight trigrams(八卦) are attached to the based on the number HADO(河圖)-NAGSEO(洛書): 1-GEON(乾), 2-TAE(兌), 3-LEE(離), 4-JIN(震), 9-SON(巽), 6-GAM(坎), 7-GAN(艮), 8-GON(坤). And (八卦) are attached to the human being organs (five-Jang organs (live, heart, spleen, lung and kidney), five organs (ear, eye, mouth, nose, anus) : 1-GEON(乾)-left lung-left nose, 6-GAM(坎)-right kidney-right ear, 7-GAN(艮)-left heart-anus, 8-GON(坤)-right liver-right ear. Eight trigrams(八卦) are attached to the provisional namely six entera for the process on intake, digestion, excretion of food : the air(GEON 乾), the month(TAE 兌), the stomach(LEE 離), the small intestine(JIN 震), the large intestine(Son 巽), the rectum(GAM 坎), the anus(GAN 艮), the excrements(GON 坤). The BEOK-HEE's diagram of eight trigrams order(伏羲次序圖) means immutable order naturally. The process of the human being organs( five-Jang organs, five organs and six entera's digestion) is also unchangeable in region and program. Therefore we can set up the five-Jang organs, five organs and the process of six entera's digestion as the category of observation on the basis of BEOK-HEE's diagram of eight trigrams order(伏羲次序圖), and then we can arrange eight trigrams (八卦) on the five-Jang organs, five organs and the process of six entera's digestion.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.39C no.9
• /
• pp.782-788
• /
• 2014

In this paper, we propose a scheme for the support of flow mobility according to a QoS condition when a mobile node with multiple wireless interface moves and attaches to a different access network. For this purpose, we extend the fields of the PBU/PBA message and add an additional request procedures. Through the proposed scheme, we can provide the best service in according to the network conditions of the next access network based on the measured QoS values by LMA. Finally we consider the state transition diagram of our proposed scheme and confirm its operation.

• Bulletin of the Korean Mathematical Society
• /
• v.33 no.2
• /
• pp.303-310
• /
• 1996

The Gottlieb group of a compact connected ANR X, G(X), consists of all $\alpha \in \prod_{1}(X)$ such that there is an associated map $A : S^1 \times X \to X$ and a homotopy commutative diagram $$ S^1 \times X \longrightarrow^A X $$ $$incl \uparrow \nearrow \alpha \vee id $$ $$ S^1 \vee X $$.

• 한국해양학회지
• /
• v.25 no.1
• /
• pp.1-7
• /
• 1990

Seawater temperature, salinity, inorganic nutrients and the standing crop of phytoplankton species of the 841 water samples from the upper 125 m at 15-40 stations on the 6 semiannual cruises in the southwestern waters of the East Sea (Korea) were studied during the period from September, 1981 to October, 1984, Among the 235 taxa identified two pennate diatioms, cylindrotheca closterium and Nitzschia delicatissima, were the most common and dominant species. The multiple regression analyses between net phytoplankton abundance (dependent variable) and associated environmental factors(independent variables) were applied to the samples from the surface mixed-layer. In spring the coefficients for the seawater temperature was 1. to 4.2 times greater than those for salinity, while the coefficients for the salinity was 2.1 to 3.4 times greater than those for seawater temperature in autumn. Distribution seawater temperature in spring, and salinity in autumn. Schematically the zone of high standing crops moved about on the T-S diagram in a cyclic manner. The distribution of phytoplankton standing crop was quite closely associated with the hydrographic conditions among various kinds of environmental factors studied.

• Journal of the Korean Mathematical Society
• /
• v.46 no.2
• /
• pp.363-447
• /
• 2009

The author previously defined the spectral invariants, denoted by $\rho(H;\;a)$, of a Hamiltonian function H as the mini-max value of the action functional ${\cal{A}}_H$ over the Novikov Floer cycles in the Floer homology class dual to the quantum cohomology class a. The spectrality axiom of the invariant $\rho(H;\;a)$ states that the mini-max value is a critical value of the action functional ${\cal{A}}_H$. The main purpose of the present paper is to prove this axiom for nondegenerate Hamiltonian functions in irrational symplectic manifolds (M, $\omega$). We also prove that the spectral invariant function ${\rho}_a$ : $H\;{\mapsto}\;\rho(H;\;a)$ can be pushed down to a continuous function defined on the universal (${\acute{e}}tale$) covering space $\widetilde{HAM}$(M, $\omega$) of the group Ham((M, $\omega$) of Hamiltonian diffeomorphisms on general (M, $\omega$). For a certain generic homotopy, which we call a Cerf homotopy ${\cal{H}}\;=\;\{H^s\}_{0{\leq}s{\leq}1}$ of Hamiltonians, the function ${\rho}_a\;{\circ}\;{\cal{H}}$ : $s\;{\mapsto}\;{\rho}(H^s;\;a)$ is piecewise smooth away from a countable subset of [0, 1] for each non-zero quantum cohomology class a. The proof of this nondegenerate spectrality relies on several new ingredients in the chain level Floer theory, which have their own independent interest: a structure theorem on the Cerf bifurcation diagram of the critical values of the action functionals associated to a generic one-parameter family of Hamiltonian functions, a general structure theorem and the handle sliding lemma of Novikov Floer cycles over such a family and a family version of new transversality statements involving the Floer chain map, and many others. We call this chain level Floer theory as a whole the Floer mini-max theory.