Static Analysis Techniques for Fixing Software Defects in MPI-Based Parallel Programs

The Message Passing Interface (MPI) is a widely accepted standard for parallel computing on distributed memorysystems.However, MPI implementations can contain defects that impact the reliability and performance of parallelapplications. Detecting and correcting these defects is crucial, yet there is a lack of published models specificallydesigned for correctingMPI defects. To address this, we propose a model for detecting and correcting MPI defects(DC_MPI), which aims to detect and correct defects in various types of MPI communication, including blockingpoint-to-point (BPTP), nonblocking point-to-point (NBPTP), and collective communication (CC). The defectsaddressed by the DC_MPI model include illegal MPI calls, deadlocks (DL), race conditions (RC), and messagemismatches (MM). To assess the effectiveness of the DC_MPI model, we performed experiments on a datasetconsisting of 40 MPI codes. The results indicate that the model achieved a detection rate of 37 out of 40 codes,resulting in an overall detection accuracy of 92.5%. Additionally, the execution duration of the DC_MPI modelranged from 0.81 to 1.36 s. These findings show that the DC_MPI model is useful in detecting and correctingdefects in MPI implementations, thereby enhancing the reliability and performance of parallel applications. TheDC_MPImodel fills an important research gap and provides a valuable tool for improving the quality ofMPI-basedparallel computing systems.

Aerophilic Triphase Interface Tuned by Carbon Dots Driving Durable and Flexible Rechargeable Zn‑Air Batteries

Efficient bifunctional catalysts for oxygen reduction reaction(ORR)and oxygen evolution reaction(OER)are vital for rechargeable Zn-air batteries(ZABs).Herein,an oxygen-respirable sponge-like Co@C–O–Cs catalyst with oxygen-rich active sites was designed and constructed for both ORR and OER by a facile carbon dot-assisted strategy.The aerophilic triphase interface of Co@C–O–Cs cathode efficiently boosts oxygen diffusion and transfer.The theoretical calculations and experimental studies revealed that the Co–C–COC active sites can redistribute the local charge density and lower the reaction energy barrier.The Co@C–O–Cs catalyst displays superior bifunctional catalytic activities with a half-wave potential of 0.82 V for ORR and an ultralow overpotential of 294 mV at 10 mA cm^(−2) for OER.Moreover,it can drive the liquid ZABs with high peak power density(106.4 mW cm^(−2)),specific capacity(720.7 mAh g^(−1)),outstanding long-term cycle stability(over 750 cycles at 10 mA cm^(−2)),and exhibits excellent feasibility in flexible all-solid-state ZABs.These findings provide new insights into the rational design of efficient bifunctional oxygen catalysts in rechargeable metal-air batteries.

An Educational GUI-Based Software for Dynamic Analysis of Framed Structural Models

This paper introduces a new version of the open-source educational software, LESM (Linear Elements Structure Model), developed in MATLAB for structural analysis of one-dimensional models such as frames, trusses, and grillages. The updated program includes dynamic analysis, which incorporates inertial and damping effects, time-dependent load conditions, and a transient solver with multiple time integration schemes. The software assumes small displacements and linear-elastic material behavior. The paper briefly explains the theoretical basis for these developments and the reorganization of the source code using Object-Oriented Programming (OOP). The updated Graphical User Interface (GUI) allows interactive use of dynamic analysis features and displays new results such as animations, envelope diagrams of internal forces, phase portraits, and the response of degrees-of-freedom in time and frequency domain. The new version was used in a structural dynamics course, and new assignments were elaborated to improve students’ understanding of the subject.

多型ROV统一操控技术研究

当前操控设备通常只适用于特定型号ROV,为满足深海空间站搭载多型ROV装备统一操控的需求,在调研国外ROV操控技术发展现状的基础上对多型ROV统一操控技术进行研究,梳理ROV操控标准信息接口,完成ROV操控通用软件的架构设计,并提出设备免驱的ROV操控电气接口,可为ROV通用操控设备的研制提供参考。

虚拟I/O模块在DCS以太网通信接口模块上的实现

为减少硬件模块的重复开发,在保留原DCS软硬件系统架构不变的基础上,在以太网通信接口模块硬件上虚拟不同的I/O模块。虚拟I/O模块与硬点I/O模块具有一致的输入、输出及参数属性,且组态方式和产物格式一致。同一以太网通信模块上可在不同的虚拟I/O槽位上配置不同的虚拟I/O模块,如Modbus TCP虚拟I/O模块和GOOSE虚拟I/O模块,进而在同一硬件实现不同的通信功能。虚拟I/O模块的使用一方面减少了DCS系统硬件模块的种类,简化备品备件,另一方面也提高了通信扩展的灵活性和便利性。

