地理信息组件式开发平台KQGIS Objects SDK 地理信息组件式开发平台（KQGIS Objects）是基于二三维一体化技术构建的具有跨平台能力的组件式地理信息开发平台，利用空间数据管理引擎，具备地理空间数据管理和应用能力；提供C++、QT、.NET等开发资源，接口简单易上手，能够胜任小/中/大型企业级 GIS 应用系统的构建，满足多样化的用户需求。 产品特点： 数据处理功能组件 空间数据创建和管理组件 地图功能组件地理信息网络客户端开发平台 KQGIS Client 地理信息网络客户端开发平台（KQGIS Client）是一套由 JavaScript 语言编写的网络客户端二次开发平台，包含KQGIS Client for Leaflet、KQGIS Client for MapboxGL、KQGIS Client 3D for WebGL等不同产品，支持访问苍穹地理信息服务平台发布的地图、数据、三维场景、空间分析、动态标绘、地理编码和数据流等服务资源，集成常用的地图库和可视化开发库，为用户提供了完整专业的二三维GIS能力，同时还提供了优秀的可视化能力和灵活的扩展开发能力。 产品特点： 资源接入 可视化展示 在线编辑处理地理信息运维管理平台KQGIS Manager 地理信息运维管理平台（KQGIS Manager）是实现GIS系统一体化运维的工具，提供各类节点资源、服务资源以及WebGIS站点的统一管理，为服务发布、网站搭建等需求提供云环境；能够将多个GIS服务器的计算资源和服务资源进行整合，实现GIS服务器节点的弹性管理及负载均衡，提升GIS服务器性能；提供节点健康状态、节点负载情况等指标，并通过全面的网络监控提供实时报警等运维管理。 产品特点： 集群管理 安全保障 监控管理 地理信息门户平台KQGIS Portal 地理信息门户平台（KQGIS Portal）是一款专业的GIS资源整合、管理、搜索与共享工具，提供专题图制作、三维可视化、分布式空间分析和模板式应用创建等WEB端应用，具备可视化门户定制、多源异构服务注册、系统监控仪表盘等功能，可快速构建个性化的GIS门户站点。 产品特点： 资源整合 资源检索 资源共享 地理信息桌面平台 KQGIS Desktop地理信息桌面平台（KQGIS Desktop）是一款专业型桌面GIS应用与开发软件，具备强大的数据采集与编辑、地理分析与处理、地图制图与输出等能力；支持二三维数据一体化管理、展示、分析及服务发布；实现跨平台安装部署，突破传统桌面GIS软件在Windows环境下运行的局限性。 平台特点：便捷的数据采集与编辑工具 跨平台部署运行高级的地理分析与处理能力 二三维一体化强大的地图制图与输出功能 服务发布与管理 在线地图服务 地理信息服务平台 KQGIS Server苍穹地理信息服务平台（KQGIS Server）基于高性能的跨平台GIS内核，支持海量空间数据免切片快速发布；支持二三维一体化的服务发布、管理与聚合；提供强大的空间大数据存储、分析、处理等多种WEB服务；具备多层次的扩展开发能力；可快速构建基于云端一体化的GIS应用系统。平台特点：二三维一体化服务发布与管理海量空间数据存储与分析GIS资源按需使用、动态伸缩、智能分配具备服务二次开发自定义扩展能力 地理信息移动开发平台 KQGIS Mobile地理信息移动开发平台（KQGIS Mobile）支持Android和IOS操作系统的智能移动终端；具备专业而全面的GIS功能，支持多样化数据采集编辑、海量离/在线数据管理、流畅的地图体验、二三维数据可视化、专业的空间分析等，满足用户对移动GIS的应用需求；支持多种专业数据和服务，可以快速开发各类在线和离线的移动GIS应用。平台特点：兼容Android/IOS系统，跨终端数据直接交换数据采编方式丰富多样，离/在线地图操作流畅移动GIS+3D/AR/VR，GPS和BDS双星定位

