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

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

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

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

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

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

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

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

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

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

带积分边界条件的非线性高阶分数阶微分方程解的存在性

首先通过拉普拉斯变换得出一类带积分边界条件的非线性高阶分数阶微分方程满足边界条件的解,再利用压缩映射原理和Krasnosel’skii不动点理论,讨论了这类方程解的存在性和惟一性。     

一阶非线性中立型时滞微分方程的非振动解

利用Banach压缩映象原理,研究下列一阶非线性中立型时滞微分方程d/（dt）[x（t）]＋c（t）x（t-τ1）＋d（t）x（t-τ2）]＋h（t）f（t,x（t-σ1（t））,x（t-σ2（t））,…,x（t-σk（t）））=g（t）的非振动解的存在性,并获得了相应非振动解的迭代逼近序列.     

抽象凸空间中若干结果的推广

对抽象凸结构的性质做了进一步的研究,给出Fan Ky引理、Ky Fan变分不等式定理、极大极小不等式定理以及Schauder不动点定理在抽象凸空间中的推广。     

局部压缩映射的不动点

通过构造反例指出文 [1 ]中关于紧度量空间中局部压缩映射有唯一不动点这一结论的错误 ,并证明了在紧度量空间上局部压缩映射的不动点或周期点的一定存在     

基于本体的电力系统异构数据查询机制

随着电力企业信息化进程的不断推进,大量信息管理系统被应用于各种业务中,造成这些系统间存在异构数据,难以共享,甚至还存在各种语义冲突,影响数据的挖掘和分析.为此,提出了一种利用本体技术对电力企业内部的异构数据源进行融合的综合查询机制,可以有效解决电力企业内部数据源的语法和语义异构问题,把来自于各部门的多个数据源进行整合,为数据分析系统提供统一的数据查询接口.实验表明,该机制能够有效消解异构数据源之间的语义冲突,为数据集成提供基础.