不同段数爆破地震波的反应谱分析

为了研究段数对反应谱特性的影响,基于某石方控制爆破工程爆破振动实测数据,对不同段数爆破振动信号进行了反应谱分析。首先,利用实测的爆破振动速度信号采用直接微分法获得了加速度信号,并利用EEMD分解对加速度信号进行低通滤波去噪处理,获得了准确清晰的加速度曲线。然后,利用精确法求得了不同段数下爆破振动信号的速度反应谱和标准速度反应谱。分析结果表明:不同段数的爆破振动质点峰值速度与速度反应谱的峰值速度并不存在对应关系,因此分段数的选择应综合考虑结构对爆破振动的动态响应。     

Liner services network design and fleet deployment with empty container repositioning

Transportation demand of shipping container fluctuates due to the seasonality of international trade, thus, every 3–6 months, the liner company has to alter its current liner shipping service network, redeploy ships and design cargo routes with the objective of minimizing the total cost. To solve the problem, the paper presents a mixed integer linear program model. The proposed model incorporates several relevant constraints, such as weekly frequency, the transshipment of cargo between two or more service routes, and transport time. Extensive numerical experiments based on realistic date of Asia–Europe–Oceania shipping operations show that the proposed model can solve real-case problems efficiently by CPLEX. The results demonstrate that the model can reduce ship’s capacity consumption and raise ships’ capacity utilization.     

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

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

移动边缘计算环境下的动态资源分配策略

在通讯设备爆炸式增长的时代,移动边缘计算作为5G通讯技术的核心技术之一,对其进行合理的资源分配显得尤为重要。移动边缘计算的思想是把云计算中心下沉到基站部署(边缘云),使云计算中心更加靠近用户,以快速解决计算资源分配问题。但是,相对于大型的云计算中心,边缘云的计算资源有限,传统的虚拟机分配方式不足以灵活应对边缘云的计算资源分配问题。为解决此问题,提出一种根据用户综合需求变化的动态计算资源和频谱分配算法(DRFAA),采用"分治"策略,并将资源模拟成"流体"资源进行分配,以寻求较大的吞吐量和较低的传输时延。实验仿真结果显示,动态计算资源和频谱分配算法可以有效地降低用户与边缘云之间的传输时延,也可以提高边缘云的吞吐量。     

Intrinsic dielectric behavior of Mg2TiO4 spinel ceramic

In the work, we focused on the intrinsic dielectric behavior of Mg₂TiO₄ spinel ceramic by P–V–L theory and infrared spectra analysis. Ti–O bonds have larger bond ionicity values, thus playing an important role in dielectric polarization. The theoretical dielectric constant was predicted by calculating the bond susceptibility of each chemical bond. Furthermore, Ti(1)–O bonds are responsible for the structural stability of Mg₂TiO₄ ceramic. Based on classical dispersion theory, permittivity and loss corresponding to each infrared active mode were quantified, and then the crucial contribution of low-frequency modes to intrinsic dielectric properties were determined.     

低觉醒脑电识别与唤醒的可穿戴系统研究

为智能化地识别警戒作业人员出现的低觉醒、注意力下降的生理状态，本文介绍了一种基于FPGA和脑电信号处理的低觉醒状态检测与唤醒系统，系统通过传感器从大脑头皮采集脑电信号，转换为数字信号，经傅里叶变换获取了脑电信号的θ相对能量、α相对能量、重心频率、谱熵等4个特征量，由4个特征量表征低觉醒状态并运用支持向量机对低警戒状态进行识别，当识别出低觉醒状态时采用声音报警模块发出声音，唤醒警戒作业人员。设计系统能够较好地识别出低觉醒状态，识别率达90.8%，可为提高警戒作业工作绩效提供一种可穿戴的智能装备。     

新工科理念下“扩频通信技术与应用” 课程教学实践

本文以“扩频通信技术与应用”课程为例，探讨新工科理念下工程学科实践教学改革，具体措施包括：开展虚拟仿真实验，充分发挥双师型教师的主观能动性，开展MATLAB仿真训练、工程技术实训及相关的创新创业训练，结合企业实习以及开展国际交流合作等。     

卫星电视上行站信号自动监测系统

每个卫星电视上行站都必须对卫星转发器上的电视信号进行监测,才能及时发现卫星电视上行信号的异常变化,准确处理异常突发干扰。为实现自动、连续、实时监测,就需要建立卫星电视上行站射频信号自动监测系统。文章详细介绍了一个自动监测系统的设计及实现。     

基于循环谱理论的BPSK直扩信号检测

研究了扩频信号的周期平稳性及其循环谱密度函数;在推导出BPSK扩频信号的循环谱密度函数的基础上,提出利用循环谱理论对BPSK直扩信号进行检测,并用MATLAB进行仿真验证。     

Nd3+:Y0.5Gd0.5VO4晶体生长和基本特性

Nd^3 :Y0.5Gd0.5VO4晶体作为一种新的激光材料，可以用中频感应加热提拉法生长。X射线粉末衍射分析表明它的结构与Nd^3 :YVO4晶体结构相同，它的晶格常数介于YVO4和NdVO4晶格常数之间。用ICP光谱法测定晶体中Nd^3 含量为0．8at％，分凝系数为0．8，与Nd^3 :GdVO4晶体中Nd^3 的分凝系数0．78相当；用称重法测定其密度为5．00g／cm^3；用稳态纵向热流法测出其室温热导率为12．5W／mK。实验表明Nd^3 :Y0.5Gd0.5VO4晶体有希望作为高功率ID泵浦激光晶体材料。