适应受限环境的认证协议及其SVO逻辑分析

针对认证协议在受限通信网络环境中的应用和安全问题,提出一种基于椭圆曲线密码技术的认证协议,使用对称密码为协议中的交互信息提供机密性,在协议最后生成参与者共享的会话密钥。采用扩展的SVO逻辑对推荐协议进行形式化分析,结果证明该协议的安全性符合要求。     

超空泡航行器稳定性分析及其非线性切换控制

超空泡航行器在航行过程中绝大部分被超空泡包裹,必然面临着航行器与空泡剧烈非线性作用力带来的稳定控制困难.针对超空泡航行器的控制问题,本文以Dzielski提出的航行器模型为研究对象.首先通过一系列系统变换使其成为线性系统环节和非线性环节反馈连接的形式,运用圆判据定理利用系统Nyquist曲线给出了系统绝对稳定的充分条件;而后结合工程实际,分析了极点约束对系统性能的影响,为进一步改善系统性能,提出了加入非线性激励来削弱系统固有非线性特性的切换控制策略.仿真结果表明,超空化航行器在极点约束情况下完全可以通过非线性切换控制达到系统对所有非线性特性的绝对稳定,且对于滑行力存在不确定性的情况切换控制依然有效.     

基于MATLAB的鱼雷水下弹道仿真

鱼雷是一种水下自主航行的运动体,其运动控制系统复杂,仿真建模难度大,为解决某型鱼雷水下弹道仿真问题,首先根据鱼雷在水下运动特点,建立了鱼雷在水中运动的动力学和运动学模型,并进一步针对某型鱼雷的典型弹道设计了控制方程.应用Matlab软件对该鱼雷的水下弹道进行了仿真,绘制了仿真曲线,仿真结果证明该种仿真方法较好的仿真了鱼雷入水下潜、寻深、蛇行搜索及捕获目标后的追踪过程,较真实的反映了鱼雷在水中运动的情况.通过仿真证明采用MATLAB软件进行弹道仿真具有编程工作量小,程序运行速度快、鲁棒性好等优点.     

应用型本科操作系统实验教学初探

操作系统课程的理论性和实践性都很强,本文从应用型本科的教学特点出发,针对操作系统的实验教学中存在的问题,从培养目标、实验内容、理论联系实际等多个方面有针对性地提出了一些观点和思路,并在我们的操作系统省级精品课程的实际教学中加以实践与应用。     

基于相似膨胀的分形图像检索*

针对目前基于形状的图像检索领域中存在的问题,结合分形技术,提出了一种通过构造不规则区域的相似膨胀分形编码算法,该算法能获得较高的压缩比。在图像检索中,该算法用一种新方式提取形状特征,实现了基于该算法的图像检索操作。实验结果表明该算法能较好地描述图像的形状及空间分布信息,明显地提高了检索效率及准确度。     

高速数据接收的软件设计

基于一种摄象系统需要将拍摄的数据以10Mb/s的速率传输并存储以20m外的计算机中,主要讨论如何编写软件实现数据的同步接收和数据存储。     

考虑爬坡特性与预测区间优化的电热水器集群功率区间预测

根据电热水器(EWH)集群功率的波形特征,提出了一种考虑爬坡特性和区间优化的EWH集群功率短期区间预测方法。首先,针对EWH负荷功率的不确定性,提出了一种考虑样本分布多源异构特性的结合集合经验模态分解(EEMD)、主成分分析(PCA)和多核相关向量机(MKRVM)的高精度组合点预测模型。然后,为获得期望预测覆盖率下宽度更窄的预测区间,综合区间预测覆盖率、区间平均宽度和累积宽度偏差等区间评价指标,设计了一种核密度估计(KDE)与粒子群优化相结合的改进预测区间优化方法,改善了MKRVM-KDE区间结构性能,避免了参数选择的随意性。最后,采用EWH聚合功率数据对算法有效性进行了验证。结果表明,该预测方法具有较高的预测精度和较好的清晰度,能够提供高质量的预测区间。     

计及综合需求响应的电-热综合能源系统分布式光伏最大接入容量评估

为提高综合能源系统分布式光伏的接入容量,考虑电、热多元综合需求响应,建立了电-热综合能源系统对分布式光伏的最大接入容量评估模型。首先,建立电-热综合能源系统的稳态数学模型。然后,基于价格型需求响应、激励型需求响应与弹性热负荷响应,建立了包含电力与热力负荷的综合需求响应的模型。最后,以分布式光伏接入容量最大为目标函数,建立了综合能源系统的接入能力评估模型,并通过松弛技术将问题转化为混合整数二阶锥规划问题。IEEE-33与百利岛33节点耦合系统的算例证明了所提方法的有效性。     

安全有效的相互认证和密钥建立协议

在无线通信系统中,相互认证和密钥建立协议不仅要在实现实体间的相互认证的基础上建立唯一的共享会话密钥,而且协议本身还应当满足一定的安全要求,如防止假冒攻击、服务的不可否认性等。在结合椭圆曲线密码体制优点的基础上,提出一种适于无线通信网络中的相互认证和密钥建立协议,不仅能有效防止上述攻击,还适于在无线终端设备上应用。     

Web负载测试的研究与应用

Web应用对并发服务性能的严格要求决定了对其进行负载测试的必要性。通过分析B/S系统结构模型和Web应用的服务形式，确定了Web负载测试的理论基础和可行性，并建立了测试模型。以OpenSTA为例介绍了当前主流自动化Web负载测试工具基于脚本的工作机制和测试步骤，讨论了对测试结果数据的分析与可视化方法，并总结了评估Web应用系统性能的主要指标。