负载羧基化球状介孔纳米颗粒TFN膜的研究

在薄层复合膜(thin-film composite membrane, TFC膜)中引入无机纳米颗粒，形成薄层纳米复合膜(thin-film nanocomposite membrane, TFN膜)，近几年作为反渗透膜开始应用于水处理研究。但是无机纳米颗粒在TFC膜中的性能的不稳定性和膜的机械强度等变成了突出问题。合成制备了粒径约为110 nm修饰羧基的介孔氧化硅球状纳米颗粒(MSN—COOH)，并将其成功地化学键合在TFC膜的表面功能层交联网络中。与TFC膜相比，键合有MSN—COOH的TFN膜，水通量提高了56.2%，保持高脱盐率；由于单分散介孔纳米颗粒表面亲水官能团的引入，使膜表面的亲水性有很大程度提高，单分散介孔纳米颗粒在基体中的有序排列，使膜表面粗糙度降低，提高了膜的抗污染能力。与普通TFN膜相比较，具有更好的稳定性和柔韧性，可以在长时间高压过滤操作下保持稳定。     

A review of the existing performance verification infrastructure for micro-CMMs

The performance verification of micro-CMMs is now of intense interest because of their capability to perform length measurements in three dimensions to high accuracy with low uncertainties. Currently, verification of micro-CMMs is completed in the spirit of existing specification standards, because strict adherence to these standards is often difficult. This review aims to present and discuss verification techniques available for micro-CMMs: specification standards, existing calibrated test lengths and traceability routes that can be associated with micro-CMMs. Three specification standards used in the testing of CMMs will be considered. In addition, a wide range of calibrated test lengths are reported, and any advantages and disadvantages associated with their use are discussed. It is concluded that micro-CMMs cannot yet be verified in accordance with existing specification standards. Suggestions are made for future standardisation work required to rectify these issues.     

Significant spatial co-distribution pattern discovery

Given instances (spatial points) of different spatial features (categories), significant spatial co-distribution pattern discovery aims to find subsets of spatial features whose spatial distributions are statistically significantly similar to each other. Discovering significant spatial co-distribution patterns is important for many application domains such as identifying spatial associations between diseases and risk factors in spatial epidemiology. Previous methods mostly associated spatial features whose instances are frequently located together; however, this does not necessarily indicate a similarity in the spatial distributions between different features. Thus, this paper defines the significant spatial co-distribution pattern discovery problem and subsequently develops a novel method to solve it effectively. First, we propose a new measure, dissimilarity index, to quantify the difference between spatial distributions of different features under the spatial neighbor relation and then employ it in a distribution clustering method to detect candidate spatial co-distribution patterns. To further remove spurious patterns that occur accidentally, the validity of each candidate spatial co-distribution pattern is verified through a significance test under the null hypothesis that spatial distributions of different features are independent of each other. To model the null hypothesis, a distribution shift-correction method is presented by randomizing the relationships between different features and maintaining spatial structure of each feature (e.g., spatial auto-correlation). Comparisons with baseline methods using synthetic datasets demonstrate the effectiveness of the proposed method. A case study identifying co-morbidities in central Colorado is also presented to illustrate the real-world applicability of the proposed method.     

多先验融合的图像显著性目标检测算法

为了更加准确地检测出图像中的显著性目标，提出了多先验融合的显著性目标检测算法。针对传统中心先验对偏离图像中心的显著性目标会出现检测失效的情况，提出在多颜色空间下求显著性目标的最小凸包交集来确定目标的大致位置，以凸包区域中心计算中心先验。同时通过融合策略将凸包区域中心先验、颜色对比先验和背景先验融合并集成到特征矩阵中。最后通过低秩矩阵恢复模型生成结果显著图。在公开数据集MSRA1000和ESSCD上的仿真实验结果表明，MPLRR能够得到清晰高亮的显著性目标视觉效果图，同时F，AUC，MAE等评价指标也比现有的许多方法有明显提升。     

Controlling Au electrode patterns for simultaneously monitoring electrical actuation and shape recovery in shape memory polymer

This paper presents an effective approach to achieve efficient electrical actuation and monitoring of shape recovery based on patterned Au electrodes on shape memory polymer (SMP). The electrically responsive shape recovery behavior was characterized and monitored by the evolution change in electrical resistance of patterned Au electrode. Both electrical actuation and temperature distribution in the SMP have been improved by optimizing the Au electrode patterns. The electrically actuated shape recovery behavior and temperature evolution during the actuation were monitored and characterized. The resistance changes could be used to detect beginning/finishing points of the shape recovery. Therefore, the Au electrode not only significantly enhances the electrical actuation performance to achieve a fast electrical actuation, but also enables the resistance signal to detect the free recovery process.     

Mathematical representation of radiality constraint in distribution system reconfiguration problem

