疫情下电磁场理论课程的网络教学

本文主要总结了新冠疫情期间作者的电磁场理论课程在线教学经验。对比分析了录播和直播的优缺点后,选择录播教学方式。基于超星网络教学平台,展示了录播网络教学的具体措施,包括网上答疑和学习效果检查以及在线批改作业等。给出了网络教学可以为线下教学继续使用的方法和手段,为疫情结束后的正常教学提供了新的网络教学补充措施。     

印刷电路板缺陷检测的实际应用

电路板在我们的日常生活中非常常见,这就使得印刷电路板的缺陷检测显得尤为重要。AOI作为新兴的检测PCB板缺陷的系统,在生产实际中正在被大家熟知并且应用。相较于传统的检测方式,AOI系统比较灵活,无论是在检测时间还是系统运算上,或者是对相关技术人员的要求相较于传统方式都比较有优势,本文就AOI系统在实际中的应用展开讨论,分析并且介绍了在实际应用中的具体细则。     

裸眼井中扩张式封隔器力学行为研究

封隔器在石油天然气开采中起着非常重要的作用,而扩张式封隔器在裸眼井中广泛应用。本文采用有限元软件建立了裸眼封隔器与地层的模型,对胶筒在坐封过程中与井壁接触应力的变化进行了研究,并研究了在不同摩擦系数下接触压力的变化,结果表明,建立粗糙井壁面能够更加符合实际情况,胶筒肩部为应力集中的区域,地层与胶筒的接触应力会随着摩擦系数的增加而减小。研究结果为裸眼扩张式封隔器的设计和改进提供了理论依据。     

FibVID: Comprehensive fake news diffusion dataset during the COVID-19 period

As the SARS-CoV-2 (COVID-19) pandemic has run rampant worldwide, the dissemination of misinformation has sown confusion on a global scale. Thus, understanding the propagation of fake news and implementing countermeasures has become exceedingly important to the well-being of society. To assist this cause, we produce a valuable dataset called FibVID (Fake news information-broadcasting dataset of COVID-19), which addresses COVID-19 and non-COVID news from three key angles. First, we provide truth and falsehood (T/F) indicators of news items, as labeled and validated by several fact-checking platforms (e.g., Snopes and Politifact). Second, we collect spurious-claim-related tweets and retweets from Twitter, one of the world’s largest social networks. Third, we provide basic user information, including the terms and characteristics of “heavy fake news” user to present a better understanding of T/F claims in consideration of COVID-19. FibVID provides several significant contributions. It helps to uncover propagation patterns of news items and themes related to identifying their authenticity. It further helps catalog and identify the traits of users who engage in fake news diffusion. We also provide suggestions for future applications of FibVID with a few exploratory analyses to examine the effectiveness of the approaches used.     

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.     

Model repair — aligning process models to reality

Process mining techniques relate observed behavior (i.e., event logs) to modeled behavior (e.g., a BPMN model or a Petri net). Process models can be discovered from event logs and conformance checking techniques can be used to detect and diagnose differences between observed and modeled behavior. Existing process mining techniques can only uncover these differences, but the actual repair of the model is left to the user and is not supported. In this paper we investigate the problem of repairing a process model w.r.t. a log such that the resulting model can replay the log (i.e., conforms to it) and is as similar as possible to the original model. To solve the problem, we use an existing conformance checker that aligns the runs of the given process model to the traces in the log. Based on this information, we decompose the log into several sublogs of non-fitting subtraces. For each sublog, either a loop is discovered that can replay the sublog or a subprocess is derived that is then added to the original model at the appropriate location. The approach is implemented in the process mining toolkit ProM and has been validated on logs and models from several Dutch municipalities.     

Evaluation of bismuth doped La2-xBixNiO4+δ (x = 0, 0.02 and 0.04) as cathode materials for solid oxide fuel cells

Bismuth doped La_2-xBi_xNiO_4+δ (x = 0, 0.02 and 0.04) oxides are investigated as SOFC cathodes. The effects of Bi doping on the phase structure, thermal expansion, electrical conduction behavior as well as electrochemical performance are studied. All the samples exist as a tetragonal Ruddlesden-Popper structure. Bi-doped LBNO-0.02 and LBNO-0.04 have good chemical and thermal compatibility with LSGM electrolyte. The average TEC over 20–900°С was 13.4 × 10^?6 and 14.2 × 10^?6 K^?1 for LBNO-0.02 and LBNO-0.04, respectively. The electrical conductivity was decreasing with the rise of Bi doping content. EIS measurement indicates Bi doping can decrease the ASR values. At 750 °C, the obtained ASR for LBNO-0.04 is 0.18 Ωcm², which is 56% lower than that of the sample without Bi doping, suggesting Bi doping is beneficial to the electrochemical catalytic activity of LBNO cathodes.     

Novel electrospun polymer electrolytes incorporated with Keggin‐type hetero polyoxometalate fillers as solvent‐free electrolytes for lithium ion batteries

In this study, solvent‐free nanofibrous electrolytes were fabricated through an electrospinning method. Polyethylene oxide (PEO), lithium perchlorate and ethylene carbonate were used as polymer matrix, salt and plasticizer respectively in the electrolyte structures. Keggin‐type hetero polyoxometalate (Cu‐POM@Ru‐rGO, Ni‐POM@Ru‐rGO and Co‐POM@Ru‐rGO (POM, polyoxometalate; rGO, reduced graphene oxide)) nanoparticles were synthesized and inserted into the PEO‐based nanofibrous electrolytes. TEM and SEM analyses were carried out for further evaluation of the synthesized filler structures and the electrospun nanofibre morphologies. The fractions of free ions and crystalline phases of the as‐spun electrolytes were estimated by obtaining Fourier transform infrared and XRD spectra, respectively. The results showed a significant improvement in the ionic conductivity of the nanofibrous electrolytes by increasing filler concentrations. The highest ionic conductivity of 0.28 mS cm^?1 was obtained by the introduction of 0.49 wt% Co‐POM@Ru‐rGO into the electrospun electrolyte at ambient temperature. Compared with solution‐cast polymeric electrolytes, the electrospun electrolytes present superior ionic conductivity. Moreover, the cycle stability of the as‐spun electrolytes was clearly improved by the addition of fillers. Furthermore, the mechanical strength was enhanced with the insertion of 0.07 wt% fillers to the electrospun electrolytes. The results implied that the prepared nanofibres are good candidates as solvent‐free electrolytes for lithium ion batteries. © 2020 Society of Chemical Industry