-
公开(公告)号：CN107479066A
公开(公告)日：2017-12-15
申请号：CN201710828672.5
申请日：2017-09-14
Applicant: 北方信息控制研究院集团有限公司
Inventor： 徐学永 , 周叶 , 严后选 , 夏羽 , 刘正凡 , 冯灿 , 王进 , 龚力 , 王锦晨 , 刘梦楠 , 黄浩 , 高照锋 , 惠孟堂 , 刘朝英 , 吴波 , 王琛琛 , 张莹莹 , 施金金
IPC: G01S19/02
CPC classification number: G01S19/02
Abstract: 本发明提供了一种步进式移动地基增强方法，包括：选取移动基准站的初始架设点和步进点，计算初始架设点的高精度坐标和高精度坐标与卫星导航数据间的载波相位差分改正数，依次计算步进点的高精度坐标；与初始架设点最近的步进点的高精度坐标由初始架设点获取的载波相位差分改正数和该步进点卫星导航数据获得；后一步进点的高精度坐标由前一步进点高精度坐标和卫星高航数据间的载波相位差分改正数和该步进点的卫星导航数据获得。该方法可以为各作战单元提供高精度位置服务从而建立一种临时移动基准站系统，同时采用步进式的方法保证对服务区域的完全覆盖。
-
公开(公告)号：CN119597616A
公开(公告)日：2025-03-11
申请号：CN202411565506.7
申请日：2024-11-05
Applicant: 北方信息控制研究院集团有限公司
IPC: G06F11/3604
Abstract: 本发明公开一种基于形式化语言与概率模型的中断程序验证方法，所述方法包括如下步骤：建立形式化语言模型语法；建立形式化语言模型语义；使用Maude编程语言对形式化语言模型实例化，进而建立验证系统；将待验证的嵌入式系统软件进行形式化编程；将待验证的嵌入式系统软件输入验证系统并得到验证结果。与现有技术相比，本发明通过建立一种形式化语言模型，并结合概率模型，能够对嵌入式系统软件运行进行形式化推导，全流程具备自动化能力，适用于所有嵌入式系统软件，运行分析结果全面准确，且能够计算出不同运行结果概率，从而能够推导、检验嵌入式系统软件的可靠性。
-
公开(公告)号：CN111274337B
公开(公告)日：2022-06-10
申请号：CN201911402257.9
申请日：2019-12-31
Applicant: 北方信息控制研究院集团有限公司
Abstract: 本发明公开了一种基于实景三维的二三维一体化GIS系统，包括数据层、服务层和应用层，数据层包括数据采集模块、数据处理模块以及数据存储模块，数据采集模块包括无人机倾斜影像、数字线划图、三维模型、地形数据、高分数据、属性数据以及业务数据，服务层包括地图渲染模块以及地图服务发布模块，应用层包括二三维空间量测模块、二三维一体化展示模块、POI搜索模块、通视分析模块、动态可视域分析模块、二三维地图标绘模块、二三维路径规划模块、二三维轨迹数据分析模块以及二三维模型实时监控模块。本发明将二维地理信息系统的空间分析能力和三维地理信息系统的展示能力融合在一起，实现GIS框架的地图数据的二三维一体化联动。
-
公开(公告)号：CN108169774B
公开(公告)日：2021-09-10
申请号：CN201711436754.1
申请日：2017-12-26
Applicant: 北方信息控制研究院集团有限公司
Inventor： 王进 , 丁学文 , 徐学永 , 冯灿 , 高照锋 , 黄浩 , 王清太 , 唐大泉 , 严后选 , 李娜 , 周叶 , 惠孟堂 , 吴波 , 刘朝英 , 汤深权 , 王伟 , 王琛琛 , 夏羽 , 刘正凡 , 张莹莹
Abstract: 本发明提供了一种支持RTPPP和RTK的多模GNSS单频周跳探测与修复方法，包括构建历元间差分，消除与时间相关的电离层误差、对流层误差、不同系统间钟差时延误差，经整体最小二乘估计，若位置改正数协方差则循环选择5颗卫星，找出可信度最高的无周跳组合，得到位置和钟差漂移改正数，反算出新的残差向量，该残差向量也即历元间的周跳浮点解，再在一个可接受的范围内对周跳浮点解进行“四舍五入”，进而判定周跳是否可修复或为粗差。本发明根据检测量含义的不同设置了三种不同的经验阈值，降低了周跳修复过程中漏判和误判的概率。
-
Patent Agency Ranking
公开(公告)号：CN111274337A
公开(公告)日：2020-06-12
申请号：CN201911402257.9
申请日：2019-12-31
Applicant: 北方信息控制研究院集团有限公司
Abstract: 本发明公开了一种基于实景三维的二三维一体化GIS系统，包括数据层、服务层和应用层，数据层包括数据采集模块、数据处理模块以及数据存储模块，数据采集模块包括无人机倾斜影像、数字线划图、三维模型、地形数据、高分数据、属性数据以及业务数据，服务层包括地图渲染模块以及地图服务发布模块，应用层包括二三维空间量测模块、二三维一体化展示模块、POI搜索模块、通视分析模块、动态可视域分析模块、二三维地图标绘模块、二三维路径规划模块、二三维轨迹数据分析模块以及二三维模型实时监控模块。本发明将二维地理信息系统的空间分析能力和三维地理信息系统的展示能力融合在一起，实现GIS框架的地图数据的二三维一体化联动。
-
公开(公告)号：CN108169774A
公开(公告)日：2018-06-15
申请号：CN201711436754.1
申请日：2017-12-26
Applicant: 北方信息控制研究院集团有限公司
Inventor： 王进 , 丁学文 , 徐学永 , 冯灿 , 高照锋 , 黄浩 , 王清太 , 唐大泉 , 严后选 , 李娜 , 周叶 , 惠孟堂 , 吴波 , 刘朝英 , 汤深权 , 王伟 , 王琛琛 , 夏羽 , 刘正凡 , 张莹莹
Abstract: 本发明提供了一种支持RTPPP和RTK的多模GNSS单频周跳探测与修复方法，包括构建历元间差分，消除与时间相关的电离层误差、对流层误差、不同系统间钟差时延误差，经整体最小二乘估计，若位置改正数协方差则循环选择5颗卫星，找出可信度最高的无周跳组合，得到位置和钟差漂移改正数，反算出新的残差向量，该残差向量也即历元间的周跳浮点解，再在一个可接受的范围内对周跳浮点解进行“四舍五入”，进而判定周跳是否可修复或为粗差。本发明根据检测量含义的不同设置了三种不同的经验阈值，降低了周跳修复过程中漏判和误判的概率。
-
公开(公告)号：CN109859514B
公开(公告)日：2021-09-03
申请号：CN201811617347.5
申请日：2018-12-28
Applicant: 北方信息控制研究院集团有限公司
Abstract: 本发明提供了一种基于公交车停靠站电子围栏的公交车驶入驶出判断方法，包括：采集公交车停靠站所在侧首尾两点的精度为厘米级的坐标并设置道路的宽度；进行高斯变换将电子围栏和公交车位置点的经纬度坐标变换到平面直角坐标，并计算矩形电子围栏的四个顶点坐标，垂直于道路方向按驶入相交和驶出相交分为驶入边和驶出边；判断公交车当前位置点和上一秒位置点是否包含于电子围栏矩形进而判断公交车驶入、驶出或停靠公交站。
-
公开(公告)号：CN109859514A
公开(公告)日：2019-06-07
申请号：CN201811617347.5
申请日：2018-12-28
Applicant: 北方信息控制研究院集团有限公司
Abstract: 本发明提供了一种基于公交车停靠站电子围栏的公交车驶入驶出判断方法，包括：采集公交车停靠站所在侧首尾两点的精度为厘米级的坐标并设置道路的宽度；进行高斯变换将电子围栏和公交车位置点的经纬度坐标变换到平面直角坐标，并计算矩形电子围栏的四个顶点坐标，垂直于道路方向按驶入相交和驶出相交分为驶入边和驶出边；判断公交车当前位置点和上一秒位置点是否包含于电子围栏矩形进而判断公交车驶入、驶出或停靠公交站。
-
公开(公告)号：CN107426205A
公开(公告)日：2017-12-01
申请号：CN201710579142.1
申请日：2017-07-17
Applicant: 北方信息控制研究院集团有限公司
CPC classification number: H04L67/14 , H04L65/40 , H04L67/145 , H04L69/165
Abstract: 本发明提供了一种面向高并发用户访问的差分数据产品高效播发方法，包括：播发平台基于TCP/UDP协议向用户提供差分数据产品播发服务；播发平台将用户均衡至TCP服务器或UDP服务器连接，播发服务器对用户进行鉴权，若鉴权成功则基于用户发送的服务请求向用户提供差分数据产品播发服务；播发平台与用户之间保持长连接，连接时播发平台周期性地发送差分数据产品至用户。本发明可以使高并发用户访问下的差分数据产品播发服务更为高效，用户获取差分数据产品更为灵活。
-
-
-
-
-
-
-
-
Search Results
9
records
(took 0.042 seconds)
