状态机

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与设计x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于SM2的强前向安全性两方共同签名方案
《计算机工程与设计》2024年第8期2290-2297,共8页薛庆水 卢子譞 马海峰 高永福 谈成龙 孙晨曦 
国家自然科学基金项目(61672350、61170227);上海应用技术大学协同创新基金项目(39120K178038);教育部人文社科基金项目(14YJA880033);国家社会科学基金项目(16BGL003)。
现存SM2数字签名研究已不能满足长期使用主私钥的安全。为更好保证成员私钥安全,结合两方共同签名与SM2算法,在现存方案的基础上加入强前向安全性,无可信中心,可避免可信中心权威欺诈与长期使用主私钥被窃取问题。该方案具有3个特点:前...
关键词：SM2 共同签名 强前向安全性 SHAMIR 秘密共享方案 秘密分割 有限状态机 
基于层次状态机的服务组合
《计算机工程与设计》2022年第10期2777-2782,共6页张飒 朱雪峰 
中国石油大学科研基金项目(KYJJ2012-05-17)。
为防止跳转过多、状态空间爆炸,基于层次状态机对服务进行组合。提出描述服务状态机和服务社区的概念,通过用户的输入和目标输出,提出一种方法将服务划分为多个超状态,同一超状态的服务进行并行组合。组合优化阶段,在构建层次状态机的...
关键词：WEB服务组合 层次状态机 约束条件 服务质量 去冗余服务 
状态驱动的电力信息系统注入漏洞检测模型被引量：3
《计算机工程与设计》2021年第3期614-621,共8页殷博 刘磊 朱静雯 许静 
国家电网公司总部科技基金项目(SGTJDK00DWJS1900105)。
SQL注入漏洞是危害最为严重的电力Web信息系统漏洞之一,且其隐蔽性、逻辑性和时序性等特点不断增强,传统漏洞分析方法已难以满足当前的检测要求,造成准确度不足的问题。对此,提出一种状态驱动的电力Web信息系统SQL注入漏洞安全特征分析...
关键词：电力信息系统 安全漏洞 扩展有限状态机 安全测试 SQL注入漏洞 
飞机协同维修仿真的交互状态机模型被引量：1
《计算机工程与设计》2020年第1期297-300,F0003,共5页董健康 姜乃心 耿宏 
中美绿色航线合作基金项目(GH21661279)
针对目前飞机维修场景众多的特点,提出一种适用于飞机协同维修的交互状态机模型。运用UML状态机建立维修人员、操作对象的状态转移模型,基于操作对象间的约束关系、操作对象-维修场景-维修人员的关系建立行为交互模型,将行为交互模型与...
关键词：协同维修 UML状态机 状态转移模型 行为交互模型 交互状态机模型 
基于EFSM的最小测试用例集生成方法被引量：1
《计算机工程与设计》2019年第9期2502-2506,共5页陈孔婷 王兴起 
浙江省自然科学基金项目(LQ16F020006、LY17F020023)
影响测试成本的主要因素是测试用例集规模和测试用例的总长度,为降低测试成本,对测试用例生成技术进行研究,提出一种基于集合覆盖理论的最小测试用例集生成方法。设计迁移覆盖算法,其中引入关键迁移概念,设计最小测试用例集算法用于合...
关键词：扩展有限状态机 最小测试用例集 迁移覆盖 测试成本 测试效率 
Web服务中隐私信息违例识别与补偿策略设计
《计算机工程与设计》2017年第8期2015-2019,共5页陈莉萍 王宇平 哈渭涛 
国家自然科学青年基金项目(U1404622);陕西省教育厅教育科研基金项目(16JK1273)
为判定Web服务中隐私或敏感数据是否被违规使用,定义Web服务的隐私数据模型,为SLA增加面向隐私数据的条款;构建隐私信息监测模型(private information monitoring model,PIMM),在该模型中对隐私数据实施分类,抽象表示不同类型隐私数据,...
关键词：WEB服务 隐私信息违例 有限状态机 补偿策略 风险价值 
弹光调制傅里叶变换光谱仪中数据通信被引量：2
《计算机工程与设计》2016年第10期2821-2825,共5页李珊 陈媛媛 王志斌 张敏娟 王丽 谭绪祥 李克武 
国家自然科学基金青年科学基金项目(61505180);山西省青年科技研究基金项目(2015021084;2014021012)
在弹光调制傅里叶变换光谱仪(PEM-FTS)中,为满足实时干涉信号的高速采集与处理的要求,提出基于FPGA+DSP的硬件平台实现方案。使用32位浮点型DSP芯片TMS320C6713的外部存储器接口(EMIF)与FPGA连接,利用DSP的中断、片选及读写使能信号作...
关键词：弹光调制 数字信号处理器 外部存储器接口 现场可编程门阵列 状态机 非均匀快速傅里叶变换 
基于ARM-FPGA的小型PLC逻辑运算控制器的设计被引量：5
《计算机工程与设计》2016年第9期2394-2399,2404,共7页吴洁琼 蔡启仲 潘绍明 余玲 
广西科学基金项目(桂科自2014GXNSFA118392);广西教育厅科研基金项目(2013LX092)
针对PLC逻辑运算的功能和特点,分析如何在ARM-FPGA构成的PLC上更好地实现逻辑运算,对逻辑运算指令表进行优化,提出一种多操作位并行执行逻辑运算控制器的思路。以FPGA为平台,采用Verilog语言描述硬件电路,借助有限状态机模型分析逻辑运...
关键词：逻辑运算 有限状态机 指令表 可编程逻辑控制器 现场可编程门阵列 
基于簇首轮换的农田WSN节点能耗状态机被引量：2
《计算机工程与设计》2014年第8期2723-2727,共5页缪祎晟 吴华瑞 朱华吉 李飞飞 
国家科技支撑计划基金项目(2012BAD52G01);北京市自然科学基金项目(4122034)
针对大规模农田应用中传感器无需不间断采集和上传数据的场景,在无线、多跳自组织网络簇首轮换机制的网络结构基础上,提出节点能耗状态机。从单一节点自身能耗出发,按照节点不同能耗状态,由处理器模块控制节点各模块在不同工作状态间转...
关键词：无线传感器网络 能耗状态机 大规模农田 簇首轮换 低功耗设计 
EFSM模型字符串测试数据自动生成研究
《计算机工程与设计》2014年第6期1968-1972,共5页尤枫 刘宜桦 赵瑞莲 
国家自然科学基金项目(61073035;61170082)
字符串测试数据自动生成是目前的研究难点,还没有很好地解决方法。针对这个问题,提出了一种将符号执行约束求解与搜索算法相结合实现基于EFSM模型的字符串测试数据自动生成方法。将测试数据候选字符集中的字符通过取余编码转换为整数;...
关键词：扩展有限状态机 符号执行 搜索算法 测试数据生成 字符串 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部