Improving Performance of Computer Algebra Systems

Computer Algebra Systems have been extensively used in higher education. The reasons are many e.g., visualize mathematical problems, correlate real-world problems on a conceptual level, are flexible, simple to use, accessible from anywhere, etc. However, there is still room for improvement. Computer algebra system (CAS) optimization is the set of best practices and techniques to keep the CAS running optimally. Best practices are related to how to carry out a mathematical task or configure your system. In this paper, we are going to examine these techniques. The documentation sheets of CASs are the source of data that we used to compare them and examine their characteristics. The research results reveal that there are many tips that we can follow to accelerate performance.

Analyzing Electric Circuits with Computer Algebra

This report shows how starting from classic electric circuits embodying commonly electric components we have reached semi-complicated circuits embodying the same components that analyzing the signal characteristics requires a Computer Algebra System. Our approach distinguishes itself from the electrical engineers’ (EE) approach that relies on utilizing commercially available software. Our approach step-by-step shows how Kirchhoff’s rules are applied conducive to the needed circuit information. It is shown for the case at hand the characteristic information is a set of coupled differential equations and that with the help of Mathematica numeric solutions are sought. Our report paves the research road for unlimited creative similar circuits with any degree of complications. Occasionally, by tweaking the circuits we have addressed the “what if” scenarios widening the scope of the investigation. Justification of the accuracy of our analysis for the generalized circuits is cross-checked by arranging the components symmetrizing the circuit leading to an intuitively predictable reasonable result. Mathematica codes are embedded assisting the interested reader in producing and extending our results.

Applications of Computer Algebra in Solving Nonlinear Evolution Equations

With the use of computer algebra, the method that straightforwardly leads to travelling wave solutions is presented. The compound KdV-Burgers equation and KP-B equation are chosen to illustrate this approach. As a result, their abundant new soliton-like solutions and period form solutions are found.

Computer Algebra and Solutions to the Karamoto-Sivashinsky Equation

The method of Riccati equation is extended for constructing travelling wave solutions of nonlinear partial differential equations. It is applied to solve the Karamoto-Sivashinsky equation and then its more new explicit solutions have been obtained. From the results given in this paper, one can see the computer algebra plays an important role in this procedure.

A SEMI-INVERSE ALGORITHM IN APPLICATION OF COMPUTER ALGEBRA

For the purpose of overcoming the difficulty of the so-called 'intermediate expression swell' in applying computer algebra, a semi-inverse algorithm is proposed. The or del of seeking solutions for various problems is partly inverted, i. e., the intermediate expressions appearing in computation are 'frozen' in the symbolic form at first, and 'unfrozen' till the formal expressions of final solutions are found out. In this rca!, the overflow due to the shortage of saving space is avoided. The applications of the algorithm in the problems on nonlinear oscillation, dynamical optimization and interfacial solitary waves are described, which show the effectiveness of the semi-inverse algorithm.

Revealing the Hidden Mathematical Beauties of the Cayley-Hamilton Method

The inversion of a non-singular square matrix applying a Computer Algebra System (CAS) is straightforward. The CASs make the numeric computation efficient but mock the mathematical characteristics. The algorithms conducive to the output are sealed and inaccessible. In practice, other than the CPU timing, the applied inversion method is irrelevant. This research-oriented article discusses one such process, the Cayley-Hamilton (C.H.) [1]. Pursuing the process symbolically reveals its unpublished hidden mathematical characteristics even in the original article [1]. This article expands the general vision of the original named method without altering its practical applications. We have used the famous CAS Mathematica [2]. We have briefed the theory behind the method and applied it to different-sized symbolic and numeric matrices. The results are compared to the named CAS’s sealed, packaged library commands. The codes are given, and the algorithms are unsealed.

Impact of a Bumpy Nonuniform Electric Field on Oscillations of a Massive Point-Like Charged Particle

As a general feature, the electric field of a localized electric charge distribution diminishes as the distance from the distribution increases;there are exceptions to this feature. For instance, the electric field of a charged ring (being a localized charge distribution) along its symmetry axis perpendicular to the ring through its center rather than as expected being a diminishing field encounters a local maximum bump. It is the objective of this research-oriented study to analyze the impact of this bump on the characteristics of a massive point-like charged particle oscillating along the symmetry axis. Two scenarios with and without gravity along the symmetry axis are considered. In addition to standard kinematic diagrams, various phase diagrams conducive to a better understanding are constructed. Applying Computer Algebra System (CAS), [1] [2] most calculations are carried out symbolically. Finally, by assigning a set of reasonable numeric parameters to the symbolic quantities various 3D animations are crafted. All the CAS codes are included.

