Banach空间中微分包含解的存在性

本文在无穷维Ｂａｎａｃｈ空产是中讨论微分包含解的存在性，先给出了几个普通微分包含的比较定理，讨论了近似解与解的关系，然后得到了Ｂａｎａｃｈ空间中微分包含解的存在性定理。     

A constitutive model coupling damage and material anisotropy for wide stress triaxiality

A constitutive model that can describe the damage evolution of anisotropic metal sheets during the complex forming processes which experience wide stress triaxiality history is essential to accurately predict the deformation and rupture behaviors of the processes. In this study, a modified Lemaitre damage criterion which couples with the anisotropic Barlat 89 yield function is established. The effects of stress triaxiality, Lode parameter and shear stress on damage accumulation are considered in the constitutive model. The model is numerically implemented and applied to fracture prediction in tensile tests with different stress triaxialities and a complex deformation process with wide stress triaxiality history. The good consistency of predictions and experiments indicates that the modified Lemaitre damage model has excellent fracture prediction ability. Finally, the accuracy of the model is analyzed and discussed.     

A concept mission for the Stellar Population and Evolution with Cubesats (SPEC)

Binary or multiple stellar systems, constituting almost a third of the content of the Milky Way, represent a high priority astronomical target due to their repercussions on the stellar dynamical and evolutionary parameters. Moreover the spectral study of such class of stars allows to better constrain the evolutionary theories of the Galactic stellar populations. By resolving the members of stellar systems through photometric observations we are able to perform more detailed measurements to infer their mass. In this paper we investigate the feasibility of a cubesat based mission including an optical payload to directly optically discriminate the members of a selected sample of binary systems. The scientific targets, consisting 11?M class dwarf stars binary systems, have been extracted from the already studied Riaz catalogue. These subset has been selected considering the star distance, the members angular separation, and the distance from the Galactic plane (due to limit the background and foreground contamination). The satellite concept is based on a 6 unit Cubesat embedding some commercial off the shelf components and an ad hoc designed optical payload occupying almost 4 units. The optical configuration has been chosen in order to fit the angular resolution requirements, as derived from the target characteristics. Moreover, according to the optical analysis and the computed field of view some requirements on the attitude control system have been inferred and fulfilled by the component selection. The paper is organized as in the following: a brief scientific introduction is made; consequently the project is described with particular attention to the optical design and the standard sub-systems; finally the conclusions are drawn and the future perspectives are investigated.     

三脉冲冷原子陀螺仪中基于内态演化的拉曼光光强补偿算法

由于在复杂环境中拉曼光功率不稳定会导致原子脉冲的宽度发生改变,从而影响陀螺仪的测量精度.通过对冷原子干涉仪的干涉全过程进行建模,计算得出了陀螺仪在拉曼光改变情形下输出相位的解析表达式,即建立了拉曼光在非近共振条件下强度变化时陀螺仪的输出值与外界载体运动之间的关系.与此同时,基于该解析表达式提出了一种对拉曼光光强的补偿算...     

Ti6Al4V合金冷拔过程变形机制研究

研究了钛合金经冷拉后的变形组织和性能,金相、透镜观察表明,位错滑移是钛合金室温下塑性变形的主导机制.钛合金经过冷拉拔后的组织性能变化可分为3个阶段:第一阶段为快速硬化阶段,以大晶粒的变形为主,位错缠结形成;第二阶段其抗拉强度值增加趋于平缓,近乎于一个平台,部分小晶粒也开始参与变形,位错带形成;第三阶段为应变量大于0.6...     

飞行器控制系统的高精度计算方法

对于连续时间线性二次最优控制问题，在动力学方程和价值泛函的基础上，给出其全状态下的微分方程，进而将精细时程积分法引入上述问题，其优点为，放弃了传统的差分算法，使计算过程既简便又稳定；避免了Ｒｉｃｃａｔｉ代数方程的求解；具有非常高的计算精度。通过对某飞行器控制系统的计算，充分说明了上述特色。     

喷射沉积过程中显微组织的形成机制

通过对沉积还纵剖面的组织分析，发现沉积坯在进缘、上下表面及中心部位的显微组织明显不同。边缘及上下表面区试样的退火试验研究表明，细小的枝晶碎块在高温退火过程中发生凝共和粗化，并导致近球状晶粒组织的形成。试验确定其生长服从：D2-D02=6.37×1020e(-70036.1/T)·τ，晶界迁移激活能Qg=582KJ／mol。并依赖于两种机制：（1）在喷射沉积过程中无强烈变形枝晶的均匀化；（2）变形及断裂枝晶的生长和粗化。     

空间坐标转换技术的分析与研究(一)

系统分析了空间坐标转换的不同形式及其相互关系,运用旋转矩阵理论作了较为深入的探讨,指出了使用中应注意的问题。提出了齐次矩阵,微分算子及雅可比阵矩等有用概念,作为例子,讨论了这些概念在机器人学中的应用。     

大扭曲叶片整体涡轮电解加工工艺研究

研究用展成电解工艺进行大扭曲度整体涡轮叶片的机械加工，对涡轮叶片型面进行数据处理，用软件方式实现电解加工的多轴联动进给；分析叶片电解过程成形规律，合理设计阴极、流场，解决大扭曲叶片加工的叶背二次腐蚀、出口短路等关键工艺问题，试验可稳定达到工序精度要求，并可批量生产。     

大涵道比涡扇发动机循环参数优化算法研究及应用

针对多约束条件与多优化变量的大涵道比涡扇发动机循环参数优化问题,提出了自适应三次变异差分进化算法,运用多个Benchmarks多峰函数对算法进行验证,并将该算法与大涵道比涡扇发动机性能计算程序相结合,对多约束条件下的循环参数进行了优化.计算结果表明:自适应三次变异差分进化算法比传统差分进化算法收敛精度更高、收敛速度更快,大幅度提高了大涵道比涡扇发动机循环参数优化效果,适合解决大涵道比涡扇发动机循环参数优化问题.