连续小波变换-纯变量法解析气相色谱-质谱重叠信号

提出了连续小波变换-纯变量法(CWT-PVA)解析气相色谱-质谱(GC-MS)重叠信号的新方法.在CWT-PVA中,利用CWT对重叠色谱峰处理,得到重叠组分数目,再利用PVA解析重叠质谱数据,得到纯组分质谱信息,并进而计算出各组分色谱信息,在质谱和色谱两方面完成GC-MS重叠信号定性定量解析.结果表明,CWT-PVA是一种简便有效的GC-MS重叠信号解析方法.

非纯变量下标的数组类型恢复

逆编译中，复合数据类型恢复是最困难的问题．文中介绍按特征进行数据流分析，收集变量的各种定义和引用信息，然后通过计算地址表达式和合并地址区间的方法恢复数组类型。与其他方法不同之处在于，它可以恢复非纯变量下标引用的数组类型．文中最后分析了该方法的实际使用效果．

多复变量亚纯函数的第二基本定理和唯一性定理

本文给出了多复变量亚纯函数的第二基本定理的一个改进形式,并进一步得到了一个关于重值的唯一性定理(详见文[1-16])。