软件
... 通往航空运输复苏的道路将建立在为整个旅程创造可预测的体验上。 但是,机场面临着巨大的压力,需要用更少的资源和极薄的预算来实现平稳的运营。解决这些挑战需要了解人们如何移动以及他们将如何与服务接触。 Veovo的旅客可预测性解决方案为整个机场的团队提供无与伦比的行为洞察力、强大的计划和可操作的指标。 一旦你知道了,你就可以放心地采取行动。这使得一切变得不同。 通过智能规划减少排队 给你的合作伙伴提供他们可以信任的洞察力,看你的ASQ分数如何飞跃。 通过一个集成的队列管理、预测和能力规划工具。 缩减线路 通过完整的队列和人员密度可见性以及动态车道平衡来缩短等待时间。 减少压力 查看行李检查、TSA检查、海关和边境管制以及共享汽车队列的实时等待时间 最大限度地减少管理费用 通过人工智能驱动的预测和车道开放建议,使人员配置符合需求 ...
Veovo
... BLADE 是 BigRep 易于使用的切片机软件,可以在所有 BigRep 大型三维打印机上更好地控制打印参数。其集成的估算引擎可提供精确的打印时间和材料使用预测,实现无与伦比的规划和生产率。作为市场上速度最快、精度最高的切片机之一,这款尖端软件针对工业零件切片进行了优化,可快速、轻松地开始打印。 基于行业标准软件,具有关键功能和优化: 专为 BigRep 3D 打印机设计 一系列选项可缩短大幅面打印时间并减少材料用量 经常更新 BigRep 材料预设,实现快速、高质量打印 专家和基本用户界面模式,控制精确,使用方便 精确预测打印时间和材料用量 自动批量生产计划 简化 ...
BIGREP GMBH
... BEST,即 "从头到尾的模拟和培训",是一种单一解决方案产品。它具有完整的塔台和雷达功能,可满足民用和...应用的要求。 单一解决方案 - 涵盖从模拟到 TRUCE 的所有培训要求 - 结合塔台和雷达场景,提供完整的 "门到门 "训练 灵活 -灵活的工作站配置和角色选择 - 可通过额外许可证增加功能 可定制 - 用户定制和选择控制器人机界面 - 带有可视化工具的全套数据准备程序 - 自适应、快速、伪驾驶员界面 可扩展 - 任意数量的位置 - 任意数量的职位类型--伪飞行员、控制员、 - ...
... SPC3d 是 Third Dimension 全球领先的测量和检测软件,用于 GapGun 型材测量系统。 SPC3d 软件适用于 PC 和机载处理,设计快速、灵活、易于使用,具有先进的测量能力和功能。它是生产和维护操作中质量控制和数据收集的终极工具。 只需安装一套软件,即可管理任意数量的间隙枪系统,创建测量检查计划,提供交互式结果分析、数据记录以及与第三方 SPC 软件的接口。 高性能处理:多核处理可实现超快测量和分析。 先进的测量能力:尖端的算法技术意味着 SPC3d 可同时测量多达 ...
Third Dimension
... 适用于无人机的高功率密度、无振动推进系统 长航时和任务关键型无人机平台需要一种结构紧凑、机械平衡且燃油效率高的推进系统。 INNengine推进系统具备固有的动态平衡性和卓越的功率体积比——且不存在传统往复式发动机带来的振动问题。 集成适配性 超紧凑的外形设计,便于与机身紧密集成 固有的动态平衡可减少结构疲劳和传感器干扰 稳定的功率输出,适合定点巡航运行 多燃料适用性,满足前线部署后勤需求 目标合作伙伴 无人机机身制造商、推进系统集成商、远程 piloted 航空系统(RPAS)原始设备制造商(OEM)以及任务系统开发商。 ...
... 概述
Opscom for ATM 是一款基于网络的(SaaS)解决方案,为空中交通管理(ATM)和航空导航服务提供商(ANSP)提供支持。该解决方案符合主管机构要求,包括 ICAO SMS Doc. 9859/2017、ICAO Doc. 4444、ICAO Annex 11 & 19、ISO 31000、(EU) 2017/373、(EU) 2015/340 和 (EU) 376/2014。
技术要求
采用 SaaS(软件即服务)模式,无需本地服务器安装。只要具备稳定的互联网连接,Opscom ...
... 产品
CAMO作为Lacoon®平台内的模块/解决方案呈现,旨在支持航空运营商的持续适航管理和法规合规。
概述
通过单一集中仪表板,Lacoon®为CAMO提供对维护截止、正在进行的工作包及法规合规性的全面可视化。该平台保障运营流程,降低错误风险,并加强CAMO、MRO与物流团队之间的协调。
CAMO的优势
- 实时和模拟警报
- 即时触发警报或基于时间的预测以提前应对关键期限
- 部门间自动通知
- 将警报自动分发至相关部门,确保协调顺畅并及时响应
- 安全且自动化的CAMO工单管理
- 自动生成CAMO工单,确保维护团队所需信息与文档的完整性、可追溯性和可用性
- 工作包跟踪
- 实时跟踪工作包,使CAMO能够监控维护进度并高效管理与MRO及物流的互动
- 信息集中化
- 所有审计相关数据在单一安全环境中整合,以支持高效且合规的流程
附注
作为Lacoon®平台的一部分,CAMO侧重于可见性、警报机制、自动化工作流及审计数据的整合,以支持CAMO、MRO与物流功能之间的合规与协调。
特性 ...
... 这些测试可以在外部编程站进行,也可以直接在机器控制系统上进行。通过优化加工工艺并确保及早纠正错误,用户可以期望大幅降低碰撞和报废的风险,同时最大限度地减少非生产性停机时间。这释放了新的潜力,并提供了明显的竞争优势 CrashGuard Studio是任何CAD/CAM软件的完美补充,以及到WFL防撞软件CrashGuard。借助材料去除仿真,可以导出任意加工状态下的工件三维几何形状。工件、刀具和夹紧装置的数据可根据需要传输 通过编程站或机器控制系统直接进行材料去除的完整和逼真的NC程序模拟 缩短投入机床加工的时间,从而显著提高生产率 加工时间的准确计算 优化整个加工过程,降低报废风险 得益于早期错误检测,提高了效率 不同的加工单元,如副主轴或下刀塔,可以以一种省时的方式同步,可以将非生产性的停机时间降低到最低限度 可以模拟所有的循环(无论循环是来自WFL还是由客户自定义创建) 集成三维测量功能,优化工具配置 是所有CAD/CAM系统的理想补充并与之完美的兼容 程序员和操作员的培训工具 简单和具有成本效益的可行性评估,特别是在复杂工件的情况下 程序模拟时可切换为手动操作 数控程序或后处理程序可以在机床交付之前进行测试 真实模拟过程中的测量 ...
WFL MILLTURN TECHNOLOGIES GMBH & CO KG
... HEMISPHERE® SeMSy®视频和报警管理系统是市场上视频管理系统(VMS)最全面的解决方案之一。 其应用组合远远超出了经典的视频管理任务,并通过各种接口和行业模块提供第三方系统的全面整合。 用户可以从广泛的应用和流程中进行选择,从而获得与他们的应用相关的确切功能。 优点 全面的报警和视频管理功能 集成了基于VCA和AI的分析功能 最先进的操作理念使操作员的效率最高 最佳地利用Panomera®的优势 直观和高效的用户指导 集成第三方系统(火灾报警系统、出入控制、面部识别等) 带有 ...
... FLEET...N 质量管理是针对飞机运营商、设计、维护和支持机构的特定需求量身定制的最全面的解决方案。 全方位 360 度高性能管理 法规 文档 实施 在单一平台上实施。 该解决方案的所有模块都相互连接,能够管理多个证书的独立数据,如 不同的 AOC 第 145 部分 ISO 条形图 IBAC 文件控制在监管环境中至关重要,因为它涉及所有质量流程。 FLEET...N 受控文档是在您的组织和分支机构内建立各类文档控制的最现代、最简单的方法。 通过基于文章的阅读跟踪来阅读文档 创建 编辑 交叉引用 回顾 出版 分发 FLEET...N ...
... Visionair 是无人机导航公司 (UAVN) 用于规划和执行无人机任务的标准地面控制站 (GCS) 软件。它与所有 UAVN 自动驾驶仪 (AP) 兼容。基本功能:面向任务的界面功能齐全的无人机任务规划和执行应用程序,带 GUIP 平台:适用于固定翼、直升机或多旋翼无人机和目标主要飞行模式:自动、手动、飞向、保持(盘旋)、安全(返回基地)全自动起飞全自动着陆相机控制模式:空中、地面、地理、飞行员视图、收起、速率(带集成视频显示)航点:最大 100 个航程:无限无限高度无限制完全 DEM 支持目标编辑器飞行区/禁飞区可配置的警报范围齐全 ...
... DruGuard® 是同类产品中首款也是唯一一款可用于透射 X 射线全身安全扫描仪的自动检测软件。 DruGuard® 的独特之处在于其算法处理能力可检测到内部隐藏的毒品。DruGuard® 的设计目的是让操作员参与图像分析过程,同时提供特定的工具,如检测到麻醉品或毒品的概率和位置。 DruGuard® 广泛的报告功能使主管人员能够对照软件审查操作员的表现。DruGuard® 要求操作员标记可疑图像,并且 DruGuard® 重叠了单独的检测框,以区分自动和手动检测。DruGuard® 具有数据输入功能,可以 ...
Linev Systems
... 40多年前,Fidia是第一个引入 "向前看 "概念的公司:CNC "向前看 "编程的刀具路径,以优化机器的加速度和速度。有了ViMill®,这一概念已经扩展到安全领域。ViMill®是一个软件包,其中的 "向前看 "功能已经发展到预测任何可能的碰撞,从而使加工更加安全。 由于完全集成在Fidia数控系统中,ViMill®可以全时运行,涵盖机器的任何工作状态:零件程序执行、手动数据输入、刀具更换周期、测量和校准周期以及通过点动按钮或手轮进行手动轴定位。当ViMill®运行时,Fidia数控系统不断检查机器的运动部件,如铣头、刀具、旋转工作台;以及固定部件,如工件、夹具或工作台之间可能发生的碰撞。一旦检测到可能的碰撞,控制装置将所有机器轴置于 ...
FIDIA SPA
... 控制和监测机场地面照明设备 功能描述 机场地面照明设备显示在代表机场布局的屏幕上 机场地面照明设备的控制由位于屏幕底部的轨迹球和按钮(触摸屏)完成 气象设备 应用 - 为空中交通管制员提供气象数据(在飞机上发送)。 - 自动调节机场地面照明设备的发光强度(以METAR/SPECI报告中的跑道可视范围测量数据为基础) 连接 - 串行线RS-232或TCP/IP - 工作地点Meteo是通过LAN网络连接的 表现形式 - 基本的气象数据显示在 "机场地面照明 "报告中,在屏幕的顶部部分的气象标尺。这把尺子包含了最重要的气象数据的选择。 - ...
TRANSCON ES
... 我们控制无人机的软件是以独立平台的方式开发的。因此,由你来决定是否要使用Windows、MacOS X或Linux笔记本电脑来使用你的系统。它根本就可以工作。不过,我们建议使用带有BootCamp Windows的MacBook Pro 13",但还是要由你来决定你想使用的硬件和软件。 地面软件的开发采用了与无人机操作员接触的所有经验教训。其他系统有一套完整的参数存储在计算机中,而另一套完全不同的参数在机上,而我们的系统则显示从自动驾驶仪接收到的信息。这减少了灾难性的遗漏(如忘记上传航点),并大大简化了系统操作。 同样,遵循这一理念,地图上所画的就是无人机打算做的事情,始终如此。你将能够在每一时刻看到计划的行动路线,并实时修改其飞行。 地图引擎连接到互联网,获取地理坐标的地图,并为你呈现。你不必手动加载地图,也不必担心它们的对准问题。如果在执行任务期间,你发现了感兴趣的东西,你只需在界面上点击一下,就能引导无人机前往那里。 而且,考虑到使你的生活更轻松,你可以将记录的飞行文件转换成MatLab®或Excel®文件,以便进一步分析。此外,如果你对修改控制参数感兴趣,你可以获得增益调整选项。 亮点 来自互联网的地图。使用前不需要下载地图。 简单的程序界面。易于配置和使用。 ...
Airelectronics
... RDBLib是一个软件库,用于从RIEGL的本地RDB文件格式读写各种类型的数据(如点云、轨迹、体素)。 这个免费的软件包使软件开发者能够在他们自己的软件产品中支持RIEGL点云数据。 主要特点 RIEGL软件以RDB(RIEGL数据库)文件格式存储各种信息。RDBLib是一个库,提供简单直接的访问存储的数据,从而消除了手动解码和处理专有数据格式的需要。该文件格式可以处理静态和运动学LiDAR项目的数据。 主要应用 处理静态和运动学LiDAR项目的数据 ...
RIEGL LASER MEASUREMENT SYSTEMS GMBH
... Q-KMS是一个为配置和管理连接到航空公司/机场系统的信息亭及其硬件组件而开发的平台。它是在IATA通用自助服务(CUSS)原则的指导下设计的。 Q-KMS平台支持专用单应用(DSAM)和多应用(MAM)模式的自助终端。Q-KMS最核心的组件是应用管理器,用于协调和管理与之相关的应用和事件。应用管理器执行以下主要功能: 在MAM模式下协调多个应用程序。 通过操作系统观察应用程序,必要时中断它们 按计划重新启动应用程序。 向应用程序和其他利益相关者发布事件。 接受来自Q-KMS服务器的远程请求,如改变应用程序状态的命令,测试或查询硬件组件。 通用启动程序(CLA)是由Q-KMS提供的图形用户界面,具有以下基本功能: 如果没有一个应用程序可以控制屏幕,在这种情况下提供适当的图形用户界面。 测试硬件设备,诊断问题。 协助航空公司工作人员帮助在使用自助终端机时遇到问题的乘客。 监测系统产生的事件和日志 检查信息亭的配置 Q-KMS既可以作为一个独立的产品使用,也可以作为一个平台集成到我们的其他产品,如KAPP、ALAPP和客户适应性。 ...
QUAVIS
... 凤凰云浏览器显示详细的LiDAR数据,这对某些计算机来说可能是一个挑战。为了获得最佳体验。 我们建议使用Chrome/Safari浏览器,少开或不开其他标签。 一旦点云打开,点击菜单并将 "点预算 "设置为最高可用值 想获得更流畅的体验?将你的浏览器设置为使用你的NVIDIA显卡(如果配备)。 这个彩色点云的数据来自我们的入门级Scout系统,该系统带有双RGB相机,覆盖了120度的扫描范围,提供了出色的斜向色彩。在40米高空,Scout对该地区的测绘精度在1厘米以内。该系统是需要斜向图像的应用的理想选择,如露天采矿等。 系统。侦察兵+双RGB相机 AGL:40米(约)。 速度:6米/秒(约)。 我们对每一个Phoenix ...
Phoenix LiDAR Systems
... IrisAccess CardiD 管理系统 (CMS) 是全球第一大虹膜识别平台的一部分。该系统具有更高的通用性和灵活性,使卡片配置、虹膜注册和验证变得前所未有的简单。直观的可视化用户界面与声音提示相结合,使用户几乎可以同时快速注册和验证一只或两只眼睛。在出示智能卡后,IrisAccess 自动倾斜摄像头会立即调整到用户偏好的高度和角度,从而进一步提高速度和便利性。 在双因素身份验证方面,IrisAccess CardiD 管理系统具有极大的灵活性。iData CardiD 管理应用程序 (CMA) ...
... lrisGuard EyeBank® 解决方案为金融和医疗机构、政府、非政府组织和零售业提供完整的生物识别注册和身份验证解决方案。我们的生物识别技术利用虹膜作为身份令牌,让受益人拥有自己独一无二的数字身份。 我们屡获殊荣的虹膜识别技术可将每个虹膜图像转换成加密数字代码。该代码被输入生物识别注册数据库进行存储,随后进行快速比对。我们的虹膜扫描仪、软件和后台服务器以一对多的方式验证虹膜。生物识别技术可提供稳健可靠的身份验证服务,准确率达 100%,只需 2G 信号即可进行实时确认。有关虹膜识别技术的更多信息。 通过生物识别注册验证数字身份,一些最弱势和被数字技术排斥的人群可以安全地获得金融和其他福利服务。这包括难民、境内流离失所者和公民。 EyeBank® ...
IrisGuard
... IriCoreLite 是一个虹膜识别库,提供各种应用程序编程接口(API)和功能,供开发人员或集成商用于开发基于虹膜识别的应用程序。 IriCoreLite 专为在 Windows 和 Linux 平台上使用艾利泰克虹膜扫描仪的 PC 和企业应用程序上的大规模虹膜识别应用而设计。 IriCoreLite 包含各种精确的虹膜分割和快速匹配算法,并采用了大量图像处理任务。艾利泰克备受赞誉的虹膜识别技术已在许多系统中得到检验和证明,并通过了 NIST(美国国家标准与技术研究院)等著名机构的评估。 基于可变多扇区分析和非线性分割的高精度虹膜分割特征提取技术 通过强大的图像增强器,可抵御不同光照度对图像造成的各种干扰 强大的遮挡检测算法可去除眼皮和睫毛 适用于大规模应用的快速准确的虹膜匹配算法 强大的图像质量评估算法 在 ...
IriTech,Inc
... 完整的网络可视化和决策系统 模块化的网络架构 可以针对各类型的控制室业务需求进行扩展 支持多位置发布 兼容大量 ICT 和 AV 源类型 与许多第三方系统的接口 非凡的可靠性,经过全球 12000 多次安装现场验证 长期维护和改进 ...
Barco N.V.
... Casper Noise 是一种噪音管理工具,用于监测和分析噪音消除程序以及管理噪音投诉。 Casper Noise 为机场提供了一套功能强大的工具,用于管理影响机场发展的空域变化、社区敏感性和运营变化。使用 Casper Noise 及其广泛的附加组件,可缩短噪声项目管理时间并提高质量。结合不同的数据源(雷达/FAA SWIM/ADS-B、飞行计划、噪声等)并将其转化为有用且易于理解的信息,是 Casper Noise 的强项之一。 第 3 版的主要功能 Casper Noise 第 3 版的亮点 高级航迹分析选项 高度自动化的投诉管理流程 使用专有算法检测最佳飞机噪声事件 高级地图显示选项 通过各种仪表盘进行洞察 功能强大、先进(但仍易于使用)的报告工具 噪声和轨迹分析 先进的飞机噪音检测算法可对飞机噪音进行最佳检测。噪声记录会被存储起来,以便进行进一步分析,同时还可进行即时噪声回放。航迹分析包括监测与噪声优先走廊相关的航班动态,也可根据特定区域、登机口、气瓶或 ...
Casper
... 用于无人机的完整软件平台。 你所需要的一切,使你的无人机系统操作自动化,管理设备和团队,安全飞行,并在我们基于云的平台和移动应用程序上分析你的数据。绘图由PIX4Dengine提供。 可操作的空中情报,就在你的指尖上 自主飞行控制和数据收集 从我们基于云的网络平台计划和管理飞行操作。 使用GPS辅助的手动控制或自动网格和航点模式飞行。 自动同步网络创建的飞行计划到我们的移动飞行应用程序。 自动上传飞行日志、图像和数据。 阻止DJI数据共享;申请并应用DJI GEO解锁。 检查空域和天气状况。 项目管理与合规 在我们的云端平台上计划任务,跟踪计划活动,并管理操作。 通过上传KML文件创建一个网格或航点飞行计划。 访问详细的飞行日志信息,如屏幕截图、飞行回放和标记的事件。 采用设备管理,自动跟踪使用情况。 程序活动报告。 用基于权限的访问控制进行用户管理。 数据处理和分析 将图像处理成高质量的数据产品,由摄影测量的行业领导者Pix4D提供支持。 利用RTK无人机数据提高图像处理精度。将地面控制点(GCPs)与你的地图一起上传,以提高精确度。 创建正射影像、数字表面模型、等高线和多光谱地图。 在一个互动的、账户范围内的地图上查看、导出和分享您的二维和三维数据文件。 测量线性距离和面积。 受益于多光谱数据处理和分析。 ...
AgEagle
... 闭路电视摄像机已成为现代人生活中不可或缺的一部分。它们有助于改善贸易领域的服务,识别和拘留罪犯,并见证有争议的情况。每个人都可以在办公室或公寓安装特殊设备。我们提供了数百种不同的选择。 无论选择哪种摄像机,都必须安装专用软件,因为基本软件往往不适合现有的个人电脑或移动设备,或者不能满足较高的要求。软件解决方案由顶级开发商提供。每月都有新软件发布。对于普通人来说,这非常难以驾驭。为了不犯错误,安装真正高质量和功能强大的软件,值得了解市场上最好的软件。 Xeoma 该软件被认为是最好的软件之一。它可以被安全地称为通用软件。开发人员开发的软件适用于 ...
... 2N® NetStar SW是一个为公司通信提供有效解决方案的工具。它提供了IP分支交换机、虚拟交换机和内部通话服务器的所有功能,取代了传统的硬件交换机。2N® NetStar SW只需要安装在你的个人电脑上,你就可以开始打电话。由于它使用计算机网络,不需要任何特殊的电话线。 全面性 购置成本低 可扩展性 特点和优点 全面性 一个提供综合电信系统的软件工具,用于引导和管理队列中的电话呼叫。 低购置成本 与明显昂贵的传统PBX硬件相比,利用获取成本效益高的软件。 延伸性 受益于无限数量的线路和连接,而不需要昂贵的扩展模块。 ...
... 制造准备、模拟、过程中控制、可追溯性...AddUp提供了一套完整的软件来收获FormUp机器的全部潜力。 AddUp Manager™, 制造准备软件 使用AddUp Manager制造准备软件,控制所有机器参数。无论你是在寻找最大的生产力、冶金或几何质量,还是想开发一种新材料的配方,AddUp Manager都能让你在机器调整的选择上获得完全的自由。 超过250个可以修改的变量和参数 创建自定义熔化策略 超快的轨迹生成引擎 符合人体工程学的直观界面,可视化的激光轨迹 与大多数CAD软件兼容。Catia, ...
AddUp
... JMatPro®是一个模拟软件,可以计算广泛的合金材料特性,特别是针对工业实践中使用的多成分合金。使用JMatPro®,你可以进行以下的计算。 稳定和易变的相位平衡 凝固行为和性能 機械性能 热物理和物理特性 相变 化学性质 JMatPro®包括一个基于Java的用户界面,其计算模块使用C/C++,并可在任何Windows操作系统(至少是Windows 98)下运行。它也可以在32/64位操作系统的多核机器上运行。 JMatPro®包括一个基于Java的用户界面,其计算模块使用C/C++,并可在任何Windows操作系统(至少是Windows ...
... 从极点到极点,SKYTRAC自动飞行跟踪允许调度团队和其他地面人员为无限数量的飞机绘制实时飞行路径。我们领先的SkyWeb飞行跟踪软件是第四代的成熟系统,受到全球6500多个用户的信任。设置飞行走廊,添加自定义地理参考,监测飞行计划的偏差等等。 SKYTRAC解决方案独特地提供了多个地图数据层,以提供对机队运行状况的更多洞察力。运营商可以使用我们功能丰富的SAAS界面立即进行部署,或将飞行跟踪数据与现有的第三方调度/飞行计划系统整合。 ...
SKYTRAC Systems Ltd.
... Av...n EFB 具有完整的合成视觉系统,可显示飞机前方的地形、跑道和障碍物。与支持的 AHRS 结合使用时,它将成为一套完整的后备姿态指示系统。 ...
AvPlan EFB
... 新的Pressure from PIV软件包满足了从PIV和Shake-the-Box(4D-PTV)数据中直接提取全3D和2D压力场的强烈需求。只需点击几下,Pressure from PIV与LaVision的DaVis 10软件一起从各种PIV和PTV速度数据中检索和显示平均压力场,这些数据可以导入DaVis或由DaVis直接计算。对于时间分辨率的数据,甚至可以评估瞬时压力。通常情况下,压力测量是以点为单位进行检索的,例如用压力抽头或皮托管。用压力传感器对风洞模型进行测量是非常耗时、复杂和昂贵的。在欧洲NIOPLEX项目中,几所大学和LaVision联手开发了一种非侵入性的、直接的方法来检索整个体积的压力。该项目最终确定了从PIV/PTV测量中计算压力的实用方法。 LaVision正在进行的内部开发使用了复杂的数学方法。今天,所有的LaVision压力求解器使用户摆脱了普通压力求解器对测试域形状的限制。此外,一个新的4D压力求解器是为瞬时压力场开发的,它产生稳定和可靠的压力结果。4D压力求解器的中心思想是利用时间信息来强制执行时间连续性。同时,用户定义边界条件的努力也被最小化。 4D压力求解器将4D时空块考虑在内。每个4D块由多个三维域和它们在时域的拉格朗日连接组成。 ...
LaVision GmbH