面向民机复杂航电系统的综合验证平台研究

民机复杂航电系统的高效研制需要各种综合验证平台的有力支持。首先,通过梳理复杂航电系统的工程活动,确认所需综合验证平台的类别;其次,对综合验证平台进行功能分析,提出了通用功能定义;再次,采用维度分析方法分析了综合验证平台的现状,并提出了优化思路;最后,针对用途广泛的设备级综合验证平台进行了顶层规划和统一设计,开发了通用的设计模型,并提出了设计模型的实施规范要求。

综合化航空电子系统安全评估方法

新一代航空电子系统呈现综合化、模块化的趋势,具有资源高度共享、信息快速传输、软硬件高度集成的特点,这些均对航空电子系统的信息安全性提出了新的要求。基于MILS(多级独立安全系统)架构的综合化航空电子系统给出了解决信息安全性的方案,其安全评估面临巨大的挑战。传统的CC评估方法因为其复杂性、耗时性、只能定性描述而不适用于MILS系统。为了达到定量的的安全评估,提出一种基于层次分析法(AHP)和灰度关联分析法(GRAP)的MILS安全性评估方法。AHP用于获取每个组件关于最终安全评估目标的权重。GRAP适合于分析评估数据来实现定量综合评估。这种新方法克服了CC评估的缺点并实现了MILS系统安全的定量描述。

基于PDM的元器件库模型研究与应用

在分析国内电子企业元器件管理中存在问题的基础上,建立了基于产品数据管理的元器件库模型。重点讨论了模型中的对象模式和元器件的分类管理,提出了新元器件入库申请流程的设计。最后给出了产品设计过程中模型在元器件选用控制方面的工程实例。

PDM系统中权限管理方法的研究与应用

总结了PDM权限管理特点,重点讨论了PDM中权限的集合定义和用户权限判定的函数表示,在分析产品数据分类、企业用户组织模式和权限分类的基础上,提出了基于产品数据分类的权限管理模型,并给出了该模型的应用实例。该模型较好地协调了产品数据共享和保护两方面的需求,并且权限控制逻辑条理清楚,易于实现。

MILS机载安全操作系统设计

针对构建MILS安全嵌入式操作系统需求,提出一种基于微内核的安全机制。通过微内核的安全监控机制和时空隔离结构,为系统提供安全性和可靠性的基础支撑,避免操作系统中访问控制机制被篡改、绕过,采用任务间时空隔离和消息传递机制使得各个安全关键任务独立运行,通过受控的消息机制进行交互,有效保证了各个模块的独立安全性。采用微内核架构能够进一步形式化验证,从而在安全的系统结构的下提高任务的安全性和可靠性。

机载软件适航技术研究与工程应用

通过分析研究DO-178B标准,提出了适用于大规模机载软件开发和验证的集成过程。过程紧密集成基于需求的开发活动和基于需求的验证活动,实现需求和代码的一致性目标。通过在过程中引入全局需求和需求子集开发活动,为软件开发和验证活动并行化创造了基础条件,进而提高工作效率,满足大规模软件众多项目人员协同工作及缩短项目周期的要求。

机载嵌入式文件系统设计与实现

提出了机载嵌入式文件系统ACoreFS的体系结构。针对机载嵌入式环境资源有限的特点,将ACoreFS设计为独立可拆卸系统组件。设计了虚拟文件系统(VFS)层,为应用程序提供一致的文件系统接口。VFS为逻辑文件系统提供统一的抽象接口,用户可根据项目要求和存储设备的特性选择挂载不同的逻辑文件系统。为提高设备访问性能,设计了块设备数据高速缓冲层,使用哈希表对数据块进行管理,提高了系统效率。

综合化航空电子系统软件接口研究

综合化航空电子系统软件对系统的综合性能具有较高的要求。全面分析了综合化航空电子系统的性能需求,定义了综合化航空电子系统性能评估模型,首次对综合化航空电子系统进行全面评估,建立了综合化航空电子系统体系结构和功能软件的评估模型,分析和对比了综合化航空电子系统软件现有接口标准规范。在航空电子系统软件开发中将多个标准结合起来参考使用,将有利于提高机载软件的重用性、移植性、安全性和可靠性。

软件项目进度风险的定量分析方法

软件项目超期仍然是业界的一个普遍现象,进度延期可能直接导致项目质量下降、费用超支甚至失败,因此项目执行过程中对于进度的风险控制至关重要。从定量分析的角度探讨项目进度管理的风险管理方法,并对3种主要的进度管理方法和模型——PERT/CPM方法、关键链方法、事件链方法——进行了调研和对比。其中,事件链是近年来新提出的一种针对风险事件进行建模和分析的方法,为进一步研究有效的进度风险管理控制方法和技术提供了新的思路和视角。

