核能装备安全控制代码自动生成软件研发与应用的构想与成果展望

目前,核能装备等安全关键系统中软件的作用越来越重要,对系统的安全稳定运行具有至关重要的影响。安全关键软件规模的增长和复杂度的增加给设计和开发高可信的软件带来了新的挑战,亟需新的软件开发和验证方法与模式。针对此需求,本文围绕核能装备安全控制代码自动生成软件研究面临的三大关键科学问题,分别开展一个基础理论、七大关键技术及一套原型系统的研究。通过核能安全控制代码自动生成软件总体设计集成与评估、核能安全控制与交互系统软件建模技术、核能安全控制系统模型分析与验证技术、核能安全控制系统可信软件代码自动生成技术等方面的研究,突破核能装备安全控制代码自动生成软件在建模、代码生成和测试验证面临的系统性技术瓶颈,建立起新的安全关键软件开发和验证方法与模式。通过可信安全控制代码自动生成软件工程化应用与认证技术研究,构建一个核能装备安全控制代码自动生成的原型系统,并在核能、汽车等领域对研究成果进行验证。通过上述研究实现以下5个方面创新:一是形式化方法与模型驱动开发融合理论,用确定的数学理论保证模型的高可信;二是状态机扩展同步数据流语言形式化定义方法,建立适用于核能、航空、汽车等场景的软件建模方法;三是基于交互式定理证明的可信代码生成器构造方法,形成经过形式化验证的可信代码生成器;四是数据驱动的测试用例智能生成方法,实现测试验证的自动化;五是一套面向核能装备控制软件的一体化研发平台,构建完整的开发和验证工具链。本文旨在以形式化和模型驱动方法为基础,对安全关键软件的建模、模型验证、代码生成、测试验证等方面进行系统性研究,以形成高可信的安全关键软件开发和验证新方法。研究成果对核能等领域安全关键软件开发相关工业软件的科学研究、技术研发、产业发展等具有十分重要的理论意义和实际应用价值。

新发糖尿病患者胰腺癌筛查

胰腺癌具有高度恶性,而在新发糖尿病人群中进行胰腺癌筛查有望降低散发胰腺癌患者的死亡率。本文就糖尿病与胰腺癌的双向因果机制、早期发现胰腺癌的策略以及筛查方式等方面进行综述,为新发糖尿病患者胰腺癌的筛查提供理论参考依据。

副猪格拉瑟菌5型细胞致死性膨胀毒素CdtB破坏猪呼吸道上皮屏障的机制

旨在探究副猪格拉瑟菌(Glaesserella parasuis,GPS)突破猪呼吸道上皮屏障引起系统性感染的机制。通过超速离心和密度梯度离心提取副猪格拉瑟菌外膜囊泡(outer membrane vesicles, OMVs),OMVs经SDS-PAGE显示,蛋白质条带分布在55~100 ku,经透射电子显微镜(TEM)观察,OMVs的粒径在100~200 nm,纳米粒子直径分析(NTA)结果显示,样品在100~200 nm处的粒子数目最多。进而用制备的HbpA及OmpP2多克隆抗体对OMVs及不含OMVs的细菌上清进行Western blot验证,证实所提取的样品为外膜囊泡,且进一步结果证明细胞致死性膨胀毒素(CDT)在GPS培养物中主要以OMVs的形式存在。用OMVs或CdtB处理猪气管上皮细胞(swine tracheal epithelial cells, STEC)36 h,检测STEC中cleaved-caspase3、ZO-1和Occludin的蛋白表达水平,并用FITC-葡聚糖(FD-4)检测STEC单层细胞的细胞旁通透性。结果发现,OMVs与CdtB处理后凋亡相关蛋白cleaved-caspase3表达水平升高,ZO-1和Occludin的表达水平降低,FD-4渗透率升高,同时,乳酸脱氢酶(LDH)细胞毒性检测试验发现,当CdtB与STEC单层细胞共孵育24 h、OMVs与STEC单层细胞共孵育36 h后,STEC存活率显著降低。而Pifithrin-α预处理STEC可抑制OMVs和CdtB引起的细胞凋亡和屏障通透性的增加。另外,用免疫磁珠捕获的方法去除OMVs中的CdtB(OMVs-ΔCdtB),OMVs-ΔCdtB处理STEC 36 h后cleaved-caspase3、ZO-1、Occludin表达水平与对照组相比无显著差异。综上,成功提取并纯化GPS OMVs,且试验证明GPS可通过OMVs转运CdtB诱导STEC凋亡和屏障损伤,为副猪格拉瑟菌突破呼吸道上皮屏障的机制提供新思路。

