基于Event-B和Rodin开展形式化软件工程教学

形式化软件工程是软件工程的重要组成部分。Event-B方法是一种软件形式化开发方法,Rodin是支持Event-B方法的开放工具集。基于Event-B方法和Rodin开展形式化软件工程教学,有益于学生正确理解精化等重要的软件工程概念,理解并掌握开发可信软件的方法,是软件工程教学的重要补充。     

DC-DC开关变换器的混沌现象及其应用

目前,DC-DC开关功率变换器的非线性现象的研究已发展到了混沌的控制与应用研究.本文论述了对DC-DC开关变换器的混沌现象及其应用,并展望了混沌开关变换器的应用前景.     

Direct microscale imprinting of Al at room temperature with Si inserts

For direct imprinting of metals, hard materials such as diamond and SiC have been used to construct mold inserts in preference to Si, despite the ease in fabricating Si-based micro-/nano- scale structures. In this communication, we demonstrate that micron scale Al structures can be replicated with good fidelity at room temperature by compression molding with Si inserts without incurring insert damage. We further report on results of a finite element analysis of the mechanics of the molding process. The finite element results provide some understanding of the observed lack of damage to the Si inserts.     

基于LabVIEW 8.0测定纯液体蒸发焓的虚拟仪器

将常规的数字温度仪与压力计通过串行口和计算机连接,构建基于LabVIEW 8.0测定纯液体蒸发焓的虚拟仪器,实现实验数据的动态采集、实时显示、自动绘制p～T曲线并显示曲线方程、自动数据处理和写成结果报告等。应用结果表明:基于LabVIEW构建的测定纯液体蒸发焓的虚拟仪器,免除人工操作的繁琐和人为误差,测定乙醇和苯蒸发焓的相对误差分别为0.86%、-2.97%,提高了测量结果的准确度,且具有界面友好,操作简便和功能易扩展等诸多优点。     

PCI接口高速数据采集与处理卡的设计

利用可编程逻辑器件搭建了一个可编程的数据采集平台.     

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

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

Proximity-Induced Fully Ferromagnetic Order with Eightfold Magnetic Anisotropy in Heavy Transition Metal Oxide CaRuO3

Ferromagnetic materials with a strong spin-orbit coupling (SOC) have attracted much attention in recent years because of their exotic properties and potential applications in energy-efficient spintronics. However, such materials are scarce in nature. Here, a proximity-induced paramagnetic to ferromagnetic transition for the heavy transition metal oxide CaRuO₃ in (001)-(LaMnO₃/CaRuO₃) superlattices is reported. Anomalous Hall effect is observed in the temperature range up to 180 K. Maximal anomalous Hall conductivity and anomalous Hall angle are as large as ∼15 Ω⁻¹ cm⁻¹ and ∼0.93%, respectively, by one to two orders of magnitude larger than those of the typical 3d ferromagnetic oxides such as La_0.67Sr_0.33MnO₃. Density functional theory calculations indicate the existence of avoid band crossings in the electronic band structure of the ferromagnetic CRO layer, which enhances Berry curvature thus strong anomalous Hall effects. Further evidences from polarized neutron reflectometry show that the CaRuO₃ layers are in a fully ferromagnetic state (∼0.8 μ_B/Ru), in sharp contrast to the proximity-induced canted antiferromagnetic state in 5d oxides SrIrO₃ and CaIrO₃ (∼0.1 μ_B/Ir). More than that, the magnetic anisotropy of the (001)-(LaMnO₃/CaRuO₃) superlattices is eightfold symmetric, showing potential applications in the technology of multistate data storage.     

A Novel Routing Algorithm with Bernoulli Sampling-based Link Quality Estimation in Wireless Sensor Networks

Wireless Personal Communications - Long term evolution (LTE) and LTE—Advanced are the promising broadband wireless technology that supports variety of services with higher data rate. To...