代数系统论文_杨颖,贾璐,吕春利

导读:本文包含了代数系统论文开题报告文献综述、选题提纲参考文献及外文文献翻译,主要关键词:代数,系统,微分,同态,代数方程,舆情,同构。

代数系统论文文献综述

杨颖,贾璐,吕春利[1](2019)在《具有计算机专业特色的代数系统教学改革》一文中研究指出代数系统都是本科离散数学大课程体系中重要的一门课程,存在着老师授课难、学生听课烦、学习效果不佳等问题.以发现问题、解决问题的工程训练为指导思想,基于计算思维的培养模式,面向实际应用构建代数系统与计算机专业课程的联系纽带,使学生确立更为明确的专业学习目标,通过教师和学生双向案例设计摸索出一条更加合适计算机专业学生的代数系统课程讲授及相关的课程考核方法.(本文来源于《大学数学》期刊2019年05期)

张秀华,房佳瑶[2](2019)在《非线性微分代数系统的鲁棒输入-输出线性化问题》一文中研究指出针对一类非线性微分代数系统,利用M导数方法,提出了一种新型的鲁棒输入-输出线性化控制器.并将该方法应用到具有励磁控制的单机与非线性负荷连接的输电系统中,该方法的一个显着特点是不需要任何关于不确定性的信息.(本文来源于《沈阳大学学报(自然科学版)》期刊2019年05期)

牛华伟,兰奇逊,徐华锋,刘雅妹,蔡玉杰[3](2019)在《一类非线性微分-代数系统的状态/输出反馈镇定》一文中研究指出针对一类可能含有非Lipschitz连续性非线性项的非线性微分-代数系统的状态/输出反馈镇定问题进行研究.首先,利用反步法给出了一种状态反馈控制器的递归设计方法.其次,在非线性项和代数约束满足适当的假设条件下,基于输出反馈占优技术得到了一种输出反馈控制器的设计方法.虽然所给出的两种控制器仅依赖于微分系统的状态,但均能够保证闭环系统的状态是渐近稳定的.仿真结果验证了所提出的两种控制方法的有效性.(本文来源于《数学的实践与认识》期刊2019年19期)

吕春婉[4](2019)在《系统与控制理论应用背景融入线性代数课程教学的探讨》一文中研究指出线性代数在系统与控制理论学科领域有着广泛的应用,是该学科领域的基础知识。相比于纯粹的线性代数理论知识讲授,以系统与控制理论应用背景驱动的线性代数课程教学更能提高学生的学习兴趣和动力,培养学生自主学习能力和探索能力。本文我们主要探讨如何在线性代数课程教学中融入系统与控制理论应用背景。(本文来源于《课程教育研究》期刊2019年32期)

高沙沙[5](2019)在《智能情境化印刷系统的进程代数建模与仿真验证》一文中研究指出随着个性化需求变得越来越普遍,对定制产品的需求也在增加,企业快速推出新产品的压力越来越大。印刷生产系统必须实时地感知当前情境,即实时生产环境与生产需求,并在尽可能少的人工干预下进行智能、动态、快速地配置和组织各类制造资源,重构制造系统以满足生产需求。本课题针对印刷生产系统的智能化生产需求,研究了智能情境化印刷生产系统的架构体系,并实现了对其进行代数建模及仿真验证。主要完成的工作有:(1)将情境感知和马尔科夫逻辑网络(MLN)的概念融入到Agent的设计中,构建了智能情境化印刷生产系统的框架体系,该智能化系统能够通过捕获实时情境信息进行分析计算,并根据不同产品的生产工艺需求高效地变更生产路线。(2)基于Agent技术提出了适用于印刷生产系统的Agent-Resource-Worker(ARW)组元模型,并运用ARW组元模型和进程代数构建印刷生产系统的代数模型。该代数模型综合ARW组元模型的复合机制,结合印刷生产特点,对印刷生产流程进行代数建模,该数学模型能够模拟重构后的印刷生产系统的流程与功能。(3)对获得的印刷生产系统进程代数模型进行验证与仿真,验证了该代数模型的有效性。基于进程代数的相关运算规则,对构建的代数模型进行形式化验证,获得相应的进程迁移图;同时,利用mCRL2软件进行编程仿真,模拟印刷生产流程,获得整个系统的进程图。所得的进程迁移图与进程图均与预期的系统行为一致。(本文来源于《西安理工大学》期刊2019-06-30)

张爽[6](2019)在《基于几何代数的远程教育学术高峰论坛舆情监控系统设计》一文中研究指出随着时代的发展和社会的进步,远程教育逐渐发展和普及起来。远程教育的发展带来了诸多的便利,摆脱了时间和空间的限制,能够使信息在短时间内最大限度的流通,亦可以使资源实现最大限度的共享。但是,在远程教育发展的过程中,亦可能涉及到一些高科技信息,比如几何代数高峰论坛舆情监控系统等,几何代数的远程教育学术高峰论坛舆情监控系统的设计需要考虑设计的可能性、设计过程中技术的应用以及设计的意义。(本文来源于《2019年国际科技创新与教育发展学术会议论文集》期刊2019-06-23)

