不同种植方式对陆生植物去除富营养化水体中磷的影响

以陆生植物美人蕉（Canna generalis）、紫背万年青（Rhoeo discolor）为对象,研究了其不同的种植方式对净化富营养化水体中磷的影响．结果表明,美人蕉、紫背万年青的双倍生物量组对水体中TP、DTP和DIP的去除率与它们的单倍生物量组呈显著性差异,植物对水体中P的去除效果随着植物生物量的适度增加而提高．两种陆生植物的复合种植体系对TP、DTP和DTP的去除率和单一种植体系差别不明显,说明美人蕉、紫背万年青的不同种植体系对水体中TP、DTP和DIP去除率的影响不大．从美人蕉、紫背万年青去除水体中TP、DTP和DIP的动态过程拟合模型可以看出各植物处理组对水体中不同形态P有良好的去除效应．     

一种改进的指针安全分析算法

指针的安全性是C语言程序中的常见问题,它严重影响到系统的安全性.针对指针静态分析中的精度问题,比较分析了目前常见的5种指针分析算法的优缺点,提出了一种基于流不敏感的改进指针静态分析算法.该算法是在Steensgaard算法的基础上,对程序的控制流图进行改进,通过该算法可以得到比常见的数据流不敏感算法更为精确的指针分析结果.在实验室开发的国内首款商用编译器中实现了该算法,实验结果表明该算法可以提高指针分析的精度.     

拟树图按第二大无符号拉普拉斯特征值排序

A connected graph G=(V,E) is called a quasi-tree graph if there exists a vertex v_0∈V(G) such that G-v_0 is a tree.In this paper,we determine all quasi-tree graphs of order n with the second largest signless Laplacian eigenvalue greater than or equal to n-3.As an application,we determine all quasi-tree graphs of order n with the sum of the two largest signless Laplacian eigenvalues greater than to 2 n-5/4.     

非线性拟抛物型积分微分方程的初边值问题和初值问题

本文研究非线性拟抛物积分微分方程的初边值问题和初值问题。运用Galerkin方程结合能量估计证明了问题的整体强解的生存性、唯一性和稳定性，最后在一定条件下讨论了初边值问题整体解的不存在性和爆破问题。     

从对比中更好地把握微积分的教学改革

美国微积分教学改革的许多方面值得借鉴.从对比的角度反思微积分教改的不足和差距,以便更好地把握今后的教改工作,明确在点点滴滴的教学过程中,应当实实在在地做些什么、怎么做.     

需求随价格变化的具有折扣的易变质物品的库存模型

本文研究了在需求随价格变化及物品易变质的条件下，当供应商给予数量折扣时的库存问题。证明了当供应商给予数量折扣时，零售商的需求量是增大的，并给出了供应商给予数量折扣时零售商的订货量和订货周期的计算方法。对物品变质率和需求价格敏感系数对零售商的订货量、订货周期、出售价格和单位时间利润的影响进行了数值分析，并给出了数值算例。     

一类连续变量脉冲中立型差分方程

研究具连续变量脉冲中立型时滞差分方程△[y(t)-p(t)y(t-τ)]+q(t)y(t-σ)=0,t≠tky(tk+)-y(tk)=bky(tk),k=1,2,…利用辅助方程,建立等价定理,得到了方程解振动的显式充分性条件.     

一个可靠机器,一个不可靠机器和一个缓冲库构成的系统的定性分析

本文用纯分析的方法给出了一个可靠机器 ,一个不可靠机器和一个缓冲库构成的系统解的存在唯一性证明     

具有外部扰动的空间刚性机械臂姿态与末端爪手协调运动的Terminal滑模控制算法设计

讨论了载体位置无控、姿态受控情况下,具有外部扰动的漂浮基空间刚性机械臂,载体姿态与末端爪手协调运动的控制算法设计问题．结合系统动量守恒关系及Lagrange方法,建立了漂浮基空间刚性机械臂完全能控形式的系统动力学方程及运动Jacobi关系,并将其转化为状态空间形式的系统控制方程．以此为基础,根据Terminal滑模控制技术,给出了系统相关Terminal滑模面的数学表达式,在此基础上提出了具有外部扰动情况下漂浮基空间刚性机械臂载体姿态与末端爪手协调运动的Terminal滑模控制方案．提出的控制方案不但确保了闭环系统滑模阶段的存在性,同时通过Terminal滑模函数的适当选取,还保证了输出误差在有限时间内的收敛性．此外,由于确保了无论何种情况下系统初始状态均在Terminal滑模面上,从而消除了其它滑模控制方法常有的到达阶段,使得闭环系统具有全局鲁棒性和稳定性．平面两杆空间刚性机械臂的系统数值仿真,证实了方法的有效性．     

待定系数法在三角函数积分计算中的应用

运用复分析方法,首次给出了一类由三角函数、指数函数与幂函数乘积的线性组合产生的函数在某个区间上恒为零的充分必要条件证明,建立了此类函数积分计算的理论基础,结合微分和线性代数思想,系统讨论了待定系数法在一类含有三角函数的积分计算中的应用.