周晓煜的含意

该文针对协议数据流测试进行了研究,选择了构造类别代数来对协议数据流部分进行形式化描述,提出了相应测试方法.在此基础上,将其与有限状态机模型结合起来,对协议控制鋶和数据流进行完整测试.该文主要内容包含以下几个部分:1.提出了基于构造类别代数变异分析方法构造类别代数是一种特别适合于描述协议數据流形式化方法.该文对构造类别代数基本定义进行了扩展:...  

【摘要】:在高性能质谱仪中,气鋶对离子动力学影响引起了仪器设计和研发人员广泛关注,其中电场-气流场耦合效应也很早就被认识到会对仪器性能产生巨大影响(图1a)然而,電-气耦合场表征方法却极为匮乏。因为在升高压力区间,传统高真空(10-5托)下传统电场理论和模拟方法将不再适用为了解决这个问题,我们决定開发出一款专门研究电-气耦合离子仿真软件。在质量分析高真空环境(10-5托),如商业Qtrap质谱仪中Q3线形离子阱中,传统理论往往认为电场起主导作用而忽略这里动态气流效应(图1b)但是,通过电-气耦合仿真,我们发现在这里动态气流对离子在离子阱中囚禁起着关键作用:从高气压(如10-3托)渗透气流会極大增加离子-中性分子碰撞概率,从而极大帮助离子在质量分析装置里囚禁效率。对可卡因,葡萄糖和血管舒缓肽离子而言,相比静态气流,动态氣流能够提高离子囚禁效率540倍左右,并且在不同仪器参数下,我们模拟都能很好吻合实验结果(图1c)质谱仪大气压进样接口处设计直接关系到离孓传输效率和仪器灵敏度,然而其中复杂气流和离子动力学行为使得该设计工作变得极为困难。电-气耦合仿真能为此带来极大便利,它可以完整地获得一台质谱仪器整机从大气压下离子源处到仪器真空内部离子传输效率(图1d)例如,在Qtrap质谱仪,我们针对不同大气压进样条件,将模拟和试驗结果进行了对比。我们发现在不同试验对照组里,我们模拟和实验结果都能很好地吻合,包括不同nano ESI与质谱进样接口距离(图1e)、卷帘气流速和针孔电极电压我们工作证实了气流在质谱中重要作用以及电-气耦合仿真对仪器设计重要性。我们相信电-气耦合仿真在未来高性能质谱仪器研发工作中会发挥越来越重要作用

支持CAJ、PDF文件格式,仅支持PDF格式


邱纯一;霍卫国;王子树;傅道韫;;[J];分析化学;1979年06期

我要回帖

更多关于 含义 的文章

 

随机推荐