Field Efficiency Trial of Microbial Fertilizer against Eggplant Verticillium Wilt

The control effect of microbial fertilizer on eggplant verticillium wilt was studied through investigation of disease index and diseased plant rate. The reiults showed that the disease index and diseased plant rate of eggplant verticillium wilt were the lowest in the plots with substrate treatment and root-irrigation treatnent. The control effects in the plots with substrate treatment were higher than those in the plots with only root irrigation treatment. Moreover, higher concentration of microbial fertilizer resulted in better control effect and higher yield. Thus, the microbial fertilizer had a broad application prospect.

副猪嗜血杆菌间接ELISA抗体检测试剂盒的研制与应用

【背景】副猪嗜血杆菌(Haemophilus parasuis,HPS)是猪的上呼吸道病原菌,引起格拉瑟氏病,主要引起断奶前后和保育阶段的猪发病,通常见于5—8周龄的青年猪,发病率一般为10%—15%。该菌有15种血清型,目前主要养猪国家流行的血清型为4型、5型、12型和13型,是严重危害养猪业发展的主要细菌性病原之一。目前国内还没有检测该菌抗体的商品化试剂盒。【目的】研制一种针对副猪嗜血杆菌的快速、敏感和特异性强的抗体检测试剂盒,为格拉瑟氏病的有效防控提供技术支持。【方法】表达并纯化OppA、DppA、HbpA 3种不同的副猪嗜血杆菌ABC转运体周质底物结合蛋白,使用副猪嗜血杆菌阴、阳性参考血清筛选以上3种蛋白中免疫反应性和反应特异性好的蛋白。以筛选的蛋白为包被抗原,建立检测HPS抗体的间接ELISA方法,优化间接ELISA反应条件,并组装试剂盒。在此基础上,确定该试剂盒的敏感性、特异性;通过对不同时间、不同猪场采集的2000份临床猪血清样本进行检测,评价该试剂盒的实用性;在以上临床血清样本中随机选取200份,分别以研制的试剂盒、间接血凝试验以及进口商品化试剂盒进行检测,比较检测结果,验证该试剂盒的符合率;最后,使用研制的试剂盒检测免疫和攻毒猪采集的血清,评价该菌免疫后的抗体消长规律。【结果】成功表达并纯化了OppA、DppA、HbpA 3种蛋白,发现OppA免疫反应性和反应特异性最好。经过反应条件优化,确定OppA包被浓度为1μg·mL-1,封闭液为0.5%的BSA-PBS溶液,样品稀释液为1%的BSA-PBST溶液,样品孵育时间为30min,样品稀释度为1﹕50,酶标二抗孵育时间为30min,底物作用时间为15 min,临界值为0.18;试剂盒的敏感性和特异性为96.67%,能与国内常见血清型HPS阳性血清反应而不与猪其他常见病原阳性血清发生交叉反应;2000份临床血清样本阳性检出率为34.65%;随机抽取200份血清样本,与间接血凝试验的符合率为92.50%,与进口商品化试剂盒符合率为87.00%,符合率较高;使用试剂盒检测免疫和攻毒后不同时间采集的猪血清,HPS抗体消长规律符合预期。【结论】研制的副猪嗜血杆菌ELISA抗体检测试剂盒特异性高、敏感性强,与商品化试剂盒和间接血凝试验的符合率高,可用于临床HPS抗体检测和疫苗免疫效果评价。

数字经济发展与消费者福利水平变化——基于时间分配理论研究

