• 首页

  • 方案库

  • 工业品库

  • 招标项目库

  • 专家库

  • 人才库

会员中心
搜索
登录
注册
  • 方案名称

解决方案

数字化转型通用方案行业方案安全方案大数据人工智能物联网行业展望自动控制其他

产品|技术

白皮书产品介绍技术介绍技术创新模型算法

政策|规范

政策规范行动计划

电子书

电子书课件

报告|论文

报告模板论文
  • 全部
  • 人气排行
  • 下载排行
  • 页数排行
  • 最新排行

物联网应用中访问控制智能合约的形式化验证

:蓝牙、WiFi等网络技术的进步推动物联网(IoT)的发展,然而IoT在方便了人们生活的同时也存在严重的 安全隐患。若无安全的访问控制,非法接入IoT的访问可能给用户带来各方面的损失。传统的访问控制方法需要一 个可信任的中心节点,不适合节点分散的IoT环境。区块链及智能合约的出现为IoT应用的访问控制提供了更有效的 解决方案,但用一般测试方法难以保证实现IoT应用的访问控制智能合约的正确性。针对这个问题,提出一种利用模 型检测工具Verds对访问控制智能合约进行形式化验证从而保障合约正确性的方法。该方法利用状态迁移系统定义 Solidity智能合约的语义,应用计算树逻辑(CTL)公式描述所要验证的性质,并对智能合约交互及用户行为进行建模, 从而形成 Verds的输入模型及所要验证性质,然后利用 Verds验证待测性质的正确性。方法核心是 Solidity合约子集 到Verds输入模型的转换。对两个IoT资源访问控制智能合约的实验结果表明,该方法可以对访问控制合约的典型场 景及期望性质进行验证,提升了智能合约的可靠性。

  • 2021-06-23
  • 阅读267
  • 下载0
  • 9页
  • pdf

含大规模风电集群电网的在线计算数据生成技术

风电机组大规模接入导致电网的稳定形态更加复杂,迫切需要通过在线安全分析提高电网的新能源消纳能力和运行效率。针对在线安全分析难以准确模拟风电场动态特性的问题,提出了一种含大规模风电集群电网的在线计算数据生成技术。首先,融合状态估计、SCADA 和安控系统等多源实时数据辨识低电压网络的运行状态,形成包含风电集群的电网运行方式数据。其中,根据量测数据的时空关联校正模型,识别和校正未经过状态估计量测中的不良数据。然后,依次依据风电机组的静态特征信息和运行状态进行分群,采用基于层次分析的聚类方法确定风电场的动态等值模型。最后,通过实际电网的算例分析验证了所提出方法的有效性。

  • 2021-06-15
  • 阅读267
  • 下载0
  • 8页
  • pdf

人工智能时代马克思劳动价值论的再思考

人工智能在生产领域的发展促进了生产力和生产关系的变革,同时也使马克思的劳动价值论的现实合理性遭到了质疑。创新型劳动如何创造价值、如何解释智能革命引发的财富系统膨胀与价值系统萎缩失衡的矛盾是当代马克思劳动价值论面临的考验;广义活劳动价值论、物化劳动价值论、多元价值论等都是当代学者对马克思劳动价值论的曲解。在人工智能时代,活劳动依然是创造商品价值的唯一源泉,智能化工厂的利润依然来自于劳动者创造的剩余价值,智能化的机器、设备是把活劳动与劳动对象结合起来的劳动资料,不能创造价值。人工智能在助推资本主义国家新一轮的“圈地运动”的同时,也在加速资本主义社会的崩溃,推动社会主义国家向共产主义迈进。

  • 2021-06-15
  • 阅读267
  • 下载0
  • 5页
  • pdf

基于BoW模型的增强RGB-D SLAM算法

即时定位与地图构建(simultaneous localization mapping,SLAM)被认为是机器人自主运动的核心技术。 针对目 前的 RGB-D SLAM 算法实时性和鲁棒性差的问题,提出了一种增强的 RGB-D SLAM 算法。 提取 RGB 图像的 ORB 特征描 述子,然后利用 BoW(bag of word)模型缩小特征描述子的匹配范围从而提高算法的实时性;接着采用 PROSAC 算法结合 PnP 算法解算初始相机位姿并通过非线性优化的方式得到优化的相机位姿;利用 BoW 模型结合关键帧技术和结构一致性 几何约束提高回环检测的鲁棒性;采用通用图优化工具 g2o 对位姿图进行优化,得到全局一致的位姿和点云;最后采用贪 心三角化算法将点云转换成网格地图。 针对 Fr1 数据集,该算法的平均定位误差为 0. 079 7 m,每帧数据平均处理时间为 0. 04 s。 与 RGB-D SLAM 原始算法相比,该算法具有良好的实时性和鲁棒性,可以满足机器人实时 SLAM 的要求。

  • 2021-06-15
  • 阅读267
  • 下载0
  • 7页
  • pdf

医院病历大文本智能可变软件技术方法

技术领域:管理系统自动生成。多少年来软件开发都是固定格式研发技术,在使用中客户自己不能创建和修改系统方案应用.只能接受固定格式、数据、算法应用.很多管理需求计算统计数据不能实现变化应用,带来管理方案变化应用修改升级,重复研发造成工作麻烦、人力浪费、投入损失很大.管理工作方法是要根据需求随时变化的,只有医院病历大文本智能可变系统软件技术才能满足病历大文本管理工作的各种变化应用需求,提高管理水平,提高工作效率,节省工作时间。医院病历大文本智能可变系统软件技术实现使用客户自己采用大文本变化操作应用.在大文本格式技术、数据技术,格式数据组合技术、窗口图形技术、数据搜索定位技术等方面都能变化应用.方便、快速、效率高。本发明技术是智能管理系统自动生成系统全面应用技术方法.全部思想、设计方法和软件技术都是源创发明。

  • 2021-05-07
  • 阅读267
  • 下载0
  • 22页
  • pdf

