• Journal for History of Mathematics
• /
• v.34 no.1
• /
• pp.1-20
• /
• 2021

Logic and intuition are considered as the opposite extremes of teaching geometry, and any teaching method of geometry is to be placed between these extremes. The purpose of this study is to identify the characteristics of logical and intuitive approaches for teaching geometry and to derive didactical implications by taking Euclid's Elements and Clairaut's Elements respectively representing the extremes. To this end, comparing the composition and contents of each book, we analyze which propositions Clairaut chose from Euclid's Elements, how their approaches differ in definitions, proofs, and geometrical constructions, and what unique approaches Clairaut took. The results reveal that Clairaut mainly chose propositions from Euclid's books 1, 3, 6, 11, and 12 to provide the contexts that show why such ideas were needed, rather than the sudden appearance of abstract and formal propositions, and omitted or modified the process of justification according to learners' levels. These propose a variety of intuitive strategies in line with trends of teaching geometry towards emphasis on conceptual understanding and different levels of justification. Specifically, such as the general principle of similarity and the infinite geometric approach shown in Clairaut's Elements, we could confirm that intuition-based geometry does not necessarily aim for tasks with low cognitive demand, but must be taught in a way that learners can understand.

• The Research Journal of the Costume Culture
• /
• v.29 no.2
• /
• pp.222-239
• /
• 2021

In this study, six mainland Chinese designer brands-Xander Zhou, Sankuanz, Sean Suen, Feng Chen Wang, Pronounce, and Angel Chen-were selected that had their works presented at both Chinese and global fashion shows between 2016 and 2021. By analyzing the design characteristics of each brand, it is possible to understand the style characteristics and trends of Chinese menswear designs. A case study approach was adopted utilizing literature data, whereby 1663 photos were collected from the fashion information website POP (www.pop-fashion.com). Changes in Chinese men's image and the menswear market were identified. The design characteristics of modern Chinese menswear are as follows. First, the results from analyzing the target brands show that each brand has a distinct personality. Compared with the traditional or formal style, urban casual and sports styles (based on street style) account for a larger proportion. Second, the boundaries between different styles are becoming ambiguous, and contrasting styles are harmoniously expressed by breaking down boundaries through changes and combinations of colors, materials, and details. Third, after examining the overall trend, 2018 was a watershed point, after which the design trend has changed from either conservative or exaggerated to a practical and everyday style, demonstrating a genderless trend.

• New & Renewable Energy
• /
• v.17 no.3
• /
• pp.24-31
• /
• 2021

Through 'The Renewable Energy 3020 Implementation Plan' for carbon neutrality, the government promised to raise the proportion of renewable energy generation to 20% and renewable energy installation capacity to 63.8% by 2030. Therefore, we plan to test a 5.5 MW offshore wind turbine near Maldo, Gunsan. In this project, we measure the level of public acceptance and perform ordinary least squares (OLS) regression analysis to show the determinants of public acceptance. The regression results are as followed. First, it is judged that the closer the distance to the offshore wind turbine, the more the economic effects considered by residents. Second, especially in Maldo, the experience of being discriminated from the Saemangeum project, is understood to have caused distrust in the surrounding fishing villages chief/Fisheries Cooperatives, converted into a local community effect. Finally, the policy implications are as follows. First, a bottom-up problem-solving method is required to improve public acceptance, based on the Living Lab. Second, the island community may be indifferent to the briefings or forums of outsiders. Therefore, a gradual approach is required through (in)formal channels based on reliability from a long-term perspective with nearby universities and research institutes using SamsØ Energy Academy.

• SUVANNABHUMI
• /
• v.12 no.2
• /
• pp.141-155
• /
• 2020

