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

空间控制技术与应用 2021年第2期47卷 49-54页

作者：邹萌张敏陈仪香华东师范大学软件工程学院教育部软硬件协同设计技术与应用工程研究中心上海200062

随着软件的应用规模越来越大,软件系统一旦出现故障,很可能会造成人员伤亡或财产等重大损失,因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域,作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件... 详细信息

随着软件的应用规模越来越大,软件系统一旦出现故障,很可能会造成人员伤亡或财产等重大损失,因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域,作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时,可信性会下降,会影响到与它可信关联的组件可信性,从而影响到整个系统的可信性.遵循这一思路,设计了软件系统组件可信性发生改变后对其它组件可信性影响度量公式,进一步给出当一组件可信性发生变化,整个软件系统各组件可信性度量发生变化的度量模型.本文以某“航天电源管理设备”为例,证明了本文所建立的组件可信依赖关系度量模型的合理性和有效性.

关键词：软件安全性可信系统信任关系

来源：评论

学校读者我要写书评

暂无评论

SDN数据平面软件一致性测试用例生成方法

引用

软件学报 2020年第9期31卷 2709-2722页

作者：张雯雯许天予章玥郑孝遥上海市高可信计算重点实验室(华东师范大学) 上海200062 华东师范大学教育部软硬件协同设计技术与应用工程研究中心上海200062 上海移动通信有限公司上海200070 安徽师范大学计算机与信息学院安徽芜湖241002

SDN(software-definednetwork)旨在解决架构复杂且分散的传统网络出现的问题,使网络具有更强的灵活性.P4编程语言的特征在于用户可以直接根据自己对处理数据包的需求定义P4程序,然后经过编译过程,生成适配文件将用户需求配置到网络设备... 详细信息

SDN(software-definednetwork)旨在解决架构复杂且分散的传统网络出现的问题,使网络具有更强的灵活性.P4编程语言的特征在于用户可以直接根据自己对处理数据包的需求定义P4程序,然后经过编译过程,生成适配文件将用户需求配置到网络设备.面向P4编程语言的SDN数据平面一致性测试,是将一致性测试用例发送给P4网络设备,评估实际输出和预期输出的一致程度.一致性测试用例是执行一致性测试的载体,而传统的人工构造测试用例是一项繁琐耗时费力的工作.重点分析了面向P4编程语言的SDN数据平面软件一致性测试用例设计原则和生成方法,给出了一致性测试用例覆盖标准,设计了命令信息实体结构和测试用例实体结构,以装载P4程序的simpleswitch虚拟交换机为测试对象,说明一致性测试用例生成过程,实现了一个用于P4网络设备一致性测试的测试用例自动生成工具,并验证了该工具自动生成测试用例的有效性,实现了一致性测试用例构造过程简易性.

关键词：一致性测试测试用例生成测试覆盖 SDN(software-defined networks) P4(programming protocol-independent packet processors)中间节点编程语言

来源：评论

学校读者我要写书评

暂无评论

基于过程现场总线技术的振动检测系统

引用

计算机应用 2018年第7期38卷 2113-2118页

作者：苏雷皓朱明华教育部软硬件协同设计技术与应用工程研究中心(华东师范大学) 上海200062 上海物联网有限公司上海201899

针对当前振动检测系统延迟大、传感网络可控性差、检测精度低等问题,提出了一种基于过程现场总线(Profibus)技术的振动检测系统。首先,在每个检测设备节点处实现卡尔曼滤波、快速傅里叶变换(FFT)等复杂计算,使网络负载与传输大量原始振... 详细信息

针对当前振动检测系统延迟大、传感网络可控性差、检测精度低等问题,提出了一种基于过程现场总线(Profibus)技术的振动检测系统。首先,在每个检测设备节点处实现卡尔曼滤波、快速傅里叶变换(FFT)等复杂计算,使网络负载与传输大量原始振动数据的传统方案相比降低了约95%,缩短了网络传输时间和工作站的计算时间,提高了系统的实时性和计算能力。然后,采用Profibus协议实现对振动检测设备网络的管理和数据传输,保证了传感网络的稳定性和可控性;并且,在振动检测节点设备上使用高精度振动传感器,在检测节点上对振动数据进行滤波等处理,检测精度高达0.003 9 mg。此外,自主设计开发了Profibus协议从站,方便检测设备的功能定制与二次开发;在检测节点设备上采用RT-Thread嵌入式系统内核实现资源分配与任务调度,提高了实时性和可靠性。实验结果表明,所提系统可以快速地对振动现场的原始振动数据进行数据处理并把处理后的数据传输到工作站电脑,实时性高。同时,振动检测设备组成的Profibus网络可以实时显示节点的状态信息,若有网络故障能够及时提醒,网络的可控性好。

