简介：摘要：计算机连锁软件是一种有效的验证计算机连锁软件能否满足某些安全属性的形式验证。本文介绍了一种基于模型检验的方法，对联锁系统模型和安全属性模型的建立方法进行讨论，并结合具体的站场实例，对信号开放功能进行了模型描述和验证，结果表明，该方法在计算机连锁系统中的应用是可行的。

简介：摘要目的建立多中心凝血检验结果的自动审核规则，在保证检验质量的同时减轻人工审核及复检工作负荷，缩短周转时间（TAT）时间。方法收集来自14家医院检验科2019年12月至2020年3月期间凝血标本共14 394份：规则建立组11 230份（含Delta check 1 182份），规则验证组3 164份（含Delta check 487份）；临床试应用77 269份。应用Sysmex CS系列全自动凝血分析仪检测凝血酶时间（TT）、凝血酶原时间（PT）、国际标准化比值（INR）、活化部分凝血活酶时间（APTT）、纤维蛋白原（FBG）、D-二聚体（DD）、血浆纤维蛋白（原）降解产物（FDP）同时将临床信息、仪器参数、检测结果、临床诊断、抗凝药物使用和HCT、TG、TBIL、DBIL等相关信息汇总；根据历史数据从小到大排序后累积第2.5和97.5百分位数，根据临床建议、危急值、特殊用药史和相关指南确定自动审核拦截条件及限值；进行一期和二期验证，分别计算阳性符合率、阴性符合率、假阴性、假阳性、自动审核通过率、通过正确率（与人工审核一致率）和TAT时间。结果（1）自动审核规则33条，涉及TT、PT/INR、APTT、FBG、DD、FDP、Delta check、反应曲线及性状异常；（2）规则建立组自动审核通过率为68.42% （7 684/11 230），假阴性为0（0/11 230），与人工审核一致率为98.51%（11 063/11 230），其中阳性符合率为30.09%（3 379/11 230），阴性符合率为68.42%（7 684/11 230）；规则验证组自动审核通过率为60.37%（1 910/3 164），假阴性为0（0/11 230），与人工审核一致率为97.79%（3 094/3 164），其中阳性符合率为37.42%（1 184/3 164），阴性符合率为60.37%（1 910/3 164）；（3）自动审核规则试应用，77 269份凝血检测标本，检验结果报告平均TAT缩短分别为8.5~83.1 min。结论本研究建立了凝血检验结果自动审核规则33条，验证显示能够在保证检验准确性的同时缩短TAT，提高凝血检验效率。

简介：摘要：在阿哌沙班合成生产过程中，为避免上一步工序的残留物对下一步工序的反应产生干扰，需对相应工序结束后清洁状况进行验证，以确保风险目标物得到有效清除。本方法对阿哌沙班中间体Ⅱ（268-7）、阿哌沙班清洁验证分析方法进行色谱条件开发优化，最大程度地避免了清洁擦拭棒的影响。

简介：摘要：社会经济科技快速发展，各个行业依托现有的技术逐渐向现代化转变，我国作为制药大国药品生产技术不断进步，相关行业获得快速发展，但是在药品生产过程中，每一环节的结束设备上都会有一定的残留物，如果对这些辅料和微生物不能及时解决就会导致加入到下一生产过程，如果后期生产的产品不是同一品种的，很可能对产品的安全性产生影响，降低人们使用药品的疗效。所以在药品生产过程中，对于不同品种的药品要保证其清洁，避免在前后生产过程中产生交叉污染，在设备投入生产之前，及时进行清洁效果检验，通过有效验证保证符合要求，才能确保生产药品的质量。

简介：摘要 : 随着信息技术行业的发展， 设计规模和 输入数据量的 指数性增长 ,模拟时间已长得无法忍受， 另外， 也很难判断模拟验证的完备性形式验证不用向量、运用数学方法证明设计的特征和等价性 ,对这两个问题给出解决办法 ,但技术发展仍存在不少难题在模拟中引入形式验证技术 ,形成的断言验证方法 ,可能是解决验证危机的有效办法。

简介：摘要调强放疗剂量验证是放疗质量保证的重要组成部分，对保证调强放疗的安全和质量非常重要。我国尚无调强放疗剂量验证的系统指南和验证工具方法的具体推荐，验证结果的解读及其临床意义、验证不通过的原因分析及处理措施，不同机构使用的工具方法和实施细节差异很大。在国家肿瘤诊疗质控中心放疗质控专家委员会的组织领导下，经过现状调查、多中心测试、专家研讨、咨询、审定等方式完成了该指南。指南规定了开展调强放疗剂量验证的机构、组织、人员、设备、技术流程，及文档记录等方面的要求，以期改进调强放疗剂量验证工作的规范化开展。

简介：【摘要】药品是临床上用于对病患病情进行治疗的重要手段，其生产的最终目的是为了保证药品的质量安全以及有效性。药品的安全性以及有效性和药品中所包含的成分质量有着密切的关系，因此在对药品进行生产的过程中，需要对药品成分中的杂质进行分析。随着社会的发展和技术的进步，目前在对药品杂质的分析过程中所能应用的方法较多，分析方法的主要目的是为了对药品的质量进行控制，因此需要保证分析方法的科学性和合理性。本文对药品杂质分析的相关方法进行验证分析，具体内容如下。

