面向适航认证的模型驱动机载软件构件的安全性验证 被引量：16

1

作者 徐丙凤 黄志球 +1 位作者 胡军 于笑丰 《航空学报》 EI CAS CSCD 北大核心 2012年第5期796-808,共13页

在软件开发的过程中为适航认证提供证据,已成为机载软件开发的研究热点。现代复杂机载软件多为构件化分布式架构,如何有效验证构件之间安全性依赖关系与适航认证标准当中规定目标的一致性,是机载软件设计阶段的一个重要问题。首先,使用... 在软件开发的过程中为适航认证提供证据,已成为机载软件开发的研究热点。现代复杂机载软件多为构件化分布式架构,如何有效验证构件之间安全性依赖关系与适航认证标准当中规定目标的一致性,是机载软件设计阶段的一个重要问题。首先,使用系统建模语言(SysML)块图建立带有安全性特征的系统静态结构模型,将其转换为块依赖图以便进行精确的形式化描述。在此基础上给出形式验证方法,检验系统静态结构模型中的安全性依赖关系与适航认证标准中所规定目标之间是否一致。最后,通过一个飞机导航系统的例子说明如何将该方法应用于机载软件开发的过程中。利用这种方法对系统静态结构模型的安全性依赖关系进行验证,能够提高系统整体的安全性,并为适航认证提供证据。 展开更多

关键词 适航认证 安全性验证 机载软件 模型驱动 形式化方法 SYSML

原文传递

国外森林认证研究综述 被引量：10

2

作者 丛之华 万志芳 《林业经济问题》 北大核心 2013年第1期87-91,共5页

对近年来国外学者对森林认证研究成果进行综述,着重归纳分析了森林认证的特点、实施的影响因素、森林认证的影响、森林认证与合法性验证、企业社会责任、信任与森林认证关系等方面的成果和主要观点。在评价的基础上指出未来的研究趋势。

关键词 森林认证 影响 合法性验证 企业社会责任 信任

下载PDF 职称材料

研制多元标准气混合物的相关问题讨论 被引量：7

3

作者 陈赓良 赵榆 《天然气工业》 EI CAS CSCD 北大核心 2011年第2期94-97,131,共4页

研制高准确度的多元标准气混合物(Reference Gas Mixture,RGM)是实施天然气能量计量的一项重要配套技术。为此,根据国家标准GB/T 5274—2008"气体分析校准用混合气体的制备称量法"和GB/T 15000.4"标准样品工作导则"... 研制高准确度的多元标准气混合物(Reference Gas Mixture,RGM)是实施天然气能量计量的一项重要配套技术。为此,根据国家标准GB/T 5274—2008"气体分析校准用混合气体的制备称量法"和GB/T 15000.4"标准样品工作导则"的规定,讨论了制备天然气分析用高准确度多元标准气混合物的相关问题:天平的准确度、起始组分的纯度分析、RGM的验证和RGM的定值问题。并参考国外标准提出了多元RGM不确定度评估中的2个重要观点:①多元RGM所标识的总不确定度不仅包括制备过程中可能产生的不确定度,还应包括验证、定值、运输和储存等过程中产生的所有不确定度;②在含有高浓度甲烷的多元RGM中,甲烷组分不能使用平衡值概念,否则会失去不确定度评估的意义。 展开更多

关键词 天然气 能量计量 多元标准气 不确定度 定值 天平准确度 纯度分析 验证

下载PDF 职称材料

显示触控系统人为因素适航符合性验证技术 被引量：6

4

作者 董磊 刘嘉琛 +2 位作者 赵长啸 党香俊 史春蕾 《中国安全科学学报》 CAS CSCD 北大核心 2021年第2期63-68,共6页

为解决传统人为因素适航符合性验证技术对先进驾驶舱显示触控系统设计的不适用性问题,首先,详细阐述显示触控系统的技术特点;然后,依据相关适航条款,确定显示触控系统在人为因素适航审定中需重点考虑的要素和审定计划的条理性方法;最后... 为解决传统人为因素适航符合性验证技术对先进驾驶舱显示触控系统设计的不适用性问题,首先,详细阐述显示触控系统的技术特点;然后,依据相关适航条款,确定显示触控系统在人为因素适航审定中需重点考虑的要素和审定计划的条理性方法;最后,结合符合性验证可能产生的问题,给出显示触控系统人为因素符合性验证要求及实现方法。结果表明:人为因素适航符合性验证技术能够在符合性验证方法的框架内,通过位置和可达性、功能和可靠性等6个方面的要求,实现显示触控系统的人为因素适航符合性验证。 展开更多

关键词 民机驾驶舱 触控屏 人为因素 适航审定 符合性验证

下载PDF 职称材料

自动飞行导引和控制系统适航审定技术

5

