Thermo-economic investigation on the hydrogen production through the stored solar energy in a salinity gradient solar pond: A comparative study by employing APC and ORC with zeotropic mixture

In this paper, a salinity gradient solar pond (SGSP) is used to harness the solar energy for hydrogen production through two cycles. The first cycle includes an absorption power cycle (APC), a proton exchange membrane (PEM) electrolyzer, and a thermoelectric generator (TEG) unit; in the second one, an organic Rankine cycle (ORC) with the zeotropic mixture is used instead of APC. The cycles are analyzed through the thermoeconomic vantage point to discover the effect of key decision variables on the cycles’ performance. Finally, NSGA-II is used to optimize both cycles. The results indicate that employing ORC with zeotropic mixture leads to a better performance in comparison to utilizing APC. For the base mode, unit cost product (UCP), exergy, and energy efficiency when APC is employed are 59.9 $/GJ, 23.73%, and 3.84%, respectively. These amounts are 47.27 $/GJ, 29.48%, and 5.86% if ORC with the zeotropic mixture is utilized. The APC and ORC generators have the highest exergy destruction rate which is equal to 6.18 and 10.91 kW. In both cycles, the highest investment cost is related to the turbine and is 0.8275 $/h and 0.976 $/h for the first and second cycles, respectively. In the optimum state the energy efficiency, exergy efficiency, UCP, and H₂ production rate of the system enhances 42.44%, 27.54%,15.95%, and 38.24% when ORC with the zeotropic mixture is used. The maximum H₂ production is 0.47 kg/h, and is obtained when the mass fraction of R142b, LCZ temperature, pumps pressure ratio, generator bubble point temperature are 0.603, 364.35 K, 2.12, 337.67 K, respectively.     

Rectangular Section Control Technology for Silicon Steel Rolling

Rectangular section control technology(RSCT)was introduced to achieve high-precision profile control during silicon steel rolling.The RSCT principle and method were designed,and the whole RSCT control strategy was developed.Specifically,RSCT included roll contour design,rolling technology optimization,and control strategy development,aiming at both hot strip mills(HSMs)and cold strip mills(CSMs).Firstly,through the high-performance variable crown(HVC)work roll optimization design in the upper-stream stands and the limited shifting technology for schedule-free rolling in the downstream stands of HSMs,a hot strip with a stable crown and limited wedge,local spot,and single wave was obtained,which was suitable for cold rolling.Secondly,an approximately rectangular section was obtained by edge varying contact(EVC)work roll contour design,edge-drop setting control,and closed loop control in the upper-stream stands of CSMs.Moreover,complex-mode flatness control was realized by coordinating multiple shape-control methods in the downstream stands of CSMs.In addition,the RSCT approach was applied in several silicon-steel production plants,where an outstanding performance and remarkable economic benefits were observed.     

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

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

道路用聚氨酯改性沥青的制备工艺探讨

结合不同改性剂掺量单因素试验,确定了采用88mm叶轮、115mm容器、圆盘锯齿式搅拌器(转速1400r/min)、175℃共混温度、改性剂掺量4.27%、单次搅拌300g的制备工艺参数。在此条件下制备的聚氨酯改性沥青具有优异的水稳定性、储存稳定性且耐老化、耐高温,拥有比普通聚合物改性沥青更高的车辙因子G*/sinδ和15℃动态模量,基本满足高模量沥青要求。     

Mixture ratio modeling of dynamic systems

Any knowledge extraction relies (possibly implicitly) on a hypothesis about the modelled-data dependence. The extracted knowledge ultimately serves to a decision-making (DM). DM always faces uncertainty and this makes probabilistic modelling adequate. The inspected black-box modeling deals with “universal” approximators of the relevant probabilistic model. Finite mixtures with components in the exponential family are often exploited. Their attractiveness stems from their flexibility, the cluster interpretability of components and the existence of algorithms for processing high-dimensional data streams. They are even used in dynamic cases with mutually dependent data records while regression and auto-regression mixture components serve to the dependence modeling. These dynamic models, however, mostly assume data-independent component weights, that is, memoryless transitions between dynamic mixture components. Such mixtures are not universal approximators of dynamic probabilistic models. Formally, this follows from the fact that the set of finite probabilistic mixtures is not closed with respect to the conditioning, which is the key estimation and predictive operation. The paper overcomes this drawback by using ratios of finite mixtures as universally approximating dynamic parametric models. The paper motivates them, elaborates their approximate Bayesian recursive estimation and reveals their application potential.     

