迭代序列强收敛于m-增生型变分〗包含解的充要条件

研究了Banach空间中一类m-增生型变分包含解的存在性及其具随机误差的Ishikawa迭代逼近问题，得到了迭代序列强收敛于变分包含问题的唯一解的若干等价条件.     

一种新颖的编辑距离限制下的相似性确认算法

针对相似性确认步骤中编辑距离计算的高复杂性问题,提出了一种在编辑距离限制下的基于鸽笼原理的字符串相似性确认算法.首先找到满足编辑距离片段映射的片段,以此片段为基准,将长度为500bp的read分段.然后对满足编辑距离片段映射的左右部分递归地进行编辑距离计算,将各段得到的编辑距离相加即为最后结果.最后根据最长公共子串的下限将需要验证的片段数目降到最低,得到优化方案.实验结果表明,基于鸽笼原理的分段递归计算编辑距离的确认算法减少了验证步骤的时间,并能保证假阳率和假阴率都为零.     

Proposed Methodology for Generation of Building Information Model with Laserscanning

For refurbishment and state review of an existing old building, a new model reflecting the current state is often required especially when the original plans are no longer accessible. Laser scanners are used more and more as surveying instruments for various applications because of their high-precision scanning abilities. For buildings, the most notable and widely accepted product data model is the IFC product data model. It is designed to cover the whole lifecycle and supported by various software vendors and enables applications to efficiently share and exchange project information. The models obtained with the laser scanner, normally sets of points ("point cloud"), have to be transferred to an IFC compatible building information model to serve the needs of different planning states. This paper presents an approach designed by the German Research Center in Karlsruhe (Forschungszentrum Karlsruhe) to create an IFC compatible building information model from laser range images. The methodology through the entire process from data acquisition to the IFC compatible product model was proposed in this paper. In addition, IFC-Models with different level of detail (LoDs) were introduced and discussed within the work.     

关于集值映射变分原理的一般形式

该简报称获得一个关于集值映射变分原理的一般形式,它蕴涵许多已知的集值型Ekeland变分原理及其改进.     

在机检测中STL格式自然二次曲面特征参数的提取

根据工件的几何特征及其参数进行测量轨迹规划是在机检测系统中重要的环节之一.为了从STL(stereo lithographic)文件中提取出其所描述的工件模型的几何特征及参数,给出了一种针对其数据文件格式特点的自然二次曲面特征参数提取新方法.该方法首先根据三角面片法向量在高斯球面的映射图像判定自然二次曲面几何特征,然后将快速聚类法和Gauss-Newton法相结合,对STL文件中坐标点进行几何特征参数的计算.计算实例表明,该算法能够稳定、准确地提取出自然二次曲面的几何特征参数.     

基于微元件键合图库的微机电系统动态建模与仿真

为了更好地支持微机电系统(MEMS)TopDown设计流程,针对MEMS仿真中的多能量域与非线性特点,采用键合图场元件与结型结构设计并实现了一个集中参数表达的MEMS键合图仿真元件库,同时基于该元件库提出了一种MEMS动态系统建模与仿真方法.采用参数化仿真模型与结构化体系构建的元件库,为MEMS设计流程中的概念设计阶段与系统级设计阶段的快速建模与仿真提供了方便,同时元件库内的所有元件均与MEMS器件级设计中的结构特征具有映射关系,这为用户需求空间功能原理空间结构空间之间的设计空间映射提供了方便.通过一个静电间隙执行器的系统建模过程与仿真结果,验证了利用该元件库进行建模与仿真的有效性.     

片上网络任务映射算法的可靠性优化

为了满足当前特定应用领域对片上网络可靠性的要求,在贪心启发式映射算法的基础上,通过加入基于容错机制可靠的通信开销函数约束,实现了一种具有可靠性的片上网络任务映射算法RaNMAP.结果表明,该映射算法可以有效提高片上网络系统的可靠性,有利于从更高的抽象层次对片上网络的容错设计进行指导和评估.     

Meir－Keeler型集值压缩映射的公共不动点定理

对Ｍｅｉｒ－Ｋｅｅｌｅｒ型集值压缩映射序列证明了几个公共不动点定理     

单峰映射允许搓揉序列的Hausdorff维数和测度

利用Hausdorff维数和Hausdorff测度, 对单峰映射的允许搓揉序列的集合给出定量刻画, 证明了该集合在两个符号的单边符号空间中Hausdorff维数是1, 1维Hausdorff测度是0.这与传统的定性分析相比, 结果更有意义.     

弹塑性回映算法及其在板成形模拟中的应用

结合退化壳单元模型的平面应力条件,给出了弹塑性本构方程应力求解的弹性预测－径向回映算法,用于板料成形的动力显式有限元模拟,利用自行开发的板料成形模拟动力显式有元分析程序VIFORM,对Numisheet′96标准考题S型轨的成形过程进行了模拟,计算结果表明该地算精度高、速度快。