“左克”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果17个，建议您升级VIP下载更多相关专利

[发明专利]一种干旱半干旱区红壤生态复合土及其排水系统构建方法-CN202310276068.1在审
发明人：张川;李博;段青松;陈正发;张玉锴;徐兴倩;代启亮;李效顺;许超;张耿杰;李楠;黎李杨;陈飞林;赵永丽;李淑芳;魏巍;郑宏刚;阎凯;湛方栋;刘淑霞;普建丹;李颖慧;李钰婷;谢祥荣;王楚燕;杨国栋;左克;牛爱樑;萧笛;李政书 -专利权人：云南农业大学;中国矿业大学;云南省林业和草原科学院;临沧市自然资源和规划技术中心;云南远科土地整治规划设计有限公司
申请日： 2023-03-21 - 公布日： 2023-06-27 - 主分类号： A01G24/40 文献下载
摘要：本发明公开了一种干旱半干旱区红壤生态复合土及其排水系统构建方法，在土壤基层的上表面构建复合土，复合土包括依次从下至上分布的防渗层、红壤原土层和持水层，防渗层为木纤维和红壤混合而成，持水层为糯米胶和红壤混合而成。复合土构建于土壤基层的上表面，土壤基层向下开设有安装槽，安装槽的下端开设有渗水沟，安装槽内设置有U型排水槽，U型排水槽的两侧均设置有引流通道引流通道的侧壁开设有导流孔，U型排水槽内设置有吸水海绵及支撑海绵，吸水海绵吸水压缩支撑海绵后露出导流孔。本发明通过持水层的持水性和吸水性，防渗层的斥水性，对红壤原土层进行保水，绿色环保，并且在复合土内水分含量过高时，通过排水结构向土壤基层内自动排水。
一种干旱旱区红壤生态复合及其排水系统构建方法

[发明专利]一种基于故障日志的高性能计算系统故障预测方法-CN202111117395.X有效
发明人：刘杰;方娇丽;左克;李胜国;迟利华;胡庆丰;龚春叶;甘新标;杨博;陈旭光;肖调杰;徐涵 -专利权人：中国人民解放军国防科技大学
申请日： 2021-09-23 - 公布日： 2022-09-02 - 主分类号： G06F11/34 文献下载
摘要：本发明公开了一种基于故障日志的高性能计算系统故障预测方法，目的是通过对故障的预测，达到高性能计算系统的主动容错，提高应用程序实际计算性能。技术方案是利用并分析处理高性能计算系统工作故障日志，对故障日志进行清洗处理，得到故障时间序列数据集C，使用K‑means方法对C进行聚类，得到K个故障类型对应的K个聚类；然后建立故障预测模型，采用K个聚类对故障预测模型进行训练，训练后的故障预测模型对故障发生时间和故障发生节点位置进行预测。采用本发明可有效提高故障预测准确度，使得能够在故障发生前规避故障结点，并在故障发生后高速定位故障，加强机器运维高效性，提高系统的可靠性。
一种基于故障日志性能计算系统故障预测方法

[发明专利]结合符号执行和路径模型检验的MPI程序验证方法、系统及介质-CN201910837971.4有效
发明人：于恒彪;黄春;王戟;陈振邦;傅先进;彭林;唐滔;左克;姜浩;沈洁;方建滨 -专利权人：中国人民解放军国防科技大学
申请日： 2019-09-05 - 公布日： 2022-05-06 - 主分类号： G06F9/48 文献下载
摘要：本发明公开了一种结合符号执行和路径模型检验的MPI程序验证方法、系统及介质。本发明基于符号执行来系统遍历MPI程序的路径空间，在符号执行探索完一条正常终止路径p后，针对p的等价通信行为生成CSP模型Γ，然后使用模型检验来验证Γ是否满足给定性质若满足则裁剪符号执行探索路径p的过程中为通信行为的不同交叠执行情况和不同匹配情况所创建的待探索状态；否则找到违背性质的反例并生成相应测试用例。当探索完MPI程序的路径空间、找到反例或超时，验证过程终止。本发明能对包含非阻塞和非确定性通信的实际MPI程序进行正确性验证，验证结果既能覆盖程序的输入空间又能覆盖进程的调度空间。
结合符号执行路径模型检验 mpi 程序验证方法系统介质

