期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到9篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
序列折半划分问题的形式化推导
1
作者 左正康 梁赞杨 +3 位作者 苏崴 黄箐 王渊 王昌晶 《计算机工程与科学》 CSCD 北大核心 2022年第6期1063-1071,共9页
形式化推导是在程序正确性证明理论下所进行的程序开发,最终得到完全正确的算法程序。针对序列折半划分问题,现有的形式化推导方法将推导与证明交替进行,推导过程繁琐且大多无法直接获得可执行程序。为解决上述问题,提出了一种新的序列... 形式化推导是在程序正确性证明理论下所进行的程序开发,最终得到完全正确的算法程序。针对序列折半划分问题,现有的形式化推导方法将推导与证明交替进行,推导过程繁琐且大多无法直接获得可执行程序。为解决上述问题,提出了一种新的序列折半划分问题的形式化推导方法。该方法基于分划递推的核心思想,应用规约变换技术对问题规约进行变换并严格保证一致性,使得在推导过程中无需交替证明,进而导出递推关系式并得到高可靠性抽象算法程序Apla,最终通过转换工具自动生成可执行程序。实现了从程序规约到具体可执行程序的完整程序求精过程。以2个序列算法为例,验证了该方法的有效性和可行性,对相关问题的形式化推导具有指导意义。 展开更多
关键词 折半划分 形式化推导 分划递推 程序求精
下载PDF
某养殖场鸡源粪肠球菌分离鉴定及耐药性研究 被引量：10
2
作者 苏崴艺 李欣南 韩镌竹 《现代畜牧兽医》 2014年第4期48-50,共3页
本文从辽宁某鸡场100份肉鸡盲肠拭子中分离获得粪肠球菌24株,通过ATB细菌鉴定仪进行鉴定确认为粪肠球菌,并对这24株粪肠球菌进行了14种抗生素的药敏试验。结果显示,粪肠球菌对青霉素、万古霉素、氨苄西林和替拉考宁敏感;对红霉素、氯霉... 本文从辽宁某鸡场100份肉鸡盲肠拭子中分离获得粪肠球菌24株,通过ATB细菌鉴定仪进行鉴定确认为粪肠球菌,并对这24株粪肠球菌进行了14种抗生素的药敏试验。结果显示,粪肠球菌对青霉素、万古霉素、氨苄西林和替拉考宁敏感;对红霉素、氯霉素、环丙沙星、四环素、左氧氟沙星和奎奴普汀/达福普汀耐药,耐药率均达到100.0%,养殖场抗菌药物耐药严重。 展开更多
关键词 粪肠球菌 抑菌作用 最低抑菌浓度
下载PDF
超高效液相色谱—串联质谱法测定牛奶中6种玉米赤霉烯酮类霉菌毒素的残留 被引量：7
3
作者 韩镌竹 田晓玲 +4 位作者 丛鑫 李香珍 苏崴艺 李永才 李欣南 《中国畜牧兽医》 CAS 北大核心 2013年第S1期46-49,共4页
试验旨在建立牛奶中6种玉米赤霉烯酮类霉菌毒素残留的超高效液相―串联质谱检测方法。牛奶样品经乙腈提取,免疫亲和柱净化,C18色谱柱分离,以0.02%(V/V)乙酸―水/甲醇为流动相,采用梯度洗脱方式进行液相色谱分离,多反应监测模式,外标法... 试验旨在建立牛奶中6种玉米赤霉烯酮类霉菌毒素残留的超高效液相―串联质谱检测方法。牛奶样品经乙腈提取,免疫亲和柱净化,C18色谱柱分离,以0.02%(V/V)乙酸―水/甲醇为流动相,采用梯度洗脱方式进行液相色谱分离,多反应监测模式,外标法进行定量。牛奶中6种玉米赤霉烯酮类霉菌毒素的检测限可达到1.0μg/L,且在2.5~100.0μg/L的浓度范围内,线性关系良好。该方法专属性强、灵敏度高、分离度好,适用于牛奶中的6种玉米赤霉烯酮类霉菌毒素残留的测定。 展开更多
关键词 玉米赤霉烯酮类 超高效液相色谱―串联质谱 牛奶
下载PDF
生鲜乳中β-内酰胺酶微生物法检测 被引量：6
4
作者 李欣南 韩镌竹 苏崴艺 《中国乳品工业》 CAS CSCD 北大核心 2015年第3期57-59,共3页
目前对生鲜乳中β-内酰胺酶的检测方法主要有高效液相色谱法和微生物检测法(杯碟法)。其中微生物检测法准确率较高,适于具有微生物检测能力的检验机构使用。本文针对微生物检测法中涉及的一些技术问题及注意事项进行整理和分析,便于相... 目前对生鲜乳中β-内酰胺酶的检测方法主要有高效液相色谱法和微生物检测法(杯碟法)。其中微生物检测法准确率较高,适于具有微生物检测能力的检验机构使用。本文针对微生物检测法中涉及的一些技术问题及注意事项进行整理和分析,便于相关检验人员借鉴参考。 展开更多
关键词 Β-内酰胺酶 微生物法 生鲜乳
下载PDF
超高效液相色谱—串联质谱法测定生鲜乳中6种农药的残留 被引量：6
5
作者 韩镌竹 田晓玲 +4 位作者 李香珍 李欣南 苏崴艺 李永才 丛鑫 《中国畜牧兽医》 CAS 北大核心 2013年第S1期62-67,共6页
本试验建立了生鲜乳中西草净、枯草隆、西码津、莠去津、乙草胺和丁草胺残留量的超高效液相―串联质谱检测方法。牛奶样品用乙腈提取,经固相萃取柱净化,C18色谱柱分离,以0.1%(V/V)甲酸―水/乙腈为流动相,采用梯度洗脱方式进行液相色谱分... 本试验建立了生鲜乳中西草净、枯草隆、西码津、莠去津、乙草胺和丁草胺残留量的超高效液相―串联质谱检测方法。牛奶样品用乙腈提取,经固相萃取柱净化,C18色谱柱分离,以0.1%(V/V)甲酸―水/乙腈为流动相,采用梯度洗脱方式进行液相色谱分离,多反应监测模式,外标法进行定量。结果发现,西草净、枯草隆、西码津、莠去津、乙草胺和丁草胺的检测限分别为0.1、1.0、0.2、0.1、4.0和4.0μg/L,线性范围分别为1.0~50.0、10.0~500.0、1.0~50.0、1.0~50.0、20.0~1000.0和20.0~1000.0μg/L。表明该方法专属性强、灵敏度高、分离度好,适用于生鲜乳中西草净、枯草隆、西码津、莠去津、乙草胺和丁草胺残留量的测定。 展开更多
关键词 超高效液相色谱―串联质谱 农药 生鲜乳
下载PDF
利用多重PCR-RFLP同时检测羊肉及掺杂其中的肉类 被引量：5
6
作者 韩镌竹 李欣南 +1 位作者 苏崴艺 于雷 《食品研究与开发》 CAS 北大核心 2014年第14期87-90,共4页
以纯羊肉为原料,按2%、5%和10%的重量比在羊肉中掺杂鸡肉、猪肉和鼠肉,通过基因组DNA提取试剂盒法提取DNA,利用多重多聚酶链反应(Polymerase Chain Reaction,PCR)及限制性片段长度多态性(Restriction Fragment Length Polymorphism,RFLP... 以纯羊肉为原料,按2%、5%和10%的重量比在羊肉中掺杂鸡肉、猪肉和鼠肉,通过基因组DNA提取试剂盒法提取DNA,利用多重多聚酶链反应(Polymerase Chain Reaction,PCR)及限制性片段长度多态性(Restriction Fragment Length Polymorphism,RFLP)分析同时检测羊肉及掺杂其中的其他肉类。结果表明,通过多重PCR扩增,可以有效的检测出纯羊肉及其掺杂的鸡肉、猪肉和鼠肉,检出限为2%。 展开更多
关键词 羊肉 多重PCR—RFLP 掺假检测
下载PDF
超高效液相色谱-串联质谱法同时测定生鲜乳中7种β-内酰胺类抗生素残留 被引量：4
7
作者 李欣南 韩镌竹 苏崴艺 《现代畜牧兽医》 2013年第11期40-46,共7页
本试验建立了生鲜乳中7种β-内酰胺类抗生素残留的超高效液相-串联质谱检测方法。样品用乙腈提取，经固相萃取柱净化，C18色谱柱分离，以0．1％（v／v）甲酸-水（含0．5mmol／L乙酸铵）／乙腈为流动相，采用梯度洗脱方式进行液相色谱分... 本试验建立了生鲜乳中7种β-内酰胺类抗生素残留的超高效液相-串联质谱检测方法。样品用乙腈提取，经固相萃取柱净化，C18色谱柱分离，以0．1％（v／v）甲酸-水（含0．5mmol／L乙酸铵）／乙腈为流动相，采用梯度洗脱方式进行液相色谱分离，多反应监测模式，外标法进行定量。氯唑西林、苯唑西林、氨苄西林、青霉素G、头孢氨苄、头孢噻呋和头孢喹肟的检测限均为1．0ug／L，线性范围分别为5．0～200．0、5．0～200．0、2．0～100．0、2．0～100．0、10．0～500．0、10．0～500．0和2．0～100．0g／L。该方法专属性强、灵敏度高，分离度好，适用于生鲜乳中氯唑西林、苯唑西林、氨苄西林、青霉素G、头孢氨苄、头孢噻呋和头孢喹肟残留量的测定。 展开更多
关键词 超高效液相色谱-串联质谱 Β-内酰胺类抗生素 生鲜乳
下载PDF
利用复式PCR检测牛奶中掺杂的大豆源性成分 被引量：1
8
作者 韩镌竹 苏崴艺 李欣南 《中国乳品工业》 CAS 北大核心 2014年第6期55-57,共3页
以纯牛奶为原料,按不同浓度在牛奶中掺杂大豆,通过热解法、基因组DNA提取试剂盒法、异硫氰酸胍法及热解-异硫氰酸胍联用法提取DNA,利用复式PCR技术同时检测牛奶及大豆源性成分。结果表明,通过热解-异硫氰酸胍联用法提取得到的牛奶和大... 以纯牛奶为原料,按不同浓度在牛奶中掺杂大豆,通过热解法、基因组DNA提取试剂盒法、异硫氰酸胍法及热解-异硫氰酸胍联用法提取DNA,利用复式PCR技术同时检测牛奶及大豆源性成分。结果表明,通过热解-异硫氰酸胍联用法提取得到的牛奶和大豆基因组含量最高,利用两对引物进行复式PCR扩增,可以有效的检测出牛奶及其掺杂的大豆源性物质,并将两者区分开来。 展开更多
关键词 牛奶 复式PCR扩增 大豆源性物质
下载PDF
断路器本体三相不一致保护回路优化的研究 被引量：21
9
作者 田传锋 宋仁栋 苏晟崴 《电网与清洁能源》 2014年第11期32-35,41,共5页
目前福建220 kV及以上电压等级电网断路器三相不一致保护普遍采用本体三相不一致保护回路的实现方式。现场运行中,由于三相不一致出口继电器损坏、干扰、强磁场及人为等因素导致断路器三相不一致保护误动作,对电网安全稳定运行造成一定... 目前福建220 kV及以上电压等级电网断路器三相不一致保护普遍采用本体三相不一致保护回路的实现方式。现场运行中,由于三相不一致出口继电器损坏、干扰、强磁场及人为等因素导致断路器三相不一致保护误动作,对电网安全稳定运行造成一定影响。详细分析了断路器本体三相不一致保护的工作原理,并在此基础上提出了二次回路优化方案,通过现场相关试验,验证了优化方案的合理性和可靠性。 展开更多
关键词 三相不一致保护 出口继电器 二次回路
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部