检索结果-内蒙古大学图书馆

作者：王泉孙伟刘琼杨宏韩丽刘彩霞刘洋王晓春郭雄高剑颜建卿高岳毅陈书义魏旻姜广松孙旭崔远超黄玉钏付根利陈得民刘云淮周陈芬吴明娟佘笑梅王乐菲张焱马开良陶彬杨国华张学琴庄宝森李振平于卫欣董接莲张康明王晓明孟冬月邢培育王跃代啸宁苏玥琦佘杰黄庆卿王东豪郭永振张天辰马力郝创博朱磊基无锡物联网产业研究院中国电子技术标准化研究院公安部第三研究所中国石油化工股份有限公司青岛安全工程研究院深圳赛西信息技术有限公司上海集成通信设备有限公司安徽电信规划设计有限责任公司无锡物联网创新中心有限公司福州物联网开放实验室有限公司江苏赛西科技发展有限公司富士康工业互联网股份有限公司重庆邮电大学应急管理部大数据中心北京大学北京必创科技股份有限公司中国科学院上海微系统与信息技术研究所北京京航计算通讯研究所中国软件评测中心(工业和信息化部软件与集成电路促进中心) 江苏省安全生产科学研究院无锡商业职业技术学院

标准类型：国家标准

本文件规定了爆炸危险化学品贮存安全监测系统（以下简称“系统”）的架构、功能要求和技术要求。本文件适用于属于危险化学品重大危险源的爆炸危险化学品储存单元（储罐区、库区）安全监测系统的建设。

标准号: GB/T 41800-2022

关键词：

来源：评论

学校读者我要写书评

暂无评论

基于最小费用最大流的大规模资源调度方法

引用

软件学报 2017年第3期28卷 598-610页

作者：陈晓旭吴恒吴悦文陆志刚张文博中国科学院软件研究所软件工程技术研究开发中心北京100190 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院大学北京100049

并行作业是大规模资源调度的研究热点.已有的研究工作通常采用队列进行资源调度建模,仅能满足局部最优解且只能适应调度目标固定不变的场景,灵活性不够.提出了一种基于最小费用最大流的大规模资源调度建模方法,将任务的资源需求和物理... 详细信息

并行作业是大规模资源调度的研究热点.已有的研究工作通常采用队列进行资源调度建模,仅能满足局部最优解且只能适应调度目标固定不变的场景,灵活性不够.提出了一种基于最小费用最大流的大规模资源调度建模方法,将任务的资源需求和物理资源供给问题转换成最小费用最大流图的构造和求解问题.首先,选择公平性、优先级和放置约束这3种典型度量作为切入点,从资源视角映射为图的构造问题,通过改变图的结构,使其具备适应性调整能力;其次,针对图的求解时间复杂度高的问题,实现了一种增量式优化算法;最后,实验对比公平性、优先级和放置约束这3种资源调度典型系统,验证了该方法可通过按需配置,支持多种调度目标,具备灵活性.并通过实验仿真,验证了万级规模下,基于图的资源调度延迟比基于未优化图算法的资源调度延迟最多降低90%.

关键词：资源调度最小费用最大流增量式算法

来源：评论

学校读者我要写书评

暂无评论

Android框架层完整性度量方案

引用

计算机系统应用 2019年第8期28卷 1-9页

作者：周星锦秦宇吴秋新习伟赵世军中国科学院软件研究所可信计算与信息保障实验室北京100190 北京信息科技大学理学院北京100196 南方电网科学研究院有限责任公司广州510080

长期以来Android系统一直是黑客攻击的主要目标之一,自发布以来一直面临着root、镜像篡改、恶意程序等安全风险,框架层是在系统安全中容易被忽视但又能产生极高的安全风险.本文分析了Android系统中框架层的表现形式和框架层的使用方式,... 详细信息