作者 章园媛 吴浩文 《科技导报》 CAS CSCD 北大核心 2023年第19期84-91,共8页

自动飞行导引和控制系统,其高度集成和日趋复杂的设计给民机型号项目的研制及适航审定带来挑战。分析了自动飞行导引和控制系统的适航文件体系,对相关咨询通告、设备标准及审定程序等适航文件进行归类并做详细解读,从研制和审查的角度... 自动飞行导引和控制系统,其高度集成和日趋复杂的设计给民机型号项目的研制及适航审定带来挑战。分析了自动飞行导引和控制系统的适航文件体系,对相关咨询通告、设备标准及审定程序等适航文件进行归类并做详细解读,从研制和审查的角度明确了系统设计需求、审定基础的确认原则,在此基础上梳理出自动飞行导引和控制系统应满足的适航条款、符合性验证方法以及相应的审定要素。研究适用的自动飞行导引和控制系统适航审定技术,为研制初期评估系统的适航符合性、制定审定计划以及降低后期审定风险提供帮助。 展开更多

关键词 自动飞行导引和控制 适航审定 符合性验证

原文传递

增材制造民机元件静力验证试验设计及实现 被引量：1

6

作者 宋欣 陈龙宝 +2 位作者 单梁 刘倩 胡震东 《哈尔滨理工大学学报》 CAS 北大核心 2022年第5期70-78,共9页

针对增材制造的结构拓扑优化民机元件需要满足CCAR-25-R4适航认证的要求,以民机结构上的鹅颈链为对象,根据实际工况建立了静力验证方案,确保了试验数据的准确性和可靠性,为建立分析/计算MC2方法提供了可靠性数据基础;选择最大主应变作... 针对增材制造的结构拓扑优化民机元件需要满足CCAR-25-R4适航认证的要求,以民机结构上的鹅颈链为对象,根据实际工况建立了静力验证方案,确保了试验数据的准确性和可靠性,为建立分析/计算MC2方法提供了可靠性数据基础;选择最大主应变作为试验数据与有限元分析结果的比对参数,结果表明:不同钛合金材料属性试验件的有限元分析结果与试验数据均值的误差均低于10%,在未获得准确的增材制造钛合金材料属性的前提下,采用各向同性、弹性模量E=110 GPa和泊松比ν=0.33进行有限元分析时,结果与试验数据偏差最小,为其它面向适航认证的增材制造小型民机元件静力验证试验方案的设计提供参考。 展开更多

关键词 增材制造 适航认证 有限元分析 静力验证 民机元件

下载PDF 职称材料

浅谈GMP认证中存在的问题 被引量：1

7

作者 杨晓晨 《时珍国医国药》 CAS CSCD 北大核心 2006年第1期138-139,共2页

GMP认证制度是国家对药品生产企业监督检验的一种手段,也是保证药品质量的一种科学、先进的管理方法。企业在GMP认证和实施的过程中,存在着与GMP要求不相符合的现象。人们对GMP的认识还有待于提高,我国的GMP认证管理工作应进一步加强。

关键词 GMP认证 软件 验证 实施 存在问题

下载PDF 职称材料

联锁系统应用软件的验证 被引量：2

8

作者 姚亚平 齐志华 +1 位作者 徐登科 张萍 《铁道通信信号》 2013年第4期1-4,7,共5页

联锁系统应用软件是独立于系统安全平台进行站场联锁逻辑运算的一种具有特殊用途的通用软件。主要介绍了联锁系统应用软件的开发生命周期,并在对比EN50128:2011和EN50128:2001的基础上明确了联锁系统应用软件验证工作的一般要求,详细阐... 联锁系统应用软件是独立于系统安全平台进行站场联锁逻辑运算的一种具有特殊用途的通用软件。主要介绍了联锁系统应用软件的开发生命周期,并在对比EN50128:2011和EN50128:2001的基础上明确了联锁系统应用软件验证工作的一般要求,详细阐述了依据EN50128:2011标准对联锁系统应用软件及其开发进行SIL4等级安全认证过程中的各项验证活动。总结出一套适合铁路信号安全相关软件的通用开发验证模式,为以后其他安全相关软件的验证活动提供宝贵的技术积累和经验。 展开更多

关键词 EN50128 2011 安全认证 验证 确认 联锁系统应用软件

下载PDF 职称材料

FCC认证管理概述 被引量：2

9

作者 赵建峰 李国庆 向青梅 《电信网技术》 2010年第5期54-58,共5页

对FCC的组织结构、技术要求、法规体系和认证程序进行了简要的介绍。

关键词 FCC 法规 测量程序 认证 自我宣告 自我验证

下载PDF 职称材料

移动自组网络部分证书鉴别技术

10

