-
公开(公告)号：CN110138665A
公开(公告)日：2019-08-16
申请号：CN201910389470.4
申请日：2019-05-10
Applicant: 北京控制工程研究所
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: 北京控制工程研究所
Abstract: 本发明提供了一种基于有限状态机的操作系统需求层形式化建模方法及装置，属于嵌入式操作系统领域。该方法响应于对操作系统需求层进行建模的请求，从操作系统功能模块数据库中，获取操作系统对应的多个功能模块、各功能模块对应的至少两种子状态及引起各功能模块子状态发生变化的至少一种操作，从而确定操作系统的系统状态及引起系统状态变化的触发事件；根据确定的系统状态及引起系统状态变化的触发事件，建立基于有限状态机的操作系统需求层形式化模型。本发明具有良好的复用性、适应性和灵活性，可以准确地描述操作系统的运行过程，为下一步形式化验证奠定基础，以便更早地发现是否有潜在的错误，有助于完成整个操作系统的形式化验证。
-
公开(公告)号：CN119380186A
公开(公告)日：2025-01-28
申请号：CN202411411044.3
申请日：2024-10-10
Applicant: 北京控制工程研究所
IPC: G06V20/10 , G06V10/764 , G06V10/30 , G06V10/774 , G06T7/194
Abstract: 本发明提供了一种基于上下文背景增强风格迁移网络的遥感图像目标检测样本扩增方法，该方法包括：对获取的原始遥感数据进行预处理，得到包括待扩增目标的位置信息的待处理图像；根据位置信息生成标注框，随机确定目标标注框，并在目标标注框生成噪声框；基于包括噪声框的待处理图像和待处理图像对预设生成对抗网络模型进行训练，得到目标生成对抗网络模型；将包括噪声框的待处理图像输入目标生成对抗网络模型中，输出包括待扩增目标的生成图像；其中，该待扩增目标与噪声框的位置信息相同。本方案提供的目标检测样本扩增方法得到的生成图像无样本模糊、生成背景不自然等问题，充分利用原始遥感数据中的已知信息来引导目标噪声框中背景的恢复以及获得更真实的扩增目标。
-
公开(公告)号：CN117632412A
公开(公告)日：2024-03-01
申请号：CN202311530902.1
申请日：2023-11-16
Applicant: 北京控制工程研究所
Abstract: 本发明涉及面向空间应用的混合实时任务调度及两级准入控制方法，包括：根据空间任务特点对任务进行数学建模，引入“任务关键等级”及任务运行时参数辅助准入控制方法设计；确定任务优先级分配策略及调度算法调度任务运行；计算在零散任务调度窗口内高优先级任务产生的最大干扰时间，并通过利用系统运行时任务实例参数信息提升分析精度；根据当前任务关键等级与系统平均任务关键等级的大小关系分别利用干扰时间上界(I BF)及响应时间分析(RTA)方法判定零散任务在当前系统中的可调度性。通过本发明方法可提高零散任务动态载入时的任务集可调度率，从而改善处理器资源利用率，保障航天器系统的实时性与可靠性。
-
-
-
Search Results
14
records
(took 0.022 seconds)
