状态机

作品数：2544被引量：6153H指数：23
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：宫云战李宣东尹霞王之梁赵保华更多>>
相关机构：华为技术有限公司中国科学院华中科技大学上海交通大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机应用研究x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于FPGA的TANGRAM分组密码算法实现
《计算机应用研究》2024年第1期260-265,共6页王建新 许弘可 郑玉崝 肖超恩 张磊 洪睿鹏 
教育部新工科研究与实践项目(E-AQGABQ20202704);北京高等教育“本科教学改革创新项目”(202110018002);北京电子科技学院一流学科建设项目(20210064Z0401,20210056Z0402);中央高校基本科研业务费资金资助项目(328202205,328202271,328202269);国家重点研发计划基金资助项目(2017YFB0801803)。
TANGRAM系列分组密码算法是一种采用比特切片方法,适合多种软硬件平台的系列分组密码算法。针对TANGRAM-128/128算法,使用Verilog HDL对该算法进行FPGA实现并提出设计方案。首先,介绍了TANGRAM密码算法的特点和流程,提出了针对TANGRAM...
关键词：TANGRAM 分组密码算法 Verilog HDL 有限状态机 
自动协议逆向工程研究综述被引量：2
《计算机应用研究》2020年第9期2561-2570,2585,共11页王晓晨 沈晶 刘海波 于爱民 蔡利君 
国家重点研发计划项目(2017YFC0820700);黑龙江省自然科学基金项目(F2018011);中央高校基本科研业务费专项资金项目(HEUCFP201808,HEUCFP201838)。
全面梳理了该领域国内外相关文献,归纳分析了自动协议逆向工程的研究现状和发展趋势。为了更清晰地刻画不同方法的特点和比较异同,提出一种基于协议逆向工程输出结果的分类方法,将协议逆向方法分为侧重于协议格式提取、侧重于协议状态...
关键词：协议逆向工程 自动机学习 协议格式提取 状态机推断 
Game AI在计算机生成兵力中的应用研究被引量：1
《计算机应用研究》2020年第S01期17-18,5,共3页王钦钊 张心路 郭傲兵 
针对提高计算机生成兵力的可编辑性和智能性问题,分析对比Game AI(游戏人工智能)的应用现状,运用可视化脚本编辑方法实现了基于脚本的可由非开发者自主编辑的计算机生成兵力。综合目前常用的行为选择算法,提出了一个有限状态机结合神经...
关键词：游戏人工智能 计算机生成兵力 脚本编辑 有限状态机 神经网络 
一种基于语义标注特征的金融文本分类方法被引量：9
《计算机应用研究》2018年第8期2281-2284,2288,共5页罗明 黄海量 
上海市科技人才计划项目(14XD1421000);上海市科技创新行动计划项目(16511102900);上海财经大学2014年研究生创新基金资助项目(CXJJ-2014-438)
针对基于词袋的机器学习文本分类方法所存在的高维度、高稀疏性、不能识别同义词、语义信息缺失等问题,和基于规则模式的文本分类所存在的虽然准确率较高但鲁棒性较差的问题,提出了一种采用词汇—语义规则模式从金融新闻文本中提取事件...
关键词：文本分类 金融文本 语义标注 词汇-语义模式 有限状态机 
一种基于有限状态机的中文地址标准化方法被引量：14
《计算机应用研究》2016年第12期3691-3695,共5页罗明 黄海量 
上海市科技创新行动计划项目(13511505200);上海市科技人才计划项目(14XD1421000);上海财经大学2014年研究生创新基金资助项目(CXJJ-2014-438);上海科学技术委员会资助项目(13DZ0510600)
由于中文的内涵多义性和形式多样性的特点,使中文地址长期以来存在着难以标准化的问题,对进一步开展地址定位、区域网格分析和社情、舆情定位等工作都造成了较大的障碍。针对这个问题提出了基于地址分级模型和有限状态机驱动的新方法,...
关键词：中文地址 地址编码 地址标准化 地址分级模型 地址匹配 有限状态机 
GUI回归测试的测试脚本修复技术研究被引量：3
《计算机应用研究》2016年第1期136-140,共5页朱静 曾红卫 
国家自然科学基金资助项目(61073050)
回归测试对修改后的软件重新进行测试,确认修改没有引入新的错误或导致其他代码产生错误。研究图形用户界面(GUI)回归测试脚本的自动化修复技术,采用有限状态机描述GUI的交互行为,并基于有限状态机(FSM)产生测试用例集;使用自动化测试...
关键词：图形用户界面 回归测试 有限状态机 模型比较 测试脚本修复 
协议状态机推断技术研究进展被引量：9
《计算机应用研究》2015年第7期1931-1936,共6页吴礼发 王辰 洪征 庄洪林 
江苏省自然科学基金资助项目(BK2011115;BK20131069)
介绍了协议逆向工程中协议状态机推断的研究进展。从状态机推断与正则语言学习的关系出发,分析了协议状态机推断的目标与需求;然后依据分析对象不同,将协议状态机推断分为基于指令序列和报文序列两大类,进一步将基于报文序列的状态机推...
关键词：协议逆向工程 协议状态机推断 正则语言学习 指令序列 报文序列 
中断优先级改变对函数静态调用关系影响研究被引量：1
《计算机应用研究》2015年第7期2039-2041,2045,共4页杨志嘉 牟永敏 李良杰 
国家自然科学基金面上项目(61370129);北京市属高等学校创新团队建设与教师职业发展计划项目(IDHT20130519);北京市学科与研究生教育基金项目(PXM2014_014224_000032)
针对中断优先级的改变会对系统的运行产生非预期的执行逻辑,研究了由此所产生的函数之间调用关系的不确定性,提出一种结合中断优先级改变的嵌入式系统静态测试方法。以中断优先级状态机描述中断优先级改变行为,在不包含中断处理函数的...
关键词：中断优先级 函数调用关系 嵌入式系统测试 状态机 
基于有限状态机的网络协议状态机制检测方法被引量：3
《计算机应用研究》2015年第4期1188-1192,1206,共6页潘准洋 刘彩霞 刘树新 
国家"863"计划资助项目(2011AA010604;2011AA010605)
进行网络稳定性测试时,对网络协议状态机制进行检测可以有效提高测试的全面性。基于有限状态机思想提出了一种协议状态机制检测方法。建立待测协议特定消息发送实体的有限状态机模型,确定输入集合;测试并监测实体的状态转移情况,生成状...
关键词：网络稳定性 有限状态机 协议状态机制 状态转移图 
无线移动终端的SAV协议的形式化建模与模型检测
《计算机应用研究》2014年第6期1877-1879,1882,共4页谢光颖 龙士工 杨翰文 
国家自然科学基金资助项目(61163001)
公钥数字签名方案中验证方是低运算能力的移动智能设备时,验证方在验证过程中需要借助于服务器来辅助验证。SAV(server-aided verification)协议是一个对无线移动终端实现辅助计算和签名验证的协议,利用有限状态机对该协议中签名方、验...
关键词：服务器辅助验证协议 模型检测 NuSMV工具 有限状态机 计算树逻辑 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部