宋金利 作品数:8 被引量:20 H指数:2 供职机构: 河南财经政法大学数学与信息科学学院 更多>> 发文基金: 国家自然科学基金 河南省基础与前沿技术研究计划项目 河南省高等学校青年骨干教师资助计划项目 更多>> 相关领域: 理学 文化科学 自动化与计算机技术 更多>>
数学文化视角下高职高等数学教学研究与实践 被引量:9 2015年 本文从分析高职数学课堂融入数学文化的教学现状入手,提出了高职数学课堂融入数学文化的三种途径:加强教师自身的数学文化素养,更新教学理念;将数学的思想方法贯穿于高等数学教学中;将数学史渗透到高等数学教学中。 杨剑 宋金利关键词:数学文化 数学素养 数学史 布尔控制网络的部分变量能控性 被引量:2 2016年 部分变量能控性是一个特殊的能控性概念,它只考虑系统状态变量中一部分变量的能控性本文主要以布尔网络为代表,研究逻辑控制系统的部分变量能控性问题.利用矩阵的半张量积,逻辑控制系统被表示为离散时间仿射线性系统.从系统部分变量的结构矩阵出发,首先给出逻辑系统部分变量能控性的概念,然后通过构造部分变量能控性矩阵,得到布尔网络的部分变量能控的充要条件为部分变量能控性矩阵的各个元素都大于0,最后通过例子说明如何构造控制序列使部分变量状态能达. 宋金利 肖会敏 李志强关键词:能控性 弱罗马控制数与最小控制数相同的树 被引量:2 2013年 Henning M A等提出了图的弱罗马控制数(记为γ_r(G))的概念,给出了弱罗马控制数与最小控制数相同的图(即γ(G)=γ_r(G))的特征.树是无圈的连通图,相同条件下它除了满足上述的特征外,还具有自身的特点.运用递归法和指标函数法,刻画了弱罗马控制数与最小控制数相同的树(即γ(T)=γ_r(T))的特征. 杨剑 宋金利关键词:控制数 大学生初等数学基础知识调查报告与对策 被引量:1 2015年 本文结合作者在高等数学的教学实践,通过设计调查问卷,全面了解了大学新生初等数学知识的薄弱知识点。同时通过分析目前高中初等数学的教学大纲和本科高等数学的教学大纲,发现在初等数学到高等数学的衔接过程中出现了断裂。本文主要目的是找出被忽略的知识点和存在的问题,并提出对策,使初等数学到高等数学更好地衔接起来,使大学新生在学习中顺利地过渡。 宋金利关键词:初等数学 高等数学 块序列布尔网络的拓扑结构 被引量:2 2015年 利用矩阵的半张量积,通过建立逻辑变量与向量的对应,块序列布尔网络被表示为离散时间系统,将对序列布尔网络的研究转化为对结构矩阵的研究.块序列布尔网络的结构矩阵是一个逻辑矩阵,利用逻辑矩阵的1特征值与和1特征向量的特殊性质,从矩阵特征值和特征向量的角度研究了块序列布尔网络的拓扑结构,显式表示出了不同长度极限环的个数,并指出网络的极限环总数等于(2n-结构矩阵的秩). 宋金利 李志强关键词:特征向量 布尔控制网络的能控性与能观性(英文) 被引量:3 2013年 利用矩阵的半张量积,布尔控制网络被转化为离散时间系统.本文从离散时间系统的结构矩阵出发,讨论了逻辑控制系统的能控能观性条件,得到了一个新的能控性条件.新的条件简化了原有能控性矩阵的计算复杂性,矩阵的最高阶数由原来的2^(m+n)降到了2~n.另外,还得到了检验布尔控制网络能观性的条件.与原有条件相比,新的条件更容易计算检验.最后.给出一个实例,检验给出的能控能观性判断条件的正确性. 李志强 宋金利关键词:能控性 能观性 高阶逻辑系统的符号动力学方法 2016年 Artin-Mazur Zeta函数和拓扑熵是符号动力学中的两大重要工具:Artin-Mazur Zeta函数包含移位系统中不同周期序列的数目信息;拓扑熵反映了符号动力系统中序列的增长率信息.本文以矩阵的半张量积作为工具,在符号动力学框架下,研究了高阶逻辑(控制)系统的拓扑结构.首先证明了k阶逻辑控制系统的状态空间轨迹集合是k步有限型移位系统,然后用Artin-Mazur Zeta函数来研究高阶Boolean网络的极限环个数,利用移位系统的拓扑熵得到高阶Boolean控制网络的相关信息.本文的主要贡献是建立了高阶逻辑动态系统和有限型移位系统的一一对应. 宋金利 李志强关键词:符号动力学 ZETA函数 拓扑熵 布尔控制网络部分状态变量的稳定与镇定 被引量:2 2015年 系统的稳定与镇定是控制理论的重要研究内容.本文主要研究逻辑控制系统的部分状态变量的稳定与镇定问题,部分状态变量的稳定与镇定是一种特殊的稳定性概念,它只考虑状态变量中部分目标变量的稳定性与可镇定性.利用矩阵的半张量积,逻辑控制系统被表示为离散时间仿射线性系统.从系统的结构矩阵出发,首先给出逻辑系统的部分状态(一致)稳定的概念和部分状态(一致)稳定的条件,研究了逻辑控制系统部分状态变量的可镇定性,得到了部分变量通过常值控制序列或通过状态反馈控制器镇定的充要条件,并通过实例检验了所给条件的有效性. 宋金利 李志强