期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
12
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
Web应用安全漏洞测试工具Punks的设计与实现
被引量:
1
1
作者
彭寒
郭雷
《西安航空技术高等专科学校学报》
2008年第5期62-64,70,共4页
文中设计和实现了一个Web应用安全漏洞测试工具Punks。其中Punks的爬行模块的设计与实现来源于对开源的网络爬虫软件Harvestman的改写,进而达到了高性能的多线程爬行。为了提高整体性能,还设计和实现了一个具有队列缓冲机制和多线程机...
文中设计和实现了一个Web应用安全漏洞测试工具Punks。其中Punks的爬行模块的设计与实现来源于对开源的网络爬虫软件Harvestman的改写,进而达到了高性能的多线程爬行。为了提高整体性能,还设计和实现了一个具有队列缓冲机制和多线程机制支持的注入/分析组件,并把改写后的网络爬行组件和它很好的集成,最终实现了一个高性能的Web应用安全漏洞测试工具。
展开更多
关键词
Web安全漏洞
错误注入技术
网络爬虫
Punks
在线阅读
下载PDF
职称材料
机载软件中间件及其应用技术研究
被引量:
1
2
作者
彭寒
刘舟洲
景月娟
《信息技术与信息化》
2023年第6期40-43,共4页
针对当前机载软件复杂度攀带来的可移植性差、开发周期长等问题,提出了一种机载软件中间件的设计方法。首先,分析了分区操作系统环境下机载应用软件的共性特征;然后,设计了一种结合了通信中间件和组件中间件功能的通用的机载软件中间件...
针对当前机载软件复杂度攀带来的可移植性差、开发周期长等问题,提出了一种机载软件中间件的设计方法。首先,分析了分区操作系统环境下机载应用软件的共性特征;然后,设计了一种结合了通信中间件和组件中间件功能的通用的机载软件中间件架构,让开发人员可以使用该中间件快速开发机载应用程序;最后,使用本文所设计的中间件开发了一个飞行管理系统软件,验证了该中间件的通用性。实验结果表明,该中间件具有良好的适配性和可移植性,能够加快机载应用程序的开发过程,降低软件开发成本。
展开更多
关键词
机载软件
中间件
组件框架
发布订阅模式
在线阅读
下载PDF
职称材料
AFDX航空总线仿真测试技术研究
被引量:
1
3
作者
彭寒
李小飞
《西安航空技术高等专科学校学报》
2010年第5期10-13,共4页
为了对AFDX总线的网络系统进行测试,采用德国AIM公司所研制的仿真测试软件fdXplorer及API-FDX-2仿真测试板卡,搭建虚拟的机载数据总线的通信仿真测试系统,仿真AFDX数据包的发送、接收和监控。
关键词
AFDX
航空总线仿真测试
fdXplorer
在线阅读
下载PDF
职称材料
基于区域一致性的图割立体匹配
被引量:
5
4
作者
曹国震
彭寒
《西北工业大学学报》
EI
CAS
CSCD
北大核心
2017年第1期160-163,共4页
面向深度信息获取的立体匹配由于其处理快速、操作简单和隐蔽性好等一系列优点已应用于机器人视觉导航、医学成像和军事等领域,已成为立体视觉中的一个热点方向。由于图割算法不仅精度高,收敛速度快,并且对于光照变化、弱纹理等区域的...
面向深度信息获取的立体匹配由于其处理快速、操作简单和隐蔽性好等一系列优点已应用于机器人视觉导航、医学成像和军事等领域,已成为立体视觉中的一个热点方向。由于图割算法不仅精度高,收敛速度快,并且对于光照变化、弱纹理等区域的匹配效果也比其他算法好。但是图割算法没有考虑图像的全局一致性,针对其不足之处,文章提出了基于区域一致性约束的图割立体匹配算法,并通过matlab仿真验证了算法有效性。
展开更多
关键词
立体匹配
图割
一致性
MATLAB
在线阅读
下载PDF
职称材料
基于多特征模糊融合的疲劳状态判决
被引量:
4
5
作者
曹国震
彭寒
谭伟
《火力与指挥控制》
CSCD
北大核心
2017年第4期96-100,共5页
在基于视觉的疲劳驾驶识别过程中,使用单个特征进行疲劳驾驶判断,常常会受到非普遍适用性、噪声等因素的影响,从而导致识别率降低。为了解决眼部特征参数或者是嘴巴特征参数单个特征识别率低甚至特使环境无法识别的问题,提出一种基于多...
在基于视觉的疲劳驾驶识别过程中,使用单个特征进行疲劳驾驶判断,常常会受到非普遍适用性、噪声等因素的影响,从而导致识别率降低。为了解决眼部特征参数或者是嘴巴特征参数单个特征识别率低甚至特使环境无法识别的问题,提出一种基于多特征融合的判决方法,利用了各种特征之间的优势互补,可以降低噪声和类内类间差异的影响,从而提高系统的性能,并且能增强适用性。最后通过实验结果证明,使用眼部和嘴巴特征融合的方法比单一的判决方法准确率更高。
展开更多
关键词
模糊控制器
多特征模糊融合
眼部特征参数
嘴巴特征参数
在线阅读
下载PDF
职称材料
一种通用机载总线接口控制文档设计方法
被引量:
2
6
作者
曹国震
彭寒
+2 位作者
吴晓葵
李川
张少应
《电子设计工程》
2017年第24期25-29,共5页
以通用机载总线监控及测试系统研发为背景,针对接口控制文档(ICD)严重依赖于总线类型,缺乏通用性的现状,提出了一种通用的ICD设计方法。在软件层面上对接口控制文档的通用性进行高层抽象,并在此基础上设计和实现了通用的ICD数据模型和IC...
以通用机载总线监控及测试系统研发为背景,针对接口控制文档(ICD)严重依赖于总线类型,缺乏通用性的现状,提出了一种通用的ICD设计方法。在软件层面上对接口控制文档的通用性进行高层抽象,并在此基础上设计和实现了通用的ICD数据模型和ICD解析器。在通用机载总线监控系统中对本文提出的方法进行了通用性验证和可行性验证。实验结果表明,使用此解析器,无需修改应用程序代码即可适配各种类型的机载总线;同时,高层抽象带来的总线传输时延不超过2 ms,满足总线测试系统的需求。
展开更多
关键词
接口控制文档
机载总线
通用ICD数据模型
通用ICD解析器
在线阅读
下载PDF
职称材料
基于FPGA的疲劳驾驶检测算法研究与设计
被引量:
3
7
作者
曹国震
彭寒
谭伟
《电子设计工程》
2016年第12期165-167,171,共4页
随着交通工具大幅度增加,同时事故率也居高不下,疲劳驾驶是导致交通事故的一个重要因素。在过去的技术研究和应用中,绝大多数都是基于PC机和DPS的算法研究实现,不适用于车载,而在车载系统中不仅要实时性高而且要求体积小、方便安装使用...
随着交通工具大幅度增加,同时事故率也居高不下,疲劳驾驶是导致交通事故的一个重要因素。在过去的技术研究和应用中,绝大多数都是基于PC机和DPS的算法研究实现,不适用于车载,而在车载系统中不仅要实时性高而且要求体积小、方便安装使用,因此本文提出一种基于FPGA嵌入式的疲劳驾驶检测技术系统并对在FPGA上算法特点进行了研究、验证,通过实验证明了算法设计有和优化的有效性。
展开更多
关键词
FPGA
Sebol算子
疲劳驾驶
差分法
在线阅读
下载PDF
职称材料
高可靠计算机MFOP的设计与验证
8
作者
曹国震
彭寒
徐继伟
《火力与指挥控制》
CSCD
北大核心
2015年第12期149-151,155,共4页
针对传统可靠性指标在计算机设计中所受质疑,提出了用MFOP进行计算机高可靠设计的思路。首先,论述了计算机提高MFOP的通用和专用设计方法,其次,在加速系数不明确的情况下,针对高可靠计算机提出了基于加速验证试验方案的非参数统计方法...
针对传统可靠性指标在计算机设计中所受质疑,提出了用MFOP进行计算机高可靠设计的思路。首先,论述了计算机提高MFOP的通用和专用设计方法,其次,在加速系数不明确的情况下,针对高可靠计算机提出了基于加速验证试验方案的非参数统计方法。再次,在加速系数明确的情况下,通过试验设计将MFOP验证过程转化为二项分布的可靠性验证试验验证过程。最后,通过两个算例对验证方法进行了说明。
展开更多
关键词
无维修使用
可靠性设计
加速试验
在线阅读
下载PDF
职称材料
采用压缩感知与智能优化的大规模WSNs移动稀疏数据收集
被引量:
4
9
作者
刘洲洲
程徐
+1 位作者
张杨梅
彭寒
《西北工业大学学报》
EI
CAS
CSCD
北大核心
2020年第2期333-340,共8页
针对大规模无线传感网数据处理网络流量大、任务时延高的缺陷,提出了一种基于自适应块压缩感知与离散弹性碰撞优化算法的移动节点数据收集方案。首先,通过分析网络分块与节点部署之间的关系,提出自适应块压缩感知数据采集策略,实现传感...
针对大规模无线传感网数据处理网络流量大、任务时延高的缺陷,提出了一种基于自适应块压缩感知与离散弹性碰撞优化算法的移动节点数据收集方案。首先,通过分析网络分块与节点部署之间的关系,提出自适应块压缩感知数据采集策略,实现传感器节点基于自适应网络块压缩感知数据采集;设计移动节点数据采集路径规划策略和多移动节点协同计算机制,通过采用适应度值约束变换处理技术和并行离散弹性碰撞优化算法,达到均衡网络节点能耗和降低数据处理任务时延的目的。最后,仿真结果表明,该数据收集方案能够有效实现大规模传感网数据高效处理,而且降低了网络流量和网络任务时延,更好均衡了网络节点能耗。
展开更多
关键词
无线传感器网络
压缩感知
离散弹性碰撞优化
数据收集
在线阅读
下载PDF
职称材料
一种通用机载数据总线测试系统设计方法
被引量:
1
10
作者
彭寒
曹国震
+2 位作者
吴晓葵
李川
张少应
《电子设计工程》
2018年第12期20-25,共6页
以当前机载数据总线的异构性、综合化的趋势为背景,针对各种专用型总线测试系统缺乏通用性和可扩展性的局限,提出了一种通用的机载数据总线测试系统的设计方法,采用一种通用架构隐藏了不同机载总线测试系统的底层实现细节,将机载总线测...
以当前机载数据总线的异构性、综合化的趋势为背景,针对各种专用型总线测试系统缺乏通用性和可扩展性的局限,提出了一种通用的机载数据总线测试系统的设计方法,采用一种通用架构隐藏了不同机载总线测试系统的底层实现细节,将机载总线测试系统的共性流程抽象为通用实现层,从而增强了总线测试系统的通用性和可扩展性。采用几个典型的机载总线测试系统对本文所提出的通用架构进行了验证。实验结果表明,抽象层设计对总线测试系统的累计传输时延不超过2 ms,能够满足各种总线测试系统的测试需求。
展开更多
关键词
机载总线
激励器
总线测试
通用性设计
在线阅读
下载PDF
职称材料
机载分区操作系统形式化建模及验证研究
11
作者
彭寒
曹国震
吴晓葵
《西安航空学院学报》
2018年第5期45-50,共6页
分析和总结了国内外在机载分区操作系统建模及验证方面的研究成果,指出了存在着验证工作不充分性、建模与验证方法单一性等问题;提出了从"设计后验证"到"Correct-by-Construct"、从规约模型到契约模型、组合运用多...
分析和总结了国内外在机载分区操作系统建模及验证方面的研究成果,指出了存在着验证工作不充分性、建模与验证方法单一性等问题;提出了从"设计后验证"到"Correct-by-Construct"、从规约模型到契约模型、组合运用多种形式化建模三种分区操作系统建模及验证的新思路,以期对未来研究者有所借鉴。
展开更多
关键词
分区操作系统
形式化方法
综合模块化航空电子架构
组合形式化方法
在线阅读
下载PDF
职称材料
一种嵌入式实时多分区操作系统下的NVRAM管理机制
12
作者
景月娟
彭寒
+1 位作者
刘洲洲
张晓丽
《电子设计工程》
2023年第24期38-41,46,共5页
在嵌入式实时多分区操作系统中,针对直接通过绝对地址访问NVRAM导致存储器访问越界的问题,该文提出了一种NVRAM管理机制,通过定义注册接口、读取接口和写入接口,屏蔽了不安全的物理存储器访问机制,建立了安全可靠的NVRAM管理机制。通过...
在嵌入式实时多分区操作系统中,针对直接通过绝对地址访问NVRAM导致存储器访问越界的问题,该文提出了一种NVRAM管理机制,通过定义注册接口、读取接口和写入接口,屏蔽了不安全的物理存储器访问机制,建立了安全可靠的NVRAM管理机制。通过实际的工程应用证明,该NVRAM管理机制完全避免了存储越界访问的风险,同时降低了系统维护成本,有效地提高了应用软件的安全性,降低了开发成本。
展开更多
关键词
嵌入式实时多分区操作系统
非易失随机访问存储器
存储器越界
管理机制
在线阅读
下载PDF
职称材料
题名
Web应用安全漏洞测试工具Punks的设计与实现
被引量:
1
1
作者
彭寒
郭雷
机构
西安航空技术高等专科学校计算机工程系
出处
《西安航空技术高等专科学校学报》
2008年第5期62-64,70,共4页
文摘
文中设计和实现了一个Web应用安全漏洞测试工具Punks。其中Punks的爬行模块的设计与实现来源于对开源的网络爬虫软件Harvestman的改写,进而达到了高性能的多线程爬行。为了提高整体性能,还设计和实现了一个具有队列缓冲机制和多线程机制支持的注入/分析组件,并把改写后的网络爬行组件和它很好的集成,最终实现了一个高性能的Web应用安全漏洞测试工具。
关键词
Web安全漏洞
错误注入技术
网络爬虫
Punks
Keywords
Web Security Hole
Fault Injection Technology
Network Crawler
Punks
分类号
TP393.08 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
机载软件中间件及其应用技术研究
被引量:
1
2
作者
彭寒
刘舟洲
景月娟
机构
西安航空学院
出处
《信息技术与信息化》
2023年第6期40-43,共4页
基金
陕西省重点研发计划(2023-YBGY-014)
陕西省重点研发计划(2023-YBGY-131)。
文摘
针对当前机载软件复杂度攀带来的可移植性差、开发周期长等问题,提出了一种机载软件中间件的设计方法。首先,分析了分区操作系统环境下机载应用软件的共性特征;然后,设计了一种结合了通信中间件和组件中间件功能的通用的机载软件中间件架构,让开发人员可以使用该中间件快速开发机载应用程序;最后,使用本文所设计的中间件开发了一个飞行管理系统软件,验证了该中间件的通用性。实验结果表明,该中间件具有良好的适配性和可移植性,能够加快机载应用程序的开发过程,降低软件开发成本。
关键词
机载软件
中间件
组件框架
发布订阅模式
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
V247 [航空宇航科学与技术—飞行器设计]
在线阅读
下载PDF
职称材料
题名
AFDX航空总线仿真测试技术研究
被引量:
1
3
作者
彭寒
李小飞
机构
西安航空技术高等专科学校计算机工程系
空军第二飞行学院第二训练团
出处
《西安航空技术高等专科学校学报》
2010年第5期10-13,共4页
基金
西安航专校级科研立项(09XP4)
文摘
为了对AFDX总线的网络系统进行测试,采用德国AIM公司所研制的仿真测试软件fdXplorer及API-FDX-2仿真测试板卡,搭建虚拟的机载数据总线的通信仿真测试系统,仿真AFDX数据包的发送、接收和监控。
关键词
AFDX
航空总线仿真测试
fdXplorer
Keywords
AFDX
Aviation bus emulation test
fdXplorer
分类号
TP393.06 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
基于区域一致性的图割立体匹配
被引量:
5
4
作者
曹国震
彭寒
机构
西安航空学院
西北工业大学计算机学院
出处
《西北工业大学学报》
EI
CAS
CSCD
北大核心
2017年第1期160-163,共4页
基金
陕西省科技工业攻关项目(2016GY-139)
陕西省自然科学基金(2016NM1014)资助
文摘
面向深度信息获取的立体匹配由于其处理快速、操作简单和隐蔽性好等一系列优点已应用于机器人视觉导航、医学成像和军事等领域,已成为立体视觉中的一个热点方向。由于图割算法不仅精度高,收敛速度快,并且对于光照变化、弱纹理等区域的匹配效果也比其他算法好。但是图割算法没有考虑图像的全局一致性,针对其不足之处,文章提出了基于区域一致性约束的图割立体匹配算法,并通过matlab仿真验证了算法有效性。
关键词
立体匹配
图割
一致性
MATLAB
Keywords
stereo matching
graph cut
consistency
MATLAB
分类号
TP391.41 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
基于多特征模糊融合的疲劳状态判决
被引量:
4
5
作者
曹国震
彭寒
谭伟
机构
西安航空学院
西北工业大学计算机学院
西安导航技术研究所
出处
《火力与指挥控制》
CSCD
北大核心
2017年第4期96-100,共5页
基金
国家青年科学基金资助项目(61201321)
文摘
在基于视觉的疲劳驾驶识别过程中,使用单个特征进行疲劳驾驶判断,常常会受到非普遍适用性、噪声等因素的影响,从而导致识别率降低。为了解决眼部特征参数或者是嘴巴特征参数单个特征识别率低甚至特使环境无法识别的问题,提出一种基于多特征融合的判决方法,利用了各种特征之间的优势互补,可以降低噪声和类内类间差异的影响,从而提高系统的性能,并且能增强适用性。最后通过实验结果证明,使用眼部和嘴巴特征融合的方法比单一的判决方法准确率更高。
关键词
模糊控制器
多特征模糊融合
眼部特征参数
嘴巴特征参数
Keywords
fuzzy controller
characteristics' fuzzy fusion
eye feature parameters
mouth characteristic parameters
分类号
TP391 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
一种通用机载总线接口控制文档设计方法
被引量:
2
6
作者
曹国震
彭寒
吴晓葵
李川
张少应
机构
西安航空学院
出处
《电子设计工程》
2017年第24期25-29,共5页
基金
陕西省工业科技攻关项目(2016GY-139)
陕西省自然科学基金项目(2016JM1014)
陕西省自然科学基金项目(2017.61.00431.0.000981)
文摘
以通用机载总线监控及测试系统研发为背景,针对接口控制文档(ICD)严重依赖于总线类型,缺乏通用性的现状,提出了一种通用的ICD设计方法。在软件层面上对接口控制文档的通用性进行高层抽象,并在此基础上设计和实现了通用的ICD数据模型和ICD解析器。在通用机载总线监控系统中对本文提出的方法进行了通用性验证和可行性验证。实验结果表明,使用此解析器,无需修改应用程序代码即可适配各种类型的机载总线;同时,高层抽象带来的总线传输时延不超过2 ms,满足总线测试系统的需求。
关键词
接口控制文档
机载总线
通用ICD数据模型
通用ICD解析器
Keywords
interface control document
airborne Bus
general ICDdata model
general ICD parser
分类号
TN60 [电子电信—电路与系统]
在线阅读
下载PDF
职称材料
题名
基于FPGA的疲劳驾驶检测算法研究与设计
被引量:
3
7
作者
曹国震
彭寒
谭伟
机构
西安航空学院
西北工业大学计算机学院
西安导航技术研究所
出处
《电子设计工程》
2016年第12期165-167,171,共4页
基金
国家青年科学基金(61201321)
文摘
随着交通工具大幅度增加,同时事故率也居高不下,疲劳驾驶是导致交通事故的一个重要因素。在过去的技术研究和应用中,绝大多数都是基于PC机和DPS的算法研究实现,不适用于车载,而在车载系统中不仅要实时性高而且要求体积小、方便安装使用,因此本文提出一种基于FPGA嵌入式的疲劳驾驶检测技术系统并对在FPGA上算法特点进行了研究、验证,通过实验证明了算法设计有和优化的有效性。
关键词
FPGA
Sebol算子
疲劳驾驶
差分法
Keywords
FPGA
Sebol operator
fatigue
finite difference method
分类号
TN911.73 [电子电信—通信与信息系统]
在线阅读
下载PDF
职称材料
题名
高可靠计算机MFOP的设计与验证
8
作者
曹国震
彭寒
徐继伟
机构
西安航空学院
西北工业大学计算机学院
西北工业大学自动化学院
出处
《火力与指挥控制》
CSCD
北大核心
2015年第12期149-151,155,共4页
基金
国家青年科学基金资助项目(61201321)
文摘
针对传统可靠性指标在计算机设计中所受质疑,提出了用MFOP进行计算机高可靠设计的思路。首先,论述了计算机提高MFOP的通用和专用设计方法,其次,在加速系数不明确的情况下,针对高可靠计算机提出了基于加速验证试验方案的非参数统计方法。再次,在加速系数明确的情况下,通过试验设计将MFOP验证过程转化为二项分布的可靠性验证试验验证过程。最后,通过两个算例对验证方法进行了说明。
关键词
无维修使用
可靠性设计
加速试验
Keywords
MFOP
reliability design
accelerated verification test
分类号
TP302.1 [自动化与计算机技术—计算机系统结构]
TB114.3 [理学—概率论与数理统计]
在线阅读
下载PDF
职称材料
题名
采用压缩感知与智能优化的大规模WSNs移动稀疏数据收集
被引量:
4
9
作者
刘洲洲
程徐
张杨梅
彭寒
机构
西安航空学院计算机学院
挪威科技大学信息与工程科学学院
西北工业大学计算机学院
出处
《西北工业大学学报》
EI
CAS
CSCD
北大核心
2020年第2期333-340,共8页
基金
中国博士后科学基金(2018M633573)
陕西省博士后科学基金(2018BSHQYXM2211)
陕西省重点研发计划一般项目(2020GY-084)资助。
文摘
针对大规模无线传感网数据处理网络流量大、任务时延高的缺陷,提出了一种基于自适应块压缩感知与离散弹性碰撞优化算法的移动节点数据收集方案。首先,通过分析网络分块与节点部署之间的关系,提出自适应块压缩感知数据采集策略,实现传感器节点基于自适应网络块压缩感知数据采集;设计移动节点数据采集路径规划策略和多移动节点协同计算机制,通过采用适应度值约束变换处理技术和并行离散弹性碰撞优化算法,达到均衡网络节点能耗和降低数据处理任务时延的目的。最后,仿真结果表明,该数据收集方案能够有效实现大规模传感网数据高效处理,而且降低了网络流量和网络任务时延,更好均衡了网络节点能耗。
关键词
无线传感器网络
压缩感知
离散弹性碰撞优化
数据收集
Keywords
wireless sensor networks
compressive sensing
discrete elastic collision optimization
data collection
分类号
TP393 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
一种通用机载数据总线测试系统设计方法
被引量:
1
10
作者
彭寒
曹国震
吴晓葵
李川
张少应
机构
西安航空学院计算机学院
西安航空学院教务处
出处
《电子设计工程》
2018年第12期20-25,共6页
基金
陕西省自然科学基金项目(2016JM1014
2017.61.00431.0.000981)
陕西省工业科技攻关项目(2016GY-139)
文摘
以当前机载数据总线的异构性、综合化的趋势为背景,针对各种专用型总线测试系统缺乏通用性和可扩展性的局限,提出了一种通用的机载数据总线测试系统的设计方法,采用一种通用架构隐藏了不同机载总线测试系统的底层实现细节,将机载总线测试系统的共性流程抽象为通用实现层,从而增强了总线测试系统的通用性和可扩展性。采用几个典型的机载总线测试系统对本文所提出的通用架构进行了验证。实验结果表明,抽象层设计对总线测试系统的累计传输时延不超过2 ms,能够满足各种总线测试系统的测试需求。
关键词
机载总线
激励器
总线测试
通用性设计
Keywords
airborne bus
actuator
bus testing
generic design
分类号
TN60 [电子电信—电路与系统]
在线阅读
下载PDF
职称材料
题名
机载分区操作系统形式化建模及验证研究
11
作者
彭寒
曹国震
吴晓葵
机构
西安航空学院计算机学院
西安航空学院教务处
出处
《西安航空学院学报》
2018年第5期45-50,共6页
文摘
分析和总结了国内外在机载分区操作系统建模及验证方面的研究成果,指出了存在着验证工作不充分性、建模与验证方法单一性等问题;提出了从"设计后验证"到"Correct-by-Construct"、从规约模型到契约模型、组合运用多种形式化建模三种分区操作系统建模及验证的新思路,以期对未来研究者有所借鉴。
关键词
分区操作系统
形式化方法
综合模块化航空电子架构
组合形式化方法
Keywords
partitioned operating system
formal method
integrated modular avionics
integrated formal method
分类号
TP316.8 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
一种嵌入式实时多分区操作系统下的NVRAM管理机制
12
作者
景月娟
彭寒
刘洲洲
张晓丽
机构
西安航空学院计算机学院
出处
《电子设计工程》
2023年第24期38-41,46,共5页
基金
陕西省自然科学基金(2020JM-633)
陕西省重点研发计划项目(2023-YBGY-014、2023-YBGY-131)。
文摘
在嵌入式实时多分区操作系统中,针对直接通过绝对地址访问NVRAM导致存储器访问越界的问题,该文提出了一种NVRAM管理机制,通过定义注册接口、读取接口和写入接口,屏蔽了不安全的物理存储器访问机制,建立了安全可靠的NVRAM管理机制。通过实际的工程应用证明,该NVRAM管理机制完全避免了存储越界访问的风险,同时降低了系统维护成本,有效地提高了应用软件的安全性,降低了开发成本。
关键词
嵌入式实时多分区操作系统
非易失随机访问存储器
存储器越界
管理机制
Keywords
embedded real⁃time multiple partition operating system
NVRAM
memory overflow
man⁃agement mechanism
分类号
TN914 [电子电信—通信与信息系统]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
Web应用安全漏洞测试工具Punks的设计与实现
彭寒
郭雷
《西安航空技术高等专科学校学报》
2008
1
在线阅读
下载PDF
职称材料
2
机载软件中间件及其应用技术研究
彭寒
刘舟洲
景月娟
《信息技术与信息化》
2023
1
在线阅读
下载PDF
职称材料
3
AFDX航空总线仿真测试技术研究
彭寒
李小飞
《西安航空技术高等专科学校学报》
2010
1
在线阅读
下载PDF
职称材料
4
基于区域一致性的图割立体匹配
曹国震
彭寒
《西北工业大学学报》
EI
CAS
CSCD
北大核心
2017
5
在线阅读
下载PDF
职称材料
5
基于多特征模糊融合的疲劳状态判决
曹国震
彭寒
谭伟
《火力与指挥控制》
CSCD
北大核心
2017
4
在线阅读
下载PDF
职称材料
6
一种通用机载总线接口控制文档设计方法
曹国震
彭寒
吴晓葵
李川
张少应
《电子设计工程》
2017
2
在线阅读
下载PDF
职称材料
7
基于FPGA的疲劳驾驶检测算法研究与设计
曹国震
彭寒
谭伟
《电子设计工程》
2016
3
在线阅读
下载PDF
职称材料
8
高可靠计算机MFOP的设计与验证
曹国震
彭寒
徐继伟
《火力与指挥控制》
CSCD
北大核心
2015
0
在线阅读
下载PDF
职称材料
9
采用压缩感知与智能优化的大规模WSNs移动稀疏数据收集
刘洲洲
程徐
张杨梅
彭寒
《西北工业大学学报》
EI
CAS
CSCD
北大核心
2020
4
在线阅读
下载PDF
职称材料
10
一种通用机载数据总线测试系统设计方法
彭寒
曹国震
吴晓葵
李川
张少应
《电子设计工程》
2018
1
在线阅读
下载PDF
职称材料
11
机载分区操作系统形式化建模及验证研究
彭寒
曹国震
吴晓葵
《西安航空学院学报》
2018
0
在线阅读
下载PDF
职称材料
12
一种嵌入式实时多分区操作系统下的NVRAM管理机制
景月娟
彭寒
刘洲洲
张晓丽
《电子设计工程》
2023
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部