长期以来Android系统一直是黑客攻击的主要目标之一,自发布以来一直面临着root、镜像篡改、恶意程序等安全风险,框架层是在系统安全中容易被忽视但又能产生极高的安全风险.本文分析了Android系统中框架层的表现形式和框架层的使用方式,针对框架层特点提出了一种框架层完整性度量方法(FIMM),以此保障Android系统框架层代码完整性和运行时的完整性.对于Android系统针对框架层组件完整性保护的缺失,该方法能提供框架层组件在加载时的完整性度量和完整性校验.而对于Android的系统服务,我们考虑到其较长的运行周期的特征,于是研究了系统服务的调用过程并为其提供了较为细粒度的动态度量,在每次系统服务调用时确认系统服务进程代码段的完整性.最后我们给出了基于Android模拟器的原型系统的实现,并分析了FIMM的安全性和性能损耗,认为FIMM能完全达到我们的安全预期,并且只会造成少量的性能损耗.

关键词： Android安全完整性度量系统服务动态度量

来源：评论

学校读者我要写书评

暂无评论

基于捕获/重放的Web应用跨浏览器兼容性检测

引用

计算机研究与发展 2017年第3期54卷 623-632页

作者：吴国全何妹妹魏峻钟华黄涛中国科学院软件研究所软件工程技术中心北京100190 计算机科学技术国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院大学北京100049

由于浏览器实现技术的差异以及对标准支持程度的不同,Web应用的跨浏览器不兼容性(cross-browser incompatibilities,XBI)已成为Web应用开发者面临的严重问题.现有的兼容性检测工具仅考虑用户交互事件而忽略了浏览器内部事件,无法保证在... 详细信息

由于浏览器实现技术的差异以及对标准支持程度的不同,Web应用的跨浏览器不兼容性(cross-browser incompatibilities,XBI)已成为Web应用开发者面临的严重问题.现有的兼容性检测工具仅考虑用户交互事件而忽略了浏览器内部事件,无法保证在不同的浏览器平台上有相同的执行,导致检测结果出现大量误报和漏报.提出了一种基于捕获/重放技术的Web应用跨浏览器兼容性检测方法,在事件捕获阶段记录Web应用在参考浏览器平台运行时产生的各种非确定性事件,并在重放阶段在测试浏览器平台中进行远程重放.通过在重放过程中采集页面信息,保证了检测结果的准确性.为避免重复检测,设计了一种增量式的检测算法提高了检测效率.实验结果表明了所提出方法的有效性.

关键词：跨浏览器兼容性 Web应用 JavaScript 捕获/重放测试

来源：评论

学校读者我要写书评

暂无评论

虚拟化环境下面向多目标优化的自适应SSD缓存系统

引用

软件学报 2017年第8期28卷 1982-1998页

作者：唐震吴恒王伟魏峻黄涛中国科学院软件研究所软件工程技术研发中心北京100190 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院大学北京100049

以SSD(solid state drive)为代表的新型存储介质在虚拟化环境下得到了广泛的应用,通常作为虚拟机读写缓存,起到优化磁盘I/O性能的作用.已有研究往往关注SSD缓存的容量规划,依据缓存读写命中率评价SSD缓存分配效果,未能充分考虑SSD的服... 详细信息

以SSD(solid state drive)为代表的新型存储介质在虚拟化环境下得到了广泛的应用,通常作为虚拟机读写缓存,起到优化磁盘I/O性能的作用.已有研究往往关注SSD缓存的容量规划,依据缓存读写命中率评价SSD缓存分配效果,未能充分考虑SSD的服务能力上限,难以适用于典型的分布式应用场景,存在虚拟机抢占SSD缓存资源,导致虚拟机中应用性能违约的可能.实现了虚拟化环境下面向多目标优化的自适应SSD缓存系统,考虑了SSD的服务能力上限.基于自适应闭环实现对虚拟机和应用状态的动态感知.动态检测局部SSD缓存抢占状态,基于聚类方法生成虚拟机的优化放置方案,依据全局SSD缓存供给能力确定虚拟机迁移顺序和时机.实验结果表明,该方法在应对典型分布式应用场景时可以有效缓解SSD缓存资源的争用,同时满足应用对虚拟机放置的需求,提升应用的性能并兼顾应用的可靠性.在Hadoop应用场景下,平均降低了25%的任务执行时间,对I/O密集型应用平均提升39%的吞吐率.在Zoo Keeper应用场景下,以不到5%的性能损失为代价,应对了虚拟化主机的单点失效带来的虚拟机宕机问题.

关键词：固态盘缓存虚拟化动态迁移

来源：评论

学校读者我要写书评

暂无评论

基于半监督集成学习的多核设计空间探索

