• Journal of the Korean School Mathematics Society
• /
• v.25 no.4
• /
• pp.353-374
• /
• 2022

The study investigated students' instrumentalization levels and computer programming self-efficacy in mathematics classrooms while using Scratches, to understand the properties of equality. 32 of 7th-grade students from D middle school in Gyeonggi-do participated in the program consisting of 7 lesson units. To investigate individual students' levels of instrumentalization, each worksheet they worked on using Scratches was saved into computers after each lesson. Questionnaires measured self-efficacy regarding computer programming at the study's beginning and the end. The level of students' instrumentalization was revealed to be variously from level 0 to 4. In the beginning, 9% of students corresponded to level 3 or 4, but more than 80% of students reached level 3 or above at the end. In addition, computer programing self-efficacy was improved significantly.

• Journal of applied mathematics & informatics
• /
• v.42 no.3
• /
• pp.635-646
• /
• 2024

In this research work, we introduce and investigate four innovative types of soft spaces, pushing the boundaries of traditional spatial concepts. These new types of soft spaces are named as soft T_b space, soft T^#_b space, soft T^##_b space and soft_αT^#_b space. Through rigorous analysis and experimentation, we uncover and propose distinct characteristics that define and differentiate these spaces. In this research work, we have established that every soft $T_{\frac{1}{2}}$ space is a soft _αT^#_b space, every soft T_b space is a soft _αT^#_b space, every soft T^#_b space is a soft _αT^#_b space, every soft T_b space is a soft T^#_b space, every soft T^#_b space is a soft T^##_b space, every soft $T_{\frac{1}{2}}$ space is a soft ^#T_b space and every soft T_b space is a soft #T_b space.

• Journal of applied mathematics & informatics
• /
• v.42 no.4
• /
• pp.831-854
• /
• 2024