简介：摘要：为了进一步严格执行煤矿水害防治规定，切实加强防治水工作，提高水害防治能力，确保煤矿安全生产，真正落实“有掘必探、有采必探，先探后掘、先探后采”的探放水原则。文章针对矿井生产实际，在综合分析相关资料的基础上，提出积水验证钻孔设计方案。

简介：【摘要】本文重点阐述了样车试制工艺验证的主要内容，从工艺方案验证、工艺文件验证、制造设备验证、工装模具验证以及原材料验证几个维度简要叙述了样车在试制过程中需要关注的点与面，为样车批量生产性工艺验证提供基础保障。

简介：摘要目的报道一套独立后装放疗剂量验证软件的实现方法和结果。方法后装放疗剂量验证软件采用模块化结构设计，以Visual C＋＋为开发平台，剂量计算算法采用AAPM TG 43报告推荐的公式。回顾性选择已完成治疗的宫颈癌患者6例，每例患者都使用了不同的施源器，用剂量体积直方图参数和γ通过率(0.1cm，5%)评估验证软件和计划系统剂量计算结果的偏差。结果与计划系统剂量计算结果相比，验证软件剂量计算结果的γ通过率均>98%。靶区D100%和D90%的偏差最大值分别为0.29%和0.53%，危及器官D0.1cm3、D1cm3、D2cm3的偏差均<0.5%。结论仅需极少的人机交互，该剂量验证软件能验证后装临床治疗计划剂量计算的准确性。

简介：摘要：在药品开发研究、设备安装、生产工艺等流程中均需要进行验证。工艺验证主要是对某一工艺过程进行证实，确保这个过程能够始终如一的生产出符合标准要求的产品，并根据验证结果制定与修订工艺流程。在工艺参数验证中，其属于工艺验证的基础，通过对工艺参数的验证，可以确保药品生产质量。

简介：摘要 ：随着“光伏组件领跑者”项目的实施， PERC 、 N 型、双面等高效光伏组件市场份额逐步提升，由于其材料和工艺的改进，其光谱响应范围宽、高电容特性等特性对光电性能测试提出了较常规组件更为苛刻的要求。

简介：摘要：本文通过探讨清洁验证的各项实施要点，包括清洁方法、各部位清洁难度确定、残留物评估与分类、残留物限度确定、取样及样品检测分析等，为生产出安全、有效的生物制品提供保证。

简介：摘要 ：随着“光伏组件领跑者”项目的实施， PERC 、 N 型、双面等高效光伏组件市场份额逐步提升，由于其材料和工艺的改进，其光谱响应范围宽、高电容特性等特性对光电性能测试提出了较常规组件更为苛刻的要求。

简介：摘要：为了能更好的保证药品质量的安全、有效及稳定，在药品开发过程中必须要选择合理的生产工艺，这是保证药品质量的立足点。为保证药品的安全有效，需要重视药品工艺验证的重要性， 基于此，本文 对药品生产工艺验证的特点进行探讨。

简介：摘要：2019年，职业院校推行“1+X证书制度”试点工作开始实施，我校为第二批进入工业机器人应用与编程试点院校之一。在正确解读1+X证书制度的基础上，通过企业调研，我校对职业技能等级标准分析，重新制定人才培养方案，重构知识体系，书证课证融通，改变教学方式和评价方式等几方面进行改革，学生在工业机器人应用与编程1+X证书考试中通过率达86.6%，取得了较好的效果。

简介：摘要：教育部大力推进职业教育改革，“1+X”证书制度是其中一项重要改革举措。“1+X”证书制度与“双证书”制度有相同点，但是差异更大，其实施也面临诸多困难。针对“1+X”证书制度改革，除了国家给予政策指引与导向外，需要职业院校、技能鉴定机构、行业企业等从人才培养方案、课程设计、师资培育、技能鉴定条件、学生考核机制等多方面具体落实。

简介：【摘要】为了进一步探索“1+X”证书制度下的教学改革策略，首先对“1+X”证书制度的概念与内涵进行了分析，并从师资建设、教材改革以及教学方法改革三个方面阐述了当前阶段“1+X”证书制度教学改革的具体思路，最后对“1+X”证书制度下的教学改革应把握的问题进行了归纳分析。

简介：

简介：摘要目的研究后装治疗中多种施源器的Offset值。方法选取插植钢针(Part#083.062)、插植塑料圆针(Part#189.608)、插植塑料尖针(Part#189.601)、多通道施源器软管(Part#110.800)、塑料宫腔管(Part#189.745)、金属宫腔管(Part#110.437)施源器。根据源在荧光胶片放射性成像，确定施源器顶端驻留点位置以及到施源器顶端的距离。在施源器顶端驻留点位置贴铅珠，将施源器置入盆腔体模中进行CT扫描。然后在计划系统中重建施源器，通过调整Offset值使铅珠与施源器顶端驻留点对准，从而得到施源器Offset值。塑料材质施源器由于密度与人体组织接近，施源器顶端难以准确重建，因此利用挡块或者假源重建施源器，得到塑料材质施源器Offset值。根据验证结果分析比较不同施源器Offset值差异。结果不同施源器Offset值存在较大差异，其中插植钢针为－11.4 mm，插植塑料圆针为－4.1 mm，插植塑料尖针为－3.5 mm，多通道施源器软管为0 mm或－5.0 mm，塑料宫腔管为－6.5 mm，金属宫腔管为－7.5 mm。结论为了适应精确放疗的发展趋势，有必要对后装中施源器Offset值进行测量验证。