基于AADL的综合航电分区系统可调度性判定

综合模块化航电(IMA)系统中的分区系统提高了其可靠性和安全性,但在系统设计和实现过程中,应采用各种分析和验证方法确保系统的时间需求得到满足。为此,针对符合ARINC653规范的IMA系统,根据分区系统层级调度的特性,提出一种基于仿真的分区任务集可调度性判定方法。借助Cheddar工具及其自定义调度策略功能,使架构分析和设计语言(AADL)具有对分区系统进行建模的能力,并利用该工具对AADL模型进行仿真以判定系统的可调度性。实例分析结果表明,该方法能自动、准确、快速地进行可调度性判定,并以甘特图的方式绘制任务调度过程,得到直观、详细的结果。     

北京五城区零售鲜切果蔬中重要食源性致病菌污染与耐药性研究

目的 为探究鲜切果蔬中食源性致病菌污染及耐药现状,采集北京五城区零售鲜切果蔬样品进行重要食源性致病菌检测及耐药性研究。方法 本研究采用食品微生物检验国家标准方法,分别检测金黄色葡萄球菌、沙门氏菌、单核细胞增生李斯特氏菌和大肠埃希氏菌,对目标菌分离株进行耐药性测定,并通过荧光定量聚合酶链式反应(PCR)方法筛查致泻大肠埃希氏菌。结果 北京市五城区零售326份鲜切果蔬样品中,金黄色葡萄球菌、单核细胞增生李斯特氏菌、沙门氏菌、大肠埃希氏菌和肠道集聚性大肠埃希氏菌的污染率分别为15.34%、1.84%、0%、 9.51%和1.23%。本研究分离所得50株金黄色葡萄球菌主要对青霉素和苯唑西林耐药,耐药率分别是90.00%和48.00%,31株大肠埃希氏菌主要对复方新诺明和氨苄西林耐药,耐药率为67.74％和64.50％,4株肠道集聚性大肠埃希氏菌均呈现多重耐药现象,而6株单核细胞增生李斯特氏菌对10种受试抗生素全部敏感。结论 本研究初步掌握了北京五城区零 售鲜切果蔬中重要食源性致病菌污染和耐药现状,可为制定食源性疾病防控策略提供科学的实验依据。     

模型驱动的嵌入式系统设计安全性验证方法研究

基于模型的嵌入式系统安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性验证方法,具体包括:构建了具备SysML/MARTE扩展语义的状态机元模型,以及安全性建模与分析语言AltaRica的语义模型GTS的元模型;然后建立了从SysML/MARTE状态机模型分别到时间自动机模型以及AltaRica模型的语义映射模型转换规则,并基于AMMA平台和时间自动机验证工具UPPAAL设计实现了对SysML/MARTE状态机的模型转换与系统安全性形式化验证的框架。最后给出了一个飞机着陆控制系统设计模型的安全性验证实例分析。     

造纸法再造烟叶厚度测定方法的研究

文章对比不同层积数造纸法再造烟叶的厚度测定方法，细化测定的具体参数，找出适合造纸法再造烟叶厚度测定的实验方法，以国内几个造纸法再造烟叶为样品，测定不同的层积厚度，对比不同层积厚度测定值的RSD，研究表明：采用层数多的厚度测定的RSD比层数少的厚度测定的RSD更小，层积厚度测定比单层厚度测定实验数据更稳定，平行性更好。通过方差分析及多重比较的结果，综合RSD分析及试验的劳动量和成本多方面情况，采用5层来测定厚度更合理、科学、高效。该研究为造纸法再造烟叶厚度研究提供了可靠方法。     

LNG水下泄漏引起快速相变的数值模拟与结果分析

为了定量预测快速相变的爆炸强度,建立了一种欧拉-欧拉双流体多相流模型与传热模型相互耦合的数值模型,通过对比Clarke H的快速相变实验数据验证了模型的可靠性和正确性。通过数值计算,得出快速相变在水上水下的动态过程、局部超压情况以及甲烷质量分数在水平方向及竖直方向的分布。结果表明,快速相变本质上是LNG与水之间强制对流、膜态沸腾、爆发沸腾和核态沸腾的快速转换过程;快速相变持续时间极短约1秒;在典型的LNG泄漏情形下,局部超压最大可达97kPa,可造成砖墙倒塌,严重损伤人的内脏甚至引起死亡;快速相变不仅有超压危害,在下游或下风向区域还可能进一步引起火灾和窒息等潜在危害。研究结果可为LNG水上运输安全防护提供理论依据。     

鲜切果蔬中食源性致病菌污染研究进展