COMPUTER COMPUTATION OF THE METHOD OF MULTIPLE SCALES-DIRICHLET PROBLEM FOR A CLASS OF SYSTEM OF NONLINEAR DIFFERENTIAL EQUATIONS

The method of boundary layer with multiple scales and computer algebra were applied to study the asymptotic behavior of solution of boundary value problems for a class of system of nonlinear differential equations . The asymptotic expansions of solution were constructed. The remainders were estimated. And an example was analysed. It provides a new foreground for the application of the method of boundary layer with multiple scales .

Higher-Order Corrections to Algebraic Derivation of Electric Dipole-Dipole Interaction

Nucleons are fermions with intrinsic spins exhibiting dipole character. Dipole-dipole interaction via their dipole moments is the key feature quantifying the short-range nucleonics interaction in two-body physics. For a pair of interacting dipoles, the energy of a pair is the quantity of interest. The same is true for chemical polar molecules. For both cases, derivation of energy almost exclusively is carried out vectorially [1]. Although uncommon the interacting energy can be derived algebraically too. For the latter Taylor, expansion is applied [2]. The given expression although appears to be correct it is incomplete. In our report, by applying Taylor’s expansion up to the 4th order and utilizing a Computer Algebra System we formulate the missing terms. Our report highlights the impact of correcting missing terms by giving two explicit examples.

Three Dimensional Electric Circuits with Multiple Capacitors and Resistors

Two cubical 3D electric circuits with single and double capacitors and twelve ohmic resistors are considered. The resistors are the sides of the cube. The circuit is fed with a single internal emf. The charge on the capacitor(s) and the current distributions of all twelve sides of the circuit(s) vs. time are evaluated. The analysis requires solving twelve differential-algebraic intertwined symbolic equations. This is accomplished by applying a Computer Algebra System (CAS), specifically Mathematica. The needed codes are included. For a set of values assigned to the elements, the numeric results are depicted.

Advantages & Disadvantages of Online CAS

Online Computer Algebra Systems (CAS) have become increasingly popular among students and teachers. The reasons are many such as being more flexible, simple to use, accessible from anywhere, etc. However, as with any educational tool, they also have some disadvantages that we should know. The purpose of this study is to analyze advantages and disadvantages of online CASs and propose some techniques to optimize CAS performance in order to reduce weaknesses. The research results reveal that online CAS versions are on the rise but lag in some capabilities in comparison with desktop versions.

3D_Multi Resistor Electric Circuit

This report addresses the issues concerning the analysis of an electric circuit composed of multiple resistors configured in a 3-Dimension structure. Noting, all the standard textbooks of physics and engineering irrespective of the used components are circuits assembled in two dimensions. Here, by deviating from the “norm” we consider a case where the resistors are arranged in a 3D structure;e.g., a cube. Although, independent of the dimension of the design the same physics principles apply, transitioning from a 2D to a 3D makes the corresponding analysis considerably challenging. In general, with no exception, depending on the used components the analysis faces with solving a set of either algebraic or differential-algebraic equations. Practically, this interfaces with a Computer Algebra System (CAS). The main objective is symbolically to identify the current distributions and the equivalent resistor (s) of cubically assembled resistors.

A Maple Package on Symbolic Computation of Conserved Densities for （1＋l）-Dimensional Nonlinear Evolution Systems

A new algorithm for symbolic computation of polynomial-type conserved densities for nonlinear evolution systems is presented. The algorithm is implemented in Maple. The improved algorithm is more efficient not only in removing the redundant terms of the genera/form of the conserved densities but also in solving the conserved densities with the associated flux synchronously without using Euler operator. Furthermore, the program conslaw.mpl can be used to determine the preferences for a given parameterized nonlinear evolution systems. The code is tested on several well-known nonlinear evolution equations from the soliton theory.

TAYLOR POLYNOMIAL STEPWISE REFINEMENTALGORITHM FOR LIE AND HIGH SYMMETRIES OF PARTIAL DIFFERENTIAL EQUATIONS

In this article, based on the Taylor expansions of generating functions and stepwise refinement procedure, authors suggest a algorithm for finding the Lie and high (generalized) symmetries of partial differential equations (PDEs). This algorithm transforms the problem having to solve over-determining PDEs commonly encountered and difficulty part in standard methods into one solving to algebraic equations to which one easy obtain solution. so, it reduces significantly the difficulties of the problem and raise computing efficiency. The whole procedure of the algorithm is carried out automatically by using any computer algebra system. In general, this algorithm can yields many more important symmetries for PDEs.

简单自相关代数迭代重建算法

