基于模块化Abstract_Re_省略_ine算法框架的软件模型检测方法_王舜

Abstract-Refine（抽象—精炼）方法是软件模型检测领域中较为有效的设计思想,具有较高的通用性和效率优势,但目前并没有一个框架可以对其精确进行描述及实现有效的模块化使用和替换.本文提出了一种模块化的Abstract-Refine算法框架,分析和解释了Abstract-Refine算法所接受的输入程序的精细结构和特性,并对Abstract-Refine算法和相关子算法运用平衡操作符做以模块化解耦,使得子算法的修改和更换不需要依赖对上层的变更.经过实验验证,本方法可有效实现传统算法模块化解耦,同时不对原算法的性能造成冲击.

2021-04-30
阅读459
下载0
6页
pdf

基于空间解析模型观测器的永磁同步电机直接转矩控制算法优化_钟再敏

针对永磁同步电机（PMSM）直接转矩控制（DTC）中磁链和转矩观测器误差较大引起的转矩脉动的问题,提出了一种基于空间解析模型的磁链和转矩观测器,并应用于基于空间矢量脉宽调制的直接转矩控制（SVPWM-DTC）中。通过有限元仿真获取磁链和转矩数值解,由该数值解推导了一种考虑电机空间谐波和磁饱和特性的磁链和转矩空间解析模型,构建了一种新型高精度的磁链和转矩观测器。仿真和试验对比表明,基于空间解析模型的观测器具有较高精度,能够有效抑制观测器误差导致的SVPWM-DTC转矩脉动。

2021-04-30
阅读459
下载0
6页
pdf

基于PCA_LSTM模型的多元时间序列分类算法研究_张可

多元时间序列数据广泛存在于金融市场、动作识别等众多领域,但由于其存在指标多、时序长等特点,现有分类算法难以兼顾两个维度的特征提取。文章提出将PCA和LSTM综合应用于多元时间序列分类问题中序列,采分用类P算CA法提。取并指通标过维与度k N特N征、SV,利M用等L分ST类M算遗法忘在门多学个习数时据间集维上度的特实征验,对从比而,建验立证基了于该P方C法A-不LS仅TM降的低多了元计时算间复杂度,且在多个数据集上均取得了精度较高的实验结果。

2021-04-25
阅读459
下载0
6页
pdf

基于遗传算法的SiC_MOSFET导通电阻模型_曹瀚

提出了一种简洁、新颖的SiC MOSFET器件导通电阻模型,该模型采用遗传算法对其不同温度下的导通电阻进行准确描述。相比于传统的导通电阻建模方案,采用进化算法可以准确地得到MOSFET导通电阻与结温之间的关系。并探究了不同种群规模、交叉率和变异率对算法的影响。为了验证模型的准确性,采用一款自主封装的1 200 V/90 A SiC MOSFET模块去验证模型的静态特性,并与传统导通电阻建模方案进行对比,其最大误差为4.1%。

2021-04-25
阅读459
下载0
7页
pdf

模型剪枝与低精度量化融合的DNN模型压缩算法_吴进

拥有庞大参数量的网络模型很难部署在智能手机、可穿戴智能设备等资源受限的移动设备上。从深度神经网络模型的基本原理出发,在现有压缩算法的基础上,采用优化剪枝策略与参数量化的方法相融合,提出了一种结果导向的数据驱动剪枝算法,利用低精度的量化算法来进一步压缩模型。使用VGGNet作为原始模型,在Kaggle猫狗图像和Oxford102植物样本集上进行微调。实验数据表明,使用本实验改进的方法,模型压缩的存储容量下降到113.1 MB,识别率提高到86.74%。

2021-04-26
阅读459
下载0
8页
pdf

【解决方案】充分利用大数据、人脸识别技术建设新型智慧警务平台

对于公安机关来说，拥有大数据信息化情报分析平台，可以有效的减少警力成本，以最小的警力掌控辖区所产生的信息数据，增强“打防管控服”新型警务模式，维护社会治安的稳定。亦可进行跨省份、跨部门信息流转，共享数据资源，打击不法分子。面对日渐上升的警力成本，以“汗水警务”方式亦或传统式情报管理工具分析及管理情报数据信息，运用新型“智慧警务”平台将大大的提高了工作效率。

2021-04-26
阅读459
下载0
15页
docx

2020企业经营白皮书

作为一款面向企业的商业产品，企业号最常思考的问题是——如何帮助企业实现「利润和价值的最大化」，如何帮更多企业商家经营好生意。这不仅是企业经营的核心痛点，也是企业号产品的愿景。

2021-04-22
阅读459
下载0
61页
pdf

基于区块链技术的小微企业金融服务大数据解决方案

随着我国经济的不断发展，出现了经济结构性减速，由此带来的经济下行压力成为发展面临的难题之一，而应对经济下行压力的关键要素之一就是搞活小微企业。小微企业是中国经济的支柱与基石之一，但融资问题已经成为制约小微企业生存和发展的致命问题。互联网技术的不断发展和区块链技术的兴起，为解决小微企业融资问题提供了新的思路。本文阐述了小微企业融资的现状，并结合实例提出运用区块链技术解决小微企业融资问题，为优化小微企业融资环境提供新思路。

