公开(公告)号：CN117614576A

公开(公告)日：2024-02-27

申请号：CN202311576994.7

申请日：2023-11-23

Applicant: 北京控制工程研究所

Inventor： 杨建宇 ,  李圣龙 ,  张锦坤 ,  乔磊 ,  徐建 ,  苗蕾 ,  刘晨璐 ,  周育逵 ,  曹梦丹

IPC: H04B17/391 ,  H04B7/185 ,  H04B17/00

Abstract: 本发明涉及航空航天技术领域，特别涉及一种面向星群组网的仿真平台和星群组网运行实例的验证方法。平台包括：开发对象仿真模块、星座模拟模块和API网关，星座模拟模块包括星座模型、遥感模型和通信模型；星座模型用于模拟各节点，并实时推算各节点的物理位置；开发对象仿真模块包含与各节点一一对应的运行实例；通信模型用于根据各节点的物理位置，确定每个节点的联通性，以确定星座模型中所有通信链路；遥感模型用于根据遥感服务请求返回遥感结果；API网关用于处理运行实例的通信服务请求和遥感服务请求。本方案可以实现对星群组网被测软件运行实例的调试测试和演示验证，为空天地一体化协同组网下星载操作系统开发提供了仿真运行环境。

公开(公告)号：CN110138665A

公开(公告)日：2019-08-16

申请号：CN201910389470.4

申请日：2019-05-10

Applicant: 北京控制工程研究所

Inventor： 姜宏 ,  刘波 ,  杨桦 ,  刘鸿瑾 ,  刘淑芬 ,  梁洁玫 ,  袁艺 ,  龚健 ,  乔磊 ,  于广良 ,  陈龙 ,  张锦坤

IPC: H04L12/771 ,  H04L12/935 ,  H04Q11/00

Abstract: 本发明提供了一种吉比特级SpaceWire路由器，属于路由器技术领域。本发明实施例提供的吉比特级SpaceWire路由器，通过光纤接收外部收发器发送的串行编码后通过16B/20B编解码器将所述串行编码转换为并行数据，对所述并行数据进行协议处理后得到上行数据，所述上行数据进行数据转发后重新对所述并行数据进行协议处理得到下行数据，通过16B/20B编解码器将下行数据转换为串行数据，通过光纤将转换的串行数据发送给所述外部收发器，既提高了物理带宽上限，又使得一个时钟周期能够处理16位信息，达到了DS编码数据处理能力的16倍，实现最大数据传输率能够超过1Gbps。

公开(公告)号：CN110134504A

公开(公告)日：2019-08-16

申请号：CN201910351821.2

申请日：2019-04-28

Applicant: 北京控制工程研究所

Inventor： 乔磊 ,  张锦坤 ,  杨孟飞 ,  徐建 ,  杨桦 ,  刘鸿瑾 ,  刘波

IPC: G06F9/48 ,  G06F17/50

Abstract: 本发明提供了一种基于有限状态机的操作系统需求层形式化建模方法及装置，属于嵌入式操作系统领域。该方法响应于对操作系统需求层进行建模的请求，从操作系统功能模块数据库中，获取操作系统对应的多个功能模块、各功能模块对应的至少两种子状态及引起各功能模块子状态发生变化的至少一种操作，从而确定操作系统的系统状态及引起系统状态变化的触发事件；根据确定的系统状态及引起系统状态变化的触发事件，建立基于有限状态机的操作系统需求层形式化模型。本发明具有良好的复用性、适应性和灵活性，可以准确地描述操作系统的运行过程，为下一步形式化验证奠定基础，以便更早地发现是否有潜在的错误，有助于完成整个操作系统的形式化验证。

公开(公告)号：CN106445659A

公开(公告)日：2017-02-22

申请号：CN201610814726.8

申请日：2016-09-09

Applicant: 北京控制工程研究所

Inventor： 乔磊 ,  龚健 ,  杨孟飞 ,  杨桦 ,  彭飞 ,  徐建 ,  谭彦亮 ,  吴一帆 ,  刘忠汉

IPC: G06F9/48

CPC classification number: G06F9/4881

Abstract: 一种空间飞行器周期性混成随机任务调度方法，基于优先级抢占、同优先级任务调度策略，在不更改空间飞行器操作系统内核任务调度策略的基础上，实现了周期任务固定时间点启动、周期内任务随机启动以及完全随机任务启动的调度方法。本发明方法在当固定时间点任务不占用CPU时，控制随机任务随时执行，直到任务在固定时间点启动运行，同时支持任务的实时加入和退出，与现有技术相比，能够有效的提高空间飞行器计算机的CPU利用率，使得操作系统不仅能保持原有任务调动策略，还具有良好的复用性、适应性和灵活性，具有很好的适用价值。

公开(公告)号：CN103414692A

公开(公告)日：2013-11-27

申请号：CN201310300567.6

申请日：2013-07-15

Applicant: 北京控制工程研究所

Inventor： 徐建 ,  乔磊 ,  龚健 ,  杨桦 ,  杨孟飞

IPC: H04L29/06 ,  H04L12/865

Abstract: 一种基于优先级的高实时航天器数据传输方法，步骤如下：（1）将指定要发送的数据分割成若干个数据包，将数据包按照数据组织的先后顺序连续分配序号；（2）对每个数据包设置其优先级，按照数据包优先级由高到低的顺序发送数据包；（3）接收方收到一个数据包之后，校验该数据包的完整性和正确性，之后向发送方发送一个确认数据包，该确认数据包中包括下一个想要接收数据包的序号；（4）发送方收到确认数据包之后发送下一个数据包，若未在指定时间内收到确认数据包则重新发送此数据包；（5）直到所有数据包均发送到接收方，接收方将接收到数据包按照序号的先后顺序将数据包合并成完整的数据。本发明具有实时性高，可靠性高的特点。