• Water for future
• /
• v.26 no.3
• /
• pp.75-85
• /
• 1993

In this study, reach boundaries in QUAL2E Model were set by the locations of point-waste discharge or tributary input and measured or direct calculated hydrologic factors were used in computation as much as possible. South Platte Experimental River in Colorado, USA was selected as a target river and data collected during September 1991 and January 1992 periods were used for calibration and verification, respectively. Constituents modeled in this study are 5-day carbonaceous biochemical oxygen demand(CBOD$) and dissolved oxygen(DO). The good agreement was obtained between a calculated using this model and observed, less than 5% to DO and about 20% to CBOD$. According to the result of water-quality prediction, experimental river is classified as the 4th category by the criteria of environmental protection agency in the USA in 2001.

• Education of Primary School Mathematics
• /
• v.14 no.3
• /
• pp.317-328
• /
• 2011

We analyzed errors committed by Korean prospective elementary teachers in finding and interpreting quotient and remainder within measurement division of fractions. 65 prospective elementary teachers were participated in this study. They solved a word problem about measurement division of fractions. We analyzed solutions of all participants, and interviewed 5 participants of them. The results reveal many of these prospective teachers could not tell what fractional part of division result means. Thses results suggest that teacher preparation program should emphasize interpreting calculation results within given situations.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.39C no.7
• /
• pp.546-551
• /
• 2014

This paper proposes an opportunistic subchannel allocation (OSA) scheme for relay-based marine communication networks to improve a sum-rate capacity. In most previous works for relay-based networks, each RS delivers the data received from the BS immediately to the corresponding ships in each frame. The achievable data-rate of the two-hop transmission (BS-RS and RS-ship links) is thus limited by the channel quality between BS-RS and RS-ship links. Hence, the radio resources can be wasted according to the difference in the channel quality between the BS-RS link and the RS-ship link. The proposed OSA scheme reduces the waste of radio resources by efficiently and independently allocating the radio resources at the BS-RS link and at the RS-ship link according to the channel quality of each link. The proposed OSA scheme, however, increases the computational complexity, because the BS finds the optimal OFDMA resource by checking the channel quality of all BS-RS links and RS-ship links. The simulation results show that the sum-rate capacity of the proposed OSA scheme improves maximum 14.0% compared with the conventional scheme.

• Journal of Broadcast Engineering
• /
• v.27 no.4
• /
• pp.538-547
• /
• 2022

Recently introduced image classification methods using Transformers show remarkable performance improvements over conventional neural network-based methods. In order to effectively consider regional features, research has been actively conducted on how to apply transformers by dividing image areas into multiple window areas, but learning of inter-window relationships is still insufficient. In this paper, to overcome this problem, we propose a transformer structure that can reflect the relationship between windows in learning. The proposed method computes the importance of each window region through compression and a fully connected layer based on self-attention operations for each window region. The calculated importance is scaled to each window area as a learned weight of the relationship between the window areas to re-calibrate the feature value. Experimental results show that the proposed method can effectively improve the performance of existing transformer-based methods.

• Korean Journal of Cognitive Science
• /
• v.28 no.2
• /
• pp.111-131
• /
• 2017

The connectionist model is one approach to studying language processing from a computational perspective. And building a representation in the connectionist model study is just as important as making the structure of the model in that it determines the level of learning and performance of the model. The connectionist model has been constructed in two different ways: localist representation and distributed representation. However, the localist representation used in the previous studies had limitations in that the unit of the output layer having a rare target activation value is inactivated, and the past distributed representation has the limitation of difficulty in confirming the result by the opacity of the displayed information. This has been a limitation of the overall connection model study. In this paper, we present a new method to induce distributed representation with local representation using abstraction of information, which is a feature of restricted Boltzmann machine, with respect to the limitation of such representation of the past. As a result, our proposed method effectively solves the problem of conventional representation by using the method of information compression and inverse transformation of distributed representation into local representation.

• Journal of Korean Philosophical Society
• /
• v.116
• /
• pp.257-280
• /
• 2010

