开环放大倍数对反馈控制系统稳定性的影响

本文重点分析开环放大倍数对反馈控制系统稳定性所起的重要作用。并用“拉普拉斯变换”与“传递函数”方法从理论上说明了开环放大倍数对系统稳定性所扮演的重要角色。     

Thermal-hydraulic Stability Analysis of Nuclear Heating Reactors

Ｔｈｅｒｍａｌ－ｈｙｄｒａｕｌｉｃＳｔａｂｉｌｉｔｙＡｎａｌｙｓｉｓｏｆＮｕｃｌｅａｒＨｅａｔｉｎｇＲｅａｃｔｏｒｓＬｉＪｉｎｃａｉ（李金才）；ＧａｏＺｕｙｉｎｇ（高祖瑛）；ＺｈａｎｇＺｕｏｙｉ（张作义）（ＩｎｓｔｉｔｕｔｅｏｆＮｕｃｌｅａｒＥｎｅｒ...     

Model Tests of Coolant Thermal Mixing in the HTR-10 Hot Gas Plenum

ＭｏｄｅｌＴｅｓｔｓｏｆＣｏｏｌａｎｔＴｈｅｒｍａｌＭｉｘｉｎｇｉｎｔｈｅＨＴＲ－１０ＨｏｔＧａｓＰｌｅｎｕｍＹａｏＭｅｉｓｈｅｎｇ（姚梅生）；ＨｕａｎｇＺｈｉｙｏｎｇ（黄志勇）；ＭａＣｈａｎｇｗｅｎ（马昌文）；ＸｕＹｕａｎｈｕｉ（徐元辉）（Ｉｎｓｔ...     

固定化酵母流化床生物反应器的设计与实验

介绍了制取酒精用的固定化酵母流化床生物反应器的设计与计算.设计计算的主要依据是2年多的实验参数及酒精发酵理论.流化床生物反应器的设计计算公式、主体部件图和工艺流程,年产30t和107t酒精的反应器经试运转证实反应器的设计计算正确,工艺合理.     

复杂型腔的环切加工

提出了基于离散逼近的二维轮廓偏置计算方法．边界轮廓的离散逼近不仅要满足边界的逼近精度，而且产生的偏置折线要求满足对偏置曲线的逼近精度．在分析了相邻原始曲线交点及其偏置点与偏置曲线交点的几何关系后，提出了相邻偏置曲线裁剪求交的新算法，减少了求交计算量．同时提出了一种基于干涉判别的环分类准则，提高了环分类的正确性     

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

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

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

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

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.     

焙烧炉风机电机的起动与保护

文章对 1# 焙烧炉新增风机电机 (180 0kW)在试车过程中出现的典型故障进行了系统的分析 ,提出了相应的改进方案和措施 ,保证了风机电机的正常运行     

动态乘数-加速数模型的输出反馈控制问题的讨论

利用状态空间法对动态乘数 加速数模型能否设计输出反馈控制问题进行了讨论。从而得出:在一般情况下,无法对该系统设计一个输出反馈控制G(t)=HY(t);但对于特殊情况(G(t)<0),可以对该系统设计一个输出反馈控制G(t)=HY(t),使开环系统由不稳定变为闭环系统稳定,并给出了可以实现输出反馈控制的条件。