一种基于无线传感器网络的目标跟踪调度算法*

基于无线传感器网络的IPv4/IPv6混合组网的视频监控系统的调度算法可以有效地增强视频监控的智能控制功能。在综合考虑无线传感器网络的自身特性和监控系统功能扩展清晰度要求的基础上,对原有的后来先服务调度(LCFS)算法进行改进,并设计和实现了一种简单有效的目标检测和跟踪方案,提出了清晰度最优负载平衡的调度算法(DOLB)。理论分析及实验结果表明,该算法性能明显优于原有的调度算法。     

副井提升系统安全回路及上位机优化改造

针对煤矿副井提升系统安全回路软硬件及上位机中存在的不足进行了优化改造,改进了过卷试验方式,将闸系统紧停信号引入安全回路,并将安全回路各节点状态信号引入RSView32人机界面,实时显示安全回路状态;根据现场检修需要,在上位机增加了复位显示功能及行程偏差大报警信号。实际应用表明,该优化改造可迅速定位故障节点,实现软硬件互查。     

基于dsPIC30F的恒流电子负载设计

设计了一种对33V锂电池进行最大5A恒流放电的电子负载。该电子负载以dsPIC30F6014A单片机为核心控制器,闭环控制MOSFET恒流放电,并以热能的方式消耗电能。锰铜电阻和仪用运算放大器AD623构成电流采样电路。测试结果显示,系统的相对误差低于6‰。     

基于认知负荷理论的多媒体课件设计研究

多媒体课件的信息加工主要包括信息的选择、组织和整合策略,它直接影响学习者对学习内容的选择、组织和整合。目前高校的多媒体课件比较注重体现多媒体技术形象直观、信息量大、效率高等特点,却往往忽视过量信息加工和学习者认知资源有限之间的矛盾。依据认知负荷理论,合理设计多媒体课件中文字、图片、声音、动画和视频等的呈现方式,可以降低认知负荷,最大限度提高学习者的信息加工水平,以达到提高教学效果的目的,同时对指导当前多媒体辅助教学实践也有重大意义。     

基于消息的Parlay X网关过载控制算法

为了解决目前Parlay X网关过载算法灵活性低、不能有效地使会话量最大化的问题,给出了基于合约的Parlay X网关系统架构。根据Parlay X消息类型特点设置消息优先级,根据消息优先级选择丢弃或者缓存消息,之后根据负载情况进行负载均衡以及接入控制,通过四个阶段来实现过载控制过程。实验结果表明,相比较于传统过载控制,该机制能在保证新建会话消息接收数量的同时提高其他类型消息的接收数量,减少平均服务时间,在满足合约限制的情况下,保证最大会话数量。     

Optimal binary codes and binary construction of quantum codes

This paper discusses optimal binary codes and pure binary quantum codes created using Steane construction. First, a local search algorithm for a special subclass of quasi-cyclic codes is proposed, then five binary quasi-cyclic codes are built. Second, three classical construction methods are generalized for new codes from old such that they are suitable for constructing binary self-orthogonal codes, and 62 binary codes and six subcode chains of obtained self-orthogonal codes are designed. Third, six pure binary quantum codes are constructed from the code pairs obtained through Steane construction. There are 66 good binary codes that include 12 optimal linear codes, 45 known optimal linear codes, and nine known optimal self-orthogonal codes. The six pure binary quantum codes all achieve the performance of their additive counterparts constructed by quaternary construction and thus are known optimal codes.     

电力负荷管理终端常见现场故障分析

介绍终端系统的组成及电力负荷管理终端在其中起到的作用,分析终端现场运行故障的原因,并提出相应的处理措施。     

基于高炉TRT系统控制技术的研究与改进

介绍高炉TRT控制系统的改进,以达到节能、降噪、环保的目的.     

供配电系统无功补偿方案的选择

介绍无功补偿的作用、方法及原则,分析炼钢供配电系统负荷性质及无功补偿的必要性,并提出各供配电系统的无功补偿方案。     

基于安全协议代码的形式化辅助建模研究

随着安全协议形式化分析技术的不断发展,利用工具自动验证虽已得到实现,但建模环节仍需依赖专业人员手工建模,难度大且成本高,限制了此技术的进一步推广。为了提高建模的自动化程度,提出了依据安全协议代码进行形式化模型辅助生成的方案。首先,使用污点分析获取协议的通信流程,并且记录密码学原语操作;然后,根据通信流程之间的序列关系构建协议通信状态机;最终,根据目前主流的安全协议形式化分析工具Tamarin的模型语法生成形式化模型。实验结果表明,此方案可以生成形式化模型中的关键部分,提高了形式化建模的自动化程度,为形式化分析技术的推广作出贡献。