王永
- 作品数：26 被引量：10H指数：1
- 供职机构：上海微小卫星工程中心更多>>
- 发文基金：中国科学院战略性先导科技专项国防基础科研计划更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术电子电信更多>>
- 面向构件化星务软件通用化测试用例库的建设与管理被引量：1
- 2021年
- 构件化的星务软件设计模式适应了微小卫星星载软件快速研制的需求,但是传统的卫星软件测试模式难以匹配该种软件研制速度。为了解决该问题,提出基于历史先验用例建立基准用例库,通过不同卫星型号软件对基准用例库的用例进行动态优化、迭代复用,来适应星务软件快速测试、高效测试的需求,通过量子通信科学试验卫星的星务软件测试实践证明,该种多个卫星型号之间构件测试用例资源共享重用机制可极大地提升整个卫星软件研制过程的效率和质量。
- 王永常亮王明亮徐元旭
- 应用聚类和粗糙集的FPGA底层数据挖掘被引量：1
- 2013年
- 提出了一种从XDL文件中提取现场可编程门阵列(FPGA)底层逻辑和布线资源的方法。预处理阶段通过正则表达式将原有底层逻辑文件转换为待分析的有层次属性的关系型数据库。数据挖掘阶段则根据各个层次数据内部的特性不同,采用不同的算法进行聚类来得到初步知识。通过粗糙集分析初步知识间的关系和约简属性,得出初步知识间的联系同时进一步提取出决策规则和产生式规则的知识。最后,通过规则验证器和泛化器对提取出的规则进行验证和泛化。实验结果表明,对于大型的FPGA器件,wire的逻辑最高压缩比可以达到2.88×10-4。该方法相对于底层器件有较好的通用性和交互性,适用于对不同器件族FPGA底层信息的知识提取,对深入研究FPGA的拓扑架构,提高对FPGA进行动态重配置的可控性和实现更灵活的重配置很有意义。
- 姜大力赵波王永李华旺杨根庆
- 关键词：现场可编程门阵列数据挖掘粗糙集聚类
- 一种基于多因素模糊理论推理及层级分析法的卫星综合效能评估方法
- 本申请涉及一种基于多因素模糊理论推理及层级分析法的卫星综合效能评估方法，包括层级划分；得到评估指标体系集合；以各自不同的权重值划分层级；针对某一特定指标选取可能的评价结果；进行从下至上的单因素指标评判；建立多因素模糊隶属...
- 虞业泺于慧亮施敏华许永建王永常枭
- 文献传递
- 离线测试数据采集装置
- 本发明提供了一种离线测试数据采集装置，包括信号处理模块以及主处理器；所述信号处理模块置入被测物体中并与传感器相连，用于接收传感器数据并进行处理获取测试数据；所述主处理器置入被测物体中并与所述信号处理模块相连，用于根据控制...
- 常亮陈宏宇袁明付碧红王永
- 文献传递
- 一种IO地址到IO对象快速映射方法及系统
- 一种IO地址到IO对象快速映射方法及系统，方法包括如下步骤：1)采集所有IO块的基地址、大小以及间隔，并按地址顺序排列；2)选取最小间隔值，从而获取空隙值，其中空隙值小于等于最小间隔值；3)以IO地址空间的起始地址为起始...
- 刘虎胡步青王永常亮
- 文献传递
- 一种非侵入式微小卫星在轨自主健康状态监测方法
- 本发明提供了一种非侵入式微小卫星在轨自主健康状态监测方法，包括如下步骤：(1)提出需要采集的健康状态信息；(2)采集卫星各分系统的健康状态信息；(3)提取健康状态信息的健康特征；(4)根据健康特征进行卫星健康初判；(5)...
- 王明亮王永吴智鹏施长胜王国华常亮
- 文献传递
- 微小卫星星内光无线通信系统的设计被引量：7
- 2013年
- 星内光无线通信系统具有体积重量小、能耗低和不受电磁干扰影响等优点,尤其是可在微小卫星总线系统中代替传统的有线电缆,因而有着广阔的应用前景。提出一种星载光无线通信系统应用布局,在不破坏已有的星内空间布局的前提下获得完整的系统通信链路,并使用商用器件构建收发电路和控制电路,利用串口总线设计了地面演示系统。
- 曹红红李华旺王永常亮
- 关键词：微小卫星漫反射
- 计算机安全审计系统及方法
- 本发明提供了一种计算机安全审计系统及方法，包括：信息特征提取模块提取需交换信息的信息特征；时间特征提取模块提取需交换信息的时间特征，并提供至请求码生成模块；硬件特征提取模块提取需交换信息的硬件特征，并提供至请求码生成模块...
- 周华王永乐国庆常亮施敏华
- 文献传递
- 一种星载软件在轨编程方法
- 本发明涉及一种星载软件在轨编程方法，该方法包括下列步骤：将要进行在轨编程的子程序输入到卫星的随机存取存储器RAM中；以及在所述RAM中对子程序地址表进行修改，使得所输入的子程序的入口地址指向所述RAM中的所输入的子程序的...
- 石薇许永建王永李杰常亮尹力常枭王全清
- 文献传递
- 一种基于动态故障树的嵌入式星载软件测试用例生成方法
- 本发明提出一种基于动态故障树的嵌入式星载软件测试用例生成方法，包括如下步骤：(1)确定被测软件在轨实际动态运行剖面及输入空间；(2)建立运行剖面的故障模式传播路径以及故障模式集合；(3)建立动态故障树；(4)构建动态故障...
- 王明亮徐元旭王永许永建尤志坚施敏华
- 文献传递
