摘要：我校的教务系统仅可以输出两种固定格式的实验室课表。实验室管理人员每次使用需要逐个翻看,容易出错。对此,系统实现了在不改变原有设计和角色的情况下,利用其输出的实验室课表,先通过原始数据转换程序将数据转换到数据库,然后利用Excel显示可筛选的动态汇总的综合排课表。该设计操作简单、方便、扩展好,管理人员利用该系统导出的结果可以轻松掌握整个实验室的占用情况,从而提高实验室管理工作效率。该系统可以推广到学校其他实验室、教学楼管理工作中,具有一定的实用性、先进性和推广价值。

摘要：粒子的退化现象是粒子滤波算法中不容忽视的问题,在算法实现过程中需要考虑如何权衡粒子数和实时跟踪.提出一种结合粒子滤波和均值偏移2种算法的改进跟踪算法,只需要4个采样粒子,4个粒子通过均值偏移的方法收敛到局部最大值位置点,通过粒子加权的方式得到目标最终的位置.与传统的粒子滤波算法相比,该算法的计算复杂度大大降低,同时融合了结构信息这一特征,弥补了颜色信息的不足.由于文中算法的粒子总是能收敛到局部的极值,几乎不会出现退化现象,故无需进行重采样和粒子权值的更新.实验结果表明,该算法能在复杂背景下实现对目标的稳健跟踪,满足跟踪的实时性要求.

摘要：针对单相全桥工频逆变器设计过程欠缺规范的问题,该文提出了一种以动态设计指标为条件解耦设计主电路滤波参数和控制器参数的公式化分步设计法.以阻性负载跃变量为条件,分析了单相全桥工频逆变器在两种极端情况下的最优负载瞬态响应过程,推导了最优负载瞬态特性关于滤波参数的数学表达式,并给出了表达式适用范围-输出电压跌落量低于10%,且结合逆变器的动态设计指标提出了一种滤波器参数设计方法,再以滑模控制为例,结合动态设计指标给出了一种滑模控制器设计方法.仿真实验结果验证了最优负载瞬态响应过程的存在性,最优负载瞬态特性表达式的正确性和有效性,也验证了解耦设计法的正确性和有效性.该解耦设计法具有良好的理论价值和工程价值.

摘要：该文针对滑模控制单相全桥工频逆变器滑模系数选取困难的问题,基于滑模控制理论建立了单相全桥逆变系统的相变量模型,根据控制受限思想和滑动模态存在条件推导了滑模域与负载电阻和滑模系数之间的数学关系,深入分析了滑模域边界与滑模系数、负载电阻和负载跃变幅度的关系,提出了选取滑模系数的基本原则.基于逆变器加载系统轨线,结合滑模域右边界条件和逆变器期望动态设计指标,给出了一个计算滑模系数的公式,随后给出了切换系数的选取方法,并总结了基于滞环调制的滑模控制器的设计方法.仿真试验采用该方法设计了滑模控制器,结果验证了该设计方法的正确性和有效性.此法操作简便且易于掌握,具有较好理论参考价值和工程推广价值.

摘要：程序验证是保证程序正确性的关键技术.由于经典世界和量子世界的本质不同,经典程序验证的技术和工具不能直接应用到量子系统.而量子程序设计语言是描述量子系统的一种新的形式化模型,量子程序的验证问题就显得更为迫切和必要.本文首先讨论了量子通讯中常用的比特翻转、相位翻转、去极化、幅值阻尼、相位阻尼等信道作为特殊的非确定型量子程序从计算基态开始运行时的可达集合和终止集合等程序验证问题.其次,把上述五种量子程序两两组合组成非确定型量子程序,根据这五种量子程序的可达集合之相似点,最终合并成三种非确定型量子程序,重点讨论了这三种非确定型量子程序从计算基态开始运行时的终止和发散等程序验证问题.研究表明:这三种非确定型量子程序从计算基态0开始运行时都是终止的;而从计算基态1开始运行时:比特翻转信道和去极化信道组成的非确定型量子程序的终止和发散与分别刻画它们的两个参数有关;比特翻转信道和相位翻转信道组成的非确定型量子程序的终止和发散只与刻画比特翻转信道的参数有关;幅值阻尼信道和相位阻尼信道组成的非确定型量子程序是发散的,其发散条件与刻画量子信道的两个参数都没有关系.本文的结果可以为量子信息安全中量子通讯协议的验证提供理论和技术支持.

