检索结果-南通市图书馆

面向居民家庭智慧用能的随器量测模块设计与应用

在线全文

学校读者我要写书评

暂无评论

现代电子技术 2024年第13期47卷 180-186页

作者：陈贺娜郝伟琦曹波康守信王丙休王贤辉北京智芯微电子科技有限公司北京102200 北京智芯半导体科技有限公司北京102299

针对低压居民用户用能负荷感知、测量、采集和调控需求,文中研究了面向居民家庭智慧用能的随器量测模块设计与应用技术。首先,分析了居民家庭智慧用能双向互动的业务场景;接着,进行了随器量测模块的硬件和软件设计,通过搭载高精度计量... 详细信息

针对低压居民用户用能负荷感知、测量、采集和调控需求,文中研究了面向居民家庭智慧用能的随器量测模块设计与应用技术。首先,分析了居民家庭智慧用能双向互动的业务场景;接着,进行了随器量测模块的硬件和软件设计,通过搭载高精度计量芯片、HPLC+HRF双模通信芯片和内嵌随器量测软件协议栈,实现了用电设备的嵌入式计量、通信、控制等主要功能。所研制随器量测模块经第三方机构检测,计量精度达到1级,采样频率优于20 kHz,满足用电设备高效双向通信需求。该技术在河北开展了智慧用能示范应用,实现了居民负荷电器级深度感知和精准调节,得到工程实践的验证。

关键词：智慧用能随器量测用电设备负荷调节 HPLC+HRF双模通信芯片深度感知

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

BDSBAS和WAAS增强定位性能评估

导航定位学报 2024年第3期12卷 130-136页

作者：刘京慧王献中李丽媛王亮亮温丽芳和芯星通科技(北京)有限公司北京100094

针对星基增强系统(SBAS)播发的单频增强服务电文一般仅用于增强单频定位的问题,提出一种使用单频增强电文增强双频定位的方法,推导利用单频增强信息增强单频和双频标准单点定位(SPP)的数学模型,并进一步分析北斗星基增强系统(BDSBAS)和... 详细信息

针对星基增强系统(SBAS)播发的单频增强服务电文一般仅用于增强单频定位的问题,提出一种使用单频增强电文增强双频定位的方法,推导利用单频增强信息增强单频和双频标准单点定位(SPP)的数学模型,并进一步分析北斗星基增强系统(BDSBAS)和广域增强系统(WAAS)增强性能,结果表明,使用BDSBAS和WAAS单频增强信息增强全球定位系统(GPS)L1C/A单频SPP时三维定位精度分别提升25%~50%、45%~70%,增强L1C/A+L2P双频SPP时三维定位精度分别提升10%~40%、10%~50%。

关键词：北斗星基增强系统(BDSBAS) 广域增强系统(WAAS) 单频增强信息单频定位双频定位

在线全文

学校读者我要写书评

暂无评论

基于门级信息流追踪技术的逻辑混淆攻击方法

西北工业大学学报 2024年第1期42卷 78-83页

作者：刘亮朱嘉诚张喆沈利香孙玉峰慕德俊北京智芯微电子科技有限公司北京100000 西北工业大学深圳研究院广东深圳518057

逻辑混淆技术是一种实现知识产权保护、防止逆向工程的主流技术手段。提出了基于门级信息流追踪技术的逻辑混淆攻击方法,采用门级抽象层次上的信息流分析方法,建立信息流模型,对输出及其污染标签进行约束,使用SAT求解器求解满足约束条... 详细信息

逻辑混淆技术是一种实现知识产权保护、防止逆向工程的主流技术手段。提出了基于门级信息流追踪技术的逻辑混淆攻击方法,采用门级抽象层次上的信息流分析方法,建立信息流模型,对输出及其污染标签进行约束,使用SAT求解器求解满足约束条件的混淆密钥序列。实验结果表明该攻击方法对5种混淆加密算法、2种面积开销生成的测试基准有很好的破解效果和效率。

关键词：逻辑混淆攻击门级信息流追踪集成电路知识产权保护

基于故障传播模型的硬件安全性与可靠性验证方法

在线全文

学校读者我要写书评

暂无评论

西北工业大学学报 2024年第1期42卷 92-97页

作者：张茜歌朱嘉诚马俊沈利香周佳慧慕德俊北京智芯微电子科技有限公司北京100000 西北工业大学深圳研究院广东深圳518057

