张必英
- 作品数：36 被引量：22H指数：3
- 供职机构：哈尔滨商业大学更多>>
- 发文基金：教育部“新世纪高等教育教学改革工程”项目黑龙江省自然科学基金中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术电子电信文化科学更多>>
- 基于MTPA算法的车联网信息广播
- 基于MTPA算法的车联网信息广播，属于汽车移动互联网领域，为解决现有信息传输不能针对网络断连情况的问题。过程为：产生原中继节点；中继节点广播信息包；每走2R距离播放一次信息包。中继节点查询到有同向行驶进入本身发射圈内汽车...
- 崔刚付忠传暴建民潘波王秀峰邹炳松朱东杰张策张必英季春光
- 文献传递
- 温度约束多核处理器最大稳态吞吐量分析被引量：1
- 2015年
- 随着多核处理器功耗密度的不断增大,温度约束条件下的性能分析已经成为多核处理器早期设计优化的重要组成部分.当处理器运行不同的任务时,处理器温度具有很大的差异性,但现有研究成果并没有考虑任务差异性对处理器性能的影响.针对采用动态频率电压调节作为温度管理技术的多核处理器,为了提高在温度约束条件下稳态吞吐量的分析准确性,考虑不同任务之间的差异性,提出一种新的最大吞吐量分析方法.将任务特征引入性能分析模型,论证了当多核处理器吞吐量达到最大值时各处理器核上任务特征之间的关系,将最大稳态吞吐量分析归结为线性规划问题.仿真实验结果表明,所提方法具有较好的分析准确性,任务特征对多核处理器最大吞吐量具有非常大的影响.
- 张必英陈红松崔刚傅忠传
- 关键词：多核处理器吞吐量分析
- 一种人机操作设备
- 本发明涉及计算机领域，更具体的说是一种人机操作设备包括矩形框，所述矩形框上插有多个格栅条，多个格栅条的后侧固定在后杆上。所述矩形框后侧的两端均固定有螺纹柱，后杆的两端分别插在两个螺纹柱上，每个螺纹柱上均螺纹连接有螺母。所...
- 杜左强张必英
- 基于分组的启发式SAT新算法——DC&DS算法被引量：1
- 2008年
- 目前提高求解SAT问题完全算法的计算效率问题已成为挑战性研究问题。提出了一种基于启发式分组的SAT完备算法。启发式分组策略将一个全局搜索问题,转为局部搜索问题。并将该策略引入到结合BDD与SAT算法的形式验证中,与一般的启发式SAT算法相比,该算法在求解速度和求解问题的规模等方面都明显地改进了,实验结果表明了该算法的可行性和有效性。
- 陈丽张必英
- 关键词：等价性验证布尔可满足性
- 一种基于机器学习的区块链四阶段共识方法
- 为了利用区块链服务节点的算力对机器学习模型进行训练，同时也为了提高共识速度，本发明提供了一种基于机器学习的区块链四阶段共识方法。本发明所提供的区块链共识方法把共识过程分为任务发布、预训练、最终训练、验证与奖励四个过程。客...
- 张必英杜左强马颖
- 基于额外度的VANET广播方法
- 基于额外度的VANET广播方法，本发明涉及车载无线自组网的广播通信方法。它解决了基于固定门限值的车载无线自组网广播通信方法在密度频繁发生变化时无法满足应用需求的问题。它包括下述步骤：源节点发出广播消息；每个车辆节点在第一...
- 崔刚周连科朱东杰王秀峰付忠传暴建民莫毓昌张策张必英刘永文
- 文献传递
- 一种笔记本散热器
- 本实用新型提供了一种笔记本散热器，包括底板和盖板，底板和盖板之间通过合页连接，底板上设有用于散热的风扇，底板的下边沿设有挡板，所述盖板上设有LED灯，LED灯通过螺栓固定在盖板的中部。本实用新型结构简单，设计巧妙，在盖板...
- 张必英
- 文献传递
- 考虑车辆交通特性的VANET分簇方法
- 考虑车辆交通特性的VANET分簇方法，本发明涉及车载无线自组网的分簇方法。它解决了车载无线自组网传统的分簇算法针对影响分簇结构的连通性、稳定性、负载平衡等因素中的某一个因素来进行，而不考虑影响分簇的其它方面的缺点。本发明...
- 崔刚周连科朱东杰王秀峰付忠传暴建民莫毓昌张策张必英刘永文
- 文献传递
- 粗糙集中属性集变化时规则集动态更新方法
- 粗糙集中属性集变化时规则集动态更新方法，它涉及一种规则集动态更新方法。本发明方法从近似集动态变化角度来讨论决策规则集的动态变化规律，同时也提出了在条件属性集和决策属性集同时变化时决策规则集的变化规律，并给出了条件属性增加...
- 崔刚刘永文付忠传王秀峰暴建民朱东杰莫毓昌张策张必英郝亮
- 文献传递
- 基于移动点的FSQ‑RWD软件可靠性增长方法及该方法的修正方法
- 基于移动点的FSQ‑RWD软件可靠性增长模型及该模型的修正模型，涉及软件故障修正技术。它为了解决软件故障修正模型不能详细地刻画软件故障修正过程的问题。本发明针对故障修正服务台动态调整而产生移动点，利用移动点技术，建立考虑...
- 崔刚付忠传张楠暴建民潘波张策朱东杰王秀峰张必英季春光
- 文献传递