[发明专利]面向死锁检查的非阻塞MPI程序符号执行方法、系统及介质-CN201910838017.7有效
发明人：于恒彪;黄春;王戟;陈振邦;傅先进;彭林;唐滔;左克;姜浩;沈洁;方建滨 -专利权人：中国人民解放军国防科技大学
申请日： 2019-09-05 - 公布日： 2022-02-08 - 主分类号： G06F9/52 文献下载
摘要：本发明涉及计算机高性能计算的可靠性保证领域，公开了一种面向死锁检查的非阻塞MPI程序符号执行方法、系统及介质。针对非阻塞MPI程序的异步性和非确定性，本发明通过为通信操作的不同消息匹配情况和不同交叠执行情况创建不同待探索状态来确保符号执行能够系统遍历MPI程序的路径空间。发明框架中的语句符号执行方法能精确刻画不同类型语句执行所对应的符号化状态迁移，阻塞驱动匹配策略能够有效获取符号执行过程中通信行为的所有可能匹配情况。本发明基于符号执行来系统遍历非阻塞MPI程序的路径空间，在探索程序执行路径时自动检测路径是否发生死锁，直到探索完程序路径空间、发现死锁或者超时。
面向死锁检查阻塞 mpi 程序符号执行方法系统介质

[发明专利]面向容错的NVM持久化过程冗余信息的压缩方法和装置-CN201811457572.7有效
发明人：彭林;张文喆;陈俊峰;黄春;唐滔;方建滨;左克;姜浩 -专利权人：中国人民解放军国防科技大学
申请日： 2018-11-30 - 公布日： 2021-12-31 - 主分类号： G06F3/06 文献下载
摘要：本发明公开了一种面向容错的NVM持久化过程冗余信息的压缩方法及装置，本发明实施步骤包括分配写集合、地址队列以及多个值队列，在NVM中分配持久化日志保存区；在事务期间将所有持久化写操作信息写入写集合；扫描写集合，按照值的新旧对比情况分别加入相应的值队列，并按值队列依序加入地址队列；针对地址队列中的地址信息进行压缩使得一组相邻地址的相同部分被消除，将压缩后的地址信息写入地址记录；将各个值队列中所有元素的N位值的低X位写入值记录，从而将值的冗余信息消除。本发明能够减小持久化数据的大小，从而降低事务的持久化开销，达到提升持久化事务性能、延长NVM使用寿命的目的。
面向容错 nvm 持久过程冗余信息压缩方法装置

[发明专利]一种基于大型系统拓扑结构的容错节点分配方法-CN201711114201.4有效
发明人：全哲;乐雨泉;左克;林轩 -专利权人：湖南大学
申请日： 2017-11-11 - 公布日： 2021-11-05 - 主分类号： G06F11/14 文献下载
摘要：本发明公开一种基于大型系统拓扑结构的容错节点分配方法，包括如下步骤:步骤一、定义系统拓扑结构中节点位置分布，确定节点的位置；步骤二、建模任意两个节点同时失效的概率模型，从而得到任意两个节点同时失效函数；步骤三、计算任意两点同时失效的概率，得到任意两点同时失效的概率为固定值；步骤四、构建节点分配模型，将计算节点集合抽象成对应的无向加权图G(V,E,W)；步骤五、运行覆盖算法，求解最优节点组合，使得集合权值最小，并且将结果保存并返回。本发明相对于传统的节点分配技术，能够使得全系统内存检查点失效概率降低3倍。这也意味着我们能把多级检查点系统中的检查点恢复开销相对于传统做法降低67％。
一种基于大型系统拓扑结构容错节点分配方法

[发明专利]面向软件超结点的OpenCL编程框架构建方法和装置-CN202011398621.1有效
发明人：唐滔;崔英博;黄春;彭林;杨灿群;方建滨;张鹏;左克;于恒彪;范小康;易昕 -专利权人：中国人民解放军国防科技大学
申请日： 2020-12-04 - 公布日： 2021-07-09 - 主分类号： G06F9/54 文献下载
摘要：本申请涉及一种面向软件超结点的OpenCL编程框架构建方法、装置、计算机设备和存储介质。所述方法包括：通过在软件超结点的主结点上启动OpenCL主进程并初始化第一通信端口，通过主结点上的守护进程将第一通信端口广播给软件超结点的从结点，当主结点和从结点都获取到第一通信端口地址后，在所有物理结点上启动OpenCL‑handler进程，并初始化第二通信端口，每个物理结点根据第一通信端口将本地的第二通信端口发送给OpenCL主进程，OpenCL主进程将接收到的所有第二通信端口地址和第一通信端口地址进行打包，并将打包得到的全局地址信息发送给所有物理结点，完成软件超结点OpenCL编程环境的构建。
面向软件结点 opencl 编程框架构建方法装置

