玻璃容器模具图参数化法

研究了玻璃容器模具图在CAD系统中的图形处理技术——把AutoCAD强大的绘图功能与高级语言强有力的计算、输入、输出等功能相结合,实现了AutoCAD自动绘图。     

基于特征的车身覆盖件参数化建模方法研究

研究基于特征的车身覆盖件参数化建模方法。在车身覆盖件建模中引入了特征建模概念,针对车身覆盖件的结构特点及其形状特征的生成机理,提出车身覆盖件形状特征分类方法,归纳体特征控制参数和面特征控制参数。以ＱＣＪ７０８２微型轿车车门内板为例,建立了基于特征的车门内钣参数化模型。应用基于特征的参数化建模方法,可以方便地实现车身覆盖件参数化模型的建立。     

全节点空间MPI同步通信死锁检测

针对全节点空间上MPI同步通信程序死锁检测的现有穷举方法的弱点,提出了该场景中MPI程序的两种参数化模型:一次参数化模型和二次参数化模型.通过分析一次参数化模型的一类不变式的性质,给出了该模型的死锁检测算法.提出了同构节点空间的一系列概念和性质并由此设计出该算法的几种优化方法,以加快某些特定程序模型死锁检测的过程.仿真实验表明该算法及其优化方法比现有方法的性能提高若干数量级.     

Parameter Ecology for Feedback Vertex Set

This paper deals with the FEEDBACK VERTEX SET problem on undirected graphs, which asks for the existence of a vertex set of bounded size that intersects all cycles. Due it is theoretical and practical importance,the problem has been the subject of intensive study. Motivated by the parameter ecology program we attempt to classify the parameterized and kernelization complexity of FEEDBACK VERTEX SET for a wide range of parameters.We survey known results and present several new complexity classifications. For example, we prove that FEEDBACK VERTEX SET is fixed-parameter tractable parameterized by the vertex-deletion distance to a chordal graph. We also prove that the problem admits a polynomial kernel when parameterized by the vertex-deletion distance to a pseudo forest, a graph in which every connected component has at most one cycle. In contrast, we prove that a slightly smaller parameterization does not allow for a polynomial kernel unless NP coNP=poly and the polynomial-time hierarchy collapses.     

CFS/GFS混杂加固RC梁界面应力的参数化分析

采用非线性有限元方法对混凝土梁FRP粘胶层的界面力学性能进行参数化研究,并将所得的界面应力与解析解对比,吻合较好.在此基础上建立了CFS/GFS混杂加固梁界面有限元模型,并将其与双层CFS加固梁进行数值对比研究,结果表明:混杂加固可以有效地控制纤维布末端的界面剪应力,并且界面正应力也有所降低,这种加固方式具有优良的界面混杂效应.文中还就荷载、胶层弹性模量、胶层厚度、纤维布宽度对界面力学性能的影响进行了对比分析,计算结果表明:随着荷载与胶层弹性模量的增加以及胶层厚度的减小,端部界面应力成比例增加,而纤维布宽度在一定范围内变化时,端部应力基本上没有变化.     

基于特征的轴参数化绘图系统

研究了基于特征的轴零件参数化绘图系统。先对轴进行了分类、特征分析;然后在AutoCAD中设计了系统的专用菜单和图像块菜单;利用几何造型技术、面向对象技术和参数化设计技术等,以ObjectARX为开发工具,建立了一个界面友好的轴参数化绘图系统,实现了按选定的比例绘制轴的零件工作图,提高了轴的设计效率。     

磁流变阻尼器参数化动力学模型研究进展

磁流变阻尼器(magnetorheological damper,简称MR阻尼器)是一种智能型驱动装置,在土木工程中具有很好的应用前景．详细综述了磁流变阻尼器参数化动力学模型的研究现状,分析了各种模型的优缺点;并对如何设计充分发挥磁流变阻尼器在不同电压下耗能能力的控制策略进行了探讨．指出神经网络和模糊逻辑技术的应用是解决这一问题的有效途径。     

极大变指标Herz空间上的参数型粗糙核Littlewood-Paley算子

借助变指标Lebesgue空间上的有界性,利用函数分层分解和实变技巧,得到了参数型粗糙核Marcinkiewicz积分、面积积分和 Littlewood-Paley g^*_λ函数在极大变指标Herz空间上的有界性。同时也证明了面积积分和Littlewood-Paley g^*_λ函数高阶交换子的有界性。