期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
PNFSM测试用例生成的研究
1
作者 李留英 王戟 +1 位作者 齐治昌 张猛 《计算机科学》 CSCD 北大核心 2000年第9期25-28,共4页
The paper proposes one test case generation algorithm tor partial/y-specified nondeterministictinite state machine and its validity analysis. After comparing with other generation methods, someproblems of testing obje... The paper proposes one test case generation algorithm tor partial/y-specified nondeterministictinite state machine and its validity analysis. After comparing with other generation methods, someproblems of testing object state diagram are given. 展开更多
关键词 Pnfsm 测试数据 非确定性有限状态机 五元偶 迁移函数
在线阅读 下载PDF
基于nFSM的攻击行为描述及检测研究
2
作者 胡兴谢 何聚厚 《西安文理学院学报(自然科学版)》 2009年第1期19-23,共5页
提出了基于nFSM描述攻击过程的相关定义及对攻击过程的检测算法,基本思想是根据状态转移函数得到与攻击事件关联的网络状态,当检测到攻击事件时,用与其相关联的状态与当前状态的不完全匹配,来确定后续状态,并根据攻击状态的权重值确定... 提出了基于nFSM描述攻击过程的相关定义及对攻击过程的检测算法,基本思想是根据状态转移函数得到与攻击事件关联的网络状态,当检测到攻击事件时,用与其相关联的状态与当前状态的不完全匹配,来确定后续状态,并根据攻击状态的权重值确定是否有攻击发生. 展开更多
关键词 nfsm 攻击行为 攻击检测
在线阅读 下载PDF
有限状态机模型测试序列生成算法研究 被引量:6
3
作者 李元平 李华 赵俊岚 《计算机科学》 CSCD 北大核心 2016年第S2期474-481,共8页
在测试工程学中,应用测试生成树构建测试序列是相关测试方法的基础步骤,在传统测试生成树的基础上加入约束集的概念,使产生的测试生成树符合生产实际。同时在面向状态识别的测试方法中,考虑约束集对所生成状态区分序列的影响,基于带约... 在测试工程学中,应用测试生成树构建测试序列是相关测试方法的基础步骤,在传统测试生成树的基础上加入约束集的概念,使产生的测试生成树符合生产实际。同时在面向状态识别的测试方法中,考虑约束集对所生成状态区分序列的影响,基于带约束的测试生成树产生相应的特征集、状态识别集和UIO序列,提出或者改进了相应的算法。同时将测试方法扩展到了NFSM的情形下,提出了NFSM模型中前缀序列的生成算法和状态识别集的构建算法;结合状态识别矩阵与有限状态机同步乘积,提出在NFSM模型中的适应性测试方法,扩展了FSM应用于测试理论的完备性。建立了相应的测试方法工具集,实现了上述算法,验证了其可行性。最后给出了下一步的工作。 展开更多
关键词 DFSM nfsm 约束集 适应性测试
在线阅读 下载PDF
OpenFlow协议IPv6属性测试研究 被引量:2
4
作者 李元平 李华 +1 位作者 赵俊岚 阮宏玮 《计算机工程与科学》 CSCD 北大核心 2018年第10期1757-1765,共9页
鉴于SDN网络中数据转发与控制相互分离的特性,OpenFlow协议在其南向接口中扮演着重要的角色。随着下一代互联网的发展,IPv4可供分配的地址资源已然耗尽,瓶颈地位益发凸显。如何尽快部署IPv6,使其服务于社会生产与生活,使得当前网络与IPv... 鉴于SDN网络中数据转发与控制相互分离的特性,OpenFlow协议在其南向接口中扮演着重要的角色。随着下一代互联网的发展,IPv4可供分配的地址资源已然耗尽,瓶颈地位益发凸显。如何尽快部署IPv6,使其服务于社会生产与生活,使得当前网络与IPv6网络长期共存或平滑过渡到IPv6网络是工业界与学术界要解决的问题。SDN则提供了这样一个选项,其中OpenFlow协议是否支持IPv6协议便成为我们关注的重点。通过形式化方法对OpenFlow协议进行形式化建模,得到其非确定性有限状态机模型,在此基础上得到其测试生成树,以指导测试。同时,对于其是否支持IPv6进行重点关注,利用组合测试的方法,产生了167条测试例。完成了测试引擎的开发,支持高效的测试生成算法,以及测试执行与判定。利用此测试引擎,以上述测试例为测试输入,执行测试过程,同时进一步对测试结果进行分析,得到了定量的分析结果,符合预期要求。 展开更多
关键词 nfsm IPV6 OpenFlow 测试引擎
在线阅读 下载PDF
聚多巴胺纳米纤维膜固相萃取-超高效液相色谱-串联质谱检测淡水鱼中四环素类和氟喹诺酮类药物残留 被引量:14
5
作者 梁思慧 戴海蓉 +4 位作者 张铧尹 李建 张秋萍 许茜 王春民 《色谱》 CAS CSCD 北大核心 2021年第6期624-632,共9页
制备聚多巴胺(PDA)修饰的聚苯乙烯纳米纤维膜(PS NFsM)作为固相萃取吸附介质,可快速提取淡水鱼中3种四环素类(四环素、金霉素、土霉素)和3种氟喹诺酮类(恩诺沙星、环丙沙星、诺氟沙星)药物残留,结合超高效液相色谱-串联质谱(UPLC-MS/MS)... 制备聚多巴胺(PDA)修饰的聚苯乙烯纳米纤维膜(PS NFsM)作为固相萃取吸附介质,可快速提取淡水鱼中3种四环素类(四环素、金霉素、土霉素)和3种氟喹诺酮类(恩诺沙星、环丙沙星、诺氟沙星)药物残留,结合超高效液相色谱-串联质谱(UPLC-MS/MS),建立了药物残留检测的新方法。利用静电纺丝法制备了聚苯乙烯纳米纤维膜,将其作为模板,通过自聚合作用,进行聚多巴胺功能化修饰,得到PDA-PS NFsM材料。对制得的PS NFsM和PDA-PS NFsM材料进行傅里叶红外光谱和场发射扫描电镜表征,证明PDA的成功修饰,修饰后的纳米纤维表面粗糙,呈现核-壳形貌,纤维内部为蜂窝状多孔结构。以空白加标样品的回收率为指标,对PDA-PS NFsM材料的用量、离子强度、样品溶液的流速、洗脱液和突破体积等影响SPE的因素进行考察及条件优化,确定了最佳的SPE条件。该方法对6种目标物的检出限为0.3~1.5μg/kg,定量限为1.0~5.0μg/kg,低于国家标准和行业标准;在各目标物的线性范围内均有良好的线性关系,决定系数(R2)大于0.999,方法的回收率为94.37%~102.82%,日间和日内的相对标准偏差(RSD)均小于10%,与国家标准和行业标准相当。通过固相萃取前后的基质效应对比,表明PDA-PS NFsM具有优秀的净化能力。最后,通过实际样品分析验证了方法的实际应用可行性。该文建立的基于PDA-PS NFsM材料的SPE方法是一种高效环保的方法,可为淡水鱼中药物残留的常规监测提供技术支持。 展开更多
关键词 超高效液相色谱-串联质谱 固相萃取 聚多巴胺 纳米纤维膜 药物残留 淡水鱼
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部