我国水-能源-粮食耦合关系及影响因素

为缓解我国水、能源和粮食资源紧张问题，促进资源可持续利用，构建水-能源-粮食系统，利用耦合协调度模型对我国的30个省（自治区、直辖市）进行测算,并利用空间杜宾模型分析主要影响因素。结果表明：2003—2017年，我国能源、粮食评价[JP]指数高于水资源评价指数，系统综合评价指数逐年递增；大部分省份耦合协调度处于初级协调水平且呈现逐年上升的态势，个别省份耦合协调度濒临失调；耦合协调度空间自相关性较强，虽有明显波动，但是呈现逐年加强的态势；影响耦合协调度的主要因素有从业人口数、固定资产投资额、人均生产总值、人口总数、[JP]文盲人口占比、工业污染排放、城镇化。     

Comparison of co-current and counter-current flow in a bifunctional reactor containing ammonia synthesis and 2-butanol dehydrogenation to MEK

In this study, a multi-tubular thermally coupled packed bed reactor in which simultaneous production of ammonia and methyl ethyl ketone (MEK) takes place is simulated. The simulation results are presented in two co-current and counter-current flow modes. Based on this new configuration, the released heat from the ammonia synthesis reaction as an extremely exothermic reaction in the inner tube is employed to supply the required heat for the endothermic 2-butanol dehydrogenation reaction in the outer tube. On the other hand, MEK and hydrogen are produced by the dehydrogenation reaction of 2-butanol in the endothermic side, and the produced hydrogen is used to supply a part of the ammonia synthesis feed in the exothermic side. Thus, 30.72% and 31.88% of the required hydrogen for the ammonia synthesis are provided by the dehydrogenation reaction in the co-current and counter-current configurations, respectively. Also, according to the thermal coupling, the required cooler and furnace for the ammonia synthesis and 2-butanol dehydrogenation conventional plants are eliminated, respectively. As a result, operational costs, energy consumption and furnace emissions are considerably decreased. Finally, a sensitivity analysis and optimization are applied to study the effect of the main process parameters variation on the system performance and obtain the minimum hydrogen make-up flow rate, respectively.     

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

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

水提法提取—电感耦合等离子体质谱法测定婴幼儿配方奶粉中的碘

用水提取婴幼儿奶粉中的碘,亚铁氰化钾和乙酸锌盐析法沉淀蛋白,过滤后可以得到澄清处理液。用电感耦合等离子体质谱对提取样液进行测定,130Te作为内标物进行定量分析。该方法简便快捷,检出限为0.10 mg/kg加标回收率为90.8%~109%,相关系数0.999,精密度试验RSD2%。     

High Power Fiber Bundle Array Coupled LDA Module

1 Introduction High power laser diode arrays (LDA) have many advan- tages such as small volume, long working life, high slope efficiency and high optical density, so they have many applications in medical treatment, material pro- cessing, and for the pumping source of solid laser and etc. But unfortunately, the LDA can not be easy to use directly in these fields because of their poor beam quality and extremely asymmetric divergent beams (!x≈ 5°～10°and !y≈20°～35°, for example), so it …     

电荷耦合器件积分时间对微型成像系统成像质量的影响

在光圈固定的情况下，确定合适的积分时间对于提高微型电荷耦合器件(CCD)成像系统的成像质量，增强微型飞行器的侦察能力具有十分重要的意义。本文讨论了决定CCD积分时间的各种因素，重点研究了适用于微型飞行器的CCD成像系统的积分时间与像移的关系，并进一步推导了计算像移量的相关数学模型。利用该模型对不同积分时间内采集的运动图像进行了像质评价，结果表明，在保证曝光量的前提下，当像移量被限制在1个像素内时，可以获得相对理想的运动图像像质。     

Dynamics of liquid-filled spacecraft

A method is presented for simulating coupled liquid-solid dynamics. An important example of a coupled liquid-solid system is a satellite carrying fuel. The dynamics of the satellite and the onboard fuel influence each other, which may lead to satellite motion that is uncontrollable. For better understanding of the complex dynamics of coupled systems, a numerical model is developed. The model consists of two parts. The first part that solves the liquid motion is only briefly discussed here. The focus in this paper is on the way in which the dynamics of the liquid and the solid body are coupled. For this, the governing equations are presented in which terms appear that represent the force and torque on the solid body due to the sloshing liquid. The governing equations are rewritten such that the discrete approximation of these equations can be integrated in a stable manner for arbitrary liquid/solid mass ratios. Results are presented demonstrating the stability of the present model. A grid-refinement study and a time-step analysis are performed. Finally, the flat-spin motion of a satellite, partially filled with liquid, that flew in 1992 as part of the Wet Satellite Model experiment is studied. Results from the simulation are compared with the actual flight data.     

裂隙岩体边坡稳定性的渗流与应力耦合分析

用裂隙岩体渗流与应力耦合分析的四自由度全耦合法对岩质边坡进行耦合分析,通过强度折减有限元法求解岩体边坡的稳定安全系数。四自由度全耦合法建立了同时以渗流水压和位移为未知量的耦合方程组,使得渗流场与应力场的求解能够一次性完成,与两场交叉迭代分析方法相比达到了彻底的完全耦合。通过强度折减,整个系统达到不稳定状态,有限元计算将不收敛,此时的折减系数就是安全系数。算例表明由此求得的边坡稳定安全系数和滑动面都与传统方法十分接近。     

噪声测量作为筛选光电耦合器件的一种方法

本文针对目前用于光电耦合器件筛选方法的不足，提出了用测量耦合器件噪声功率谱的方法来筛选掉噪声值大的器件，给出一批光电耦合器件的测量统计结果及在不同工作点时的噪声功率谱，并给出相应的筛选标准，实验结果表明，这种方法是有效、可行的。     

AHMED experiments on hygroscopic and inert aerosol behaviour in LWR containment conditions: experimental results

Hygroscopic NaOH, CsI, CsOH and inert Ag aerosol behaviour at different temperatures and relative humidities (RH) has been studied in a well instrumented and controlled vessel of 1.81 m³ total free volume. Homogeneous thermal-hydraulic conditions for aerosol measurement in the vessel were achieved. The aerosol number and mass concentration were measured continuously during the experiments using a Condensation Nucleus Counter and a Tapered Element Oscillating Microbalance. The particle size distribution and chemical composition in the test conditions were measured by Berner low pressure impactors. In the case of NaOH the half life of the aerosol mass concentration was more than four times longer at low RH (22%) as compared to high RH (96%). The half lives of the CsOH and CsI aerosols were only twice as long at low RH as compared to high RH. Thus at high RH (96–97%) the half lives of CsOH and CsI were twice as long as the half life for the NaOH aerosol. The faster decay of the NaOH aerosol is due to the smaller density decrease of NaOH during water condensation. CsOH particles grew rapidly to their equilibrium size at all humidities. The measured equilibrium size for CsOH aerosol agree well with the calculated particle size at different RHs. Experimental results were also compared with calculations obtained by severe accident computer codes. These calculated results will be presented in a later paper.