检索结果-南通市图书馆

浅析血站质量体系内部审核存在问题及改进建议

在线全文

学校读者我要写书评

暂无评论

中文科技期刊数据库（文摘版）医药卫生 2021年第3期 423-424页

作者：关永进百色市中心血站质量管理科广西百色533000

内部审核,作为血站质量管理的一个关键过程,在血站实施全面质量管理和持续改进质量体系方面起着至关重要的作用。结合内审工作中存在的一些问题,提出有关加强内部审核有效性的办法,推进质量管理体系有效运行和持续改进。

关键词：血站质量管理体系内部审核内审员

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

摩托车盘式制动器CAD系统的研究

摩托车技术 1996年第10期 12-15页

作者：肖合林常思勤关永进武汉汽车工业大学内燃机教研室

介绍了关于摩托车盘式制动器CAD系统的设计思想及摩托车盘式制动器CAD系统的结构,并利用设计出的CAD系统计算了几个实例。

关键词：盘式制动器 CAD系统摩托车设计

微内核操作系统互斥量模块功能正确性的形式化验证

在线全文

学校读者我要写书评

暂无评论

软件学报 2024年第9期35卷 4179-4192页

作者：张林雁李希萌施智平关永曹钦翔张倩颖首都师范大学信息工程学院电子系统可靠性技术北京市重点实验室(首都师范大学) 北京成像理论与技术高精尖创新中心(首都师范大学) 上海交通大学约翰霍普克罗夫特计算机科学中心

操作系统在许多安全攸关领域为软件系统提供关键性底层支撑,操作系统中一个微小的错误或漏洞都可能引起整个软件系统的重大故障,造成巨大经济损失或危及人身安全.为了减少此类安全事故的发生,对操作系统正确性进行验证十分必要.传统测... 详细信息

操作系统在许多安全攸关领域为软件系统提供关键性底层支撑,操作系统中一个微小的错误或漏洞都可能引起整个软件系统的重大故障,造成巨大经济损失或危及人身安全.为了减少此类安全事故的发生,对操作系统正确性进行验证十分必要.传统测试手段无法穷尽系统中的所有潜在错误,因而操作系统验证有必要使用具有严格数学理论基础的形式化方法.在操作系统中,互斥量可协调多任务对资源的访问,是一种常用的任务同步方式,其功能正确性对于保障多任务应用的正确性十分关键.基于定理证明方法,在交互式定理证明器Coq中对某抢占式微内核操作系统的互斥量模块进行代码级形式化建模,给出其接口函数的形式化规范,并实现这些接口函数的功能正确性验证.

关键词：互斥量功能正确性形式化验证定理证明 Coq定理证明器

同方期刊数据库

在线全文

学校读者我要写书评

暂无评论

百色市县级医疗机构(血库)标准化建设刍议

右江民族医学院学报 2010年第1期32卷 67-68页

作者：周正东陆杰灵覃顺节苏青黄翔关永进方定安广西百色市中心血站广西百色533000

目的了解百色市县级医疗机构血库标准化建设现状,分析原因,提出对策,为决策部门加强临床用血管理提供决策依据。方法按《广西医疗机构输血科(血库)基本标准》、《广西壮族自治区医疗机构临床输血质量评估细则》的要求,对百色市辖区内16... 详细信息

目的了解百色市县级医疗机构血库标准化建设现状,分析原因,提出对策,为决策部门加强临床用血管理提供决策依据。方法按《广西医疗机构输血科(血库)基本标准》、《广西壮族自治区医疗机构临床输血质量评估细则》的要求,对百色市辖区内16家县级医疗机构血库进行现场审查评分。结果百色市县级医疗机构血库标准化建设管理总体水平偏低,发展不均衡。结论卫生行政管理部门及医院管理者必须加强医院血库标准化建设的监督管理及投入,采取有效措施,确保输血安全高效。

关键词：血库参考标准建设

在线全文

学校读者我要写书评

暂无评论

南疆陆地棉果枝结铃特性遗传及决策分析

南疆陆地棉果枝结铃特性遗传及决策分析

