Ionic liquid–polymer gel electrolytes based on morpholinium salt and PVdF(HFP) copolymer

New ionic liquid–polymer gel electrolytes (IPGEs) are prepared from N-ethyl-N-methylmorpholinium bis(trifluoromethanesulfonyl)imide (Mor_1,2TFSI) and poly(vinylidene fluoride)-hexafluoropropylene copolymer (PVdF(HFP)). To investigate the effect of propylene carbonate (PC) on the ionic conductivity of the IPGEs, the preparation methods are roughly divided into two groups according to the presence or absence of PC. The ionic conductivity for each IPGE is measured with increasing temperature and changing weight ratio of Mor_1,2TFSI. The results show that the ionic conductivity increases as the temperature and weight ratio of the Mor_1,2TFSI increase, and that the added PC improves the ionic conductivity of the IPGEs. In addition, thermogravimetric analysis and the data from infrared spectroscopy demonstrate the thermal stability of each IPGE and the presence of PC in the polymer network. Although the IPGEs that contain PC display high conductivity (∼1.1 × 10⁻² S cm⁻¹) at 60 °C, they are thermally unstable.     

The equivalence of deterministic gsm replications onQ-rational languages is decidable

It is shown that two deterministic gsm replications ₁ and ₂ are equivalent on the supportL of aQ-rational formal power series if and only if ₁ (w) = ₂ (w) for allw inL such that the length ofw does not exceed a certain bound which depends only on the numbers of states in the deterministic gsm's involved and on the size of the matrix system acceptingL. Application of this result to the deterministic gsm equivalence problem improves known bounds. Finally, sufficient conditions for an arbitrary family of languages to have a decidable deterministic gsm replication equivalence problem are presented.     

Painless improvements to the review process

Although the review process is defined in an extremely formal way, each company normally has its own way of tailoring it, because staff tend to see formal reviews as too heavy a method for practical software development. These tailored versions differ in type and in the grade of formality. This paper introduces some easy ways to improve the review process. The goal is to find steps which are simple enough for the management and staff to accept and efficient enough to improve the review process.     

On the system of word equations x i 1 x i 2…x i m=y i 1 y i 2…y i n (i=1, 2, …) in a free monoid

 It is proved that the system of word equations x ⁱ ₁=y ⁱ ₁ y ⁱ ₂…y ⁱ _n , i=1, 2,…, ⌈n/2⌉ +1, has only cyclic solutions. Some sharpenings concerning the cases n=5, 7 and n≥9 are derived as well as results concerning the general system of equations x ⁱ ₁ x ⁱ ₂…x ⁱ _m =y ⁱ ₁ y ⁱ ₂…y ⁱ _n , i=1, 2,… . Applications to test sets of certain bounded languages are considered. Received: 18 May 1995/2 January 1996     

人脸亲子关系验证研究综述EI北大核心CSCD

人脸亲子关系验证即通过给定的不同人的两幅人脸图像判断其是否具有亲子关系,是计算机视觉和机器学习领域中一个重要的研究问题,在丢失儿童寻找、社会媒体分析、图像自动标注等领域具有广泛的应用价值.随着人脸亲子关系验证问题受到越来越多的关注,其在多个方面都得到了相应的发展,本文对人脸亲子关系验证方法做了综述整理.首先,简要介绍了人脸亲子关系验证在近十年的研究现状,随后对问题进行了定义并讨论其面临的挑战.接下来,汇总了常用的亲子数据库,对数据库属性做了详细的总结和对比.然后,对人脸亲子关系验证方法进行了分类总结、对比,以及不同方法的性能表现.最后,展望了人脸亲子关系验证今后可能的研究方向.     

A micropower analog-digital heart rate detector chip

A micropower detector chip integrated with CMOS technology has been developed for a hand-held heart rate monitoring instrument mainly used by professional athletes and others who exercise seriously to increase their endurance and overall performance. The chip uses linear bandpass filtering and threshold detection and is implemented with analog switched-capacitor (SC) and digital techniques. The bandpass filter transfer function is derived from the spectral contents of noisy ECG signals. The layout was designed in full custom style in order to minimize the silicon area. The chip achieves a detection rate of 90% with a simulated ECG signal corrupted with Gaussian noise (signal-to-noise ratio = 5) in the heart rate range 60-200 1/min with a total current consumption of less than 30µA from a 3-V supply. The detection rate is 96.9% for a noisy signal obtained from the MIT-BIH arrhythmia database.     

Side chain effect on photovoltaic properties of dibenzo[a,c]phenazine based donor–acceptor polymers

The electron–donor polymers containing dibenzo[a,c]phenazine (BPz) derivatives with 2,7-alkyl and 11,12-alkoxy substituted, PBDT-BPzC and PBDT-OBPz, respectively, were synthesized to investigate the photovoltaic effect of different side chain substitutions. The polymers exhibit similar physical properties, except the HOMO and LUMO of PBDT-BPzC are 0.18 and 0.15 eV deeper than PBDT-OBPz, resulting in the V_oc of polymer solar cells (PSCs) based on PBDT-BPzC are above 0.1 V higher than that of PBDT-OBPz. With the contribution of the superior V_oc, polymer PBDT-BPzC showed preferable photovoltaic performances, and the PCE reached 4.44%, which is 0.49% higher than PBDT-OBPz. This research reveals a preferred side chain substituted way to modify BPz unit, and gives an optimally developing the dibenzo[a,c]phenazine derivatives based electron–donor polymers.     

Correction to: Embrittlement Analysis of Σ5[210]/(-1-20) FeAl Grain Boundary in Presence of Defects: An Ab Initio Study

Metallurgical and Materials Transactions A -