课程文献中心 更多>>

关键词： 猪传染性胃肠炎病毒   反向遗传操作系统   重组病毒   附属蛋白3   非结构蛋白  

摘要： 猪传染性胃肠炎病毒(Porcine transmissible gastroenteritis virus,TGEV)属于尼多病毒目冠状病毒科α冠状病毒属家族成员,其主要感染新生仔猪,造成仔猪腹泻、呕吐、脱水甚至死亡。临床上经常与猪流行性腹泻病毒(Porcine epidemic diarrhea,PEDV)和猪轮状病毒(Porcine rotavirus,PRo V)等其他腹泻相关病毒混合感染,给全世界养猪业造成了巨大的经济损失。冠状病毒除了编码结构蛋白和参与病毒基因组转录、复制的非结构蛋白外,还编码了一系列特有的附属蛋白。目前的研究表明大部分附属蛋白对于病毒的复制是非必需的,但附属蛋白可能影响病毒的致病性。TGEV已经被鉴定编码2种附属蛋白,即ORF3和ORF7。现有研究表明ORF3参与了宿主天然免疫反应的调节,但其对病毒复制及致病过程中发挥的作用尚不明确。反向遗传操作系统可为病毒蛋白功能研究、毒力因子鉴定、新型疫苗研发和抗病毒药物的筛选提供物质基础与技术支持。基于此,本研究通过建立TGEV TH-98株的反向遗传操作系统,探索TGEV的ORF3蛋白在病毒复制中的作用,确定ORF3在病毒粒子中的定位及其是否能够引起机体产生免疫应答反应,为利用以TGEV为骨架进行该病毒的基础研究以及构建重组病毒疫苗奠定基础。主要研究结果如下:1.成功建立TGEV TH-98株的反向遗传操作系统将TGEV TH-98株全长基因组分为6个(A-F)具有同源臂的片段,并将片段分段克隆,随后按照A-F-D-E-B-C的构建顺序获取TGEV全长cDNA克隆,随后将TGEV全长cDNA克隆转染至ST细胞拯救TGEV。将拯救病毒rTGEV与TGEV亲本毒株进行对比分析,发现两者的全基因组序列除了分子标记外完全相同,在ST细胞上可产生相同的细胞病变,Western Blot、间接免疫荧光试验可检测到TGEV N蛋白的表达。对拯救病毒rTGEV的生物学特性进行研究,发现其与TGEV亲本毒在ST细胞上产生的蚀斑大小相似,并且在ST细胞和IPEC-J2细胞中生长动力学相似,电镜下观察到经典冠状病毒特征,以上结果表明我们成功建立了TGEV反向遗传操作系统,为后续研究奠定了物质基础。2.构建重组病毒rTH-98-Δ3-COE-HA并揭示了TGEV ORF3在病毒复制中的作用为了研究ORF3的缺失是否影响病毒的复制,我们将TGEV TH-98基因组中ORF3基因替换成PEDV COE基因并于其C端引入HA标签,构建重组病毒rTH-98-Δ3-COE-HA。重组病毒rTH-98-Δ3-COE-HA的生物学特性分析表明,重组病毒基因组中的外源基因可以稳定传代和有效表达,表明重组病毒构建成功;TGEV缺失ORF3后在体外仍然可以复制,ORF3对TGEV的复制不是必需的。重组病毒rTH-98-Δ3-COE-HA感染ST细胞后产生的蚀斑大小、病毒滴度和生长曲线等生物学特性与其亲本毒株相似,但重组病毒rTH-98-Δ3-COE-HA的复制效率明显降低,表明TGEV ORF3可能在促进病毒复制中起关键作用。3.探索了ORF3蛋白在TGEV亲本病毒粒子中的定位为了进一步分析TGEV ORF3是否存在于成熟的病毒粒子上,将纯化的重组病毒rTH-98-Δ3-COE-HA病毒粒子进行Western Blot分析,在纯化的病毒粒子中未能检测到外源蛋白COE-HA,初步证明ORF3不存在于成熟的病毒粒子中。随后将纯化的重组病毒皮下免疫小鼠,采集免疫后小鼠血清,可以检测到小鼠抗TGEV N蛋白的特异性Ig G,却无法检测小鼠抗COE特异性Ig G,进一步证明ORF3不存在于成熟病毒粒子中,说明ORF3为非结构蛋白。4.探究了重组病毒诱导IPEC-J2细胞表达炎症因子的水平为了研究重组病毒在IPEC-J2中细胞炎症因子表达水平,将重组病毒rTH-98-Δ3-COE-HA感染IPEC-J2细胞,利用RT-q PCR检测细胞样品中炎症因子表达水平,结果显示在IPEC-J2细胞中重组病毒rTH-98-Δ3-COE-HA可诱导炎症细胞因子IL-1β、TNF-α、IL-6和IL-8的表达,但表达水平显著低于由亲本毒TH-98及亲本拯救毒rTH-98,该结果表明TGEV ORF3可能在诱导宿主细胞免疫反应中起关键作用。5.重组病毒表达外源蛋白在小鼠体内的免疫原性为了确定重组病毒rTH-98-Δ3-COE-HA中表达外源蛋白是否具有免疫原性,将重组病毒rTH-98-Δ3-COE-HA细胞培养物皮下免疫小鼠,采集免疫后小鼠血清,以TGEV N蛋白与PEDV COE蛋白为包被抗原,利用间接ELISA检测小鼠血清中特异性Ig G的表达水平。结果显示,小鼠体内抗TGEV特异性Ig G与抗PEDV COE特异性Ig G水

