状态迁移图

作品数：14被引量：40H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：刘玉平刘晓冬李莲治刘妙高阳阳更多>>
相关机构：中国科学院软件研究所金蝶软件(中国)有限公司中兴通讯股份有限公司重庆大学更多>>
相关期刊：《计算机应用与软件》《小型微型计算机系统》《实验力学》《计算机教育》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划中国科学院“百人计划”国家重大科学仪器设备开发专项更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
小尺度试件材料力学性能测试拉伸机系统设计被引量：4
《实验力学》2020年第5期925-934,共10页杨国太 刘旭 卢荣胜 
国家重大科学仪器设备开发专项(批准号:2013YQ220749);国家科技支撑项目(2011BAK15B07)资助。
针对小尺度试件材料力学性能测试中如何实现微小试样高分辨率的载荷和位移测量等难题,本文从试样测试的需求出发,设计了一种蜗轮蜗杆丝杠传动式单轴双向拉伸机,以PMAC运动控制卡为核心建立了拉伸机控制系统,结合拉伸机系统中各部件的控...
关键词：PMAC 拉伸机 数控系统 状态迁移图 
在硬件课程设计中引入Quartus Ⅱ状态机编辑器的探索与实践被引量：2
《计算机教育》2019年第10期163-167,共5页吴磊 张永梅 
2018年北京市社会科学基金项目(18JYB015);北方工业大学教育教学改革和课程建设研究项目(NCUT2017JGZ001,18XN009-002);教育部高等教育司产学合作协同育人项目(201801121002);全国高等学校计算机教育研究会2019年度课题(CERACU2019R05);2019年市教委基本科研业务费资助项目(1921/002)
介绍有限状态机的主要特点,阐述用Quartus II状态机编辑器直接将状态迁移图或状态迁移表生成VHDL源代码,完成时序逻辑电路的设计,实现状态机的工程设计思想,探讨引入Quartus II状态机编辑器进行实验教学的一些改革设想与实践。
关键词：有限状态机 状态机编辑器 状态迁移图 VHDL源代码 
一种基于状态迁移图的工业控制系统异常检测方法被引量：13
《自动化学报》2018年第9期1662-1671,共10页吕雪峰 谢耀滨 
基于状态的工业控制系统入侵检测方法以其高准确率受到研究者的青睐,但是这种方法往往依赖专家经验事先定义系统的临界状态,且处理不了系统状态变量较多的情况.针对这一问题,提出一种新的基于状态迁移图的异常检测方法.该方法利用相邻...
关键词：工业控制系统 状态迁移图 异常检测 田纳西–伊斯曼过程 
一种基于有限状态机的测试路径生成方法被引量：2
《小型微型计算机系统》2014年第7期1585-1590,共6页钱忠胜 
国家自然科学基金项目(61262010;61262034;61163007)资助;中国博士后科学基金面上项目(2014M551855)资助;江西省自然科学基金项目(20132BAB201036;20114BAB211019;20122BAB201034)资助;江西省博士后科研择优项目(赣人社字[2013]227号)资助;江西省教育厅科技计划项目(GJJ12743)资助;江西省教育厅科学技术研究重点项目(GJJ13307)资助
有限状态机(Finite State Machine,简称FSM)模型是软件测试领域的流行测试模型之一.基于FSM模型生成测试用例的方法假设给定的模型与用户的需求一致,测试的目标就是检查被测实现是否与模型一致.给出了FSM的代数表示及其相关的测试理论,...
关键词：有限状态机 测试路径 正则表达式 状态迁移图 
林业信息系统模型检测应用方法研究
《智能计算机与应用》2014年第2期117-118,F0003,共3页吴迪 纪明宇 谭克山 王慧 张谨 
全国大学生创新创业训练计划项目(201310225064)
模型检测作为一种形式化验证技术已成功应用于硬件以及协议的性质验证过程,目前正转向软件验证领域并逐渐扩展其应用范围。针对特定的森林防火专家系统的知识库规则,研究其所需满足的性质规范的形式化验证问题。首先将规则体描述为状态...
关键词：模型检测 知识库模型 状态迁移图 时序逻辑 
功能图法在软件测试中的应用
《电信技术研究》2011年第3期73-76,共4页戴岚 邱忆 姜丽丽 
文章提出的功能图法通过采用状态迁移图和逻辑功能模型，同时从动态．静态两方面进行软件测试。具体测试验证表明效果较好。
关键词：软件测试 功能图法 状态迁移图 决策表 
USBCAN总线转换设备在Stateflow下的建模和仿真
《重庆大学学报（自然科学版）》2010年第9期35-40,共6页刘和平 伍元彪 张毅 
国家863计划资助项目(2003AA501350)
USBCAN总线转换设备作为USB总线和CAN总线之间的连接设备,其运行状况和软件设计是否能达到设计的需求,一般的方法很难进行验证,本文通过在Stateflow工具箱下对一种USBCAN总线转换设备进行建模,并且在Matlab/Simulink环境下对整个转换设...
关键词：有限状态机 状态迁移图 仿真 USB CAN STATEFLOW Matlab 
一种基于事件的Web程序测试模型
《计算机应用》2009年第3期695-698,共4页傅鹤岗 陆艳军 曾刚 
基于状态转换的测试方法是探测Web程序动态行为的有效途径。针对Web应用中复杂的动态页面,通过改进现有Web测试方法,提出了一种新的基于事件的测试模型,用Web关系图(WARD)描述Web系统的结构,用基于事件的状态迁移图(SMD)描述复杂动态页...
关键词：WEB测试 模型 Web关系图 状态迁移图 事件 
PLC顺序过程控制系统的状态分析与编程实现被引量：1
《计算机应用与软件》2003年第5期69-71,共3页叶树华 叶菱 崔凯 
状态迁移图和Petri网是软件工程中重要的系统动态分析方法,本文通过实例,介绍了如何用这些方法来分析PLC顺序过程控制系统中设备和系统的状态及其迁移变化规律,并给出相应的梯形图控制程序。
关键词：可编程序控制器 PLC 顺序过程控制系统 状态分析 程序设计 状态迁移图 PETRI网 软件工程 
一种基于网络攻击链路分析法被引量：3
《小型微型计算机系统》2001年第4期405-410,共6页罗铁坚 徐海智 董占球 
基于网络的攻击已变得越来越普遍和复杂 ,许多对攻击行为的分析方法从主机和操作系统转向了网络本身 .防御网上恶意攻击行为的一种有效的方法是分析已知的攻击行为 ,并尽可能分析和确定其攻击链路的主要特征 ,从而为 IDS(Intrusion Dete...
关键词：网络安全 信息安全 状态迁移图 网络攻击 链路分析法 计算机网络 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部