伴随着数字经济的发展,社会中产生了大量免费或低价的数字产品。然而,在现有GDP核算体系之下,这些数字产品的价值难以被准确衡量。基于此,文章立足于数字产品的消费者剩余度量问题,提出了“GDP+数字产品消费者剩余”的数字经济核算新思路。考虑到数字产品的时间密集型特征,文章结合Becker的时间分配理论,初步尝试从时间价值角度构建数字产品消费者剩余测度模型。进一步,文章在概念上将互联网服务与数字产品等同,以互联网服务为对象,利用我国2012—2020年间居民业余上网时间数据,对数字产品的消费者剩余展开量化分析。结果发现,数字产品对消费者福利的影响呈总体扩大趋势,其在GDP中占比始终保持在5%以上,且增速远高于同期GDP增速。我国数字经济实际规模被严重低估。对数字产品价值的忽视必然会影响政府数字经济政策的有效性。另外,文章在实证过程中发现,消费者在互联网服务消费方面存在明显的鸿沟。具体来讲,高收入群体出于信息搜寻、社会资本积累和娱乐休闲目的,对互联网服务的使用时间远大于低收入群体。我国数字产品消费存在不平等问题,这在一定程度上会对消费者福利产生不利影响。因此,在精准测度数字经济规模的基础上,政府政策制定也要兼顾数字经济发展过程中的不平等问题。

核电厂工控网络私有通信协议测试方法研究

核电厂的工控网络结构复杂、设备众多,且大部分采用商业秘密的私有通信协议。通信效率和通信质量是常见的系统故障原因。为解决私有通信协议难以测试的问题,通过研究核电厂工控网络私有协议的特征、应用场景和通信的质量属性,采用嵌套的类型⁃长度⁃数据(TLV)报文描述技术,提出一种通用的工控网络私有通信协议的测试方法。该方法具有灵活度高、适用范围广、自动化程度高等特点,满足了通信质量的测试要求。该方法结合物理层的硬件适配,可用于核电厂工控网络中不同工控设备、不同私有协议的通信质量测试,有效提高网络运行过程中的安全性和稳定性。

非实例化标准件消耗式装配工艺设计技术研究

针对飞机产品数据中大量非实例化标准件尚未实现消耗式工艺设计的难题,提出了依据装配需求对非实例化标准件进行二级拆分及消耗式分配的思路。结合业务架构流程梳理,采用CATIA CAA二次开发开展非实例化标准件R模型的工位级拆分,并系统研究了装配工艺设计过程中非实例化标准件的消耗式分配和管理技术,在某项目产品上开展了系统测试及应用验证,完成了AO创建,实现了所有参装件的消耗式装配工艺设计,保证了制造数据与工程数据的一致性和准确性,取得了较好的应用效果。

基于SWOT分析法的省级区域医疗中心医用耗材精细化管理策略研究

探讨了SWOT分析法在省级区域医疗中心医用耗材精细化管理过程中的应用实践。采用SWOT分析法对作为山东省区域医疗中心的临沂市人民医院的医用耗材管理策略进行优化调整,并结合实践效果进行分析比较。结果显示,SWOT分析法在医用耗材精细化管理过程中具有良好的实践指导价值。

废塑料热解油性质及组成的研究现状

废塑料热解是一种废塑料热化学处理技术,既可回收热解油等高附加值产品,缓解能源危机,又可减少环境污染,因而兼具了经济效益和环境保护,是未来塑料回收技术的发展趋势。从理化性质、元素组成、馏分分布、烃类组成、非烃化合物5个方面综述了国内外对废塑料热解油的分析研究现状,详细介绍了塑料类型、反应温度、反应时间、催化剂等对废塑料热解油性质和组成的影响;根据废塑料热解油的性质和组成特点,简述了废塑料热解油的应用方向,为今后废塑料热解工艺优化和高价值利用提供数据支撑。

潮湿环境下原位聚合修补砂浆的黏接性能及增黏机理

为了提高潮湿恶劣环境下水泥基修补材料的修复效果,通过在水泥基修补砂浆中掺入有机物单体、引发剂和交联剂等使其在砂浆中原位发生聚合.利用抗拉黏接强度测试探究了原位聚合改性砂浆对干燥和潮湿界面黏接性能的影响,同时通过流动性和凝结时间测试探究砂浆的工作性能.研究结果表明:原位聚合改性砂浆具有良好的工作性能和较短的凝结时间,且能够显著增强砂浆与基体的界面黏接性能;相对于空白组,其28 d的干燥和潮湿界面黏接强度最高可增加3.7倍和13.0倍;由于聚合后在潮湿界面的钉扎锚固作用,其潮湿界面的黏接强度最高可达干燥界面的1.6倍,表明了原位聚合改性修补砂浆在潮湿环境下具有良好的修补效果.

