分级的软件可信评估模型研究及应用

针对软件的可信任问题,展开对软件可信程度的度量和评估的研究,提出了软件质量模型及分级的可信软件评估模型,将软件的信任程度分为存在级、不可信级、可用级、证实级、推荐级、应用级等6个可信级别。基于决策树给出了可信软件等级的评估过程,并将其应用于可信构件平台中。经过测试,系统运行稳定,对高可信软件的开发和重用具有引导作用。     

基于遗传粒子群优化的嵌入式系统软硬件划分算法

针对单处理器嵌入式系统软硬件划分问题,采用带权有向无环图进行建模,并将之约简,进而转换为多约束条件的0/1背包问题求解.由于基本粒子群优化算法无法求解0/1背包问题,故将遗传算法中的交叉、变异思想引入粒子群优化算法,提出了求解离散组合优化问题的遗传粒子群优化(GPSO)算法,采用两点交叉算子和非均匀变异算子对粒子的位置和速度更新方法进行了重新定义.实验结果表明,采用文中算法能有效地解决软硬件划分问题,具有良好的全局搜索能力,其寻优能力和执行时间优于遗传算法和模拟退火算法.     

聚乙烯吡咯烷酮和葡萄糖在冰冻干燥保存人红细胞中的效果研究

冰冻干燥（冻干）保存人红细胞在临床输血和战伤救治方面具有重要意义。一些研究表明糖类能提高细胞膜的耐干燥性。试验采用葡萄糖和聚乙烯吡咯烷酮（PVP）作为主要保护剂进行红细胞的冻干保存研究。首先对影响红细胞葡萄糖吸收率的因素,如浓度、孵育温度和时间进行了优化筛选,而后将负载葡萄糖的红细胞与保护液混合并进行冻干保存。结果表明;红细胞对葡萄糖的吸收率依赖于外源葡萄糖浓度、孵育温度以及时间的变化。另外,随着PVP浓度的上升,保护液的结晶起始温度也随之下降,但过度的玻璃化不利于红细胞的冰冻干燥。试验冻干保存的红细胞再水化后的游离血红蛋白浓度低于1g／L。总之,采用PVP和葡萄糖冻干保存红细胞是可行的,但是如何降低PVP对细胞的渗透压伤害是今后研究的重点。     

桑植-石门复向斜及邻区古流体特征与油气保存意义

通过对桑植-石门复向斜及相邻地区震旦系-三叠系方解石脉和围岩的碳氧同位素、锶同位素对比,结合方解石脉中流体包裹体测试分析,研究了桑植-石门地区古流体特征及其油气保存意义。下古生界围岩⁸⁷Sr/⁸⁶Sr部分高于同期海水,也高于方解石脉,表明围岩在裂隙形成之前受到高⁸⁷Sr/⁸⁶Sr流体改造。桑植-石门复向斜北翼温泉附近的方解石脉体具高⁸⁷Sr/⁸⁶Sr、低δ¹³C、低δ¹⁸O特征,显示大气水参与了方解石脉沉淀,逆断层可能在形成之初就不具封闭性。流体包裹体盐度和均一温度指示,桑植-石门地区上寒武统娄山关组上覆盖层残余厚度小于3 km,不具封闭能力;中寒武统孔王溪组方解石脉流体包裹体高盐度表明膏盐盖层在研究区广泛分布,在埋深超过2 km条件下对下伏地层具有较好的封盖能力。桑植-石门复向斜田二垭、向家垭、车坊背斜圈闭、桥头、中坪隐伏圈闭保存条件较好,除田二垭背斜外,可以同时将震旦系灯影组、寒武系清虚洞组白云岩作为勘探目的层。     

雪峰山西侧秭归—五峰段海相层系油气地质条件研究

