检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于场景控制特征的安全性需求分析方法

北京航空航天大学学报 2016年第11期42卷 2358-2370页

作者：朱丹江姚淑珍谭火彬北京航空航天大学计算机学院北京100083

安全性需求是系统安全性保证的关键。随着系统复杂度和耦合度的剧增,安全性需求的分析提取日益困难。通过对系统需求场景的控制结构和过程分析建模,提出描述控制过程中系统变量间关系的变量影响图模型,进一步给出了安全性需求分析方法... 详细信息

安全性需求是系统安全性保证的关键。随着系统复杂度和耦合度的剧增,安全性需求的分析提取日益困难。通过对系统需求场景的控制结构和过程分析建模,提出描述控制过程中系统变量间关系的变量影响图模型,进一步给出了安全性需求分析方法。通过该方法,使用变量影响图等对控制过程进行分析,生成基于系统理论事故模型和过程(STAMP)的危险性控制活动,并以此获得系统安全性需求。经实验验证,所提出的安全性需求分析方法在正确性和一致性方面具有较好的效果。

关键词：安全性需求需求分析控制分析场景分析控制建模

基于残差SDE-Net的深度神经网络不确定性估计

在线全文

学校读者我要写书评

暂无评论

北京航空航天大学学报 2023年第8期49卷 1991-2000页

作者：王永光姚淑珍谭火彬北京航空航天大学计算机学院北京100191 北京航天计量测试技术研究所国家市场监管重点实验室(人工智能计量测试与标准)北京100076 北京航空航天大学软件学院北京100191

神经随机微分方程模型(SDE-Net)可以从动力学系统的角度来量化深度神经网络(DNNs)的认知不确定性。但SDE-Net面临2个问题,一是在处理大规模数据集时,随着网络层次的增加会导致性能退化;二是SDE-Net在处理具有噪声或高丢失率的分布内数... 详细信息

神经随机微分方程模型(SDE-Net)可以从动力学系统的角度来量化深度神经网络(DNNs)的认知不确定性。但SDE-Net面临2个问题,一是在处理大规模数据集时,随着网络层次的增加会导致性能退化;二是SDE-Net在处理具有噪声或高丢失率的分布内数据所引起的偶然不确定性问题时性能较差。为此设计了一种残差SDE-Net(ResSDE-Net),该模型采用了改进的残差网络(ResNets)中的残差块,并应用于SDE-Net以获得一致稳定性和更高的性能;针对具有噪声或高丢失率的分布内数据,引入具有平移等变性的卷积条件神经过程(ConvCNPs)进行数据修复,从而提高ResSDE-Net处理此类数据的性能。实验结果表明:ResSDE-Net在处理分布内和分布外的数据时获得了一致稳定的性能,并在丢失了70%像素的MNIST、CIFAR10及实拍的SVHN数据集上,仍然分别获得89.89%、65.22%和93.02%的平均准确率。

关键词：神经随机微分方程卷积条件神经过程不确定性估计残差块深度神经网络

同方期刊数据库

在线全文

学校读者我要写书评

暂无评论

基于DSPN的浮标布阵系统建模与仿真

系统仿真学报 2011年第B7期23卷 258-261页

作者：许家俊姚淑珍谭火彬北京航空航天大学软件学院北京100191 北京航空航天大学计算机学院北京100191

浮标布阵系统是航空电子系统中典型的实时嵌入式系统,系统性能评价是其发展的重要理论基础和支撑技术。以浮标布阵系统为应用背景,研究了航空电子系统原理和特点,并对航空电子系统周期性消息进行了研究。给出了一套完整的基于确定与随机... 详细信息

浮标布阵系统是航空电子系统中典型的实时嵌入式系统,系统性能评价是其发展的重要理论基础和支撑技术。以浮标布阵系统为应用背景,研究了航空电子系统原理和特点,并对航空电子系统周期性消息进行了研究。给出了一套完整的基于确定与随机Petri网的性能评价模型。通过对模型的仿真,得到了系统的性能指标总线利用率随系统运行时间变化的规律,通过对性能曲线分析,可对航空电子系统的设计和完善提供重要的理论依据。

关键词：浮标布阵系统确定与随机Petri网 1553B 仿真性能评价

基于确定随机Petri网的AFDX航电系统建模研究

在线全文

学校读者我要写书评

暂无评论

系统仿真学报 2011年第B7期23卷 254-257页

作者：王瑞杰姚淑珍谭火彬北京航空航天大学计算机学院北京100191 北京航空航天大学软件学院北京100191

通过结合AFDX航空电子系统和确定随机Petri网的特点,给出了一种基于确定随机Petri网的AFDX航电系统的建模方法。该方法以AFDX中的虚链路调度算法为中心,依照组件开发的思想,并利用系统各部分的子模型对航空电子系统整体进行建模。从而... 详细信息

通过结合AFDX航空电子系统和确定随机Petri网的特点,给出了一种基于确定随机Petri网的AFDX航电系统的建模方法。该方法以AFDX中的虚链路调度算法为中心,依照组件开发的思想,并利用系统各部分的子模型对航空电子系统整体进行建模。从而为分析航空电子系统的性能提供了有力的参考。

关键词：确定随机Petri网 AFDX 虚链路建模方法

在线全文

学校读者我要写书评

暂无评论

基于DSPN的TTE总线建模与性能分析

计算机科学 2014年第7期41卷 45-48页