[实用新型]一种无线人体红外传感器-CN202021912146.0有效
发明人：仲海卫;左克;梅正齐;杨猛 -专利权人：江苏耀群工业技术有限公司
申请日： 2020-09-04 - 公布日： 2021-06-22 - 主分类号： G01V8/10 文献下载
摘要：本申请公开了一种无线人体红外传感器，包括：感应器本体；与所述感应器本体可拆卸连接的安装板，其包括设于中央的磁吸块；以及与待安装面可拆卸连接的安装支架，其包括成型于中央的半球形的凸起；其中，所述安装板的一侧连接有所述感应器本体、所述安装板的另一侧通过所述磁吸块与所述凸起磁吸。本申请提供的无线人体红外传感器通过安装板的磁吸块与安装支架的半球形的凸起之间磁吸连接来进行安装，安装方式简单、可以任意调节安装角度，适于安装各种安装角度的安装面，具有安装简单、调节方便的优点。
一种无线人体红外传感器

[发明专利]使用SIMD指令的向量函数快速查表法、系统及介质-CN201910561095.7有效
发明人：沈洁;彭林;龙标;黄春;姜浩;唐滔;左克;方建滨;范小康;于恒彪;崔英博 -专利权人：中国人民解放军国防科技大学
申请日： 2019-06-26 - 公布日： 2021-03-02 - 主分类号： G06F9/30 文献下载
摘要：本发明公开了一种使用SIMD指令的向量函数快速查表法、系统及介质，快速查表法包括传入操作数，将向量函数的各算法区间的常系数作为被查表数值存入内存中的暂存数组AA，生成查表所需的索引向量VI；使用加载函数将内存中的数组AA加载至向量VA中；按照索引向量VI中元素指示，使用置换函数将VA中的指定元素加载至目的向量VD的指定位置；使用目的向量VD进行后续计算并输出结果。本发明能够充分利用现代SIMD指令集提供的超宽寄存器以及灵活的寄存器操作指令，既能通过保留查表操作来减少向量函数的计算开销，也能保证查表操作的速度，从而提升向量化函数的性能。
使用 simd 指令向量函数快速查表法系统介质

[实用新型]一种粮食自动包装系统-CN201720461112.6有效
发明人：张洪泽;李至良;谢娟娟;刘万军;付强;左克 -专利权人：金田国康（天津）农业科技发展有限公司
申请日： 2017-04-27 - 公布日： 2018-02-06 - 主分类号： B65B65/00 文献下载
摘要：本实用新型涉及粮食包装领域，尤其涉及一种粮食自动包装系统，包括流转轨道及沿流转轨道循环流转的多个托盘及沿流转方向依次设置的自动装袋密实装置、自动抽真空封口装置及出袋装置，通过设置刘庄轨道配合托盘，将多道工序设备集成，使得包装袋可以自动灌装、密实、抽真空、封口、出料，相对与传统的人工方式极大的提升了工作效率。
一种粮食自动包装系统

[实用新型]一种粮食装袋自动抽真空封口装置-CN201720458181.1有效
发明人：张洪泽;付强;薛晓岑;李至良;谢娟娟;左克 -专利权人：金田国康（天津）农业科技发展有限公司
申请日： 2017-04-27 - 公布日： 2017-12-05 - 主分类号： B65B31/06 文献下载
摘要：本实用新型涉及粮食包装领域，尤其涉及一种粮食装袋自动抽真空封口装置，包括设于底部的托盘，设于托盘上方的热封口机构及设于热封口机构上方的抽真空装置，通过将抽真空、封口等操作在同一工位上依次完成，保证抽真空质量，相较于人工包装，包装效果佳且效率较高。
一种粮食装袋自动真空封口装置

