Search

This paper contains several novel definitions including neutrosophic E β metric space, neutrosophic quasi- S β -metric space, neutrosophic pseudo- S β -metric space, neutrosophic quasi- E -metric space and neutrosophic pseudo- E β -metric space. Further, we present some generalized fixed point results with non-trivial examples and the decomposition theorem in the setting of the neutrosophic pseudo- E β -metric space. Moreover, by using the main result, we examine the existence and uniqueness of the solution to an integral equation, a system of linear equations, and nonlinear fractional differential equations. [ABSTRACT FROM AUTHOR]

A multi-section coordinated math for social sciences course at a Hispanic-Serving Institution went through a major revision which included the addition of many resources. One resource was educational songs, including a lyric video on the three possible outcomes when solving a system of linear equations. The learning objective associated with this topic is one where learning (if not also teaching) may fall short, thus motivating a creative way to increase engagement. We discuss results from anonymous surveys of students and instructors to assess this educational song's potential to support student engagement (and hopefully learning), contextualized with qualitative data such as classroom observation. Recommendations for future assessment and class use are provided. [ABSTRACT FROM AUTHOR]

For solving large sparse systems of linear equations, we construct a paradigm of two‐step matrix splitting iteration methods and analyze its convergence property for the nonsingular and the positive‐definite matrix class. This two‐step matrix splitting iteration paradigm adopts only one single splitting of the coefficient matrix, together with several arbitrary iteration parameters. Hence, it can be constructed easily in actual applications, and can also recover a number of representatives of the existing two‐step matrix splitting iteration methods. This result provides systematic treatment for the two‐step matrix splitting iteration methods, establishes rigorous theory for their asymptotic convergence, and enriches algorithmic family of the linear iteration solvers, for the iterative solutions of large sparse linear systems. [ABSTRACT FROM AUTHOR]

We found a lower bound on the rank of a square matrix where every entry in the leading diagonal is neither zero nor one and every entry outside the leading diagonal is either zero or one. The rank of this matrix is at least half its order. Under an additional condition, the lower bound is higher by one. This condition means that some auxiliary system of linear equations has no binary solution. Some examples are provided that show that the lower bound can be achieved. This lower bound on the matrix rank allows the problem of finding a binary solution to a system of linear equations with a sufficiently large number of linearly independent equations to be reduced to a similar problem in a smaller number of variables. Restrictions on the existence of a large set of solutions are found, each differing from the binary one by the value of one variable. In addition, we discuss the possibility of certifying the absence of a binary solution to a large system of linear algebraic equations. Estimates of the time required for calculating the matrix rank in the SymPy computer algebra system are also provided. It is shown that the rank of a matrix over the field of residues modulo prime number is calculated faster than it generally takes to calculate the rank of a matrix of the same order over the field of rational numbers. [ABSTRACT FROM AUTHOR]

In this paper, by using the geometrical classification of the types of linear equations or systems of two equations, we determine a method for solving systems of linear equations. The analysis specifically refers to systems of linear equations that reduce to a quadratic system of the second or third order in which all determinants of the system are zero. The methodological significance of the method is also discussed. [ABSTRACT FROM AUTHOR]

This paper contains several novel definitions including neutrosophic Eβ metric space, neutrosophic quasi-Sβ-metric space, neutrosophic pseudo-Sβ-metric space, neutrosophic quasi-E-metric space and neutrosophic pseudo-Eβ-metric space. Further, we present some generalized fixed point results with non-trivial examples and the decomposition theorem in the setting of the neutrosophic pseudo-Eβ-metric space. Moreover, by using the main result, we examine the existence and uniqueness of the solution to an integral equation, a system of linear equations, and nonlinear fractional differential equations.

