对一个重要极限证明中使用循环论证问题的质疑

有的著作认为在极限公式limx→0sinxx=1的证明中,要用到圆(扇形)的面积公式S=21Lr,而对后者的证明中必须要用到重要极限limx→0sinxx=1,从而犯了循环论证的错误。魏晋刘徽的“割圆术”是对无限问题的独特认识和致用的处理方式,是为证明圆面积公式而设计出来的一种方法。刘徽之前,希腊的阿基米德用穷竭法也证明了圆的面积公式。其中,刘徽的证法强调计算的程序性和构造性,而阿基米德则倾向于演绎的严谨性。这两种证明说明limx→0sinxx=1证明所谓的循环论证是可以避免的。     

舰船总体性能可靠性建模方法研究

分析了舰船总体性能可靠性问题的产生原因,将其分为2类.对于舰载设备本身存在可靠性问题而造成的,以航速可靠性为例,在舰船总体可靠性的背景下,借助相关数学工具进行了建模方法分析;对于外界随机因素影响而造成的,如横稳性的可靠性问题,则从分析外界随机因素与船体设计参数之间关系入手.初步建立了一套研究舰船总体性能可靠性问题的建模方法.实例计算表明,将所建模型用于分析舰船总体性能比常规方法具有明显的优越性.     

榴弹攻击下铝质结构抗爆能力的数值评估

在静爆试验的基础上,结合有限元数值方法对小口径(30 mm)燃烧榴弹舷侧接触爆炸攻击下铝质艇体结构的毁伤进行评估,着重分析了铝质艇体结构在小口径武器攻击下,弹体的攻击角度、弹体的初始侵彻速度以及爆炸产物等对艇体结构破损和毁伤范围的影响以及榴弹爆炸的破片效应.     

微机数控定比运动速度插补的最小误差法

本文针对微机数控中检测一轴的运动、控制另一轴运动的定比运动,提出了一个控制速度插补的算法,证明了这种方法的最小误差特点,并进行了误差分析。     

一类高次多项式系统极限环讨论及其应用

本文讨论了一类高次多项式系统极限环的存在唯一性,分析了系统的分枝,解决了系统的极限环的个数和分布问题,应用所得的结果,推广并改进了前人的结果。     

微机控制变螺距螺纹的追踪修正法

本文探讨用经济型数控系统加工变螺距螺纹的原理,提出了一种插补算法——追踪修正法。通过仿真计算,考核了这种算法的理论误差。结果表明,其控制精度是令人满意的.     

一类可逆生化反应动力系统的定性分析

研究生化反应中一类可逆饱和反应的数学模型：应用微分方程定性理论,比较完整地解决了该系统极限环的存在性、唯一性和不存在性等问题。     

高速路由与交换技术现状及发展趋势

多个方向的可扩展特性是新一代互联网的重要特点,这对高性能路由器的性能、规模、功能和服务等能力提出了更高的要求,高速路由与交换技术是承载这种可扩展特性的关键技术。从网络处理器设计、路由查找技术以及高速交换技术三个方面总结了高速路由与交换技术的研究和发展现状,并展望了未来的发展趋势。     

改进AgCl浊度法测定舰船火灾烟气中氯

为快速、准确地测定出现场舰船火灾烟气中氯的含量,在体系中加入适量的十二烷基苯磺酸钠(DBS)、聚乙烯醇溶液(PVA)和吐温-80,对传统AgCl浊度法进行了改进。结果表明,系统的稳定性、灵敏度均大幅度提高,检测限则由3.5×10-1mg/l降低至3.1×10-2mg/l。改进后的方法线性范围宽、重现性好。     

导弹测试系统中动态激励设备的调速控制与变频器的应用

导弹自动驾驶仪敏感部件功能状态的测试,是导弹实施综合测试内容的重要项目之一。实施敏感部件的测试的前提条件之一,是要有动态激励信号产生。产生动态激励信号的设备是动态激励装置。动态激励装置由驱动电机进行驱动。对驱动调速机构、调速原理以及变频器的应用,做出概要性阐述。