基于动态作图的化学符号编辑系统

软件技术的发展,使得数学公式可视编辑非常方便,W ord的公式编辑器更是深受用户喜爱.但目前的公式编辑器一般只对数学类支持较好.文章在对比各类公式编辑软件的基础上,提出了基于动态作图的图形符号编辑模型.针对化学符号的特殊性,给出了动态作图的面向对象设计,实现了化学符号可视化编辑.     

Banach空间中2类压缩映射不动点的具误差的Ishikawa迭代序列的收敛性

讨论了Banach空间中拟压缩映射对和广义压缩映射的具误差的Ishikawa迭代序列的收敛性问题,得出了在一定条件下,这2类压缩映射分别强收敛于它们的不动点.这些结论推广和发展了已有的相关结果,使这些结果的适用范围更广.     

L-Fuzzy理想的L-Fuzzy剩余类的刻画

给出当L是完全分配格时L-fuzzy理想的L-fuzzy剩余类的定义及若干刻画,并证明了若f:X→Y是环满同态,B是Y的L-fuzzy理想,则X关于L-fuzzy理想f -1(B)的L-fuzzy剩余类做成的环X/f-1(B)与环Y同构.     

无线自组织通信中基于前导符号的定时同步

传统的基于自相关的和基于互相关的定时同步算法具有相关峰的旁瓣较宽或对载波频率偏移(carrier frequency offset, CFO)敏感的问题,均无法满足无线自组织通信系统对快速准确的定时同步的需求。针对这一问题,提出了一种新的基于改进互相关的定时同步算法,通过将一个长的相关器拆分为两个较短子相关器的乘积,使度量函数的主峰更加尖锐、次峰更低,理论分析了算法的抗频偏性和计算复杂度。对所提算法和传统互相关算法的蒙特卡罗仿真结果表明,在复杂度相当的前提下,所提算法在检测准确率上具有1.1 dB的性能增益,且对频偏的鲁棒性较好。     

Banach空间分数阶微分方程边值问题正解的存在性

用非紧性测度估计技巧和凝聚映射的不动点指数理论,证明Banach空间中分数阶微分方程边值问题正解的存在性.     

关于算子同胚映射

在算子开集理论中给出了算子同胚映射的概念,得到了算子同胚映射的若干性质.     

常用量和单位使用错误解析

学术期刊的标准化、规范化工作之一就是正确使用法定的量和单位,但在作者和编辑的实际工作中时常发生一些错误.通过实例介绍已废弃的非法定单位和量的符号,浓度、化学元素符号和SI词头的错用,以引起作者撰写论文时注意.     

基于组合策略的印刷公式符号切分方法

对公式符号切分这一公式识将符号分离与符号合并策略相结合,提取公式符号的方法,对具有包含关系的符号进行分离操作,而对由多个连通部件构成的符号进行合并处理.实验表明,该方法能够较好地适应公式特点,具有较高的准确性.     

曲线符号在产品设计中的运用

曲线在产品设计中是一种普遍使用的设计元素符号,通过阐述曲线的数学和美学意义及其在产品设计中的运用方法,并从“工艺美术运动”到后现代设计这个历史过程,完整地阐述了不同时期曲线符号在产品设计中的运用.     

Ck-Banach(k≥1)流形之间非线性映射的局部线性化

在参考文献[1]中,给出了Banach空间之间非线性映射的局部线性化定理,本文将上述结果进行推广,考虑Ck-Banach流形之间非线性映射局部线性化问题.