浅谈不同给液方式在铜电解车间的应用

不同给液方式对铜电解过程中有重要的影响,不同的循环方式会影响槽内温度分布、电解液成分及阳极泥沉降等,因此,根据铜电解生产不同情况的需要,分析对比了多种给液方式在贵冶电解车间的应用,总结了这几种给液方式的优缺点和适用条件。     

“任务驱动”教学法在可编程控制器课程教学中的实践与分析

以可编程控制器课程为例,介绍"任务驱动"教学法在教学过程中的具体应用,并探讨了实施过程中存在的问题与解决方法。     

Liner services network design and fleet deployment with empty container repositioning

Transportation demand of shipping container fluctuates due to the seasonality of international trade, thus, every 3–6 months, the liner company has to alter its current liner shipping service network, redeploy ships and design cargo routes with the objective of minimizing the total cost. To solve the problem, the paper presents a mixed integer linear program model. The proposed model incorporates several relevant constraints, such as weekly frequency, the transshipment of cargo between two or more service routes, and transport time. Extensive numerical experiments based on realistic date of Asia–Europe–Oceania shipping operations show that the proposed model can solve real-case problems efficiently by CPLEX. The results demonstrate that the model can reduce ship’s capacity consumption and raise ships’ capacity utilization.     

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

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

Augmented context-based recommendation service framework using knowledge over the Linked Open Data cloud

This research proposes ACARDS (Augmented-Context bAsed RecommenDation Service) framework that is able to utilize knowledge over the Linked Open Data (LOD) cloud to recommend context-based services to users. To improve the level of user satisfaction with the result of the recommendation, the ACARDS framework implements a novel recommendation algorithm that can utilize the knowledge over the LOD cloud. In addition, the noble algorithm is able to use new concepts like the enriched tags and the augmented tags that originate from the hashtags on the SNSs materials. These tags are utilized to recommend the most appropriate services in the user’s context, which can change dynamically. Last but not least, the ACARDS framework implements the context-based reshaping algorithm on the augmented tag cloud. In the reshaping process, the ACARDS framework can recommend the highly receptive services in the users’ context and their preferences. To evaluate the performance of the ACARDS framework, we conduct four kinds of experiments using the Instagram materials and the LOD cloud. As a result, we proved that the ACARDS framework contributes to increasing the query efficiency by reducing the search space and improving the user satisfaction on the recommended services.     

Screening of frozen-thawed conditions for keeping nutritive compositions and physicochemical characteristics of goat milk

Frozen milk can help producers overcome the seasonality of goat milk production, low goat production and short lactation periods, and avoid discarding milk during some special periods. We investigated effects of combination between freezing (cryogenic refrigerator of ?16 to ?20°C or ultra-cryogenic refrigerator of ?76 to ?80°C) and thawing (homeothermy of 20 to 25°C or refrigeration of 2 to 4°C) on nutritive compositions and physicochemical characteristics of raw goat milk during storage period (80 d). Compared with fresh goat milk, the frozen-thawed milk decreased contents of fat, protein, and lactose, as well as surface tension and stability coefficient, whereas increased effective diameter and polydispersity index. The average values of color values (L*, a*, and b*) in 4 group samples changed from 83.01 to 82.25, ?1.40 to ?1.54, 3.51 to 3.81, respectively, and the ΔE of most samples did not exceed 2. In contrast to the other 3 frozen-thawed treatments, goat milk treated with ultra-cryogenic freezing-homeothermic thawing (UFHT) possessed higher fat (5.20 g/100 g), smaller effective particle diameter (0.32 µm), and the lowest polydispersity index value (0.26). The color and confocal laser scanning microscopy images of UFHT were similar to those of fresh goat milk, illustrating UFHT was the optimal approach to maintain the natural quality of goat milk. Our finding provides a theoretical basis for producers to freeze surplus milk.     

Correlation between instrumental texture and colour quality attributes with sensory analysis of selected cheeses as affected by fat contents

This study evaluated several physical and sensory parameters of different types of cheese available in the Polish market. The measurements of textural properties were conducted in an Instron universal testing machine, while the colour properties of cheeses were measured using a Minolta chromameter. The chemical composition was determined by means of the near‐infrared spectroscopy (NIRs). Moreover, a trained sensory panel was invited to assess the cheese texture‐related properties. Generally, cheeses with reduced fat content were characterised by higher hardness, adhesiveness, cohesiveness and elasticity. Texture‐related parameters of cheese with canola oil were comparable to that of most of full‐fat cheeses. The correlation analysis between physical and sensory attributes related to cheese textural properties indicated the potential applications of TPA, shear and penetration tests (r = 0.766, r = 0.75 and r = 0.765, respectively) for the evaluation of sensory properties related to the hardness. Meanwhile, the elasticity of cheese obtained from sensory evaluation was strongly correlated with the elasticity determined from the shear test (r = 0.722) and moderately correlated with the elasticity from penetration test (r = 0.588), indicating a need to refine the method of penetration test. In addition, cheeses exhibited higher meltability during convection heating at 230 °C than microwave heating. The values of meltability for cheese with reduced fat content were lower than those of full‐fat cheese.     

基于PLC的煤矿排水监控系统研究

该文建立了由数据采集、主排水控制以及地面监控三个部分组成的煤矿主排水系统。对以西门子S7-300 PLC作为中央处理器的硬件系统进行了简单分析,并绘制了软件流程图。该系统的运行充分考虑了井下排水要求和节能要求,根据供电的不同时段进行水泵的不同控制。因此,该系统对于煤矿的安全生产和绿色生产具有一定的实践意义。     

Real-time organic aerosol chemical speciation in the indoor environment using extractive electrospray ionization mass spectrometry

Understanding the sources and composition of organic aerosol (OA) in indoor environments requires rapid measurements, since many emissions and processes have short timescales. However, real-time molecular-level OA measurements have not been reported indoors. Here, we present quantitative measurements, at a time resolution of five seconds, of molecular ions corresponding to diverse aerosol-phase species, by applying extractive electrospray ionization mass spectrometry (EESI-MS) to indoor air analysis for the first time, as part of the highly instrumented HOMEChem field study. We demonstrate how the complex spectra of EESI-MS are screened in order to extract chemical information and investigate the possibility of interference from gas-phase semivolatile species. During experiments that simulated the Thanksgiving US holiday meal preparation, EESI-MS quantified multiple species, including fatty acids, carbohydrates, siloxanes, and phthalates. Intercomparisons with Aerosol Mass Spectrometer (AMS) and Scanning Mobility Particle Sizer suggest that EESI-MS quantified a large fraction of OA. Comparisons with FIGAERO-CIMS shows similar signal levels and good correlation, with a range of 100 for the relative sensitivities. Comparisons with SV-TAG for phthalates and with SV-TAG and AMS for total siloxanes also show strong correlation. EESI-MS observations can be used with gas-phase measurements to identify co-emitted gas- and aerosol-phase species, and this is demonstrated using complementary gas-phase PTR-MS observations.