复制受限的环境演算中模态逻辑的内涵性

环境演算(MA)的模态逻辑AL进行了研究．在考虑了复制操作和限制操作的情况下，提出了逻辑等价的协归纳操作描述，并利用协归纳关系与进程结构同余关系进行比较，证明了若对MA加上约束条件得到子集MAIF^syn，此时逻辑等价(=L)与结构同余关系是等价的，即AL在MAIF^syn中是内涵的．同时发现由于复制操作的存在，AL的内涵性受到了影响，使得AL的区分能力被削弱，但通过对复制公式的构造验证了AL的表达能力．     

多元χ演算运行时错误的不可判定性

针对多元χ演算运行时刻通信安全的判定性问题进行了研究．通过从Lazyλ项到χ项的编码，将判定一个Lazyλ项是否有范式的问题归约为进程是否有通信错误的问题．证明了在多元χ演算中，通讯错误也是不可判定的．结论说明不存在算法直接来检测进程的通信安全性，而只有通过其他间接的手段(如构造类型系统)才能部分达到预防运行时错误的目的．     

NDADAS系统的算法正确性构架

本文给出了算法设计过程的功能规格说明分解树模型,讨论了函数功能规格说明的性质和算法设计正确性的准则,并对NDADAS系统中的若干主要规则的正确性进行了验证。     

Arts：一个基于角色的信任管理系统

开放协同软件环境下软件系统的安全问题极大的影响了软件系统的开发与应用．信任管理是解决开放协同环境下软件系统安全问题的新新方法．信任管理系统为开放协同环境下的软件系统提供安全服务．本文将传统的基于角色的访问控制模型与信任管理思想相结合，设计了一个适用于开放环境的基于角色的信任管理系统Arts．文章给出了系统的设计思路和系统结构，阐述了设计开放环境下访问控制系统一种新方法．     

农药残留分析质量控制程序

一介绍 1本文件中的所有指南均适用于欧盟农药残留的测试.指南描述的分析质量控制(AQC)要求是为了确保检测数据的准确性,以便用于核查与最高残留限量(MRLS)的符合性,采取强制性措施或评估消费者暴露于农药的风险.关键目标是:     

通过柠檬酸改性提高载银活性炭的抗菌性能

通过负载柠檬酸对活性炭进行改性,用N2吸附法测定活性炭的比表面积,用AAS、SEM、XRD测试技术分析了银在活性炭上的吸附和分布,并研究了载银活性炭的抗菌性能。结果表明,负载柠檬酸使活性炭的比表面积下降约24％,但载银后活性炭的比表面积增大。柠檬酸改性为[Ag（NH3）2]^＋的还原吸附提供更多的活性点,使银的吸附速率加快,吸附量提高约25％,表面的银颗粒变得非常密集,粒径减小,且颗粒均匀,因此抗菌性能显著增强．其中对金黄色葡萄球菌的杀灭效果明显优于对大肠杆菌的,同时对于高分散Ag／C催化剂的制备及银的回收也具有重要的价值。     

超高效液相色谱法同时测定电子烟油中的5种吲哚/吲唑酰胺类合成大麻素北大核心CSCD

合成大麻素是目前世界上滥用最多的新精神活性物质之一,其结构多变,更新迅速,目前已发展至新型第八代吲哚/吲唑酰胺类。近年来与吲哚/吲唑酰胺类合成大麻素相关的案件逐渐增多,在实际案件中对缴获物中合成大麻素的定量分析需求随之增多,但相应的检验鉴定技术仍处于发展阶段。本研究针对电子烟油中5种常见的吲哚/吲唑酰胺类合成大麻素,建立了超高效液相色谱法对其同时进行定量分析测定。实验对流动相的种类、洗脱梯度、柱温、检测波长等色谱条件进行了优化,再结合外标法定量,实现了对5种合成大麻素的定量分析。样品用甲醇提取,在Waters ACQUITY UPLC CSH C18(100 mm×2.1 mm,1.7μm)色谱柱上进行分离,柱温35℃,流速0.3 mL/min,进样量1μL,乙腈和超纯水作为流动相进行梯度洗脱,检测波长为290 nm和302 nm。结果表明,采用该方法,5种合成大麻素可在10 min内完全分离,在1~100 mg/L范围内线性关系良好,相关系数(r^(2))均可以达到0.9999,检出限为0.2 mg/L,定量限为0.6 mg/L,满足实际样品分析需求。采用1、10、100 mg/L 3个水平的5种合成大麻素混合标准溶液进行精密度试验,日内精密度(n=6)均小于1.5%,日间精密度(n=6)均小于2.2%。以空白电子烟油为基质样品,在2、10、50 mg/L 3个加标水平下进行加标回收试验,各待测物的平均加标回收率为95.5%~101.9%,相对标准偏差(RSD,n=6)为0.2%~1.5%,准确度为-4.5%~1.9%。本方法具有准确、快速、灵敏、分离效果好等优点,适用于电子烟油中5种吲哚/吲唑酰胺类合成大麻素的定量测定,可满足相关鉴定工作的要求,也可为具有相似结构的合成大麻素的液相色谱定量分析提供参考。     

GC-MS/NCI稳定同位素稀释技术检测动物源性食品中氯霉素的残留量

建立了一种用于各种动物源性食品中氯霉素残留量的气相色谱-负化学离子源质谱(GC-MS/NCI)检测方法。以氘代氯霉素(D5-CAP)为内标物,用乙酸乙酯对各类样品中的氯霉素进行提取,用正己烷和40 g/L NaCl溶液液液分配除脂肪,基质复杂的样品再用Oasi HLB固相萃取柱净化,经硅烷化衍生后由GC-MS/NCI在选择离子监测模式下进行测定。多数样品在0.2,0.5,1.0μg/kg3个添加水平下氯霉素的回收率处于87.8%和107.0%之间,相对标准偏差(RSD)不大于8.5%。方法在2.0~80.0μg/L范围内有良好的线性关系,基质复杂样品中氯霉素残留的检出限达到0.1μg/kg,基质简单样品的检测限可达0.05μg/kg。方法适合各种动物源性食品中氯霉素残留量的确证分析。     

农药残留分析质量控制程序

八、分析方法和分析操作 方法确认 56 实验室内部应进行方法确认以验证方法的适用性.方法确认既是认可体系的要求,同时必须被操作过程的确认(不断发展的分析质量控制)所支持和扩展.方法中采用的所有程序步骤在可能的情况下都应被确认.如果一个方法欲被认可,在任何确认数据产生之前应向认可机构进行咨询.不同的认可机构对方法确认可能会有不同的准则.