杨国武
- 作品数：59 被引量：78H指数：4
- 供职机构：电子科技大学计算机科学与工程学院更多>>
- 发文基金：国家自然科学基金四川省教育厅重点项目四川省重点科技攻关项目更多>>
- 相关领域：自动化与计算机技术理学电子电信文化科学更多>>
- 基于广义符号轨迹赋值模型验证的反例的产生被引量：1
- 2010年
- 广义符号轨迹赋值(Symbolic Trajectory Evaluation)引入了符号变量和抽象技术,解决了验证中状态爆炸的问题,但是却为寻找反例制造了很多障碍。针对此,提出了一种高效的寻找反例的算法,它应用集合的概念,通过回溯在父子路径之间进行集合的交集,可以高效地解决抽象引起的问题。并对此算法进行改进,解决了符号变量带来的问题。
- 李义年曹占涛郑德生杨国武
- 关键词：反例形式化验证
- 三值量子基本门及其对量子Fourier变换的电路实现
- 上可以把量子基本门组合在一起实现任何量子电路和构建可伸缩的量子计算机.但由于构建量子线路的量子基本门数量庞大,要正确控制这些量子门是十分困难的事情.因此,如何减少构建量子线路的基本门数量是一个非常重要和非常有意义的课题....
- 樊富有杨国武张艳杨钢
- 关键词：量子计算机
- 基于量子遗传算法的无线视频传感网络优化覆盖算法被引量：17
- 2015年
- 针对智慧城市无线视频传感网络建设需要,提出一种基于量子遗传算法的网络优化覆盖算法。算法面向复杂的监视区场景,监视区中存在形状各异的障碍物,各区域的重要程度不同。以二维离散网格模型描述监视区场景,用编码描述矩阵表示监视区域,用七元组描述有向无线视频传感器。通过严格的数学推导得出了问题的数学规划模型。优化覆盖算法由Intial Deployment算法和Optimized Deployment算法2部分组成,以获得最大有效覆盖率的网络部署方案为求解目标。采用量子遗传算法搜索解空间,通过合理编码染色体,优化量子旋转门参数,使算法的运算速度快,收敛性好。引入理想覆盖率和理想加权覆盖率2个极限值,采用相对比较法评判算法优劣。仿真实验和数据分析表明,算法获得的方案能很好地逼近理想极限值。在传感器节点数给定的情况下,算法能获得最大的覆盖率。
- 樊富有杨国武乐千桤吕凤毛赵超
- 关键词：有向感知模型量子遗传算法
- 一种动态标签深度学习算法
- 本发明公开了一种动态标签深度学习算法，包括S1、输入数据集D；S2、随机初始化分类器f(x；0)；S3、随机将数据集D划分为训练集D<Sub>train</Sub>和验证集D<Sub>valid</Sub>；S4、对训练...
- 刘德富杨国武
- 文献传递
- 公钥可搜索加密及其在物联网环境下的应用研究进展
- 2020年
- 文章主要介绍了公钥可搜索加密及其在物联网环境下的应用研究进展.围绕物联网环境下公钥可搜索加密应用研究的功能需求这个核心,在细粒度的数据搜索、用户访问权限更新和数据可用性等三个方面对公钥可搜索加密关键性技术研究进行了归纳和总结.最后,对未来公钥可搜索加密在物联网环境中的应用研究新需求进行了讨论.
- 周让张小松汪小芬汪小芬杨国武
- 关键词：物联网数据安全
- 图像的检测装置
- 本发明实施例提供了一种图像的检测装置，涉及医学技术领域。所述方法包括获取待检测的超声波图像，再根据预设的目标检测网络模型对所述待检测的超声波图像进行检测，获取所述待检测的超声波图像中的目标对象，以此实现自动检测到超声波图...
- 杨国武秦晓明曹占涛曾安军聂婧梁涛董俊文吕凤毛林晨张艳张菊玲
- 文献传递
- SST39VF040 NorFlash芯片的软件仿真实现被引量：1
- 2011年
- 针对嵌入式开发平台上的SST39VF040 NorFlash芯片,根据其硬件结构定义了芯片的数据结构,通过其工作原理,分析了芯片读、写、擦除操作的工作过程,建立起对应的有限状态机(FSA)转化控制模型.利用此模型与定义的数据结构,设计与实现了该芯片功能的软件仿真.测试表明,仿真的NorFlash可以支持Bootloader的Flash操作,在降低开发成本和提高开发效率方面有显著成效.
- 王志平杨国武李晓瑜
- 关键词：软件仿真嵌入式系统U-BOOT操作系统内核
- 基于量子卷积的分子图分类方法、系统、存储介质及终端
- 本发明公开了基于量子卷积的分子图分类方法、系统、存储介质及终端，通过池化模块FPOOL对生物数据集分子图结构数据进行池化；对池化后的分子图节点特征进行量子编码到量子系统上；通过跨量子位门操作实现节点特征传递，得到更新分子...
- 李晓瑜张禄余莲会朱钦圣杨国武吴研依
- 一类半线性时变常微分方程解的分布
- 2010年
- 研究了一类赋初值的半线性时变常微分方程在不同参数条件下方程的正解和负解的分布情形及其渐进性质.通过Matlab数值分析,直观地展示了该类半线性时变常微分方程解的分布.
- 李义年杨国武
- 一种基于ITQ算法的印尼语相似新闻推荐方法
- 本发明提供了一种基于ITQ算法的印尼语相似新闻推荐方法，首先，提取每篇印尼新闻中的标题以及正文，保存至对应印尼新闻的字段中；根据所述印尼新闻数据训练Word2Vec模型，得到新闻到向量的映射字典；通过ITQ算法得到最优旋...
- 杨国武杨晓强张庆颖陈祥熊菊霞黄勇王逸尘刘海洋
- 文献传递
