-
公开(公告)号：CN102541642A
公开(公告)日：2012-07-04
申请号：CN201110450432.9
申请日：2011-12-30
Applicant: 中国科学院软件研究所
IPC: G06F9/46
Abstract: 一种在RTEMS实时操作系统中增强实时性能的任务管理方法，包括如下步骤：A、通过发送信号量的方式调度某一个任务；B、设置同任务优先级任务就绪队列，如果根据所述某一任务的信号量的状态值确定其应该被放入就绪队列，则将该任务排到同任务优先级队列；反之则强制抢占处理器资源并执行该任务；C、为所述某一任务指定优先级抢占阀值，根据该阀值判定是否允许抢占该任务；D、当所述某一任务添加到所述同任务优先级队列中时，根据其信号量以及抢占阀值判断其所属优先级等级，并在所述同优先级就绪任务队列中定位插入位置，从而形成一个有序的任务阻塞队列。
-
公开(公告)号：CN119918507A
公开(公告)日：2025-05-02
申请号：CN202510390267.4
申请日：2025-03-31
Applicant: 中国科学院软件研究所
IPC: G06F40/151 , G06F40/16
Abstract: 本发明涉及编译器优化技术领域，提供一种基于多级中间表示与知识库的Pass流水线自动生成方法，通过从待转化文件的当前方言集合中选择得到待转换方言，并从知识库中搜索待转换方言适用的目标Pass；在目标Pass对所述待转换方言进行转化成功的情况下，将转化后的当前方言集合作为更新方言集合；重复从更新方言集合中选择得到待转换方言，并从知识库中搜索得到待转换方言适用的目标Pass，直至完成待转化文件向目标方言集合的转化，将各轮次得到的目标Pass作为Pass流水线，实现了准确、可靠、性能更优且通用性强的自动化Pass流水线生成。
-
公开(公告)号：CN119759341A
公开(公告)日：2025-04-04
申请号：CN202411820162.X
申请日：2024-12-11
Applicant: 中国科学院软件研究所
Abstract: 本发明公开一种面向RISC‑V的PyTorch向量库优化方法、系统及PyTorch向量库应用方法，属于计算机软件技术领域。所述面向RISC‑V的PyTorch向量库优化方法包括：确定宿主机支持的RISC‑V向量位宽；基于RISC‑V向量位宽，开启对应的向量扩展编译选项，以在PyTorch框架中新增RVV dispatch调度机制并封装RVV向量数据类型之后，实现面向RISC‑V的PyTorch向量库。本发明利用RISC‑V向量扩展了Pytorch向量库，从而提高深度学习和机器学习应用中的数据处理效率。
-
公开(公告)号：CN119718334A
公开(公告)日：2025-03-28
申请号：CN202510216649.5
申请日：2025-02-26
Applicant: 中国科学院软件研究所
IPC: G06F8/41 , G06F16/16 , G06F16/172
Abstract: 本发明提供一种链接二进制文件方法、装置、设备、存储介质及程序产品，涉及软件编译技术领域。其中，方法包括：若链接命令未在时限范围内完成，强制结束链接命令的运行，获取所有参与链接的文件各自的路径；将所有参与链接的文件按照其各自的路径复制到临时文件夹；基于远程链接服务端的环境，对链接命令进行修改，将修改后的链接命令和临时文件夹发送至远程链接服务端，以使远程链接服务端基于修改后的链接命令和临时文件夹进行链接操作，得到链接结果；接收远程链接服务端发送的链接结果。本发明通过远程链接服务端来进行链接操作，可以大大减少链接所消耗的时间，提升编译效率。
-
公开(公告)号：CN119203106A
公开(公告)日：2024-12-27
申请号：CN202411249210.4
申请日：2024-09-06
Applicant: 中国科学院软件研究所
Abstract: 本发明公开一种多因素身份的认证方法及系统，属于身份认证技术领域。所述方法包括：在客户端创建本地账号；使用账号绑定端在云服务平台上注册并激活云服务账号；将所述本地账号与所述云服务账号绑定；基于所述本地账号或所述云服务账号进行身份认证。本发明可以结合云服务实现更加友好的多因素身份认证方案。
-
Patent Agency Ranking
公开(公告)号：CN119003391A
公开(公告)日：2024-11-22
申请号：CN202411456918.7
申请日：2024-10-18
Applicant: 中国科学院软件研究所
IPC: G06F13/10 , G06F9/4401 , G06F13/38
Abstract: 本申请涉及IO设备共享技术领域，提供一种IO设备共享方法及装置。所述方法包括：控制第一物理机的内核空间中的前端驱动，将写入所述前端驱动的第一控制数据经由套接字发送至第二物理机的内核空间中的虚拟IO处理单元；控制所述虚拟IO处理单元将所述第一控制数据发送至所述第二物理机的内核空间中的虚拟设备驱动；控制所述虚拟设备驱动将所述第一控制数据发送至所述第二物理机的内核空间中的真实设备驱动，以控制所述第二物理机上的IO设备。本申请提供的IO设备共享方法及装置可以在不受限于特定的开源系统的情况下，实现物理机之间的IO设备共享，提高IO设备共享的通用性。
-
公开(公告)号：CN114676776B
公开(公告)日：2024-11-01
申请号：CN202210305985.3
申请日：2022-03-25
Applicant: 中国科学院软件研究所
IPC: G06V10/764 , G06V10/80 , G06V10/82 , G06N3/0455 , G06N3/08
Abstract: 本发明公开了一种基于Transformer的细粒度图像分类方法。本方法为：1)将样本图像输入线性映射和编码器层中提取多层令牌特征；2)通过令牌特征选择模块作用于编码器提取的多层令牌特征；3)通过语义部件生成模块作用于第一层令牌特征，获取包含辨识性视觉图案的局部区域，利用局部分支学习该区域内对象的细节信息；4)将两个分支的分类令牌交换，编码器作用于交换后的分类令牌与当前分支的图像块令牌，融合全局分支提取的图像完整信息与局部分支获取的关键区域的细节信息；5)通过中心损失函数约束细粒度对象类内特征距离，间接地增大类间特征距离；6)连接两个分支的分类令牌，输入到分类器，从而实现对输入图像的分类。
-
公开(公告)号：CN116401373B
公开(公告)日：2024-09-06
申请号：CN202310233658.6
申请日：2023-03-13
Applicant: 中国科学院软件研究所 , 中科南京软件技术研究院
IPC: G06F16/36 , G06F16/35 , G06F40/284 , G06F40/237 , G06F40/30 , G06N3/047 , G06N3/048 , G06N3/08 , G06N3/0464 , G06N3/0455 , G06N5/022
Abstract: 本发明公开了一种试题知识点的标注方法、存储介质及设备；包括S1：确定试题与知识点间关系，构建试题‑知识点关系模型；S2：搜集各类学科试题并进行人工知识点标注，然后构建出知识点题库；S3：对知识点题库中内容进行预处理；S4：结合多距离上下文融合模块以及BERT编码器构建试题知识点标注模型，通过预处理后的试题文本进行特征提取，以实现对试题相关知识点进行标注的训练；S5：将训练完成后的试题知识点标注模型进行测试，然后应用到试题中知识点的识别标注。上述方案明确了试题、学科与知识点间的关系，以能够同时识别多门学科、多类别的知识点，无需再为各个学科单独构建模型，并对冷门知识点的预测也能保持较高准确率。
-
公开(公告)号：CN118394343A
公开(公告)日：2024-07-26
申请号：CN202410415113.1
申请日：2024-04-08
Applicant: 中国科学院软件研究所
Abstract: 本发明公开一种面向操作系统的编译构建文件管理方法及系统，属于软件工程技术领域。所述方法包括：根据声明文件路径，生成一项目工程的声明文件组织关系结构，并获取对应的引入文件；依据所述声明文件组织关系结构，并结合对应的引入文件对每个声明文件执行DSL语法分析，以确定待编译模块的编译信息；将每一个待编译模块视为一个节点，构建节点列表；基于生成的节点列表进行声明文件的管理。本发明能够提供声明文件的可视化能力和无代码的声明文件操作能力，提高项目开发/管理人员的工程开发效率，支撑操作系统的模块化设计/裁剪工作，对操作系统及其相关软件定制平台构建提供核心技术支持。
-
公开(公告)号：CN118013526A
公开(公告)日：2024-05-10
申请号：CN202311412980.1
申请日：2023-10-27
Applicant: 中国科学院软件研究所
Abstract: 本发明涉及一种基于LLM多源异构信息融合的二进制漏洞数据集构建方法和装置，该方法包括：1)批量编译二进制文件TP构建开源二进制包的BDB(TP)；2)从漏洞信息发布平台获取漏洞信息经过预处理构成VulnVecDB，利用向量搜索在VulnVecDB中获取VulnID对应的漏洞信息，利用微调后的LLM进行知识推理获取VulnID对应的精确漏洞信息；3)根据精确漏洞信息从BDB(TP)中查找对应二进制文件后利用反汇编引擎提取VulnEntity，构建VulnAssFuncDB。本发明为了解决对物联网固件中二进制软件进行漏洞准确定位困难的问题，提出一种融合多源异构漏洞信息并结合LLM知识推理，从而精确获取二进制软件包中漏洞位置以及相关漏洞函数代码的方法，能够帮助安全研究人员迅速获得漏洞样本，增强物联网固件的安全漏洞挖掘的有效性。
-
-
-
-
-
-
-
-
-
Search Results
224
records
(took 0.035 seconds)