How might historians secure for the river a larger berth in the recent macro-historical turn? This question cannot find a greater niche than in the emerging critique of the existing spatial configuration of regionalism in mainland Southeastern Asia. The Brahmaputra, Irrawaddy, Salween, Mekong and Yangtze rivers spread out like a necklace around Yunnan and cut across parts of the territories that are known as South, Southeast and East Asia. Each of these rivers has a different topography and fluvial itinerary, giving rise to different political, economic and cultural trajectories. Yet these rivers together form a connected "water-world". These rivers engendered conversations between multi-agentive mobility and large-scale place-making and were at the heart of inter-Asian engagements and integration until the formal end of the European empires. Being both a subject and a sponsor of transregional crossings, the paper argues, these rivers point to the need for a new historical approach that registers the connections between parts of the Southeast Asian massif through to the expansive plain land and the vast coastal rim of the Bay of Bengal and the China Seas. A connection that could be framed through the concept of Holon.

• International Journal of Computer Science & Network Security
• /
• v.22 no.11
• /
• pp.184-188
• /
• 2022

The article considers the improved method and model of automated air situation assessment using a decision support system based on fuzzy networks of target installations. The advanced method of automated assessment of the air situation using the decision support system is based on the methodology of reflexive control of the first rank. With this approach, the process of assessing the air situation in the framework of the formulated task can be reduced to determining the purpose, probabilistic nature of actions and capabilities of the air target. The use of a homogeneous functional network for the formal presentation of air situation assessment processes will formally describe the process of determining classes of events during air situation assessment and the process of determining quantitative and qualitative characteristics of recognized air situation situations. To formalize the patterns of manifestation of the values of quantitative and symbolic information, it is proposed to use the mathematical apparatus of fuzzy sets.

• International journal of advanced smart convergence
• /
• v.13 no.1
• /
• pp.99-107
• /
• 2024

In AI image generation tools, most general users must use an effective prompt to craft queries or statements to elicit the desired response (image, result) from the AI model. But we are software engineers who focus on software processes. At the process's early stage, we use informal and formal requirement specifications. At this time, we adapt the natural language approach into requirement engineering and toon engineering. Most Generative AI tools do not produce the same image in the same query. The reason is that the same data asset is not used for the same query. To solve this problem, we intend to use informal requirement engineering and linguistics to create a toon. Therefore, we propose a sequence diagram and image generation mechanism by analyzing and applying key objects and attributes as an informal natural language requirement analysis. Identify morpheme and semantic roles by analyzing natural language through linguistic methods. Based on the analysis results, a sequence diagram and an image are generated through the diagram. We expect consistent image generation using the same image element asset through the proposed mechanism.

• Journal of Internet Technology
• /
• v.22 no.5
• /
• pp.1069-1082
• /
• 2021

The Internet of Things (IoT) is vulnerable to a wide range of security risks, which can be effectively mitigated by applying Cyber Threat Intelligence (CTI) sharing as a proactive mitigation approach. In realizing CTI sharing, it is of paramount importance to guarantee end-to-end protection of the shared information as unauthorized disclosure of CTI is disastrous for organizations using IoT. Furthermore, resource-constrained devices should be supported through lightweight operations. Unfortunately, the aforementioned are not satisfied by the Hypertext Transfer Protocol Secure (HTTPS), which state-of-the-art CTI sharing systems mainly depends on. As a promising alternative to HTTPS, Ephemeral Diffie-Hellman over COSE (EDHOC) can be considered because it meets the above requirements. However, EDHOC in its current version contains several security flaws, most notably due to the unprotected initial message. Consequently, we propose a lightweight end-to-end privacy-preserving security protocol that improves the existing draft EDHOC protocol by utilizing previously shared keys and keying materials while providing ticket-based optimized reauthentication. The proposed protocol is not only formally validated through BAN-logic and AVISPA, but also proved to fulfill essential security properties such as mutual authentication, secure key exchange, perfect forward secrecy, anonymity, confidentiality, and integrity. Also, comparing the protocol's performance to that of the EDHOC protocol reveals a substantial improvement with a single roundtrip to allow frequent CTI sharing.

