逻辑和面向对象范例集成的研究与实现

提出了结合逻辑和面向对象范例的一种新方法,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征,和面向对象语言的结构化、信息隐藏、继承等特性;并在逻辑语言的Ｈｅｒｂｒａｎｄ解释基础上,探讨了逻辑对象的语义解释;最后给出了我们根据这种方法设计并实现的面向对象逻辑程序设计系统所提供的对象操作原语。     

一类非线性动力系统的时滞反馈分叉控制

对时滞控制作用下的参数激励van der Pol-Duffing方程进行了研究,着重研究了时滞参数对该类参数激励系统的1/2亚谐共振-主参数共振分叉响应控制。首先采用摄动法从理论上推导出时滞动力系统的分叉响应方程,再采用数值模拟的方法研究了时滞参数对系统分叉响应的影响。研究结果表明,适当选取时滞参数,不仅可以改变分叉响应曲线的拓扑形态,还可以平移分叉响应曲线,即使其分叉提前或滞后,还能同时满足这两种要求。     

基于气动-弹道一体化模型的飞行器外形优化设计

为提升飞行器气动外形优化设计效果,研究了新型飞行器在大空域、宽速域范围的气动适应性问题,提出一种基于气动-弹道一体化模型的外形优化设计方法.通过考虑气动和弹道的耦合作用,综合利用类型函数/形状函数转换技术、气动工程估算方法和Radau伪谱法,建立飞行器气动-弹道一体化模型.基于该模型,通过明确优化目标和约束条件,给出基...     

反对称铺层碳纤维复合材料圆柱壳的双稳态应力特性

双稳态复合材料可广泛应用于各类可变结构的设计.针对反对称铺层的圆柱壳,利用有限元软件ABAQUS的Standard准静态分析,模拟其双稳态跳变过程和跳回过程,探讨在整个连续过程中圆柱壳上的应力分布情况,以及应力随时间和载荷变化的趋势,从而对该类可变结构的设计起到指导作用.结果表明:该类复合材料圆柱壳跳变过程中最大应力出...     

固体火箭发动机长期贮存热载荷的有限元分析方法

分析了固体火箭发动机药柱在长期贮存过程中,由于温度载荷谱的变化所引起的力学响应。基于粘弹性积分蠕变型本构关系,推导了能分析粘弹结构的热载荷的有限元模型,并用它分析了梁、厚壁圆筒与真实固体火箭发动机的热应力问题。     

临近空间大型柔性充气囊体结构特性分析

以临近空间平流层飞艇柔性充气囊体为研究对象,根据充气结构设计理论对充气囊体结构的最小压差和应力进行计算,建立平流层飞艇充气囊体结构有限元模型。在模型验证的基础上,采用非线性有限元方法对平流层飞艇充气囊体结构特性进行仿真分析,得到了囊体结构在不同压差和吊舱载荷作用下应力和变形分布及变化规律,并分析了结构加强配置对囊体应力和变形的影响,为平流层飞艇结构设计提供技术支撑和参考依据。     

敷设气囊的充水圆柱壳的声辐射特性

为降低充水圆柱壳受内部点声源激励时的水下辐射噪声,在其外壳上敷设气囊,形成气囊圆柱壳。为指导气囊圆柱壳的设计,将充水裸圆柱壳和充水气囊圆柱壳分别简化为单、双层无限长隔板。比较隔板、气体与水的波阻抗,分析气体声速与层厚对双层无限长隔板在平面声波入射时的低频声辐射的影响机理。分析表明,声速小的气体和适当的气层厚度可以降低双层障板的辐射噪声。采用声无限元法计算气囊圆柱壳的水下声辐射,结论与对隔板的机理分析吻合。优化设计出的充水CO2气囊圆柱壳的水下辐射声功率与远场辐射声压明显低于充水裸圆柱壳。     

北斗导航系统移动基准站差分定位算法

针对复杂测量环境无法建立固定基准站及进行精密定位的问题,提出一种基于北斗导航系统的移动基准站差分定位算法,即基准站与流动站同时运动并实现高精度差分定位的算法。基于载波相位测量值,在动态短基线条件下,对数据进行站间和星间双差处理,消除接收机钟差以及其他公共误差。对多频观测值进行线性组合,构造双差载波相位超宽巷、宽巷、中巷及窄巷观测量。对上述观测量进行窗口滑动均值滤波并采用逐级模糊度确定法固定整周模糊度,即沿着从超宽巷到窄巷的顺序依次求解整周模糊度。为验证算法有效性,设计基于北斗导航系统的轨道外部几何参数检测仪进行实验,实现毫米级静态相对定位精度和厘米级RTK相对定位精度。     

二维凹槽过渡流的DSMC方法模拟

采用DSMC (DirectSimulationMonte -Carlo)方法模拟二维凹槽过渡流动 ,给出了在不同Knudsen数、不同展弦比、不同壁温条件下凹槽流的速度和温度分布 ,并对DSMC方法在模拟全速度域流场时存在的局限性进行了讨论。     

DES 算法中S-盒的输入输出周期性研究

DES应用于序列密码体制,其周期性问题没有一般的结论。文中证明了:DES中最关键部分-S盒对输入输出周期具有一个下界。