廖勇,胡异,杨馨怡,姚海梅,张楠[7](2019)在《高速移动环境下基于动态CSI的MIMO系统改进模代数预编码》一文中研究指出针对高速移动场景下信道快时变特性给多输入多输出(Multiple Input Multiple Output,MIMO)系统预编码带来的技术挑战,提出基于动态信道状态信息(Channel State Information,CSI)的MIMO系统改进模代数预编码(Tomlinson-Harashima Precoding,THP)算法.该算法利用信道统计量信息以及相关性构建动态CSI模型,更准确实时地体现当前信道状况;进一步地,提出一种基于循环遍历搜索的多用户调度算法,以最大化信干噪比为目标进行用户调度,且将多用户调度算法应用到THP中,提高了预编码精度.仿真结果表明,所提算法相比传统预编码算法具有更优的误码率性能和信道容量,验证了所提算法能有效地适应高速移动场景.(本文来源于《电子学报》期刊2019年06期)

孙燕,张弛,路兴龙,王靖戈,付俊[8](2019)在《具有不等式路径约束的微分代数方程系统的动态优化》一文中研究指出针对具有不等式路径约束的微分代数方程(Differential-algebraic equations, DAE)系统的动态优化问题,通常将DAE中的等式路径约束进行微分处理,或者将其转化为点约束或不等式约束进行求解.前者需要考虑初值条件的相容性或增加约束,在变量间耦合度较高的情况下这种转化求解方法是不可行的;后者将等式约束转化为其他类型的约束会增加约束条件,增加了求解难度.为了克服该缺点,本文提出了结合后向差分法对DAE直接处理来求解上述动态优化问题的方法.首先利用控制向量参数化方法将无限维的最优控制问题转化为有限维的最优控制问题,再利用分点离散法用有限个内点约束去代替原不等式路径约束,最后用序列二次规划(Sequential quadratic programming, SQP)法使得在有限步数的迭代下,得到满足用户指定的路径约束违反容忍度下的KKT (Karush Kuhn Tucker)最优点.理论上证明了该算法在有限步内收敛.最后将所提出的方法应用在具有不等式路径约束的微分代数方程系统中进行仿真,结果验证了该方法的有效性.(本文来源于《自动化学报》期刊2019年05期)

程晓云,辛小龙[9](2019)在《超相等代数的强超推理系统》一文中研究指出引入并研究了超相等代数的几类强超推理系统。首先,给出了强超推理系统的一些生成表示;其次,研究了2类重要的强超推理系统,即关联和正关联强超推理系统,得到了2类强超推理系统的等价刻画,并讨论了二者之间的关系。(本文来源于《山东大学学报(理学版)》期刊2019年08期)

丁殿坤,吕端良[10](2019)在《一类Boole方程解集代数系统性质的探讨》一文中研究指出给出了一类Boole方程F=G的解集S关于逻辑加、逻辑乘、逻辑非运算可构成Boole代数系统的结论,又给出了Boole代数系统(S,+,·,-)与Boole代数系统(B,+,·,-)同态,进而得到了(S,+,·,-)与(B,+,·,-)同构的性质,并给予逻辑证明,也举例说明了两个代数系统同态、同构应具备的条件,从而更加完善了Boole代数系统理论.(本文来源于《大学数学》期刊2019年02期)

代数系统论文开题报告

(1)论文研究背景及目的

此处内容要求:

首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。

写法范例:

针对一类非线性微分代数系统,利用M导数方法,提出了一种新型的鲁棒输入-输出线性化控制器.并将该方法应用到具有励磁控制的单机与非线性负荷连接的输电系统中,该方法的一个显着特点是不需要任何关于不确定性的信息.

(2)本文研究方法

调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。

观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。

实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。

文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。

实证研究法:依据现有的科学理论和实践的需要提出设计。

定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。

定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。

跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。

功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。

模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。

代数系统论文参考文献

[1].杨颖,贾璐,吕春利.具有计算机专业特色的代数系统教学改革[J].大学数学.2019

[2].张秀华,房佳瑶.非线性微分代数系统的鲁棒输入-输出线性化问题[J].沈阳大学学报(自然科学版).2019

[3].牛华伟,兰奇逊,徐华锋,刘雅妹,蔡玉杰.一类非线性微分-代数系统的状态/输出反馈镇定[J].数学的实践与认识.2019

[4].吕春婉.系统与控制理论应用背景融入线性代数课程教学的探讨[J].课程教育研究.2019

[5].高沙沙.智能情境化印刷系统的进程代数建模与仿真验证[D].西安理工大学.2019

[6].张爽.基于几何代数的远程教育学术高峰论坛舆情监控系统设计[C].2019年国际科技创新与教育发展学术会议论文集.2019

[7].廖勇,胡异,杨馨怡,姚海梅,张楠.高速移动环境下基于动态CSI的MIMO系统改进模代数预编码[J].电子学报.2019

[8].孙燕,张弛,路兴龙,王靖戈,付俊.具有不等式路径约束的微分代数方程系统的动态优化[J].自动化学报.2019

[9].程晓云,辛小龙.超相等代数的强超推理系统[J].山东大学学报(理学版).2019

[10].丁殿坤,吕端良.一类Boole方程解集代数系统性质的探讨[J].大学数学.2019

论文知识图

构造和法向环面有2G连续性的四次封包...各体的角加速度变化情况号柔体两段有限段单元的关节空间的角...部分代数系统之间的关系开关-信号代数系统开关信号代数系统

标签:;  ;  ;  ;  ;  ;  ;  

代数系统论文_杨颖,贾璐,吕春利
下载Doc文档

猜你喜欢