摘要：针对DLL木马不能直接运行的特性和高隐蔽性带来的检测难度,设计了一个基于模拟加载技术的DLL木马检测模型,并基于该模型实现了一个DLL木马检测系统。介绍了检测系统的总体结构图,阐述了检测系统的模块架构,给出了特征信息库的建立流程,详细分析了检测系统的关键技术。实验结果表明,基于模拟加载法的DLL木马检测系统能够快速判定被检测文件的危险等级,可以有效降低漏报率。

摘要：为了解决监测区域的传感器节点部署问题,设计了一种基于概率感知模型和量子粒子群算法的移动节点部署方法。首先,在传统概率感知模型中加入节点剩余能量因素进而得到改进的概率感知模型C(si,p)={0,if d(si,p)≥r-reEir/Ei0e-λασ,if d(si,p)≤r+re,1,if r-re≤d(si,p)≤r+re然后基于改进的概率感知模型设计了多目标优化的节点部署模型,在优化模型中考虑了网络覆盖率和能量因素。最后定义了基于量子粒子群算法来获得节点的最优位置对应的Pareto最优解的优化算法(即将粒子编码为节点部署方案,采用最小化网络能耗和最大化网络覆盖率为粒子的Pareto目标,引导粒子在可行解空间不断更新位置寻求最优解)。仿真实验结果表明:文中方法能正确地实现监测区域的传感器节点部署,能实现较为均匀的网络覆盖,与其他方法相比,具有较高的网络覆盖率和较长的网络生命周期,具有较大的优越性。

摘要：为了制备一种质地均匀、含量稳定的白藜芦醇外用软膏剂,本研究采用正交设计,以外观性状、离心稳定性、热稳定性、冷稳定性为指标,考察了软膏剂配方及制备工艺,并建立高效液相检测方法检测软膏剂中白藜芦醇含量。结果表明,白藜芦醇软膏剂最佳配方为油相硬脂酸6 g,凡士林3 g,单硬脂酸甘油酯1.2 g,液体石蜡9 mL,三乙醇胺0.15 mL;水相：纯净水16.5 mL十二烷基硫酸钠0.075 g,甘油3 mL,月桂氮卓酮0.03 g。乳化方法为油相加入水相中,乳化温度为85℃,建立的高效液相色谱法表明,白藜芦醇在3.075～49.2μg/mL范围内,峰面积与其浓度线性关系良好（R2=0.999 4）,平均回收率为99.24%。本研究制备了一种性状均匀,稳定性良好,有效成分可控的白藜芦醇软膏剂,为白藜芦醇临床应用提供了新的剂型。

摘要：为了提高隐蔽信道的检测率,讨论了传统的隐蔽信道检测技术的原理并对其特点作了详细的对比研究;通过对网络隐蔽通道特点的归纳和分析,找到可以描述网络隐蔽通道的若干属性,并提出基于网络隐蔽通道特征指纹的检测思想,归纳出隐蔽信道在协议域、统计规律、行为特征等方面表现出的通信指纹信息,在此基础上,设计并实现了一个基于量子神经网络的启发式网络隐蔽信道检测模型。测试结果表明该检测模型运行高效、检测结果较准确。

摘要：为了防止文件通过网络泄露,研究了网络传输文件的格式、传送形式以及通信行为特征,提出一种基于网络数据流的文件传输识别方法。通过引入文件数据流的概念,构建了具有特异性的文件特征指纹库,采用自适应深度协议分析技术,对文件传输在通信协议中表现出的内容和行为特征信息进行多层次启发式的检测。测试结果表明,该系统运行高效,检测结果准确。