基于综合序贯截尾法的捷联式导弹落点密集度检验

针对小子样试验中精度评定工作的需要,设计了一种弹道落点密集度的综合序贯截尾评定方法。首先,利用惯性坐标系内弹上惯性测量组合和弹载计算机共同完成导航计算任务的导航方程建立弹道仿真模型,求解弹道落点偏差;然后从评定结论置信度与所需试验子样数量之间的矛盾出发,设计了综合序贯截尾检验方法,讨论了最小发数的确定方法,论证了该方法应用于捷联式导弹落点密集度检验中的可行性。最后仿真实例验证了该方法的有效性。     

贯叶连翘总提取物对苏云金杆菌7216的抗菌作用

报道了贯叶连翘总提取物作用于苏云金杆菌(Bacillus thuringiensis)7216并经光照和未光照处理后对该菌的抗菌作用。检测了提取物作用时，在12h的培养过程中7216的光密度(OD640nm)值、活菌数(CFU)及提取物最低杀菌浓度(MBC)值。结果表明提取物对7216有较强的抑菌和杀菌作用，且这两种作用与其浓度有关，但不需光照。     

一种改进的旋转湍流亚格子尺度模型及其应用

基于数学物理分析, 发展了一种新型的满足旋转湍流建模规则(即模型的渐近物性坐标不变性条件)的动力学亚格子尺度应力模型, 并针对展向旋转槽道湍流问题, 计算验证了该模型的正确性. 文中采用大涡模拟方法和该动力学亚格子尺度模型, 进一步研究了展向旋转槽道湍流的统计量和大涡Reynolds应力输运方程主要项的变化特性, 分析了旋转槽道近壁区的湍流拟序结构.     

支序生物地理学方法的发展和应用Ⅱ：应用进展

支序生物地理学经过20年的方法形成、成熟和完善，现已在动物、植物及昆虫的一类群得到了应用，同时也在评价生物地理区划中区域的关系方面发挥了一定的作用，但相对于数量众多的生物门类和种类来说还远远不够。从研究的地区来看，一般研究的范围划分比较组，只能在说明大区和亚区的关系上起作用。目前支序生物地理学的发展有以下3个方向：不断完善方法体系；在更多的生物类群和地理范围得到应用；在更小的区域范围（地区和省）方面的应用。     

Banach空间中非线性脉冲Volterra型积分方程的唯一解

利用序锥理论，研究了抽象空间中含有脉冲项的Volterra型积分方程的唯一解，并讨论了解和参数之间的关系。本文所用的方法与以往不同。     

解析函数边值问题的几个问题

将著名的ＰｏｉｎｃａｒéＢｅｒｔａｎｄ积分换序公式推广到无穷直线上，完善了已有的结果，并利用推广的留数定理简化具有一阶奇异性解的特征方程的解     

二型序数与良序二型类的同构

证明了二型序数具有如下性质：对任一二型类良序结构[A,R]，存在惟一的二型序数B，使得[B,E]与[A,R]同构，特别地对良序聚会[A,R]，存在惟一的二型序数α^*∈οN，使得[α^*,∈]与[A,R]同构，由此性质可知，每个由良序聚合组成的同构等价类中，仅仅含有一个二型序数，即从同构的意义来讲，二型序数结构就是良序二类结构。     

电子收款机软件方案设计方法

电子收款机是一种基于键盘控制并具有复杂键序的单片机系统，合理有效地描述出各种功能键的键序组合以及功能键在各种情况下的功能含义，是一个成功的电子收款机软件设计方案的重要组成部分。本文中，介绍一种基于“键盘状态表”和“状态转移表”进行电子收款机软件设计方案描述的方法，这种方法已在的一种电子收款机软件方案设计过程中得到验证。     

柏大蚜空间分布型的研究及其应用

在抽样调查的基础上 ,计算出柏大蚜 (CinaratuiafulinaDel.Guercio)的 4种聚集度指标 ,从而确定了柏大蚜在空间为聚集型分布 .同时讨论了柏大蚜的空间分布型在序贯取样中的应用 ,也对其在不同密度下的最适抽样数进行了研究 ,为以后在试验设计中的取样技术提供理论依据 .     

自由可换格群的阿基米德性质

Ｓ．Ｊ．Ｂｅｒｎｕ曾给出了在一个半序群上的自由可换格群是阿基米德的充要条件。但是他的证明中含有一个错误，我们将改进Ｂｅｒｎａｕ的结果，用简单的方法给出另一个充要条件，同时我们还给出了如何判别一个格群是阿基米德的充分条件。