作者：关永虎塔里木大学

学位级别：硕士

棉花是新疆最主要的经济作物,其产量是衡量新疆经济发展的直接因素。棉花结铃特性与产量密切相关,其程度决定了棉花产量的高低。棉花产量性状受环境和遗传等多个因素的影响。通过对133个陆地棉品种（系）及其F1代210个组合的4个产量性状... 详细信息

棉花是新疆最主要的经济作物,其产量是衡量新疆经济发展的直接因素。棉花结铃特性与产量密切相关,其程度决定了棉花产量的高低。棉花产量性状受环境和遗传等多个因素的影响。通过对133个陆地棉品种（系）及其F1代210个组合的4个产量性状的2年资料,采用加性—显性及与环境互作模型,利用估算条件方差分量和预测条件遗传效应值的统计方法进行遗传分析以及决策系数分析,提高对产量性状选择的效率。主要研究结果如下:1、对陆地棉8个性状的表型分析可知,两年亲本和F1的各性状中,3+4铃果枝率变异系数最大,衣分变异系数最小。本研究8个性状中,2021年的亲本有7个性状,F1组合有8个性状的变异系数超过10%;2022年亲本和F1组合均有7个性状的变异系数超过10%。亲本不同结铃果枝数因环境的改变而存在差异。F1组合的空果枝率和3+4铃果枝率和均优于同一环境亲本的相应性状。2、通过遗传效应值的贡献分析可知,4类结铃果枝数分别对单株铃数和衣分显性效应具有不同程度的贡献率,既有正向的显性效应贡献率也有负向的显性效应贡献率,且均达到极显著水平。空果枝数、1铃果枝数和3+4铃果枝数显性效应高的亲本对单株铃数的提高可能是不利的。3、陆地棉各结铃果枝数与产量性状相关系数分析结果表明,空果枝数分别与单株铃数和单株皮棉产量的显性与环境互作呈显著的负相关;1铃果枝数分别与铃重、单株铃数和单株皮棉产量的表型值和基因型值存在不同显著水平的负相关;2铃果枝数与单株铃数和单株皮棉产量显性与环境互作和表型值存在显著或极显著水平的正相关;3+4铃果枝数与衣分存在加性正相关。4、各性状对产量性状各遗传组分的决策系数分析结果表明,对铃重起决定作用的主要性状有2铃果枝数、单株皮棉产量和3+4铃果枝数;主要限制性状有1铃果枝数、衣分和单株铃数。对衣分加性决策系数最大的是铃重;2铃果枝数对单株铃数起决定作用;对单株皮棉产量主要的决策性状是铃重、衣分、2铃果枝数和3+4铃果枝数,1铃果枝数是提高单株皮棉产量限制因素。

关键词：陆地棉产量性状贡献分析遗传分析决策分析加性—显性模型

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

百色市县级医疗机构(血库)标准化建设刍议

百色市县级医疗机构(血库)标准化建设刍议

中国输血协会第五届输血大会

作者：周正东陆杰灵覃顺节苏青黄翔关永进方定安百色市中心血站

了解全市县级医疗机构血库标准化建设现状,分析原因,提出对策,为决策部门加强临床用血管理提供决策依据。按《卫生部办公厅关于开展2009年医疗质量万里行—血液安全督导检查工作的通知》的要求。

关键词：

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

基于大刚度支护体系的新型暗挖技术

岩土工程学报 2024年第6期46卷 1332-1338页

作者：聂子云谭小兵朱占国关永平中国铁路设计集团有限公司天津300251 台州市交通投资集团有限公司浙江台州318000

传统暗挖技术存在施工风险大、施工效率低、对周边环境影响大、工程投资大等问题,很难适用于软弱地层或复杂环境下大型地下结构暗挖施工。为解决以上问题,提出一种基于大刚度支护体系的新型暗挖技术。新型暗挖技术利用纵向管幕、顶横梁... 详细信息

