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

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

圆筒形拉伸冲压零件下料公式的修正方法

在冲压拉伸制造薄板形零件的模具设计制造中,通常都是先利用公式计算出落料尺寸,根据这个尺寸制造出落料凸模和落料凹模,试生产后再根据制件的误差对落料凸模和落料凹模进行修改,如果成本高,效率低,就通过探讨误差生成的原因以及做出应对的修正方法,从缩小误差,提高试生产效率方面考虑,设法缩短试制时间。     

一种载人航天概率风险评价数据选用与分析方法

概率风险评价(PRA)方法是一项成熟的量化风险评估技术,而可靠性相关数据不足,制约着该方法在国内载人航天领域的应用。针对这一问题,结合NASA的PRA工作经验,提出了一种适合国内载人航天PRA数据选用与分析的方法,综合运用产品的通用数据与特定数据,采用贝叶斯等数据融合方法,对产品进行量化评价。通过航天典型产品案例,与经典评估方法进行对比分析,结果表明,此方法更能反映产品的失效特性。文章提出的方法,可用于载人航天等具有小子样特征的产品PRA数据的选用与分析,为我国载人航天开展PRA工作提供参考。     

地面系留设施万向滑轮结构优化设计

基于系留缆绳换向及缆绳拉力和倾角的测量,提出了一种优化的机动式系留气球万向滑轮结构设计方案,描述了万向滑轮结构形式、材料选择及工艺实现等,采用三维建模及有限元分析相结合的方法,对万向滑轮结构进行校核分析。结果表明,该结构满足刚度和强度要求,具有较广泛的工程应用价值。     

A high order method for orbital conjunctions analysis: Sensitivity to initial uncertainties

A high order method to quickly assess the effect that uncertainties produce on orbital conjunctions through a numerical high-fidelity propagator is presented. In particular, the dependency of time and distance of closest approach to initial uncertainties on position and velocity of both objects involved in a conjunction is studied. The approach relies on a numerical integration based on differential algebraic techniques and a high-order algorithm that expands the time and distance of closest approach in Taylor series with respect to relevant uncertainties. The modeled perturbations are atmospheric drag, using NRLMSISE-00 air density model, solar radiation pressure with shadow, third body perturbation using JPL’s DE405 ephemeris, and EGM2008 gravity model. The polynomial approximation of the final position is used as an input to compute analytically the expansion of time and distance of closest approach. As a result, the analysis of a close encounter can be performed through fast, multiple evaluations of Taylor polynomials. Test cases with objects ranging from LEO to GEO regimes are considered to assess the performances and the accuracy of the proposed method.     

RS-232、RS-485/USB转换器的最简设计

由于USB总线的诸多优点,以传统的RS-232接口为数据通信通道的外部设备正越来越多地朝着采用USB总线的方向发展,设计一种内置式或外挂式的双向RS-232/USB转换器很有必要。本文重点介绍一种以专用芯片FT8U232AM为转换控制器的最为简洁的RS-232/USB转换器设计方案。     

通用型舰载支援飞机的模块化布局设计概念

简要介绍了模块和模块化的基本概念，依据模块化设计的基本思想和步骤对通用支援飞机进行了系统分解和模块划分，详细地描述了通用型舰载支援飞机从系统分解、通用要素提取、非典型要素处理到模块组合的设计思路，从总体角度设计了一种模块化布局的通用型舰载支援飞机，并建立起三维模型。     

基于VXI总线的某型飞机地面检测系统的设计实现

介绍了一种基于VXI总线的某型飞机地面自动测试系统的设计与实现过程。详细论述了该系统的硬件结构和在LabWindows/CVI环境下的软件模块化设计。该系统具有操纵简便、测试速度快、精度高、可靠性高和系统开放等特点,在部队外场恶劣的工作环境中运行良好、性能稳定。     

含故障统计相依组件的多态复杂系统故障树分析

为精确评估可重复使用火箭发动机系统可靠性,采用带约束变量的布尔算法将状态分析与故障树分析恰当结合,从而对含故障统计相依组件的复杂多态可重复使用火箭发动机系统进行可靠性分析.以航天飞机主发动机（SSME）为研究对象,对管路多态性及预燃室和涡轮泵之间的故障相依性进行深入研究.结果表明:该布尔算法能够很好地消除组件统计相依性从而简化复杂多态系统故障树,组件之间失效相依性对系统可靠性影响较大,因此需要加强组件多态及相依性的研究来获得更精确的系统可靠度.      

运用关系代数理论解析接口底层实现机制

接口是面向对象范式和工程领域中的重要概念,认识其实现原理和内部机制有利于提高软件实践过程中的设计开发能力。首先,从普通的接口调用语句的汇编命令入手,描述了接口的使用方法和外在特征;其次,运用数据模型和关系代数等关系理论技术,分析探讨了接口底层机制的实现原理;再次,给出了2种可能的接口实现机制,通过对比分析确立了比较接近真实的底层实现机制,并分析了其静态结构、执行过程及其他特点;最后,相关试验结果表明该模型机制能够满足软件底层体系结构要求并解释了软件的相关呈现现象,从而证明了推断过程和结果的正确性。