2021-04-18
阅读459
下载1
4页
pdf

上一页 1 …… 1637 1638 1639 1640 1641 1642 1643 1644 1645 1646 1647 …… 16635 下一页共 133074 条



立即登录

没有账户，需要注册

登录用户可享受以下权益

免费下载方案
服币提现
发布方案得服币
交易分成

精品推荐

2026“人工智能+”行业发展蓝皮书

2025年，全球人工智能市场规模达到3909亿美元，中国人工智能核心产业规模突破9000亿元。AIAgent细分市场以49.6%的年复合增长率高速扩张，制造业应用大模型的企业比例在一年之内从9.6%跃升至47.5%。从2024年初，中国日均词元(Token)调用量为1000亿;至2025年底，跃升至100万亿;2026年3月，已突破140万亿，两年增长超千倍。这些数字背后，是一场深刻变革的加速到来-人工智能正在从"能力突破"走向“系统重构”。

阅读1877
下载7

中服云能碳管理平台V5.0

中服云能碳管理系统依托中服云工业物联网底座打造，聚焦工业企业能耗管控与碳资产管理需求。系统整合水、电、气、热等多类能源数据，实现用能实时采集、集中监测、智能分析。依托数字化手段精准核算碳排放总量，助力企业摸清碳排底数、合规完成台账管理。通过节能诊断、能耗优化策略推送，有效降低生产能耗与运营成本。全方位赋能企业绿色低碳转型，筑牢安全生产与节能减排双重发展防线。

阅读2363
下载11

中服设备健康管理系统产品介绍

中服设备健康管理系统依托中服云工业物联网架构搭建，面向工业全品类设备运维场景。融合实时数据采集、状态监测、故障诊断核心能力，全天候掌握设备运行动态。通过边缘计算与 AI 算法分析设备隐患，实现从被动维修向预测性维护升级。有效降低设备故障率、减少停机损失，简化线下运维管理流程。助力工厂实现设备数字化管控，保障产线高效、稳定、安全运行。

阅读2169
下载9

OpenClaw替我干科研

OpenClaw:不仅是对话窗口，更是行动助手一人工智能代理(AI Agent)正深刻重塑科学研究基本范式，OpenClaw成为2026年开源AI代理平台代表。

阅读1991
下载0

最新上线

2026全球AI算力发展研究报告

算网融合旨在构建一体化的调度架构，打破算力与网络的壁垒，让算力像水电一样随取随用。从工业和信息化部在《算力互联互通行动计划》提出的“先互联再成网”，到“全国一体化算力网”正式纳入国家“十五五”规划109项重大工程项目，算力网与水电等公共基础设施并列，成为现代化基础设施体系的核心一环。算力互联网建设取得显著进展，三大电信运营商开展自有算力与全国分散社会算力的互联

阅读149
下载1

2026人工智能时代全球教师关键能力报告

跨越文化与地域的差异，全球4636名教师在15项能力中的集体选择指向了一个“五维关键能力模型”:学习力、教学力、共情力、创新力与引导力。尽管不同地区教师的侧重点有所不同(如海外教师更专注数智素养与幸福力)，但从全球总样本加权来看，这五项能力拥有最广泛的共识，成为人工智能时代教师专业价值的基础。它们相互交织，共同构建了一个动态的、相互赋能的全球教师五维关键能力模型。

阅读363
下载1

2026西门子收购战略分析及对我工业软件做大做强启示报告

工业软件是现代工业的“数字大脑”与“神经网络”，是制造业数智化转型升级的“软基础”。在人工智能、数字孪生与物理AI加速融合背景下，工业软件竞争正从单点产品竞争转向“平台能力+数据体系+行业知识+生态网络”的系统竞争，头部企业通过持续并购整合快速构建全链条能力版图，成为全球产业演进的重要特征。其中，西门子近年来围绕工业软件连续开展战略性收购，逐步形成覆盖研发设计、工程仿真、生产制造、运维服务和工业智能的全生命周期能力体系，成为全球工业软件由工具软件向工业智能平台演进的重要代表。

阅读313
下载1

2026我国道路货运能源转型技术路径研究-基于行业调研报告

自2014年进入中国市场以来，智慧货运中心始终致力于打造合规、高效、可持续的中国物流货运行业，助力实现智慧货运中心的全球减碳目标。智慧货运中心支持工业和政府部门在排放测算与减排方面的政策目标，并且依托“零排放货运行动”平台，积极推广新能源重卡的应用。同时，基于可持续航空燃料在全球货运航空减排中的重要作用，智慧货运中心也着力构建面向中国及亚洲地区的行业交流平台。为实现零排放货运的长期目标，智慧货运中心将在所有项目中建立系统性机制，全面跟踪并评估潜在与已实现的减排成效。