雪峰山西侧地区秭归—五峰段海相层系发育4套优质烃源岩,包括下震旦统陡山沱组、下寒武统水井沱组、上奥陶统五峰组—下志留统龙马溪组和下二叠统栖霞组—茅口组,烃源岩有机碳丰度介于0.21%～9.77%之间,其中水井沱组烃源岩有机碳丰度大于等于1.99%,最大为9.77%,是研究区最好的烃源岩.震旦系灯影组蛤蟆井段储层的孔隙度和渗透率均相对较高,平均值分别为8.23%和3.66×10^-3μm²,是研究区内最好的储集层.根据研究区震旦系—中三叠统海相层系生、储、盖层的发育情况,可将其划分为3个海相层系成藏组合类型(下组合2个,上组合1个).震旦系—下寒武统石牌组油气组合在研究区内保存完整,并可形成下生上储型和上生下储型2个次级生储组合类型;震旦系灯影组白云岩储集层具有一定的油气勘探前景.     

雪峰山西侧地区寒武系娄山关组碳酸盐岩储层特征研究

通过对雪峰山西侧地区寒武系娄山关组碳酸盐岩储集岩的调查与研究,认为该区储集岩类型主要为鲕粒滩型与白云岩型2类;储集空间类型为晶间孔隙、溶蚀孔隙和裂缝,孔隙连通性较好.在湖北鹤峰、湖南桑植以及张家界一带,娄山关组亮晶鲕粒白云岩最大孔隙半径大于200μm,平均孔隙半径为9.61μm;亮晶内碎屑白云岩孔隙半径在100～200μm之间,其百分含量达到33%.喉道宽度最大值为81.43μm,平均值为21.28μm.其孔隙度最大值为10.3%,平均值为3.4%,渗透率最大值为18.6×10^-3μm²,平均值为1.4×10^-3μm²,孔渗特征相对较好,可以作为Ⅱ型储集层.寒武系娄山关组储集层段主要分布于慈利-保靖断裂以西的潮坪相区,具有一定的油气勘探前景.     

UHPC-齿槽-灌浆套筒连接装配式RC梁抗弯承载力研究

装配式混凝土结构因其施工周期短、质量等级高、环境负载低等优点,近些年已经在世界范围得到了广泛应用,但如何提升预制构件间的连接性能和装配式结构的整体性一直是国内外学者研究的热点问题.鉴于此,本文结合湿式连接优异的连接性能和超高性能混凝土(UHPC)高强、高韧、与普通混凝土粘结性能优等特点,提出了一种UHPC-齿槽-灌浆套...     

电动船三元锂电池舱与磷酸铁锂电池舱灭火对比试验研究

为研究三元锂电池电动船的消防安全,搭建了一个船舶锂电池舱火灾试验平台,通过模拟舱室火灾场景,开展了一系列大尺寸灭火试验,从灭火现象、冷却效果及复燃间隔时间等方面对比分析了4种船用固定式灭火系统对三元锂电池和磷酸铁锂电池初期火灾的抑制效果.试验表明,压力水雾灭火系统对两种电池火体现出较好的抑制和冷却效果,5、10 L/(...     

基于集群智能粒子滤波的弹道导弹跟踪

针对弹道跟踪问题,提出人工鱼群算法优化粒子滤波的方法.将集群智能思想引进粒子滤波,解决其粒子权值退化及粒子需求量大的缺点.首先,阐述了粒子滤波原理及其存在的一些问题.然后将人工鱼群算法融合进粒子滤波,使粒子群体向高似然方向移动,从而克服粒子权值退化问题.仿真结果说明该算法中的滤波算法的有效性.     

基于结构光的钢轨表面缺陷高对比度成像技术

针对钢轨反光率差异导致的缺陷成像对比度差及亮度极不均匀问题，提出一种基于结构光激励和无监督学习的软硬件协同感知方法。首先设计周期线性条纹光源激励，利用结构光从硬件端增强缺陷成像的对比度。为综合高对比度的局部缺陷信息并克服全局亮度失衡，进一步设计无监督深度学习模型融合各子图，生成亮度均匀的高对比度钢轨表面缺陷成像。实验结果表明：该方法硬件系统结构简单，成本低，所设计的多图融合模型效果良好，同时具备应对局部信息缺失的鲁棒性，解决了钢轨表面反射差异导致缺陷成像对比度差的问题。