Vertical cyclic loading response of geosynthetic-encased stone column in soft clay

Dynamic responses of the geosynthetic-encased stone column (GESC) supported embankment under traffic loads have become a hot topic. This study investigates the responses of GESC improved ground under vertical cyclic loading. A series of laboratory tests in a designed model test tank have been carried out with different loading parameters (varied loading amplitudes and frequencies), different column dimensions (varied encasement lengths and column diameters). In the tests, the soil-column stress distribution, accumulated settlement of loading plate, excess pore water pressure in the surrounding soil and lateral bulging of the stone column are monitored. Experimental results indicate that the vertical stress on the stone column increases with the increment of encasement length, and decreases with the increment of column diameter, loading amplitude and loading frequency. The increasing stress on the surrounding soil leads to a greater accumulated settlement of the loading plate and excess pore water pressure, while the increasing stress on the column leads to larger lateral bulging of the column. Excess pore water pressure dissipates effectively through vertical and horizontal drainage channels provided by the stone column and the sand bed. The geosynthetic encasement prevents the clay from obstructing the drainage channel by filtration and guarantees the drainage effect.     

TCBR-HMM: An HMM-based text classifier with a CBR system

This paper presents an innovative solution to model distributed adaptive systems in biomedical environments. We present an original TCBR-HMM (Text Case Based Reasoning-Hidden Markov Model) for biomedical text classification based on document content. The main goal is to propose a more effective classifier than current methods in this environment where the model needs to be adapted to new documents in an iterative learning frame. To demonstrate its achievement, we include a set of experiments, which have been performed on OSHUMED corpus. Our classifier is compared with Naive Bayes and SVM techniques, commonly used in text classification tasks. The results suggest that the TCBR-HMM Model is indeed more suitable for document classification. The model is empirically and statistically comparable to the SVM classifier and outperforms it in terms of time efficiency.     

Fault handling in large water networks with online dictionary learning

Fault detection and isolation in water distribution networks is an active topic due to the nonlinearities of flow propagation and recent increases in data availability due to sensor deployment. Here, we propose an efficient two-step data driven alternative: first, we perform sensor placement taking the network topology into account; second, we use incoming sensor data to build a network model through online dictionary learning. Online learning is fast and allows tackling large networks as it processes small batches of signals at a time. This brings the benefit of continuous integration of new data into the existing network model, either in the beginning for training or in production when new data samples are gathered. The proposed algorithms show good performance in our simulations on both small and large-scale networks.     

Model checking temporal knowledge and commitments in multi-agent systems using reduction

Though modeling and verifying Multi-Agent Systems (MASs) have long been under study, there are still challenges when many different aspects need to be considered simultaneously. In fact, various frameworks have been carried out for modeling and verifying MASs with respect to knowledge and social commitments independently. However, considering them under the same framework still needs further investigation, particularly from the verification perspective. In this article, we present a new technique for model checking the logic of knowledge and commitments (CTLKC⁺). The proposed technique is fully-automatic and reduction-based in which we transform the problem of model checking CTLKC⁺ into the problem of model checking an existing logic of action called ARCTL. Concretely, we construct a set of transformation rules to formally reduce the CTLKC⁺ model into an ARCTL model and CTLKC⁺ formulae into ARCTL formulae to get benefit from the extended version of NuSMV symbolic model checker of ARCTL. Compared to a recent approach that reduces the problem of model checking CTLKC⁺ to another logic of action called GCTL¹, our technique has better scalability and efficiency. We also analyze the complexity of the proposed model checking technique. The results of this analysis reveal that the complexity of our reduction-based procedure is PSPACE-complete for local concurrent programs with respect to the size of these programs and the length of the formula being checked. From the time perspective, we prove that the complexity of the proposed approach is P-complete with regard to the size of the model and length of the formula, which makes it efficient. Finally, we implement our model checking approach on top of extended NuSMV and report verification results for the verification of the NetBill protocol, taken from business domain, against some desirable properties. The obtained results show the effectiveness of our model checking approach when the system scales up.     

Model repair — aligning process models to reality

Process mining techniques relate observed behavior (i.e., event logs) to modeled behavior (e.g., a BPMN model or a Petri net). Process models can be discovered from event logs and conformance checking techniques can be used to detect and diagnose differences between observed and modeled behavior. Existing process mining techniques can only uncover these differences, but the actual repair of the model is left to the user and is not supported. In this paper we investigate the problem of repairing a process model w.r.t. a log such that the resulting model can replay the log (i.e., conforms to it) and is as similar as possible to the original model. To solve the problem, we use an existing conformance checker that aligns the runs of the given process model to the traces in the log. Based on this information, we decompose the log into several sublogs of non-fitting subtraces. For each sublog, either a loop is discovered that can replay the sublog or a subprocess is derived that is then added to the original model at the appropriate location. The approach is implemented in the process mining toolkit ProM and has been validated on logs and models from several Dutch municipalities.     

