Charge source and the charging mechanism of the contact electrification of polymer powder

The charge sources, as well as the charging mechanism of the contact electrification (CE) of polymers, are still debatable. Since CE is accompanied by destruction, it is considered that “hard contacting” via ball milling can induce covalent bond scission and produce naked-activated-charge sources. Regarding “soft contacting” via nano-scale sliding, which does not induce covalent bond scission, a frontier-electron, “f-electron,” of the naked-activated-charge source is crucial to electron transfer among the naked-activated-charge sources. Here, we configure naked-activated-charge-source models, naked-activated-mechano-anion, and naked-activated-mechano-cation, which are produced by mechanical energy induced heterogeneous covalent bond scission, as well as naked-activated-mechano-radicals that are produced by homogeneous covalent bond scission. Regarding “soft contacting” among naked-activated-charge sources in a vacuum, f-electron can be transferred from a donor to an acceptor if the energy level of the donor is higher than that of the acceptor. The net amount of the normalized transferred-f-electrons is obtained by adopting settings in which the average energy level of the naked-activated-charge sources (as the donors) is higher than that of the sources employed as acceptors. Thus, the surfaces comprising the donors and acceptors will exhibit positive and negative net surface charges, respectively. We conclude that net surface charges depend on the average energy level of naked-activated-charge sources. Further, we observe that the alignment of polyethylene (PE)-polyvinyl chloride (PVC)-polytetrafluoroethylene (PTFE) to the average energy level is identical to that of the triboelectric series.     

基于声源定位的高校在线巡课系统设计与研究

随着网络建设以及信息化教学方法在高校教学过程中的应用普及,越来越多的高校使用在线巡课系统对教师的教学过程进行跟踪和管理,以便发现课堂教学中的亮点、问题和不足。文章提出的在线巡课系统,基于声源定位的技术,对传统的在线巡课系统做出了改进,解决了已有巡课系统中“只闻其声,不见其人”的问题,能够更直观地跟踪到教师的教学过程,包括教学行为以及师生互动过程,有效提升教务人员巡课效果和体验感受。     

压水堆核电厂堆外源量程探测器计数率分析

压水堆核电厂启动过程中，次级中子源为堆外源量程探测器提供本底计数率，避免测量盲区，确保反应堆安全启动。但次级中子源的引入会为核电厂带来较大的经济和环境负担，同时也需承受次级中子源破损等带来的风险。为此，可使用受辐照燃料组件的自发裂变中子源进行替代，即无源启动方式。通过研究堆外源量程探测器计数率的理论计算方法，并基于运行电厂测量数据进行分析验证，为源量程探测器计数率的理论预估提供了较为完善的理论方法流程。本文结果可为无源启动源量程探测器计数率分析提供支持，同时也可用于次级中子源装载量或布置位置的优化分析等。     

Inverse identification of constitutive parameters from heat source fields: A local approach applied to hyperelasticity

In this paper, a new inverse identification method of constitutive parameters is developed from full kinematic and thermal field measurements. It consists in reconstructing the heat source field from two different approaches by using the heat diffusion equation. The first one requires the temperature field measurement and the value of the thermophysical parameters. The second one is based on the kinematic field measurement and the choice of a thermo-hyperelastic model that contains the parameters to be identified. The identification is carried out at the local scale, ie, at any point of the heat source field, without using the boundary conditions. In the present work, the method is applied to the challenging case of hyperelasticity from a heterogeneous test. Due to large deformations undergone by the rubber specimen tested, a motion compensation technique is developed to plot the kinematic and the thermal fields at the same points before reconstructing the heterogeneous heat source field. In the present case, the constitutive parameter of the Neo-Hookean model has been identified, and its distribution has been characterized with respect to the strain state at the surface of a cross-shaped specimen.     

Resistance reduction effect of potassium bismuth titanate doping in yttrium–manganese co-doped medium Curie temperature barium titanate lead free ceramics through improved synthesis process

Through improved synthesis process, resistance reduction effect of (K_0.5Bi_0.5)TiO₃ (KBT) doping in Y–Mn co-doped BaTiO₃ (BT) lead free ceramics was investigated. By different doping methods (doping K₂O, Bi₂O₃ and TiO₂ or synthesized KBT), medium Curie temperature (around 130 °C) lead free BT ceramics were obtained with ultra-low resistivity (13.84 Ωcm) with a temperature maintaining process at 700 °C. In this contribution, effect of sintering process and doping methods is discussed in detail.     

综放高瓦斯矿井煤层瓦斯涌出量综合预测

为了成功预测竹林山煤矿综放高瓦斯矿井大采高工作面煤层瓦斯涌出量,以主采3号煤层为主要研究对象,针对3号煤层以往开采情况,通过布设测点测量其煤层瓦斯含量和了解相邻矿井瓦斯含量,采用分源预测法、回归法及统计法等预测方法得到了3号煤层瓦斯含量的分布规律,并绘制了3号煤层的瓦斯含量等值线图。对矿井不同生产时期的瓦斯含量进行预测,得到了生产前期、中期及后期采区的最大绝对瓦斯涌出量和最大相对瓦斯涌出量,说明了竹林山煤矿各个时期均属于高瓦斯矿井。     

嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

新型低GWP高温热泵工质HFO-1234ze(Z)的研究进展

高温热泵可以有效回收工业余热，达到节能减排和保护环境的目的。目前，有关高温热泵技术的研究热点在于寻找一种全球变暖潜能值(GWP)低、使用性能良好的工质，以替代现有CFC-114、HFC-245fa工质。对新型环境友好型工质HFO-1234ze(Z)进行了综述，其GWP＜1，临界温度高于423 K，是一种潜在的高温热泵替代工质。总结了近年来国内外学者对HFO-1234ze(Z)的合成技术、热力学性质、输运性质、传热性能等方面的研究，并分析了HFO-1234ze(Z)在高温热泵系统中应用的可行性，认为HFO-1234ze(Z)在高温热泵中具有较好的工作性能和发展前景。     

Study of planar structure applying reciprocity technique combined with MGEC and analysis of discontinuity

The 3D structure electromagnetic computation presents several difficulties related to the volume mesh. In fact, the entire volume space must be taken into account even the smallest details. In this article, we propose a formulation based on the reciprocity theorem combined with the generalized equivalent circuit method to model a planar 3D structure with both coaxial and planar excitation. The major advantage of this formulation is the fact to reduce the computational volume into 2D ones in the discontinuity plane. In addition, we focused on the calculation of the discontinuity between the excitation source and the planar structure to determine the exact behavior of the electric coaxial excitation model. The obtained current density, electric field distributions, and the input impedance are presented and discussed in the following sections. An approximately good agreement of input impedance with those obtained by the simulator and measurement is shown.     

Modelling of electron energy absorption and backscattering during EBW

A three-dimensional heat flux model for deep-penetrating electron beam welding (EBW) is established to mathematically describe the physical heat generation process during interaction between electrons and the dynamic molten pool free surface. Monte Carlo method is used to determine the electron-target interaction, and random distribution of initial electrons, progressive trajectory tracing and electron backscattering models are used to describe the spatial distribution of electrons absorption. The model is verified in preset keyholes and applied in the simulation on electron beam welding process, and the calculated bead shape shows a good consistency with experimental results.