Distribution systems are most commonly operated in a radial configuration for a number of reasons. In order to impose radiality constraint in the optimal network reconfiguration problem, an efficient algorithm is introduced in this paper based on graph theory. The paper shows that the normally followed methods of imposing radiality constraint within a mixed-integer programming formulation of the reconfiguration problem may not be sufficient. The minimum-loss network reconfiguration problem is formulated using different ways to impose radiality constraint. It is shown, through simulations, that the formulated problem using the proposed method for representing radiality constraint can be solved more efficiently, as opposed to the previously proposed formulations. This results in up to 30% reduction in CPU time for the test systems used in this study.     

Electrochemically deposited Fe2O3 nanorods on carbon nanofibers for free-standing anodes of lithium-ion batteries

Fe₂O₃ nanorod/carbon nanofiber (CNF) composites were prepared by the electrochemical deposition of Fe₂O₃ on a web of CNFs, which was then used as a free-standing anode. The conductive, three-dimensional structure of the CNF web allowed for the electrodeposition of the Fe₂O₃ nanorods, while its high conductivity made it possible to use the composite as a free-standing electrode in lithium-ion batteries. In addition, it was easy and cheap to fabricate by a simplification of a process of cell preparation. The nanorod-like Fe₂O₃ structures could only be electrodeposited on the CNFs; flake-like Fe₂O₃ was formed on flat conductive glass substrates. It can be attributed to the different growth mechanism of Fe₂O₃ on the CNFs because of the large number of reaction sites on the CNFs, differences in the precursor concentration and diffusivity within the CNF web. The formation of aggregates of the Fe₂O₃ particles on thicker CNFs also indicated that the CNFs had determined the Fe₂O₃ growth mechanism. The synthesised Fe₂O₃/CNF composite electrode exhibited stable rate capacities at different current densities. This suggested that CNF-based composite did not exhibit the intrinsic disadvantages of Fe₂O₃. Finally, carbon coatings were deposited on the Fe₂O₃/CNF composites to further improve their electronic conductivity and rate capability.     

A novel combination of precursor pyrolysis assisted sintering and rapid sintering for construction of multi-composition coatings to improve ablation resistance of SiOC ceramic modified carbon fiber needled felt preform composites

A double-layer coating composed of MoSi₂–SiO₂–SiC/ZrB₂–MoSi₂–SiC was designed and successfully constructed by a novel combination of precursor pyrolysis assisted sintering and rapid sintering to improve the ablation resistance of SiOC ceramic modified carbon fiber needled felt preform composites (CSs). The ZrB₂–MoSi₂–SiC inner layer coating was in relatively uniform distribution in the zone of 0–3 mm from the surface of CSs through the slurry/precursor infiltration in vacuum and SiOC precursor pyrolysis assisted sintering, which played a predominant role in improving oxidation and ablation resistance and maintaining the morphology of CSs. The MoSi₂–SiO₂–SiC outer layer coating was prepared by the spray and rapid sintering to further protect CSs from high-temperature oxidation. The ablation resistance of CSs coated with double-layer coating was evaluated by an oxygen-acetylene ablation test under the temperature of 1600–1800 °C with different ablation time of 1000 and 1500 s. The results revealed that the mass recession rates increased with the rise of ablation temperature and extension of ablation time, ranging from 0.47 g/(m²·s) to 0.98 g/(m²·s) at 1600–1800 °C for 1000 s and from 0.72 g/(m²·s) to 0.86 g/(m²·s) for 1000–1500 s at 1700 °C, while the linear recession rates showed negative values at 1700 °C due to the formation of oxides, such as SiO₂ and ZrO₂. The ablation mechanism of the double-layer coating was analyzed and found that a SiO₂–ZrO₂–Mo_4.8Si₃C_0.6 oxidation protection barrier would be formed during the ablation process to prevent the oxygen diffusion into the interior CSs, and this study provided a novel and effective way to fabricate high-temperature oxidation protective and ablation resistant coating.     

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.     

Effect of H2O2 concentration on electrochemical growth and properties of vertically oriented ZnO nanorods electrodeposited from chloride solutions

In this work, ZnO nanostructures are electrodeposited on a transparent conducting glass from chloride baths. The influence of H₂O₂ concentration on the electrochemical characteristics has been studied using cyclic voltammetry (CV) and chronoamperometry (CA) techniques. From the analysis of the current transients on the basis of the Scharifker–Hills model, it is found that nucleation mechanism is progressive with a typical three-dimensional (3D) nucleation and growth process; independently with the concentration of H₂O₂. However, the nucleation rate of the ZnO changes with the increase of H₂O₂ concentration. The Mott–Schottky measurements demonstrate an n-type semiconductor character for all samples with a carrier density varying between 5.14×10¹⁸ cm⁻³ and 1.47×10¹⁸ cm⁻³. Scanning electron microscopy (SEM) observations show arrays of vertically aligned ZnO nanorods (NRs) with good homogeneity. The X-ray diffraction (XRD) patterns show that the ZnO deposited crystallises according to a hexagonal Würtzite-type structure and with the c-axis perpendicular to the electrode surface. The directional growth along (002) crystallographic plane is very important for deposits obtained at 5 and 7 mM of H₂O₂. The high optical properties of the ZnO NRs with a low density of deep defects was checked by UV–vis transmittance analyses, the band gap energy of films varies between 3.23 and 3.31 eV with transparency around 80–90%.