软件可信评估研究综述:标准、模型与工具

安全攸关软件的可信性关乎生命安全和财产保全,因此,分析评价软件可信性是否符合用户的预期(即软件可信评估)至关重要.软件可信评估从主观和客观两个方面度量软件的质量,对软件生产和应用有着重要的意义.综述了可信评估管理中涉及到的标准、模型和工具,而非关注软件度量本身.首先分析对比了软件可信性、可信评估的定义,并在研究了与可信性密切相关的软件质量的联系与区别之后,从相关国际标准、评估涉及的模型(包括质量属性模型、证据模型、分级规范等)以及软件工具支持等方面综述了软件可信评估研究工作.并且区分了这些方面中领域相关、领域无关的不同之处.目前软件可信评估已取得了一定的理论成果,并开发了若干工具辅助进行可信评估,但仍需在通用性、可伸缩性等方面有所加强.     

失谐叶盘结构振动响应局部化实验研究

基于作者提出的预测失谐叶盘结构最大失谐幅值放大系数及最坏失谐模式的方法,利用搭建的行波激励实验系统,针对典型的整体叶盘结构模型试件进行了失谐振动响应局部化实验。首先通过有限元仿真确定失谐叶盘振动响应局部化实验所需的最坏失谐模式,然后经过数据采集与后处理得到行波激励下失谐叶盘结构的强迫响应,通过实验验证了失谐跳变-强迫响应局部化现象,实验结果与理论分析取得较好一致性。     

基于无线传感器网络的跨层拥塞控制协议

无线传感器网络(WSN)中由拥塞引起的大量分组重传以及重传多次失败后的分组丢弃会导致较长的时延、较高的分组丢失率和较多的能量消耗.为了准确探测和控制网络拥塞,提出了一种基于跨层设计的拥塞控制协议,即上行拥塞控制(UCC)协议.该协议利用节点在媒质接人控制(MAC)层中未占用的缓冲器区间大小和所预测的通信流量作为该节点的...     

惰气熔融-红外/热导法同时测定锆合金中氧和氮

测定锆合金中氧和氮的方法多为单独测定,操作繁琐,故实验提出了锆合金中氧和氮同时测定的方法。称取0.06g锆合金样品,放入镍篮,投入脱气后的石墨套坩埚中,控制分析功率为5.0kW,氧和氮积分时间分别为40s和60s,以锆合金标样AR640建立校准曲线,实现了惰气熔融-红外/热导法对锆合金中氧和氮含量的同时测定。氧和氮的方法测定下限分别为0.000 7%和0.000 2%。采用实验方法对2个锆合金实际样品中氧和氮进行测定,氧和氮测定结果的相对标准偏差(RSD,n=11)分别为1.5%~4.4%和7.6%~8.6%。按照实验方法测定锆合金标样BCR-276中氧和氮,测定结果与认定值基本一致。     

回收聚乙烯醇缩丁醛(PVB)/ABS共混体系的制备及力学性能

采用转矩流变仪,通过共混方法制备了回收PVB/ABS合金、增容PVB/ABS合金和纳米CaCO3填充改性PVB/ABS合金,研究了PVB对ABS、增容PVB/ABS合金和纳米CaCO3对增容PVB/ABS合金力学性能的影响.结果表明,加入ABS-g-MAH和SAN-g-EPDM可改善PVB/ABS相容性和力学性能,ABS-g-MAH增容共混物力学性能优于SAN-g-EPDM增容体系,ABS-g-MAH加入量为5%～7%,纳米CaCO3添加量为5%时,PVB/ABS共混体系具有最优的综合力学性能.     

OctoMap: an efficient probabilistic 3D mapping framework based on octrees

