75 t/h循环流化床锅炉降低NOx排放技术

近年来,我国对环境保护的要求越来越高,电厂烟气NOx排放指标多次进行了修改。国内绝大多数运行时间超过10年以上的老电厂,尤其是低参数小机组电厂的NOx排放都不达标。文章介绍了五阳热电厂4×75 t/h循环流化床锅炉通过技术改造降低NOx排放指标的成功经验,供同类型机组借鉴。     

Combined effects of wheat gluten and carboxymethylcellulose on dough rheological behaviours and gluten network of potato–wheat flour-based bread

Incorporating high level of potato flour into wheat flour enhances nutritional values of bread but induces a series of problems that lead to the decline of the bread quality. To overcome the barrier, wheat gluten and carboxymethylcellulose (CMC) were added into potato–wheat composite flour to improve dough machinability and bread quality. The rheological properties, thermo-mechanical properties and microstructures of dough were investigated. The results showed that the interaction between gluten and CMC mitigated the discontinuity of gluten matrix and gluten protein aggregation caused by the addition of potato flour, which yielded a more branched and compact gluten network. The compact three-dimensional viscoelastic structure induced improvements of gas retention capacity and dough stability, making it mimic the machinability properties of wheat flour dough. Bread qualities were apparently improved with the combined use of 4% gluten and 6% CMC, of which specific volume increased by 42.86%, and simultaneously, hardness reduced by 75.93%.     

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

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

Dual Inhibition of Pyruvate Dehydrogenase Complex and Respiratory Chain Complex Induces Apoptosis by a Mitochondria-Targeted Fluorescent Organic Arsenical in vitro and in vivo

Based on the potential therapeutic value in targeting mitochondria and the fluorophore tracing ability, a fluorescent mitochondria-targeted organic arsenical PDT-PAO-F16 was fabricated, which not only visualized the cellular distribution, but also exerted anti-cancer activity in vitro and in vivo via targeting pyruvate dehydrogenase complex (PDHC) and respiratory chain complexes in mitochondria. In details, PDT-PAO-F16 mainly accumulated into mitochondria within hours and suppressed the activity of PDHC resulting in the inhibition of ATP synthesis and thermogenesis disorder. Moreover, the suppression of respiratory chain complex I and IV accelerated the mitochondrial dysfunction leading to caspase family-dependent apoptosis. In vivo, the acute promyelocytic leukemia was greatly alleviated in the PDT-PAO-F16 treated group in APL mice model. Our results demonstrated the organic arsenical precursor with fluorescence imaging and target-anticancer efficacy is a promising anticancer drug.     

Adaptive backstepping repetitive learning control design for nonlinear discrete‐time systems with periodic uncertainties

This paper addresses a tracking problem for uncertain nonlinear discrete‐time systems in which the uncertainties, including parametric uncertainty and external disturbance, are periodic with known periodicity. Repetitive learning control (RLC) is an effective tool to deal with periodic unknown components. By using the backstepping procedures, an adaptive RLC law with periodic parameter estimation is designed. The overparameterization problem is overcome by postponing the parameter estimation to the last backstepping step, which could not be easily solved in robust adaptive control. It is shown that the proposed adaptive RLC law without overparameterization can guarantee the perfect tracking and boundedness of the states of the whole closed‐loop systems in presence of periodic uncertainties. In addition, the effectiveness of the developed controller is demonstrated by an implementation example on a single‐link flexible‐joint robot. Copyright © 2014 John Wiley & Sons, Ltd.     

餐饮废油生物柴油低温流动性的改进研究

使用气-质联用仪测定餐饮废油生物柴油(WCME)和-10号柴油(-10PD)的组成,使用冷滤点试验器和运动黏度试验器测定WCME的低温流动性,同时使用调合、添加低温流动性改进剂的方法改进WCME的低温流动性。实验结果表明,WCME主要由饱和脂肪酸甲酯和不饱和脂肪酸甲酯组成,质量分数分别为27.63%和71.81%;WCME冷滤点为0℃,运动黏度(40℃)为4.41mm2/s;WCME与-10PD调合后,冷滤点降低,其中B20的冷滤点最低,为-13℃,运动黏度随着WCME的体积分数的减少,逐渐接近-10PD的运动黏度。通过添加低温流动性改进剂,WCME,B10,B20的冷滤点分别从0,-8,-13℃降至-4,-26,-25℃。     

Characteristic of polysaccharides from Flammulina velutipes in vitro digestion under salivary,simulated gastric and small intestinal conditions and fermentation by human gut microbiota

In this study, in vitro digestion and fermentation of Flammulina velutipes -derived polysaccharides (FVP) were investigated. It was found that FVP mainly consisted of 48.45% glucose, 15.40% mannose, 14.60% xylose, 11.80% fucose and 9.90% galactose. The -human saliva, simulated gastric and small intestinal juices conditions did not break down the FVP. Based on in vitro fermentation tests, FVP modulated the composition of gut microbiota by elevating the amounts of Bifidobacteriaceae and Bacteroidaceae and reducing the numbers of genera Lachnospiraceae and Enterococcaceae. Meanwhile, FVP affected the synthesis of short-chain fatty acids derived from gut microbiota.