关键词： 操作系统  

ISBN: (纸本)9787111724926

摘要： 本书针对计算机和其他IT专业学生的发展需求，系统、全面地介绍了操作系统的概念、原理、方法与应用，详细介绍了硬件基础、操作系统概述、进程描述和控制、线程、互斥和同步、死锁和饥饿、内存管理、处理器管理、I/O设备管理、文件管理、操作系统安全、操作系统发展等内容，力图反映操作系统领域的最新发展，具有较强的系统性和可读性。本书配套有大量习题，并为部分习题提供了参考答案。每章均设计有“实验与思考”环节，结合Windows、Linux操作系统，通过实践来加深对理论知识的认识。

关键词： 形式化验证   内核验证   内核数据结构   霍尔逻辑  

摘要： 作为信息系统的基础和核心,操作系统在构建高可信软件系统中扮演着至关重要的角色。保障操作系统的安全可靠性是构建高可信软件系统中的一个重要环节。然而,在实际的验证工作中,操作系统内核中全局性质的不变式描述、复杂数据结构程序的形式化验证存在困难。因此,如何解决这些问题仍然是当前研究的热点和难点。本文旨在提出了两个研究贡献: (1)本文以操作系统内核中需要满足的全局性质为研究对象,在代码层以函数为单位,采用全局不变式对全局性质进行定义,并在不同的函数中进行形式化验证,以此证明各个函数满足操作系统内核的全局性质。这一步骤对于操作系统内核的可靠性和安全性是非常重要的。同时,本文进一步研究了全局不变式中频繁出现的全称量化断言,提出了一种拆分和拼接的方法,针对全称量化断言中有非线性算数的程序,对其进行变换。这种方法能够在保留现有信息的同时,生成易于被自动定理证明器证明的新量化断言,有效验证了全称量化断言表达式中存在非线性算数的情况。 (2)本文针对操作系统内核中的复杂数据结构程序,提出了一种基于扩展形状图逻辑的分组方法,以处理存在多个量化断言的指针程序。该方法推断出指针相等关系,对量化断言进行分组,并辅助自动定理证明器发现复杂数据结构程序中断言之间的联系和性质。此外,本文还提出了一种嵌套形状图逻辑的验证方法,以处理多种形状耦合在一起的不规则数据结构程序问题。该方法将嵌套形状图分离为主数据结构和次数据结构,并证明了分离前后形状图的一致性。验证结果表明,该方法成功刻画并验证了操作系统内核中关于任务创建与调度、消息队列创建与操作相关的代码,为提高操作系统内核的安全可靠性提供了一定的理论支持。 综上所述,本文通过对操作系统内核中的全局性质、全称量化断言和复杂数据结构程序的研究,提出了一些有效的方法和技术,为提高操作系统内核的可靠性和安全性提供了理论支持。这些技术对于软件工程领域具有重要的意义,有望在未来得到更广泛的应用。

关键词： Linux操作系统  

ISBN: (纸本)9787302628545

摘要： 本书共16章，内容包括：基本终端操作和文件管理，文件权限和用户管理，软件管理与安装，文件压缩与打包，进程、网络管理和服务环境搭建，MySQL数据库服务器配置等。

关键词： Linux操作系统  

ISBN: (纸本)9787115600844

摘要： 本书主要讲解Ubuntu操作系统的基本操作、配置管理、软件开发平台和服务器部署。全书共10个项目，内容包括Ubuntu快速入门、熟悉Ubuntu命令行操作、用户与组管理、文件与目录管理、磁盘存储管理、软件包管理、系统高级管理、Shell编程与自动化运维、部署软件开发工作站和部署Ubuntu服务器。