基于Cr-O-C钝化层改变多晶Cu表面能和表层位错的脱模力与脱模精度

Cr-O-C钝化层可以提高精密电铸脱模精度,但Cr-O-C钝化层对基底表面的钝化规律和对表层的影响尚未清楚。利用分子动力学方法,在多晶Cu表面沉积离散的Cr、O和C原子,获得不同比例和数量的Cr-O-C钝化层。计算结果表明,不同比例的Cr、O和C原子均可以大幅降低多晶Cu的表面能;随着原子数量的增加,多晶Cu的表面能呈下降趋势;Cr-O-C钝化层增加了多晶Cu表层的位错密度;新增加的位错以Shockley位错为主;在一定沉积原子数量内,位错密度有极值。在多晶Cu表面电沉积不同密度的Cr、O和C原子,通过接触角测试验证了Cr-O-C钝化层降低多晶Cu表面能的结论。电沉积脱模强度和脱模表面粗糙度结果显示,随着沉积原子数的增加,脱模强度和脱模表面粗糙度均降低。研究结果可为利用离散Cr-O-C界面辅助精密电铸脱模提供一种解释。

Interface electron collaborative migration of Co–Co3O4/carbon dots:Boosting the hydrolytic dehydrogenation of ammonia borane

Ammonia borane(AB)is an excellent candidate for the chemical storage of hydrogen.However,its practical utilization for hydrogen production is hindered by the need for expensive noble-metal-based catalysts.Herein,we report Co-Co3O4 nanoparticles(NPs)facilely deposited on carbon dots(CDs)as a highly efficient,robust,and noble-metal-free catalyst for the hydrolysis of AB.The incorporation of the multiinterfaces between Co,Co3O4 NPs,and CDs endows this hybrid material with excellent catalytic activity(rB=6816 mLH2 min^-1 gCo^-1)exceeding that of previous non-noble-metal NP systems and even that of some noble-metal NP systems.A further mechanistic study suggests that these interfacial interactions can affect the electronic structures of interfacial atoms and provide abundant adsorption sites for AB and water molecules,resulting in a low energy barrier for the activation of reactive molecules and thus substantial improvement of the catalytic rate.

大语言模型驱动的交互式建筑设计新范式——基于Rhino7的概念验证

随着社会对建筑设计质量要求越来越高,建筑设计软件也变得越来越专业和复杂。现在的设计软件不仅学习成本高,而且交互模式复杂。大语言模型(LLM)的最新突破使计算机清晰地理解人类自然语言指令,并准确生成代码语言具有可行性,有望为人与软件的交互范式提供新思路。因此,本文提出了LLM驱动的交互式建筑设计新范式--将设计师通过多次键鼠操作与设计软件交互转变为LLM根据设计师自然语言指令生成并执行API调用脚本的方式;提出了技术路线并验证了其在建筑设计场景落地的可能性。该技术路线包括:①LLM根据用户指令从API库中搜索与任务相关的API;②LLM基于指令和候选API摘要信息编写程序脚本并运行;③LLM根据来自软件环境、用户等反馈改进优化所编写的程序脚本。通过Rhino7设计软件、GPT-4和CodeLlaMa完成多个设计任务,测试当前LLM是否具备执行该技术路线各关键环节的能力。测试结果不仅证明了LLM驱动的交互式设计范式在建筑设计场景已初具落地前景,也为技术落地提供经验和建议。该设计范式的落地可以降低软件的使用门槛和学习成本,提高设计师工作效率;有望在未来的建筑设计软件中发挥重要作用。

Study on Interface between Sub-micron Particles and Matrix in Al_2O_3p/Al Composites

The microstructural characteristic of 1070AI matrix composites reinforced by 0.15 祄 AI2O3 particles whose volume fraction was 40% was investigated by TEM and HREM. The results showed that the interface between the matrix and reinforcements was clean and bonded well, without any interfacial reaction products. There were some preferential crystallographic orientation relationships between Al matrix and AI2O3 particle because of the lattice imperfection on the surface of Al2O3 particles.

城镇生活污水处理厂A^(2)O工艺运行状态的快速判别

为解决现有城镇生活污水处理工艺运行状态判别不全面、不及时的问题,以A^(2)O工艺为例,对运行状态的判别方法进行了系统研究。提出了通过末端污染物监控指标、工艺参数、污水处理设施电耗、污泥排放量、设备运转状态判别工艺运行状态的思路,确定了工艺运行状态的常规和间接判别方法。在此基础上,以工艺运行参数、泥水性状指标、设备运行状态为切入点,分析了正常状态、异常现象、异常原因及故障解决措施的关联,设计了一款可以快速识别、分析故障的软件,为A^(2)O工艺运行状态的快速判别提供了一种可行的途径。

