公开(公告)号：CN116795685A

公开(公告)日：2023-09-22

申请号：CN202310280811.0

申请日：2023-03-21

Applicant: 北京京航计算通讯研究所 ,  北京深维科技有限公司

Inventor： 王栋 ,  李丽华 ,  赵静 ,  汤泽宇 ,  高媛 ,  樊平 ,  罗国杰 ,  张丹丹

IPC: G06F11/36 ,  G06F8/41 ,  G06F30/33 ,  G06F30/327

Abstract: 本发明涉及一种Verilog代码缺陷检测方法和系统，属于FPGA测试领域。本发明的方法和系统基于缺陷检测需求和原始Verilog代码，得到待检测Verilog代码；描述Verilog保留字、结构、变量名称分别与CST标签/标签组的对应关系，描述Verilog变量名称与LLHD变量名称的对应关系，描述CST表达中的键值对与LLHD表达式的对应关系；基于上述各对应关系，将待检测Verilog代码转换为CST表达和LLHD表达；基于缺陷检测需求分别编写对应CST表达和/或LLHD表达的缺陷检测函数进行缺陷检测，可以检测出Verilog代码缺陷，并确定缺陷所在的Verilog代码行。本发明通过将Verilog代码转换为具象语法树CST表达和底层硬件描述LLHD表达两种中间表示，实现了Verilog代码中的语义级缺陷的检测，并且实现了缺陷检测规则的定制。

公开(公告)号：CN116502829A

公开(公告)日：2023-07-28

申请号：CN202310277354.X

申请日：2023-03-21

Applicant: 北京京航计算通讯研究所

Inventor： 李子博 ,  贺婧媛 ,  张彤 ,  薛铸鑫 ,  汪伟峰 ,  章宽爽 ,  史小龙

IPC: G06Q10/0631 ,  G06F30/20 ,  G06F111/06

Abstract: 本发明涉及一种一站式岸基勤务保障服务系统和方法，属于港口岸基勤务保障筹划领域。包括驻泊管理模块、能源供给模块、物资出库管理模块、维修业务管理模块和后勤业务管理模块，为港口后勤的能源供应提供了提供高效率低耗时和基于数据提供准确决策的一站式模型保障；尤其是通过采用遗传算法与模拟退火算法结合的算法对能源供给模型中的油/水供给模型求解，为港口对船只的油/水供给提供了准确的算法依据。

公开(公告)号：CN115562870B

公开(公告)日：2023-07-21

申请号：CN202211309555.5

申请日：2022-10-25

Applicant: 北京京航计算通讯研究所

Inventor： 高晓琼 ,  王东豪 ,  柴振达 ,  李姝 ,  李婷

IPC: G06F9/50

Abstract: 本发明涉及一种集群的任务节点资源构建方法，包括以下步骤：对集群中的每个节点进行资源测评，得到每个节点的存储资源值、计算资源值和通信响应频率值；根据当前集群中的闲置节点数和待执行任务的类型确定待执行任务需要的节点数量；根据待执行任务需要的节点数量、每个节点的存储资源值、计算资源值和通信响应频率值，基于波函数坍缩算法确定多个执行节点集合；获取待执行任务的存储资源预估值、计算资源预估值和通信资源预估值；根据待执行任务的存储资源预估值、计算资源预估值和通信资源预估值，在所述多个执行节点集合中选择与待执行任务的资源需求最接近的集合作为待执行任务的执行节点集合。

公开(公告)号：CN112416761B

公开(公告)日：2023-07-07

申请号：CN202011255307.8

申请日：2020-11-11

Applicant: 北京京航计算通讯研究所

Inventor： 王婷婷 ,  张国宇 ,  彭鸣 ,  毛伟 ,  高程 ,  刘芸 ,  侯磊 ,  孙跃聪

IPC: G06F11/36 ,  G06F16/901

Abstract: 本发明涉及一种基于广度优先搜索的测试用例生成方法及装置，包括：建立对节点入度和出度进行加权的有向树形结构；对所述有向树形结构逐层进行正向搜索和逆向搜索，获得并记录系统的所有测试用例；每层的正向搜索沿父节点向子节点的方向搜索，对搜索到测试用例的父节点出度和子节点入度均减1；正向搜索之后，若该层中还存在入度不为0的子节点，则进行逆向搜索；从子节点向父节点方向搜索，对搜索到测试用例的父节点出度和子节点入度均减1，直至所有子节点的入度均为0，停止该层的逆向搜索；通过逐层的正向搜索和逆向搜索，直至所有节点的入度和出度均为0，得到所有的测试用例。本发明避免测试用例的遗漏，提高对系统测试的充分性。

公开(公告)号：CN113763572B

公开(公告)日：2023-06-27

申请号：CN202111094179.8

申请日：2021-09-17

Applicant: 北京京航计算通讯研究所

Inventor： 李婷 ,  闫贯博 ,  李姝 ,  高晓琼 ,  王东豪

IPC: G06T19/20 ,  G06N3/0464

Abstract: 本发明涉及一种基于AI智能识别的3D实体标注方法及存储介质，属于人工智能技术领域，解决了现有技术中对3D实体标注难度大、准确度低且标注效率低的问题。该方法包括：获取3D实体在不同角度下的二维图片、位姿信息及标注标签，在二维图片内提取标注对象图片，进而组成训练样本集；基于样本中的位姿信息构建对应的偏移矩阵和增强角度旋转矩阵；进而对AI智能标注模型进行训练；利用优化后的AI智能标注模型对待标注对象进行标注。该方法将3D实体标注转换为二维图片标注，降低了标注难度，且通过AI模型建立标注与3D实体的关联关系，提高3D实体标注的准确度，通过提取标注对象对应的二维图片区域进行训练、标注，减少了计算量，提高了标注效率。

