电压零点启动技术及其在声光控制开关中的应用

采用电压零点启动技术,消除白炽灯启动时的大电流冲击,防止声光控开关中可控硅元件的启动电流过载,从而延长开关自身的使用寿命.     

服装生产销售闭环系统分析

本文提出服装生产销售闭环系统，并对其内涵作了多方面分析，文中强调了服装生产与服装市场的沟通，通过反馈可控系统进行信息流通，不断提高服装质量     

ZnO压敏陶瓷热处理实验的研究

ＺｎＯ压敏陶瓷在工作电压长期作用下，会产生电流蠕变现象，使Ｓｃｈｏｔｋｙ势垒不稳定．用正电子湮没技术（ＰＡＴ）证实：ＺｎＯ在适当温度下的氧化热处理，使氧离子Ｏ－或Ｏ２－吸附于晶界层内并有利于提高ＺｎＯ性能稳定性     

液氮垂直流动沸腾的双流体模型分析

采用双流体模型计算了液氮在垂直管内的上升流动沸腾过程,考察了壁面热通量和液体流量对流动及传热传质特征的影响.结果表明:垂直上升流动沸腾中重力压降占主导地位;根据截面液体温差的变化可判断沸腾模式的转变;壁面热通量与液相流量的相对大小决定了沸腾过程中的传热传质特征.     

制冷剂-润滑油混合物系管内流动沸腾阻力特性

基于制冷剂-润滑油混合物管内流动沸腾局部压降实验数据,定量分析了不同质量流率下油影响因子和两相增强因子随整体油浓度、局部油浓度以及干度的变化规律,局部油浓度考虑了含油制冷剂在流动沸腾过程中的非平衡传质.研究结果表明:基于制冷剂-润滑油混合物性的两相增强因子与局部油浓度具有良好的线性相关度,不同干度下斜率变化一致性良好;基于局部油浓度和混合物性的两相增强因子压降模型能较好地反映润滑油在制冷剂中的实际存在状态及对制冷剂压降的影响规律,且物理意义明确,其预测值与95%以上实验数据的偏差均在10%以内.     

基于TC9181的数字锁相频率合成器的设计

文章介绍了锁相环路频率合成器的基本原理,分析了集成锁相环芯片TC9181的工作特性,给出了基于集成锁相环芯片TC9181的“吞除脉冲”式串行数字锁相频率合成器设计方法,为高频频率合成器的设计提供了一个较好的思路。     

浙江乐清方言音系再探

乐清方言的声母有29个,具备了吴语方言的一个重要特征,即浊声母和清声母的对立。韵母30个,没有入声韵和鼻化韵。声调有8个,入声不是短促调,已变为舒声,是先降后升的曲折调。     

基于Loop细分方法的曲线插值

生成带有曲线插值约束的细分曲面,提出基于Loop细分方法的曲线插值方法,不需要修改细分规则,只需以插值曲线的控制多边形为中心多边形,向其两侧构造对称三角网格带,该对称三角网格带将收敛于插值曲线.因此,包含有该三角网格带的多面体网格的极限曲面将经过插值曲线.运用本方法可在三角网格生成的细分曲面中插值多条不相交的曲线.     

探索对外汉语文化教学的有效途径

语言和文化的关系密不可分,语言教学离不开文化传授。在对外汉语教学中,应把文化背景知识教学寓于语言课教学和实践课教学之中。在课堂教学过程中注意运用对比的方法,防止“负迁移”作用。注意区分留学生所属的“文化圈”,有针对性地因材施教。采取灵活多样的教学手段,促进文化交流与融合。     

A QUANTIFIER-ELIMINATION BASED HEURISTIC FOR AUTOMATICALLY GENERATING INDUCTIVE ASSERTIONS FOR PROGRAMS

A method using quantifier-elimination is proposed for automatically generating programinvariants/inductive assertions.Given a program,inductive assertions,hypothesized as parameterizedformulas in a theory,are associated with program locations.Parameters in inductive assertions arediscovered by generating constraints on parameters by ensuring that an inductive assertion is indeedpreserved by all execution paths leading to the associated location of the program.The method can beused to discover loop invariants-properties of variables that remain invariant at the entry of a loop.Theparameterized formula can be successively refined by considering execution paths one by one;heuristicscan be developed for determining the order in which the paths are considered.Initialization of programvariables as well as the precondition and postcondition,if available,can also be used to further refinethe hypothesized invariant.The method does not depend on the availability of the precondition andpostcondition of a program.Constraints on parameters generated in this way are solved for possiblevalues of parameters.If no solution is possible,this means that an invariant of the hypothesizedform is not likely to exist for the loop under the assumptions/approximations made to generate theassociated verification condition.Otherwise,if the parametric constraints are solvable,then undercertain conditions on methods for generating these constraints,the strongest possible invariant of thehypothesized form can be generated from most general solutions of the parametric constraints.Theapproach is illustrated using the logical languages of conjunction of polynomial equations as well asPresburger arithmetic for expressing assertions.