Enhancing catalytic toluene oxidation over MnO2@Co3O4 by constructing a coupled interface

Herein,a bottom-down design is presented to successfully fabricate ZIF-derived Co3O4,grown in situ on a one-dimensional(1D)α-MnO2 material,denoted as α-MnO2@Co3O4.The synergistic effect derived from the coupled interface constructed betweenα-MnO2 and Co3O4 is responsible for the enhanced catalytic activity.The resultantα-MnO2@Co3O4 catalyst exhibits excellent catalytic activity at a T90%(temperature required to achieve a toluene conversion of 90%)of approximately 229℃,which is 47 and 28℃ lower than those of the pureα-MnO2 nanowire and Co3O4-b obtained via pyrolysis of ZIF-67,respectively.This activity is attributed to the increase in the number of surface-adsorbed oxygen species,which accelerate the oxygen mobility and enhance the redox pairs of Mn^4+/Mn^3+ and Co^2+/Co^3+.Moreover,the result of in situ diffuse reflectance infrared Fourier transform spectroscopy suggests that the gaseous oxygen could be more easily activated to adsorbed oxygen species on the surface of α-MnO2@Co3O4 than on that of α-MnO2.The catalytic reaction route of toluene oxidation over theα-MnO2@Co3O4 catalyst is as follows:toluene→benzoate species→alkanes containing oxygen functional group→CO2 and H2O.In addition,the α-MnO2@Co3O4 catalyst shows excellent stability and good water resistance for toluene oxidation.Furthermore,the preparation method can be extended to other 1D MnO2 materials.A new strategy for the development of high-performance catalysts of practical significance is provided.

Usability Experiments to Evaluate UML/SysML-Based Model Driven Software Engineering Notations for Logic Control in Manufacturing Automation

Many industrial companies and researchers are looking for more efficient model driven engineering approaches (MDE) in software engineering of manufacturing automation systems (MS) especially for logic control programming, but are uncertain about the applicability and effort needed to implement those approaches in comparison to classical Programmable Logic Controller?(PLC) programming with IEC 61131-3. The paper summarizes results of usability experiments evaluating UML and SysML as software engineering notations for a MDE applied in the domain of manufacturing systems. Modeling MS needs to cover the domain specific characteristics,?i.e.?hybrid process, real time requirements and communication requirements. In addition the paper presents factors, constraint and practical experience for the development of further usability experiments. The paper gives examples of notational expressiveness and weaknesses of UML and SysML. The appendix delivers detailed master models, representing the correct best suited model, and evaluation schemes of the experiment, which is helpful if setting up own empirical experiments.

THE SiO_(2)H_(2)O INTERFACE AND EFFECTS ON QUARTZ ACTIVATION IN FLOTATION SYSTEM

The correlation between surface complexation at the SiO_(2)H_(2)O interface and quartz notation behavior was studied.Computer assisted calculations,using the programs SOLGASWATER,were adapted in order to con-struct distribution diagrams of surface speciation in the SiO_(2)-metal ion-H^(+) system in aqueous solutions.Equilib-rium constants for both surface and solution reactions were introduced in the composition matrix.Surface complexation,surface charge as well as notation results were compared and a good agreement was obtained.Furthermore,flotation mechanisms of quartz activation by common metal ions like Ca^(2+),Mg^(2+),Fe^(2+) are quantitatively discussed based on the surface reaction equilibrium constants.

The Film-forming Behavior on the Interface between Air and Hydrosol of Fe_2O_3 Nanoparticles

The film forming behavior on the interface between air and hydrosol of Fe2O3 nanoparticles was investigated by the surface pressure-time isotherms, the surface pressure-trough area isotherms, Brewster angle microscopy and transmission electron microscopy. It is found that the freshly prepared hydrosol of Fe2O3 nanoparticles is not stable. The surface pressure increases with the aging time and finally approaches a constant, and the smaller the concentration is, the smaller the surface pressure is stabilized at and the shorter the time the hydrosol reaching stable needs. The surface pressure also increases with compression until collapsed, and the longer the hydrosol is aged, the higher the collapsing pressure is. A uniform and compact film composed of nanoparticles with an average diameter of about 2-3 nm on the air-hydrosol interface is observed by Brewster angle microscope and transmission electron microscope.

Interface states in Al_2O_3/AlGaN/GaN metal-oxide-semiconductor structure by frequency dependent conductance technique