鲜切果蔬是一种新型果蔬加工产品,通过分级、整理、清洗、切分、去皮（核）、修整、保鲜和包装等加工程序制成的即食食品,有“新鲜、营养、方便、安全”的特点。然而在加工过程中,机械加工手段易使鲜切果蔬受食源性致病菌侵染,导致食源性疾病的暴发,制约了鲜切产业的发展。本文旨在调查研究即食鲜切果蔬中主要引起食源性疾病的五种食源性致病菌,即：金黄色葡萄球菌、沙门氏菌、单核细胞增生性李斯特菌、大肠埃希菌、志贺氏菌属为目标菌的污染情况,对即食鲜切果蔬污染途径做出分析并提出防控措施建议,以保障鲜切果蔬食品安全,降低食源性致病菌的健康风险。     

国内外LNG内河运输安全标准现状及展望

LNG凭借其经济性与环保性,目前已成为各国未来水运行业绿色可持续发展首选的清洁燃料。为此,调研了国内外LNG内河运输相关标准规范及LNG近海航运和内河运输的标准法规、规范性指南和相关论文,归纳总结后得出认识:LNG内河运输安全标准主要涵盖了LNG船舶、船与船过驳、船岸交接、岸上设施、水上运输等5个技术领域,其重点是LNG加注码头和LNG加注船的设计标准,以及LNG船舶内河输运规则和LNG燃料动力船加注标准的制订。对比分析国内外安全标准后认为:①安全风险评估是对LNG船舶装卸过程和航道运输中可能出现的危险性及安全控制定量评价的科学方法,也是标准制订的发展方向;②目前我国的LNG内河运输安全标准体系尚不完善,主要缺乏LNG作为船用燃料的质量要求、加注作业的定义和加注操作规范、加注安全控制区域和船员专业培训要求等。整理归纳核心标准的主要内容和应用现状,对推动我国LNG在内河运输上的应用和相关标准的制修订有参考意义。     

模型驱动的安全关键系统重配置信息验证方法

近年来,在以综合模块化航电系统（integrated modular avionics,IMA）为代表的一类安全关键应用中,确保系统重配置信息的正确性成为保证系统安全可靠运行的一个重要问题。提出了一种模型驱动架构下符合ARINC653规范的IMA系统配置信息的建模转换与验证方法。针对多个实时应用在IMA平台上以时间/空间多分区形式运行的系统特征,建立了从系统配置信息的核心元素（包括模块、分区、内存、进程、通信等）到MARTE模型元素的语义映射规则,设计了基于模型驱动架构的系统配置信息模型转换的方法,并给出了一种对模型转换构造得到的系统配置信息MARTE模型进行形式化验证的框架。最后,通过一个实例分析说明了此方法对验证重配置后系统配置信息的有效性。     

半封闭空间LNG泄漏安全性数值模拟研究

为了定量评价液化天然气(LNG)加注船上"冷箱"内发生泄漏后的风险,利用计算流体力学软件Fluent对"冷箱"在有、无强制通风条件下发生LNG泄漏后扩散和爆燃的过程进行了模拟研究。结果表明,在无强制通风时,"冷箱"内发生连续泄漏后,箱内可燃浓度区域随时间先变大后减小,在泄漏后60s、90s、120s、150s分别点燃时,达到的最大超压依次为29kPa、89kPa、76kPa、70kPa,会对箱体和人员造成严重伤害;在有强制通风时,泄漏后箱内甲烷浓度场在约100s后达到稳定,在泄漏后60s、90s、120s、150s分别点燃时,达到的最大超压依次为1.8kPa、1.9kPa、3.0kPa、3.1kPa,超压损害很小,但在爆燃后继续燃烧,会对箱体及内部设备造成高温热辐射损害。计算方法和结果可应用于"冷箱"等半封闭空间泄压防爆的安全设计。     

造纸法再造烟叶抗张强度测定方法的研究

本文通过比对造纸法再造烟叶抗张强度的不同测试条件(夹距—拉伸速率),为探索一种适合造纸法再造烟叶抗张强度的测定方法.如果未切分样品,分别沿纸幅的纵、横方向分别制备及测定样品,即夹距100mm±1mm—拉伸速率50mm/min±0.5mm/min(参照纸和纸板的标准).如果已分切样品,则设置4个处理,即“夹距20mm—拉伸速率50mm/min”、“夹距20mm—拉伸速率200mm/min”、“夹距30mm—拉伸速率50mm/min”、“夹距30mm—拉伸速率200mm/min”为测定条件,结果显示,“夹距20mm—拉伸速率200mm/min”处理的抗张强度测定结果的RSD显著小于其它三个处理,说明“夹距20mm—拉伸速率200mm/min”处理的试验数据更稳定.该研完为造纸法再造烟叶抗张强度研究提供了可靠方法.