Three-dimensional models provide a volumetric representation of space which is important for a variety of robotic applications including flying robots and robots that are equipped with manipulators. In this paper, we present an open-source framework to generate volumetric 3D environment models. Our mapping approach is based on octrees and uses probabilistic occupancy estimation. It explicitly represents not only occupied space, but also free and unknown areas. Furthermore, we propose an octree map compression method that keeps the 3D models compact. Our framework is available as an open-source C++ library and has already been successfully applied in several robotics projects. We present a series of experimental results carried out with real robots and on publicly available real-world datasets. The results demonstrate that our approach is able to update the representation efficiently and models the data consistently while keeping the memory requirement at a minimum.     

一维缺陷光子晶体多个禁带中的窄带缺陷模

用特征矩阵法研究了一维缺陷光子晶体的透射谱。结果发现:在一维缺陷光子晶体的透射谱中的多个禁带内都有窄带缺陷模,窄带缺陷模的波长越大,其宽度越大;当入射角增大后,波长越长的窄带缺陷模的强度变化越小,位置向短波方向移动越多,且S偏振光与P偏振光的窄带缺陷模的分离越大;增大一维缺陷光子晶体中周期性介质的厚度,窄带缺陷模的波长和移动的范围都增大。本研究对一维缺陷光子晶体的窄带缺陷模的选择使用具有重要意义。     

2017—2019年郴州市食源性疾病主动监测病原学特征及耐药分析

目的 了解郴州市食源性疾病的病原学特征和流行规律,为食源性疾病预防控制措施提供科学依据。方法 收集2017—2019年郴州市2家哨点医院主动监测的病例信息、粪便或肛拭子标本,依据《国家食源性疾病监测工作手册》中的方法对标本开展病原学检验、病原体分型以及药敏试验。结果 采集腹泻病例标本825份,病原体总检出率为30.18%（249/825）,其中沙门菌16.24%（134/825）、诺如病毒11.76%（97/825）、致泻大肠埃希菌3.52%（29/825）、副溶血性弧菌0.73%（6/825）、志贺菌0.12%（1/825）;第二、第三季度细菌检出率高,第一、第四季度病毒检出率高;不同年龄段病原体检出率以2～6岁年龄段最高（40.79%,31/76）;可疑暴露食品主要为乳及乳制品、粮食类及其制品和水果类及其制品;检出的沙门菌中以鼠伤寒沙门菌占比最高（74.63%,100/134）,致泻大肠埃希菌中以肠黏附型（EAEC）和产肠毒素型（ETEC）占比最高（34.48%,10/29）,诺如病毒以GⅡ型为主（85.57%,83/97）;沙门菌对四环素（TET）耐药率最高达88.71%（110/124）,沙门菌多重耐药率达85.48%（106/124）;致泻大肠埃希菌对氨苄西林（AMP）耐药率较高（79.31%,23/29）,致泻大肠埃希菌多重耐药率为62.07%（18/29）。结论 郴州市食源性疾病腹泻病例的主要病原体为沙门菌和诺如病毒,沙门菌和致泻大肠埃希菌耐药严重,应针对性地开展食品安全监管,强化抗生素耐药监测,严防抗生素滥用。     

基于Intel 80321的RAID5系统性能优化

结合磁盘存储阵列的应用，实现了基于Intel 80321 I/O处理器的RAID系统。该文利用了I/O处理器应用加速单元的硬件特性，在软件方面用高效读、写高速缓存的管理策略，实现了RAID5系统性能的优化，实际运行结果表明，该性能优化能达到预期效果。     

用红外测温技术测量铸件浇铸过程中的表面温度

利用红外测温技术并结合导热与对流耦合反问题求解,给出了一种根据铸件浇铸过程表面温度红外监测情况反推铸件凝固温度的方法.经过数值计算验证,该方法可对铸件浇铸过程中的表面温度给出高精度的定量检测结果.实际测试结果表明,该方法具有可行性.另外,通过编制简单、可行的程序并输入不同铸件的具体特征参数,可以方便、即时地反推出不同铸件浇铸过程中的表面温度.因此,该方法可用于指导铸件浇铸的生产实践.