Gyrotactic microorganisms bioconvection in combined convective magnetohydrodynamic Casson nanofluid flow over a vertically surfaced saturated porous media with variable viscosity

The current article focuses on mass and thermal transfer analysis of a two-dimensional immovable combined convective nanofluid flow including motile microorganisms with temperature-dependent viscosity on top of a vertical plate through a porous medium, and a model has been developed to visualize the velocity slip impacts on a nonlinear partial symbiotic flow. The governed equations include all of the above physical conditions, and suitable nondimensional transfigurations are utilized to transfer the governed conservative equations to a nonlinear system of differential equations and obtain numerical solutions by using the Shooting method. Numerical studies have been focusing on the effects of intricate dimensionless parameters, namely, the Casson fluid parameter, Brownian motion parameter, thermophoresis parameter, Peclet number, bioconvection parameter, and Rayleigh number, which have all been studied on various profiles such as momentum, thermal, concentration, and density of microorganisms. The concentration boundary layer thickness and density of microorganisms increased as the Casson fluid parameter, Brownian and thermophoresis parameters increased, whereas the bioconvection parameter, Peclet number, and Rayleigh number increased. The thermal boundary layer thickness, concentration boundary layer thickness, and density of microorganisms all decreased. The velocity distribution decreases as the Peclet number, bioconvection, and thermophoresis parameters rise but rises as the Rayleigh number, Brownian motion parameter, and Casson fluid parameter rise. These are graphed via plots along with divergent fluid parameters.     

极限工况下的管网“互联互通”改进方案

在全国天然气管道“主干互联、区域成网”(以下简称“互联互通”)基础格局逐渐形成的背景下,天然气管网规模日益扩大、管道分支和气源增加,并且分布不集中、输送方向可变,使得输气方案更加灵活,可以更好地解决某些地域的供气紧张问题;但受现有站场和设备的限制,暂不能满足某些多线组合极限工况,使得“互联互通”的初衷难以全部实现。为了使得现有的各输气干线在实现“互联互通”之后可以满足更多的多线组合工况,在分析“互联互通”背景下M管网工况变化的基础上,研发了可以进行水力仿真和压气站方案制订的计算软件,并对3种极限工况下的不同输气量情况进行了可行性试算,进而基于试算结果提出了相应的管网改进建议。研究结果表明:(1)经验证,软件计算误差满足要求;(2)在M管道某处增设压气站或在某些输气站场配置压缩机组;(3) M管网改进调整后,可以完成大部分的多线组合极限工况,真正实现“互联互通”的输气方案。结论认为,该研究成果有助于推进全国天然气管网早日实现“互联互通”。     

An automated patient monitoring using discrete‐time wireless sensor networks

In recent years, Internet of Things (IoT) devices are used for remote health monitoring. For remotely monitoring a patient, only the health information at different time points are not sufficient; predicted values of biomarkers (for some future time points) are also important. In this article, we propose a powerful statistical model for an efficient dynamic patient monitoring using wireless sensor nodes through Bayesian Learning (BL). We consider the setting where a set of correlated biomarkers are measured from a patient through wireless sensors, but the sensors only report the ordinal outcomes (say, good, fair, high, or very high) to the sink based on some prefixed thresholds. The challenge is to use the ordinal outcomes for monitoring and predicting the health status of the patient under consideration. We propose a linear mixed model where interbiomarker correlations and intrabiomarker dependence are modeled simultaneously. The estimated and the predicted values of the biomarkers are transferred over the internet so that health care providers and the family members of the patient can remotely monitor the patient. Extensive simulation studies are performed to assess practical usefulness of our proposed joint model, and the performance of the proposed joint model is compared to that of some other traditional models used in the literature.     

Design and experimental investigation of the high efficiency 1.5 W/4.2 K pneumatic-drive G-M cryocooler

The development of a high cooling power and high efficiency 4.2 K two stage G-M cryocooler is critically important given its broad applications in low temperature superconductors, MRI, infrared detector and cryogenic electronics. A high efficiency 1.5 W/4.2 K pneumatic-drive G-M cryocooler has recently been designed and developed by ARS. The effect of expansion volume rate and operation conditions on the cooling performance has been experimentally investigated. A typical cooling performance of 1.5 W/4.2 K has been achieved, and the minimum temperature of the second stage is 2.46 K. The steady input power of the compressor at 60 Hz is 6.8 kW, while the operation speed of the rotary valve is 30 rpm. A maximum cooling power of 1.75 W/4.2 K has been obtained in test runs.     

Simultaneous synthesis of a heat exchanger network with multiple utilities using utility substages

Heat exchanger network synthesis (HENS) has progressed by using mathematical programming-based simultaneous methodology. Although various considerations such as non-isothermal mixing and bypass streams are applied to consider real world alternatives in modeling phase, many challenges are faced because of its properties within non-convex mixed-integer nonlinear programming (MINLP). We propose a modified superstructure, which contains a utility substage for use in considering multiple utilities in a simultaneous MINLP model. To improve model size and convergence, fixed utility locations according to temperature and series connections between utilities are suggested. The numbers of constraints, discrete, and continuous variables show that overall model size decreases compared with previous research. Thus, it is possible to expand the feasible search area for reaching the nearest global solution. The model's effectiveness and applications are exemplified by several literature problems, where it is used to deduce a network superior to that of any other reported methodology.     

