一种确认控制的形式化方法

提出了一种基于事务的确认控制形式化方法.该方法在数据流图的基础上引入了数据流事务的概念,通过施加控制数据流规则和FSM语法,将数据流事务转换为FSM事务,消除了数据流图的歧义性;同时,将有限状态机作为FSM事务的控制原语,使事务的控制部分得以形式化,从而可实现确认控制自动化     

柴油机进气道全三维流动计算

用椭圆型Ｐｏｉｓｓｏｎ 方程作为控制方程的分形耦合法对形状复杂的柴油机进气道生成三维贴体网格,用时间推进有限容积法求解Ｅｕｌｅｒ方程,对柴油机进气道进行了全三维流动计算．其结果展示了进气道的结构型线对流动的影响,为进气道的设计、改进提供了理论依据．     

有限半气化层燃锅炉的综合特性及节能预测

根据有限半气化燃烧的试验研究结果,讨论了有限半所化燃烧过程的主要特性,提出了层燃锅炉有限半气化燃烧节能的预测模型,并根据试验结果对模型加以检验。     

有限长均匀介质圆柱体内的电场和电势

根据场方程和相应的边界条件,建立了边值问题,利用数学物理方法中的拉普拉斯变换和贝塞耳函数得到边值问题的解,最后求解了有限长均质圆柱体的内场和电春与理想情形ｌ〉〉Ｒ下完全一致。     

基于有限元和神经网络法的桩基础沉降分析

以沉降控制复合桩基础的沉降为研究对象,介绍了有限元和神经网络法的数值分析方法,并运用这两种方法对桩的沉降量进行了预测,对比了它们的结果,分析其产生差异的原因,结果表明:两种方法的沉降预测数据与实测数据误差均小于10%,说明预测精度较高,可以在节省资源的情况下获得较理想的预测结果.     

映射芽关于群_（I（h））的有限决定性

群是保持簇不变的微分同胚芽所组成的群，它是通常的右等价群的一个子群。Ｉｚｕｍｉｙａ及Ｍａｔｓｕｋａ（１９８６）考虑了函数芽对这种群的有限决定性，我们则考虑一般的映射芽的情形，得到了类似的结果。我们定义了另一个群并且把映射芽对群的有限决定性转化成了对群的有限决定性。     

有限群的s-正规子群Ⅱ

群G的一个子群H称为在G中s 正规,如果存在G的一个次正规子群K使得G=HK且H∩K≤HSG,其中HSG是包含在H中的G的最大次正规子群.本文继续利用子群的s 正规性研究群的结构.     

Banach空间中的有界线性算子广义预解式的存在性

本文利用Banach空间中有界线性算子广义逆的稳定性特征来研究广义预解式的存在性,借助这一结果我们对两类重要的有界线性算子:Semi-Fredholm算子和有限秩算子给出其存在广义预解式的具体的特征.     

直升机旋翼下洗流场的数值模拟

建立了三维欧拉方程数值模拟旋翼流场的方法和模型,以用于实际直升机旋翼诱导速度场计算,为火箭导弹发射提供一个旋翼下洗流场计算方法。在该模型中,使用格心形式有限体积法来求解旋翼流场,时间推进应用五步Runge—Kutta方法,并采用了由动量理论导出的远场边界条件,使用了当地时间步长和隐式残值光顺的加速收敛措施;进行了算例计算,分别给出了Caradonna模型旋翼桨叶表面压力分布以及AH-1G模型旋翼流场中沿导弹发射线上的诱导速度分布的计算结果,与可得到的试验数据进行了对比,吻合良好。最后,得出了几点结论。     

等离子体包覆目标的RCS计算

采用直接FDTD方法对雷达波在等离子体包覆目标附近的总场和散射场分布进行了仿真。通过远-近场变换计算了远场电场和不同等离子体分布情况下的目标雷达散射截面RCS值。仿真结果表明,采用等离子包覆的方法可以有效地降低目标的RCS值。等离子体密度和厚度对目标RCS的影响较大,等离子体碰撞频率对目标RCS有一定的影响。