Transition region line-shifts in the rebound shock spicule model

Spectral emission lines created in the solar chromosphere — corona transition region show net red-shifts. It has been proposed that this may be the result of the return of spicular material. We simulate a spicule numerically using the rebound shock model and find that the resulting hydrodynamic evolution leads to a perceived up-flow in transition region spectral lines even though the average velocity in the line forming region is directed downward. The explanation for this apparent paradox is found in the correlation between density and velocity in the waves generated by the rebound shock spicule.     

一种微内核分区操作系统C库的适配验证方法

针对传统C库的开发和适配方法存在的局限性问题,提出一种基于微内核架构的嵌入式分区操作系统新C库的适配验证方法,依次对基于微内核架构的嵌入式分区操作系统之上C库的总体部署方案、初始化过程、典型功能模块的适配开发方法进行了详细阐述;搭建相应的硬件测试环境,在恩智浦公司的四种硬件平台上对开发和适配的C库进行了相应的功能测试和验证,提出了三个创新点.     

稳态温度场作用下涡轮叶片振动特性的研究

根据一维线性分段插值方法对一维温度场进行分段插值拟合,为有限元方法分析温度场作用下叶片振动问题中温度载荷的施加提供了简化可行的方案,利用有限元方法验证该线性拟合方案的可行性,并采用多种方法对计算结果进行验证分析,对一维稳态温度场的分段插值进行了误差分析,得到稳态温度场作用下叶片振动问题的有限元分析计算方法和温度载荷施加方案。     

Temperature Fluctuations,H II Region Abundances,and Primordial Helium

There is evidence for temperature fluctuations in Planetary Nebulae and in some Galactic H II regions. If such fluctuations occur in the low metallicity, extragalactic H II regions used to probe the primordial helium abundance, the derived 4He mass fraction, YP, could be systematically different from the true primordial value. Although this effect could be large, there are no data which allow us to estimate the size of the temperature fluctuations for the extragalactic H II regions. Therefore, we have explored this effect via Monte Carlo simulations of the data in which the abundances derived from a fiducial data set are modified by T chosen from a distribution with 0 T Tmax where Tmax is varied from 500 K to 4000 K.     

二维任意域内基于节点的局部网格生成算法

凸域内基于节点的局部网格生成算法,克服了基于节点的有限元方法的网格生成可能产生的不一致性。将该基于节点的局部网格生成算法的适用范围拓展到二维任意域。另外,提出了通过使用约束Delaunay路径来划分任意域的区域划分算法,该算法使得在并行实现网格生成的过程中各处理器之间无需通信,从而大大提高了节点给定情形下有限元方法网格生成的并行效率。     

基于虚拟安全域的多级安全访问控制

虚拟化技术作为云计算的核心技术,相对于传统技术具有节约开销、易于管理、灵活制定等优势,成为业界应用的热点技术。文章研究了传统的BLP多级安全模型,并改进了该模型应用于虚拟化系统访问控制,结合虚拟安全域的概念,设计实现了虚拟化系统访问控制模型,主要结合分级分域原则对虚拟机之间的通信控制和虚拟机对虚拟磁盘的访问控制进行约束。     

虚拟化技术在综合化航电系统中的应用

将虚拟化技术应用于航空电子系统的设计,利用虚拟机系统来实现硬件资源的共享管理和软件子系统的划分,并符合ARINC 653规范的要求——模块化、可靠性、隔离性与开放性.构建由硬件平台、虚拟机监视器(VMM,Virtual Machine Monitor)和分区操作系统、航电应用软件所组成的3层软件架构,可以满足综合模块化航电系统(IMA,Integrated Modular Avionics)的功能要求与接口要求.其中,为实现符合ARINC 653要求的VMM,传统分区操作系统需要进行多项关键性调整,包括处理器特权级和特权指令、中断、内存地址空间分配、设备驱动等方面,从而可以构造基于VMM的综合化航空电子系统.     

混合电路仿真的新方法

实际的数字系统均由数字电路和模拟电路组成，分析数字电路的方法与分析模拟电路的方法是完全不同的。本文将给出一种仿真混合电路的新方法及相应的模拟器。ＭＣ－ＳＩＭ的主要原理如下：首先把被模拟电路划分成许多模拟模块和数字模块，模拟（数字）模块只有模拟（数字）输出；任一模拟输入均视一系列发生在离散的时间点上的事件；模拟模块在达到之前与数字模块一样参加排队；不论是数字模块还是模拟模块都在统一的时间轮下进行计算     

管制扇区的最优划分方法研究

在研究管制员工作负荷的统计方法和描述空域拓扑结构的数学模型的基础上，利用基于自然法则的模拟退火随机优化算法对扇区最优化问题进行求解。并通过对厦门管制区的扇区最优划分实例分析，验证了扇区优化数学理论正确性和使用该算法达到的预期效果。     

基于划分检测模型的终端区异常轨迹检测方法

针对异常轨迹对轨迹聚类效果的影响以及给进离场程序管制适用性的量化分析提供分析数据的考虑,在结合数据挖掘中异常检测理论的基础上,利用划分检测框架及将距离和密度结合起来,设计了一种有效检测算法,运用到终端区飞行轨迹的异常检测当中,检测出飞行轨迹中的异常轨迹,从而改善轨迹的聚类效果。实例仿真结果表明：方法可以准确地检测出异常轨迹。