We investigate the randomized Kaczmarz method that adaptively updates the stepsize using readily available information for solving inconsistent linear systems. A novel geometric interpretation is provided which shows that the proposed method can be viewed as an orthogonal projection method in some sense. We prove that this method converges linearly in expectation to the unique minimum Euclidean norm least-squares solution of the linear system, and provide a tight upper bound for the convergence of the proposed method. Numerical experiments are also given to illustrate the theoretical results. [ABSTRACT FROM AUTHOR]

The concept of systems of linear equations (SLEs) is fundamental and core in linear algebra, a subject, which has many applications in a number of disciplines. Gaussian elimination is a versatile method, which can be used to solve almost all types of SLEs by using row-reductions. This study focused on exploring undergraduate students' conceptualizations of elementary row operations (EROs) as a means to solve SLEs. The purpose of this study was to explore undergraduate students' conceptualizations of row reductions and their applications to the solutions of systems of equations. The perspectives of the action-process-object-schema theoretical framework were used in analyzing data and discussing the findings. To explore the students' conceptualization of EROs, a descriptive research approach was followed. I considered a case study of 131 students registered for a mathematics for educators course, where linear algebra was one of the topics. The findings revealed that students attained the action conception of reducing a system with unique solutions but had challenges reducing and interpreting solutions to a system with nonunique solutions. The latter row-reduction implored process and object conceptions especially when variable elements in the augmented matrix were involved. As students find the learning of linear algebra difficult, this study contributes to the debate in literature on how to improve its teaching and make suggestions on the ways make more effective the learning of linear algebra. [ABSTRACT FROM AUTHOR]

The aim of the present research article is to solve the system of linear equations using common fixed point theorems in the context of bicomplex valued metric spaces. To obtain our main objective, we introduce generalized contractive conditions in bicomplex valued metric spaces and establish common fixed point theorems for self mappings. We also give a significant example to demonstrate the legitimacy of the given theorems. [ABSTRACT FROM AUTHOR]

In order to improve the convergence property and computational behavior of the randomized extended Kaczmarz method, we propose a multi-step randomized extended Kaczmarz method, in which we repeatedly update the iterate several times at each iteration step, obtaining a nonstationary inner-outer iteration scheme for solving large-scale, sparse, and inconsistent system of linear equations. For this multi-step randomized extended Kaczmarz method, we prove its convergence, derive an upper bound for its convergence rate, and demonstrate that this upper bound can be smaller than that of the randomized extended Kaczmarz method for several typical choices of the numbers of inner iteration steps. Numerical experiments also show that the multi-step randomized extended Kaczmarz method can perform better than the randomized extended Kaczmarz method if we choose the numbers of inner iteration steps appropriately. [ABSTRACT FROM AUTHOR]

This project aims to employ the aptitude treatment interaction model in the teaching system of linear equations as an alternative learning approach for high school students pursuing vocational careers. Instructional design was utilized to develop the learning model. An essential aspect of applying the aptitude treatment interaction model to learning design is the analysis of student requirements. Learning outcomes and performance goals are thoughtfully considered and aligned with instructional objectives. The findings suggest that educators should utilize the aptitude treatment interaction model when teaching systems of linear equations. The effectiveness of the learning model depends on how well it is tailored to the student's abilities.

Any set S of elements from an abelian group produces a graph with colored edges G(S), with its points the elements of S, and the edge between points P and Q assigned for its “color” the sum P+Q. Since any pair of identically colored edges is equivalent to an equation P+Q=P′+Q′, the geometric—combinatorial figure G(S) is thus equivalent to a system of linear equations. This article derives elementary properties of such “sum cographs”, including forced or forbidden configurations, and then catalogues the 54 possible sum cographs on up to 6 points. Larger sum cograph structures also exist: Points {Pi}in Zmclose up into a “Fibonacci cycle”–i.e. P0=1, P1=k, Pi+2=Pi+Pi+1for all integers i≥0, and then Pn=P0and Pn+1=P1–provided that m=Lnis a Lucas prime, in which case actually Pi=kifor all i≥0.

