逆向工程中一种鲁棒的平移对称提取算法

为了解决逆向工程中平移对称提取的问题,提出了一种鲁棒的提取算法.首先利用特征线将模型分割成体素的集合,然后计算各个体素的形状分布曲线,通过形状分布曲线匹配的方式获取了几何形状相似的体素,并利用最小包围盒从中提取大小相似的体素,以构成对称体素的集合.利用鲁棒的PCA方法估算对称体素的初步对称信息,在此基础上利用迭代最近点算法对提取的平移对称进行优化.采用一个机械零件的三角网格模型进行实验的结果表明,体素分割结果对应构成模型的各个特征,具有明显的工程语义,对称提取结果的误差较小并具有较强的鲁棒性.     

带源项的非线性扩散方程的高阶Lie-Bcklund对称

研究一类在物理学及其相关领域中具有重要意义的带源项的非线性扩散方程.运用条件Lie-Bcklund对称和不变子空间相结合的方法,得到带源项的非线性扩散方程的非线性分离变量解,并对方程进行了完全分类.     

广义对称正则长波方程的新型守恒差分逼近

作者对一类广义对称正则长波方程的初边值问题进行了数值研究,提出了一个带有加权系数θ的平均隐式差分格式,格式模拟了初值问题的守恒性质,得到了差分解的存在唯一性,并利用离散泛函分析方法分析了该格式的二阶收敛性与稳定性.数值结果表明,该格式是可信的,且适当地调整加权系数θ,可以使计算结果具有更高的精度.     

一类拟对称微分自治系统的广义中心与极限环分支

研究一类平面拟对称微分自治系统,通过2个适当的变换以及广义焦点量的仔细计算,得出了该系统的无穷远点与初等焦点能够同时成为广义中心的条件,进一步得出在一定条件下该系统能够分支出10个极限环的结论,其中5个大振幅极限环来自无穷远点,5个小振幅极限环来自初等焦点.     

科学的监控体系才能保障食品安全

消费者获取到的关于产品特性的信息,是其购买食品的重要参考。食品市场中的信息不对称和信息丢失问题也是影响食品安全消费的一个重要因素。提供有效的食品安全信息追溯和危机处理手段,是满足消费者对安全食品信息获取和切实维护消费者利益所必需的。     

中国证券市场信息不对称的研究

我国证券市场存在的各种形式的信息不对称,降低了证券市场的效率,损坏了广大投资者的利益,给我国证券市场带来了一定的风险,不利于其持续发展。应采取必要措施,完善信息披露制度,最大限度减少信息不对称,以促进我国证券市场的健康发展。     

使用多方态的量子密钥共享方案(英文)

给出使用Sen等推广的多方对称态的量子密钥共享方案,我们采用不同的方法证明这个方案是安全的.然后,根据局域实在性的破缺,证明了对称的多方量子态的量子密钥共享的安全性,并作了进一步的推广.     

紫葳科植物

认识植物,单靠推理是不成的,最主要的办法还是积累直接经验。但并非没有规律性可寻,关注某一个科,可以"一窝一窝"地认识一批植物。北京常见植物有一百多个科,其中之一为紫葳科。紫葳科没有蔷薇科、豆科、兰科那么"火",但空闲的时候花点时间了解它,就能认识一批著名花卉。     

局部对称黎曼流形中具有常平均曲率的完备超曲面

本文研究了局部对称黎曼流形中具有常平均曲率的完备超曲面,利用邱成桐的广义极大值原理得到两个重要的内蕴刚性定理。     

Lukasiewicz三值逻辑度量空间中的反射变换

在Lukasiewicz三值逻辑度量空间中定义了反射变换φ和(准)对称逻辑公式,探讨了反射变换φ的性质,证明了φ保持逻辑等价关系和(准)对称逻辑公式,且为同态变换.研究了φ在商代数——Lindenbaum代数上诱导的反射变换φ*的性质.证明了φ*是自同构的等距变换,进而讨论了φ*的不动点的性态,得到了4类特殊的不动点形式[A]∨φ*([A]),[A]∧φ*([A]),[A]φ*([A])和[A]φ*([A]).