压水堆核电厂堆外源量程探测器计数率分析

压水堆核电厂启动过程中，次级中子源为堆外源量程探测器提供本底计数率，避免测量盲区，确保反应堆安全启动。但次级中子源的引入会为核电厂带来较大的经济和环境负担，同时也需承受次级中子源破损等带来的风险。为此，可使用受辐照燃料组件的自发裂变中子源进行替代，即无源启动方式。通过研究堆外源量程探测器计数率的理论计算方法，并基于运行电厂测量数据进行分析验证，为源量程探测器计数率的理论预估提供了较为完善的理论方法流程。本文结果可为无源启动源量程探测器计数率分析提供支持，同时也可用于次级中子源装载量或布置位置的优化分析等。     

水电黑启动的实施方法试析

安全生产对于电力企业来说是非常重要的。对于电网,安全则是压倒一切的首要任务。但如果意外发生电网停电事故后,如何迅速安全恢复供电则是重中之重,这就是黑启动。由于水电机组有启动快速的特点,所以把水力发电机组作为黑启动电源,则是最佳选择。     

PTA污水厂COD在线监测结果不合格原因分析及对策

对在线自动监测仪监测结果与人工化验数据存在误差的原因进行分析,以提高在线自动监测仪监测结果的科学性和可靠性,并提出了相对应的建议,有效提升装置出水合格率。     

锐化RAW文件细节表现

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

搅拌式风力致热装置启动性能研究

搭建搅拌式风力致热试验台,以自制的2种致热器为研究对象,使其分别在3个不同平均角加速度24.92、14.66、8.04 rad/s2下启动。通过动态扭矩测试仪和数据采集仪测试记录致热器启动阶段的相关数据。结果表明:致热器启动时所需扭矩与角加速度的一次方、转速、叶片半径的二次方成正比,同时得出这些因素之间的关系式;满负荷时,启动扭矩会出现一个峰值,且角加速度越大峰值越大,自然风必须提供峰值以上的扭矩,否则装置无法启动。     

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

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

投稿要求

<正>为提高稿件审查、排版和校对效率,减少差错,提高出版质量,请作者投稿时参见以下要求:投稿请到本刊投稿平台http://www.e-foodtech.net/。原收稿邮箱shipinkj@vip.163.com 2010年10月1日起不再执行收稿工作,邮箱自动回复将提示您投稿登录平台,请各位作者注意邮箱的自动回复。投稿流程可以登录食品科技博客参考,注意请不要到中国知网的采编平台投稿。某些代发论文网站与我社均毫无联系,请您注意以免上