目标检测传感器网络参数设计

通过理论分析,给出了目标穿越无线传感器网络防线时的被检测概率与传感器网络设计参数之间的关系,建立了传感器网络目标检测问题的数学模型.传感器网络所有节点均采用基于时间片的休眠/唤醒节能策略,使得节点在每个时间片以一定的激活概率进入活动状态.推导目标检测概率的计算公式表明,检测概率与传感器节点的密度以及节点激活概率均成正比.因此,在满足所需要的目标检测概率条件下,可以采用降低节点密度或者减小节点激活概率的方法来减少系统能耗.此外,建立了节点工作时间片大小与传感器网络能耗之间的关系式.由该关系式得出,在其他参数确定的条件下,存在一个目标运动速率的临界值.当目标速率小于此临界值时,网络能耗随时间片的增加而增大;当目标速率大于此临界值时,网络能耗随时间片的增加而减小.     

Web流语义感知的改进队列管理算法

对Web流的传输特性进行了分析，并在现有尾部丢弃和随机早期检测算法的基础上提出了基于流分组语义感知的改进队列管理算法．该算法首先保存有限时间滑动窗口内的活动流特征，对到达的每个分组根据其分组语义分别赋予不同的丢弃代价，而在检测到拥塞且需要丢弃分组时，优先丢弃代价较小的，避免丢弃关键的，从而减少分组丢失对Web传输造成的负面影响．仿真结果分析表明，使用所提算法可平均提高8％的有效吞吐率，平均缩短10％的响应时间，从整体上改善了Web流的传输性能．     

湿空气含湿量的解析计算

改变传统的湿空气的含湿量依赖查湿空气性质图、表的方法，而从理论上给出一种应用解析计算公式计算湿空气含湿量的新方法。     

一种基于网络处理器的动态带宽分配算法

针对基于优先级队列（CBQ）机制中带宽分配算法的不足,以Intel IXP2400 为平台,设计并实现了一种基于网络处理器的动态带宽分配算法.该算法以令牌为介质,采用“生产者-消费者”模式,将每个优先级队列看作是一个独立的实体并为其设置一个令牌桶.令牌发放器作为“生产者”,根据队列的预分配带宽,按照特定的速率将令牌放入令牌桶中,调度器作为“消费者”,从令牌桶中取出令牌.某个优先级队列的令牌如果不够用,允许向其他优先级队列借用令牌,或收回借出的令牌,从而实现带宽的动态分配.在IXP2400微引擎上的实验表明,无论高优先级队列数据包速率高于还是低于传统CBQ带宽分配算法中设置的阈值,所提算法的转发速率均高于传统算法.     

程序条件化用于软件模型检测中的状态空间缩减

针对软件模型检测中的状态爆炸问题，提出将程序条件化技术用于软件状态空间缩减的方案．以程序性质的线性时序逻辑公式可能出现的蕴涵式的前件作为条件化的约束条件，通过分析程序符号化执行语义，借助自动定理证明器，对语句的可达性条件进行逻辑推理，删除那些与性质的可满足性无关的语句，以达到程序精简的目的．理论分析和实验结果表明，条件化可以有效缩减程序状态空间，而且缩减后的程序模型保留了原程序中与所需验证的性质有关的所有信息，满足软件模型检测对状态缩减的安全性要求．     

Gaussian窗函数在电容成像图像重建中的应用

为降低敏感场矩阵的小奇异值给电容成像(electri-cal capacitance tomography,ECT)问题带来的不稳定性,以提高图像重建质量,该文从正则化方法的谱滤波形式出发,提出了一种基于Gaussian窗函数的ECT图像重建正则化方法。该方法利用Gaussian窗函数的滤波特性,通过选择合适的Gaussian窗函数幂次,来达到降低敏感场矩阵的小奇异值对重建结果造成不稳定的效果,从而获得较好的图像重建结果。对5种典型介电常数分布进行了数值仿真,结果表明:该算法对于两相流不同介质分布均具有良好的适应性,可获得较好的成像结果,部分分布的重建图像轮廓较Tikhonov正则化方法更为清晰。     

模糊评判法在高师体育系学生管理评估中的应用

从高师体育系自身特点和学生的心理特点出发，分析了体育系学生管理评估工作的复杂性和重要性．利用模糊数学的原理，提出了模糊评判学生的新方法．     

新一代互联网中连接标识解析映射研究

分析了连接标识解析映射的4种情况,并提出了一种新型的动态映射机制.其优势在于根据服务的要求,合理的选择路径建立方式用于数据传输,通过探测网络单向状态参数,实现动态调整映射关系的目标.在真实网络中的测试结果表明,该机制能够很好的测量多条路径单项时延的差别,为准确检测网络单向状态参数提供了一种新的思路,也为在新一代互联网中实现高性能数据传输提供了重要的方法.     

趋肤效应一种简便的理论分析

趋肤效应是一个相当复杂的变化过程,若对其做严格的理论分析需要求解麦克斯韦电磁场方程组。本文试图用较为浅显的理论来分析趋肤效应产生的原因,并对角频率、电流分布等对趋肤效应的影响进行了讨论。     

层次化网络策略管理关键技术的研究与实现

提出了层次化的网络策略管理模型，其特点是引入了多级策略决策点(PDP)，在策略执行点(PEP)中引入本地PDP和缓存，PDP中也引入缓存，扩展了IETF策略管理框架．实现了将高层策略规范转换为各种运行期描述的策略编译器及其后端．将策略作为运行期对象实现，可以在域服务中方便地访问策略对象并将其自动分发到执行组件，减轻了PDP的负担，提高了被管设备的智能和网络管理的自动化程度，提高了系统的可扩展性和健壮性。