关键词：振动检测 Profibus 数据处理嵌入式系统传感网

来源：评论

学校读者我要写书评

暂无评论

复杂网络度演化的涨落特征

引用

华东师范大学学报（自然科学版） 2022年第4期 147-153页

作者：刘琪琛钱江海常瀚云上海电力大学数理学院上海200090 华东师范大学软硬件协同设计技术与应用教育部工程研究中心上海200062

复杂网络的发展催生了大量模型以揭示系统的演化规律和结构形成,但它们在描述度增长的涨落上却存在明显的差异.为确定哪一类模型更适用于真实系统,对2个真实网络开展了实证研究.结果表明,真实网络中度增长率的涨落不同于任何一类模型的... 详细信息

复杂网络的发展催生了大量模型以揭示系统的演化规律和结构形成,但它们在描述度增长的涨落上却存在明显的差异.为确定哪一类模型更适用于真实系统,对2个真实网络开展了实证研究.结果表明,真实网络中度增长率的涨落不同于任何一类模型的预言,其涨落指数随观测间隔线性递减,呈现明显的间隔依赖性;通过比较源数据与重排连边操作后的涨落行为的变化,可推断出这种依赖性源于系统内关联效应的增强.这些结果不仅指出了现有模型的局限,更揭示了关联性自身的动力学性质,这对深入理解复杂网络的演化机制有重要意义.

关键词：度增长涨落吉布拉定律相关性

来源：评论

学校读者我要写书评

暂无评论

构件近似匹配的度量研究

引用

计算机科学 2014年第5期41卷 190-195页

作者：吴新星胡国胜陈仪香上海电子信息职业技术学院计算机应用系上海201411 华东师范大学教育部软硬件协同设计技术与应用工程研究中心上海200062

针对构件在实际应用中往往不能完全满足用户需求的问题,通过比较需求的前置和后置与构件的前置和后置间的关系,提出了一种评估构件对需求近似匹配性的度量方法,来定量地刻画构件的具体实现与用户需求的近似关系。在此基础上,通过复用构... 详细信息

针对构件在实际应用中往往不能完全满足用户需求的问题,通过比较需求的前置和后置与构件的前置和后置间的关系,提出了一种评估构件对需求近似匹配性的度量方法,来定量地刻画构件的具体实现与用户需求的近似关系。在此基础上,通过复用构件之间的约束关系,给出了基于构件的软件对用户需求近似匹配的度量规则。

关键词：构件匹配度量

来源：评论

学校读者我要写书评

暂无评论

多尺度测地线距离的点云划分方法

引用

测绘科学 2024年第3期49卷 58-66页

作者：陈万志王牧宇夏羽汤璇魏宪辽宁工程技术大学软件学院辽宁葫芦岛125105 上海宇航系统工程研究所上海201108 华东师范大学软硬件协同设计技术与应用教育部工程研究中心上海200241

针对三维点云目标通常具有复杂的多尺度非欧几里得空间结构,且无序排列、动态性强、难以高精度预测标签,当前的自注意力模块依赖点乘和矩阵转换运算,难以充分捕捉点云对象的多尺度非欧几里得结构等问题,提出了一种新的多尺度自注意力模... 详细信息

针对三维点云目标通常具有复杂的多尺度非欧几里得空间结构,且无序排列、动态性强、难以高精度预测标签,当前的自注意力模块依赖点乘和矩阵转换运算,难以充分捕捉点云对象的多尺度非欧几里得结构等问题,提出了一种新的多尺度自注意力模块——基于测地线距离的多尺度点云划分(GMT),多尺度提取点云数据的非欧几何信息以增强表征能力。GMT在ModelNet40数据集上的整体准确度指标和类别平均准确度指标分别达到93.2%和90.5%;在ScanObjectNN数据集上的整体准确度指标和类别平均准确度指标分别达到82.5%和81.1%,与Point-TnT等其他主流方法相比取得了具有竞争力的结果。实验结果表明,GMT在一定程度上具有较强的非欧几何特征捕捉能力。

关键词：计算机视觉点云分类测地线距离 Transformer

来源：评论

学校读者我要写书评

暂无评论

小样本雷达辐射源识别的深度学习方法综述

引用

计算机科学 2022年第7期49卷 226-235页

作者：苏丹宁曹桂涛王燕楠王宏任赫华东师范大学软硬件协同设计技术与应用教育部工程研究中心上海200062 中国电子科技集团第五十一研究所上海201802

面对复杂多变的电磁环境与新体制雷达系统,传统的雷达辐射源识别方法已无法满足需求。深度学习模型可有效提取雷达信号的脉内特征,快速准确地对低信噪比、未经分选的雷达辐射源信号进行脉内调制类型识别、型号识别与个体识别。但真实环... 详细信息

