中国科大在并发程序精化验证领域取得突破
近日，中国科学技术大学计算机科学与技术学院博士生梁红瑾和导师冯新宇教授等人在并发程序精化验证领域取得突破，提出了一种基于依赖-保证的模拟技术(简称RGSim)，用以支持并发程序间的精化关系的模块化验证。研究成果已被计算机学科国际期刊TOPLAS正式录用。 程序精化验证旨在证明不同计算机程序行为之间的包含关系，是形式化程序验证领域的经典理论问题，同时具有广阔的应用前景。然而，在多处理器下运行的并发程序之间的精化关系验证始终是该领域的一个难题。传统的验证技术要么在封闭环境下进行验证，因而需要知道完整程序的信息，无法支持局部的模块化验证;要么支持开放环境，但对环境的行为没有任何约束，因而验证过程无法利用针对特定环境的知识，难以用来解决实际问题。 梁红瑾等人提出了一种RGSim技术，用以支持并发程序间的精化关系的模块化验证。RGSim支持开放环境下的验证，但同时允许把关于特定环境的知识体现在当前被验证线程的依赖关系中，因......阅读全文
能力验证程序
能力验证程序 1 目的 为保证检测结果的有效性，规范实验室开展的能力验证和比对实验活动，制定本程序。 2 范围 本程序适用于实验室参加能力验证活动、开展实验室间比对试验，以及组织实验室内部不同人员、不同设备、不同方法之间的比对试验。 3 职责 3.1 技术负责人组织制定能力验证和比对试验活动计划，并
能力验证控制程序
一、目的 为了保证检测结果的有效性，规范检测试验中心开展的能力验证和比对试验活动，补充内部质量控制程序中的控制手段，特制定本程序。 二、范围 本程序适用于检测试验中心参加能力验证活动、开展实验室比对。 三、定义 无 四、职责 4.1 技术负责人：根据CNAS的要求，组织制定能力验证和比对试验活动计
美将对进口食品实施验证程序
食品输美将面临更复杂和更严格的查验程序。7月29日，美国食品和药品管理局基于《食品安全现代法》发布一项具体实施条例，将针对进口食品实施“外国供应商验证”程序。 该验证程序要求每个进口商开展针对外国供应商的“风险验证”活动，确保输入美国的食品符合特定的生产工艺要求。新规除符合条件的果汁产品、
实验室间比对和能力验证程序
l. 目的 定期开展实验室之间比对和能力验证活动，综合考察实验室检测能力或者为无法溯源的检测设备提供测量结果可靠证据。 对参加实验室间比对和能力验证活动进行控制管理，以确保实验室检测数据的可靠性和有效性。 2. 适用范围 适用于本中心各专业检测室参加实验室间比对及验证等外部质量控制活动的组织、实施和
鲍蕾：化学分析方法的验证技术与AOAC标准验证程序
2014年7月31日，第二届国际检验检测技术与装备博览会在北京国家会议中心隆重召开（以下简称检博会）。本届博览会以“高端技术，服务民生”为主题，以“质检、科技、国际”为特色，秉着“搭建国际平台，服务检测市场”的宗旨，为科技服务水平提升、检验检测行业和谐发展、科技成果交流与合作、检验检测仪器拓展市
程序0507实验室间比对和能力验证计划
1 目的 为了确保提供给用户校准/检测结果准确可靠，应通过 Lab 间比对/能力验证检查本所全面技术能力。 2 适用范围 适用于实验室间的比对和能力验证计划的管理 3 职责 3.1 质量负责人组织对验证方法的有效性进行评审，并审批比对和能
验室参加能力验证的程序及注意事项
加者收到由能力验证组织者送达的盲样后，对样品进行分析检测，并在规定期限内按照能力验证计划的要求将结果报告返回能力验证组织者，组织者对所有反馈的结果报告进行分析比较后，向参加者通报其检测结果的准确度并公布该次能力验证计划的整体实施情况。由此，有关机构可以通过实验室能力验证活动，了解参加验证实验的实验室
中国科大在并发程序验证研究中取得进展
1月20日至23日，第43届编程语言原理国际会议（简称POPL）在美国佛罗里达州圣彼德斯堡召开。中国科学技术大学特任副研究员梁红瑾和教授冯新宇在并发程序验证领域取得新进展，首次设计出一种验证并发对象无饥饿性与无死锁性的程序逻辑，该研究成果发表在第43届POPL上。 多处理器系统上的并发程序在执
中国科大在并发程序精化验证领域取得突破
近日，中国科学技术大学计算机科学与技术学院博士生梁红瑾和导师冯新宇教授等人在并发程序精化验证领域取得突破，提出了一种基于依赖-保证的模拟技术(简称RGSim)，用以支持并发程序间的精化关系的模块化验证。研究成果已被计算机学科国际期刊TOPLAS正式录用。 程序精化验证旨在证明不同计算机程序
CNAS-GL41临床微生物检验程序验证指南
包括显微镜检查、分离培养及鉴定、药敏试验等在内的临床微生物的检验方法（检验程序）如何验证？很多人对此非常困惑。由CNAS2016.5.30新鲜发布的《临床微生物检验程序验证指南》犹如一盏明灯给大家指明了具体的方向。虽然是针对认可实验室制定的指南文件，其他实验室亦可参考。部分内容节选 显微镜检查