一种基于可重构片上互连的多核处理器架构

面向宇航应用,基于可重构片上互连,本文提出了一种新型的多核处理器架构。该架构在锁步技术的基础上进行了改进,利用可重构片上互连使得锁步技术引入的冗余核可以分时复用,以充分发挥多核性能。基于该架构的处理器软件编程,需对任务进行关键等级划分,使得非关键任务可以线程级并行执行,关键任务锁步执行,满足宇航应用对高可靠和高性能的需求。本文给出了该架构基于第五代精简指令集(RISC-V)的一种实现,并进行验证。结果表明:该架构实现了多核处理器在多核锁步和多核并行两种状态之间切换,分别获得高可靠或高性能的特性。     

中子星性质的模型依赖性

采用相对论平均场理论（RMFT）下的GL85,GL92,TM1和TM2等核物质参数组,研究了这些参数组对中子星的粒子数密度分布、状态方程及质量-半径关系的影响.结果表明,在不同的参数组下,超子出现的密度、顺序和种类均不同;状态方程的软硬情况也较大不同;中子星的引力质量和相应的半径有明显不同.计算结果也表明,采用GL85,TM1和TM2等参数组得到的中子星质量和半径均在脉冲星的观测数据范围内,而采用GL92参数组得到的中子星质量小于中子星质量下限1.4M⊙（M⊙=1.99×1030kg为太阳质量）.     

风雪运动数值模拟中自保持平衡边界条件研究

在目前风场自保持性研究的基础上,结合等效物理粗糙高度,给出一类近似满足自保持性的用于风雪运动数值模拟的边界条件.首先结合低温风洞实验室的风雪实验数据,把文献的方法应用于风雪运动数值模拟中.经对比验算发现,文献的方法应用于风雪数值模拟中不能很好满足自保持性.为了进一步满足自保持性要求,引入等效物理粗糙高度,建立起雪跃移高度与等效物理粗糙高度的关系.结果表明:通过引入等效物理粗糙高度,边界条件的自保持特性得到了进一步的提高.最后对该方法的应用进行了推广验证.     

Glacier mapping based on rough set theory in the Manas River watershed

Precise glacier information is important for assessing climate change in remote mountain areas. To obtain more accurate glacier mapping, rough set theory, which can deal with vague and uncertainty information, was introduced to obtain optimal knowledge rules for glacier mapping. Optical images, thermal infrared band data, texture information and morphometric parameters were combined to build a decision table used in our proposed rough set theory method. After discretizing the real value attributes, decision rules were calculated through the decision rule generation algorithm for glacier mapping. A decision classifier based on the generated rules classified the multispectral image into glacier and non-glacier areas. The result of maximum likelihood classification (MLC) was used to compare with the result of the classification based on the rough set theory. Confusion matrix and visual interpretation were used to evaluate the overall accuracy of the results of the two methods. The accuracies of the rough set method and maximum likelihood classification were compared, yielding overall accuracies of 94.15% and 93.88%, respectively. It showed the area difference based on rough set was smaller by comparing the glacier areas of the rough set method and MLC with visual interpreter, respectively. The high accuracy for glacier mapping and the small area difference for glacier based on rough set theory demonstrated that this method was effective and promising for glacier mapping.     

Blade bowing effects on radial equilibrium of inlet flow in axial compressor cascades

The circumferentially averaged equation of the inlet flow radial equilibrium in axial compressor was deduced.It indicates that the blade inlet radial pressure gradient is closely related to the radial component of the circumferential fluctuation (CF) source item.Several simplified cascades with/without aerodynamic loading were numerically studied to investigate the effects of blade bowing on the inlet flow radial equilibrium.A data reduction program was conducted to obtain the CF source from three-dimensional (3D) simulation results.Flow parameters at the passage inlet were focused on and each term in the radial equilibrium equation was discussed quantitatively.Results indicate that the inviscid blade force is the inducement of the inlet CF due to geometrical asymmetry.Blade bowing induces variation of the inlet CF,thus changes the radial pressure gradient and leads to flow migration before leading edge (LE) in the cascades.Positive bowing drives the inlet flow to migrate from end walls to mid-span and negative bowing turns it to the reverse direction to build a new equilibrium.In addition,comparative studies indicate that the inlet Mach number and blade loading can efficiently impact the effectiveness of blade bowing on radial equilibrium in compressor design.     

随机-有界混合不确定性下结构可靠性优化设计

在结构可靠性分析和设计中,往往无法将所有不确定性参数均作为概率随机变量,存在部分不确定性分布特征不明确而仅知其扰动界限的情况.基于概率模型与多椭球模型的混合不确定性描述,以标准U空间中扩展定义的混合可靠性指标为约束条件,建立了随机不确定性和有界不确定性并存情况下的结构可靠性优化数学模型.利用功能测度方法对原优化模型进行...     

炭纤维壳体封头设计的几个问题

讨论了炭纤维壳体封头低压破坏的原因及3种破坏模式,即靠近赤道附近部位的封头发生断裂,极孔部位在环向应力作用下断裂和封头沿接头肩部外缘被剪(弯)断;得到了3种破坏模式的强度校核公式.给出了防止封头破坏宜采取的有效措施,对开孔很大的后封头,宜采取补强措施;给出了补强层厚度和补强范围的确定方法.     

现役装备维修性增长的投入精度控制

装备维修性由含有多个参数的指标体系决定,其增长方案的优选属于多属性优化决策的范畴.数据包络分析理论以客观评价多属性参评单元和固有包容性见长,将它应用于装备维修性增长投入方案优化,不仅能对现有各方案进行优劣排序,而且可通过建立前沿面,指出非最优方案样本的具体问题所在及其改进的方向和程度,使得改进后的维修性增长方案相对于样本方案系列为最优.进一步地,还可据此对未来决策单元的可行性和改进措施等给出判断和精确指导.     

离散相似法在空-空导弹数字仿真中的应用

为满足空-空导弹火控系统解算攻击区的实时性要求，提出一种新的快速仿真方案。在六自由度弹道模型基础上进行合理有效地简化，基于瞬时平衡假设建立了导弹质心运动方程。采用时域离散相似法将导弹质心运动方程进行了离散化处理。通过传统模型、变步长积分模型、气动系数拟合模型和离散模型的仿真结果比较，表明气动系数拟合模型虽然运算速度最快但仿真精度最差，而离散模型不仅能大幅提高仿真速度，还能保证较高的计算精度，从而为空-空导弹攻击区快速解算提供了一种合理可行的方案。     

无穷观问题的研究(Ⅱ)——从Hausdorff的直觉和Poincaré的名言到Brouwer剧场现象

本组系列论文 ( )～ ( )从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状 ,确立了无穷观背景世界的三分法原则 ,指出了两种无穷观相互排斥的局限性 ,形成了统一两种无穷于同一框架中的基本观点 ,并建立了一个统一实无限与潜无限于同一框架中的公理集合论系统 APAS。