项目简介可满足性问题(SAT)是计算机科学和数理逻辑的核心问题之一，作为核心推理引擎被应用于电子设计自动化(EDA)领域中的多个环节，而逻辑等价性验证（LEC）问题则为EDA的一个经典且有关键应用的问题。产业升级和技术进步带来了超大规模的问题和更复杂的难题，对SAT求解器和LEC证明器的拓展能力和求解速度提出了更高的挑战。可满足性问题及等价性验证关键技术及平台以形式化验证能力、难题的求解能力、分布式并行的适配能力等方面出发，建立了一套可靠、高性能、高拓展性的SAT和LEC系统平台。具有如下特色：一．混合求解。针对SAT问题，设计了一套以系统搜索为主体，局部搜索辅助进行空间采样的深度混合求解技术，两类算法会定期执行深度的信息交互；针对领域中难以验证的数据通路电路的LEC问题，提出了一种基于多引擎的扫描验证算法，并可以根据子电路区域的特征，在验证局部区域时，动态选择采用SAT求解器或者完备仿真器来进行验证。相关技术大幅提高了验证工具在不同问题上的验证能力和实用性。二．分布式求解。本平台基于随机初始搜索序扰动技术和线程间子句交互技术，提出了一套分布式SAT求解框架，可以快速适配于任意核心数目下问题的求解，拓展能力强，相比已有公开技术，本技术大幅度求解速度和复杂实例的求解能力。基于相关技术研制的LEC验证工具，可以快速验证许多主流开源工具甚至国内外商用工具难以验证的数据通路电路的等价性难题。相关技术获发表高水平论文发表高水平学术论文10余篇、专利和软件著作权2项。相关技术于国际SAT比赛、FLoC奥林匹克竞赛获得冠军10余项。在可满足性领域旗舰会议SAT（国际可满足性测试理论及应用大会）荣获最佳论文奖。相关成果已服务于多家头部EDA企业，并成功赋能了军工、金融等领域。 技术成熟度：中试