公开(公告)号：CN114611123B

公开(公告)日：2023-05-26

申请号：CN202210228822.X

申请日：2022-03-08

Applicant: 北京京航计算通讯研究所

Inventor： 朱盼盼 ,  石春刚 ,  张永静 ,  郑宇宁 ,  李静

IPC: G06F21/60 ,  G06F16/16 ,  G06F16/172

Abstract: 一种文件透明加解密方法和系统，方法包括：在内核态创建共享缓存，用于缓存文件的读写内容；在内核态拦截文件读操作，获取读操作参数；根据所述读操作参数判断所述文件是否为加密文件，若是，则根据读操作参数从共享缓存中读取文件内容发送至用户态进程；否则，采用系统函数读取文件内容将所述文件内容发送至用户态进程；在内核态拦截文件写操作，获取写操作参数；将写入内容存储在共享缓存中；当共享缓存空间已满或写入内容为文件尾时，根据所述写操作参数判断所述文件是否为加密文件，若是，则在用户态对共享缓存中存储的文件内容进行加密，在内核态将加密后的内容写入文件，否则，直接在内核态将写入内容写入文件。

公开(公告)号：CN116132187A

公开(公告)日：2023-05-16

申请号：CN202310157948.7

申请日：2023-02-23

Applicant: 北京京航计算通讯研究所

Inventor： 杨宇杰 ,  张斌 ,  郑宇宁

IPC: H04L9/40

Abstract: 本发明涉及一种数据包过滤方法及系统，属于网络安全技术领域，解决了现有缺少对数据包传输来源和内容的过滤而无法满足高安全性的问题。包括从数据包的包头中提取出五元组信息；将五元组信息与预置规则的二叉决策树进行匹配，得到第一处理结果；如果第一处理结果是允许通过，则获取数据包中数据信息，根据数据信息中的业务场景，判断业务场景下的文件类型和密级标识是否存在于预置配置中，得到第二处理结果；否则丢弃数据包；如果第二处理结果是允许通过，则判断数据信息中的文件内容是否包含预置配置中的敏感词，得到第三处理结果；否则丢弃数据包；如果第三处理结果是允许通过，则转发数据包，否则丢弃数据包。实现了数据安全性的提升。

公开(公告)号：CN114490396B

公开(公告)日：2023-05-05

申请号：CN202210103297.9

申请日：2022-01-27

Applicant: 北京京航计算通讯研究所

Inventor： 杨洋 ,  王莹 ,  李昆 ,  孙文靖 ,  韩晓晶 ,  邢俊华 ,  张清

IPC: G06F11/36 ,  G06F8/10 ,  G06F40/194 ,  G06F40/216 ,  G06F40/289

Abstract: 本发明涉及一种软件测试需求挖掘方法和系统，包括以下步骤：获取不同类型软件的故障描述信息，基于所述故障描述信息采用基于均值漂移聚类的故障树分析法建立软件故障模式知识库，所述软件故障模式知识库包括软件类型、软件功能、故障模式和测试点；根据待测软件的软件类型和软件功能，在软件故障模式知识库中查找与待测软件功能对应的故障模式和测试点，对于每个与待测软件功能对应的测试点，采用相似度匹配算法判断所述测试点是否存在于待测软件功能的测试需求文本中，若不存在，则将该测试点及对应的故障模式推送给测试人员。

公开(公告)号：CN116050729A

公开(公告)日：2023-05-02

申请号：CN202211476572.8

申请日：2022-11-23

Applicant: 北京京航计算通讯研究所

Inventor： 张宇 ,  孟伟 ,  杨鹤笛 ,  张国宇 ,  李艳军

IPC: G06Q10/0631 ,  G06Q50/26 ,  G06F18/23213

Abstract: 本发明属于海上救援技术领域中救援方案优选领域，公开了一种海上救援资源配置方案优选方法，包括：根据接收到的搜救任务得到能够提供的搜寻资源类型、数量，以及最大允许搜救时间；基于落水人员的落水点和落水时海况计算目标搜寻区域和实际救援位置；基于搜寻资源和目标搜寻区域计算不同搜寻方案的单个搜寻资源搜寻总航程和搜寻总时间；基于搜寻总时间和实际救援位置，计算所需要的海上救援总时长；基于海上救援总时长、最大允许搜救时间、单个搜寻资源搜寻总航程，结合落水人员的状态和海况，筛选得到最优搜救方案。能够快速有效地规划出救援计划，节省宝贵的搜救时间，使搜索资源得到最优的分配，使目标被成功搜索的概率达到最大。

公开(公告)号：CN110991051B

公开(公告)日：2023-03-10

申请号：CN201911240135.4

申请日：2019-12-06

Applicant: 北京京航计算通讯研究所

Inventor： 赵强 ,  王佳佳 ,  于林宇 ,  王东豪 ,  李娜 ,  李世成

IPC: G06F30/20 ,  G06F111/10

Abstract: 本发明属于制导弹箭落点预测技术领域，具体涉及一种基于试验设计和Kriging模型的远程制导火箭弹落点预测系统，该系统全面考虑了标准气象条件下影响远程制导火箭弹落点预测精度的发射条件因素和飞行状态参数，给出了适用于落点预测的Kriging模型的相关函数。对于升弧段对应的落点预测，可以选择的相关函数有Spline函数、Matern函数和Cubic函数；对于降弧段对应的落点预测，可以选择的相关函数有Spline函数、Matern函数、Gauss函数和Cubic函数。本发明为远程制导火箭弹的弹道修正控制系统实时进行落点预测提供了一种有效方案。