Frequency dependent conductance measurements are implemented to investigate the interface states in Al2O3/A1GaN/GaN metal-oxide-semiconductor （MOS） structures. Two types of device structures, namely, the recessed gate structure （RGS） and the normal gate structure （NGS）, are studied in the experiment. Interface trap parameters includ-ing trap density Dit, trap time constant ιit, and trap state energy ET in both devices have been determined. Furthermore, the obtained results demonstrate that the gate recess process can induce extra traps with shallower energy levels at the Al2O3/AlGaN interface due to the damage on the surface of the AlGaN barrier layer resulting from reactive ion etching （RIE）.

ABAQUS二次开发在O型圈密封组件仿真分析中的应用

基于Python语言对ABAQUS软件前处理和后处理模块进行二次开发,形成O型圈典型密封结构性能仿真评估插件。结果表明,基于该插件可快速进行几何建模、材料赋予、网格划分、边界加载、结果后处理并自动生成Word报告,能帮助快速识别影响密封性能的关键设计参数、验证设计合理性、节约仿真时间,较大程度地提高了仿真效率。

Research of Trap and Electron Density Distributions in the Interface of Polyimide/Al2O3 Nanocomposite Films Based on IDC and SAXS

The distributions of traps and electron density in the interfaces between polyimide （PI） matrix and Al2O3 nanoparticles are researched using the isothermal decay current and the small-angle x-ray scattering （SAXS） tests. According to the electron density distribution for quasi two-phase mixture doped by spherical nanoparticles, the electron densities in the interfaces of PI/Al2O3 nanocomposite films are evaluated. The trap level density and carrier mobility in the interface are studied. The experimental results show that the distribution and the change rate of the electron density in the three layers of interface are different, indicating different trap distributions in the interface layers. There is a maximum trap level density in the second layer, where the maximum trap level density for the nanocomposite film doped by 25 wt% is 1.054 × 10^22 eV·m^-3 at 1.324eV, resulting in the carrier mobility reducing. In addition, both the thickness and the electron density of the nanocomposite film interface increase with the addition of the doped Al2O3 contents. Through the study on the trap level distribution in the interface, it is possible to further analyze the insulation mechanism and to improve the performance of nano-dielectric materials.

西门子分布式I/O系统在矿用电铲上的应用

西门子PLC系统主机架可通过扩展机架和分布式I/O两种方式完成对原PLC系统的扩展。目前电铲常用的扩展机架的方式在实际生产过程中会出现信号线松动和信号不稳定等情况,导致故障率较高。针对当前情况,提出了分布式I/O方案来扩展PLC系统的I/O模块,减少了控制电缆的数量,完成了程序的标准化、模块化、智能化,降低了故障率。

THE TRANSFER BEHAVIOUR OF SOME CATIONS AT WATER/NITROBENZENE INTERFACE BY SEMIDIFFERENTIAL CYCLIC VOLTAMMETRY

The transfer of Sr^2+ and Ba^2+ ion,facilitated by 18-crown-6 present in the aqueous phase,and of succinylcholine ion at w/nb interface were investigated by semi-differeniial cyclic voltammetry.A good polarographic curve of succinylcholine ion dissolved in water was obtained in the system of 0.01 mol/l LiCl(w)-0.01mol/l TBATPB(nb).The peak current is directly proportional to the concentration of SC^2+ ion.It can be used for the determination of SC and the detection limit is 1.05×10^-5mol/l,The apparent D^m and D^mb have been estimated.The transfer of Sr^2+ and of Ba^2+ at the interface are facilitated by 18-Crown-6 present in the aqueous phase and the peak current is directly proportional to the concentration of 18-Crown-6 in water.This method can be used for the determination of the complexing agent and for the stability constant of the complex formed in the aqueous phase.All the experimental results are in keeping with the theoretical.

VIA(Virtual Interface Architecture)上的软件DSM系统实现和性能

在由高性能PC搭建的Linux机群系统上 ,传统的网络接口体系结构引入了巨大的软件处理开销 ,无法满足虚拟共享存储并行应用对通信带宽、延迟和进程间同步的需求 .用户级网络接口标准———虚拟接口体系结构(VirtualInterfaceArchitecture ,VIA)与传统的网络接口体系结构相比 ,在软件协议开销、通信关键路径上操作系统的干预程度、通信和计算的重叠程度以及实现零拷贝等方面 ,具有明显的优势 .通过在传统网络通信接口和VIA通信接口上虚拟共享存储系统的性能对比 ,采用VIA网络接口体系结构可有效地提高虚拟共享存储系统的性能和可扩展性 .