引用

北京航空航天大学学报 2018年第4期44卷 792-801页

作者：李丹丹姚淑珍王颖王森章谭火彬北京航空航天大学计算机学院北京100083 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190 南京航空航天大学计算机科学与技术学院南京211106 北京航空航天大学软件学院北京100083

随着处理器的系统结构日趋复杂,设计空间呈指数式增长,并且软件模拟技术极为费时,成为处理器设计的重要挑战。提出了一种结合集成学习和半监督学习技术的高效设计空间探索方法。具体而言,该方法包括2个阶段:使用均匀随机采样方法从处理... 详细信息

随着处理器的系统结构日趋复杂,设计空间呈指数式增长,并且软件模拟技术极为费时,成为处理器设计的重要挑战。提出了一种结合集成学习和半监督学习技术的高效设计空间探索方法。具体而言,该方法包括2个阶段:使用均匀随机采样方法从处理器设计空间中选择一小组具有代表性的设计点,通过模拟获得性能响应,从而组成训练数据集;提出基于半监督学习的AdaBoost(SSLBoost)模型预测未模拟的样本配置的响应,从而搜索最优的处理器设计配置。实验结果表明,与现有的基于人工神经网络和支持向量机(SVM)的有监督预测模型相比,SSLBoost模型能够使用更少的模拟样本构建出不差于现有方法性能的预测模型;而当模拟样本数量相同时,SSLBoost模型的预测精度更高。

关键词：设计空间探索半监督学习集成学习 AdaBoost 微处理器预测模型

来源：评论

学校读者我要写书评

暂无评论

构建中值图以快速生成高质量的三维模型骨架

引用

计算机辅助设计与图形学学报 2017年第7期29卷 1195-1202页

作者：李雷徐盼盼王文成中国科学院软件研究所计算机科学国家重点实验室北京100190 中国科学院大学北京100049

针对已有的曲线骨架提取方法获得的曲线骨架不太简洁,且关节点过多,难以有效反映模型拓扑结构的问题,提出一种曲线骨架提取方法.首先运用经典的集合覆盖问题模型对中值面进行优化处理,减少模型细节的干扰,形成中值图,以更简洁且规整地... 详细信息

针对已有的曲线骨架提取方法获得的曲线骨架不太简洁,且关节点过多,难以有效反映模型拓扑结构的问题,提出一种曲线骨架提取方法.首先运用经典的集合覆盖问题模型对中值面进行优化处理,减少模型细节的干扰,形成中值图,以更简洁且规整地表达模型;然后以收缩的方式根据中值图生成曲线骨架,得到有效地反映模型拓扑结构的简洁的骨架形态.由于中值图的数据规模远小于中值面,文中方法的计算效率很高.实验结果表明,相比于已有方法,该方法提高了曲线骨架的生成质量,且计算速度有明显提高,甚至可提高3个数量级.

关键词：曲线骨架中值图中值面集合覆盖问题

来源：评论

学校读者我要写书评

暂无评论

多机器人路径规划的安全性验证

引用

软件学报 2017年第5期28卷 1118-1127页

作者：刘涛王淑灵詹乃军计算机科学国家重点实验室(中国科学院软件研究所) 北京100190