基于单片机的温度采集系统的设计

单片机已在各行业得到广泛应用,为适应更多的应用领域,厂家采取了在一块单片机芯片上集成多种功能部件和大容量存储器的方法。因而,整个应用系统不需要扩展,而体积变小、可靠性增高,使单片机成为真正意义上的单片机系统。本设计是基于STC89C52单片机和DS185B20实现温度的测量系统,单片机在本系统中作为温度输入和显示控制器件,DS18B20被用作温度数据的采集和温度输出器件。本系统采用单总线操作,线路简单,测量值精确,可实现多点测量,并对温度超过限制值,产生报警和数据采集。本系统被广泛应用于温度控制、温度检测、温度采、消防等系统中。

  • 2021-04-23
  • 阅读266
  • 下载0
  • 33页
  • pdf

大数据与金融应用的几点思考

近年来,随着金融业务的不断发展,金融机构拥有海量数据,而且数据量的积累呈爆发式增长,促使 许多金融机构开始推进大数据战略。随着大数据技术应用的日趋深入,以及数据处理和分析能力不断提升,金融机 构将会迎来全新的发展机遇,同时,这也为大数据应用的金融监管带来挑战。本文就此提出若干监管建议,包括进 一步完善大数据的相关法律法规、建立统一或可兼容的金融业大数据应用平台、构建金融业大数据应用的安全保 护机制等。

  • 2021-06-21
  • 阅读266
  • 下载0
  • 5页
  • pdf

粗糙集下网络大数据混合属性特征检测仿真

由于网络混合属性集的冗余数据量多,影响数据检测的查全率,为此提出结合粗糙集理论的网络大数据混合属性特征检测方法。首先构建一个四元组,利用四元组的任意邻域信息测算其长度函数,以判断信息特征的相似性,结合粗糙集理论求解相似信息特征的邻域熵,以检测并分类重复数据属性。为优化数据分类效率,引人支持向量机分类思想,将大数据混合属性的分类问题变换为线性可分问题,实现网络大数据混合属性特征检测与分类。实验结果表明,所提方法能够有效根据数据特征筛选出无关数据信息,使用经过训练后的分类装置对约简后的特征集进行分类,与基于特征和分类器参数组合优化的网络属性特征检测方法比较,证明了所提方法的有效性,为网络大数据混合特征检测技术提供一种新的有效解决方式。

  • 2021-06-21
  • 阅读266
  • 下载0
  • 5页
  • pdf
上一页 1 …… 179180181182183184185186187188189 …… 2040 下一页 共 16314 条


立即登录

没有账户,需要注册

登录用户可享受以下权益
  • 免费下载方案
  • 服币提现
  • 发布方案得服币
  • 交易分成

精品推荐

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

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

  • 阅读1711
  • 下载6

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

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

  • 阅读2152
  • 下载9

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

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

  • 阅读1997
  • 下载8

OpenClaw替我干科研

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

  • 阅读1832
  • 下载0

最新上线

物流产业园区建设规划方案

传统消防与安防系统孤立,缺乏数据共享和联动机制·设备运行状态缺少预警机制,出现火警,才发现设备故障无法使用,错过最佳处理时机离线巡查数据无法实时同步,无法实现现场数据回传·设备巡检手工纸字抄录,维护记录无法有效追溯

  • 阅读30
  • 下载0

智算中心高速互连技术报告(2026)

预计在未来更高传输速率的时代,“光铜并存、优势互补”将成为长期且稳定的产业格局。一个务实且高效的智算中心互连架构,应该是铜负责短距、光负责长距的混合模式:铜互连凭借其在成本、功耗及散热上的综合优势,承接机柜内及柜间近端的短距互连;光互连则依托其高带宽与低损耗传输特性,承担起跨机柜及远距离通信的重任。二者并非简单的替代关系,而是基于应用场景的深度协 同与互补。

  • 阅读55
  • 下载0

AI漫剧最佳实践 - AI如何重构短剧内容生产链路

当人人都能做漫剧真正稀缺的是什么?过去,我们拼演员、拼产能、拼制作、拼投放。现在,当产能不在稀缺,真正的痛点是什么?

  • 阅读55
  • 下载0

具身智能技术与产业发展报告

人工智能正在沿离身智能和具身智能两条路径并行演进。离身智能以大模型、智能体和代理式软件系统为代表,重点提升数字空间的信息组织、内容生成和流程决策能力;具身智能进一步把模型能力延伸到物理世界,通过“AI大脑+物理载体+环境交互”形成感知、认知、决策、执行和学习闭环。离身智能决定数字生产力扩张速度,具身智能决定人工智能能否真正进入制造、物流、能源、公共服务和家庭服务等实体领域。

  • 阅读57
  • 下载2
  • 关于我们

    电话:029-8838-6725

  • 新闻资讯

    企业简介 新闻动态 品牌实力 代理合作 诚聘英才 联系我们

  • 中服云

  • 工业互联网风向标

  • 在线咨询

西安/北京/南京/重庆/合肥/厦门/甘肃 地址:陕西省西安市雁塔区鱼跃工业园慧康生物科技产业园7楼 电话: 029-8838-6725

版权所有 @ 中服云 陕ICP备11002812号
  • 扫码咨询

    或

    点击立即咨询
  • 客服咨询

  • 用手机扫二维码

    或

    复制当前地址

  • 问题反馈 中服大讲堂 客服电话

方案库赚钱指南