• Journal of Intelligence and Information Systems
• /
• v.11 no.1
• /
• pp.123-151
• /
• 2005

In the world of Web pages, there are oceans of documents in natural language texts and tables. To extract rules from Web pages and maintain consistency between them, we have developed the framework of XRML(extensible Rule Markup Language). XRML allows the identification of rules on Web pages and generates the identified rules automatically. For this purpose, we have designed the Rule Identification Markup Language (RIML) that is similar to the formal Rule Structure Markup Language (RSML), both as pares of XRML. RIML is designed to identify rules not only from texts, but also from tables on Web pages, and to transform to the formal rules in RSは syntax automatically. While designing RIML, we considered the features of sharing variables and values, omitted terms, and synonyms. Using these features, rules can be identified or changed once, automatically generating their corresponding RSML rules. We have conducted an experiment to evaluate the effect of the RIML approach with real world Web pages of Amazon.com, BamesandNoble.com, and Powells.com We found that $97.7\%$ of the rules can be detected on the Web pages, and the completeness of generated rule components is $88.5\%$. This is good proof that XRML can facilitate the extraction and maintenance of rules from Web pages while building expert systems in the Semantic Web environment.

• Journal of Elementary Mathematics Education in Korea
• /
• v.21 no.4
• /
• pp.663-686
• /
• 2017

The purpose of this study was to identify the effects of convergent approach of mathematics education on students' problem-solving ability and self-efficacy by designing and applying mathematics curriculum based on STEAM. The results are as follows. First, the test results between the two groups did not show any statistically significant difference in terms of problem solving ability, but the experimental group showed a higher average score than the comparative group. Compared with the standard deviation of the experimental group, It can be seen that the level of difference between students is great. This suggests that STEAM-based mathematics lessons have a positive effect on the problem solving ability of low-level students. Second, the results of the self-efficacy t-test of STEAM-based mathematics class showed statistically significant results at a 5% significance level. In the sub-domain, the preference for the difficulty of the mathematics task, except math self-confidence and the math self-regulation efficacy, were statistically significant at a 5% significance level. This study shows that STEAM-based mathematics classes have a positive effect on the students' positive aspects. Through the STEAM program, students learn that mathematics is connected with other fields, and it provides an opportunity to explore on their own, and they more became interested, motivated, and achievement. Also, through the results of the STEAM-based mathematics class, it can be seen that the expressive power and self-confidence are increased by using the non-formal representation outside of the existing formal representation center. The result of this study can be summarized as follows: A STEAM-based mathematics class has a positive effect on problem solving ability and self-efficacy. Therefore, it is interpreted that the application of the STEAM program focusing on mathematics accounts for education effectives.

• Journal of KIISE
• /
• v.42 no.10
• /
• pp.1195-1206
• /
• 2015

For the management of a knowledge system, systems that automatically infer and manage scalable knowledge are required. Most of these systems use ontologies in order to exchange knowledge between machines and infer new knowledge. Therefore, approaches are needed that infer new knowledge for scalable ontology. In this paper, we propose an approach to perform rule based reasoning for scalable SHIF ontologies in a spark framework which works similarly to MapReduce in distributed memories on a cluster. For performing efficient reasoning in distributed memories, we focus on three areas. First, we define a data structure for splitting scalable ontology triples into small sets according to each reasoning rule and loading these triple sets in distributed memories. Second, a rule execution order and iteration conditions based on dependencies and correlations among the SHIF rules are defined. Finally, we explain the operations that are adapted to execute the rules, and these operations are based on reasoning algorithms. In order to evaluate the suggested methods in this paper, we perform an experiment with WebPie, which is a representative ontology reasoner based on a cluster using the LUBM set, which is formal data used to evaluate ontology inference and search speed. Consequently, the proposed approach shows that the throughput is improved by 28,400% (157k/sec) from WebPie(553/sec) with LUBM.