反证法的历史沿革

反证法是数学中常用的一种证明方法。由于逻辑学中也存在同样的相关概念 ,所以分清反证法、归谬法以及反驳和证明之间的细微差别和联系 ,是很有必要的 ,并指出反证法不但是最重要的证明方法 ,而且同其它的证明方法一样也是进行科学积累和发现的源泉。     

城市区域消防安全评估方法研究

城市区域消防安全评估是科学有效地进行城市消防规划、部署和消防法规的制定的重要依据 ,对于城市建设和社会经济的协调发展具有保证和促进作用。根据《中华人民共和国消防法》及《机关、团体、企业、事业单位消防安全管理规定》(6 1号令 )对消防管理对象的界定标准 ,提出两种不同的分类方法 ,确定了城市区域消防安全体系的组成要素 ,采用层次分析法确定了各要素的权重 ,应用多层次多目标系统模糊优选理论 ,建立了城市区域消防安全评价模型 ,对城市区域消防安全评估进行了方法研究和具体计算 ,并应用所设计的模型对北京市宣武区的区域消防安全状况进行了两种方法的分析评估。计算结果证明了方法的有效性 ,用两种不同的分类方法所做出的结果 ,显示了不同分类的一致性。     

网上非典信息报告统计系统的开发

武警学院防治非典信息报告统计系统是在北京突发非典疫情 ,全国各地高度重视非典防治的情况下着手开发的。文章通过对非典信息报告统计系统的实现代码、实现技术、实现功能以及功能模块的分析 ,旨在介绍利用 NET技术实现网上分级实时统计的编程方法     

一个不可缺少的条件

利用导数比较区间内点处函数值与区间端处函数值的大小,函数在区间端点处的连续性是不可缺少的条件。     

压力测量膜片的形变计算

电容式压力传感器测量膜片的形变,决定了计算压力测量环节中电容值的数学模型.介绍了测量膜片形变方程的建立、推导并对压力测量膜片在不同载荷下的形变特性进行了分析和计算,克服了原有测量膜片形变规律的错误模式.     

高超声速再入轨迹跟踪控制的微分变换方法

针对多约束条件下高超声速飞行器再入制导问题,提出一种基于微分变换法求解最优反馈控制的全状态标准轨迹跟踪制导律。利用滚动时域控制方法设计易于在线执行的闭环跟踪制导策略,在每个制导周期内将标准轨迹跟踪问题转化为线性时变系统状态调节器问题,并通过最优控制理论进一步转化为两点边值问题,采用微分变换法进行求解获得最优反馈控制律。数值仿真表明微分变换法的引入有效解决了传统两点边值问题求解的数值不稳定性与耗时问题,所设计的闭环制导律对状态偏差与模型不确定性具有较强的鲁棒性,可为工程设计提供有益参考。     

舰艇编队防空作战动态火力分配

针对舰艇编队防空作战动态目标分配过程进行了深入的研究,建立了动态目标分配过程的相关模型,主要包括目标分配模型和目标及火力通道的状态转移模型,并分析了目标拦截的适宜性检验方法。最后通过改进的粒子群算法对目标分配模型解算并以实例验证了模型及算法的可行性。     

平台姿态误差对TDICCD相机成像几何质量的影响

研究卫星平台姿态误差对TDICCD相机成像几何质量的影响有助于提出姿态指标设计要求以提高相机几何成像质量,以像点位移为中间参量,研究平台姿态误差和成像几何质量指标之间的定量关系。基于平台姿态误差引起的像移速度、偏流角和积分时间等成像参数误差分析,结合严密几何成像模型推导像点位移的误差模型,建立从像点位移量到相邻像元间角度畸变、长度畸变、像元分辨率和定位误差等几何质量指标的定量模型,构建从平台姿态误差到相机成像几何质量指标的完整定量分析链路。仿真实验结果表明,偏航角姿态误差是影响成像几何质量的主要因素。     

基于相位估计的湍流降质图像盲复原

地基望远镜观测的空间目标图像受大气湍流的影响,其分辨率受到很大的限制。为了提高湍流降质图像的复原效果,提出一种改进的盲解卷积方法。首先,考虑观测图像受到高斯噪声和泊松噪声的干扰,推导出基于混合噪声模型的盲解卷积代价函数;然后,根据傅里叶光学原理,利用波前相位表示点扩展函数,将点扩展函数从像素值估计转换为参数估计;最后,通过参数化表示方式,将代价函数寻优从约束最优化问题转换为无约束最优化问题。模拟实验结果验证了本文模型与数值算法的有效性。     

1.8V供电8.2ppm/℃的0.18μm CMOS带隙基准源

带隙基准电压源是各类模拟/数模混合集成电路中的基础性部件,其性能直接决定了整体电路的稳定性。CMOS工艺中的衬底三极管的放大倍数β较小,"发射极-基极"通路对三极管的集电极电流的分流作用十分显著,导致带隙基准温度稳定性下降。此外,低电压条件下的电路缺乏足够的电压裕度,电源噪声的影响已经不可忽略,基准源的抗电源噪声能力亟待加强。针对上述两个问题,分别提出了自适应的"发射极-基极"电流补偿技术和使用电容直接耦合电源噪声负反馈的方案。基于0.18μm CMOS工艺的实现结果表明,在-55℃~150℃范围内,电源电压1.8V情况下,输出基准电压的温度系数可达8.2ppm/℃,且中/高频段的电源抑制比得到大幅度提高,直流段电源抑制比更可达-90dB。