复杂型腔的环切加工

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

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

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

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

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

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

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

STL模型布尔运算的实现

首先建立STL模型的拓扑结构从而获得三角面片间的相邻关系．通过两个实体间的棱面相交性测试获得交点和交线，进而提取交线环．利用约束Delaunay方法对相交的三角形进行二次三角形划分，将相交表面沿交线环剖分为多个面域，利用射线法判断各个面域相对于另一实体的位置关系．通过提取相交环来决定有效的相交线降低了位置关系判断的复杂性，提高了布尔运算的稳定性．     

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

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

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.     

一类新的圈代数和它的Liouville可积演化方程族

基于Lie代数Aa-1的推广，构造了一类新的圈代数，并设计了一个新的谱问题。然后，利用屠格式获得了一个新的可职系统，并推导出它相应的非线性演化方程族，最后，证明了该演化方程族在Liouville意义下是可积的。     

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

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

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

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