大规模集成电路正面临着诸如设计脆弱性、侧信道、硬件木马等安全漏洞的威胁。传统的功能测试验证方法无法遍历所有的输入空间,同样无法检测侧信道安全漏洞。现有的形式化验证方法关注硬件设计的等价性和功能的正确性,难以满足安全性和... 详细信息

大规模集成电路正面临着诸如设计脆弱性、侧信道、硬件木马等安全漏洞的威胁。传统的功能测试验证方法无法遍历所有的输入空间,同样无法检测侧信道安全漏洞。现有的形式化验证方法关注硬件设计的等价性和功能的正确性,难以满足安全性和可靠性验证需求。研究面向安全性和可靠性验证的形式化模型,形成有效的硬件安全性与可靠性形式化验证方法。该方法能够从门级对集成电路进行建模,生成细粒度的形式化模型,实现对安全性与可靠性的形式化验证,可以捕捉硬件设计中潜在的安全隐患。实验结果表明该验证方法对硬件设计中存在的侧信道和硬件木马导致的信息泄露和篡改有很好的检测效果。

关键词：形式化模型故障效应分析漏洞检测硬件安全

在线全文

学校读者我要写书评

暂无评论

多视角看大模型安全及实践

计算机研究与发展 2024年第5期61卷 1104-1112页

作者：王笑尘张坤张鹏北京智谱华章科技有限公司北京100086

随着人工智能领域大模型(large model)的广泛应用,大模型,尤其是大语言模型(large language model,LLM)的安全问题受到了广泛关注.大模型作为一种新兴技术,与之相关的安全态势分析以及安全体系建设均亟待挖掘与探索.从社会关系以及技术... 详细信息

随着人工智能领域大模型(large model)的广泛应用,大模型,尤其是大语言模型(large language model,LLM)的安全问题受到了广泛关注.大模型作为一种新兴技术,与之相关的安全态势分析以及安全体系建设均亟待挖掘与探索.从社会关系以及技术应用2个视角,分析了大模型安全的整体趋势.同时,基于大模型自身的特点,梳理了大模型安全能力建设的实践思路,为大模型研发、大模型应用构建提供了安全体系构建的参考方案.介绍的大模型安全能力实践方案包括安全评估基准建设、模型价值观对齐方法、模型线上服务安全系统建设3个部分.

关键词：大模型大模型线上服务安全系统人工智能伦理大模型安全形势分析

在线全文

学校读者我要写书评

暂无评论

小型货物返回舱外形优化设计

航天返回与遥感 2024年第4期45卷 9-17页

作者：王一帆金蔚刘宏标北京中科宇航技术有限公司北京100074

为了在小型货物返回舱的总体方案设计阶段获得返回舱在高超声速条件下最优的气动外形,文章基于Isight软件搭建优化平台,建立以升阻比、阻力系数为优化目标,以头部驻点热流、货舱容积利用率和货舱体积为约束条件的优化模型,进行小型货物... 详细信息

为了在小型货物返回舱的总体方案设计阶段获得返回舱在高超声速条件下最优的气动外形,文章基于Isight软件搭建优化平台,建立以升阻比、阻力系数为优化目标,以头部驻点热流、货舱容积利用率和货舱体积为约束条件的优化模型,进行小型货物返回舱气动外形的优化设计。为了提高单目标优化精度,采用了不同组合的优化算法,充分发挥全局优化算法对初值不敏感、全局收敛性强及数值优化算法收敛速度快、精度高等优势。优化结果表明,基于修正牛顿理论的气动快速计算模型计算返回舱气动参数误差在5%以内,预测精度高;以升阻比为单目标的优化使升阻比增大了27.7%;若要获得最大容积,不能只以容积率为约束条件,必须同时加入容积为约束条件开展优化;单目标优化解仅是Pareto多目标优化最优解集中的一个特解。该优化平台可用于工程中小型货物返回舱方案设计选型,为返回舱外形优化提供有力支持。

关键词：货物返回舱高超声速多目标优化遗传算法

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

力箭一号分离系统设计与验证

载人航天 2024年第1期30卷 81-88页

作者：杨浩亮王英诚张延瑞薛子旺北京中科宇航技术有限公司北京100176

