Ehrenfeucht-Fraïssé games in finite set theory

In this article, with Ehrenfeucht-Fraïssé games we prove that Δ₁≠Δ₀ on BFR, which implies Δ≠Δ₀ on BFR, and thus solve an open problem raised by Albert Atserias in his dissertation (Δ₀,Δ₁,Δ are fragments of first order logic and BFR is a class of finite sets which in essence is equivalent to a class of finite pure arithmetic structures with built-in BIT predicate).     

Learning in an Ambient Intelligent World: Enabling Technologies and Practices

The rapid evolution of information and communication technology opens a wide spectrum of opportunities to change our surroundings into an Ambient Intelligent (AmI) world. AmI is a vision of future information society, where people are surrounded by a digital environment that is sensitive to their needs, personalized to their requirements, anticipatory of their behavior, and responsive to their presence. It emphasizes on greater user friendliness, user empowerment, and more effective service support, with an aim to bring information and communication technology to everyone, every home, every business, and every school, thus improving the quality of human life. AmI unprecedentedly enhances learning experiences by endowing the users with the opportunities of learning in context, a breakthrough from the traditional education settings. In this survey paper, we examine some major characteristics of an AmI learning environment. To deliver a feasible and effective solution to ambient learning, we overview a few latest developed enabling technologies in context awareness and interactive learning. Associated practices are meanwhile reported. We also describe our experience in designing and implementing a smart class prototype, which allows teachers to simultaneously instruct both local and remote students in a context-aware and natural way.     

Minimizing Energy Barrier in Intermediate Connection Layer for Monolithic Tandem WPeLEDs with Wide Color Gamut

Perovskite light-emitting diodes (PeLEDs) show promising prospects in the wide color gamut display owing to their ultra-narrow full width at half maximum (FWHM). However, up to now, all perovskite white LEDs integrated by standard red, green, and blue perovskite emitters, namely, monolithic white PeLEDs (WPeLEDs), have been rarely reported, owing to facing some issues, e.g., solvent incompatibility in solution technique, ion exchange, and energy transfer between different emission centers. Herein, centered on these issues, an optimal intermediate connection layer (ICL) of Po-T2T/LiF/Ag/HAT-CN/MoO₃ is adopted to successfully develop monolithic tandem multicolor PeLEDs and WPeLEDs for the first time. The multicolor PeLEDs can achieve the best external quantum efficiency of 1.8% and the highest luminance of 4844 cd m⁻². Besides, the red/green/blue (R/G/B) monolithic tandem WPeLED shows a standard white International Commission on Illumination coordinate of (0.33, 0.33) and achieves an extremely wide color gamut reaching  National Television Standards Committee of 130%. This study is the first to realize the standard R/G/B co-electroluminescence in a monolithic perovskite device and offers a feasible strategy for developing wide-color gamut perovskite displays.     

A quantized set-membership estimation-based heading control method of unmanned surface vessels under unknown-but-bounded wave-induced disturbances

This paper is concerned with the heading tracking control problem for a network-based unmanned surface vessel (USV) under wave-induced disturbances. Considering the characteristics of the wave-induced disturbances, the unknown-but-bounded (UBB) noise model is adopted. Meanwhile, signal quantization is taken into account due to the limited capacity of the communication channel. Based on these considerations, a novel set-membership based control scheme is proposed, which consists of a set-membership filter (SMF) and a set-membership controller (SMC). In the proposed control scheme, the SMF is designed for providing an ellipsoidal estimation set for the USV at each sampling step, and then the SMC uses the estimation set for producing control input for the USV in order to track the reference. Sufficient conditions are derived for the considered USV system to be asymptotically stable and satisfy the modified set-membership performance constraint. Simulation results verifies the effectiveness of the proposed control scheme.     

Prediction of NSCLC recurrence from microarray data with GEP