关键词： 课程思政   Linux操作系统原理及实训   立德树人  

摘要： 推进课程思政建设是高校落实立德树人任务的长久战略举措，在此背景下探索专业课程蕴含的思政元素，并将其融入课程教学体系是目前高校教师面临的一个新课题。以Linux操作系统原理及实训课程为例，从课程教学目标、课程教学内容和课程考核环节三方面融入思政元素，推动课程教学体系改革与实践，取得了较好的效果。

摘要： 芯原股份宣布与微软就Windows 10 IoT企业版操作系统开展合作，合作内容涵盖硬件加速器，以及对功能强大的嵌入式平台的长期支持。芯原将利用自身的嵌入式软件设计能力和数十年推出成功产品的经验，使嵌入式应用开发人员和原始设备制造商(OEM)能够基于可信赖的操作系统，使用熟悉的开发和管理工具快速创建、部署和扩展物联网解决方案，并通过微软Azure IoT将设备无缝连接到云端。

关键词： 数据中心   磁盘存储器   信息采集   故障预测   操作系统   机器学习  

摘要： 在当前数据中心环境中，磁盘作为数据的主要存储设备，在整个存储系统中占有重要的地位。磁盘的损坏可能会导致数据丢失及存储性能下降，严重影响系统数据安全及业务稳定性。当前最能直观反应磁盘硬件状态的是SMART技术。在个人用户环境下，用户可以直接安装相应软件实现对磁盘SMART日志信息的读取，但在数据中心环境下，服务器数量多，磁盘型号不一并且其运行环境有所差异，造成SMART信息采集困难。因此，需要有相应系统实现数据中心环境下SMART日志信息的采集及管理。　　在早期研究中，磁盘厂商往往根据SMART日志信息的属性阈值进行磁盘故障判断，然而该方法准确率较低。通常在达到故障阈值时，磁盘已完全无法使用。因此，近年来的研究常常采用机器学习方法进行故障预测，此类方法在准确率上有所上升，然而由于故障磁盘样本数量少，各个型号磁盘SMART数据特征存在差异等原因使用传统的机器学习方法很难做出良好的预测。　　针对上述问题，本文完成了以下两部分的研究工作:　　(1)针对数据中心环境下硬盘SMART数据采集难的问题，采用了基于Ansible实现的数据采集方法。该方法不仅解决了跨操作系统的软件部署问题，并且在被监控主机上无需额外安装代理程序，即可快速实现硬盘SMART数据采集，从而使数据采集程序易于大批量部署、更新及执行。　　(2)针对目前传统机器学习方法在磁盘故障预测问题上效果较差的问题，本文提出了基于Informer的硬盘故障预测模型，该模型充分利用硬盘SMART信息的时序性，通过以往的SMART信息预测出未来时间窗口的SMART信息，并利用随机森林算法进行硬盘分类预测。　　为了验证本文提出的基于Ansible的故障采集系统及基于Informer的硬盘故障预测系统的可行性及有效性，本文在真实环境下对服务器进行了为期3个月的数据采集。之后将该数据集和BackBlaze公司2022年发布的磁盘SMART数据集进行融合后对模型进行训练及验证。实验结果表明，本文提出的方法在数据中心环境下能够有效地采集不同操作系统的服务器硬盘SMART信息并进行管理，所提出的算法优于传统机器学习算法。

关键词： 立德树人   教学评价   评价体系  

摘要： 随着课程思政理念的深化以及相关教育改革模式的创新，在专业课中挖掘德育元素并在教学过程中落实已经成为课堂教学新的探索方向，德育教学的效果评价亦成为新的研究课题。本文以操作系统原理课程为例，从专业课德育评价的意义、原则出发，构建了一个以专业课中德育效果评价为主体的评价体系，并进行了初步应用，然后分析了统计数据，为评价体系的进一步完善提供了参考，为其他专业课德育的效果评价提供了借鉴。

关键词： 操作系统   数据处理  

ISBN: (纸本)9787030750297

摘要： 本书首先阐述了大数据的概念、特征和主要发展阶段，并对我国的国家和地方大数据产业政策进行梳理。在大数据技术章节，按照数据的生命周期对数据采集、存储、计算、管理、应用和安全技术进行介绍。针对大数据产业，重点从产业发展现状和相关产业主体进行分析。在大数据应用领域，介绍了大数据在数字经济、通信、政务、金融、工业等领域的融合应用情况。最后就数据资产、数据要素和大数据法制的发展现状和趋势进行分析和介绍。