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

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

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

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

投影带变换对长度变形的影响

文章对晋城矿区由矿区独立坐标系改用部定3°带平面坐标系后引起的边长影响进行了分析和计算,提出了应采取的对策及相关注意事项。     

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

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

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.     

跳频扩频系统的两种混沌扩频序列

介绍了跳频扩频通信系统的原理，给出了两种利用Chebyshev混沌映射产生数字混沌序列的方法，验证比较了其特性，结果均可满足扩频码的要求，同时搭建混沌跳频扩频系统进行了仿真，仿真结果证明了方法的正确性．     

微分变换在压杆稳定问题中的应用

通过一个例子说明微分变换法在压杆稳定问题中的应用方法。     

判异准则在标准差控制图上的应用

在标准差控制图的八个判异准则基础上,提出了相应的非对称标准差控制图的判异准则,分别给出了它们的实际报警率,并讨论了八个准则应用在标准差控制图时的平均运行长度。     

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

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

微尺度热传导的研究进展

介绍微尺度传热的研究方法及成果、微型换热器的结构，分析松弛时间理论近似线性化Boltnmnn方程散射项的实用性和局限性．提出微尺度热传导的时空问题，微冷却系统概念．微／纳米、飞／皮秒的传热问题，对传统工程热物理既是一场挑战，也是一场机遇。