关于Farkas引理证明的一点注记

许多关于非线性规划的专著,如[1]、[2]、[3]等,在证明Farkas引理时都蕴含地用到:“有限生成的凸锥(finitely generated convex cone)为闭集”这样一个事实,但都忽略了对此作出证明。本文旨在于非线性规划的内容范围内证明这一重要事实,从而对上述专著中Farkas引理的证明作出补充。     

基于峭度的组分分析方法解析重叠峰

基于峭度的组分分析方法用来解析重叠峰．其优点是半盲源分离，即只要确定出重叠峰所含组分的数目，就能从混合波谱中分离出纯组分谱．采用CABK来解析模拟两组分重叠峰体系和酒样的GC-MS混合谱，得到了令人满意的结果．     

动态气体校准仪的研究和应用

介绍了计算机控制动态气体校准仪的工作原理及实现过程，采用V／F板作为计算机和气体供给系统的接口，并通过C语言编程，较为友好的界面，实现了高精度浓度各种校准气体的产生。     

疏水色谱法及其在生物大分子分离纯化中的应用

综合评述了疏水相互作用色谱法（hydrophobic interaction chromatography,HIC)的理论及其在生物大分子分离纯化方面的研究进展。     

基于协方差矩阵的自适应盲分离算法

提出了一种新的线性混叠信号的盲分离算法,该算法利用信号相互独立时其协方差矩阵的对角化特征作为分离准则,采用最速下降法进行分离.该算法对源信号和混叠矩阵没有过多要求且计算量不大,理论分析与仿真结果表明:该算法具有很好的分离效果.     

核动力装置模拟器就地系统中双机通讯的实现

利用微机软仿真实现模拟器就地系统中仪表的动态实时显示和开关的实时控制，可以节省的大量外部设备，提高系统可扩充性。本文介绍了该技术实现的方法，即服务器与客户机之间数据双向通讯的实现途径。经实践验证，本文的方法是正确、可行的。     

内燃机进、排气系统噪声及控制

内燃机噪声一直是我国内燃机行业重点攻克的难关.其噪声除了内燃机本体表面振动辐射产生的外,气体动力也产生噪声,而气体动力产生的噪声又包括进气噪声、排气噪声和风扇噪声.     

小型冷藏装置中制冷剂的最佳选择

本文对小型冷藏装置采用不同制冷剂(R12、R22、R502)进行了技术经济分析．根据理论计算和产品性能试验的数据统计分析，表明在采用自然对流式蒸发器时，小型冷藏装置的制冷剂以R12为佳。     

基于k-分辨-FB级数展开的多分量LFM信号分离

针对傅里叶-贝塞尔变换(FBT)难以估计和有效分离多分量LFM信号的问题,提出了一种k分辨-FB(k-FB)级数展开结合dechirp的信号分离与估计算法。在FB级数的基础上引入k分辨参数,通过理论推导,得出了信号频率与级数的关系,证明了参数估计精度与k取值正相关。通过解线频调和k-FB级数计算,实现了信号分离重构和参数估计。在不同信噪比、信号功率比和k分辨条件下对信号的分离精度进行了仿真研究,并与基于分数阶傅里叶变换(FrFT)的方法进行了对比。仿真结果验证了算法的有效性。     

抑制整流装置对电网干扰的新措施

介绍整流器装置对电网干扰的新颖的抑制措施。