{{product.productLabel}} {{product.model}}
{{#if product.featureValues}}{{product.productPrice.formattedPrice}} {{#if product.productPrice.priceType === "PRICE_RANGE" }} - {{product.productPrice.formattedPriceMax}} {{/if}}
{{#each product.specData:i}}
{{name}}: {{value}}
{{#i!=(product.specData.length-1)}}
{{/end}}
{{/each}}
{{{product.idpText}}}
{{product.productLabel}} {{product.model}}
{{#if product.featureValues}}{{product.productPrice.formattedPrice}} {{#if product.productPrice.priceType === "PRICE_RANGE" }} - {{product.productPrice.formattedPriceMax}} {{/if}}
{{#each product.specData:i}}
{{name}}: {{value}}
{{#i!=(product.specData.length-1)}}
{{/end}}
{{/each}}
{{{product.idpText}}}
... 能源和交通行业必须开发、生产和监控各种创新而复杂的技术，以保持其领先地位。要应对这些挑战，就必须对测量数据进行广泛测试和有效评估。 AVL BEAT 软件可帮助工程师和设备管理人员追求卓越的技术和经济效益。我们的平台提供了获取高质量数据、实时可视化数据以及将数据汇总为关键性能指标（KPI）的基本功能。这有助于做出高效、可追溯的决策。 为什么需要 AVL BEAT™ 软件 成功开发、优化或监控创新型能源与移动组件和系统取决于深入和综合了解被测单元（UUT）的能力。这就要求现代数据采集系统具备以下功能： 灵活地同时评估不同类型、不同来源或不同采样率的信号。 易于适应复杂的 ...
... Satisloh的模块化开放平台生产执行系统MES-360 PO可自动收集、跟踪和显示所有机器和流程数据。它使用户能够进行分析并得出结论，从而实施改进措施，以提高整体设备效率。 在精密光学元件的生产过程中会产生和处理大量数据。其中一些数据由人工进行评估，但还有大量数据既未记录也未分析，这些数据对过程控制非常有用，有助于提高质量和生产效率。 Satisloh的MES-360 PO软件使用户能够跟踪和监控流程和机器数据，从而通过提高整体设备效率最大限度地提高质量和产量来节省时间和金钱。 MES-360 ...
... 先进的高度直观的工业 CT 扫描软件 全自动数据采集和容积处理，适用于大多数威盖特技术公司的工业计算机断层扫描系统 全自动数据采集和体积处理从这里开始 Phoenix datos|x 是一款先进的、高度直观的 CT 扫描软件，可与大多数伟门科技工业计算机断层扫描系统进行全自动数据采集和容量处理。在生产模式下，只需按下一个按钮即可启动整个 CT 扫描和评估流程链。phoenix datos|x 还提供专家模式，可灵活执行实验室和研究任务，并优化 CT 结果。 产品特点 - 体积重建速度快达 14 ...
... 优化各地的工业检测资产 采用无损检测 (NDT) 设备和流程来确保所制造和管理产品的质量和可靠性的公司，都需要在资本设备上进行大量投资。随着设备的部署和使用，其性能往往会随着时间的推移而下降，并需要维护。 为了最大限度地利用这些资产，适当的工作程序和维护可以提高其性能和使用寿命。为了充分利用无损检测资产，数据科学可以帮助操作人员、管理人员和支持人员了解资产状态并制定相应计划。 工业资产监控从这里开始 InspectionWorks Care 是独立于供应商的工业资产监控解决方案，可全面概述现场和工厂系统（如射线、超声波、视觉和其他检测手段）组件的健康状态和状况。 ...
... 世界各地的制造商均使用Equator™比对仪控制其制程。 降低废品率 实施正确的制程控制后，工件报废的成本通常会减少。无论是作为自动化内嵌制程控制方法实施，还是作为独立制程控制方法实施，Equator比对仪的速度均可使客户从样品检测转到100%工件检测，从而显著提高制程能力。 利用过程监控功能，操作人员可以查看条形图和实时比对测量数据图表，从而可以在出现废品之前校正制程。 减少生产瓶颈 坐标测量机通常位于车间周围的温控室内。如果待测量的工件很多，需要排队，可能需要延迟一段时间才能得到检测数据。这些延迟可能意味着必须暂停生产，或者在不了解工件是否符合公差的情况下冒险继续生产。 借助Equator比对仪的多功能性和操作速度，工件之间切换迅速，从而可实现很短的循环时间。Equator比对仪的温度不敏感性和易于使用的优点允许操作人员直接在车间内比对测量工件，从而节省时间。 ...
... 用于在线色彩质量控制 确保生产设备的色彩质量 在整个生产过程中监控色彩可及早发现错误，从而减少浪费，提高产品质量。机器上的色彩结果以易于理解的图形显示。它既可以作为独立系统使用，也可以连接到主机系统，以两种方式交换数据。 提供简化的统计过程控制 ESWin QC 是一款直观的软件包，易于学习和操作。它以易于理解的趋势格式显示颜色测量数据，包括颜色偏差的方向，因此操作员只需点击几下按钮，就能发现新出现的问题并迅速纠正。它既可以作为独立系统使用，也可以连接到数据控制系统，以生成报告、管理数据和存档仪器诊断，从而改善运行管理。 在实验室和生产线之间实现共线测量 ESWin ...
... ESWIN CLCC 软件 生产设备上的闭环色彩控制 在整个生产过程中监控色彩可以及早发现错误，从而减少浪费，提高产品质量。ESWin CLCC 软件与 X-Rite 在线分光光度计结合使用时，可监控色彩质量并自动纠正目标偏差，以确保色彩保持在公差范围内。它可自动控制多达 3 种染料和光学增白剂。 在生产设备上自动控制颜色 ESWin CLCC 软件可控制在线设备，在生产线上进行色彩测量，并以易于理解的图形显示和打印报告的形式返回结果。如果颜色开始偏移，ESWin CLCC 会自动进行更改。它采用特殊的计算算法，在工艺开始时控制和添加着色剂，以尽量减少与目标颜色的偏差。此外，它还能在机器上实现自动闭环色彩控制，从而实现经济高效的生产。 使操作员能够快速做出有针对性的更改 以易于理解的趋势格式显示颜色测量数据，并调整颜色偏差以纠正当前或新出现的问题。该软件可通过 ...
... 使用iNet® Exchange简化您的气体检测项目的所有方面--该订阅服务在您知道有问题之前就自动更换您的气体检测器，从而消除了气体检测器的维护和修理。 维护气体监测仪的简单方法 在您需要的时候始终拥有您需要的监测器。忘记修复损坏的监测器--我们跟踪设备的健康状况，自动修复和更换您的气体检测器，消除您的维护痛苦。 通过iNet® Exchange简化您的气体检测项目--该订阅服务涵盖气体检测仪、运输、校准气体、对接站、培训等。 监测 始终拥有您需要的监测器，就在您需要的时候。 设备 从你的待办事项清单中消除维护和修理。 警告 在显示器出现故障之前就知道它需要被更换。 技术-支持 享受巨大的支持，确保您的气体检测仪始终可以使用 iNet® ...
... iNet Control+：您的卓越安全中心。 利用实时、按需数据控制您的安全管理计划。 iNet Control+ 是一款全新的综合管理软件，旨在提高安全生产效率。这种集中式一站式数据商店可帮助您事半功倍，并揭示可产生影响的洞察力。只需一个解决方案，您就可以简化安全管理流程、减少停机时间和报警疲劳、提高合规性、通过交互式设备布置和报警热映射降低风险等等。 iNet Control+ 通过标准报告模板和 BI 辅助深入分析，可帮助缩短事故报告时间长达 8 小时。交互式设备安置工具将有助于减少计划外的部署返工，每项工作可减少 ...
... 在紧急情况下做出快速有效的反应，并通过对工人和现场情况的实时可见性来提高生产力。通过按类型、位置、用户等对气体报警的可视化总结，识别高风险区域，推动主动安全改进。 对关键危险的即时可见性 立即获得有关工人位置和状态的警报，包括高警报、低警报、TWA、STEL、恐慌或减员情况。iNet Now通过文本、电子邮件和屏幕通知自动提供状态更新，以便您在关键时刻做出快速反应。 实时监控增强了工人和现场的能见度--即使在最危险的条件下。 通过实时文本和电子邮件警报了解气体危险、恐慌和人员减少情况的发生情况。 通过即时验证工人的状态，消除人工签到，而不会给工人带来负担或分心。 在紧急情况下，通过实时地图显示工人的位置和他们遇到的危险，从而更快地做出反应。 通过按类型、位置、用户等对气体报警的可视化总结来识别高风险区域。 iNet ...
... IMAGEPro 是一个基于 Windows PC 的软件系统，可配置成像仪，显示属性和高级温度分析选项。 软件能够同时支持多达 16 个红外热像仪，具有实时分析等出色的功能，使用户能够全面控制红外热像仪测量。 每台摄像机都可使用点、矩形、椭圆形、自由绘制形状或剖面线提供多达 100 个感兴趣区域。它可生成剖面线、直方图、趋势图和仪表图用于分析。 IMAGEPro 有 30 天免费试用期，在此期间，用户可对它进行广泛的测试，它可用于进行玻璃、碳氢化合物加工、工业加工、矿物、发电和钢铁行业的应用测量。 广泛的功能 IMAGEPro ...
Ametek Land/阿美特克
... 火炬烟囱广泛用于工业，尤其是化工、石化和钢铁行业，通过燃烧安全地处理多余的气体。这些可能是不需要的废气或为防止工厂设备意外超压而释放的易燃气体。 简单地将这些未经处理的碳氢化合物排放到空气中会造成环境危害。燃烧这些气体的危害较小——例如，如果燃烧甲烷产生二氧化碳和蒸汽，它的破坏性比释放甲烷要小。环境法规要求对火炬烟囱进行密切监测，以防止污染物，尤其是未燃烧的碳氢化合物进入大气。 准确可靠的监控 AMETEK Land 的 ARC 成像仪可从任何距离生成任何目标的高分辨率热图像。这允许从安全距离监控火焰，确保摄像机不会被堆栈条件损坏，并使维护更安全、更容易。 火炬烟囱监控应用说明 ...
Ametek Land/阿美特克
... 带耐火材料衬里的容器和熔炉在石油化工、钢铁生产、加工和热处理等工业应用中很常见。 随着时间的推移，当耐火材料老化到一定程度时，就必须更换衬里。传统上，换衬里是基于许可方的指导以及以往在耐火材料问题方面的经验临时决定的。 然而，这种方法并不是以数据为基础的，可能会导致有毒气体的严重和危险泄漏，或发生爆炸，造成工厂损坏、收入损失，最坏的情况下还会造成人员受伤。 因此，对容器和熔炉的持续维护和监控对生产可靠性和工厂的产量至关重要。 对容器和熔炉关键部位的炉壳温度进行自动监测，可以持续评估其状况和安全性，避免泄漏或识别潜在的危险。 AMETEK ...
Ametek Land/阿美特克
... 远程监控软件GP-Viewer EX 查看PC上显示的现场画面。 GP-Viewer EX软件可以让您从远程PC上监控和操作现场画面。无需新创建屏幕和程序。可轻松配置远程控制和监控系统。 ...
... 移动专业人机界面远程监控软件 携带 HMI！ 请参阅平板电脑或智能手机上的设备信息。 Pro-Face Remote HMI 是移动设备的远程监控软件，允许您在平板电脑或智能手机上检查设备信息。 ...
... SamplerSight制药粒子计数器软件可控制注射器式采样器，并从LiQuilaz粒子传感器收集数据。SamplerSight Pharma 粒子计数器软件允许操作员管理基于批次操作的采样要求，并以易于使用的格式提供全面的批次信息，包括直方图、时间图和表格数据，便于报告。SamplerSight-制药软件具有可验证、用户友好、基于Windows特点，并提供上下文相关帮助。 数据库过滤功能基于通道、批次和位置，可快速响应数据库查询和报告。多种用户定义的样品配置减少了不同类型批次之间的设置时间。 使用校准向导，USP ...
Particle Measuring Systems
FacilityPro®软件提供对接，数据管理以及环境监控系统报告功能。FacilityPro软件可以对浮游菌、尘埃粒子和环境数据进行管理，从而提高了生产操作效率以及质量调查效率。通过FacilityPro软件自动化体系，处理器自动处理和管理数据、显示和存储数据。这种设计提高了系统稳定性与数据完整性。FacilityPro软件有两种版本：FacilityPro SCADA 服务器软件以及FacilityPro SMART服务器模块。两个软件平台智能特性包含数据图，报警，报告和可连接驱动的采样方式。这两个软件都提供客户端来远程访问和查看数据。FacilityPro ...
Particle Measuring Systems
... DataAnalyst软件检索方便，运算快。非常容易下载、存档并且报告数据，这些数据完全满足所有安全数据传送要求。全面的报告格式满足粒子计数器的特定输入和基于位置、日期/时间、或是产品批次信息的过滤器采样数据，可以输出含有原始数据、列表数据、统计以及图像格式的报告满足行业要求。报告工具也可以设置为不同的报告格式，包括ISO14644, FDA/EUGMP,或是FS209标准证明。DataAnalyst软件支持许多安装配置，从一个基站到连接到局域网的多个Lasair II或III粒子计数器的集成网络，用于分发和报告。 特点 生成洁净室资格确认报告 直观的扁平设计，使得图片很容易被理解 全部审查跟踪 简易的设备配置 创造+C1168:C1174洁净室资格确认报告，满足ISO14644, ...
Particle Measuring Systems
... 提供全面的工具集来组态 PACSystems、VersaMax、RSTi-EP 和 QuickPanel 设备所需的控制和 HMI 应用。 特点 组态并监视 PACSystems RX3i-RX7i “targets（工程名）”上的逻辑执行。 组态并监视 Series 90 PLC “targets（工程名）”上的逻辑执行。 过程控制功能块库 组态并监视 PACSystems RSTi-EP “targets（工程名）”上的逻辑执行。 组态并监视 ...
Emerson
... zenon IoT 软件 信息 | 完整性 | 洞察力 工厂监督、控制、数据采集、调度和性能报告。 作为一个开放的人机界面接口和操作数据管理系统，zenon可以安全地为客户生产资产提供监督、控制、数据采集、调度和吸能报告，为单一机械设备或多站点工厂提供解决方案。 智能集成到所有过程和安全系统 - 基于基础设施设计的安全系统为zenon提供保护。 zenon支持300多种通信协议和驱动，简单设置ERP和云接口，zenon是物联网关键的组成部分。 zenon附带审计跟踪、批量和生产调度功能，适用于食品饮料行业，并且是一个能源管理认证体系。 易于使用报告功能洞察客户的生产流程，并顾及到质量保证，生产优化和在线报告。 zenon的多用户工程能力和面向对象的设计为你的团队确保较低的启动成本和高性能的工程产品。通过开放的工程界面架构和集成的Automation ...
... 横河电机的企业管道管理解决方案(EPMS)提供了一整套标准软件应用程序，这些应用程序集成在FAST/TOOLS实时系统平台内，协助进行管道管理和操作。 得益于横河电机在石油和天然气管道行业中多年积累的经验，EPMS大幅减少了应用程序部署时间，同时可以确保行业标准算法的可靠性，这些算法经过充分测试和验证，可以进行测量、监视和系统管理。 最新发布信息 企业管道管理解决方案(EPMS)R1.03于2018年1月发布，这是2015年6月首次向市场发布后企业级管道应用套件的最新版本。 研发背景 如今很多管道SCADA系统都是根据特定环境定制而成的。它们既缺乏标准系统基础支持可插拔应用模块，又缺乏核心设计确保与企业IT环境和策略之间的互操作性。为了避免安全问题，定制的应用程序通常具有比较复杂的系统结构，因此其维护和升级为管道操作员带来了越来越大的挑战。 EPMS套件是由管道应用组成的可持续解决方案，可以与一般的监督、监视功能组合使用，并且基于设计良好的模块化平台，该平台既是IT友好的，也是安全的。由于每个管道应用都不会完全相同，并且每个管道操作员的操作理念可能不同，因此无需咨询管道应用专家，使用EPMS套包即可轻松修改模板和功能。而且，EPMS可以与先进管道仿真解决方案组合使用。先进管道仿真解决方案既可以减少调试时间，又可以全面仿真用于操作员培训的管道运行管理环境。 新功能 增强型接口管理 当管道中的产品切换为其他产品时，相邻流体接触时会形成一定体积且质量不一的转换混合物。利用EPMS ...
YOKOGAWA Europe
... 拥有 TwinScape™ 软件后，您对于数据的追踪、回顾和数据质量比较将触手可及。当数字化监控技术与仪器状态相结合后，可为您的液相色谱和质谱性能评估保驾护航。 TwinScape™ 为 timsTOF 提供了一目了然的仪器状态功能，能确保用户在样品分析前充分了解仪器状态。其对质控数据的存储、过滤和比较可确保用户了解数据质量的变化趋势，从而确保不同时间段、不同仪器在组学研究中的重复性。 将布鲁克前沿蛋白组学软件和 TwinScape™ 进行整合来解锁蛋白组学研究的全面潜力。布鲁克 ProteoScape™ ...
... 在现代制造业中，有一点至关重要，即优化管理生产系统的利用率，以便最大程度地提高效率和避免瓶颈。LiSEC 的 lis.capacity 提供了一个先进的解决方案，不仅能实时监控生产系统的产能，还能充分利用资源。 lis.capacity 的结构是怎样的？ lis.capacity 是一项基于 Web 且便于用户操作的应用程序，其能监控机器和资源的利用率。这款软件能够透明化分析当前产能，并允许灵活重组，以便迅速响应生产中出现的变化情况。 lis.capacity 的工作原理如何？ lis.capacity ...
LiSEC
... 使用基于 Windows 的 FlowTracker2 软件对 FlowTracker2 仪器采集的数据进行绘图、查看、分析和编辑，并生成报告。可以编辑站数据和点测量数据，但始终保留原始数据文件。查看光束检查并执行许多其他诊断和质量控制检查，其标准也可在软件设置中进行操作。在办公室生成或编辑模板文件，并将其上传到 FlowTracker 仪器，以节省现场时间。将数据导出为 *.CSV 格式，或将 FlowTracker 的开放式 JSON 文件直接导入数据库。 2024 年 11 月的改进包括 增加了探头断开监控功能，以防止手持设备硬件发生严重故障。使用以下安装步骤更新手持设备上的软件将彻底解决这一问题。 修复了导致桌面软件中某些文件的图表绘制冻结的错误。 最近的更新还包括 手持软件 手持式键盘编程修改，防止意外和意外锁定键盘。建议所有用户使用。 对手持式电子设备进行了修改，在正常工作条件下，预计电池可连续使用约 ...
xylem
... Roland DG Connect 是一款机器监控应用程序，可帮助您详细了解整个打印操作，同时保持设备*以最佳打印性能运行，从而减少停机时间，提高工作效率。 该解决方案不仅能让您高枕无忧，还能让您根据数据做出决策，从而有效地发展业务。 ...
... 嵌入式软件是一种专用应用程序或固件，在嵌入到 SoC 或 IC 中的处理集群上运行。几乎任何电子产品都可以包含一个或多个嵌入式处理器，这在当今的汽车、车间自动化、航空电子设备、医疗器械等中很常见。 嵌入式软件有哪些不同类型？ 嵌入式软件应用程序是在非PC设备中进行专门编程的，可以作为微芯片的一部分，也可以作为芯片顶部的另一个应用程序的一部分，以控制设备的特定功能。与PC应用程序不同，PC应用程序可以安装在各种计算机系统上并进行修改以提供不同级别的功能，而嵌入式软件具有固定的硬件要求和功能。它是专门为运行它的特定设备创建的，处理和内存限制与其规格直接相关。在本讨论的背景下，嵌入式软件包括应用程序、固件、中间件和操作系统，它们在单个微处理器或微处理器集群上执行，这些微处理器或微处理器集群“嵌入”在附加逻辑中。 嵌入式系统的特点和特点 尽管嵌入式系统有很多种类型，但它们都具有相同的有益功能和设计特征。 所有嵌入式系统都是特定于任务的 它们在其整个使用寿命期间执行相同的预编程功能，并且无法更改。 所有嵌入式系统都是高效率的 嵌入式软件的资源要求不应超过安装它的硬件的容量，硬件的规格也不应超过嵌入式软件的最低要求。 专为稳定性而设计 所有嵌入式系统都设计为高度可靠和稳定。它们必须在容纳它们的设备的整个生命周期内以一致的响应时间和功能执行任务。 ...
Siemens PLM Software
... 实时追踪订单和货运进展，保障供应和交货。 化洞察为行动，提高订单履行率，高效管理在途货物 整合实际货物动向和信息流，在实时报告里程碑事件的基础上，提高情境感知能力，同时检测异常情况，获取可据以采取行动的洞察，打破信息孤岛 借助 SAP Business Network Global Track and Trace 解决方案，企业能够实时了解收货和出库装运情况，进而提升绩效和客户满意度。 云部署 利用实时货运洞察，追踪销售和采购订单 对多式联运的里程碑事件和到达情况进行预测性监控 ...
SAP
... 产品概述
PanaCIM Gen 2 Enterprise MES 是 Panasonic Connect 的制造执行系统（MES），用于集中车间数据、协调生产流程，并在企业范围内提供实时监控和可追溯性。
要点
- 实时的生产跟踪和车间监控
- 与 ERP、PLM 及其他企业系统的无缝集成
- 覆盖生产计划、执行、质量和 OEE 的模块化架构
- 适用于多站点企业环境的可扩展部署
技术规格
- 产品：PanaCIM
... 当今的市场环境要求在全球范围内灵活、快速、安全地交换和访问公司各级的数据。生产数据管理在其中发挥着重要作用。数字化您的织造车间，提高性能和效率--您通往工业 4.0、第四次工业革命和物联网（IoT）世界的大门。 窄幅织物行业的数字化门户网站 mymuenet® basic 是一个基于浏览器的生产数据采集系统，可直接访问机器控制装置。 控制系统。该系统在全球框架内提供独特的数据监控和通信功能： 通过详细的生产数据信息进行全球范围的生产数据监控，以规划和组织订单流程，从而确定正确的优先次序并提高效率。 通过每台机器的仪表盘，快速、清晰地显示生产数据信息，加快干预速度。对仪表板进行个性化配置，以便根据各自定义的关键指标进行具体评估和分析。 根据阈值管理设置正确的生产参数，使机器始终以最佳性能和效率运行。报警功能可在需要干预时发出提示，从而大大减少机器停机时间。 直接向机器发送信息，让机器操作员及时了解产品变更/修改或订单更新等信息。 通过向下钻取的方法提高效率，即在每个工作层面提供适当的相关信息--从高层管理信息到操作员所需的详细机器信息。 ...
... 生产线主管 Breton Skynet 是用于收集和监控生产线数据的软件解决方案，生产线包括不同的机器、设备或技术。 先进性 Breton Skynet 可将信息情景化，以提高生产线性能和产品质量，同时增强相关人员对生产过程的了解。 可整合 Breton Skynet 是智能工厂的核心要素，可与最先进的管理系统（包括第三方系统）和工业 4.0 相连接。 模块化 Breton Skynet 与业务发展同步，可提供各种模块以满足更先进的要求。 专业化 Breton Skynet 与行业专业人士共同构思和开发，已成为专用生产线监控软件应用程序的标杆。 多平台 Breton ...
... AVEVA™ Predictive Analytic预测性分析有助于资产密集型企业减少设备停机时间，提高可靠性和绩效，同时减少运营和维护支出。 通过预测性分析减少停机时间 提高可靠性、绩效和安全性是当今工业组织和企业的首要任务。它们将精力和资源集中于控制成本并使现有投资的价值最大化。AVEVA Predictive Analytics 通过支持预测性维护 (PdM) 计划，帮助企业实现关键资产的投资回报最大化。 我们的 AVEVA Predictive Analytics 解决方案可在故障发生之前数天、数周或数月，针对设备问题提供早期预警通知和诊断。这有助于资产密集型企业减少设备停机时间，提高可靠性和绩效，同时减少运营和维护支出。 AVEVA ...
AVEVA Group plc
... 这款基于 PC 的机器人编程软件适用于所有三菱电机机器人。编程、监控和调试是这款功能强大的软件包的部分功能。 RT ToolBox3 是适用于所有三菱电机机器人的编程环境。用户可使用 MELFA BASIC IV、V 和 VI 机器人语言（根据型号而异）在几分钟内创建程序。 全面的工程支持 RT ToolBox3 支持从系统启动到调试和操作的所有过程，包括编程和编辑、引入机器人前的操作范围验证、战术时间估算、启动前的机器人调试以及操作过程中的机器人状态和故障监控。 从编程到启动和维护 通过预防性维护预测功能，可以轻松监控机器人的运动、运行状态、输入信号和伺服状态。故障情况下的位置恢复辅助功能缩短了故障停机时间。 模拟功能 RT ...
MITSUBISHI Automation/三菱