针对力箭一号(PR-1)一二级分离时刻结构壳段不憋压失效,二级姿态可控,火箭滑行阶段零过载条件下,整流罩无过载分离以及三四级分离不因火工品而产生多余物的需求,进行分离系统设计。区别于传统设计,一二级分离采用被动排焰热分离,三四级... 详细信息

针对力箭一号(PR-1)一二级分离时刻结构壳段不憋压失效,二级姿态可控,火箭滑行阶段零过载条件下,整流罩无过载分离以及三四级分离不因火工品而产生多余物的需求,进行分离系统设计。区别于传统设计,一二级分离采用被动排焰热分离,三四级分离采用非火工分离冲量装置,整流罩基于能量法设计零过载下旋转分离。通过大型地面和飞行试验,验证了PR-1采用的3种新型分离设计的可靠性。

关键词：力箭一号被动排焰热分离非火工分离整流罩零过载分离

OceanBase分布式关系数据库架构与技术

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

计算机研究与发展 2024年第3期61卷 540-554页

作者：阳振坤杨传辉韩富晟王国平杨志丰成肖君北京奥星贝斯科技有限公司

关系数据库是当今社会的关键信息基础设施，互联网和数字化带来了高并发和海量数据，传统关系数据库均为集中式架构，处理能力和存储容量都捉襟见肘. OceanBase分布式关系数据库基于通用PC服务器，不仅实现了在线水平伸缩，还实现了机... 详细信息

关系数据库是当今社会的关键信息基础设施，互联网和数字化带来了高并发和海量数据，传统关系数据库均为集中式架构，处理能力和存储容量都捉襟见肘. OceanBase分布式关系数据库基于通用PC服务器，不仅实现了在线水平伸缩，还实现了机房故障自动无损容灾以及高倍率数据压缩等，已经应用于金融、政务、通信和互联网等行业.介绍了OceanBase分布式关系数据库的系统架构和关键技术，包括分布式事务处理、基于LSM-tree的存储系统以及分布式SQL优化器.详细阐述了OceanBase数据库的高可用和数据一致性，包括RPO为0和RTO小于8 s.也介绍了OceanBase数据库多租户机制，即采用了集群内原生多租户设计，在集群内实现多个互相独立的数据库服务.基于Sysbench和TPC-H评测基准，对比实验结果表明：1）在单机模式下，OceanBase的性能是MySQL的1.27倍至2倍多；2）在单主模式下，OceanBase的性能是MySQL的1.25倍至近2倍；3）在多主模式下，OceanBase的性能是MySQL的1.09倍至3.1倍，对于OLAP的复杂查询，OceanBase的性能是MySQL的6倍到327倍.

关键词：关系数据库分布式事务基于LSM-tree存储分布式SQL优化器多租户

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

复杂海况下运载火箭自对准算法

中国惯性技术学报 2024年第7期32卷 637-644页

作者：孙国伟刘百奇刘建设张军锋何建华王振华北京星河动力装备科技有限公司北京100176

运载火箭对发射窗口和对准精度高度敏感。海上发射平台受风、浪、涌等复杂海况的综合作用产生低频、宽幅、时变晃动,传统的静基座对准方法不能适应,有限的配套设施又不便开展光瞄辅助对准或传递对准。对此,设计了基于晃动辨识的粗对准... 详细信息

运载火箭对发射窗口和对准精度高度敏感。海上发射平台受风、浪、涌等复杂海况的综合作用产生低频、宽幅、时变晃动,传统的静基座对准方法不能适应,有限的配套设施又不便开展光瞄辅助对准或传递对准。对此,设计了基于晃动辨识的粗对准方法和在线修正量测噪声阵的精对准方法。对粗对准的影响因素进行量化分析,实时辨识晃动周期和幅值,结合器件特性和精度要求在线调整粗对准时间,为精对准创造良好初始条件。精对准过程中在线修正卡尔曼滤波器的量测噪声阵,从而适应发射平台的时变晃动。所设计方法于2023年9月在谷神星一号海射型运载火箭上完成了飞行实验验证,在晃动角度约2.1°、角速度约2.35(°)/s的复杂海况下,粗对准算法实现了300.0s内小于2.0°的精度,精对准算法实现了小于0.3°的精度,保障了运载火箭首飞成功。

关键词：复杂海况运载火箭粗对准精对准卡尔曼滤波谷神星一号