推广标签： 企业介绍 技术专家 科技成果 查看更多... 数据智能服务整合主机厂及第三方数据提供商的数据资源，通过大数据分析和挖掘建模，向车厂内外部提供创新型产品及个性化服务。二、平台构建能力自研车联网大数据数据平台：平台具备较高性能的计算能力和高可扩展的存储能力，同时平台具有高可用、高稳定性、高可扩展性，能够处理百万以上车辆千级数据字段的秒级并发数据，能够达到对PB级数据量的毫秒级查询响应，支持自动化部署的平台级产品。数据仓库：专为车联网行业设计的数据仓库，数据仓库共分为五层，数据源层ODS、车联网基础数据层DWD、车联网中间层DWM、车联网数据服务层DWS、车联网数据应用层DWS。数据结构清晰，数据复用，减少重复开发，数据能得到高性能、低成本、高效率、高质量的使用，实现汽车行业的主流业务需求全覆盖。数据中台：整合企业内部多种数据源和多种平台服务，实现企业侧跨部门协作，大幅提升数据分析能力和数据使用效率，增强各个部门的协作能力和产出，有效减少数据开发和处理工作，有效减少人员和资源投入，实现降本增效。 三、数据资产管理能力数据标准管理以应用为导向，建立车联网采集信号项的数据字典，行业标准共1200余项，保障数据的内外部使用开发的一致性与准确性，对主机厂前期规划、数据价值挖掘、数据产品创新具备极强参考意义。01——数据模型管理建立车联网算法模型库，包含20余个模型算法，包含评价算法与机器学习模型的归纳与总结，进一步结合车联网应用场景将数据价值展现，模型均经过一个或以上的项目验证，准确率处于行业较高水平，模型准确率为96.8%。02——数据共享管理建立了功能分析指标体系的血缘关系，探查开发数据流的逻辑关系，明确数据资产内部共享和流通关系。03——数据价值管理建立了车联网功能库与标签库，沉淀梳理车联网满足实际业务场景诉求的功能方案，以及围绕“车辆、车主、业务”的标签体系，包含400余个内容标签，实现对数据内在价值的度量与实现开展。04——UPDATING...数据应用能力基于汽车行业业务广度的理解与数据研究深度的探索，使用科学数据方法，运用数据挖掘工具快速实现、归纳数据中的业务价值，为业务决策提供数据支撑。业务理解9年车联网数据服务运营经验，构建了具备“汽车、数据、移动出行”交叉知识结构的复合型专家团队。通过咨询规划、项目调研、项目实施、业务运营等方面构建了专业且全面的知识体系，有效将数据挖掘能力与业务能力充分结合并实现，曾创多个数据应用产品。 四、数据资产管理能力数据标准管理以应用为导向，建立车联网采集信号项的数据字典，行业标准共1200余项，保障数据的内外部使用开发的一致性与准确性，对主机厂前期规划、数据价值挖掘、数据产品创新具备极强参考意义。01——数据模型管理建立车联网算法模型库，包含20余个模型算法，包含评价算法与机器学习模型的归纳与总结，进一步结合车联网应用场景将数据价值展现，模型均经过一个或以上的项目验证，准确率处于行业较高水平，模型准确率为96.8%。02——数据共享管理建立了功能分析指标体系的血缘关系，探查开发数据流的逻辑关系，明确数据资产内部共享和流通关系。03——数据价值管理建立了车联网功能库与标签库，沉淀梳理车联网满足实际业务场景诉求的功能方案，以及围绕“车辆、车主、业务”的标签体系，包含400余个内容标签，实现对数据内在价值的度量与实现开展。04——五、咨询规划能力1成熟的车联网数据资源规划方法论从业务驱动的角度，梳理各部门选择要解决和产生的业务场景。针对需求处理和采取整合这些场景需要的相关数据，构建面向业务服务的规划方向，提升业务效率实现数据价值。例如：数字化营销服务规划、个性化主动服务服务规划、数据驱动研发场景规划等。 2专业的咨询规划团队团队由具备多年移动互联网、汽车业务研究、大数据技术服务背景的人员构成，且经过彩虹无线9年来的知识库沉淀积累，形成了行业知识广度与业务经验深度的专家售前团队。3完整的咨询规划服务体系协助企业建立大数据分析的支持体系、分析的文化、分析数据的人才，形成企业对大数据的综合管理、探索、共识。丰富的知识库通过自主技术研发和项目经验沉淀，彩虹无线制定数据采集标准，构建指标字典、算法模型库、标签库、业务功能库，形成对车、对人、对主机厂业务、对移动出行场景四个维度的深刻理解，通过咨询规划能力将知识体系进行有效输出，提升主机厂数字化转型效率。

拥有广泛的工业显示客户群，产品分布于机场高铁航班车次显示，工业现场、生产车间、自动化生产线等场所，使用产品有：仪表显示、人机界面、记录仪器、示波器等各种应用。主要尺寸介于5.7～17英寸之间。德为可以为工业客户提供全面的显示解决方案，产品包括：显示终端、显示模组、方案套件、驱动板卡等，可根据客户的需求提供优质的产品。全面的定制服务可为工业客户提供各种应用显示的定制服务，包括：显示终端、显示模组、显示方案套件、显示驱动板卡及软件定制。客户可根据实际需要选择优质的解决方案。多尺寸选择提供10.4～24英寸等全系列显示产品，客户可以根据具体的需要选择适合的尺寸。多种信号支持提供DVI、VGA、DP、HDMI、USB等多种接口形式，方便客户与不同信号的接驳。多触屏方案选择产品根据客户需求，可增加包括电阻触摸屏、电容触摸屏、红外触摸屏、表面声波触摸屏等多种触屏选择，同时提供多点触摸方案，质量可靠，性价比突出。