植物性转基因食品的检测与验证方法

根据转基因农作物中最常用的花椰菜花叶病毒启动子(CaMV 35S)和根癌农杆菌终止子(NOS)的序列，设计并合成了两对不同的引物，建立了PCR-酶切分析-Southern杂交检测并确认转基因成分35S启动子和NOS终止子的方法．并利用该方法对马铃薯、大豆、玉米、甜椒、番茄等实物样品进行了检测，发现13份样品中有6份检出35S启动子和NOS终止子，7份样品结果为阴性．结果表明建立的检测与验证方法能有效检出转基因作物及其食品中的35S启动子和NOS终止子，具有灵敏度高、特异性好和结果准确的特点，可应用于进出境产品的转基因成分检测．     

一类年龄依赖的流行病模型的动力学行为

对一类年龄依赖的流行病模型进行了系统的定性分析。运用泛函分析中的线性算子理论和C0-半群理论等，首先得到相应的流行病算子的谱特征，其次，证明了该模型非负解的存在惟一性，最后讨论了系统的稳定性。     

Halin图的有点面约束的边染色

研究了Halin 图的有点面约束的边染色，给出了Halin 图的有点面约束的边染色色数的一个精确结果.     

一种基于逻辑约束的软件设计过程验证方法及其工程实践

如何在软件设计过程中对软件需求加以正确描述和验证一直是软件开发过程中困扰开发者的重要问题之一.在传统UML面向对象的分析与设计方法的基础上,提出一种利用RSL对系统进行逻辑约束,在开发设计过程中不断进行系统逻辑规约验证的有效反方法.该方法提高了系统的稳定性与可靠性.我们还将该方法用于开发了一个教学管理系统以验证该方法的系统设计能力.     

浅析我国农村基本医疗服务提供的制度基础

介绍了农村基本医疗服务的内涵,分析了国家对农村基本医疗服务产品供给干预的必要性及基本手段,提出了医疗服务产品供给的激励与约束机制。     

非负矩阵因子分解用于中药GC/MS重叠峰解析

非负矩阵因子分解是对非负数据处理的一种多元统计分析方法.NMF分解结果没有“负值”，易于理解和解释，具有比较明确的物理化学意义.由于其多解的特征，文献介绍的NMF算法并不能直接用于化学混合信号解析.作者根据化学波谱的基本特征（化学波谱的平滑性、色谱的单峰性以及质谱的稀疏性）对NMF算法进行了改进，缩小了其多解范围.应用改进的NMF进行模拟HPLC-DAD型两维数据和苍术GC/MS实验数据解析，得到了比较理想的结果.     

CTCS-2系统及车站列控中心相关问题的探讨

介绍了CTCS-2级列车控制系统和车站列控中心,探讨了车站列控中心的相关问题并提出了一些建议。     

我国旅行社业入世承诺内容之分析

通过对我国旅行社业入世承诺内容的分析,阐述了旅行社业所作承诺的依据及其内容的可行性。     

藏区甘南州生态环境退化与传统经济相关分析

以甘南藏族自治州为例 ,系统地分析了传统经济与生态环境之间的相关关系 ,论文指出 ,由于资源的过度利用和传统利用方式 ,导致了生态环境质量下降和资源衰退、环境灾害频发 ,使生态环境与传统经济之间处于严重的不协调状态     

一种手写文字图形输入理论方法

提供了一种计算机手写文字图形输入理论方法.这个理论,可以预见的,在任何一个少数民族的象形字与表声字词的手写识别上可被灵活的应用,在任何一个象形字或表声字上可被灵活的应用.