• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.16 no.3
• /
• pp.147-156
• /
• 2016

A modalized Łukasiewicz three-valued propositional logic will be proposed in this paper which there are three modalities [t]; [m]; [f] to represent the three values t; m; f; respectively. And a Gentzen-typed deduction system will be given so that the the system is sound and complete with respect to the Łukasiewicz three-valued semantics Ł$_3$, which are given in soundness theorem and completeness theorem.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2014.10a
• /
• pp.960-965
• /
• 2014

Transmission loss of specimen is calculated by measuring energy of incident and transmission and using reverberant room of large size. But normal measurement of transmission loss has trouble because it is actually demanded that large area and specimen of certain size is satisfied with condition of diffused sound field. Especially, in case of mechanical component, interested frequency band is mid-frequency band between 500 ~ 2k Hz, and it is used to be available to minimize a reverberation chamber under conditions satisfying acoustic one because production of specimen for transmission loss measurement has limit. But, as in semi-reverberation room, it is difficult to satisfy condition of diffuse sound field and modification factor is applied to complement that. Correction factor when measuring transmission loss using semi-reverberation chamber is required accuracy because it works as main factor determining reliability of reuslts on transmission loss. In this study, it is analyzed that an effect on correction factor based on varying materials and sizes of specimens in order to deduction of it. Also It is confirmed that applied by elicited correction factor with actual railway vehicle's floor has reliability.

• Korean Journal of Logic
• /
• v.13 no.2
• /
• pp.83-116
• /
• 2010

In this paper we provide a teaching learning method for logic in debate, in particular, in debate of engineers. First we criticize the concept of argument and the Toulmin model on argument used in education for debate. We next provide a general method for learning arguments needed in debate. Finally, we suggest the hypothetico-inferential method and the model for inference to the best choice as argument methods coming in useful in debate education for engineers.

• Journal of the Korean School Mathematics Society
• /
• v.1 no.1
• /
• pp.151-163
• /
• 1998

In mathematics education, teaching-learning activity can be divided largely into the understanding the mathematical concepts, derivation of principles and laws, acquirement of the mathematical abilities. We utilize various media, teaching tools, audio-visual materials, manufacturing materials for understanding mathematical concepts. But sometimes we cannot define or explain correctly the concepts as well as the derivation of principles and laws by these materials. In order to solve the problem we can use the computer. In this paper, character and movement state of various quadratic function graph types can be used. Using the computers is more visible than other educational instruments like blackboards, O.H.Ps., etc. Then, students understand the mathematical concepts and the correct quadratic function graph correctly. Consquently more effective teaching-learning activity can be done. Usage of computers is the best method for improving the mathematical abilities because computers have functions of the immediate reaction, operation, reference and deduction. One of the important characters of mathematics is accuracy, so we use computers for improving mathematical abilities. This paper is about the program focused on the part of "the quadratic function graph", which exists in mathematical curriculum the middle school. When this program is used for students, it is expected the following educational effect. 1, Students will have positive thought by arousing interests of learning because this program is composed of pictures, animations with effectiveness of sound. 2. This program will cause students to form the mathematical concepts correctly. 3. By visualizing the process of drawing the quadratic function graph, students understand the quadratic function graph structually. 4. Through the feedback, the recognition ability of the trigonometric function can be improved. 5. It is possible to change the teacher-centered instruction into the student-centered instruction. For the purpose of increasing the efficiencies and qualities of mathmatics education, we have to seek the various learning-teaching methods. But considering that no computer can replace the teacher′s role, tearchers have to use the CIA program carefully.

• Journal of the Korean School Mathematics Society
• /
• v.2 no.1
• /
• pp.55-66
• /
• 1999

In mathematics education, teaching-learning activity can be divided largely into the understanding the mathematical concepts, derivation of principles and laws acquirement of the mathematical abilities. We utilize various media, teaching tools, audio-visual materials, manufacturing materials for understanding mathematical concepts. But sometimes we cannot define or explain correctly the concepts as well as the derivation of principles and laws by these materials. In order to solve the problem we can use the computer. In this paper, ′the process of the length of curve being equal to the sum of the vectors when intervals get smaller′ and ′the process of calculating volume of spinning curve by using definite integral.′ Using the computers is more visible than other educational instruments like blackboards, O.H.Ps., etc. Also it can help students with solving mathematical problems intuitively. Consequently more effective teaching-learning activity can be done. Usage of computers is the best method for improving the mathematical abilities because computers have functions of the immediate reaction, operation, reference and deduction. One of the important characters of mathematics is accuracy, so we use computers for improving mathematical abilities. This paper is about the program focused on the part of "the application of definite integral", which exists in mathematical curriculum the second and third grade of high school. When this study is used for students as assisting materials, it is expected the following educational effect. 1. Students will have precise concepts because they can understand what they learn intuitively. 2. Students will have positive thought by arousing interests of learning because this program is composed of pictures, animations with effectiveness of sound. 3. It is possible to change the teacher-centered instruction into the student-centered instruction. 4. Students will understand the relation between velocity and distance correctly because they can see the process of getting the length of curve by vector through the monitor. For the purpose of increasing the efficiencies and qualities of mathematics education, we have to seek the various learning-teaching methods. But considering that no computer can replace the teacher′s role, teachers have to use the CIA program carefully.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.34 no.10B
• /
• pp.1062-1069
• /
• 2009

