一种异步无线传感器网络目标定位方法

提出一种应用于异步无线传感器网络的分段式定位方法,该方法根据目标移动速度将定位过程自动分段,在每个时间段初期用同步定位方法获得目标准确初始位置,然后在此基础上采用异步定位.分段式定位方法解决了普通异步定位方法无法准确定位慢速目标的问题,大大降低定位系统对目标节点移动速度的要求.模拟仿真结果表明,该方法可以得到良好的效果.     

基于TCL的PIM—SM协议一致性测试系统设计

针对PIM-SM组播协议,提出了一种协议一致性测试系统的设计方法.其核心思想是通过创建虚拟测试体,用简单的PC机模拟复杂的网络环境和协议行为,并针对协议测试过程中同时要求报文高效处理和网络场景频繁修改的问题,进行了系统层次的划分,实现了模拟配置灵活性和运行效率的统一,具有良好的扩展性.基于该方法实现的系统,成功地对多个不同的PIM-SM组播协议实现进行了一致性测试.     

一般与特殊相结合的数学证明方法浅析

特殊化，亦即对于某一问题，使某种情况或情形具有特殊性．     

利用构造类别代数的协议安全测试方法

针对协议安全测试中数据流的描述问题,在构造类别代数的基础上引入变异分析,由此提出了一种协议安全测试方法.基于协议的描述设计了变异算子,然后对一致性公式集进行变异分析,从而得到安全变异项集.将变异项转换为实际的安全测试例集,并描述由此进行的协议安全测试步骤.测试实践表明,所提方法能与一致性测试良好地结合,在一定程度上覆盖已知安全漏洞,并具有发现潜在问题的能力.     

校园网络层次化安全研究与部署

针对目前高校网络的安全问题,通过分析产生网络安全的各类隐患,提出了层次化的安全解决方案．从网络的规划、管理和个体使用层面提出安全策略,并按照网络安全部署周期实施．     

血清胆碱酯酶检测对评价肝病患者预后的临床意义

为了观察血清胆碱酯酶活力与临床肝脏疾病疗效及预后评价的关系，把140例肝病患者按病毒性肝炎诊断标准分为五组；对照组149例为通辽市传染病医院体检人员，均采用速率法测定血清胆碱酯酶活力．五组肝病患者治疗前后组内及各组间的比较均有显著差异．结果表明，肝病患者治疗前后血清胆碱酯酶仍较低或升高不明显，提示肝细胞受损严重，预后不良．     

基于Markov链模型的被动测试错误检测算法

通过分析如何将概率统计的思想应用到基于有限状态机的协议被动测试上,在Markov链模型基础上,提出了一种新的被动测试错误检测算法,并给出了与已有算法的比较.从比较结果可知,新算法只需要知道有限状态机中转换的概率分布和最终观察到的输入/输出对的概率分布,就可以解决已有算法存在的问题,因此适用范围更广,同时还探讨了单个错误定位问题.     

基于有向图的最小完全覆盖互操作测试序列生成算法

互操作测试过程目的是用尽量少的测试序列数目对目标系统实施测试,而又能检测出尽可能多的错误.采用基于有向图的满足互操作测试的最小完全覆盖准则的测试序列生成算法可以生成更有效的互操作测试集.     

一种提高协议测试效率的新方法

针对使用传统的方法提高协议测试效率存在的问题，从测试序列测试顺序的角度，首次引入了测试序列动态重排序的方法，对不同的错误情况，提出三种动态排序算法．讨论了测试序列动态重排序对测试效率产生的影响．实验仿真验证了所提动态排序方法比传统的静态测试在测试效率上有较大改进．     

动态环境中的概率信息流安全

在概率安全进程代数的基础上，研究了概率系统在动态环境中的信息流安全，以解决可动态配置的恶意进程对系统带来的危害．同时，提出了动态环境中的概率互拟复合不可演绎性质，即持久P_PBNDC．使用敌意环境下的弱概率互拟和动态敌意环境等概念讨论了P_PBNDC是概率系统在动态环境中合适的信息流安全性质，该性质能够揭露出概率互拟复合不可演绎性质（PBNDC）所不能暴露的潜在的安全隐患．最后，证明了PPBNDC和SBSPNI性质的一致性，在限制算子和前缀算子下的P_PBNDC具有复合性质，而在并行算子下不具有复合性质．