Flow state monitoring of gas-water two-phase flow using multi-Gaussian mixture model based on canonical variate analysis

As a highly complex and time-varying process, gas-water two-phase flow is commonly encountered in industries. It has a variety of typical flow states and transition flow states. Accurate identification and monitoring of flow states is not only beneficial to further study of two-phase flow but also helpful for stable operation and economic efficiency of process industry. Combining canonical variate analysis (CVA) and Gaussian mixture model (GMM), a strategy called multi-CVA-GMM is proposed for flow state monitoring in gas-water two-phase flow. CVA is used to extract flow state features from the perspective of correlation between historical data and future data, which solves the cross correlation and temporal correlation of multi-sensor measurement data. GMM calculates the possibility that the current flow state belongs to each typical flow pattern and judges the current flow state by probability indicators. It is conducive to follow-up use of Bayesian inference probability and Mahalanobis distance-based (BID) indicator for flow state monitoring, which avoids repeated traversal of multiple CVA-GMM models and improves the efficiency of the monitoring process. The probability indicators can also be used to analyze transition flow states. The method combining the probabilistic idea of GMM with the deterministic idea of multimodal modeling can accurately identify the current flow state and effectively monitor the evolution of flow state. The multi-CVA-GMM method is validated by using the measured data of the horizontal flow loop of gas-water two-phase flow experimental facility, and its effectiveness is proved.     

Characterizing physical habitat preferences and thermal refuge occupancy of brook trout (Salvelinus fontinalis) and Atlantic salmon (Salmo salar) at high river temperatures

Anthropogenic influences, including climate change, are increasing river temperatures in northern and temperate regions and threatening the thermal habitats of native salmonids. When river temperatures exceed the tolerance levels of brook trout and Atlantic salmon, individuals exhibit behavioural thermoregulation by seeking out cold‐water refugia – often created by tributaries and groundwater discharge. Thermal infrared (TIR) imagery was used to map cold‐water anomalies along a 53 km reach of the Cains River, New Brunswick. Trout and salmon parr did not use all identified thermal anomalies as refugia during higher river temperature periods (>21°C). Most small‐bodied trout (8–30 cm) were observed in 80% of the thermal anomalies sampled. Large‐bodied trout (>35 cm) required a more specific set of physical habitat conditions for suitable refugia, that is, 100% of observed large trout used 30% of the anomalies sampled and required water depths >65 cm within or adjacent to the anomaly. Densities of trout were significantly higher within anomalies compared with areas of ambient river temperature. Salmon parr were less aligned with thermal anomalies at the observed temperatures, that is, 59% were found in 65% of the sampled anomalies; and densities were not significantly different within/ outside anomalies. Salmon parr appeared to aggregate at 27°C, and after several events over 27°C variability in aggregation behaviour was observed – some fish aggregated at 25°C, others did not. We stipulate this is due to variances of thermal fatigue. Habitat suitability curves were developed for velocity, temperature, depth, substrate, and deep water availability to characterize conditions preferred by fish during high‐temperature events. These findings are useful for managers as our climate warms, and can potentially be used as a tool to help conserve and enhance thermal refugia for brook trout and Atlantic salmon in similar systems.     

燃气热水器在无回水管水路中实现零冷水的方案研究

本文分析了燃气热水器行业针对无回水管水路系统实现零冷水功能的现有技术方案,指出现有技术方案存在的一些缺陷,并结合试验研究,对无回水管水路系统提出了一套全新的实现零冷水功能的技术解决方案。     

邢钢180 m2烧结机提高混合料温度的实践

介绍了邢钢180 m^2烧结机投产以来,在提高混合料温度方面所采取的主要措施.该厂通过提高生石灰质量、采用蒸汽预热混合料、在混合机中加热红泥浆等,改善了混合料的透气性,进而提高了烧结矿产、质量.