传统暗挖技术存在施工风险大、施工效率低、对周边环境影响大、工程投资大等问题,很难适用于软弱地层或复杂环境下大型地下结构暗挖施工。为解决以上问题,提出一种基于大刚度支护体系的新型暗挖技术。新型暗挖技术利用纵向管幕、顶横梁和中间立柱构筑大刚度支护体系,支护体系各构件通过非开挖方式或者在管幕保护下利用小空间构筑,保证施工安全的同时,防止地层出现较大应力释放,支护体系构筑完成后即可进行大面积暗挖施工。新型暗挖技术工序简单、施工效率高、风险低、对周边环境影响小、工程投资小。数值分析和工程实例验证了新型暗挖技术的可行性和实用性,新技术为大型地下结构暗挖技术提供了新的思路。

关键词：大型地下结构暗挖大刚度支护体系数值分析

带碰撞的惯质调谐质量阻尼器对斜拉索涡激振动控制研究

在线全文

学校读者我要写书评

暂无评论

振动与冲击 2024年第17期43卷 214-223页

作者：李书进曾文珑张远进武汉理工大学土木工程与建筑学院武汉430070 武汉理工大学安全科学与应急管理学院武汉430070

在以往惯质调谐质量阻尼器(tuned mass damper-inerter, TMDI)的研究基础上,引入非线性碰撞机制,提出一种带碰撞的新型惯质调谐质量阻尼器(pounding tuned mass damper-inerter, PTMDI)来对斜拉索的涡激振动进行控制。该阻尼器不仅能减... 详细信息

在以往惯质调谐质量阻尼器(tuned mass damper-inerter, TMDI)的研究基础上,引入非线性碰撞机制,提出一种带碰撞的新型惯质调谐质量阻尼器(pounding tuned mass damper-inerter, PTMDI)来对斜拉索的涡激振动进行控制。该阻尼器不仅能减小装置尺寸,又能利用振子在碰撞过程中产生的加速度突变来提高惯质器的质量放大效应,在一定程度上解决传统惯质型阻尼器一端尽量固接的安装方式,布置上更为灵活。建立了设有该装置的斜拉索涡激减振控制方程,分析了拉索涡激振动特性,并对其减振性能进行了研究。对阻尼器惯容参数和碰撞参数的影响及优化问题进行了探讨,给出了最优参数的取值方法。算例表明,所提PTMDI能显著降低斜拉索的涡激振动响应,且在所提优化方法得到的最优参数下具有更为优越的控制能力。对于常遇风时拉索出现的多模态涡激振动控制分析表明,碰撞机制能使PTMDI的鲁棒性得到提升,对多模态涡激振动也有相当程度的控制效果。

关键词：斜拉索涡激振动振动控制惯质阻尼器碰撞减振

在线全文

学校读者我要写书评

暂无评论

基于领导者选择的聚类平衡网络的可牧性

控制与决策 2024年

作者：魏静关永强谌煜兰静芬西安电子科技大学机电工程学院西安电子科技大学数学与统计学院

本文基于领导者-跟随者框架研究了结构平衡和聚类平衡网络的可牧性.首先,通过分析网络的拓扑结构,依据边界节点的距离划分提出了一种节点分组方法.在此基础上,分别分析了结构平衡和聚类平衡网络的拓扑结构、符号特征、动力学特性与能控... 详细信息

本文基于领导者-跟随者框架研究了结构平衡和聚类平衡网络的可牧性.首先,通过分析网络的拓扑结构,依据边界节点的距离划分提出了一种节点分组方法.在此基础上,分别分析了结构平衡和聚类平衡网络的拓扑结构、符号特征、动力学特性与能控性矩阵之间的关系,给出了一些领导者选择方法以确保网络的可牧性.进一步,针对结构平衡网络,给出了一种具有多项式时间复杂度的领导者搜索算法.该算法避免了现有方法中复杂度随着节点数目呈指数式增长的问题,并为实现网络可牧的最小数目的领导者选择提供了帮助.此外,研究了一类特殊的聚类平衡网络(星聚类平衡网络),得到了两种领导者选择方法实现网络的可牧性.最后,通过数值例子验证了所得理论结果的有效性.

关键词：可牧性距离划分领导者选择多智能体网络聚类平衡网络结构平衡网络