We review and compare several representative and effective randomized projection iteration methods, including the randomized Kaczmarz method, the randomized coordinate descent method, and their modifications and extensions, for solving the large, sparse, consistent or inconsistent systems of linear equations. We also anatomize, extract, and purify the asymptotic convergence theories of these iteration methods, and discuss, analyze, and summarize their advantages and disadvantages from the viewpoints of both theory and computations. [ABSTRACT FROM AUTHOR]

Based on the method proposed for solving the so-called -systems of linear equations, it is proved that the orders of homogeneous invariant differential operators of smooth real functions of one variable take values from to , and the dimension of the space of all such operators does not exceed . A classification of invariant differential operators of order is obtained for and for for all orders from 4 to 10. Homogeneous invariant differential operators of the smallest order and the largest order are given, respectively, by the product of the first differentials () and the Wronskian (). The existence of nonzero homogeneous invariant differential operators of order for is proved. [ABSTRACT FROM AUTHOR]

The results of a parallel implementation of a randomized vector algorithm for solving systems of linear equations are presented in the paper. The solution is represented in the form of a Neumann series. The stochastic method computes this series by sampling only random columns, avoiding multiplication of matrix by matrix and matrix by vector. We consider the case when the matrix is too large to fit in random-access memory (RAM). We use two approaches to solve this problem. In the first approach, the matrix is divided into parts that are distributed among MPI processes and stored in the available RAM of the cluster nodes. In the second approach, the entire matrix is stored on each node's hard drive, loaded into RAM, and processed in parts. Independent Monte Carlo experiments for random column indices are distributed among MPI processes or OpenMP threads for both approaches to matrix storage. The efficiency of parallel implementations is analyzed. Results are given for a system governed by dense matrices of size 10 4 and 10 5 . [ABSTRACT FROM AUTHOR]

This manuscript contains several new notions including intuitionistic fuzzy  N b  metric space, intuitionistic fuzzy quasi- S b -metric space, intuitionistic fuzzy pseudo- S b -metric space, intuitionistic fuzzy quasi- N -metric space and intuitionistic fuzzy pseudo  N b  fuzzy metric space. We prove decomposition theorem and fixed-point results in the setting of intuitionistic fuzzy pseudo  N b  fuzzy metric space. Further, we provide several non-trivial examples to show the validity of introduced notions and results. At the end, we solve an integral equation, system of linear equations and nonlinear fractional differential equations as applications. [ABSTRACT FROM AUTHOR]

Telecommunications have penetrated deeply into all spheres of human activity. Due to the use of digital technologies, it has become possible to transmit and receive information of various kinds in one stream (not separately). Three geostationary satellites are sufficient to provide data transmission from anywhere in the world to another point using artificial Earth satellites. Data transmission systems using the satellite should contain at least two Earth Stations and a repeater of the communication satellite. There are no means of combating any types of artificial interference in the Earth Stations equipment. The jammer, an illegitimate user, can emit a signal from any point in space within a telecommunications satellite system. The paper provides an analysis of existing methods for determining the coordinates of a radio signal source, describes a method for determining the coordinates of an radio signal source (illegitimate user) in satellite telecommunications systems using a geostationary spacecraft. The development was based on a three-position virtual antenna array, the positions of which determined the base of an irregular tetrahedron, and the radio signal source itself was its vertex. In the course of the solution, canonical equations of straight lines in space were compiled, at the intersection point of which the source of the radio signal is located. The coordinates of the radio signal source were the roots of the system, when finding the unit vectors lying on these lines.

In this paper, a novel hyper-rectangle cover theory is developed. Two important concepts, the cover order and the cover length, are introduced. We construct a specific échelon form of the matrix in the same manner as that employed to determine the rank of the matrix to obtain the cover order of any given matrix. Using the properties of the cover order, we obtain the necessary and sufficient conditions for the existence and uniqueness of the solutions for linear equations system with non-negativity constraints on variables for both homogeneous and nonhomogeneous cases. In addition, we apply the cover theory to analyze some typical problems in linear algebra and optimization with non-negativity constraints on variables, including linear programming (LP) problems and non-negative least squares (NNLS) problems. For LP problems, the three possible behaviours of the solutions are studied through cover theory. On the other hand, we develop a method to obtain the cover length of the covered variable. In this process, we discover the relationship between the cover length determination problem and the NNLS problem. This enables us to obtain an analytical optimal value for the NNLS problem. [ABSTRACT FROM AUTHOR]