P27蛋白与头颈鳞状细胞癌

头颈鳞状细胞癌(HNSCCs)是人体常见恶性肿瘤之一,发病率呈逐年上升趋势,但其发病机制目前尚不清楚。近年来研究发现,细胞核内、外的P27蛋白异常表达,可通过不同的信号转导机制,在多种HNSCCs细胞的浸润和迁移等病理过程中发挥不同的调控作用,从而影响HNSCCs患者的预后。本文综述P27蛋白在HNSCCs临床病理特征及预后判断中的研究进展。

分布式航空电子系统蓝图仿真技术的研究

基于ASAAC的分布式航空电子系统应用日益广泛,蓝图作为ASSAC提出的系统管理和资源配置的核心概念,其通信和故障管理配置的正确性成为分布式航电系统需要解决的重要问题。利用仿真技术模拟蓝图运行的分布式航电系统,尤其是其数据通信和故障处理方面的性能,在系统设计早期就可以有效地发现原型系统中存在的设计缺陷,极大地缩短了开发周期,减小了系统开发风险。

基于AADL的航空电子系统安全性分析

AADL是一种描述嵌入式实时系统的软硬件结构、安全性、可靠性等关键性能特性的重要手段,目前已广泛应用于基于ARINC653的综合化航电系统。安全性作为综合化航电系统的关键性能之一,已成为需要解决的重要问题。详细阐述了基于AADL的航空电子系统安全性分析的原理,并给出了一种可行的航空电子系统安全性分析的设计和实现方案,为航空电子系统安全性的设计提供了一种验证方法。

BOM的产品层次结构自动生成算法

以数据库技术为基础，本文提出了一种自动生成BOM表的产品装配层次的递归算法。算法简洁、稳定、可靠。

基于DO-178B的软件配置管理技术研究

软件过程管理对航空软件产品的安全性和可靠性发挥着至关重要的作用,而配置管理技术作为软件过程中的一个重要环节,无疑又是重中之重。这里以DO-178B为指导,结合实践经验,详细阐述了开展各项软件配置管理活动的具体方法与策略。为提高数据控制的有效性,以满足DO-178B的A级软件研发过程为例,说明了如何按照DO-178B中的两种控制类型对软件生命周期数据进行分类,最后,提供了符合DO-178B要求的说明。

一种基于Web服务的嵌入式系统BSP远程测试框架

在嵌入式BSP测试过程中,为每一个测试产品和每一个开发团队都建立测试环境来进行本地测试,其代价非常昂贵。采用远程测试的方法可以降低测试代价,共享测试环境,有效地重用测试用例。Web服务是一种部署在Web上的对象,建立在以XML为主的、开放的Web规范技术基础上,具有平台无关性、互操作性、功能复用和安全通信特点。提出了一种嵌入式系统BSP远程测试框架,该框架分为测试中心服务和测试门户服务,分别采用了SOAP和REST两种风格的Web服务包装形式,用户可以通过统一的Web接口访问服务实现BSP的远程测试。

基于Lotus Notes的办公自动化系统构建技术

实现办公自动化（OA），构筑企业内部信息网（Intranet），进而实现电子商务（e-business）是当今企事业单位构筑信息系统的发展潮流，必将对二十一世纪的信息世界产生深远的影响。本文通过PILOT──一个基于LotusNotes办公自动化系统，对符合当今信息技术发展趋势的OA系统运行方式。系统体系结构及其基本功能组成进行探讨。

p27蛋白在鼻咽癌组织中的表达及临床意义

目的评估细胞核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蛋白在鼻咽癌中表达下调可能促进鼻咽癌的发生、发展,并可影响鼻咽癌患者的生存预后。

让语文课外评价有据可循让语文课外评价有据可循

改进完善教学评价的实践,是“课堂革命”的突破口,是提升语文课改质量的抓手.针对语文学科,教师要改变现有的评价模式,就要充分利用课外评价,让学生语文核心素养提升有据可循、抓铁有痕.

测试与解决PC硬件中的2000年问题

对PC机定时系统和PC机硬件中200O年问题进行了研究,提出了可行的测试和解决方法,介绍了一个通用的测试PC机硬件中2000问题的工具:YMARK2000。

监控信息点表自动生成系统设计

为提高监控信息点表编制的规范性、准确性、高效性,在大量分析研究的基础上,提取差异条件,研发了一种监控信息点表自动生成系统。该系统按间隔类型建立专家库,只需要根据调度下发的主接线图输入设备双重名称和差异条件的确认,即可快速、准确、高效的生成包含主站和厂站的监控信息点表。所研制系统能极大地减轻设计人员制作和运维人员审核的工作量、促进现场施工的质量和效率。