-
题名综合化航空电子系统安全评估方法
被引量:5
- 1
-
-
作者
胡林平
崔西宁
-
机构
中国航空计算技术研究所
西安电子科技大学计算机学院
-
出处
《现代电子技术》
2012年第14期126-130,共5页
-
基金
航空科学基金资助项目(2010ZC31001
2011ZC31006)
-
文摘
新一代航空电子系统呈现综合化、模块化的趋势,具有资源高度共享、信息快速传输、软硬件高度集成的特点,这些均对航空电子系统的信息安全性提出了新的要求。基于MILS(多级独立安全系统)架构的综合化航空电子系统给出了解决信息安全性的方案,其安全评估面临巨大的挑战。传统的CC评估方法因为其复杂性、耗时性、只能定性描述而不适用于MILS系统。为了达到定量的的安全评估,提出一种基于层次分析法(AHP)和灰度关联分析法(GRAP)的MILS安全性评估方法。AHP用于获取每个组件关于最终安全评估目标的权重。GRAP适合于分析评估数据来实现定量综合评估。这种新方法克服了CC评估的缺点并实现了MILS系统安全的定量描述。
-
关键词
MILS
安全评估
CC
AHP
GRAP
-
Keywords
MILS security evaluation CC
AHP
GRAP
-
分类号
TN710-34
[电子电信—电路与系统]
-
-
题名基于PDM的元器件库模型研究与应用
被引量:1
- 2
-
-
作者
胡林平
庞菁
段玲玲
-
机构
中国航空计算技术研究所
-
出处
《航空计算技术》
2006年第4期21-23,共3页
-
文摘
在分析国内电子企业元器件管理中存在问题的基础上,建立了基于产品数据管理的元器件库模型。重点讨论了模型中的对象模式和元器件的分类管理,提出了新元器件入库申请流程的设计。最后给出了产品设计过程中模型在元器件选用控制方面的工程实例。
-
关键词
产品数据管理
元器件库
零件族管理
元器件选用控制
-
Keywords
PDM
electronic component database
part family management
control upon using components
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名PDM系统中权限管理方法的研究与应用
被引量:3
- 3
-
-
作者
胡林平
-
机构
中国航空计算技术研究所
-
出处
《航空计算技术》
2007年第1期84-87,共4页
-
文摘
总结了PDM权限管理特点,重点讨论了PDM中权限的集合定义和用户权限判定的函数表示,在分析产品数据分类、企业用户组织模式和权限分类的基础上,提出了基于产品数据分类的权限管理模型,并给出了该模型的应用实例。该模型较好地协调了产品数据共享和保护两方面的需求,并且权限控制逻辑条理清楚,易于实现。
-
关键词
计算机软件
产品数据管理
权限管理的数学表示
权限管理模型
-
Keywords
computer software
PDM
mathematical expression of authority management
authority management model
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名MILS机载安全操作系统设计
被引量:3
- 4
-
-
作者
胡林平
-
机构
中航工业西安航空计算技术研究所
-
出处
《航空计算技术》
2012年第2期110-112,122,共4页
-
基金
航空科学基金项目资助(20091931006)
-
文摘
针对构建MILS安全嵌入式操作系统需求,提出一种基于微内核的安全机制。通过微内核的安全监控机制和时空隔离结构,为系统提供安全性和可靠性的基础支撑,避免操作系统中访问控制机制被篡改、绕过,采用任务间时空隔离和消息传递机制使得各个安全关键任务独立运行,通过受控的消息机制进行交互,有效保证了各个模块的独立安全性。采用微内核架构能够进一步形式化验证,从而在安全的系统结构的下提高任务的安全性和可靠性。
-
关键词
多级安全
微内核
时空隔离
-
Keywords
multi-level security
micro-kernel
space separation
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名机载软件适航技术研究与工程应用
被引量:2
- 5
-
-
作者
胡林平
-
机构
中航工业西安航空计算技术研究所
-
出处
《航空计算技术》
2013年第3期92-95,共4页
-
文摘
通过分析研究DO-178B标准,提出了适用于大规模机载软件开发和验证的集成过程。过程紧密集成基于需求的开发活动和基于需求的验证活动,实现需求和代码的一致性目标。通过在过程中引入全局需求和需求子集开发活动,为软件开发和验证活动并行化创造了基础条件,进而提高工作效率,满足大规模软件众多项目人员协同工作及缩短项目周期的要求。
-
关键词
机载软件
适航
DO-178B
-
Keywords
avionics software
airworthiness
DO-178B
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名机载嵌入式文件系统设计与实现
被引量:2
- 6
-
-
作者
胡林平
-
机构
中航工业西安航空计算技术研究所
-
出处
《航空计算技术》
2012年第3期107-111,共5页
-
基金
航空科学基金项目资助(2010ZC31001)
-
文摘
提出了机载嵌入式文件系统ACoreFS的体系结构。针对机载嵌入式环境资源有限的特点,将ACoreFS设计为独立可拆卸系统组件。设计了虚拟文件系统(VFS)层,为应用程序提供一致的文件系统接口。VFS为逻辑文件系统提供统一的抽象接口,用户可根据项目要求和存储设备的特性选择挂载不同的逻辑文件系统。为提高设备访问性能,设计了块设备数据高速缓冲层,使用哈希表对数据块进行管理,提高了系统效率。
-
关键词
虚拟文件系统
块缓冲
哈希表
-
Keywords
virtual file system
block cache
Hash table
-
分类号
TP316
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于AADL的航空电子系统安全性分析
被引量:2
- 7
-
-
作者
贾璐
胡林平
田丹
-
机构
中国航空计算技术研究所
-
出处
《航空计算技术》
2009年第5期58-61,共4页
-
文摘
AADL是一种描述嵌入式实时系统的软硬件结构、安全性、可靠性等关键性能特性的重要手段,目前已广泛应用于基于ARINC653的综合化航电系统。安全性作为综合化航电系统的关键性能之一,已成为需要解决的重要问题。详细阐述了基于AADL的航空电子系统安全性分析的原理,并给出了一种可行的航空电子系统安全性分析的设计和实现方案,为航空电子系统安全性的设计提供了一种验证方法。
-
关键词
安全性分析
AADL
ARINC653
ECLIPSE
-
Keywords
security analysis
AADL
ARINC653
eclipse
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名面向民机复杂航电系统的综合验证平台研究
被引量:1
- 8
-
-
作者
张军才
胡林平
-
机构
航空工业西安航空计算技术研究所
-
出处
《电光与控制》
CSCD
北大核心
2023年第2期71-74,共4页
-
基金
工信部民机专项项目(MJ-2016-S-42)。
-
文摘
民机复杂航电系统的高效研制需要各种综合验证平台的有力支持。首先,通过梳理复杂航电系统的工程活动,确认所需综合验证平台的类别;其次,对综合验证平台进行功能分析,提出了通用功能定义;再次,采用维度分析方法分析了综合验证平台的现状,并提出了优化思路;最后,针对用途广泛的设备级综合验证平台进行了顶层规划和统一设计,开发了通用的设计模型,并提出了设计模型的实施规范要求。
-
关键词
民用飞机
航电系统
系统验证
验证平台
-
Keywords
civil airplane
avionics system
system verification
verification platform
-
分类号
TP302.1
[自动化与计算机技术—计算机系统结构]
-
-
题名分布式航空电子系统蓝图仿真技术的研究
被引量:1
- 9
-
-
作者
贾璐
胡林平
齐晓斌
-
机构
中国航空计算技术研究所
-
出处
《航空计算技术》
2010年第4期108-111,115,共5页
-
文摘
基于ASAAC的分布式航空电子系统应用日益广泛,蓝图作为ASSAC提出的系统管理和资源配置的核心概念,其通信和故障管理配置的正确性成为分布式航电系统需要解决的重要问题。利用仿真技术模拟蓝图运行的分布式航电系统,尤其是其数据通信和故障处理方面的性能,在系统设计早期就可以有效地发现原型系统中存在的设计缺陷,极大地缩短了开发周期,减小了系统开发风险。
-
关键词
ASSAC
ARINC653
蓝图
分布式仿真
ECLIPSE
-
Keywords
ASSAC
ARINC653
blueprint
distributed simulation
eclipse
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-
-
题名BOM的产品层次结构自动生成算法
被引量:14
- 10
-
-
作者
张学宏
武韬
胡林平
-
机构
中国航空计算技术研究所
-
出处
《航空计算技术》
1998年第3期67-69,共3页
-
文摘
以数据库技术为基础,本文提出了一种自动生成BOM表的产品装配层次的递归算法。算法简洁、稳定、可靠。
-
关键词
产品层次结构
BOM
CAD
CAM
PDM
数据库
-
Keywords
Product hierarchy structure BOM CAD CAM PDM MRPII
-
分类号
TB21-39
[一般工业技术—工程设计测绘]
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名p27蛋白在鼻咽癌组织中的表达及临床意义
被引量:5
- 11
-
-
作者
余波
胡林平
伏晓
张槿
滕尧树
吴稚冰
朱瑾
-
机构
南京医科大学附属杭州医院(杭州市第一人民医院)
浙江中医药大学第四临床学院
杭州市第一人民医院吴山院区放疗科
-
出处
《中国耳鼻咽喉头颈外科》
CSCD
2019年第10期531-535,共5页
-
基金
杭州市科技发展计划项目(20160533B07)
浙江省医药卫生科技计划项目(2015KYB292)
南京医科大学科技发展基金重点项目(2015NJMUZD087)
-
文摘
目的评估细胞核p27在鼻咽癌组织中表达与鼻咽癌患者临床病理特征及预后的关系。方法回顾性分析2006年12月~2016年1月在杭州市第一人民医院病理科保存113例鼻咽癌组织和28例慢性鼻咽炎组织标本蜡块,采用免疫组织化学染色法观察p27蛋白在鼻咽癌组织细胞核中的表达情况,并利用统计学方法分析其与鼻咽癌患者临床病理特征参数及预后的关系。结果免疫组织化学染色结果显示,与慢性鼻咽炎组织相比,p27蛋白在鼻咽癌组织细胞核中的表达明显下降,差异具有统计学意义(P<0.05),且细胞核p27蛋白表达水平与鼻咽癌T分级、TNM临床分期呈负相关(P<0.05)。113例鼻咽癌患者5年总生存率为75%,细胞核p27蛋白表达阳性者5年生存率为85.9%,阴性者为61.3%,差异有统计学意义(P <0.05)。单因素Cox回归模型分析显示,细胞核p27蛋白表达水平、年龄、T分级、N分级、M分级和TNM临床分期均影响鼻咽癌患者的生存率(HR均>1,P均<0.05),多因素Cox回归模型分析亦显示:年龄、M分级、TNM临床分期是影响鼻咽癌患者预后的独立危险因素(HR均>1,P均<0.05)。结论细胞核p27蛋白在鼻咽癌中表达下调可能促进鼻咽癌的发生、发展,并可影响鼻咽癌患者的生存预后。
-
关键词
鼻咽肿瘤
免疫组织化学
预后
临床病理特征
细胞核p27
-
Keywords
Nasopharyngeal Neoplasms
Immunohistochemistry
Prognosis
clinicopathologic features
Nucleus p27
-
分类号
R73
[医药卫生—肿瘤]
-
-
题名让语文课外评价有据可循让语文课外评价有据可循
- 12
-
-
作者
胡林平
-
机构
广安观阁职业中学校
-
出处
《四川教育》
2018年第12期31-31,共1页
-
文摘
改进完善教学评价的实践,是“课堂革命”的突破口,是提升语文课改质量的抓手.针对语文学科,教师要改变现有的评价模式,就要充分利用课外评价,让学生语文核心素养提升有据可循、抓铁有痕.
-
关键词
教学评价
语文学科
课外
语文课改
评价模式
课堂
教师
学生
-
分类号
G420
[文化科学—课程与教学论]
-
-
题名测试与解决PC硬件中的2000年问题
- 13
-
-
作者
周凯
方建慧
胡林平
周延泉
-
机构
中国航空工业
-
出处
《航空科学技术》
1999年第4期5-7,共3页
-
文摘
对PC机定时系统和PC机硬件中200O年问题进行了研究,提出了可行的测试和解决方法,介绍了一个通用的测试PC机硬件中2000问题的工具:YMARK2000。
-
关键词
2000年问题
测试工具
PC机
定时系统
Y2K
-
Keywords
2000 Year problem Testing tools PC time system
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-