Let M n , k , t be the inclusion matrix of k-subsets and t-subsets of a set of n elements. In this note, we give a new proof for the property that M n , k , t is either of full row rank or of full column rank. Our proof is based on a nontrivial use of system of linear equations. [ABSTRACT FROM AUTHOR]

The Kaczmarz method is a classical while effective iteration method for solving very large-scale consistent systems of linear equations, and the randomized Kaczmarz method is an important and valuable variant of the Kaczmarz method. By theoretically analyzing and numerically experimenting several criteria typically adopted in the non-randomized and the randomized Kaczmarz method for selecting the working row, we derive sharper upper bounds for the convergence rates of some of the correspondingly induced Kaczmarz-type methods including those with respect to the maximal residual, maximal distance, and distance selection rules of the working row, and, for this whole suite of iteration methods consisting of the Kaczmarz methods with respect to the uniform, non-uniform, residual, distance, maximal residual, and maximal distance selection rules of the working row, we reveal their comparable relationships in terms of both mean-squared distance and mean-squared error, and show their computational effectiveness and numerical robustness based upon implementing a large number of test examples. Here the mean-squared distance is defined as the mean-value of the squared Euclidean norm of the current update increment of the iteration, and the mean-squared error is defined as the mean-value of the squared Euclidean norm of the current error that is the difference between the current iterate and the true solution of the target linear system. [ABSTRACT FROM AUTHOR]

In this manuscript, we introduce a three dimension metric type spaces so called $ J $-metric spaces. We prove the existence and uniqueness of a fixed point for self mappings in such spaces with different types of contractions. We use our result to prove the existence and uniqueness of a solution of the following fractional differential equations such as $ \mathcal{(P)}:\left\{ \begin{array}{ccl} D^{\lambda}x(t) & = & f(t,x(t)) = Fx(t) \;{\rm{ if }}\; t\in I_0 = (0,T] \\ x(0) & = & x(T) = r \\ \end{array} \right\} . $ Moreover, we present other applications to systems of linear equations and Fredholm type integral equation.

Copyright of Journal of Beijing University of Civil Engineering & Architecture is the property of Journal of Beijing University of Civil Engineering & Architecture Editorial Office and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

The aim of the present research article is to solve the system of linear equations using common fixed point theorems in the context of bicomplex valued metric spaces. To obtain our main objective, we introduce generalized contractive conditions in bicomplex valued metric spaces and establish common fixed point theorems for self mappings. We also give a significant example to demonstrate the legitimacy of the given theorems.

This study aims to establish a new fixed point theorem in the framework of $ S^{JS} $-metric spaces, recently introduced by Beg et al. We propose different principles of contraction using various techniques. The theorems obtained represent a new framework for other future work in the considered space. Also, we provide two applications of our results to linear system of equations and the following fractional differential equation $ \mathcal{(P)}:\left\{ \begin{array}{ccl} D^{\lambda}x(t) & = & f(t, x(t)) = Fx(t) \mbox{ if } t\in I_0 = (0, T] \\ x(0) & = & x(T) = r \ \end{array} \right\}. $ These applications show the effectiveness of our approach as a powerful tool for solving several types of differential equations.

In this manuscript, we introduce a three dimension metric type spaces so called J-metric spaces. We prove the existence and uniqueness of a fixed point for self mappings in such spaces with different types of contractions. We use our result to prove the existence and uniqueness of a solution of the following fractional differential equations such as ... Moreover, we present other applications to systems of linear equations and Fredholm type integral equation. [ABSTRACT FROM AUTHOR]

