李永亮
- 作品数：7 被引量：5H指数：2
- 供职机构：湖南大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术农业科学交通运输工程轻工技术与工程更多>>
- 基于EFSM模型的软件故障检测与一致性测试生成研究
- 传统软件测试通常是设计合适的测试用例，检测软件是否能够输出预期结果，是对错误表象的检测;而基于故障模型的软件故障检测是根据错误的本质进行检测，其优点是可以根据建立的故障模型来检测系统中的一类或多类故障。有限状态机模型能够...
- 李永亮
- 关键词：扩展有限状态机故障检测
- 文献传递
- 一种油茶籽粕饲料添加剂发酵装置
- 本实用新型公开一种油茶籽粕饲料添加剂发酵装置，包括发酵罐，发酵罐上开设有第二进料口和第二排料口，第二排料口上可拆卸连接有第一密封盖，发酵罐上设置有搅拌机构，发酵罐上开设有取样口，取样口可拆卸连接有第二密封盖，发酵罐配备有...
- 郭新红丁云云周玲蒋帅陈丰林刘书灿肖文君李永亮
- 基于EFSM用户自定义故障模型的测试集生成
- 2009年
- 提出了一种用户自定义故障的EFSM测试集生成方法。该方法应用EFSM切片对EFSM模型进行合理的缩减,有效地避免了从EFSM到FSM转换得到测试集而产生状态空间爆炸的问题,也得到最短的测试用例集合。实验结果表明了新算法对生成最短EFSM测试集是有效的。
- 李永亮李蕊李仁发张焱
- 小麦C2H2型锌指蛋白TaZFP21调控干旱胁迫的机理研究
- 小麦(Triticum L.)是最主要的粮食作物之一,其生长、发育和产量受到干旱、盐、高温、低温等多种非生物胁迫的不利影响。在植物适应逆境胁迫过程中,植物通过胞内特异性感受器识别环境因子的变化,通过激活相应的信号转导途径...
- 李永亮
- 关键词：小麦C2H2型锌指蛋白转录抑制因子干旱胁迫
- 基于扩展有限状态机模型的故障检测被引量：2
- 2009年
- 提出了基于扩展有限状态机的故障检测模型和检测算法。该模型对软件中的故障进行了形式化定义和描述,检测算法对故障模型中的状态变迁进行缩减,检测故障模型的部分状态变迁,进而可以有效缓解状态空间过大而引起的时间和空间效率问题,从而最大限度地发现被测系统中的故障;最后给出了一个简单协议来加以分析和验证。实验表明,该算法可以快速准确地定位软件中故障发生的位置。
- 李蕊李永亮李仁发张焱
- 关键词：扩展有限状态机故障检测
- 一种饲料添加剂生产用干燥装置
- 本实用新型公开一种饲料添加剂生产用干燥装置，包括罐体，罐体转动连接在支架上，支架上设置有翻转机构，翻转机构与罐体传动连接，罐体上开设有料孔和第一排气孔，料孔上可拆卸连接有密封盖；干燥组件包括主轴，主轴转动连接在罐体内，罐...
- 郭新红蒋帅周玲陈丰林刘书灿肖文君李永亮何兆彤
- 基于DHT策略的MANETs网络路由协议研究被引量：2
- 2009年
- 提出了一种分布式MANETs路由协议,该协议综合了基于DHT的应用路由协议Tapestry和网络层路由协议AODV的优点,使用随机路标算法对网络进行分簇,改进了Tapestry算法使其在分簇内节点间共享对象指针。仿真实验表明本协议可以有效避免覆盖层与物理层匹配失效的问题,在节点移动速度较快时仍能保持较高的路由查找成功率和较低的网络开销。
- 李蕊张焱李仁发李永亮
- 关键词：移动自组织网络分布式哈希表对等网络
