李震
- 作品数：115 被引量：110H指数：5
- 供职机构：江苏科技大学更多>>
- 发文基金：国家自然科学基金中国航空科学基金江苏高校优势学科建设工程资助项目更多>>
- 相关领域：自动化与计算机技术电气工程电子电信自然科学总论更多>>
- 基于动态遗传算法解决多波攻击下舰船恢复策略优化方法
- 本发明公开了一种基于动态遗传算法解决多波攻击下舰船恢复策略优化方法。属于在多约束下提高系统弹性领域，步骤：建立多波次的包含不同爆炸当量及打击落点的敌方攻击矩阵；构建动态的效能等级矩阵；构建灵活的有针对性的舰船攻击防御系统...
- 李震田璐李阳苗虹王召斌
- 一种基于粒子群算法和遗传算法混合的救援规划方法
- 本发明公开了一种基于粒子群算法和遗传算法混合的救援规划方法。属于资源调度路径优化领域，步骤：将城市进行网点规划；在网格化城市时要将重点的地点进行标记；当执行任务时，调度中心接收实时道路情况，在网图上做出标记；当救援任务下...
- 李震王泽威李彤杨学刚
- 无刷直流电机单相霍尔故障的容错控制方法及系统
- 本发明公开了一种无刷直流电机单相霍尔故障的容错控制方法及系统，其中方法包括：分别获取预设时间范围内的三个霍尔传感器的数个开关量信息，并对数个开关量信息进行编码，形成数个开关量信息编码；将数个开关量信息编码转换为开关状态排...
- 万斌斌魏海峰张懿李震李可礼李垣江刘维亭王浩陈
- 文献传递
- 基于时间和任务重要度的系统弹性恢复研究被引量：1
- 2021年
- 作为系统重要属性之一的弹性受到越来越多的关注,而系统在受损后的规定时间内应当尽量多的恢复关键任务,所以相应的恢复策略的制定以及能够恢复到什么程度对系统的弹性来说是十分重要的。针对这种情况,文章提出一种新的考虑时间以及任务重要度等因素的适应度函数,利用遗传算法求解规定时间内系统恢复任务重要度的最大值,获得模型的满意解。仿真算例中,通过对比表明应用此算法的系统拥有更高的弹性恢复能力,证明了该模型和算法的有效性。
- 李震崔骁松孙晨旭苗虹王东升王召斌魏海峰
- 关键词：遗传算法
- 基于ZigBee和Android的博物馆文物监护系统
- 本发明公开了一种基于ZigBee和Android的博物馆文物监护系统，包括ZigBee终端、监控终端和ZigBee协调器，ZigBee终端，用于收集文物箱内环境状态信息，包括ZigBee无线通信发送模块，ZigBee无线...
- 李震代品宣杨帆赵彬
- 文献传递
- 一种机电设备过载保护用检测报警装置及方法
- 本发明公开了一种机电设备过载保护用检测报警装置及方法，涉及机电设备技术领域，该一种机电设备过载保护用检测报警装置，包括：机体，所述机体的前侧铰接有机门；安装机构，所述安装机构安装于机体的内部，且所述安装机构包括安装组件、...
- 李震张彬魏海峰李可礼
- 文献传递
- 一种实时嵌入式软件自动化闭环测试方法
- 本发明涉及一种实时嵌入式软件自动化闭环测试的方法。该方法是利用基于通用编程语言实时扩展的实时嵌入式软件测试描述语言的灵活特性，及其执行引擎的可嵌入性、移植性和实时运行特性，可完成实时测试运行过程中测试人员与被测系统的实时...
- 殷永峰刘斌蒋崇武李震
- 文献传递
- 一种AST联合特征的LSTM软件缺陷预测方法
- 本发明公开了一种AST联合特征的LSTM软件缺陷预测方法，包括以下步骤：(1)获取软件历史版本源代码和缺陷数据；(2)将源代码解析成抽象语法树；(3)前序遍历抽象语法树得到AST节点序列，再通过词嵌入的方式得到词向量序列...
- 李震孙卫林姜靓
- 基于本体的软件安全性需求建模和验证被引量：8
- 2012年
- 由软件引起的灾难性事故原因往往源于安全性需求,目前主观的人工评审方法并不能满足软件安全性需求严格的验证要求.因此,讨论了软件安全性需求的定义,遴选了国内外公认的相关标准和手册作为需求验证的知识基础,根据"七步法"建立了本体模型,利用本体模型中的概念和关联来形式化地描述规则以支持验证;同时基于以上研究内容设计和实现了软件安全性需求形式化建模和验证的工具原型,并对使用工具实施验证和使用人工评审实施验证进行了对比分析实验.实验结果表明形式化工具原型在验证时间和验证次数上都大大优于人工验证方法,同时工具原型具有良好的易用性.
- 李震刘斌苗虹殷永峰
- 关键词：本体形式化验证
- 一种Android手机软件可靠性测试方法
- 本发明公开了一种Android手机软件可靠性测试方法，测试用例生成工具兼容Android系统的所有原子操作，用可视化的方式对Android软件进行可靠性测试用例的编写，并且可以根据用户的实际操作习惯生成软件的测试用例，根...
- 李震王肖尹隽卢超王宇轩
- 文献传递