作者 张利银 况晓辉 +1 位作者 王家新 胡华平 《计算机工程》 CAS CSCD 北大核心 2004年第9期142-143,共2页

安全性是移动自组网络的基本需求，该文深入分析了移动自组网络基于门限机制的证书服务技术，提出了基于零知识证明的部分证书鉴别算法，有效地提高了证书服务的可用性。基于Windows平台的模拟试验验证了部分证书鉴别算法的作用。

关键词 网络安全 证书服务 门限加密 证书鉴别 移动自组网络

下载PDF 职称材料

显示和机组告警系统适航审定方法研究 被引量：1

11

作者 肖女娥 张博 +1 位作者 阎芳 王鹏 《电光与控制》 CSCD 北大核心 2020年第2期55-59,84,共6页

与多个机载系统存在任务交联的特点以及平视显示系统等新技术的应用,给显示和机组告警系统的适航审定带来挑战。分析显示和机组告警系统的适航文件体系,给出审定基础、符合性方法确定原则,以及与其他系统的符合性验证交联关系,并从实际... 与多个机载系统存在任务交联的特点以及平视显示系统等新技术的应用,给显示和机组告警系统的适航审定带来挑战。分析显示和机组告警系统的适航文件体系,给出审定基础、符合性方法确定原则,以及与其他系统的符合性验证交联关系,并从实际审查角度给出显示和机组告警系统的审定要素和评审要求。本研究可为民机机载显示和机组告警系统的适航审定与设计提供支持。 展开更多

关键词 适航审定 机载显示 机组告警 符合性验证

下载PDF 职称材料

电力行业数字认证系统的设计与实现 被引量：1

12

作者 翟丽冰 《山西电力》 2008年第A01期47-49,共3页

介绍了数字认证技术的基本原理及其在电力系统中的部署模式,以此为基础在应用系统与网络关键环节上实现高强度的身份认证、安全的数据传输以及可靠的行为审计。

关键词 数字证书 数字认证技术 数字签名

下载PDF 职称材料

可重用的IP认证平台的设计

13

作者 詹文法 张振 +1 位作者 林慧君 张溯 《微机发展》 2005年第1期61-64,共4页

随着SoC出现,出现了大量可重用的IP库。这些IP可能来自公司内部的不同部门,也有可能来自外部的IP供应商。一方面为了使IP用户可以在芯片设计中更好地使用一些可重用的IP块,另一方面IP供应商也需要对IP的可重用性进行估计,以便通过不断... 随着SoC出现,出现了大量可重用的IP库。这些IP可能来自公司内部的不同部门,也有可能来自外部的IP供应商。一方面为了使IP用户可以在芯片设计中更好地使用一些可重用的IP块,另一方面IP供应商也需要对IP的可重用性进行估计,以便通过不断改善设计方法学和设计技术最终能设计高可重用的IP块,因此需要对IP的可重用性进行评估,相应的就需要有一套完善的IP可重用性的评估系统。在分析了重用方法学手册和OpenMORE的基础上,讨论了可重用的IP认证平台的设计与开发,指出了已有系统的不足,提出了用数据库理论和使用VisualBasic6.0来实现,并进一步对系统设计中的ADO技术、树型目录结构等一些关键技术提出了实现方法。 展开更多

关键词 可重用性 认证平台 设计 系统芯片 验证

下载PDF 职称材料

欧美非自动衡器管理模式简介

14

作者 刘玉春 《衡器》 2011年第2期50-52,共3页

本文概要介绍了欧盟和美国现行的非自动衡器的管理模式,从侧面对欧美目前的衡器管理方法进行了描述,有益于衡器出口厂家和出口商了解目前欧美对衡器的管理模式。

关键词 非自动衡器 法规 型式认证 检定 市场监督

下载PDF 职称材料

LTE终端国际测试标准开发和认证规划

15

作者 曲岩 宋崇汶 《现代电信科技》 2010年第7期20-23,27,共5页

总结了LTE移动终端国际测试标准开发和认证规划的发展情况和过程,并精炼出普遍适用于任意无线接入移动终端的认证测试开展的模式。综合LTE目前FDD和TDD的发展形势,提出了开展TD-LTE终端认证测试面临的问题。

关键词 长期演进 测试标准 一种基于树形结构及表格组合表述法 认证 确认 验证

下载PDF 职称材料

水下通信网络中基于公钥加密体制的安全数据传输方法 被引量：6

16

作者 张杰 杜金华 +2 位作者 刘立 韩光洁 钱玉洁 《小型微型计算机系统》 CSCD 北大核心 2023年第8期1805-1811,共7页

