首页 > 最新文献

Maple Transactions最新文献

英文 中文
Difference equation satisfied by the Stieltjes transform of a sequence 序列的Stieltjes变换所满足的差分方程
Pub Date : 2022-09-05 DOI: 10.5206/mt.v2i1.14445
V. Pillwein, D. Dominici
We study a class of generating functions related to the Stieltjes transform of a sequence of moments with respect to the basis of falling factorial polynomials. Given a recurrence relation for the coefficient sequence, it is shown how to compute the difference equation satisified by its generating function w.r.t. this basis. We give several examples from the class of discrete semiclassical orthogonal polynomials.
研究了一类与矩序列在降阶乘多项式基上的Stieltjes变换有关的生成函数。给出了系数序列的递推关系,给出了如何在此基础上计算其生成函数所满足的差分方程。我们给出了离散半经典正交多项式的几个例子。
{"title":"Difference equation satisfied by the Stieltjes transform of a sequence","authors":"V. Pillwein, D. Dominici","doi":"10.5206/mt.v2i1.14445","DOIUrl":"https://doi.org/10.5206/mt.v2i1.14445","url":null,"abstract":"We study a class of generating functions related to the Stieltjes transform of a sequence of moments with respect to the basis of falling factorial polynomials. Given a recurrence relation for the coefficient sequence, it is shown how to compute the difference equation satisified by its generating function w.r.t. this basis. We give several examples from the class of discrete semiclassical orthogonal polynomials.","PeriodicalId":355724,"journal":{"name":"Maple Transactions","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126599809","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
MYMathApps Calculus: Maple Plots MYMathApps微积分:枫图
Pub Date : 2022-09-05 DOI: 10.5206/mt.v2i1.14436
Philip Yasskin
I am writing an online Calculus text called MYMathApps Calculus. You can see a sample at           https://mymathapps.com/mymacalc-sample/The text is highly interactive and visual. Nearly all of the graphics have been made with Maple, both 2D and 3D, static and animated. The use of plots and animated plots helps students understand concepts such as the definitions of a derivative as the limit of slopes of secant lines, an integral as limits of Riemann sums, partial derivatives as slopes of traces, curvature and torsion, tangential and normal acceleration, divergence and curl, multiple integrals, curvilinear coordinates and Jacobians. the proofs of the triangle inequality, the mean value theorem and formulas for applications of integrals. plotting functions, polar curves, and parametric curves and surfaces. solving applied problems involving linear approximation, related rates, max/min, area, arc length, surface area, volumes by slicing, volumes of revolution, work, mixing problems, geometric series, Taylor series, directional derivatives, Lagrange multipliers, expansion and circulation. how to use the right hand rule in Green’s, Stokes’ and Gauss’ theorems.
我正在写一个叫做MYMathApps微积分的在线微积分教材。您可以在https://mymathapps.com/mymacalc-sample/The上看到一个示例,文本具有高度交互性和可视性。几乎所有的图形都是用Maple制作的,包括2D和3D,静态和动画。使用图形和动画图形帮助学生理解一些概念,如导数的定义是割线斜率的极限,积分的定义是黎曼和的极限,偏导数的定义是轨迹的斜率,曲率和扭转,切向和法向加速度,散度和旋度,多重积分,曲线坐标和雅可比矩阵。三角不等式的证明,中值定理和积分应用的公式。绘图函数,极坐标曲线,参数曲线和曲面。解决涉及线性近似、相关速率、最大/最小、面积、弧长、表面积、切片体积、旋转体积、功、混合问题、几何级数、泰勒级数、方向导数、拉格朗日乘子、展开和循环等应用问题。如何使用格林定理,斯托克斯定理和高斯定理中的右手定则。
{"title":"MYMathApps Calculus: Maple Plots","authors":"Philip Yasskin","doi":"10.5206/mt.v2i1.14436","DOIUrl":"https://doi.org/10.5206/mt.v2i1.14436","url":null,"abstract":"I am writing an online Calculus text called MYMathApps Calculus. You can see a sample at           https://mymathapps.com/mymacalc-sample/The text is highly interactive and visual. Nearly all of the graphics have been made with Maple, both 2D and 3D, static and animated. The use of plots and animated plots helps students understand concepts such as \u0000 \u0000the definitions of a derivative as the limit of slopes of secant lines, an integral as limits of Riemann sums, partial derivatives as slopes of traces, curvature and torsion, tangential and normal acceleration, divergence and curl, multiple integrals, curvilinear coordinates and Jacobians. \u0000the proofs of the triangle inequality, the mean value theorem and formulas for applications of integrals. \u0000plotting functions, polar curves, and parametric curves and surfaces. \u0000solving applied problems involving linear approximation, related rates, max/min, area, arc length, surface area, volumes by slicing, volumes of revolution, work, mixing problems, geometric series, Taylor series, directional derivatives, Lagrange multipliers, expansion and circulation. \u0000how to use the right hand rule in Green’s, Stokes’ and Gauss’ theorems. \u0000","PeriodicalId":355724,"journal":{"name":"Maple Transactions","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125187540","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A Maple implementation of a modular algorithm for computing the common zeros of a polynomial and a regular chain 一个用于计算多项式和正则链的公共零的模块化算法的Maple实现
Pub Date : 2022-09-05 DOI: 10.5206/mt.v2i1.14448
Juan Pablo Gonzalez Trochez, M. Calder, Marc Moreno Maza, Erik Postma
One of the core commands in the RegularChains library isTriangularize. The underlying decomposes the solution set of anpolynomial system into geometrically meaningful components representedby regular chains.  This algorithm works by repeatedly calling aprocedure, called Intersect, which computes the common zeros of apolynomial p and a regular chain T.As the number of variables of p and T, as well as their degrees,increase, the call Intersect(p, T) becomes more and morecomputationally expensive. It was observed in (C. Chen an M. MorenoMaza, JSC 2012) that when the input polynomial system iszero-dimensional and T is one-dimensional then this cost can besubstantially reduced. The method proposed by the authors is aprobabilistic algorithm based on evaluation and interpolationtechniques. This is the type of method which is typically challengingto implement in a high-level language like Maple's language, as asharp control of computing resources (in particular memory) is needed.In this paper, we report on a successful Maple implementation of thisalgorithm.  We take advantage of Maple's modp1 function which offersfast arithmetic for univariate polynomials over a prime field.The method avoids unlucky specialization and the probabilistic aspectonly comes from the fact that non-generic solutions are notcomputed. 
RegularChains库中的一个核心命令是三角化。底层将非多项式系统的解集分解为用正则链表示的几何上有意义的分量。该算法通过反复调用一个名为Intersect的过程来工作,该过程计算多项式p和正则链T的公共零。随着p和T的变量数量以及它们的度的增加,调用Intersect(p, T)的计算成本变得越来越高。在(C. Chen an M. MorenoMaza, JSC 2012)中观察到,当输入多项式系统为零维且T为一维时,该成本可以大幅降低。本文提出的方法是基于求值和插值技术的非概率算法。这种方法在像Maple的语言这样的高级语言中通常是具有挑战性的,因为需要对计算资源(特别是内存)进行严格的控制。在本文中,我们报告了该算法的一个成功的Maple实现。我们利用Maple的modp1函数,它为素域上的单变量多项式提供了快速算法。该方法避免了不幸的专门化,概率方面仅来自于不计算非一般解的事实。
{"title":"A Maple implementation of a modular algorithm for computing the common zeros of a polynomial and a regular chain","authors":"Juan Pablo Gonzalez Trochez, M. Calder, Marc Moreno Maza, Erik Postma","doi":"10.5206/mt.v2i1.14448","DOIUrl":"https://doi.org/10.5206/mt.v2i1.14448","url":null,"abstract":"One of the core commands in the RegularChains library isTriangularize. The underlying decomposes the solution set of anpolynomial system into geometrically meaningful components representedby regular chains.  This algorithm works by repeatedly calling aprocedure, called Intersect, which computes the common zeros of apolynomial p and a regular chain T.As the number of variables of p and T, as well as their degrees,increase, the call Intersect(p, T) becomes more and morecomputationally expensive. It was observed in (C. Chen an M. MorenoMaza, JSC 2012) that when the input polynomial system iszero-dimensional and T is one-dimensional then this cost can besubstantially reduced. The method proposed by the authors is aprobabilistic algorithm based on evaluation and interpolationtechniques. This is the type of method which is typically challengingto implement in a high-level language like Maple's language, as asharp control of computing resources (in particular memory) is needed.In this paper, we report on a successful Maple implementation of thisalgorithm.  We take advantage of Maple's modp1 function which offersfast arithmetic for univariate polynomials over a prime field.The method avoids unlucky specialization and the probabilistic aspectonly comes from the fact that non-generic solutions are notcomputed. ","PeriodicalId":355724,"journal":{"name":"Maple Transactions","volume":"534 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133110942","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Another Famous Unsolved Problem: Improving Diversity in STEM 另一个著名的未解决问题:提高STEM的多样性
Pub Date : 2022-09-05 DOI: 10.5206/mt.v2i1.15198
Bryon Thur
A report on the panel of the same name at the Maple Conference.
关于Maple会议的同名小组的报告。
{"title":"Another Famous Unsolved Problem: Improving Diversity in STEM","authors":"Bryon Thur","doi":"10.5206/mt.v2i1.15198","DOIUrl":"https://doi.org/10.5206/mt.v2i1.15198","url":null,"abstract":"A report on the panel of the same name at the Maple Conference.","PeriodicalId":355724,"journal":{"name":"Maple Transactions","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116727121","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Maple Conference 2021 Mathematical Art and Creative Works Exhibit 枫叶会议2021数学艺术与创意作品展
Pub Date : 2022-09-05 DOI: 10.5206/mt.v2i1.15001
J. May
The report from the curator on the first Maple Art and Creative Works Exhibit that took place as part of the2021 Maple Conference
作为2021年枫叶会议的一部分,第一届枫叶艺术与创意作品展的策展人的报告
{"title":"Maple Conference 2021 Mathematical Art and Creative Works Exhibit","authors":"J. May","doi":"10.5206/mt.v2i1.15001","DOIUrl":"https://doi.org/10.5206/mt.v2i1.15001","url":null,"abstract":"The report from the curator on the first Maple Art and Creative Works Exhibit that took place as part of the2021 Maple Conference","PeriodicalId":355724,"journal":{"name":"Maple Transactions","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123676263","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Substituting Units into Multivariate Power Series 将单位代入多元幂级数
Pub Date : 2022-09-05 DOI: 10.5206/mt.v2i1.14469
Erik Postma, Marc Moreno Maza
Substituting non-unit formal power series into formal power series is a well-understood concept. This article describes a sense in which one can define substitution of unit formal power series, implemented in Maple’s MultivariatePowerSeries package.
将非单位形式幂级数代入形式幂级数是一个很容易理解的概念。本文描述了在Maple的MultivariatePowerSeries包中实现的单位形式幂级数的替换。
{"title":"Substituting Units into Multivariate Power Series","authors":"Erik Postma, Marc Moreno Maza","doi":"10.5206/mt.v2i1.14469","DOIUrl":"https://doi.org/10.5206/mt.v2i1.14469","url":null,"abstract":"Substituting non-unit formal power series into formal power series is a well-understood concept. This article describes a sense in which one can define substitution of unit formal power series, implemented in Maple’s MultivariatePowerSeries package.","PeriodicalId":355724,"journal":{"name":"Maple Transactions","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128134283","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Exploring the Mysteries of Babylonian Astronomy with Maple 用Maple探索巴比伦天文学的奥秘
Pub Date : 2022-09-05 DOI: 10.5206/mt.v2i1.14357
Douglas W. MacDougal
Modern scholarship asserts that the Babylonians were able to determine the synodic periods (discussed below) of the outer planets with exceptional accuracy. We experimented with a simple Maple mathematical software model to see if we could mathematically re-create the synodic cycles of Mars determined by Babylonian astronomers starting from around 400 BC. We sought first to understand whether unique planetary cycles known as Goal-Year periods which the Babylonians gleaned from centuries of observation were mathematically inevitable. We wanted to determine their accuracy quantitatively and find out if other plausible Goal-Year choices were available to them. The Babylonians also invented a method of using Goal-Years in error-canceling combinations to create long-term ‘exact’ periods that markedly improved the accuracy of their planetary predictions for centuries ahead. We tested whether the mathematical method surmised by scholars made sense in terms of our own program and whether we could replicate it. This paper is a report on the success of those efforts.
现代学者断言,巴比伦人能够非常准确地确定外行星的朔行周期(下文将讨论)。我们用一个简单的Maple数学软件模型进行了实验,看看我们是否能从数学上重现巴比伦天文学家从公元前400年左右开始确定的火星的synodic周期。我们首先要了解的是,巴比伦人从几个世纪的观察中收集到的被称为“目标年”的独特行星周期在数学上是否不可避免。我们想要定量地确定他们的准确性,并找出是否有其他合理的目标年可供他们选择。巴比伦人还发明了一种方法,利用目标年来消除误差组合,从而创造出长期的“精确”周期,从而显著提高了他们对未来几个世纪的行星预测的准确性。我们测试了学者们推测的数学方法是否适用于我们自己的程序,以及我们是否可以复制它。本文就是对这些努力取得成功的报告。
{"title":"Exploring the Mysteries of Babylonian Astronomy with Maple","authors":"Douglas W. MacDougal","doi":"10.5206/mt.v2i1.14357","DOIUrl":"https://doi.org/10.5206/mt.v2i1.14357","url":null,"abstract":"Modern scholarship asserts that the Babylonians were able to determine the synodic periods (discussed below) of the outer planets with exceptional accuracy. We experimented with a simple Maple mathematical software model to see if we could mathematically re-create the synodic cycles of Mars determined by Babylonian astronomers starting from around 400 BC. We sought first to understand whether unique planetary cycles known as Goal-Year periods which the Babylonians gleaned from centuries of observation were mathematically inevitable. We wanted to determine their accuracy quantitatively and find out if other plausible Goal-Year choices were available to them. The Babylonians also invented a method of using Goal-Years in error-canceling combinations to create long-term ‘exact’ periods that markedly improved the accuracy of their planetary predictions for centuries ahead. We tested whether the mathematical method surmised by scholars made sense in terms of our own program and whether we could replicate it. This paper is a report on the success of those efforts.","PeriodicalId":355724,"journal":{"name":"Maple Transactions","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132119089","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Ten Tips for Successful Creation of Contextualized Problems for Secondary School Students with Maple 中学生用枫叶成功创造情境化问题的十个技巧
Pub Date : 2022-09-05 DOI: 10.5206/mt.v2i1.14446
M. Sacchet
Students at all levels of schooling in all countries of the world need to practice mathematical problem solving to develop competencies that they will apply in real-life scenarios. On the other hand, concerning solving, problem posing refers to both the generation of new problems and the re-formulation of given problems. Teaching mathematics from a problem posing and problem-solving perspective entails more than solving non-routine problems or typical textbook types of problems. It is a way for students to exercise all aspects of problem solving: exploring, conjecturing, examining, testing, and generalizing. Tasks should be accessible and extend students’ knowledge. Even students should formulate problems from given situations and create new problems by modifying the conditions of a given problem. The quality of problems submitted to students is an issue that needs to be carefully considered. This work presents different ways to apply good practices when designing a problem-solving activity with students. It is based on the experience of Digital Math Training, a project whose aim is to develop and strengthen Mathematics and Computer Science skills through problem solving activities using the Advanced Computing Environment (ACE) Maple. After initial training in the laboratories of the schools, 3 students per class - the most skilled or motivated ones - participate in online training. They are asked to solve a problem every 10 days and to submit their solution. Meanwhile, students can participate in weekly synchronous tutoring on the use of Maple and collaborate with their colleagues through forum discussions. Students are selected in an intermediate competition and a final one. In this setting it is important to carefully plan and present the activity to the students, the text of the problem should be clear, and concise, with little storytelling to enter the setting of the problem. The problems should not be too theoretical, although they may inspect specific aspects of the related theory. They need to be solved by starting with simpler requests until the most difficult ones, close to the edge of students' knowledge, are reached. The solutions can make use of a calculator, in our case the ACE Maple. Precise design principles are based on both the adoption of suitable practice and the use of Maple. These principles can be adapted to different situations. The paper describes all these features with examples, according to the literature.
世界各国各级学校的学生都需要练习解决数学问题,以培养他们在现实生活中应用的能力。另一方面,在解决问题方面,提出问题既指新问题的产生,也指对已有问题的重新表述。从提出问题和解决问题的角度进行数学教学,不仅仅是解决非常规问题或典型的教科书类型的问题。这是一种让学生练习解决问题的各个方面:探索、推测、检验、测试和概括的方法。任务应该易于理解,并扩展学生的知识。即使是学生也应该从给定的情况中提出问题,并通过修改给定问题的条件来创造新问题。提交给学生的问题的质量是一个需要仔细考虑的问题。这项工作提出了不同的方法来应用良好的做法,当设计一个解决问题的活动与学生。它基于“数字数学培训”项目的经验,该项目旨在通过使用高级计算环境(ACE) Maple解决问题的活动来发展和加强数学和计算机科学技能。在学校实验室进行初步培训后,每班3名学生——最熟练或最积极的学生——参加在线培训。他们被要求每10天解决一个问题,并提交他们的解决方案。同时,学生可以参加每周同步的Maple使用辅导,并通过论坛讨论与同事进行协作。学生将在中间比赛和决赛中选出。在这种情况下,仔细计划并向学生展示活动是很重要的,问题的文本应该清晰,简洁,很少有讲故事的方式进入问题的设置。这些问题不应该过于理论化,尽管它们可以考察相关理论的特定方面。这些问题需要从简单的问题开始解决,直到最难的、接近学生知识边缘的问题被解决。解决方案可以利用计算器,在我们的情况下,ACE Maple。精确的设计原则是基于采用合适的实践和使用Maple。这些原则可以适用于不同的情况。本文根据文献资料,用实例对这些特征进行了描述。
{"title":"Ten Tips for Successful Creation of Contextualized Problems for Secondary School Students with Maple","authors":"M. Sacchet","doi":"10.5206/mt.v2i1.14446","DOIUrl":"https://doi.org/10.5206/mt.v2i1.14446","url":null,"abstract":"Students at all levels of schooling in all countries of the world need to practice mathematical problem solving to develop competencies that they will apply in real-life scenarios. On the other hand, concerning solving, problem posing refers to both the generation of new problems and the re-formulation of given problems. Teaching mathematics from a problem posing and problem-solving perspective entails more than solving non-routine problems or typical textbook types of problems. It is a way for students to exercise all aspects of problem solving: exploring, conjecturing, examining, testing, and generalizing. Tasks should be accessible and extend students’ knowledge. Even students should formulate problems from given situations and create new problems by modifying the conditions of a given problem. The quality of problems submitted to students is an issue that needs to be carefully considered. This work presents different ways to apply good practices when designing a problem-solving activity with students. It is based on the experience of Digital Math Training, a project whose aim is to develop and strengthen Mathematics and Computer Science skills through problem solving activities using the Advanced Computing Environment (ACE) Maple. After initial training in the laboratories of the schools, 3 students per class - the most skilled or motivated ones - participate in online training. They are asked to solve a problem every 10 days and to submit their solution. Meanwhile, students can participate in weekly synchronous tutoring on the use of Maple and collaborate with their colleagues through forum discussions. Students are selected in an intermediate competition and a final one. In this setting it is important to carefully plan and present the activity to the students, the text of the problem should be clear, and concise, with little storytelling to enter the setting of the problem. The problems should not be too theoretical, although they may inspect specific aspects of the related theory. They need to be solved by starting with simpler requests until the most difficult ones, close to the edge of students' knowledge, are reached. The solutions can make use of a calculator, in our case the ACE Maple. Precise design principles are based on both the adoption of suitable practice and the use of Maple. These principles can be adapted to different situations. The paper describes all these features with examples, according to the literature.","PeriodicalId":355724,"journal":{"name":"Maple Transactions","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131150938","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Numerical investigation of structural minimality for structures of uncontrolled linear switching systems with Maple 非控制线性开关系统结构极小性的数值研究
Pub Date : 2022-09-05 DOI: 10.5206/mt.v2i1.14385
J. Whyte
One path to understanding a physical system is to represent it by a model structure (collection of related models). Suppose our system is not subject to external influences, and depends on unobservable state variables (x), and observables (y). Then, a suitable uncontrolled, state-space model structure S is defined by relationships between x and y, involving parameters θ ∈ Θ. That is, each parameter vector in parameter space Θ is associated with a particular model in S. Before using S for prediction, we require system observations for parameter estimation. This process aims to determine θ values for which predictions “best” approximate the data (according to some objective function). The result is some number of estimates of the true parameter vector, θ*. Multiple parameter estimates are problematic when these cause S to produce dissimilar predictions beyond our data's range. This can render us unable to confidently make predictions, resulting in an uninformative study. Non-uniqueness of parameter estimates follows when S lacks the property of structural global identifiability (SGI). Fortunately, we may test S for SGI prior to data collection. The absence of SGI encourages us to rethink our experimental design or model structure. Before testing S for SGI we should check that it is structurally minimal. If so, we cannot replace S by a structure of fewer state variables which produces the same output. Most testing methodology is applicable to structures which employ the same equations for all time. These methods are not appropriate when, for example, a process has an abrupt change in its dynamics. For such a situation, a structure of linear switching systems (LSSs) may be suitable. Any system in the structure has a collection of linear time-invariant state-space systems, and a switching function which determines the system in effect at each instant. As such, we face a novel challenge in testing an LSS structure for SGI. We will consider the case of an uncontrolled LSS structure of one switching event (a ULSS-1 structure). In this setting, we may approach the structural minimality problem via the Laplace transform of the output function on each time interval. Each rational function yields conditions for pole-zero cancellation. If these conditions are not satisfied for almost all θ ∈ Θ, then S is structurally minimal. Analytical approaches can be quite laborious. However, we may expect a numerical approach to provide useful insights quickly. For example, if pole-zero cancellation occurs for almost all of a sufficiently large number of parameter values sampled from Θ, then structural minimality is possible. This result may encourage us to prove the existence of structural minimality. We shall use Maple 2020-2 to conduct a numerical investigation of structural minimality for a test case ULSS-1 structure applicable to flow-cell biosensor experiments used to monitor biochemical interactions, which include the popular Biacore-branded units.
理解物理系统的一个途径是用模型结构(相关模型的集合)来表示它。假设我们的系统不受外界影响,依赖于不可观测状态变量(x)和可观测状态变量(y),则通过x与y的关系定义一个合适的非受控状态空间模型结构S,参数θ∈Θ。也就是说,参数空间Θ中的每个参数向量与S中的特定模型相关联。在使用S进行预测之前,我们需要系统观测值来进行参数估计。这个过程的目的是确定θ值,预测“最好”接近数据(根据一些目标函数)。结果是真参数向量θ*的若干估计。当这些导致S产生超出我们数据范围的不同预测时,多参数估计是有问题的。这可能会使我们无法自信地做出预测,从而导致信息不足的研究。当S缺乏结构全局可辨识性(SGI)时,参数估计出现非唯一性。幸运的是,我们可以在数据收集之前对S进行SGI测试。SGI的缺席促使我们重新思考我们的实验设计或模型结构。在测试S的SGI之前,我们应该检查它的结构是最小的。如果是这样,我们就不能用产生相同输出的状态变量更少的结构来代替S。大多数测试方法都适用于始终使用相同方程的结构。例如,当一个过程的动态发生突然变化时,这些方法就不合适了。对于这种情况,线性开关系统(lss)的结构可能是合适的。结构中的任何系统都有一个线性时不变状态空间系统的集合,以及一个决定系统在每个瞬间有效的开关函数。因此,在为SGI测试LSS结构时,我们面临着一个新的挑战。我们将考虑一个开关事件的非受控LSS结构(ULSS-1结构)的情况。在这种情况下,我们可以通过输出函数在每个时间间隔上的拉普拉斯变换来解决结构极小性问题。每个有理函数都给出了极点零抵消的条件。如果几乎所有θ∈Θ都不满足这些条件,则S是结构极小的。分析方法可能相当费力。然而,我们可能期望一种数值方法能够迅速提供有用的见解。例如,如果极点零抵消发生在几乎所有足够大的参数值从Θ采样,那么结构最小是可能的。这一结果有助于我们进一步证明结构极小性的存在性。我们将使用Maple 2020-2对一个测试用例ULSS-1结构进行结构极小性的数值研究,该结构适用于用于监测生化相互作用的流动细胞生物传感器实验,其中包括流行的biacore品牌单元。
{"title":"Numerical investigation of structural minimality for structures of uncontrolled linear switching systems with Maple","authors":"J. Whyte","doi":"10.5206/mt.v2i1.14385","DOIUrl":"https://doi.org/10.5206/mt.v2i1.14385","url":null,"abstract":"One path to understanding a physical system is to represent it by a model structure (collection of related models). Suppose our system is not subject to external influences, and depends on unobservable state variables (x), and observables (y). Then, a suitable uncontrolled, state-space model structure S is defined by relationships between x and y, involving parameters θ ∈ Θ. That is, each parameter vector in parameter space Θ is associated with a particular model in S. \u0000Before using S for prediction, we require system observations for parameter estimation. This process aims to determine θ values for which predictions “best” approximate the data (according to some objective function). The result is some number of estimates of the true parameter vector, θ*. Multiple parameter estimates are problematic when these cause S to produce dissimilar predictions beyond our data's range. This can render us unable to confidently make predictions, resulting in an uninformative study. \u0000Non-uniqueness of parameter estimates follows when S lacks the property of structural global identifiability (SGI). Fortunately, we may test S for SGI prior to data collection. The absence of SGI encourages us to rethink our experimental design or model structure. \u0000Before testing S for SGI we should check that it is structurally minimal. If so, we cannot replace S by a structure of fewer state variables which produces the same output. Most testing methodology is applicable to structures which employ the same equations for all time. These methods are not appropriate when, for example, a process has an abrupt change in its dynamics. For such a situation, a structure of linear switching systems (LSSs) may be suitable. Any system in the structure has a collection of linear time-invariant state-space systems, and a switching function which determines the system in effect at each instant. As such, we face a novel challenge in testing an LSS structure for SGI. \u0000We will consider the case of an uncontrolled LSS structure of one switching event (a ULSS-1 structure). In this setting, we may approach the structural minimality problem via the Laplace transform of the output function on each time interval. Each rational function yields conditions for pole-zero cancellation. If these conditions are not satisfied for almost all θ ∈ Θ, then S is structurally minimal. \u0000Analytical approaches can be quite laborious. However, we may expect a numerical approach to provide useful insights quickly. For example, if pole-zero cancellation occurs for almost all of a sufficiently large number of parameter values sampled from Θ, then structural minimality is possible. This result may encourage us to prove the existence of structural minimality. \u0000We shall use Maple 2020-2 to conduct a numerical investigation of structural minimality for a test case ULSS-1 structure applicable to flow-cell biosensor experiments used to monitor biochemical interactions, which include the popular Biacore-branded units.","PeriodicalId":355724,"journal":{"name":"Maple Transactions","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133677317","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Symbolic Analysis of Linear Amplifiers with Multi-Loop Feedbacks in Interacting Programs Maple and FASTMEAN 多环反馈线性放大器在Maple和FASTMEAN交互程序中的符号分析
Pub Date : 2022-09-05 DOI: 10.5206/mt.v2i1.14418
Yurova Valentina, Filin Vladimir
A technique of interaction of computer programs for symbolic analysis of complex electronic circuits with amplifying elements is proposed. FASTMEAN simulation program, used in the universities of telecommunications in Russia, has a symbolic analysis module and is capable of generating analytical expressions for Laplace images of a circuit determinant, currents and voltages in complex electronic circuits. However, the obtained expressions have a nested (folded) structure, which makes it difficult to analyze the influence of elements on the properties of a circuit with amplifiers and feedbacks, in particular on its stability. It is proposed to transfer the obtained expressions to  Maplе program for their structural transformation and mathematical processing.                       .          Amplifiers with local, common and crossed feedbacks are considered. The analysis of such circuits in Maple shows that an expression for the circuit determinant in the form of the products of the loop gain functions is a sign of the presence of several feedback loops in the circuit.
提出了一种用于具有放大元件的复杂电子电路符号分析的计算机程序交互技术。俄罗斯电信大学使用的FASTMEAN仿真程序具有符号分析模块,能够生成复杂电子电路中电路行列式、电流和电压的拉普拉斯图像的解析表达式。然而,所得到的表达式具有嵌套(折叠)结构,这使得分析元件对放大器和反馈电路特性的影响,特别是对其稳定性的影响变得困难。提出将得到的表达式转换到mapl程序中进行结构转换和数学处理。考虑了具有本地反馈、共反馈和交叉反馈的放大器。在Maple中对这种电路的分析表明,电路行列式以回路增益函数积的形式表示是电路中存在几个反馈回路的标志。
{"title":"Symbolic Analysis of Linear Amplifiers with Multi-Loop Feedbacks in Interacting Programs Maple and FASTMEAN","authors":"Yurova Valentina, Filin Vladimir","doi":"10.5206/mt.v2i1.14418","DOIUrl":"https://doi.org/10.5206/mt.v2i1.14418","url":null,"abstract":"A technique of interaction of computer programs for symbolic analysis of complex electronic circuits with amplifying elements is proposed. FASTMEAN simulation program, used in the universities of telecommunications in Russia, has a symbolic analysis module and is capable of generating analytical expressions for Laplace images of a circuit determinant, currents and voltages in complex electronic circuits. However, the obtained expressions have a nested (folded) structure, which makes it difficult to analyze the influence of elements on the properties of a circuit with amplifiers and feedbacks, in particular on its stability. It is proposed to transfer the obtained expressions to  Maplе program for their structural transformation and mathematical processing.                       .          Amplifiers with local, common and crossed feedbacks are considered. The analysis of such circuits in Maple shows that an expression for the circuit determinant in the form of the products of the loop gain functions is a sign of the presence of several feedback loops in the circuit.","PeriodicalId":355724,"journal":{"name":"Maple Transactions","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125079344","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
期刊
Maple Transactions
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1