The kidney diseases is a big social problem what is suffering sequela of metabolic syndrome due to obesity. Therefore, it is most important that early to take the appropriate action; it does not have symptoms Abnormalities of the kidney. With this, in mind, this paper wish to propose the method to can diagnosis by non self-consciousness, non-imprisonment, analgesia of kidney disease through the voice analysis. To configure the entire system is developed to combines the voice analysis, watching the face color and this paper is designed the method to diagnosis kidney disease based on labial. In this paper, organized each kidney disease patients and healthy people group and we would like to analyze, compare with output in experiment morphology analysis and numerical value analysis of voice information. Secondly, auscultation theory of Oriental medicine and linguistic, phonetics analyze out interrelation to extraction peculiar elements of kidney about voice deduction deduced relation of the first formants frequency. Such result of experimentation, deduced widely to be formed the first formants frequency bandwidth value of kidney patients group than normal group. Finally, diagnosing an kidney diseases in only labial sound, calculated about misdiagnosis probability.

• International Journal of Computer Science & Network Security
• /
• v.22 no.5
• /
• pp.39-48
• /
• 2022

The main purpose of the work is to analyze modern innovative educational practices in the field of culture and art and their effectiveness in the context of the spread of digitalization trends. The study used general scientific theoretical methods of analysis, synthesis, analogy, comparative, induction, deduction, reductionism, and a number of others, allowing you to fully understand the pattern of modern modernization processes in a long historical development and demonstrate how the rejection of the negativity of progress allows talented artists to realize their own potential. The study established the advantages and disadvantages of involving innovative technologies in the educational process on the example of European experience and outlined possible ways of implementing digitalization processes in Ukrainian institutions of higher education, formulated the main difficulties encountered by teachers and students in the use of technological innovation in the pandemic. The rapid development of digital technologies has had a great impact on the sphere of culture and art, both visual, scenic, and musical in all processes: creation, reproduction, perception, learning, etc. In the field of art education, there is a synthesis of creative practices with digital technologies. In terms of music education, these processes at the present stage are provided with digital tools of specially developed software (music programs for composition and typing of musical text, recording, and correction of sound, for quality listening to the whole work or its fragments) for training programs used in institutional education and non-institutional learning as a means of independent mastering of the theory and practice of music-making, as well as other programs and technical tools without which contemporary art cannot be imagined. In modern stage education, the involvement of video technologies, means of remote communication, allowing realtime adjustment of the educational process, is actualized. In the sphere of fine arts, there is a transformation of communicative forms of interaction between the teacher and students, which in the conditions of the pandemic are of two-way communication with the help of information and communication technologies. At this stage, there is an intensification of transformation processes in the educational industry in the areas of culture and art.

• International Journal of Computer Science & Network Security
• /
• v.24 no.7
• /
• pp.128-142
• /
• 2024

Creation and implementation of export-oriented strategy is an urgent issue of economic development of any country. In an export-oriented model of economic development, exports should be a means of promoting economic growth and a tool to strengthen existing and potential competitive advantages. Agricultural production is the key factor in exports and the source of foreign exchange earnings in many countries. However, the export potential of agricultural producers may be inefficiently fulfilled due to the heterogeneity of countries in terms of economic development, trade relations and border policy. The aim of the research is to study the nature, main trends and problematic aspects of fulfilling the export potential of agricultural production in the context of aggravating food crisis. The study involved general scientific methods (induction and deduction, description, analysis, synthesis, generalization) and special (statistical method, economic analysis, descriptive statistics and interstate comparisons, graphical method). The need to ensure food security by countries around the world urges the importance of the agricultural sector as a catalyst for economic development, sources of foreign exchange earnings, investment direction, etc. The study of agricultural specialization led to the conclusion that wheat and sugar are goods with the highest export potential. It is substantiated that the countries of South America, OECD, North America and Europe have the highest level of realization of export potential of agricultural production, and African countries are import-dependent. In addition, the low export orientation of Africa and Asia due to the peculiarities of their natural and climatic conditions is established based on the assessment of export-import operations in the regional context. The internal and external export potential of each of the regions is analysed. Economic and mathematical simulation of assessing the impact of the most important factors on the wheat exports volumes was applied, which allowed predicting wheat exports volume and making sound management decisions regarding the realization of the export potential of agricultural companies. The inverse correlation between the exports volume and wheat consumption per capita, and the direct correlation between the effective size and area of land used for wheat cultivation was established through the correlation and regression analysis.