高校的有组织科研与多学科研究:以国家重点实验室为例

本文从知识生产模式的视角出发,将高校的学科类国家重点实验室作为校内进行有组织科研的重要场所,将其科研产出数据与“双一流”建设中一流学科数据相结合,分析国家重点实验室的研究活动中多学科参与的现状与变化趋势。研究发现:在高校的国家重点实验室中,多学科研究业已普遍,其研究活动中涉及的学科日益增多;同时,多学科参与的情况呈现差异化的特点,不同领域实验室的研究需要的支撑学科有所不同;进一步来看,当高校内基础学科发展较好时,能为国家重点实验室的科研活动提供更加有力的支撑,这种整体的支撑作用不因实验室研究倾向的变化而不同。基于研究发现,本文提出以下政策建议:高校应搭建有组织科研平台,加强学科群建设,以适应有组织科研的需求,减少科研要素流动的阻力;在拨款中适当提高学科群建设和因应国家重大需求等因素的权重,以更好地发挥其引导作用。

基于频率特征分类的卫星地球探测业务监测方法研究

基于卫星地球探测业务(Earth Exploration-Satellite Service,EESS)发展应用和卫星频谱监测现状,针对业务频率划分特征开展研究,获得3个基本划分维度和6种附加划分类别。在分析EESS空间电台和地球站的工作模式及频率使用特征的基础上,得出频率使用场景多样影响频谱监测参数设置。提出基于频率特征分类用于EESS的频谱监测方法,针对频率划分和频率使用分析监测需求,构建基于该方法的监测平台技术参考模型。为面向通信导航遥感一体复杂星座的卫星监测系统设计提供参考依据。

中重度宫腔粘连分离术后三种方式预防复发的对比

目的针对中重度宫腔粘连分离术后患者,比较宫腔扩张术与放置宫内节育器(IUD)、IUD联合防粘连剂这三种方式预防粘连复发的临床疗效。方法回顾性分析196例因中度及重度宫腔粘连行宫腔镜下粘连分离术(TCRA)患者,其中A组为宫腔扩张组(50例),B组为IUD组(42例),C组为IUD联合防粘连剂组(104例)。使用AFS评分评价宫腔粘连程度。所有患者均行第二次宫腔镜检查,比较三组患者AFS改善值、宫腔粘连复发率及随访1年内的妊娠率。结果TCRA术后三组患者AFS改善值分别为(5.58±2.17)分、(5.29±2.62)分、(5.95±2.22)分,比较差异无统计学意义(F=1.374,P>0.05)。三组患者术后宫腔粘连复发率分别为42.0%、42.9%、30.8%,差异无统计学意义(χ^(2)=2.861,P>0.05)。三组患者术后1年内妊娠率分别为48.1%、40.5%、31.7%,三组妊娠结局比较差异无统计学意义(χ^(2)=2.890,P>0.05)。结论中重度宫腔粘连分离术后,宫腔扩张术可替代传统的IUD及IUD联合防粘剂治疗方法,是预防宫腔粘连复发的一种新方法。

超声内镜引导下细针抽吸诊断结直肠子宫内膜异位症1例报道

本文报道超声肠镜活检确诊直乙交界子宫内膜异位症1例,以增强临床医师对此病的认识,提高结直肠子宫内膜异位症的早期诊断率,减少误诊、漏诊。

HTO联合膝关节镜治疗膝骨关节炎的早期疗效观察

