摘要：分析车载雷达信息系统构建工艺、设备/器件选型、布局部署、测试及管理等整个流程,总结系统的电磁兼容工程化设计方法,可为相关设计提供一定的参考。

摘要：介绍了某炼化装置汽轮机通过对动静叶片级数进行增加,改变叶片型线,合理分配焓降,缩小级间距。将叶型设计为渐缩型,通过实施改造后,焦化汽轮机设计排气压力由1.1MPa降为0.6MPa,TMP汽轮机设计排气压力由1.1MPa降为0.7MPa,两台汽轮机改造后可节约中压蒸汽7.6 t/h,节能效果明显,取得了良好的经济效益。

摘要：能源、交通等领域中复杂嵌入式系统设计的安全性分析与验证工作已经成为当前的重要研究热点之一;本文提出一种结合MARTE语义信息的扩展Sys ML活动图模型,用于描述安全关键应用中的嵌入式系统动态行为的设计,并对此扩展模型展开基于模型转换的系统设计安全性特征的形式化分析与验证方法的研究;包括:构建了Sys ML活动图与MARTE中非功能性质建模语义相结合的元模型,以及验证工具UPPAAL的时间自动机元模型,并且给出了二者之间的语义映射规则;建立了从时间自动机模型描述到UPPAAL工具输入格式之间的语法转换方法;设计了一个基于AMMA平台的面向扩展Sys ML活动图的模型转换与验证框架;最后,给出了一个高铁控制系统设计模型的安全性验证的实例分析.

摘要：基于属性的访问控制模型(ABAC)特别适用于大规模分布式网络。然而,由于网络环境的异构性以及策略控制的复杂性,其访问控制策略集往往庞大且缺乏统一语义,策略管理也因此变得复杂和易于出错。针对以上问题,使用本体一致性推理对现有的基于XACML的ABAC授权框架进行扩展:首先,对几种主要的访问控制模型在分布式环境下的性能进行量化分析;其次,通过对本体知识库的一致性检测来判断策略的一致性;最后,设计一个实验方案来验证该方法的有效性和正确性。

摘要：目前,能够对航空航天、核电等领域中复杂嵌入式系统安全关键软件功能建模和故障分析的方法尚未得到统一;致使功能模型分析中缺乏安全属性来源,故障分析得到的危害无法在功能设计中得到避免.状态事件故障树是一种适合描述复杂系统中功能失效因果关系的建模技术,统一了功能建模和故障分析;但是,由于其缺乏精确语义,难以直接进行软件的安全性分析.为此,提出一种基于状态事件故障树的软件安全性分析方法:首先,通过元素映射以及逻辑门转换,将状态事件故障树扩展为附加故障语义信息的故障状态机;然后,将故障状态机转换到时间自动机;最后,在模型检测工具UPPAAL下进行安全性测试反例分析.本文使用燃气灶控制系统的实例进行分析.

摘要：嵌入式软件在安全关键领域的广泛运用使得保障软件安全性成为工业界和学术界关注的重要课题.抽象解释作为一种形式化方法为程序变量的数值分析提供了一种通用框架,八边形抽象域是抽象解释的一种关系型数值抽象域,可以表示两个变量间的数值关系.基于八边形抽象域设计了一个对程序变量进行数值分析的原型工具,并利用此工具对襟缝翼控制系统的安全性展开研究,包括:利用抽象解释框架对襟縫翼系统的中断驱动进行建模;通过迭代计算程序中各个节点的数值不变式,检测程序中与数值相关的错误;根据分析结果对产生错误的代码进行定位.本文将抽象解释理论应用到航空控制软件的安全分析中,并提供了一种对程序中数值变量进行自动化分析的途径.

摘要：各种体制雷达装备设计越来越复杂,型号也越来越多,因此对承制方技术状态管理的要求越来越高。但是,技术状态管理相关国军标的缺乏与技术体系的融合以及对不同研制需求的管理要求导致其不能直接有效指导技术状态管理。本文提出基于技术状态基线的雷达装备战技指标分配体系及可追溯性,进而结合承制方体系建设实际情况优化技术状态管理方法,形成具体可操作的措施和流程,为雷达装备研制生产提供一种管理保证。

摘要：基于属性的访问控制模型(ABAC)特别适用于大规模分布式网络。然而,由于其访问控制决策依赖于属性的暴露,又没有有效的敏感属性保护机制,使得访问主体的敏感属性存在非法暴露的风险。本文提出了一种扩展了信任与隐私的ABAC模型,它包含了信任与隐私这两个特殊属性,并使访问控制决策敏感于跨组织的协作上下文,以解决ABAC模型本身不含敏感属性保护机制的问题。设计了一种促使管理者在危机管理系统中做出更优决策的图形化原型工具,并验证本文方法的有效性。

摘要：关联虚端子是智能变电站二次设计的主要内容,在对虚端子的数据格式和命名规范进行分析的基础上,提出了基于关键字符匹配原理的虚端子自动关联方法。该方法首先设置关联好的虚端子模板文件,再通过关键字符匹配使待关联文件中的虚端子与模板文件中功能相同的虚端子位置一致,从而实现对不同厂家不同型号的大部分虚端子自动关联;对于少量不能自动关联的虚端子,可缩小选择范围后手动关联。该方法能有效减少设计工作量,提升设计效率和质量。

摘要：为研究大气盐雾环境中C l-和CO2作用下受弯钢筋混凝土梁的耐久性,设计制作了一组普通钢筋混凝土梁试件,结合加速腐蚀,对这组梁的裂缝、挠度和承载能力作了分析。结果表明:氯离子和CO2共同腐蚀持续荷载作用下,随着碳化的深入、时间的增长,梁腐蚀速度加快,裂缝急剧增长;梁的挠度随钢筋锈蚀发展而增加,在锈蚀的早期挠度增长较大,随着锈蚀的发展,挠度增长趋于平稳;梁的劣化随荷载的增加,劣化速度加快。