李强

作品数：7被引量：18H指数：2
导出分析报告
供职机构：电子工程学院更多>>
发文主题：电子对抗通信对抗软件测试指挥自动化软件质量更多>>
发文领域：自动化与计算机技术军事电子电信化学工程更多>>
发文期刊：《新型炭材料（中英文）》《计算机应用研究》《小型微型计算机系统》《计算机科学》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
碳纳米管表面Co/MoSe2莫特-肖特基异质结的构筑及高效析氢性能被引量：1
《新型炭材料（中英文）》2023年第6期1059-1069,共11页任先培 胡启威 凌芳 吴飞 李强 庞柳青 
四川省自然科学基金项目(22NSFSC0335);DICP催化国家重点实验室项目(N-22-14).
二硒化钼(MoSe_(2))是一种先进的电解水制氢催化剂,但其电催化性能还远不如金属铂(Pt)。将半导体与金属结合构建莫特-肖特基异质结是一种提高催化活性的有效途径。本文采用溶胶-凝胶工艺和热还原法在碳纳米管表面制备了金属钴(Co)/半导...
关键词：二硒化钼 钴纳米粒子 莫特-肖特基异质结 析氢反应 
基于不透明谓词的软件抗动态逆向分析研究被引量：1
《计算机应用研究》2017年第8期2422-2428,共7页韩翔宇 李强 黄海军 余祥 
技术基础条件建设项目(72131022);电子工程学院科研基金资助项目(KY15N639)
传统的不透明谓词对谓词内部逻辑结构进行复杂化,难以有效应对软件的动态逆向分析。通过插入运行环境检测代码并将检测结果返回给不透明谓词,动态选择分支路径使软件仅在安全环境下运行被保护代码,防止代码被动态分析。引入一般和关键...
关键词：不透明谓词 代码混淆 抗逆向分析 软件保护 
基于高阶π演算的构件演化行为研究被引量：1
《计算机科学》2017年第3期202-208,共7页何海洋 李强 余祥 韩翔宇 
技术基础项目(72141022);电子工程学院科研基金资助项目(KY141623)资助
用形式化的方法分析软件演化过程中构件的行为已成为目前构件开发中的研究热点。为了满足构件演化过程中行为建模形式化的需要,建立了一种基于高阶π演算的构件演化行为分析方法。对构件演化行为进行分类,将顺序图表示的演化请求转换成...
关键词：构件演化 演化行为 高阶π演算 
基于高阶π演算的构件演化模型研究
《计算机应用研究》2017年第1期67-74,共8页何海洋 李强 余祥 韩翔宇 
技术基础项目(72141022);电子工程学院科研基金资助项目(KY141623)
为满足构件演化形式化分析的需要,确保演化正确性,提出了一种基于高阶π演算的构件演化模型。在定义演化构件的基础上,将演化过程中的行为描述为原子行为、结构行为和操作行为,建立行为与高阶π演算间的转换规则、演化行为推演规则,根...
关键词：构件 软件演化 高阶π演算 演化行为 冲突检测 
电子对抗装备软件的测试策略与方法被引量：4
《装甲兵工程学院学报》2004年第2期48-52,共5页李强 许少华 范哲 晁冰 
在阐述了电子对抗装备软件特点的基础上,对研制电子对抗装备软件过程中的测试策略与方法进行了初步的研究,并对在实施测试过程中的几个问题进行了探讨.
关键词：电子对抗装备软件 测试策略 测试方法 
电子对抗装备软件的静态分析方法
《装甲兵工程学院学报》2004年第2期53-56,共4页晁冰 范哲 许少华 李强 
软件的静态分析在很大程度上是对编写软件的语法和文本进行检查,使其符合工程项目的需要.使用C++Test可以帮助编程人员和测试人员完成对程序的自动静态测试.测试人员还可以自定义检查规则来完成对代码的特定需求检查.
关键词：静态测试 C++Test 自定义规则 
一种改进的RSA快速算法被引量：11
《小型微型计算机系统》2001年第1期70-72,共3页李强 张继永 
本文提出一种新的 RSA算法 .这种算法是对传统二进制算法的改进 ,即将指数 e进行 2 k 进制化 ,减少 e的序列长度 ,从而使新算法的迭代计算步数减少 .理论分析和实际应用均表明 。
关键词：快速算法 RSA算法 计算机网络 密码 保密通信 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部