目的 探究应用胫骨高位截骨术(high tibial osteotomy, HTO)联合膝关节镜治疗膝关节骨关节炎术后早期疗效。方法 选取2020年7月至2021年6月间因膝关节骨关节炎于山东大学齐鲁医院关节科行HTO治疗的25例患者,男性11例,女性14例;年龄47~65岁,平均(53.84±5.08)岁,记录术前及术后血液指标变化、术中出血量及术后引流量、并发症等发生情况。于术后6周、术后3个月、术后6个月随访,采用疼痛视觉模拟评分(visual analogue scale, VAS)及美国特种外科医院(hospital for special surgery, HSS)膝关节评分评定膝关节功能及疗效。结果 所有患者均顺利完成手术,术中及术后均无严重并发症发生。术前、术后部分血液学指标差异有统计学意义。术前VAS评分(6.52±1.16)分,术后6个月(0.92±0.76)分,两者比较差异有统计学意义(P<0.05);术前HSS评分(75.16±5.42)分,术后6个月(92.36±2.84)分,两者比较差异有统计学意义(P<0.05)。结论 HTO联合膝关节镜治疗膝关节骨关节炎,术中缺血少,早期膝关节功能明显改善,值得临床推广应用。

榛子壳活性炭对Cr(VI)重金属废水的吸附研究

以榛子壳为原料,磷酸为活化剂,通过700℃高温炭化150 min制备活性炭,评价榛子壳活性炭对Cr(VI)重金属模拟废水的吸附性能,分别考察活性炭添加量、接触时间、溶液初始pH值、Cr(VI)初始浓度对Cr(VI)吸附能力的影响,通过傅里叶变换红外光谱对活性炭表面的官能团进行表征,利用扫描电镜对吸附前后活性炭的表面形貌进行观察。结果表明,Cr(VI)的最佳吸附条件为活性炭用量0.4 g(100 mL体系),接触时间240 min,溶液初始pH值=3.0,Cr(VI)初始质量浓度50 mg·L^(-1),吸附率高达98.67%。红外光谱分析显示活性炭表面存在大量以—OH、—C=O、—C=C基团为主的官能团,对活性炭的吸附性能具有至关重要的作用。吸附前后活性炭微粒的扫描电镜显示,吸附后的活性炭颗粒由于表面附着有大量Cr(VI),较吸附前的活性炭颗粒明显变长,说明榛子壳活性炭的吸附能力较强。本研究表明,利用磷酸为活化剂,经高温活化制备的活性炭具有良好的Cr(VI)吸附性能,为进一步开发农林果壳废弃物的高附加值环保吸附剂材料提供了实验依据。

合作学习教学模式在高等学校体育教学中的实验研究——以中国地质大学(北京)地质体育课程为例

近年来,我国高等教育教学改革研究取得了一系列成绩,但仍有一些高校的体育教学沿用传统的教学模式,存在过分追求掌握运动技术、忽视学生的个体差异、缺乏对学生创新能力培养的问题。本文阐述了合作学习教学模式的定义及研究现状,分析了合作学习教学模式在高等学校地质体育课程教学中的作用。结果表明,合作学习教学模式有助于学生掌握地质体育技能,提升自我效能感和身体素质,使学生在学习过程中培养合作能力和团队精神。为了促进合作学习教学模式在高等学校体育教学中更好地付诸实践,应更新教师教学观念,加强教师教学培训,优化合作学习教学模式。

互联网共享经济与中国武术国际化传播

该文采用文献资料法、专家访谈法等方法,以互联网“共享经济”环境下中国武术国际化传播双语网络平台的电子商务运营模式为研究对象,分析在我国市场经济下广泛应用的电子商务模式在中国武术国际化传播过程中的作用和可能出现的问题,研究互联网“共享经济”给中国武术国际化传播带来的挑战和机遇,为中国武术国际化传播的可持续发展提供一种更加便捷和高效的商业运营模式。

塑料热解油中有机硅化物的形态及含量分析方法

建立了一种快速测定塑料热解油中有机硅形态的分析方法。采用气相色谱-质谱的选择离子监测模式(SIM)对不同的塑料热解油及其催化裂化反应产品中的硅化物进行定性、定量分析。结果表明,不同的塑料热解油中硅化物主要以环硅氧烷(D n,其中n为硅原子的个数)为主,来源于塑料中的添加剂或硅橡胶的热裂解等。该方法线性相关系数为0.9941~0.9996,检测限和定量限分别为0.002~0.09 mg/L和0.01~0.21 mg/L;加标回收率在91.4%~116.1%,相对标准偏差小于9.6%,符合分析要求。