分析证明中的反例

通过高等数学证明问题中的有关例题，说明了在证明某些问题时，必须认真考虑所运用定理的条件和结论。如果考虑不周，往往就得出错误的结果。举出的几个反例，题目本身并不特别复杂，但很有启发性，代表性。除了就本题，结论是正确的，更主要的是让学生养成认真、严谨的思考习惯。分析证明中反例的运用就是对定理条件、结论深刻理解的一个重要的方法。     

一种Cauchy微分中值定理的推广方法

对Cauchy微分中值定理进行了推广.     

基于智能微分对策的自主机动决策方法研究

提出了一种基于智能微分对策的自主机动决策系统.该系统通过预测对抗双方的未来运动状态,将双边极值问题转化为单边极值问题,以降低计算复杂程度,满足机动决策的实时性要求.为体现对抗特性,采用战术过程评价获得最优机动,战术过程评价采用逐级淘汰方法.仿真结果表明,对抗双方未来运动状态预测误差能满足机动决策的需求,机动决策结果能有效提高作战性能.     

基于PIDNN变结构理论的新型弹道导弹姿控系统设计

针对新型弹道导弹参数及干扰的随机变化性,研究了姿控系统的设计问题。首先,对被控对象的模型进行了描述,使模型的确定量和不确定量相分离;其次,在不确定上界已知的假设下,完成了变结构控制器的设计;再次,在不确定上界未知的假设下,将比例-积分-微分神经网络（PIDNN）理论与变结构理论相结合,利用PIDNN对模型的不确定上界进行估计,完成了PIDNN变结构控制器的设计,并通过Lyapunov稳定性理论对系统的稳定性进行了证明;最后,通过仿真分析,验证了所设计方法的有效性。     

基于微分器的轨迹线性化控制方法及其应用

针对当前轨迹线性化控制(TLC)方法对系统中的不确定性存在鲁棒性不足的问题,受非线性跟踪微分器设计思路的启发,提出了一种基于微分器设计原则的轨迹线性化控制方法.首先,引入二阶线性微分器(SOLD)的概念,通过理论分析指出了当前轨迹线性化控制方法中采用一阶惯性+伪微分器求取标称指令的微分信号时,会存在与二阶线性微分器类似的峰值现象,随后利用韩式跟踪微分器(TD)求取标称指令及其微分信号,避免了该现象的同时又赋予了系统在控制量的约束范围内调节响应快慢的能力;其次,通过构造期望的闭环系统,跟踪误差动态,直接获取线性时变(LTV)系统的控制量, 使得参数整定不再依赖于并行微分(PD)谱理论,在此基础上,将混合微分器(HD)的非摄动形式等价为期望的闭环系统跟踪误差动态,以提升轨迹线性化控制方法的鲁棒性,同时借助Lyapunov稳定性理论证明了受扰系统的跟踪误差最终一致有界;最后,利用所提出的轨迹线性化控制方法设计了高超声速飞行器的姿控系统并进行了相应的仿真.结果表明:存在大范围气动参数摄动的情况下,本方法仍具有较好的控制性能及抗干扰能力,能够满足高超声速飞行器快时变、高精度以及强鲁棒的控制需求.      

基于微分几何方法的大迎角导弹解耦控制

导弹在大迎角飞行时，非线性及耦合严重，而且大迎角本身引起的非线性和耦合也必须加以考虑。采用微分几何方法，通过在控制系统中人为地加入耦合信息，以抵消弹体运动的交叉耦合，设计大迎角导弹解耦控制系统。并对结果进行了仿真验证，证实所设计的控制系统可以很好地控制导弹的大迎角飞行。     

李孝堂燃气轮机专家

作为我国多型号燃气轮机的总设计师,请您谈谈燃气轮机的特点及应用优势。李孝堂:燃气轮机的应用领域广泛。我以前总说是海、陆、地。所谓海,就是船舶、海上采油平台等;所谓陆,指军用装备的主动力、辅助动力,军用移动电源等;所谓地,指地面发电、输     

时滞依赖状态的脉冲中立型发展微分包含

目的主要考虑一类时滞依赖状态的脉冲中立型发展微分包含;方法在公理化定义的相空间上,利用Ba-nach空间中发展系统理论结合相应的不动点定理;结果时滞依赖状态的中立型泛函微分至少有一个温和解;结论建立此类问题温和解的存在性。     

“营改增”与企业成本粘性——基于中国上市公司的实证研究

以我国全面"营改增"的实施及对企业收入、费用及业务范围等方面的影响为切入点,分析检验"营改增"通过影响企业调整成本、代理问题对企业成本粘性的作用。结果发现,"营改增"政策能够抑制企业成本粘性。进一步的检验发现,"营改增"对成本粘性的抑制作用在议价能力不同的企业中无显著差异,在公司收入持续下降时亦无显著变化,而在企业债务约束强度较低和机构投资者持股比例较低的情况下抑制作用更强。说明"营改增"是通过影响管理者代理问题降低了成本粘性;没有证据表明"营改增"通过影响调整成本和管理层乐观预期而降低成本粘性。将"营改增"的政策效应研究拓展至企业成本与资源配置层面,揭示了"营改增"在成本管理方面的积极作用。