The transportation problem (TP) is one of the earliest and the most significant implementations of linear programming problem (LPP). It is a specific type of LPP that mostly works with logistics and it is connected to day-to-day activities in our everyday lives. Nowadays decision makers (DM's) aim to reduce the transporting expenses and simultaneously aim to reduce the transporting time of the distribution system so the bi-objective transportation problem (BOTP) is established in the research. In real life, the transportation parameters are naturally uncertain due to insufficient data, poor judgement and circumstances in the environment, etc. In view of this, neutrosophic bi-objective transportation problem (NBOTP) is introduced in this paper. By introducing single-valued trapezoidal neutrosophic numbers (SVTrNNs) to the co-efficient of the objective function, supply and demand constraints, the problem is formulated. The DM's aim is to determine the optimal compromise solution for NBOTP. The extended weighted possibility mean for single-valued trapezoidal neutrosophic numbers based on [40] is proposed to transform the single-valued trapezoidal neutrosophic BOTP (SVTrNBOTP) into its deterministic BOTP. The transformed deterministic BOTP is then solved using the dripping method [10]. Numerical examples are provided to illustrate the applicability, effectiveness and usefulness of the solution approach. A sensitivity analysis (SA) determines the sensitivity ranges for the objective functions of deterministic BOTP. Finally, the obtained optimal compromise solution from the proposed approach provides a better result as compared to the existing approaches and conclusions are discussed for future research.

• Journal of Elementary Mathematics Education in Korea
• /
• v.14 no.2
• /
• pp.287-314
• /
• 2010

The algorithm is a chain of mechanical procedures, capable of solving a problem. In modern mathematics educations, the teaching algorithm is performing an important role, even though contracted than in the past. The conspicuous characteristic of current elementary mathematics textbook's manner of manipulating multiplication algorithm is exceeding converge to 'standard algorithm.' But there are many algorithm other than standard algorithm in calculating multiplication, and this diversity is important with respect to didactical dimension. In this thesis, we have reconstructed the experimental learning and teaching plan of multiplication algorithm unit by making the best use of diversity of multiplication algorithm. It's core contents are as follows. Firstly, It handled various modified algorithms in addition to standard algorithm. Secondly, It did not order children to use standard algorithm exclusively, but encouraged children to select algorithm according to his interest. As stated above, we have performed teaching experiment which is ruled by new lesson design and analysed the effects of teaching experiment. Through this study, we obtained the following results and suggestions. Firstly, the experimental learning and teaching plan was effective on understanding of the place-value principle and the distributive law. The experimental group which was learned through various modified algorithm in addition to standard algorithm displayed higher degree of understanding than the control group. Secondly, as for computational ability, the experimental group did not show better achievement than the control group. It's cause is, in my guess, that we taught the children the various modified algorithm and allowed the children to select a algorithm by preference. The experimental group was more interested in diversity of algorithm and it's application itself than correct computation. Thirdly, the lattice method was not adopted in the majority of present mathematics school textbooks, but ranked high in the children's preference. I suggest that the mathematics school textbooks which will be developed henceforth should accept the lattice method.

• Journal of Theoretical and Applied Mechanics
• /
• v.3 no.1
• /
• pp.16-33
• /
• 2002

A concept of hierarchical modeling, the newest modeling technology. has been introduced early In 1990. This nu technology has a goat potential to advance the capabilities of current computational mechanics. A first step to Implement this concept is to construct hierarchical models, a family of mathematical models which are sequentially connected by a key parameter of the problem under consideration and have different levels in modeling accuracy, and to investigate characteristics In their numerical simulation aspects. Among representative model problems to explore this concept are elastic structures such as beam-, arch-. plate- and shell-like structures because the mechanical behavior through the thickness can be approximated with sequential accuracy by varying the order of thickness polynomials in the displacement or stress fields. But, in the numerical analysis of hierarchical models, two kinds of errors prevail: the modeling error and the numerical approximation errors. To ensure numerical simulation quality, an accurate estimation of these two errors Is definitely essential. Here, a local a posteriori error estimator for elastic structures with thin domain such as plate- and shell-like structures Is derived using element residuals and flux balancing technique. This method guarantees upper bounds for the global error, and also provides accurate local error Indicators for two types of errors, in the energy norm. Comparing to the classical error estimators using flux averaging technique, this shows considerably reliable and accurate effectivity indices. To illustrate the theoretical results and to verify the validity of the proposed error estimator, representative numerical examples are provided.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.7 no.5
• /
• pp.1328-1342
• /
• 2013

Searchable encryption is a cryptographic protocol for searching a document in encrypted databases. A simple searchable encryption protocol, which is capable of using only one keyword at one time, is very limited and cannot satisfy demands of various applications. Thus, designing a searchable encryption with useful additional functions, for example, conjunctive keyword search, is one of the most important goals. There have been many attempts to construct a searchable encryption with conjunctive keyword search. However, most of the previously proposed protocols are based on public-key cryptosystems which require a large amount of computational cost. Moreover, the amount of computation in search procedure depends on the number of documents stored in the database. These previously proposed protocols are not suitable for extremely large data sets. In this paper, we propose a new searchable encryption protocol with a conjunctive keyword search based on a linked tree structure instead of public-key based techniques. The protocol requires a remarkably small computational cost, particularly when applied to extremely large databases. Actually, the amount of computation in search procedure depends on the number of documents matched to the query, instead of the size of the entire database.

• Steel and Composite Structures
• /
• v.34 no.3
• /
• pp.377-391
• /
• 2020

A concrete filled steel tube (CFT) column with stiffeners has preferable behavior subjected to axial loading condition due to delay local buckling of the steel wall than traditional CFT columns without stiffeners. Welding lines in welded built-up steel box columns is expected to behave as longitudinal stiffeners. This study has presented a numerical investigation into the behavior of built-up concrete filled steel tube columns under axial pressure. At first stage, a finite element model (FE) has been built to simulate the behavior of built-up CFT columns. Comparing the results of FE and test has shown that numerical model passes the desired conditions and could accurately predict the axial performance of CFT column. Also, by the raise of steel tube thickness, the load bearing capacity of columns has been increased due to higher confinement effect. Also, the raise of concrete strength with greater cross section is led to a higher load bearing capacity compared to the steel tube thickness increment. In CFT columns with greater cross section, concrete strength has a higher influence on load bearing capacity which is noticeable in columns with more welding lines.

• Steel and Composite Structures
• /
• v.34 no.3
• /
• pp.347-359
• /
• 2020

The objective of this study is to experimentally scrutinize the axial performance of built-up concrete filled steel tube (CFT) columns composed of steel plates. In this case, the main parameters cross section types, compressive strength of filled concrete, and the effect of welding lines. Welded built-up steel box columns are fabricated by connecting two pieces of cold-formed U-shaped or four pieces of L-shaped thin steel plates with continuous penetration groove welding line located at mid-depth of stub column section. Furthermore, traditional square steel box sections with no welding lines are investigated for the comparison of axial behavior between the generic and build-up cross sections. Accordingly, 20 stub columns with thickness and height of 2 and 300 mm have been manufactured. As a result, welding lines in built-up specimens act as stiffeners because have higher strength and thickness in comparison to the plates. Subsequently, by increasing the welding lines, the load bearing capacity of stub columns has been increased in comparison to the traditional series. Furthermore, for specimens with the same confinement steel tubes and concrete core, increment of B/t ratio has reduced the ductility and axial strength.

• Advances in nano research
• /
• v.8 no.3
• /
• pp.191-202
• /
• 2020

The article brings the study of nonlocal, surface and the couple stress together to apparent the frequency retaliation of FG nanobeams (Functionally graded). For the examination of frequency retaliation, the article considers the accurate spot of neutral axis. This article aims to enhance the coherence of proposed model to accurately encapsulate the significant effects of the nonlocal stress field, size effects together with material length scale parameters. These considered parameters are assimilated through what are referred to as modified couple stress as well as nonlocal elasticity theories, which encompasses the stiffness-hardening and softening influence on the nanobeams frequency characteristics. Power-law distribution is followed by the functional gradation of the material across the beam width in the considered structure of the article. Following the well-known Hamilton's principle, fundamental basic equations alongside their correlated boundary conditions are solved analytically. Validation of the study is also done with published result. Distinct parameters (such as surface energy, slenderness ratio, as nonlocal material length scale and power-law exponent) influence is depicted graphically following the boundary conditions on non-dimensional FG nanobeams frequency.

• Proceedings of the Korean Society for Bioinformatics Conference
• /
• 2005.09a
• /
• pp.313-318
• /
• 2005

Estimating the reliability of protein-protein interaction data sets obtained by high-throughput technologies such as yeast two-hybrid assays and mass spectrometry is of great importance. We develop a maximum likelihood estimation method that uses both protein localization and gene expression data to estimate the reliability of protein interaction data sets. By integrating protein localization data and gene expression data, we can obtain more accurate estimates of the reliability of various interaction data sets. We apply the method to protein physical interaction data sets and protein complex data sets. The reliability of the yeast two-hybrid interactions by Ito et al. (2001) is 27%, and that by Uetz et at.(2000) is 68%. The reliability of the protein complex data sets using tandem affinity purification-mass spec-trometry (TAP) by Gavin et at. (2002) is 45%, and that using high-throughput mass spectrometric protein complex identification (HMS-PCI) by Ho et al. (2002) is 20%. The method is general and can be applied to analyze any protein interaction data sets.