状态转换图

作品数：76被引量：182H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：刘贵云张继军吴哲辉董卫李炜更多>>
相关机构：广州大学东南大学山东农业大学山东科技大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划江西省自然科学基金广东省科技计划工业攻关项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 学科=自动化与计算机技术—计算机系统结构x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于DOM状态转换检测XSS漏洞被引量：2
《北京工业大学学报》2018年第9期1208-1216,共9页王丹 刘立家 林九川 赵文兵 杜晓林 
北京市自然科学基金资助项目(4173072);信息网络安全公安部重点实验室开放课题资助项目(C17613)
为提升跨站脚本(cross site scripting,XSS)漏洞检测中对隐藏注入点的扫描覆盖率,有效判定是否存在XSS漏洞攻击,提出构建Web应用文档对象模型(document object model,DOM)状态转换图搜索XSS漏洞注入点的方法.该方法以DOM状态为节点,以...
关键词：跨站脚本(XSS)漏洞 文档对象模型(DOM) 状态转换图 爬虫 Selenium 
“互联网+”背景下嵌入式课程的项目式教学被引量：6
《高师理科学刊》2017年第11期80-83,87,共5页刘春玲 刘聪慧 陆海天 王春武 
吉林省高等学校卓越工程师教育培养计划项目(201512039);吉林省高等教育教学改革研究课题--电子信息工程专业分方向课程群建设与实践研究
针对项目式教学缺少规范及难以实施的问题,提出"七步式项目教学法".以具体嵌入式系统开发项目为例,详细描述了该方法的实施过程.实践证明,该方法能够有效提高学生的参与度,增强工程意识和思维,提高教学效果.同时,该方法为项目式教学的...
关键词：项目式教学 嵌入式系统 蓝牙模块 状态转换图 
基于ATML标准的测试流程表示方法研究被引量：1
《软件导刊》2014年第8期18-22,共5页王斯侠 高艳华 张永全 周华光 
测试信息标准化描述是实现不同ATS平台之间数据交换的关键。针对地面测控设备种类多样及自动测试系统测试任务复杂的情况,对ATML标准进行了深入研究。分析了ATML标准族的背景、目的、模型结构及组件标准,说明了仪器和测试结果组件在实...
关键词：自动测试系统 自动测试标记语言 组件标准 测试流程 状态转换图 
一种用于触摸屏的多级菜单界面实现方法被引量：4
《计算机应用与软件》2013年第10期159-161,188,共4页党宏社 姚勇 张新院 
陕西省教育厅科技计划项目(09JC20)
介绍一种用于触摸屏的多级菜单界面的实现方法,该方法利用状态转换图将人机界面的多级菜单转化为一级菜单去实现,解除了多级菜单概念上的隶属关系,使各个菜单界面的设计与现实相互独立,便于菜单的修改与扩展。该方法只需一个结构体即可...
关键词：多级菜 单触摸屏 人机界面 状态转换图 嵌入式系统 
上下文无关语言的可重复序列及其性质被引量：1
《小型微型计算机系统》2010年第6期1226-1230,共5页张继军 范昊 
国家自然科学基金项目(60673053)资助;国家自然科学基金委员会重大研究计划项目(90718011)资助
通过分析下推自动机的运行规律和特点,提出上下文无关语言的可重复序列的概念,将其划分为平衡重复序列、增重复序列、减重复序列三类;研究了这三类可重复序列在下推自动机的状态转换图中的结构表现和性质,通过分析下推自动机状态转换图...
关键词：可重复序列 Pumping引理 状态转换图 上下文无关语言 
ARINC735A接口协议的设计与实现被引量：4
《计算机工程与设计》2009年第4期819-823,共5页刘志刚 林云松 彭良福 
为了实现机载防撞系统(TCAS)主机与外围功能单元的高效连接,需要定义和设计相关的接口协议。根据美国航空无线电设备标准ARINC735A定义的TCAS系统必须满足的DO-185A的接口和协议,分析和讨论了ARINC735A协议模块在TCAS系统中的功能和上...
关键词：ARINC735A协议 机载防撞系统 多任务 状态转换图 嵌入式操作系统 
基于状态转换图同构求解的等价性验证算法被引量：1
《计算机技术与发展》2009年第3期74-76,83,共4页卢英 李炜 
安徽省高等学校省级自然科学计划项目资助(2006KJ013A)
文中提出了一种基于状态转换图同构求解的时序电路等价性验证算法。算法将两时序电路的等价性问题转化为验证相应状态转换图的同构性。首先将初始状态对匹配为待验证对,然后采用递归的方法验证以初始状态对的下一状态对为初始状态的子...
关键词：状态转换图 同构 时序电路 等价状态对 
Petri网的状态转换图被引量：3
《小型微型计算机系统》2008年第9期1714-1718,共5页张继军 吴哲辉 董卫 
国家自然科学基金项目(60673053)资助
给出Petri网的状态转换图模型,并作为分析工具,分析Petri网重复引发序列在状态转换图中的表现特点,给出标注路径(回路)与引发序列(重复引发序列)的关系及其判定条件,并给出求基本重复引发序列的计算方法;定义了可重复序列之间的依赖性...
关键词：PETRI网 状态转换图 重复序列的依赖性 标注路径 
同步时序逻辑电路设计的新方法被引量：1
《西华师范大学学报（自然科学版）》2008年第2期204-207,共4页谢春茂 
提出了从状态转换图中直接求得触发器的置位和复位函数,从而确定触发器的驱动方程这样一种设计同步时序逻辑电路的新方法.设计原理简单,易于理解,适合于所有同步时序逻辑电路.
关键词：同步时序逻辑电路 触发器 状态转换图 驱动方程 
袋自动机被引量：4
《计算机研究与发展》2008年第z1期190-195,共6页张继军 吴哲辉 董卫 耿霞 
国家自然科学基金项目(60673053)
提出了袋自动机模型和袋语言的概念,并给出了袋自动机的状态转换图;分析了袋语言重复序列在状态转换图中的反映,并划分为不变重复序列、增重复序列、减重复序列和传递重复序列,给出了袋语言的结构特性;研究了袋语言类同Chomsky文法体系...
关键词：袋自动机 状态转换图 袋语言 重复序列 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部