Lung cancer is one of the deadliest diseases in the world. Non‐small cell lung cancer (NSCLC) is the most common and dangerous type of lung cancer. Despite the fact that NSCLC is preventable and curable for some cases if diagnosed at early stages, the vast majority of patients are diagnosed very late. Furthermore, NSCLC usually recurs sometime after treatment. Therefore, it is of paramount importance to predict NSCLC recurrence, so that specific and suitable treatments can be sought. Nonetheless, conventional methods of predicting cancer recurrence rely solely on histopathology data and predictions are not reliable in many cases. The microarray gene expression (GE) technology provides a promising and reliable way to predict NSCLC recurrence by analysing the GE of sample cells. This study proposes a new model from GE programming to use microarray datasets for NSCLC recurrence prediction. To this end, the authors also propose a hybrid method to rank and select relevant prognostic genes that are related to NSCLC recurrence prediction. The proposed model was evaluated on real NSCLC microarray datasets and compared with other representational models. The results demonstrated the effectiveness of the proposed model.Inspec keywords: lung, cancer, lab‐on‐a‐chip, genetics, patient diagnosisOther keywords: NSCLC recurrence prediction, microarray data, GE programming, nonsmall cell lung cancer, cancer recurrence, histopathology data, microarray gene expression, prognostic genes     

The interlaminar shear failure characteristics of asphalt pavement coupled heating cables

Nowadays, heating cables are used as heat sources for heating pavements in practical engineering. However, there is a contradiction between the snow melting function and the interlaminar stability of heating pavement. In order to solve the contradiction, the interlaminar failure behavior of asphalt mixture coupled heating cables specimen (AMCS) was researched, through experiments and the finite element method. Under the different conditions of heating cables and rolling times, a series of direct shear tests was performed at the interface of AMCS, to compare the interlaminar stability of three different AMCS. Meanwhile, based on the bilinear cohesive zone model and coulomb friction model a 2D finite element model was established, to simulate this shear failure processes and make up for the limitations of the experiment. According to above test and simulation results, the failure mechanism and the weakest interface in AMCS were found, and the influence of the heating cable’s diameter and embedded spacing on the interlaminar shear strength were found. Then, a modified coulomb theorem model was proposed to predict the shear strength of the AMCS. This research enriches the design theory of the heating pavement and it has great significance for its structural design of heating asphalt pavement.     

Aggregation-induced emission luminogen-assisted stimulated emission depletion nanoscopy for super-resolution mitochondrial visualization in live cells

Nano Research - Aggregation-induced emission luminogens (AIEgens) are fluorescent agents that are ideal for bioimaging and have been widely used for organelle targeting, cellular mapping, and...     

A review on mechanisms and recent developments of nanomaterials based carbon fiber reinforced composites for enhanced interface performance

Carbon fiber reinforced composites have attracted lots of attention in many fields. However, on account of the poor infiltration of resin to carbon fiber, the weak interface performance between fiber and resin has been restricting the interface properties of composites. In recent progress, the review attaches more importance to the introduction of the third phase monomer, which mainly uses physical and chemical methods to assemble nanomaterials (such as carbon nanotubes, graphene, etc.) on the carbon fiber surface to modify the interface structure of the carbon fiber reinforced composites, and all of them have been demonstrated in this paper. Furthermore, the effects of introducing nanomaterials on the structure of the fiber/resin interface and the relationship between multi-scale interface structure and properties have been investigated. It can be seen that the design idea of researchers mainly uses one or more theories to improve the interface properties of carbon fiber reinforced composites, such as transition layer, chemical bonding, mechanical interlocking, infiltration, diffusion, and adsorption. In brief, this work provides some novel insights for the preparation of carbon fiber reinforced composites with excellent interlaminar shear strength.     

影响结晶化玻璃板材质量因素的分析

研究了烧结法生产结晶化玻璃装饰板材中的气孔、翘板及炸裂产生的原因以及解决的方法。     

One-step two-wavelength holography

One-step two-wavelength holography is obtained with twointerferometric beams with different wavelengths by means of apolarizing modulation produced by a liquid-crystal lightvalve. This holographic method eliminates the need for preliminarystatic recording of the hologram and permits one-step two-wavelengthholographic testing to produce results easily in real time.