基于多项式组主项解耦消元法的几何定理机器证明

用多项式组主项解耦消元法，将几何定理的假设条件（多项式组PS）化为主系数不含变元的三角型多项式组DTS，可得到定理命题成立的不含变化的非退化条件，即充分必要或更接近充分必要的非退化条件，由于多项式主系统不含变化，已不存在DTS多项式之间的约化问题，故方法有普遍意义，文中例为西姆松定理的机器证明。     

带权高阶椭圆算子Dirichlet第二特征值的估计

设Ω是R^m中的一个有界区域，其边界足够光滑，我们考虑一类带权高阶一致椭圆算子在Dirichlet条件下的特征值问题，给出了其第二特征值的一个上界，该上界与区域Ω的体积无关。     

一维核废料污染问题的一个二阶格式

利用降价法研究了多孔介质中一维核废料污染问题，此模型由一非线性抛物－椭圆耦合偏微分方程组的初边值问题来描述，对此问题给出了一个关于时间和空间均具有二阶精度的差分格式，并进行了理论分析。     

CPI趋势测定与分析

近期,居民消费价格指数(CPI)呈线性增长态势,形成通胀压力.经过建立数学模型测定,以及定性分析对定量分析结果的修正,可以预见,CPI增幅将会突破5%,且今后一段时期内,CPI仍会处在增幅5%以上的高位波动,通胀压力仍然存在,但CPI的上升空间有限.     

黄芩甙抑制儿童全身炎症反应综合征核因子-κB活化的研究

探讨全身炎症反应综合征一般治疗时柱因子-κB活化的情况及黄芩甙的影响.方法用中性粒细胞核因子-κB活性测定法测定30例全身炎症反应综合征一般治疗组.30例全身炎症反应综合征加用黄芩武组及30例正常人组中性柱细胞核因子-κB活性.结果全身炎症反应综合征一般治疗时核因子-κB活化增加.黄芩武可抑制他们的变化.结论黄芩甙是治疗全身炎症反应综合征的有效药物.     

基于操作轨迹LPV模型的非线性辨识

提出一种基于操作轨迹LPV模型的非线性辨识方法:根据调度变量的操作轨迹,选取若干个典型工作点;在各个典型工作点,进行测试与辨识相应的线性模型;然后,根据工作点测试数据以及各工作点间的过渡数据,辨识出全局插值LPV模型.它降低了测试辨识成本,且算法简单可靠,仿真结果表明了该算法的有效性.     

两类不确定奇异时滞系统鲁棒稳定的相关型判据

研究了不确定奇异时滞系统的鲁棒稳定性问题。首先以线性矩阵不等式的形式给出了奇异时滞系统正则,无脉冲模且零解渐近稳定的一种新的时滞相关型判据。通过引入新的参数避免了利用不等式处理交叉项,从而使该判据具有较小的保守性。最后,利用研究结果,给出了两类不确定奇异时滞系统新的时滞相关型鲁棒稳定性判据。