一阶逻辑紧致性定理在布尔代数中的强表现形式及等式逻辑中的紧致性

我们在文[1]中的基B_L上引入代数结构形成一个布尔代数,并给出布尔代数的一些重要子集。构造了一个完全理论,即文[1]中S的一个元。证明了B_L是一个完全布尔代数的子代数,并在这个子代数中给出一个不弱于一阶逻辑紧致性定理的条件。本文给出了等式逻辑中簇在被等式集公理化时所体现出的与点集拓朴的紧致性相类似的性质。     

对任意文件任意部分进行“采样”

介绍了利用程序调试工具DEBUG和一个实用程序对于任意文件任意部分进行"采样"的实现方法.就OBJ和DBF两种类型的文件给出了DEBUG采样的操作步骤,同时给出一个可以在保证原文件安全性的情况下对于任意文件任意部分进行"采样"或随意进行文件放大的用C语言编制的一个实用程序.     

燃气轮机转子动力特性分析的旋转对称有限元模型

本文给出了燃气轮机转子临界转速和不平衡响应计算分析的旋转对称有限元模型,付立叶级数的引入可以使得三维转子只在一个基础扇区上使用三维单元建立有限元模型。与梁单元相比,实体单元能准确描述转子的几何形状。文中给出了一个验证性算例和一个工程实例。      

无约束优化问题的一个新的DFP信赖域算法

在文献[1]的基础上,给出了一个新的DFP信赖域算法,此算法具有较好的性质,并给出了该算法的全局收敛性以及二次收敛速度.     

卡尔曼滤波的极坐标算法及应用

介绍了极坐标下卡尔曼滤波算法,给出模型的推导过程及卡尔曼滤波的标量计算式,并给出了空舰攻击中目标速度的计算方法.实践证明该算法是一个收敛快、精度较高的算法.     

破产问题的网络对策模型

讨论了合作对策中破产对策与最小费用树对策的各种解之间的关系，通过构造网络图，给出了将破产问题化为最小费用树对策的一个充分条件，从而给出了破产对策核仁解的一种有效方法     

二维定常亚音速无旋气流绕物体的流动

本文采用小扰动法给出了定常亚音速无旋气流绕物体流动的解析解,同时也给出了一个将单位圆域保角映射成一个任意封闭翼型的简单计算公式。此外还导出了压强系数的新的近似表达式。在流过鼓包的流动问题上,它与由Kaplan提出的精确解析结果相比,二者极为符合。     

随机谱载荷下含多裂纹结构的概率断裂力学可靠性模型

通过将结构疲劳裂纹在随机谱载荷下的扩展作为一个时间离散的随机过程处理,建立了一个估计各载荷谱周期末的裂纹长度概率分布的裂纹扩展概率断裂力学计算方法。当已知结构裂纹扩展引起的载荷重新分配时,该方法可以给出多裂纹结构随时间变化的各个裂纹的长度的概率分布。在此基础上,本文建立了一个多裂纹结构裂纹相互干扰情况下的结构可靠性模型,并给出了一个简单的算例。     

协同操作中单人训练系统模型研究

介绍了一个协同操作中单人训练系统的模型,并详细分析了模型的建立,最后给出了模型和算法描述,为其它协同操作系统提供了一个范例.     

一个用迭代法求解线性方程组的并行算法的实现

本文给出并在多微机系统 APS5上实现了一个求解线性方程组的并行算法,提出了一个可反映并行算法和多处理性性能之间关系的新参数.     

一种考虑一阶惯性环节的最优制导律

本文利用微分对策理论方法研究了在三维空间里,以一阶惯性环节考虑导弹和目标动力学因素的最优制导律问题。给出了一个矢量形式的最优反馈制导律,并在反馈增益中引用了系统控制刚度参量k,进而给出了新的综合意义。 最后,在一定条件下,通过进一步近似还给出了一个次优制导律。     

实时离散事件系统的状态反馈逻辑

 基于状态时间的概念,在Ramadge-Wonham模型的基础上提出了一种新的实时离散事件系统模型。在控制目标是保持某给定谓词在闭环系统状态轨迹上为真的情况下,给出了实时控制不变性的定义。研究表明,对这类系统,存在一个状态反馈控制器使给定谓词在闭环系统状态轨迹上保持为真的充要条件是该谓词是实时控制不变的。证明了给定谓词所含的最大实时控制不变子谓词的存在性并给出了计算方法。最后,给出一个例子来说明有关结果。     

应用LQG方法在生产—库存管理系统中的应用研究

给出线性二次型最优输出跟踪问题的系统方程和目标函数,对目标函数中每一项的实际意义做出分析,并讨论了加权矩阵中元素的选取。给出控制规律的最优解,并对最优控制与预期输出的关系做出分析。给出一个生产—库存管理模型,分析了该模型应满足的状态方程,从而说明了它是一个可观测系统,且可以用线性二次型最优输出跟踪问题来解决。最后用具体实例验证了方法的有效性。     

复杂可修复系统可靠性评估时应注意的问题

给出了利用关键部件的寿命数据对复杂可修复系统可靠性进行评估时应注意解决的一个问题 :选取能充分反映系统性能变化的关键部件并且排除该关键部件在生产、存储、使用过程中自身不可靠的影响。进而给出了这个问题的解决方法及对系统性能的评估方法。最后 ,针对飞机发动机的一组寿命数据给出了计算实例     

概率空间中随机变量序列的一类收敛性问题

作为测度论应用到概率论的一个例子,论述了概率空间中随机变量序列几乎处处收敛和依概率收敛并给出了几个等价命题;研究了随机变量序列的收敛性之间的关系,并给出了证明;探讨了Cauchy基本序列的性质,并作了进一步研究.     

粉末溅射平面薄膜型SnO2/CeO2酒敏元件性能测试

给出了SnO2/10?O2(0.4mm×0.6mm×0.4mm)元件的温耗特性曲线,研究了老化的温度和时间,研究了气敏电流Ig与气体浓度C的关系,并给出了一个普遍适用的规律.     

用逐步扩阶双递推时域法识别线性振动系统复模态参数

本文给出了从线性振动系统的自由响应识别该系统复模态参数的方法,把自由响应的表达式变为一个自回归方程和一个多项式方程,利用最小二乘递推与逐步扩阶递推的双递推法来进行参数识别。文中讨论了几个应用中的问题,并给出了计算机的模拟计算结果以及越野汽车车架的参数识别试验结果。     

素特征域上的顶点代数结构

根据素特征域P的特点,利用一个有单位元的结合代数A,在限定的条件下给出了一个代数结构,证明了其满足顶点代数的定义,从而构造了一个新的顶点代数。     

相应于一类幂零李代数的顶点代数结构

顶点代数和顶点算子代数在物理学领域有着广泛的应用,因此对其研究也有很大的实际意义。主要从有限维幂零李代数g出发,给出了g带有非退化对称不变双线性函数的条件,并构造了相应于g的一个代数结构,从同构的意义上证明了其满足顶点代数的条件,从而给出了一个新的顶点代数结构。     

Hilbert空间上Lipschitz伪压缩映像族的强收敛定理

给出并证明了一个Lipschitz伪压缩映像族的强收敛算法,推广了Yao等人的结果。