嵌入式多核操作系统的形式化建模与验证

在安全关键系统中,核心基础软件的正确性尤其重要。任何的错误都可能导致整体系统失效,带来严重的后果,同时,安全关键软件要通过高等级国际安全认证标准,则必须使用形式化方法进行设计、建模和验证。调研嵌入式操作系统、编译器、文件系统、机载网络/总线的形式化验证案例,在此基础之上引出嵌入式多核操作系统形式化的问题;对嵌入式多核操作系统的时间确定性和功能正确性属性进行形式化建模和验证;并对全文进行总结。     

UWB与GNSS结合的室内外一体化定位系统设计

针对电力北斗安全应用、自动驾驶导航等应用场景对室内外一体化无缝定位的迫切需求,设计了一种将UWB与GNSS结合的一体化无缝定位系统.通过将UWB标签与小型化GNSS模块集成到手持智能设备上形成一体化定位终端,服务器软件对卫导结果与超宽带定位结果进行融合,输出连续定位结果.实验结果表明,该系统可以实现人员的室内外一体化无...     

隐私保护自我效能对App用户隐私安全保护行为的影响研究

在隐私侵犯事件频发的情况下,研究如何提高App用户运用现有能力应对隐私侵犯,对提高用户隐私保护意识,强化企业隐私保护服务具有重要现实意义。基于保护动机理论与控制代理理论探究隐私保护自我效能对用户隐私安全保护行为的影响机理,通过问卷调查收集数据,采用结构方程模型进行实证分析。结果表明,内部隐私保护自我效能对隐私保护机制(隐私设置、隐私声明和政府监管)的感知有效性产生正向影响,外部隐私保护自我效能对隐私声明和政府监管的感知有效性产生正向影响,隐私设置和政府监管的感知有效性对用户隐私安全保护行为产生正向影响。     

修理或改装数据的技术评估

大型民用运输类航空器在商业运行中,对维护或改装等工作所依据的技术数据变更进行技术评估,例如当航空承运人执行与制造商颁发的各类持续适航文件或服务文件中数据不同的标准和操作时,如何高效地确保这些技术变更满足适用的适航标准和程序,非常值得研究。美国联邦航空管理局(FAA)飞机认证和飞行标准服务部门共同开发了咨询通告AC 120-77 MAINTENANCE AND ALTERATION DATA,其提供了一种可以实施但并不唯一的方法,该AC不是强制性的,也不是法规。结合AC 120-77以及行业实践,讨论一套方法,使航空公司能够利用可靠的依据,安全并且更加高效地确保所执行的维护、变更或继续使用的状态符合适用的法规和现有政策,能够为日常运行中飞机维修技术方案的制定和工程决策提供安全并且更加高效的技术保障。     

基于单代号网络的银行家算法

通过对银行家算法的分析,提出单代号网络的进程安全状态序列的改进算法-基于单代号网络的银行家算法,并通过具体的示例实现此算法。     

基于云贝叶斯网络的运输飞机超轮速风险评估

起飞超轮速严重威胁飞行安全,为了有效评估运输飞机起飞时在不确定性因素影响下的超轮速风险水平,提出一种基于云模型和贝叶斯网络的评估模型。选取抬轮速度、总重、低压转子转速、抬轮率、抬轮时机、升降舵控制量、风的分量、总温8个指标,建立超轮速风险指标体系;运用基于启发式高斯云变换算法和正向高斯云算法的云模型,实现超轮速风险等级软划分和指标离散化,并确定各指标的先验概率;构建超轮速风险的贝叶斯网络,基于所建网络和节点信息计算节点后验概率,通过网络反向诊断得到超轮速的主要诱因。结合实际运行数据进行仿真验证,结果表明：评估结果符合实际情况,验证了模型的有效性。研究结果可为超轮速事件分析、民航运行安全风险管理提供理论依据。     

美国航天飞机第122次飞行

□□美国东部时间2008年3月11日02:28,美国奋进号航天飞机从佛罗里达州肯尼迪航天中心顺利升空,执行STS-123飞行任务.完成任务后,它在3月26日安全返回地球.这是航天飞机122次飞行中第30次夜间发射,也是自2003年哥伦比亚号失事后第2次夜间发射(第1次是在2006年),还是2008年计划实施的美国航天飞机6次"国际空间站"建造飞行任务中的第2次.截至2010年年底,航天飞机还要执行12次发射任务.     

电子商务的安全模型研究

本文在分析目前电子商务面临的安全威胁和现有局限性的基础上,系统地研究了电子商务的安全需求、安全基础、安全机制、安全服务,提出了一个电子商务的安全模型.讨论了其构成要素之间的相互关系.     

基于HFACS模型的试验机试飞人为因素分析研究

试验机试飞人因差错事件具有致因因素种类繁多、模糊性强的特点,难以找寻影响其发生的显性因素和隐性因素。利用HFACS模型,结合试验机试飞的特点,建立适用于试验机试飞的人因差错事件分析的流程方法——试验机试飞专业性人为因素分析框架,对人因差错事件进行分析,可以准确地挖掘影响人因差错事件发生的核心致因因素,对于减少和预防试验机试飞人因差错事件的发生具有积极意义。