[发明专利]片上Cache网络中基于位置感知的数据预取方法-CN201410774705.9有效
发明人：杨灿群;李春江;王锋;黄春;杜云飞;彭林;左克;李宽;姜浩 -专利权人：中国人民解放军国防科学技术大学
申请日： 2014-12-16 - 公布日： 2017-10-31 - 主分类号： G06F12/0862 文献下载
摘要：本发明公开一种片上Cache网络中基于位置感知的数据预取方法，步骤包括1）在处理器启动后，利用数据位置向量表记录被取入处理器上片上Cache网络中的数据在片上Cache网络中的Cache块信息；2）当处理器核在执行到程序中的预取指示指令时，跳转执行步骤3）；3）在数据位置向量表中查找预取指示指令的目标数据在片上Cache网络中的Cache块信息，预取出目标数据后存储至预取指示指令指定的Cache块中，并更新目标数据在片上Cache网络中的Cache块信息。本发明能够实现针对众核处理器片上Cache网络中的数据预取，具有实现原理简单、预取准确率高且灵活性强的优点。
cache 网络基于位置感知数据方法

[发明专利]多线程交叉双精度短向量结构的评测激励自动构造方法-CN201110342803.1有效
发明人：李春江;杜云飞;易会战;杨灿群;黄春;陈娟;赵克佳;王锋;彭林;左克 -专利权人：中国人民解放军国防科学技术大学
申请日： 2011-11-03 - 公布日： 2012-06-20 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种多线程交叉双精度短向量结构的评测激励自动构造方法，包括步骤：输入待评测的向量操作类型和向量长度；自动创建一内容为空的用作评测激励的汇编语言文件；向汇编语言文件中写入如下内容：多线程运行初始化代码段、评测激励控制结构、多线程向量操作程序段、评测激励同步结构以及数据段以及数据段初始化语句；构成一完整的多线程交叉双精度短向量结构的评测激励。本发明可以实现自动批量构造评测激励，能缩短构建时长，节约成本，提高评测激励开发效率，极大地方便了处理器验证和性能评估。
多线程交叉精度向量结构评测激励自动构造方法

[发明专利]面向双精度SIMD部件的矩阵乘实现方法-CN201110262383.6有效
发明人：杜云飞;李春江;杨灿群;黄春;赵克佳;易会战;陈娟;彭林;左克 -专利权人：中国人民解放军国防科学技术大学
申请日： 2011-09-06 - 公布日： 2012-05-09 - 主分类号： G06F17/16 文献下载
摘要：本发明公开了一种面向双精度SIMD部件的矩阵乘实现方法，目的是提高矩阵乘在SIMD部件上的计算速度。技术方案是先增加矩阵B和矩阵C的列数；然后对矩阵A、B进行分块；A的每个分块和对应的B分块使用SIMD部件进行相乘，并将结果加到矩阵C中相应位置的结果和上；采用本发明避免了对矩阵数据进行重排序，提高了矩阵乘在SIMD部件上的计算速度。
面向精度 simd 部件矩阵实现方法

[发明专利]一种基于CPU和GPU协作的分子动力学加速方法-CN201110382005.1无效
发明人：廖湘科;杨灿群;吴强;陈娟;李春江;杜云飞;彭林;左克;石志才 -专利权人：中国人民解放军国防科学技术大学
申请日： 2011-11-25 - 公布日： 2012-04-11 - 主分类号： G06F17/50 文献下载
摘要：本发明公开了一种基于CPU和GPU协作的分子动力学加速方法，目的是提出一种通过协同使用CPU和GPU的加速方法，在较低成本的情况下实现分子动力学的加速。技术方案是使用配置有多核CPU和GPU的计算机，对待模拟的分子系统建立“网格-单元”结构存储分子信息，使用CPU和GPU动态申请和处理网格，在处理网格时，CPU以单元为单位处理网格，GPU则直接处理整个网格，实现CPU和GPU高效协作地完成分子动力学模拟。采用本发明可使得CPU核之间负载均衡，避免静态分配计算任务时CPU和GPU可能出现闲置等待的情况，CPU和GPU都能充分发挥自己的计算性能，提高了整个计算机系统的利用率，以低成本实现了分子动力学的加速。
一种基于 cpu gpu 协作分子动力学加速方法

1
2
下一页»
尾页
共 17 条