Seawater-softening process through formation of calcite ooids

Conventional water-softening processes usually involve the exchange of Na⁺ ions for Ca²⁺ and Mg²⁺ using commercial or synthesized ion exchangers. The differences in chemical compositions of the ooids can be attributed to the formation in different environments. In this paper, ooid grains form inside assembled semi-pilot softening unit through a continuous chemical process involving reaction between bicarbonate ions and added lime using natural seawater. Our sample of Mediterranean seawater has low Mg²⁺/Ca²⁺ ratio (1.98%) within the range chemically favorable for precipitation of low-Mg calcite ooids. Precipitation of calcite occurs around pure quartz sand grains which act as nucleation points (the bed required for sand vessel is 1.65 l). The shape of the sand grains controls the overall external morphology of the resulting ooids; they vary in size from 0.5 to 3.0 mm and have a high degree of polish due to surface abrasion caused by continuous agitation inside the softening system. Calcite ooid grains (1.53 kg) formed within the seawater-softening unit every 18 days have many of the ooid features formed in marine environments. Ooids grow to a significant size, at a rate of about 0.17 mm of one layer thickness per day inside the softening unit. The average weight percent of calcite precipitate is 35.48% after 18 days, at 10 °C, 60 l/min and pH 9.0. The pellets comprise mainly CaCO₃ and SiO₂ and some metal ions which may substitute for calcium ions in calcite are present only in trace amounts of the total composition.     

青年医学工作者科普能力培养新模式

为了培养青年医师运用医学科普语言传播医学知识的能力，向社会提供更优质、可及的健康知识，改善医患关系，促进社会和谐；同时出于向社区、媒体推送一批优秀青年医学科普人才的考虑，本文在总结北京协和医院培养青年医务人员医学科普能力经验的基础上，尝试构建一套适合大型公立医院（尤其是教学医院）培养青年医务人员医学科普能力的新模式——“科普训练营”。本文旨在系统介绍该模式的产生背景、实践经验及初期效果，阐释实施后的重要意义，及实施过程中的挑战与应对策略。     

Ni2V2O7 dandelion microsphere for a high-performance electrocatalyst in water splitting

Water splitting is an effective way to produce hydrogen to solve the energy crisis problem, and inorganic metal compounds are widely used in electrocatalysis field due to efficient hydrogen evolution reaction (HER). Herein, we synthesize Ni₂V₂O₇ dandelion microsphere from nickel nitrate and vanadium pentoxide by “one-step hydrothermal” way, which exhibits large specific surface area of 102.74 m² g⁻¹. The as-prepared Ni₂V₂O₇ microsphere shows good electrocatalysis performances including OER overpotential of 358 mV and good stability, as well as HER overpotential of 195 mV. Furthermore, the Ni₂V₂O₇ microsphere electrode is assembled to Ni₂V₂O₇ microsphere//Ni₂V₂O₇ microsphere system, showing the water splitting voltage of 1.50 V at 10 mA cm⁻² by two-electrode method, which is much lower than those of commercial RuO₂//Pt/C system and most of spinel oxides electrocatalysts. Our work opens up a new and facile avenue for fabricating inorganic microsphere electrocatalyst in hydrogen production field.     

Impact of the anode operating conditions on the liquid water distribution in the cathode gas diffusion layer

Previous experimental results indicate that the humidification conditions at the anode have an impact on the liquid water distribution in the cathode gas diffusion layer. Numerical simulations are developed to reproduce and analyze this effect. Results consistent with the experimental results are first obtained by playing with the partition coefficients of an advanced pore network model computing the liquid water formation and transfer in the cathode gas diffusion layer (GDL) for a large range of operating conditions. Then, a model for the full anode – cathode assembly is developed by combining the pore network model of the cathode GDL and a 1D model describing the heat and water transfer in the various components of the anode-cathode assembly. This enables one to generalize the dry – wet regime diagram introduced in a previous work by incorporating the effect of the humidity condition at the anode.     

Boosting the activity of FeOOH via integration of ZIF-12 and graphene to efficiently catalyze the oxygen evolution reaction

Transition metal oxyhydroxides have been used as promising electrocatalysts for water splitting however, their catalytic activity is restricted due to low surface area and poor conductivity. Herein, we report novel composite FeOOH@ZIF-12/graphene composite as electrocatalyst for water oxidation, whereby ZIF-12 provide extra surface for the FeOOH dispersion whilst graphene act as excellent electron mediator. The composite shows a low overpotential value of 291 mV to attain a current density of 10 mA cm^?2 and a low Tafel slope value of 78 mV dec^?1. The catalyst offers a maximum current density of 101 mA cm^?2, while it gives a turnover frequency (TOF) value of 0.031 s^?1 at an overpotential of 291 mV only. The excellent activity and remarkable stability of composite is attributed to highly conductive and porous support.