Spray coating process variable and property analysis of UV-curable polyurethane acrylate coating on polycarbonate substrate

A series of spray coating experiments were conducted on an UV-curable, polyurethane-modified, acrylate-based coating formulation with the aim to control defects, coating thickness, and thickness variation. Statistical approaches including design of experiment, residual examination, analysis of variance, and t-test were used in designing the experiments and analyzing data. Viscosity of formulation, atomizing pressure, liquid feeding pressure, distance between nozzle and substrate, and travel speed of substrate were the process variables studied. The ranges of process variables that gave defect-free coating were identified and used in the subsequent experiments to determine process variables and interactions that had significant contribution to the changes in coating thickness and thickness variation. All process variables studied were found to have contribution to the change in coating thickness, but they showed no significant contribution to the variation of coating thickness. No interaction displayed significant contribution. Confirmation tests performed on extra samples prepared with varying coating thicknesses indicated a good agreement with the experimental results. Additional samples were tested for total transmittance, transmission haze, adhesion, surface roughness, hardness, scratch hardness, abrasion resistance, and durability to attack of car wash chemicals. Spray coated samples showed slight improvement in the total transmittance over the uncoated samples, while maintaining the transmission haze and exhibiting rougher surfaces. Only samples with thin coatings were found to possess sufficient adhesion to the substrate. These thin coatings gave improved hardness, scratch hardness, and durability to car wash attack to the level comparable to commercial coated polycarbonate headlamp lenses, whilst giving better abrasion resistance.     

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

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

Application of higher order spectral features and support vector machines for bearing faults classification

Condition monitoring and fault diagnosis of rolling element bearings timely and accurately are very important to ensure the reliability of rotating machinery. This paper presents a novel pattern classification approach for bearings diagnostics, which combines the higher order spectra analysis features and support vector machine classifier. The use of non-linear features motivated by the higher order spectra has been reported to be a promising approach to analyze the non-linear and non-Gaussian characteristics of the mechanical vibration signals. The vibration bi-spectrum (third order spectrum) patterns are extracted as the feature vectors presenting different bearing faults. The extracted bi-spectrum features are subjected to principal component analysis for dimensionality reduction. These principal components were fed to support vector machine to distinguish four kinds of bearing faults covering different levels of severity for each fault type, which were measured in the experimental test bench running under different working conditions. In order to find the optimal parameters for the multi-class support vector machine model, a grid-search method in combination with 10-fold cross-validation has been used. Based on the correct classification of bearing patterns in the test set, in each fold the performance measures are computed. The average of these performance measures is computed to report the overall performance of the support vector machine classifier. In addition, in fault detection problems, the performance of a detection algorithm usually depends on the trade-off between robustness and sensitivity. The sensitivity and robustness of the proposed method are explored by running a series of experiments. A receiver operating characteristic (ROC) curve made the results more convincing. The results indicated that the proposed method can reliably identify different fault patterns of rolling element bearings based on vibration signals.     

Event-triggered distributed receding horizon control for tracking and formation of homogeneous multi-agent systems

This paper proposes an event-triggered distributed receding horizon control (DRHC) approach for the formation and tracking problems of homogeneous multi-agent systems. For each agent, an event-triggering condition, based on assumed predictive information of the neighbours, is derived from stability analysis. Considering the uncertain deviation between the assumed and true predictive information, we design a time-varying compatibility constraint for the individual optimization problem. In the event-triggered DRHC algorithm, each agent solves the optimization problem and communicates with its neighbours only when the event-triggering condition is satisfied, so the communication and computation burden are reduced. Moreover, guarantees for the recursive feasibility and asymptotic stability of the overall system are proved. A simulation example is provided to illustrate effectiveness of the proposed approach.     

Study on maximum power point tracking of photovoltaic array in irregular shadow

Traditional maximum power point tracking (MPPT) methods can hardly find global maximum power point (MPP) because output characteristics curve of photovoltaic (PV) array may have multi local maximum power points in irregular shadow, and thus easily fall into the local maximum power point. To address this drawback, Considering that sliding mode variable structure (SMVS) control strategy have such advantages as simple structure, fast response and strong robustness, and P&O method have the advantages of simple principle and convenient implementation, so a new algorithm combining SMVS control method and P&O method is proposed, besides, PI controller is applied to reduce system chattering caused by switching sliding surface. It is applied to MPPT control of PV array in irregular shadow to solve the problem of multi-peak optimization in partial shadow. In order to verity the rationality of the proposed algorithm, the experimental circuit is built, which achieves MPPT control by means of the proposed algorithm and P&O method. The experimental results show that compared with the traditional P&O algorithm, the proposed algorithm can fast track the global MPP, tracking speed increases by 60% and the relative error decreased by 20%. Moreover, the system becomes more stable near the MPP, the fluctuations of output power is greatly reduced, and thus make full use of solar energy.