I try to formalize the system of modal logic and interpret it in view of constructivism through this study. As to the meaning of a sentence, as we saw, Frege endorsed extensions in view of the fact that they are enough to provide for a compositional account for truth, in particular that (1) the assignment of extensions to expressions is compositional ; (2) the assignment of extensions to sentences coincides with the assignment of truth values. But nobody would be willing to admit that a truth value is what a sentence means and that consequently all true sentences are synonymous. So, if what we are after is meaning in the intuitive sense, then extensions would not do. This consideration has later become the point of departure of modal and intensional semantics. So, it is clear that the language of modal logic do not allow for an extensional interpretation. ${\square}$ is syntactically on a par with ${\vdash}$, hence within the extensional framework it would have to denote a unary truth function. This means that if modal logic is to be interpreted, we need a semantics which is not extensional. The first attempt to build a feasible intensional semantics was presented by Saul Kripke. He came to the conclusion that we must let sentences denote not truth values, but rather subsets of a given set. He called elements of the underlying set possible world. Hence each sentence is taken to denote the set of those possible world in which it is true. This lets us explicate necessity as 'truth in every possible world' and possibility as 'truth in at least one possible world'. But it is clear that the system of modal logic is not only an enlargement of propositional logic, as long as the former contains the new symbols, but that it is of an other nature. In fact, the modal logic is intensional, in that the operators do not determine the functions of truth any more. But this new element is not given a priori, but a posteriori from construction by logicist.

• Explosives and Blasting
• /
• v.36 no.3
• /
• pp.10-18
• /
• 2018

The dynamic behaviour of the rock mass under the dynamic load is different from the static application of the maximum load of the same size. An experimental approach to investigating rock behavior under dynamic loads is more difficult than that under static conditions in control of dynamic loads, measurement and analysis of the results. Numerical methods are less constrained by performing the experiments numerically, rather than experimental ones, so they can be very powerful analytical tool at the design stage. However, even if the algorithms of the analysis method are appropriate, careful analysis is required because the calculation results may vary largely depending on input data and boundary conditions. In this paper, when investigating the behavior of rock structures under dynamic load numerically, the effects of boundary conditions, dynamic load and calculation time step, and dynamic load characteristics on the calculation results were reviewed to provide guidance on setting up boundary conditions and calculation time step related to dynamic analysis.

• Journal of Elementary Mathematics Education in Korea
• /
• v.18 no.2
• /
• pp.257-278
• /
• 2014

The concept of zero(0) and calculations involving 0 are a few of the most difficult topics that students experience in learning mathematics. Therefore, it implies that proper guidance to help students understand the desirable concept of 0 and acquire calculating process involving 0 should be provided when we teach numbers and operations. This study aims to investigate instructional situations in relation to the errors of 0 and to search for efficient ways to teach them based on the previous research. To do this, we analysed elementary mathematics textbooks and workbooks. The result showed that $0{\div}$(a number) and the division of which quotient includes 0 as a middle digit lacked in current textbooks and workbooks. We devised the learning activities of the two topics for 3rd grades and 4th grades, respectively. We expect that the activities will be helpful to devise learning activities of textbook and suggest some implications for teaching the calculations involving 0.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.31 no.10
• /
• pp.10-20
• /
• 2003

In this study, the effective properties were numerically calculated for laminated plain weave textile composites with arbitrary s tacking orientation angles. A single-field macroelement with modified sub-domain integration was used in the analysis to reduce computer resource requirement while efficiently accounting for the internal microstructure. A sample calculation procedure based on the Monte Carlo method was employed to consider the random shift between the layers. Results showed that a significant deviation occurred when the orientation angles were near 0 deg for extensional modulus and Poisson's ratio and 45 deg for the shear modulus. It was also found that the average properties calculated by the 2-layer numerical specimen had large differences compared to the CLT results, which indicated that a caution must be needed when designig of thin plain weave composite structures.

• Magazine of the Korea Concrete Institute
• /
• v.7 no.1
• /
• pp.156-164
• /
• 1995

P-${\Delta}$ analysis by use of the equivalent colurnn stiffness determined by Momcnt curvature-Thrust curves provides relatively precise analytical results for unbraced reinforced concrete columns, however it needs a complicated arialytical procedure. Equ~valent col~rnn stiffness equations are proposed for a simple analytical procedure which are ckterrnined by the Moment-Curvature Thrust curves of the practically useable sections. Thc proposed stiffness equations are appiled to P-${\Delta}$ analysis and rnornent magnifier method to compare with the selected test result. Use of the proposed stiffness equations may slrnplify the P-${\Delta}$ i.rialvtica1 procedure and improve the accuracy of moment magnifier niethod.