用于厚屏蔽小探测器的蒙特卡罗模拟减方差方法研究

反应堆屏蔽计算中经常出现厚屏蔽、小探测器问题，常规蒙特卡罗方法难以有效解决。基于自动重要抽样（AIS）方法，本文提出了小探测器自动重要抽样(SDAIS)方法，并针对小探测器问题，优化了AIS方法的虚粒子赌分裂算法。该方法在自主开发的蒙特卡罗屏蔽程序MCShield上进行了实现。使用NUREG/CR-6115 PWR基准题验证该方法的正确性和计算效率。结果表明，SDAIS方法可有效地解决厚屏蔽小探测器问题，相比AIS方法及传统的重要性方法，计算效率提升1~2个量级。     

水电站泄洪闸门液压启闭远程控制方式策略探究

水电站河道泄洪闸具有防洪调度、水位控制等重要作用,随着计算机、网络应用技术的快速发展,“远程集控、无人值守”在水电站广泛应用。因此闸门能否启闭自如,安全可靠运行十分关键。针对泄洪闸液压启闭系统远程控制方式,就闸门运行中存在的误动问题进行了探究,并由此确定了安全控制策略,值得在闸门控制中加以推广应用。     

基于残差决策的自动飞行控制系统远程实时故障诊断

针对自动飞行控制系统结构复杂、关联部件众多,发生故障时诊断时间长,从而影响飞机运行效率的问题,提出一种基于飞机通信寻址报告系统(ACARS)的远程实时故障诊断方案。首先,分析自动飞行控制系统的故障特点,设计搭建检测滤波器;然后,利用ACARS数据链实时发送的自动飞行控制系统的关键信息进行相关部件的残差计算,并根据残差决策算法进行故障诊断及定位;最后,针对不同故障部件残差间的差异大、决策门限无法统一的缺点,提出基于二次差值的残差决策改进算法,减缓了检测对象的整体变化趋势,降低了随机噪声和干扰的影响,避免了将瞬态故障诊断为系统故障的情况。实验仿真结果表明,基于二次差值的改进残差决策算法避免了多决策门限的复杂性,在采样时间为0.1 s的情况下,故障检测所需时间大约为2 s,故障检测时间大幅降低,有效故障检测率大于90%。     

PMSM转矩估计算法研究及其嵌入式代码自动生成

伴随着石油资源的不断减少和人们对生存环境的重视不断加深,电动汽车的发展越来越受到各国政府和汽车企业的重视。电动汽车控制的关键在电机电磁转矩控制。文章研究了基于车用永磁同步电机的矢量控制模型的滤波器法和饱和反馈法转矩估计算法,比较了算法的优劣。接着利用MATLAB平台生成了该算法的嵌入式代码并进行了验证。     

中国移动NFV研究历程详解 五年实现深厚积累

中国移动高度重视NFV的发展,2014年的研究取得不错成绩,并计划携手合作伙伴推动NFV产业走向成熟。纵观整个NFV产业,标准化组织大力推进NFV的发展,全球运营商均积极进行NFV部署,全新商业模式、生态系统得到全面发展。据Analysys mason咨询公司预测,到2019年NFV产业规模将达到41亿美元。NFV的本质是网络设备的虚拟化和云化,虚拟化实现软硬件解耦,云化实现硬件资源的共享和系统随业务大小的自动伸缩,从而支撑业务的快速创新和快速上市。中国移动研究院网络所所长段晓东近期在相关     

基于STC12C5A60S2自动太阳能跟踪器的设计

在此阐述了利用光敏电阻寻找直射太阳的原理,以STC12C5A60S2为控制核心,设计了一种自动太阳能跟踪器。太阳照射情况通过太阳能电池板4边上的4个光敏电阻测得,经过放大后输送到单片机,在单片机内由软件进行分析计算,得出电池板需要偏移的方向和角度,最后通过2个伺服电机对电池板左右和上下偏移进行控制,从而提高了转化效率。     

锐化RAW文件细节表现

<正>任何一张照片都离不开锐化操作,这里我们教你在保证画质的前提下对RAW文件进行锐化处理,丰富画面纹理与细节。软件准备:Adobe Camera Raw学习目标:如何对照片进行锐化.并评估锐化的最终效果。操作耗时:10分钟我们可以通过调整照片的色彩与反差改善其画面效果,而调整锐度则能带来锦上添花的变化。但相对色彩与反差的调整来说,对照片进行正确的锐化处理则是一件非常棘手的事情。大多数相机为了避免细节丰富的区域出现摩尔纹的情况,通常都会内置低通滤镜对画面进行轻微的     

嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.