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

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

基于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.     

算法归纳设计策略与循环不变式

分析了算法归纳设计策略与循环不变式之间的关系,提出把算法设计与循环不变式的构建相结合的思想,并通过实例说明其有效性和重要性.     

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

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

鼓泡塔和内循环气升式生物反应器混合特性比较

用脉冲示踪法测试了鼓泡塔和内循环气升式生物反应器的停留时间分布，对其流动混合特性作了比较研究．结果表明，内循环气升式生物反应器停留时间分布得到改善，强化了气液传质，有更好的混合效果，提高了反应效率．多参数模型较单参数模型能显著地反映出两种反应器的混合特性及其差别，移位对数正态分布函数模型对实验值的吻合程度优于组合模型．     

采用步进电机驱动的摩擦传动微进给机构

为解决微小型机电系统大行程、高精度进给的问题,设计实现了一种由旋转电机驱动的摩擦传动微进给机构。采用对称预紧设计使加于摩擦传动主支承轴承上的预紧正压力的合力为零、从而减少传动误差。当步进电机采用5万步/转细分驱动时,经减速比为10:1的摩擦传动机构,输出直线位移分辨率可达到0.16μm。位移测试实验显示该摩擦传动微进给机构具有可靠的运动传递性能,系统的位移输出特性基本上取决于所采用的步进电机及细分驱动电路的特性。进给速度可通过改变驱动脉冲的频率调节,机构在高频驱动大位移动作时亦表现出准确的步进特性,可用于小型机电系统的开环进给驱动。     

用EIB对变形纱的外观形态和膨松性的测试与探讨

为了对变形纱的外观形态和膨松性进行更好的评价，利用EIB对几种线密度较接近的棉纱、毛纱、低弹丝和空变纱分别进行测试，可以获得纱线的毛羽、丝圈或丝弧的数据、分布情况、形态图及纱线的直径；根据测试得到的数据，利用新建立的表征变形纱膨松性的指标进行比较和评价，得出用这种方法来评价是可行的，且低弹丝的膨松性较高。     

广义Burgers方程族的一类扩展可积模型

首先构造了loop代数A1的一个新的子代数,再将其扩展为一个高维的loop代数G,利用G设计了一个新的等谱问题,应用屠格式求出了名的Burgers方程族的一类扩展可积模型。