逻辑系统Logical system L(infinite-ary; infinite∨∧, Qx,complete)(或者谓词系统L(≤w;≤w,Qx, complete))

在本文中,逻辑系统(或者谓词系统)L(≤w;≤w,Qx,complete)被提出,并且一些性质被证明     

连续式处理室中橙汁的PEF非热处理

以橙汁为对象,采用自行研制的方波脉冲电源与连续式处理室进行PEF杀菌研究.通过对连续式处理室结构的优化,缓解处理过程中气泡引发的放电现象,减少处理过程中因放电引发的不良影响,为实验室设备连续工作提供必要的保证.试验结果表明,经过PEF处理(12.5 kV/cm, 340 μs)后的橙汁中的细菌菌落数由2 200 cfu /mL下降到20 cfu/mL,酵母与霉菌的菌落数由1 500 cfu/mL下降到10 cfu/mL.处理后的橙汁在0 ℃低温贮藏20 d后,仍未发现微生物的明显增长,而且发现PEF处理的橙汁色泽、香气和口感均明显优于传统的瞬态热处理方法(90 ℃,15 s).     

大型发电机主保护配置方案的优化设计

为保证大型发电机组的高质量安全运行,提出了主保护配置方案的优化设计方法.通过对5台不同绕组形式水轮发电机主保护设计实例的归纳总结,发现应在内部故障全面仿真计算的基础上,根据发电机绕组结构的不同而采取不同的优化设计过程.基于定量化设计的优化设计过程纠正了工程界以容量相等或相近为理由而互相搬用主保护配置方案的错误做法.该方法兼顾了设计的科学性和实用性,已在一系列大型机组主保护的设计中得以验证.     

双馈发电机最大风能捕获和转换策略的仿真

为了最大限度地利用风能,提高风力发电系统的效率,提出了一种既可实现双馈发电机系统低于额定风速下的最大风能捕获又可使得电机铜耗最小化运行的优化控制策略。在分析风力机特性和双馈发电机基本电磁关系的基础上,推导了双馈发电机实现最大风能捕获和转换的定子有功功率和无功功率的数学模型,并应用基于动态同步轴系下的双馈发电机励磁控制策略实现了系统的最优控制。利用Matlab/Simulink对不同风速下双馈发电机系统的运行性能进行了分析和比较,结果验证了该控制策略的正确性和可行性。     

水轮发电机推力轴承的广义热弹性流体动力润滑性能分析

本文以二维雷诺方程、能量方程、三维热传导和三维热弹位移边界积分方程为基础,用边界元法求解油膜压力、瓦体温度场和瓦面热弹位移,编制了一个较完善的热弹性流体动力分析软件.利用这一软件,计算了托盘支承双层水冷可倾瓦轴承的热弹性流体动力性能,研究了载荷、转速、隔热层或热阻、水冷瓦、油池温度和托盘变形等因素对轴承性能的影响.结果指出,重载时轴瓦的热弹变形将导致工作条件恶化,接触热阻或隔热层对于改善瓦的变形是有利的,水冷瓦可以降低瓦温并改善瓦的变形,油池温度对各项性能有较大影响,托盘变形的影响很小.     

燃气轮机发电装置最佳效率初探

基于作者以前求得的燃气轮机发电机组价格半经验公式，初步探讨了这种装置应选用的最佳效率值，给出其计算办法，还指出了求解这时燃气轮机最佳压比的办法。     

Schur代数S(2,d)的理想

L=sl2(K)是特征为0的代数闭域上的三维李代数，具有基{x，y，h)．给出了包络代数U(sl2(K))上任一有限维单模V(n)若干次张量积的零化理想的生成子描述：Ann(V(n)^φm)=((h mn)(h mn-2)…(h-mn 2)(h-mn))．由此得到Schur代数S(2，d)的理想个数为2^[d/2] 1，素理想为(z^m，g(c))／(x^d 1，Пj=0^[d/2](c-(d-2j 1)^2 1))，其中c=h^2 4xy-2h，m=d-2i 1，g(c)=c-m^2 1，i=0，1，2，…，[d／2]，或m=0，g(c)=1，共有[d／2] 2个．     

纵向涡发生器在翅片管束中的位置优化

采用经过验证的层流模型,对带纵向涡发生器的单排翅片管束的流动换热进行建模分析,就距离圆心4种距离、5种角度的纵向涡发生器对翅片管束性能的影响机理展开分析,发现涡发生器对翅片管束的作用表现在翅片上弱换热区大小的改变和沿流动方向涡量强度的改变两个方面.涡发生器能够推迟圆柱绕流的分离点进而减小管后弱换热区,同时能够利用较大涡量的主涡使局部核心区的流体混合,提高流体的温度梯度.对比结果表明,在雷诺数范围为600～2 600,对单排圆管翅片管束而言,涡发生器相对翅片管束圆管中心为130°同时离圆心相对距离为1.36时效果最好,综合性能指标提高7%～30%;对于两排翅片圆管管束,顺排和叉排都在第二排涡发生器角度为120°时效果最好,综合性能指标提高分别可达15%和28%.     

发电机转速数字测量技术

根据发电机转速测量的技术要求,提出了多种可行测量方法,以及相应的分辨率和最低可测频率的计算。并着重讨论了Ｉｎｔｅｌ８２５３定时器／计数器为核心心的门探测量法,及８０１９６ＫＣ１６位单片机为ＣＰＵ的捕 测量法,给出了硬件框图和编程要点。     

交直流混合供电同步发电机稳态性能的仿真

为了考虑磁路饱和和整流绕组因整流元件的开关引起的电流变化对交流绕组电压波形畸变率和直流电压的影响 ,将电机的多回路理论与有限元方法结合建立了交直流混合供电同步发电机的数学模型 ,利用关联变换建立绕组、整流桥与负载间的联接。对发电机不同负载时的稳态性能进行了仿真 ,该法考虑了由于凸极效应、磁路饱和、绕组布置以及定转子齿槽的影响产生的空间谐波磁场的作用。计算结果与实验结果进行了比较证明了数学模型的正确性