This manuscript contains several new notions including intuitionistic fuzzy Nb metric space, intuitionistic fuzzy quasi-Sb-metric space, intuitionistic fuzzy pseudo-Sb-metric space, intuitionistic fuzzy quasi-N-metric space and intuitionistic fuzzy pseudo Nb fuzzy metric space. We prove decomposition theorem and fixed-point results in the setting of intuitionistic fuzzy pseudo Nb fuzzy metric space. Further, we provide several non-trivial examples to show the validity of introduced notions and results. At the end, we solve an integral equation, system of linear equations and nonlinear fractional differential equations as applications.

The purpose of this research is to determine the improvement of students' mathematical understanding ability on a system of linear equations using GeoGebra-based game education. This research use quasi-experimental that was conducted on two classes of the school in Indonesia. Class X MIPA 4 as experimental class and X MIPA 3 as control class. Based on the results the average score of N-Gain value analysis, mathematical concept understanding ability in the experimental class is 0.55, and the control class average score is 0.30. Based on the calculation, the Asymp. Sig. (2 tailed) of 0.000 is obtained. Because the significance score is obtained less than 0.05, thus it is rejected and is accepted. So, it can be concluded that the improvement of students' mathematical understanding ability using GeoGebra-based game education is better than the improvement through ordinary learning. The learning motivation of students using GeoGebra-based game education as a positive learning media, but there is no relationship between learning motivation and students' mathematical understanding using GeoGebra-Based Game Education.

The Jacobi iterative algorithm has the characteristic of low computational load, and multiple components of the solution can be solved independently. This paper applies these characteristics to the ternary optical computer, which can be used for parallel optimization because it has a large number of data bits and reconfigurable processor bits. Therefore, a new parallel design scheme is constructed to solve the problem of slow efficiency in solving large linear equations. And the elaborate experiment is used to verify. The experimental method is to simulate the calculation on the ternary optical computer experimental platform. Then, the resource consumption is numerically calculated and summarized to measure the feasibility of the parallel design. Eventually, the results show that the parallel design has obvious advantages in computing speed. The Jacobi iterative algorithm is optimized in parallel on ternary optical processor for the first time. There are two parallel highlights of the scheme. First, the n components are calculated in full parallel. Second, the modified signed-digit (MSD) multiplier based on the minimum module and one-step MSD adder are used to calculate each component to eliminate the impact of large amount of data on calculation time. The research provides a new method for fast solution of large linear equations. [ABSTRACT FROM AUTHOR]

In this paper, a novel hyper-rectangle cover theory is developed. Two important concepts, the cover order and the cover length, are introduced. We construct a specific échelon form of the matrix in the same manner as that employed to determine the rank of the matrix to obtain the cover order of any given matrix. Using the properties of the cover order, we obtain the necessary and sufficient conditions for the existence and uniqueness of the solutions for linear equations system with non-negativity constraints on variables for both homogeneous and nonhomogeneous cases. In addition, we apply the cover theory to analyze some typical problems in linear algebra and optimization with non-negativity constraints on variables, including linear programming (LP) problems and non-negative least squares (NNLS) problems. For LP problems, the three possible behaviours of the solutions are studied through cover theory. On the other hand, we develop a method to obtain the cover length of the covered variable. In this process, we discover the relationship between the cover length determination problem and the NNLS problem. This enables us to obtain an analytical optimal value for the NNLS problem.

Students' creative thinking processes need to be developed to support them in solving complex mathematical problems, but this is not easy. This study aims to describe students' creative thinking skills in solving linear equation system problems based on brain dominance. This research is a qualitative descriptive research with a case study approach. Subjects were categorized into right brain dominance and left brain dominance by using a brain dominance questionnaire. The research instruments were in the form of tests and interview guidelines. Data validation uses method triangulation and data is analyzed through data reduction, data presentation, data verification, and drawing conclusions. The results showed that the subject of right brain dominance in fluency gave 3 responses, in flexible thinking the subject gave 3 different ideas, in original thinking the subject gave a unique response, and in elaboration the subject did not show a coherent answer. While the left brain dominant subject in fluent thinking (fluency) gave 4 responses, in flexible thinking the subject gave 3 general ideas, in original thinking the subject did not show a unique response, and in detailed thinking (elaboration) the subject showed a flurry of answers.

