无人水下航行器发射鱼雷可行性仿真分析

为分析无人水下航行器在低速浅水情况下发射鱼雷的可行性,对鱼雷发射后的初始弹道进行建模仿真,通过和鱼雷试验数据进行比对,确定仿真方法正确可行.结合无人水下航行器的性能,分析鱼雷管制舵角和发射速度对初始弹道的影响,确定合理的发射参数.然后绘制鱼雷冲角、俯仰角和速度的变化曲线,分析鱼雷姿态,确保结论的正确性.仿真结果表明在合理设置发射参数的前提下,鱼雷航行姿态正常,鱼雷初始弹道能够满足发射要求,鱼雷从无人航行器发射是完全可行的.     

一种增强电子商务协议安全性的形式化分析方法

本文用半规则实体代表参与协议并为其利益驱动协议的实体,基于此设想给出一种在串空间模型中的形式化方法。引入Hash和Diffie-Hellman Exchange的案例,在模型中加入半规则串和半规则节点。最后,找到一种对因特网密钥交换(IKE)协议的攻击。     

基于DSP平台的激光二极管控制系统

介绍了以DSP芯片TMS320F2812为核心设计的控制平台、利用半导体制冷器和光功率传感器调节激光二极管工作温度和发射功率的控制系统;设计了具有良好性能的模拟通道,提出了针对特定调节对象的PID算法.结合优化设计的执行单元实现了很好的控制效果,有效地提高了激光二极管系统的稳定性和可靠性;设计的控制系统在环境温度-10℃～50℃时能够达到±0.03℃的控制精度.     

基于多环QFT的高超声速飞行器鲁棒控制

阐述了定量反馈理论(QFT)的基本原理和设计方法,针对超燃冲压发动机不同工作状态时高超声速飞行器不确定性模型,应用多环QFT设计了高超声速飞行器纵向飞行控制系统;仿真结果表明,运用QFT方法设计的控制系统不仅具有良好的跟踪性能和抗干扰性能,而且能够很好地解决飞行控制系统由于模型参数具有不确定性而造成的控制系统鲁棒性设计问题,并从工程应用角度为高超飞行器纵向飞行控制系统提供了一种鲁棒控制设计方案。     

Computational simulation of Belousov–Zhabotinskii oscillating chemical reaction

The suitability of computational simulation of the Belousov–Zhabotinskii oscillating chemical reaction by differential kinetic methodology for resolving nonlinear multi-component system is demonstrated in this work. According to the Field–KÖrÖs–Noyes mechanism and the Oregonator model, the change of the concentrations of HBrO₂, bromide ion and cerium ion are simulated. The results of computational simulation are consistent with experimental results very well. At the same time, the effect of variables and parameters, especially the rate constant on the oscillation curve, are investigated deeply. A simple method of estimating rate constants is obtained through simulation the concentrations of key components of the system, and then comparison the simulation results with the experimental ones. The reasonable rate constant is also proposed.     

Global robust output regulation of lower triangular systems with unknown control direction

This paper presents the solvability conditions for the global robust output regulation problem for lower triangular nonlinear systems assuming the control direction is unknown. The approach used is an integration of the robust stabilization technique and Nussbaum gain technique.     

扫描仪的常见故障及排除方法

介绍了扫描仪的常见故障及其排除方法.     

白蚁提取液急性毒性及致突变性研究

本文采用大,小鼠急性经口毒性试验、Ａｍｅｓ试验、小鼠骨髓细胞微核试验及小鼠精子畸变试验对白蚁提取液的毒理学安全性进行了研究,结果表明,白蚁提取液大,小鼠急性经口ＬＤ５０均大于１０ｇ／ｋｇ体重,属“实际无毒”：体内（包括体细胞和生殖细胞）、体外致突变性试验系统均未检出其致突性。     

考虑虚拟电厂可信容量的新能源电力系统容量市场出清模型

随着风电和光伏发电装机规模快速增长,系统出现了发电容量充裕度不足的问题。为确保电力系统中的充足发电容量,需要引入容量市场机制。相比于大型火电机组的长建设周期和高投资成本,分布式可调节资源聚合的虚拟电厂（virtual powerplant,VPP）建设周期短、投资小、见效快,是为系统提供发电容量的有效资源。因此,构建了虚拟电厂可信容量（unforcedcapacity,UCAP）计算方法并提出一种考虑虚拟电厂可信容量的新能源电力系统容量市场出清模型。虚拟电厂可信容量计算模型考虑了其功率、能量以及运行特性。容量市场出清模型在考虑发电侧风电、光伏、传统机组的基础上,增加用电侧虚拟电厂参与市场。容量市场出清模型中考虑了高峰容量需求、基本容量需求、电能需求、谷荷需求、爬坡功率需求等系统约束。最后通过算例分析了虚拟电厂可信容量、市场容量总需求量以及新能源装机容量对市场出清结果的影响,验证了本文虚拟电厂可信容量计算方法以及容量市场出清模型的有效性。     

计及用电行为模式的区域商业建筑负荷预测方法

为充分利用智能电表采集的细粒负荷数据并提高区域商业建筑负荷预测的精确度,提出一种基于用电行为模式的区域商业建筑负荷预测方法。首先,基于均值方差归一化方法对采集到的负荷数据进行标准化处理,通过肘方法确定聚类数目后进行k-Shape聚类,实现区域商业建筑负荷不同用电行为模式的提取;其次,针对大规模商业建筑负荷预测问题,考虑区域内大量商业建筑负荷预测时耗费大量内存资源却难以实现较准确预测问题,提出一种改进的Informer模型,该模型通过聚类算法识别具有相似用电行为模式的商业建筑,并充分考虑智能电表采集的异常负荷数据对模型训练结果的影响,能够良好的解决大规模商业建筑负荷预测精度不高问题;最后,采用加利福尼亚州商业建筑负荷进行实验,实验结果表明所提方法能够有效提高区域商业建筑负荷预测精度。