一新型移动进程模型—— χ-演算

提出一新型并发计算模型——χ－演算．它与π－演算的不同之处在于：具有统一的输入和输出，只有一类受限名，通讯的范围由局部化操作子界定，允许更大的并发度．

基于异常任务运行记录的WSN故障检测

针对传感器网络在资源受限部署后难以实施故障检测的问题,提出基于异常任务运行记录的故障检测方法。通过分析节点程序运行特征,建立节点行为状态模型,结合系统部署前的测试执行记录和卡方检验技术进行故障检测。实验结果表明,该方法与已有方法相比,能有效检测未知类型故障,且通信、存储和计算开销均较小。