• Journal of the Korean Mathematical Society
• /
• v.42 no.2
• /
• pp.243-254
• /
• 2005

The Alaway's theorem on orthogonality preserving maps [1] is revisited and we provide a new proof of this result, through an original separation property involving regular forms. In fact, we show a light more general result concerning weakly orthogonal sequences(see section 3).

• Korean Journal of Mathematics
• /
• v.28 no.2
• /
• pp.191-203
• /
• 2020

Any powers of 11 are easily obtained from the Pascal triangle. In this work we study powering and negative powering of any k digit integers by means of certain arithmetic tables.

• Communications of the Korean Institute of Information Scientists and Engineers
• /
• v.20 no.9
• /
• pp.20-27
• /
• 2002

• Nuclear Engineering and Technology
• /
• v.49 no.7
• /
• pp.1379-1387
• /
• 2017

This paper presents a comparison of homogenization techniques implemented in the APOLLO3 platform for transport core calculations: standard scalar flux weighting and new flux-moment homogenization, in different combinations with (or without) leakage models. Besides the historical B1-homogeneous model, a new B-heterogeneous one has indeed been implemented recently in the two/three-dimensional-transport solver using the method of characteristics. First analyses have been performed on a very simple Sodium Fast Reactor core with a regular hexagonal lattice. They show that using the heterogeneous leakage model in association with flux-moment homogenization strongly improves the prediction of $k_{eff}$ and void reactivity effects. These good results are confirmed when the application is done to the fissile assemblies of the more complex CFV (Low Void Effect) core of the ASTRID (Advanced Sodium Technological Reactor for Industrial Demonstration) project of sodium-cooled fast breeder reactor (Generation IV).

• Journal of Educational Research in Mathematics
• /
• v.13 no.4
• /
• pp.495-506
• /
• 2003

In this study, 1 investigated some properties on the special hyper-dimensional figures made by the principle of the performance of equivalent forms representation. I supposed 2 definitions on the making n-dimensional figure : a cone type(hypercube) and a pillar type(simplex). We can explain that there exists only 6 4-dimensional regular polytopes as there exists only 5 regular polygons. And there are many hyper-dimensional figures, they all have sufficient condition to show the general Euler' Characteristics. And especially, we could certificate that the simplest cone type and pillar types are fitted to Pascal's Triangle and Hasse's Diagram, each other.

• Journal of Korean Library and Information Science Society
• /
• v.31 no.2
• /
• pp.279-302
• /
• 2000

This study is to develop a new automatic system for the Korean thesaurus browser by which we can automatically control all the processes of searching queries such as, representation, generation, extension and construction of searching strategy and feedback searching. The system in this study is programmed by Delphi 4.0(PASCAL) and consists of database system, automatic indexing, clustering technique, establishing and expressing thesaurus, and automatic information retrieval technique. The results proved by this system are as follows: 1)By using the new automatic thesaurus browser developed by the new algorithm, we can perform information retrieval, automatic indexing, clustering technique, establishing and expressing thesaurus, information retrieval technique, and retrieval feedback. Thus it turns out that even the beginner user can easily access special terms about the field of a specific subject. 2) The thesaurus browser in this paper has such merits as the easiness of establishing, the convenience of using, and the good results of information retrieval in terms of the rate of speed, degree, and regeneration. Thus, it t m out very pragmatic.

• Water for future
• /
• v.26 no.3
• /
• pp.87-101
• /
• 1993

A finite element model RIV-FEM2 for the hydrodynamic study in a river is developed based on two-dimensional shallow water wave equation and dissipative Galerkin's method. RIV-FEM2 consists of pre-processing, analysis processing and post-processing. Pre- and analysis processing is programmed with Fortran-77 and post-processing with turbo-Pascal respectively. The model is tested with two dimensional problems, including flow through bends, bridges, and symmetric contraction. The two dimensional tests shows stable and efficient results for various situations. Applicability of the model is verified by applying to natural river. The model will provide a basic contribution to the hydrodynamic analysis in a river.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.26 no.6
• /
• pp.131-139
• /
• 1989

This paper proposes Domino CMOS NOR-NOR Array Logic design method which has the same as characteristic of CMOS and Domino CMOS in Array Logic like PLA, good operation feature, high desity, easy test generation. This testable design method can detect all of faults in the circuit using simple additional circuit and solve the parasitic capacitance problem by improving the pull-down characteristics. A Test generation algorithm and test procedure using concept of PLA product term and personality matrix are proposed, and it was implemented in PASCAL language. This design method is verified by SPICE and P-SPICE simulation.

• Journal of Broadcast Engineering
• /
• v.25 no.3
• /
• pp.386-398
• /
• 2020

We developed an integrative annotation program that can perform data labeling process for deep learning models in object recognition. The program utilizes the basic GUI library of Python and configures crawler functions that allow data collection in real time. Retinanet was used to implement an automatic annotation function. In addition, different data labeling formats for Pascal-VOC, YOLO and Retinanet were generated. Through the experiment of the proposed method, a domestic vehicle image dataset was built, and it is applied to Retinanet and YOLO as the training and test set. The proposed system classified the vehicle model with the accuracy of about 94%.

• Journal for History of Mathematics
• /
• v.20 no.4
• /
• pp.23-48
• /
• 2007

This study begins from posing a problem, 'formal introduction of mathematical induction in school mathematics'. Most students may learn the mathematical induction at the level of instrumental understanding without meaningful understanding about its meaning and structure. To improve this didactical situation, we research on the historical progress of mathematical induction from implicit use in greek mathematics to formalization by Pascal and Fermat. And we identify various types of thinking included in the developmental process: recursion, regression, analytic thinking, synthetic thinking. In special, we focused on the role of regression in mathematical induction, and then from that role we induce the implications for teaching mathematical induction in school mathematics.