用特征列证明推理的一个方法

将命题推理证明转化为多元多次方程组求解的问题。利用吴方法,通过多元多次方程组的特征列,完成命题推理的证明,即结合数理逻辑中推理证明及吴方法的核心内容特征列知识,总结出一种通过对吴方法中特征列讨论,来证明逻辑推理的方法。     

一类非线性中立型时滞系统的鲁棒H∞控制

研究了一类带有非线性摄动的中立型时滞系统的鲁棒H∞控制问题,时滞是时变的,非线性摄动满足全局Lipschitz条件.通过所构造的新的Lyapunov-Krasovskii泛函,依据Lyapunov稳定性定理,设计一个线性无记忆的状态反馈控制器,使得相应的闭环系统在非线性摄动存在情况下是稳定的,且满足H∞性能指标,并基于线性矩阵不等式(LMI)方法,求解相应问题.     

遗传算法在成品油储运调度中的应用

针对成品油存储运调度的特点,提出成品油储运调度模型,从而降低成品油储运调度的制定和执行难度.在成品油储运调度过程中应用一种基于群体间共享的小生境遗传算法,结果证明该算法在成品油储运调度中切实可行.     

一类具有时滞和基于比率的捕食者—食饵系统的周期解

研究一类非自治的具有时滞和基于比率且有Monold-Haldane功能性反应的两种群捕食者—食饵周期系统,利用Mawhin重合度理论建立了这类系统的正周期解存在的一个充分性判据。     

应用型本科院校数学教学改革

分析了应用型本科院校数学教学中存在的主要问题．针对这些问题，从教学内容、教学方法及考核方式等方面探讨了应用型本科院校数学教学的改革问题，给出了相应的改革措施．通过教学改革，使得数学教学更好地融入应用型本科院校的教学机制，更好地服务于“应用型、职业性、开放式”的人才培养模式．     

对本科数学教学改革的思考与对策

本文通过对本科数学教学存在问题的思考，提出了包括师生思想的转变、教学内容的调整、教学模式的转变等对策促进本科数学教学改革。     

高校遥感学科建设的现状及其对策

作为新兴前沿科学，遥感以迅猛发展之势成为21世纪三大核心技术之一。为适应时代发展与国际竞争需要，遥感一级学科的增设工作正在积极酝酿之中。鉴于年轻学科的特殊性，通过对建设现状的分析，从学科定位、专业层次与方向、发展目标与战略等方面进行全方位思考，以保证学科建设活动能够沿着良性循环的发展轨道卓有成效地进行。     

原子n≤3的布尔代数在R~1、R~2、R~3中的多项式方程表示形式

王礼萍等对布尔格的偏序结构图—哈斯图,从图论角度进行了研究。在此基础上,将偏序结构的变形图用多项式方程组的形式表示,即将原子个数分别为1、2、3的布尔格(布尔代数),分别在仿射空间R1,R2,R3中构造一个代数系统与之同构,使布尔格(布尔代数)内部元素之间结构更加清晰和形象化。     

应用型本科院校数学教学改革

分析了应用型本科院校数学教学中存在的主要问题.针对这些问题,从教学内容、教学方法及考核方式等方面探讨了应用型本科院校数学教学的改革问题,给出了相应的改革措施.通过教学改革,使得数学教学更好地融入应用型本科院校的教学机制,更好地服务于"应用型、职业性、开放式"的人才培养模式.     

应用型本科院校高等数学课程分级教学改革

<正>应用型本科院校学生的入学成绩较低,学生基础不同,尤其在数学学习中,层次差异较大,这是应用型本科院校高等数学课程教学实施中遇到的普遍而且典型的问题[1].另外,当今社会对高校不同专业学生数学素质的要求也呈现出多元化、多层次的趋势.在这种大环境下,如果对所有学生全部按照统一标准进行同步教学,必然会压抑学生的个性,束缚学生的发展严重地影响教学质量.因此,对高等数学课程进行分级教学势在必行.