创建了简单自相关代数迭代重建算法(simple self-correlative algebraic reconstruction technique,SS-CART),分析了其重建效果。采用数值模拟的方法,对代数迭代法(algebraic reconstruction technique,ART)与SSCART两种算法进行了计算机模拟,分析了模拟效果和重建精度。结果发现,SSCART算法的重建精度均方误差(mean square error,MSE)指标在10-4数量级上比ART的降低了65%[(ART的MSE值-SSCART的MSE)/ART的MSE],峰值相对误差(peak error,PE)指标在10-2数量级上降低了99.9%。计算上仅仅比ART多1个除数因子,所以SSCART具有算法简单、易于实现、重建精度高、稳定性好等优点。就作者检索的文献看是目前最优秀的代数迭代法。

光谱法分析场频对重建精度的影响

数值模拟重建场,采用光谱法讨论了场的属性,尤其频率对重建精度的影响。用Gauss函数建立了双峰模型场,并对其进行了Fourier频谱分析。使用代数迭代法对模型场进行了重建,并对重建场进行了误差分析,结果发现重建场的峰分布、方向和形状都与原场相似,但峰高有所下降,边界出现波动。文章认为出现这种现象的主要原因是滤波造成的,并通过改变Gauss函数的收敛因子来改变场频,采用数值分析方法对这一观点进行论证,结果证明该观点是正确的。同时发现,边界对重建精度影响较大,边界为零的近似误差增大时,重建精度下降,甚至导致迭代不收敛。所以应用代数迭代重建场时,必须注意边界为零的条件。

Negative Resistance and Its Impact on a RC-DC Driven Electric Circuit

It is a common misconception that electric “resistance” always is a positive defined electric element. i.e., the plot of the voltage across the resistor, V vs. its current, i is a slanted straight line with a positive slope. Esaki diode also known as tunnel diode is an exception to this character. For a certain voltage range, the current recedes resulting in a line with a negative slope;it is interpreted as negative resistance. In this research flavored report, we investigate the impact of the negative resistance in a typical classic electric circuit. E.g., a tunnel diode, D is inserted in a classic electric circuit that is composed of an ohmic resistor, R and a capacitor, C which are all in series with a DC power supply. The circuit equation for the RCD circuit is a nonlinear ordinary differential equation (NLODE). In line with the ever-growing popular Computer Algebra System (CAS), this is solved numerically utilizing two distinctly different CASs. The consistency of the solutions confidently leads to the understanding of the impact of the negative resistance. The circuit characteristics are compared to the classic analogous RC circuit. The report embodies an atlas of characteristics of the circuits making the analysis visually comprehensible.

Impact of Eccentricity on Nonlinear Oscillations of a Point-Like Charge in the Electric Field of a Curvature-Dependent Elliptic Charged Ellipse

Calculation of the interactive force between two horizontally stacked circular uniformly charged rings placed along the common vertical axis conducive to nonlinear oscillations under gravity has been addressed [1]. Although challenging, nonetheless the scope of the study limited to uniform charge distributions of the rings. Here we extend the analysis considering a charged ellipse with a nonuniform, curvature-dependent elliptic charge distribution exerting a force on a point-like charge placed on the vertical symmetry axis. Nonuniform charge distribution and its impact on various practical scenarios are not a common theme addressed in literature. Applying Computer Algebra System (CAS) particularly Mathematica [2], we analyze the issue on hand augmenting the traditional scope of interest. We overcome the CPU expensive symbolic computation following our newly developed numeric/symbolic method [1]. For comprehensive understanding, we simulate the nonlinear oscillations.

跨孔电磁波层析处理中阻尼系数的确定与应用

代数重建技术ART(Algebra Reconstruction Technology)是一种层析处理数学方法,具有计算速度快、图形简洁直观等优点,被应用于电磁波CT方法的数据处理中。但该处理方法易发散,结果难以控制,因此它的敛散性成为提高其应用的主要问题。这里通过在ART算法中加入阻尼系数的做法保证了迭代的收敛,并对阻尼系数的取值范围进行了探讨,成功地用于电磁波数据处理中。

基于CUDA的GPU加速代数迭代重建算法

CT迭代重建算法多用于投影数据不完备的情况,但迭代重建算法在普通计算机上的计算非常耗时,主要源于需要反复地进行投影与反投影计算。为此,文章提出了一种基于NVIDIA统一计算设备架构(CUDA)的联合代数重建加速方法。采用基于射线驱动和基于体素驱动的方法分别加速投影与反投影过程。试验结果显示,在不影响重建图像质量的基础上,重建时间大大减少,具有工程应用价值。