面对复杂多变的电磁环境与新体制雷达系统,传统的雷达辐射源识别方法已无法满足需求。深度学习模型可有效提取雷达信号的脉内特征,快速准确地对低信噪比、未经分选的雷达辐射源信号进行脉内调制类型识别、型号识别与个体识别。但真实环境中雷达辐射源信号难以收集,无法满足传统的深度学习训练需要,因此小样本雷达辐射源识别是目前研究的热点与难点。文中首先对近年来将基于监督学习的多种经典深度学习方法应用于小样本雷达辐射源识别的研究进行了回顾;其次,介绍了小样本学习在雷达辐射源识别领域的研究进展;最后,基于小样本雷达辐射源识别的研究现状,总结面临的挑战,提出了对未来研究方向的展望。

关键词：雷达辐射源识别深度学习小样本脉内特征

来源：评论

学校读者我要写书评

暂无评论

SWAM:SNN工作负载自动映射器

引用

计算机科学与探索 2021年第9期15卷 1641-1657页

作者：郁龚健张鲁飞李佩琦华夏刘家航柴志雷陈闻杰江南大学人工智能与计算机学院江苏无锡214122 数学工程与先进计算国家重点实验室江苏无锡214215 华东师范大学软硬件协同设计技术与应用教育部工程研究中心上海200062

为了满足大规模脉冲神经网络(SNN)的计算需求,类脑计算系统通常需要采用大规模并行计算平台。因此,如何快速为SNN工作负载确定合理的计算节点数(即如何把工作负载合理映射到计算平台上)以获得最佳的性能、功耗等指标就成为类脑计算系统... 详细信息

为了满足大规模脉冲神经网络(SNN)的计算需求,类脑计算系统通常需要采用大规模并行计算平台。因此,如何快速为SNN工作负载确定合理的计算节点数(即如何把工作负载合理映射到计算平台上)以获得最佳的性能、功耗等指标就成为类脑计算系统需解决的关键问题之一。首先分析了SNN工作负载特性并为其建立起计算模型;然后针对NEST类脑仿真器,进一步实例化了SNN的内存、计算和通信负载模型;最终设计并实现了一种基于NEST的SNN工作负载自动映射器(SWAM)。SWAM可以自动计算出映射结果并完成映射,避免了极其耗时的工作负载映射手动试探过程。在ARM+FPGA、纯ARM、PC集群三种不同的计算平台上运行SNN典型应用,并比较SWAM、LM算法拟合和实测的映射结果。实验结果表明:SWAM的平均映射准确率达到98.833%,与LM方法与实测映射相比,SWAM具有绝对的时间代价优势。

关键词：脉冲神经网络(SNN) 工作负载映射 PYNQ集群现场可编程逻辑门阵列(FPGA)加速 NEST仿真器

来源：评论

学校读者我要写书评

暂无评论

一种变频采样传感器的频率控制算法

引用

计算机应用研究 2015年第6期32卷 1680-1683,1688页

作者：刘董倩陈仪香陈晓东何康力华东师范大学教育部软硬件协同设计技术与应用工程研究中心上海200062 中国科学院上海高等研究院上海201210

在物联网时代,传感器在环境监测等领域得到了越来越广泛的应用,然而其监测性能的进一步提升受到了传感器自身能量、通信及硬件资源的制约。相对固定频率采样的传感器,变频采样的传感器在监测性能上更有优势。针对传感器的应用场景提出... 详细信息

在物联网时代,传感器在环境监测等领域得到了越来越广泛的应用,然而其监测性能的进一步提升受到了传感器自身能量、通信及硬件资源的制约。相对固定频率采样的传感器,变频采样的传感器在监测性能上更有优势。针对传感器的应用场景提出了一种策略模型,在此基础上设计了一种应用于节点异常监测状态的频率控制(Dis Tros)算法,并用MATLAB/Simulink工具进行了仿真分析。Dis Tros算法的两种子算法可分别应用于监测对象的快速变化及慢速变化两种应用场景。最后的仿真结果表明,该算法在快速变化场景下保证了监测的实时性,在慢速变化场景下保证了监测的密集度。

关键词：变频采样传感器策略模型频率控制算法 Simulink仿真

来源：评论

学校读者我要写书评

暂无评论

[α_1,α_2]1-概率拟Hoare逻辑及其可靠性证明

引用

计算机科学 2015年第B11期42卷 93-99页

作者：吴新星胡国胜陈仪香上海电子信息职业技术学院计算机应用系上海201411 华东师范大学教育部软硬件协同设计技术与应用工程研究中心上海200062

基于***提出的Hoare逻辑,给出了[α_1,α_2]1-概率拟Hoare逻辑,并证明了其可靠性。

关键词： Hoare逻辑 Hoare三元组正确度概率测度

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：