作者：王望姚淑珍谭火彬北京航空航天大学软件学院北京100191 北京航空航天大学计算机学院北京100191

时间触发以太网(Time-Triggered Ethernet,TTE)技术已经应用于新一代航空总线并处于高速发展中。TTE的建模和分析方法对其在航空航天方面的发展有重要意义。基于TTE消息传输机制的工作原理,提出一套确定与随机Petri网(Deterministic and... 详细信息

时间触发以太网(Time-Triggered Ethernet,TTE)技术已经应用于新一代航空总线并处于高速发展中。TTE的建模和分析方法对其在航空航天方面的发展有重要意义。基于TTE消息传输机制的工作原理,提出一套确定与随机Petri网(Deterministic and Stochastic Petri Nets,DSPN)的TTE总线建模和相关性能分析方法,并以一种典型的火力控制系统为实例进行建模与性能分析,以进一步说明该方法的有效性和可行性。

关键词：时间触发以太网 DSPN 系统建模性能分析

在线全文

学校读者我要写书评

暂无评论

基于随机时间Petri网的安全性分析方法

计算机科学 2016年第11期43卷 61-65,76页

作者：彭颖姚淑珍谭火彬北京航空航天大学计算机学院北京100191 北京航空航天大学软件学院北京100191

在分析了现有的Petri网与安全性结合的方法的缺陷后,提出了一种基于随机时间Petri网(stochastic Time Petri Nets,sTPN)的系统安全性分析方法,利用sTPN建立的系统模型不局限于指数分布和确定分布的变迁,也不局限于一般分布的变迁的使能... 详细信息

在分析了现有的Petri网与安全性结合的方法的缺陷后,提出了一种基于随机时间Petri网(stochastic Time Petri Nets,sTPN)的系统安全性分析方法,利用sTPN建立的系统模型不局限于指数分布和确定分布的变迁,也不局限于一般分布的变迁的使能限制。通过修改后的瞬态随机状态类图以及sTPN的瞬态分析算法可以得到基于路径的安全性指标。最后给出核反应堆冷却循环系统的例子,说明了所提方法的可用性和合理性。

关键词：随机时间Petri网安全性分析瞬态分析

在线全文

学校读者我要写书评

暂无评论

球面坐标下基于语义分层的知识图谱补全方法

应用科学学报 2024年第1期42卷 119-133页

作者：郭子溢朱桐林广艳谭火彬北京航空航天大学软件学院北京100191

大多现有知识图谱补全方法普遍忽略了实体间客观存在的语义层次差异,为解决该问题,提出一种在球面坐标系下基于语义分层信息的知识图谱补全(knowledge graph completion on semantic hierarchy in spherical coordinates, SpHKC)模型。... 详细信息

大多现有知识图谱补全方法普遍忽略了实体间客观存在的语义层次差异,为解决该问题,提出一种在球面坐标系下基于语义分层信息的知识图谱补全(knowledge graph completion on semantic hierarchy in spherical coordinates, SpHKC)模型。该方法将实体映射到球面坐标,位于不同球面的实体处于不同语义层级,球的半径越大,该球面上的实体所位于的语义层级越低。而关系则被建模为一个球面的实体向另一实体(位于相同球面或不同球面)的移动,包含旋转与定位操作,以处理实体语义层级异同的两种情况。球面坐标的极角和方位角也给予实体更丰富的表达形式。实验表明,SpHKC与当前主流方法在FB15k-237和WN18RR数据集上的效果基本持平,并且它在YAGO3-10数据集的平均倒数排名(mean reciprocal ranking, MRR)、Hits@10等重要指标上比相关研究的最新算法稳定提升约1%,证明了语义分层信息的有效性。

关键词：知识图谱知识图谱补全知识图谱嵌入语义层级信息语义分层结构球坐标

在线全文

学校读者我要写书评

暂无评论

本地无数据的iSCSI磁盘数据保护机制

计算机应用 2017年第2期37卷 412-416页

作者：张晋卿姚淑珍谭火彬北京航空航天大学计算机学院北京100191 北京航空航天大学软件学院北京100191

在信息窃取者合法登录系统的情况下,现有的Internet小型计算机系统接口(i SCSI)磁盘数据保护措施并不能保证数据不被窃取。通过结合磁盘读写重定向算法、磁盘透明加解密机制,提出一种本地无数据的i SCSI磁盘数据保护机制i SCSI_SEC。本... 详细信息

在信息窃取者合法登录系统的情况下,现有的Internet小型计算机系统接口(i SCSI)磁盘数据保护措施并不能保证数据不被窃取。通过结合磁盘读写重定向算法、磁盘透明加解密机制,提出一种本地无数据的i SCSI磁盘数据保护机制i SCSI_SEC。本地无数据指的是i SCSI磁盘中的重要数据只会存在于i SCSI磁盘服务器中而不会因为用户操作或者程序拷贝等原因在本地存储介质上存在,从而能够保证磁盘中重要数据的机密性。通过在系统内核层加载磁盘过滤驱动程序的方式来实现数据保护机制,并与True Crypt进行磁盘读写性能对比,实验结果显示i SCSI_SEC使磁盘读、写性能下降幅度小于True Crypt。结果表明,i SCSI_SEC不仅能够保证i SCSI磁盘数据的机密性,并且在i SCSI磁盘环境下比True Crypt有更好的性能表现。

关键词： iSCSI协议磁盘过滤数据窃取

在线全文

学校读者我要写书评

暂无评论

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

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

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

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

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

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