近年来,伴随着人工智能领域的浪潮,机器人越来越多地出现在我们的日常生活中,例如足球机器人、无人机、无人车等.如何保证这些自治机器人尤其是多个机器人在移动过程中的安全,成为人们一直很关心的问题.混成通信顺序进程(hybrid communi... 详细信息

近年来,伴随着人工智能领域的浪潮,机器人越来越多地出现在我们的日常生活中,例如足球机器人、无人机、无人车等.如何保证这些自治机器人尤其是多个机器人在移动过程中的安全,成为人们一直很关心的问题.混成通信顺序进程(hybrid communicating sequential process,简称HCSP)是一种针对混成系统的形式化建模语言,在通信顺序进程(communicating sequential process,简称CSP)的基础上引入了微分方程以描述混成系统中的连续行为和控制逻辑,可以方便而高效地对大型控制系统,尤其是在有通信事件发生时的情形进行形式化建模.用HCSP建模多机器人的路径控制算法,并用定理证明工具HProver进行形式化验证,结果表明,在满足一定的初始条件下,机器人团队在整个运行途中不会发生碰撞.

关键词：人工智能机器人混成通信顺序进程混成系统形式化验证定理证明

来源：评论

学校读者我要写书评

暂无评论

基于数据融合的高速公路交通状况检测

引用

计算机学报 2017年第8期40卷 1798-1812页

作者：崔艳玲金蓓弘张扶桑中国科学院软件研究所计算机科学国家重点实验室北京100190 中国科学院大学北京100190

物联网的普及使得数据感知和共享变得迅速、便捷,充分挖掘和利用这些数据成为当前物联网研究的热点.就高速公路交通状况检测而言,有效使用收集到的数据需要应对两个挑战:一是单一感知数据内在的稀疏性;二是检测需求的多目标性.为了高精... 详细信息

物联网的普及使得数据感知和共享变得迅速、便捷,充分挖掘和利用这些数据成为当前物联网研究的热点.就高速公路交通状况检测而言,有效使用收集到的数据需要应对两个挑战:一是单一感知数据内在的稀疏性;二是检测需求的多目标性.为了高精度、低成本、全路段、准实时地检测高速公路交通状况,该文依托移动通信网的信令数据,结合车辆检测器数据,提出了一种数据融合方法即Megrez方法.Megrez方法不仅挖掘了感知数据的内在特性以重构缺失数据,而且在对重构数据进行纠偏时融入了交通流的特征.由于该方法以非介入方式判定交通状况,因此,能以极低成本实现高速公路全路段的路况检测,同时,在并行线性代数库支持下实现的Megrez方法能在指定时间片内完成对车速的估计.该文基于大量真实数据从不同角度对Megrez方法进行了评估,实验结果表明Megrez方法估计的车速具有较高的准确性,能准确检测高速公路的交通状况.

关键词：物联网数据融合交通状况检测手机信令压缩感知信息物理融合系统

来源：评论

学校读者我要写书评

暂无评论

LBlock算法的改进中间相遇攻击

引用

计算机学报 2017年第5期40卷 1080-1091页

作者：郑雅菲吴文玲中国科学院软件研究所可信计算与信息保障实验室北京100190 中国科学院大学研究生院北京100049

LBlock算法是2011年在ACNS会议上提出的轻量级分组密码算法,目前已存在17轮、19轮LBlock算法的中间相遇攻击.文中评估LBlock算法在预建表中间相遇攻击下的安全性.预建表中间相遇攻击提出并发展于AES算法(高级加密标准)的安全性分析,是... 详细信息

LBlock算法是2011年在ACNS会议上提出的轻量级分组密码算法,目前已存在17轮、19轮LBlock算法的中间相遇攻击.文中评估LBlock算法在预建表中间相遇攻击下的安全性.预建表中间相遇攻击提出并发展于AES算法(高级加密标准)的安全性分析,是近些年密码分析中的一个研究热点.预建表中间相遇攻击属于典型的区分器类攻击,包含离线和在线两个阶段.文中通过综合离线阶段区分器的建立过程和在线阶段密钥的恢复过程,利用程序搜索LBlock算法有效区分器与对应初始密钥的最优攻击参数.结果表明,LBlock算法存在11轮区分器,21轮LBlock算法不抵抗预建表中间相遇攻击,攻击的数据复杂度仅为2^(34.1)选择明文,计算复杂度为2^(75.8)次21轮加密,存储复杂度为2^(74.8)个64比特块.与LBlock算法已有中间相遇攻击相比,文中将攻击轮数由19轮扩展至21轮,刷新了LBlock算法在中间相遇攻击下的安全性评估结果.与不可能差分、积分分析等其他分析结果相比,文中攻击具有显著的低数据复杂度,在实际攻击环境下具有重要意义.此外,为了提高LBlock密钥扩展算法的扩散速度,汪艳凤等人提出了一种新的密钥扩展算法.文中评估了采用新的密钥扩展算法的LBlock在预建表中间相遇攻击下的安全性,并成功得到了复杂度优于穷举搜索的20轮攻击,结果显示新的密钥扩展算法以1轮的优势增强了LBlock算法抵抗此类攻击的能力.

关键词：分组密码 LBlock 中间相遇攻击区分器数据复杂度密钥扩展算法

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：