针对水下通信网络的安全数据通信,根据水下节点、水下信道及水下通信模式的特性,提出一种基于公钥加密体制的多跳水下通信网络安全数据传输方法.该方法包括1)基于移动CA(Certification Authority)的公钥证书发放策略及2)基于空间验证的... 针对水下通信网络的安全数据通信,根据水下节点、水下信道及水下通信模式的特性,提出一种基于公钥加密体制的多跳水下通信网络安全数据传输方法.该方法包括1)基于移动CA(Certification Authority)的公钥证书发放策略及2)基于空间验证的公钥管理策略.首先,使水下移动节点作用于代理CA,遍历网络区域并通过水下光通信认证水下节点;随后,自水面的汇聚节点向下逐跳发放链式结构安全参数,使所有水下节点根据自身离汇聚节点的跳数,生成空间组密钥对;最终,水下节点利用水下声通信,通过基于公钥加密的机会式数据转发将数据发送至水面.提出方法利用可行的水下公钥证书发放模式及低通信成本公钥加密通信手段,试解决苛刻水下通信环境的公钥管理问题. 展开更多

关键词 水下通信网络 安全数据通信 公钥加密体制 公钥证书 空间验证

下载PDF 职称材料

RTCA DO-178B标准与相关国军标的对照分析 被引量：8

17

作者 陈绍宇 赵建军 《航空电子技术》 2009年第1期48-52,共5页

RTCA的DO-178B标准是国际认可的开发准则,将DO-178B与我国的国标进行了对照分析,给出了异同。

关键词 航电软件 适航当局 软件验证 可靠性 安全性 软件编码标准

下载PDF 职称材料

匈塞铁路贝旧段基础设施子系统TSI认证实践

18

作者 郅国强 《中国铁路》 北大核心 2024年第3期125-132,共8页

随着“一带一路”倡议实施,中国铁路“走出去”步伐不断加快。为保证我国铁路企业参与建设的匈塞铁路贝旧段项目顺利进行,需全面解读欧盟铁路互联互通技术规范(TSI)认证要求,包括通用、特定基本要求。铁路基础设施子系统TSI认证包括互通... 随着“一带一路”倡议实施,中国铁路“走出去”步伐不断加快。为保证我国铁路企业参与建设的匈塞铁路贝旧段项目顺利进行,需全面解读欧盟铁路互联互通技术规范(TSI)认证要求,包括通用、特定基本要求。铁路基础设施子系统TSI认证包括互通性(IC)部件认证、EC符合性验证、项目竣工认证3个部分,主要流程为:制定认证计划—准备认证申请—提交认证申请—技术评估—证据收集和分析—发布认证结果—认证后监督。通过匈塞铁路贝旧段基础设施子系统TSI认证实践,梳理了基础设施子系统的认证内容、流程和要点,可为我国铁路技术规范和合格评定体系完善提供参考,也可为我国铁路在国际市场的竞争提供有力支撑。 展开更多

关键词 匈塞铁路 欧盟铁路互联互通技术 基础设施子系统 TSI认证 EC符合性验证

下载PDF 职称材料

基于中国林产品出口企业视角的应对木材合法性要求策略评价及启示 被引量：5

19

作者 马爽 田明华 +2 位作者 李瑞达 魏僮 张宜智 《世界林业研究》 CSCD 北大核心 2020年第4期62-67,共6页

如何应对木材合法性要求是当前中国林产品出口企业面临的现实问题。文中从林产品出口企业视角出发,构建中国林产品出口企业应对合法性要求可选策略的综合评价模型,基于企业实地调研数据,从市场利益、非市场利益、成本投入3个方面对现阶... 如何应对木材合法性要求是当前中国林产品出口企业面临的现实问题。文中从林产品出口企业视角出发,构建中国林产品出口企业应对合法性要求可选策略的综合评价模型,基于企业实地调研数据,从市场利益、非市场利益、成本投入3个方面对现阶段市场认可度比较高的5种策略进行综合评价。结果显示:中国森林认证体系(CFCC)森林认证得分最高,但与其他策略的分差并不明显,企业可结合自身情况选择适合的应对策略。据此对CFCC和中国木材合法性验证体系(CTLVS)建设提出改进建议。 展开更多

关键词 林产品出口企业 森林认证 木材合法性验证 层次分析法 中国

原文传递

基于欧盟MID认证要求的电能表检定装置测量结果不确定度评定 被引量：5

20

作者 杨梅 张春梅 +3 位作者 李悠 李积峰 刘建波 贾茹 《电测与仪表》 北大核心 2016年第19期62-66,共5页

根据欧盟MID认证中对电能表检定装置的测量结果不确定度评定要求,结合OIML R46国际建议,详细阐述分析起动电流的不确定度来源,给出起动电流时典型的不确定度评定实例,说明MID认证对不确定度评定要求的重点和分析方法。

关键词 欧盟MID认证 电能表检定装置 测量结果不确定度 分析方法 DSP ARM

下载PDF 职称材料