暂无评论
一种基于扩展NS的网管系统测试平台，梁芳，马跃，本文提出了利用扩展的NetworkSimulator(NS)模拟器来实现基于简单网络管理协议（SNMP）模型的网管系统测试平台的设计。该设计的关键在于�
基于模型检测验证协议的方法存在状态空间爆炸问题，其中基于目标绑定搜索状态空间的方法有效控制了状态空间，但不能完全给出协议的运行情况。针对这一问题，提出了一种基于状态扩展的安全协议自动化验证机制，首先对
一种行为模型的建模及模型精化方法，王帅强，马军，行为模型的建模和模型精化是软件工程中的基于模型驱动开发的关键问题。本文针对环境的形式化定义，提出了一种形式化的行为模型建
研究论文-一种实用的光栅
SA-ETF：一种自适应演化测试框架，张楠，谢晓园，演化测试是一种有效的测试用例自动生成技术，它将测试用例生成的过程转化为应用遗传算法求解数值优化问题的过程，从而自动生成高
本文提出了一个通用框架，该框架可用于使用网络模型估算货运的直接和交叉弹性。 这种方法论将运筹学（地理信息系统中的网络分配）与更经典的计量经济学（多项式对数选择模型）结合在一起。 该方法在实际情况中的应
一种新型人工神经网络模型，周晓正，林小竹，提出一种新型人工神经网络模型，称为“基于模式神经元的人工神经网络（PatternNeuronBasedArtificialNeuralNetwork,PNBA
在资源受限的机会网络中，节点在转发过程中所表现出的自私行为将严重影响网络性能。针对这一问题，建立基于认错机制的“礼尚往来”策略的节点重复博弈模型。节点考虑到将来的利益，迫于对惩罚的恐惧而参与转发。通过
论文研究-一种非线性模糊综合评价模型.pdf,
网格环境下的一种新的容错模型，郭成，李明楚，在网格计算中，计算结果的正确性已经成为大规模分布式计算所关心的核心问题之一。恶意的计算节点以及第三方节点的攻击，计算的安
暂无评论