Test frame updating in CPM testing of Prolog programs

Category Partition Method (CPM) is a general approach to specification-based program testing, where test frame reduction and refinement are two important issues. Test frame reduction is necessary since too many test frames may be produced, and test frame refinement is important since during CPM testing new information about test frame generation may be achieved and considered incrementally. Besides the information provided by testers or users, implementation related knowledge offers alternative information for reducing and refining CPM test frames. This paper explores the idea by proposing a call patterns semantics based test frame updating method for Prolog programs, in which a call patterns analysis is used to collect information about the way in which procedures are used in a program. The updated test frames will be represented as constraints. The effect of our test frame updating is two-fold. On one hand, it removes “uncared” data from the original set of test frames; on the other hand, it refines the test frames to which we should pay more attention. The first effect makes the input domain on which a procedure must be tested a subset of the procedure’s input domain, and the latter makes testers stand more chance to find out the faults that are more likely to show their presence in the use of the program under consideration. Our test frame updating method preserves the effectiveness of CPM testing with respect to the detection of faults we care. The test case generation from the updated set of test frames is also discussed. In order to show the applicability of our method an approximation call patterns semantics is proposed, and the test frame updating on the semantics is illustrated by an example.

压缩应力下（Tb,Dy）Fe2磁致伸缩的研究

本文利用自制的磁致伸缩测量仪和“ｊｕｍｐ”效应测量仪研究了在一定压强了多晶（Ｔｂ、Ｄｙ）Ｆｅ２棒的磁致伸缩,发现加压时,在一定工艺条件下制作的（Ｔｂ、Ｄｙ）Ｆｅ２棒会有磁致伸缩的变化。卸载后经过热处理,磁致伸缩值在不加压时也会维持一个高值。     

Transport of the dicyanogold(i) anion

We have shown that dicyanogold(I), [Au(CN)(2)](-) is a common metabolite found in blood and urine samples of patients treated with different gold based drugs. Some patients have high levels of gold within their red blood cells (RBCs). Size exclusion and C18 reversed phase chromatography show that the majority of the gold in RBC lysates is bound to protein, but small molecules such as dicyanogold(I) and gold-glutathione complexes are also present. Dicyanogold incubation with red blood cells in vitro leads to a rapid and complete uptake of gold. This uptake is unaffected by DIDS, an inhibitor of the anion channel, but is blocked by the addition of external cyanide. Dicyanogold is also readily taken up by H9 cells, a continuous CD(4+) cell line. This uptake is significantly inhibited by N-ethylmaleimide, suggesting a requirement for sulfhydryl groups. Dicyanogold inhibits the replication of the AIDS virus, HIV, in a cell culture model.     

Tunable dispersion compensation by an angular conserved grating-pair system

To our knowledge the concept of an angular conserved grating-pair dispersion compensation system is proposed for the first time, and furthermore a model of such a system is developed and applied to the study of two- and three-lens special cases. A set of easy-to-use dispersion compensation formulas based on geometric optics has been derived and confirmed by our experimental results. Tunability and a compensation ratio as high as 27,600 have been achieved with two- and three-lens systems, respectively.     

Microwatt shot-noise measurement

We report a simple scheme for sensitive measurements of optical-noise spectra. Optical noise is separated from electronic noise when the output of an analog spectrum analyzer is real-time squared and then lock-in detected. This method directly yields the desired mean-square noise voltage, i.e., the power spectrum of the optical noise on a linear scale. To demonstrate this technique, the mean-square shot noise of a laser beam is measured and found to vary linearly with the laser power from several milliwatts down to one microwatt, in excellent quantitative agreement with predictions.     

Amine Coordinated Electron-Rich Palladium Nanoparticles for Electrochemical Hydrogenation of Benzaldehyde

Electrocatalytic hydrogenation (ECH) is a burgeoning strategy for the sustainable utilization of hydrogen. However, how to effectively suppress the competitive hydrogen evolution reaction (HER) is a big challenge to ECH catalysis. In this study, amine (NH₂ R)-coordinated Pd nanoparticles loaded on carbon felt (Pd@CF) as a catalyst is successfully synthesized by a one-step solvothermal reduction method using oleylamine as the reducing agent. An exceptional ECH reactivity on benzaldehyde is achieved on the optimal Pd@CF catalyst in terms of a high conversion (89.7%) and selectivity toward benzyl alcohol (89.8%) at −0.4 V in 60 min. Notably, the Faradaic efficiency for producing benzyl alcohol is up to 90.2%, much higher than that catalyzed by Pd@CF-without N-group (41.1%) and thecommercial Pd/C (20.9%). The excellent ECH performance of Pd@CF can be attributed to the enriched electrons on Pd surface resulted from the introduction of NH₂ R groups, which strengthens both the adsorption of benzaldehyde and the adsorbed hydrogen (H_ads) on Pd, preventing the combination of H_ads to form H₂, that is, inhibiting the HER. This study gives a new insight into design principles of highly efficient electrocatalysts for the hydrogenation of unsaturated aldehydes molecules.     

In Situ Polymerizing Internal Encapsulation Strategy Enables Stable Perovskite Solar Cells toward Lead Leakage Suppression

Despite the outstanding power conversion efficiency (PCE) of perovskite solar cells (PSCs) achieved over the years, unsatisfactory stability and lead toxicity remain obstacles that limit their competitiveness and large-scale practical deployment. In this study, in situ polymerizing internal encapsulation (IPIE) is developed as a holistic approach to overcome these challenges. The uniform polymer internal package layer constructed by thermally triggered cross-linkable monomers not only solidifies the ionic perovskite crystalline by strong electron-withdrawing/donating chemical sites, but also acts as a water penetration and ion migration barrier to prolong shelf life under harsh environments. The optimized MAPbI₃ and FAPbI₃ devices with IPIE treatment yield impressive efficiencies of 22.29% and 24.12%, respectively, accompanied by remarkably enhanced environmental and mechanical stabilities. In addition, toxic water-soluble lead leakage is minimized by the synergetic effect of the physical encapsulation wall and chemical chelation conferred by the IPIE. Hence, this strategy provides a feasible route for preparing efficient, stable, and eco-friendly PSCs.     

Aperture-Adjustable and Repairable Metal-Based MOFs Catalysis Membrane for Water Purification

Precise adjustment of the pore size, damage repair, and efficient cleaning is all challenges for the wider application of inorganic membranes. This study reports a simple strategy of combining dry-wet spinning and electrosynthesis to fabricate stainless-steel metal–organic framework composite membranes characterized by customizable pore sizes, targeted reparability, and high catalytic activity for membrane cleaning. The membrane pore size can be precisely customized in the range of 14–212 nm at nanoscale, and damaged membranes can be repaired by targeted treatment in 120 s. In addition, advanced oxidation processes can be used to quickly clean the membrane and achieve 98% flux recovery. The synergistic actions of the membrane matrix and the selective layer increase the adsorption energy of active sites to oxidant, shorten the electron transfer cycle, and enhance the overall catalytic performance. This study can provide a new direction for the development of advanced membranes for water purification and high-efficiency membrane cleaning methods.     

CDZoom: a human-like sequential zoom agent for efficient change detection in large scenes

Neural Computing and Applications - High-resolution (HR) remote sensing images provide rich information for human activities. However, processing entire HR images is time-consuming, and many...     

Robust semi-supervised discriminant embedding method with soft label in kernel space

Neural Computing and Applications - Considering some problems of local linear embedding methods in semi-supervised scenarios, a robust scheme for generating soft labels is designed and a...