Simulink Design Verifier™ 使用形式化方法来识别模型中隐藏的设计错误。检测模型中导致整数溢出、死逻辑、数组访问越界和被零除的块。可以形式化验证设计符合功能需求。对于每个设计错误或违反设计需求，会生成一个仿真测试用例以供调试。 Simulink Design Verifier 可以生成测试用例用于满足模型覆盖率和自定义目标来扩展已有的基于需求的测试用例。这些测试用例使您的模型满足条件、决策、修改的条件/决策 (MCDC)，以及自定义覆盖率目标。除了满足覆盖目标外，还可以指定自定义的测试目标来自动化产生基于需求的测试用例。 通过 ...
... GrafNAV GNSS 后期处理软件 G RAFNAV 后期处理软件是一款功能强大、高度可配置的处理引擎，可利用所有可用的 GNSS 数据实现最佳静态或运动学 GNSS 精度。 支持来自大多数单频和多频商业接收器的数据格式意味着 GrafNAV 可能与您现有的硬件一起工作。 全套数据和解决方案可视化和诊断工具可用于质量保证。 可从 GrafNAV 内部下载精确的卫星时钟和轨道数据，以利用 PPP 与运动轨迹实现 5 厘米以下的定位精度。 无论项目类型如何，GrafNAV ...
... 集装箱式分布平均速度系统 平均车速执法，它是如何工作的？ 平均车速执法是一种计算车辆在一段距离内平均车速的交通执法手段。 通常使用 ANPR 摄像系统来完成，该系统可以捕捉车辆经过道路两点或多点时的图像，然后利用这些图像和数据计算出车辆在这些点之间距离上的平均速度。 平均车速执法的目的是鼓励驾驶员在较长的距离内保持安全稳定的车速，从而减少因超速引发的事故数量，提高整体道路安全。 Tattile Section Control (Tasc) 是一套完整的平均车速执法解决方案和数据收集系统，可提供详尽的 和数据收集系统，为执法和安全机构提供详尽的过境数据和违章候选车辆。 候选人。 - ...
... 以优化流程、评估性能要求和了解能耗。 准确展示应用程序在最终系统上的性能。无论是构思新的应用，还是适应最后一刻的需求变化，该数字孪生系统都能与项目一起发展，并可随时直接加载到 SuperTrak GEN3™ 平台上。 诊断工具 用于故障处理和恢复、系统状态以及突出显示工位指标（周期时间、穿梭传送等），以优化和提高 OEE。 无论是模拟还是集成，都能利用实时运动统计数据改善整个系统的 OEE。故障处理、自动恢复、系统状态、电源和热监控以及示波器信号跟踪等直观工具可实现快速故障排除和恢复。宝贵的数据提供了对系统进行迭代和最大限度提高效率所需的洞察力。 配置简单 利用平台的集成功能，通过使用经过测试和验证的功能来消除风险并缩短工程设计时间。 加载您的配置，只需按一下按钮，SuperTrak ...
... 我们的专业技术将解决您可能遇到的各种难题 传统的维护方法效率低下，浪费严重。 现场仪器种类繁多，软件培训和升级费用高昂。 从现场仪器中获取的智能信息没有得到充分利用。 缺乏统一实用的资产管理工具。 提高工厂可靠性和可用性 HOLLiAS资产管理系统（HAMS）是和利时为工业应用提供的智能解决方案。HAMS 采用 HART 和 Profibus 协议等尖端技术以及 EDDL 和 FDT/DTM 等先进的设备集成工具，在一个集成解决方案中提供全面的功能，包括数据收集、详细分析、在线配置、远程诊断、校准管理和预测性维护。选择 ...
... 检测故障并学习 如何避免故障 只有 TRACTIAN 能在早期识别和诊断机器故障，并为您提供采取行动所需的步骤 我们向您展示故障并告诉您该怎么做。 您只需采取行动。 规范性洞察 - 人工智能生成的特定警报 - 基于预期运行模式的异常洞察 - 系统不断从人类在环反馈中学习 频谱分析工具 - 调查故障和行为 - 比较不同资产在不同时间的振动样本 - 经典振动频谱分析的所有工具 - 多种频谱视图、波形视图、边带等。 ...
... 凯德林为每台读写器免费提供名为 "ReaderStart "的测试和配置软件，以便轻松启动应用开发。读写器的所有管理参数（如设置 IP 地址）以及所有 RFID 特定值均可进行配置，以便为读写器的应用做好准备。通过使用预定义模板，如货物大门应用或车辆/人员识别的门禁控制，即使还没有应用软件，也能快速实现 RFID 读取结果。Reader！Start软件是与凯撒琳解决方案公司的RAIN RFID读写器配套使用的所有软件。 固件包括当前版本的 Kathrein-Burgstädt ...
... 一个完整的诊断解决方案。 CDP+ 是一种快速可靠的诊断工具，作为车辆和计算机之间的链接。 它适用于新旧车辆。 只需将 CDP+ 连接到车辆中的诊断插座，即可与电脑上安装的诊断软件进行无线通信。 Autocom 软件定期更新，使用新车型和增加的功能。 凭借 CARS，您可以从 1988 年开始对汽车和轻型货车进行品牌特定诊断。 使用卡车，您可以从 1995 年开始对轻型和重型商用车、客车和拖车进行品牌特定诊断。 我们的诊断程序 GENTERIC 已取消签名，用于基于立法的诊断，特别针对排放相关故障代码。 ...
... ORA 是我们的软件平台，为我们的 IONA 网络提供动力，提供独特的数据分析，并与机器人和工厂系统无缝连接。 ORA 对物理单元设置、机器人运动和夹具对齐进行分析，生成的数据可与程序或模拟进行比较。然后可以更新流程，纠正不对齐、不准确和流程变化错误。 - 内置与主要机器人原始设备制造商的集成，可使用库卡 KRL、ABB Rapid 和 Fanuc KAREL 等本地编程语言进行通信。 - 通过 API 访问标准功能库，包括 - 验证机器人路径， - 工具和底座校准， ...
... 诊断工具 - Epec CANmoon CANmoon是一个诊断工具，用于监控和诊断连接在CAN总线上的节点。 - 下载应用程序到控制单元 - 更新Epec控制单元的固件 - 读取控制单元的硬件相关信息（如硬件版本、固件版本和序列号）。 - CAN信息也可以保存到文件中，以便进行离线诊断。 - CANmoon与Epec MultiTool无缝对接，最大限度地提高控制系统项目开发的效率。 ...
MIPAR 保证：每个专业许可证都包括定制配方和培训。 消除操作员错误 当工作流程完全自动化时，无需担心操作员出错。 帮助解决问题 在用户友好的软件环境中更快地实现全自动工作流程。 统计和曲线拟合报告 使用内置模板创建报告，无需浪费时间。 数据可视化 交互式 "按测量颜色 "界面让数据更易于理解。 新颖的测量方法 其他软件无法提供的测量方法，以前所未有的方式量化成像。 数据质量 信任您的数据：提高准确性、精确性和统计意义。 无需编程 无需编写、调试或维护令人沮丧的脚本。 量身定制的解决方案 与 ...
MIPAR
... 用于 SINUS S 逆变器的 Windows 上运行的编程和诊断工具 规划和调整机器并进行诊断。 它与 SINUS S 的 USB 或 WLAN 模块相连接。 工具 - 通过对话框指导逆变器参数设置 - 更新应用程序 - 快速诊断（包括趋势记录） - 更新固件 ...
先進的遠端印表機管理體驗 TSC Console 是專為搭配TSC 印表機設計的軟體，能協助 IT 人員利用有線或無線連接部署、管理和監控一台或一組印表機，並且執行故障排除。TSC Console能快速安裝，提供簡潔的視窗化圖形使用者介面，能降低 IT 成本和增加印表機的運行時間。此軟體以其整合式管理功能提供更穩健的效能，確保印表機隨時維持可用性、可靠性與服務性。 全方位配置 • 配置印表機設定:使用者可依其用途自由設定 TSC 印表機，或者按照機型、介面或自訂選項將多台印表機分組 • ...
... 用于数据采集和分析的测量 软件可实现所有功能。 NextView® 4 涵盖了 PC 测量数据采集的整个世界： 显示实时数据、记录测量值、分析测量应用等等。 智能处理测量参数。 输入转换系数和单位后，NextView® 4 将始终将您的信号和分析结果显示为物理数量。 毕竟，你不想看到电压，但参数，你测量： 温度，压力，速度 — 无论你喜欢什么。 数据采集专家。 专家功能可在硬盘上有效无止境、持续地记录测量数据。 或者，当某个事件发生时，您可以保存测量信号。 ...
... 使用最先进的软件，FullShop™自动向数控机床提供正确混合的顶层冷却液。该软件旨在优化冷却液监测和管理流程，提供机床油箱液位控制、冷却液配方管理以及电子邮件报警和通知等实时IIoT功能。该软件还可以运行系统诊断，提供实时状态更新 - 以及更多。 机器应用 液位控制 配方管理 用户管理 电子邮件报警和通知 诊断能力 使用和填充事件数据 实时状态更新 显示历史趋势 审计跟踪 远程操作 ...
... Salesforce中的无代码IIoT资产监控 Waylay Digital Twin是一个SaaS应用程序，可以在Salesforce内实现IIoT资产监控。它利用了超可扩展和高性能的Waylay自动化PaaS。 它是如何工作的 Waylay "数字孪生 "是Salesforce父资产下的资产记录，包含物联网设备及其IIoT数据的可配置映射。 能够访问Salesforce父资产的业务用户可以查询这些数据，对设备进行诊断测试，设置警报，并在Salesforce生态系统中定义和应用任何其他类型的业务规则逻辑和工作流程。 轻松启动，零中断 在Salesforce中解锁设备数据供业务使用从未如此简单。 在几分钟内将任何 ...
约束设计求解器 (CDS) 是一种几何约束求解器，能帮助实现最佳零部件和装配体设计。 应用程序可利用 CDS 重新计算草图并定位装配体组件，从而重新生成特征。 全面的功能 使用约束设计求解器 (CDS)，您可以应用和保存复杂的 2-D 和 3-D 几何关系，使用户能够准确地模拟现实世界的行为。 让用户能够使用多个几何实体以及它们之间的许多约束来定义系统，然后，CDS 将同时解决这些约束，从而提供一种可同时满足所有约束的解决方案 快速实现 与调试功能和实时反馈全面对接，让开发人员能够快速在自己的应用程序中实现 ...
... 下一代模块化诊断工具，用于在汽车领域创建复杂的诊断应用。基于国际标准ODX和OTX，以及一个MCD-3D服务器 MDT® 2.0为访问诊断数据提供了一个标准化的工具。该工具为诊断工作流程的创建、结构化和实施提供了各种选择，其基础是符合ISO 13209的行业标准OTX（开放测试序列交换格式），而ODX标准（开放诊断数据交换）保证了诊断服务的可重复使用性。此外，MDT® 2.0支持本地RMI，并提供创新的ODW向导（Sontheim OTX诊断向导），在不破坏ISO标准的情况下，以非常方便的方式简化OTX编辑。 多平台支持 该运行时是专门为多平台应用开发的，并提供多平台GUI支持以及运行时工作流语言的平台独立描述。这既减少了您的诊断应用在多个PC、移动或嵌入式平台上的实施和测试工作。MDT® ...
Sontheim Industrie Elektronik GmbH
... Microvia钻井软件 一个直观的图形用户界面，为操作员和工艺工程师提供了无可比拟的易用性。 所有的机器设置和校准控制、作业和工艺设置、视觉和工艺图、状态和诊断信息--只需点击一下就能获得。 特点 简单的操作界面--加载面板，只需按下开始。 流程图--在地图或摄像头覆盖下可视化所有工作特征。 一目了然地看到过程的内容和位置，实时的。 全自动运行时间校准在需要时激活，确保过程的稳定性和准确性。 实时系统监控，确保过程的完整性 ...
... SCOPE是我们的安全解决方案，用于从您的机器人队伍中持续挖掘EDGE数据，提供开放和透明的数据路由（到您的MES或ERP系统），满足您的任何需求。它能即时分析机器人的健康状况和压力，通知即将进行的维护，从而为您的生产资产提供一个概览，以更好地控制您的整体设备效率（OEE）。 SCOPE为从预防到预测性维护和更智能的行业铺平了道路。 智能解决方案： 提供对分析和机器人数据的访问，在一个仪表板上提供监督机器人车队运行状态的可能性，并提供机器人系统状态的深度分析。 最多可连接50个机器人： SCOPE是一个新的硬件平台，能够将您的车队完全连接到不同的系统层。 优化您的设备，以减少压力并提高您的OEE： SCOPE允许优化您的机器人性能和轨迹。机器人的压力被降低，性能被调整到您的生产能力，以延长使用寿命。 通过监督您的机器人队伍，防止生产停工： 您的全球机群概览可轻松安排所需的维护行动。 启用新的功能，同时受益于更新： 该平台是根据您的需求定制新功能的基石。 ...
as1控制系统是我们在混凝土行业潜心研究六十年的智慧结晶。安迈全面了解客户对混凝土业务的需要，并能把握提升效率的最佳时机。当今，客户需要一套混凝土设备控制系统，以提升盈利能力，同时保证未来可持续发展。
您需要一种采用最新技术的碎石控制系统，以提高盈利能力。同时，您还希望该系统及其相关技术能够便于操作员理解和使用。as1控制系统能够满足您的各种需求。
... 作为整体状态监测平台的一部分，System 1 的性能有助于监测资产的性能和效率，并为更好的维护策略提供性能诊断。 将Bently Performance添加到您的System 1系统中后，可以深入了解以下内容： - 设备效率随时间的变化以及可能的原因 - 整体生产效率以及对收入的潜在影响 - 维护计划 系统 1 的 Bently 性能模块 Bently Performance软件模块扩展了System 1的功能，包括热力学性能在线监测。该模块与 System ...
更快速、更轻松、更安全 在进行中压和高压设备（如断路器、旋转电机、接地系统、仪用互感器、电力变压器以及套管和有载分接开关 (OLTC)）诊断测试、状态评估及数据管理时，Primary Test Manager™ (PTM) 可为您提供相应的支持。 该软件可以指导您完成整个测试，让测试更快速、更轻松、更安全。另外，还能根据适用的国际 IEEE 和 IEC 标准对测试进行自动评估。
... NEST i4.0：我的 KI 最佳预测性维护系统 将您的数字化工厂与 NEST i4.0 软件套件结合起来，就能利用 Acoem 的 KI Accurex™ 智能系统，实现集成的预测性维护生态系统。NEST i4.0 可与 Acoem 的振动监测解决方案（拖拉式 FALCON 分析仪、机器卫士应用程序、EAGLE-Drahtlos 传感器和 MV-x 监测系统）完美结合，提供精确的振动数据和自动诊断。 功能 门户网站 一种基于网络的先进技术，可让您全面了解您所使用的每台机器。在全球多个地点为工程师和振动专家提供有关各种机器和网络的详细资料。 机床安装 NEST ...
请说明：
您的建议是我们进步的动力：
剩余字数