For the single-step matrix splitting iteration paradigm proposed and analyzed recently by Bai (Numer. Linear Algebra Appl. 2023; e2510), we further provide a simpler and more accurate convergence result when the coefficient matrix of the linear system is a nonsingular matrix. Moreover, we demonstrate its asymptotic convergence when the coefficient matrix is an H -matrix. These results then enrich the convergence theory and enlarge the application spectrum of this paradigm. [ABSTRACT FROM AUTHOR]

For solving large-scale inconsistent systems of linear equations by iteration methods, with the application of the greedy randomized Kaczmarz method to a consistent augmented linear system, we find an appropriate balance between the updates of the two iteration vectors in the randomized extended Kaczmarz method, and, based on this balance, we propose a greedy randomized augmented Kaczmarz method. We prove the convergence of the greedy randomized augmented Kaczmarz method and derive an upper bound for its expected convergence rate. Numerical results show that the greedy randomized augmented Kaczmarz method can be much more effective than the randomized extended Kaczmarz method as well as the partially randomized extended Kaczmarz method. [ABSTRACT FROM AUTHOR]

Evaluating the security of a block cipher against impossible differential cryptanalysis, is an important aspect during the design process. The maximum length of impossible differentials is often used to evaluate this security. There have been many methods on giving upper bounds on the length of impossible differentials or finding longer impossible differentials. Two notable examples are the "Primitive Index" method proposed by Sun et al. at EUROCRYPT2016 and the MILP method proposed by Sasaki et al. at EUROCRYPT2017. However, these existing methods can only give upper bounds for some special SPN block ciphers or cannot give upper bounds due to the high time complexity. In this paper, we show that when ignoring the differential property of the underlying S-box, giving upper bounds on the length of impossible differentials is a linear problem. By using linear algebra, we propose the Expansion Index of the linear layer, with which we can give upper bounds on the length of impossible differentials for any SPN block cipher with the detail of the S-box omitted. The core of this method is establishing and solving systems of linear equations, thus the verification of a single differential has linear time complexity. What's more, to give upper bounds with this method, we only need to establish and solve systems for differentials whose input and output differences have only one active S-box, which greatly reduces its time complexity from O (2 t) to O(t) (here t denotes the number of S-boxes in the S-layer). The method in this paper is implemented in C and encapsulated into a tool freely available to readers. By applying our method on some SPN block ciphers, we give, for the first time, upper bounds on the length of impossible differentials for Midori, Skinny, CRYPTON, mCrypton, Minalpher. [ABSTRACT FROM AUTHOR]

In this paper, we introduce and analyze a normalization method for solving a system of linear equations over tropical semirings. We use a normalization method to construct an associated normalized matrix, which gives a technique for solving the system. If solutions exist, the method can also determine the degrees of freedom of the system. Moreover, we present a procedure to determine the column rank and the row rank of a matrix. Flowcharts for this normalization method and its applications are included as well. [ABSTRACT FROM AUTHOR]

The development of a structural-parametric approach to constructing analytical approximations is considered. Within the framework of the new method, which includes modified S-approximations and determination of the integral curves of the vector field, a method is proposed for finding the analytic continuation of the field in the case of profile (route) geophysical measurements. The results of a mathematical experiment using real data on an anomalous gravitational field from data of marine areal gravimetric and airborne gravimetric route surveys are presented. It is shown that the proposed analysis algorithm is promising for finding analytic continuations of geopotential fields within a certain neighborhood of the measurement profile when a sufficient volume of areal data is lacking. [ABSTRACT FROM AUTHOR]