非线性Chebyshev逼近的唯一性

§1.引言 设X是紧致Hausdooff空间,C(X)表示X上实值连续函数全体,带有一致范数 ||f||=max{|f(x)|:x∈X},f∈C(X).记 Z_f={x∈X:f(x)=0}, M_j={x∈X:|f(x)|=||f||}.又设l,u为X到拓广实数集[-∞,∞]的函数,l相似文献   

基于量子云模型反馈的协同精英属性均衡优势集成约简

为进一步增强进化算法在最小属性约简过程中全局求解性能,提出了一种基于量子云模型反馈的协同精英属性均衡优势集成约简算法,该算法首先设计一种基于云模型反馈的量子自适应旋转角调整策略,使量子蛙群精英在云模型定性知识和罚因子反馈指导下自适应控制属性搜索空间范围;然后构建一种有限理性区域下协同精英均衡优势属性分解框架,在动态精英演化区域内使参与属性约简的量子蛙群精英在平均权重裕度下协同化达到Nash均衡优势区域;最后量子蛙群精英采用集成化操作机制在各自均衡优势区域内协同提取属性约简子集,从而稳定取得全局最优约简特征集。实验结果表明本文算法求解全局最优属性约简集效率、精度和稳定性等具有明显优势,应用到孕龄新生儿脑MRIs电子病历分割进一步表明该算法具有较强的应用性能。     

Discrete elliptic solitons in two-dimensional waveguide arrays

The fundamental properties of discrete elliptic solitons (DESs) in the two-dimensional waveguide arrays were studied. The DESs show nontrivial spatial structures in their parameters space due to the introduction of the new freedom of ellipticity, and their stability is closely linked to their propagation directions in the transverse plane.     

通过从平面几何到立体几何的类比进行数学发现的计算机模拟

该文从数学方法论的角度阐述了归纳、类比等数学方法在数学发现、发现与创新中的重要作用．从这一观点出发，提出了采用类比方法实现数学发现的计算机模拟的基本思想，并介绍了一个通过类比平面几何中的定理来发现立体几何中的有关定理的模型．实验结果表明，该模型具有一定的发明创新能力．     

常系数线性微分方程RMI解题机

本文介绍的常系数线性微分方程解题机是利用数学方法论的研究成果，摸拟人的数学思维过程，采用关系映射反演（ＲＭＩ）方法，通过符号推理给出微分方程解析解的数学软件．文中介绍了研制该解题机的基本思想和实现技术，并给出了用解题机求解微分方程和微分方程组的几个实例．     

高功率二极管端泵浦板条模块波前畸变实验研究

二极管激光器阵列端泵浦Nd:YAG板条具有热效应低、波前畸变小的特点,温度场和应力场的不均匀是引起板条增益介质波前畸变的主要原因。对端泵浦传导冷却Nd:YAG板条增益模块的泵浦和冷却均匀性进行了优化设计,获得了板条激光增益模块静态波前畸变最大偏差（PV）值为0.22 m。该模块用于双通放大器实验装置中,测试了板条增益模块有无注入功率条件下的波前畸变,测得无注入功率波前畸变PV值为3.49 m,能量提取后波前畸变PV值为3.41 m。在注入功率3120 W时,获得输出激光功率4660 W,光束质量为3.88倍衍射极限,该模块光光效率为27%。     

用于超宽焦斑光束整形的大口径衍射光学元件设计和制作

采用改进混合优化算法首次设计并制作了口径168.7 mm的连续衍射光学元件实现类环形光束入射,输出直径650μm超宽焦斑光束均匀照明.用Nd:YAG脉冲激光器1.064 μm波长激光进行实验,获得了与设计尺寸相符、边缘陡峭、无中心尖锐脉冲、具有极好的离焦宽容性的宽焦斑,但焦斑顶部不均匀性较大.对此进行了深入的模拟分析,结果表明:焦斑顶部较大的光强调制主要来源于现有的工艺及实验条件误差.     

数字电视中的EDH检测

错误检测处理（EDH）技术是伴随着数字电视的发展而产生的一种数字信号检测技术,它能准确地标识出信号传输时所发生错误的位置及类型,防止“悬崖效应”的发生。     

含邻手性碳原子双键亲电加成反应的立体选择性模型

本文主要介绍了预测邻位具有手性中心π体系亲电加成反应的立体选择性模型,尤其是α,β-不饱和羰基化合物亲核共轭加成形成的烯醇负离子及其类似物和硝基烯烃亲核加成形成的氮酸根类中间体的烷基化和动力学控制质子化反应的立体选择性模型。立体位阻效应控制的Zimmerman前过渡态模型主要适用于底物构象受限的环状或联烯型烯醇负离子的动力学质子化。对于构象转化相对灵活的直链底物,Houk基于量子化学计算研究提出了亲电试剂的进攻角度或接触角在经过环状过渡态时是锐角还是钝角决定了亲电加成反应的立体选择性控制(Houk模型)。而Fleming模型首次将烯丙基A-1,3张力引入各类烯醇负离子烷基化和质子化的过渡态。Mohrig模型在考虑A-1,3张力的基础上,将吸电子取代基与即将形成的σ键反式共平面,主要阐述了立体电子效应对酯的烯醇负离子动力学控制质子化立体选择性的影响,后来又提出了金属离子参与的立体电子效应控制的六元环状半椅式模型。本文希望对理解亲电加成反应的立体化学控制提供一些有用的信息。     

基于球向量机的QAR数据特征提取方法

飞行安全是飞行运输中的一个重要课题,对飞行纪录数据进行分析是判明飞行事故原因的重要依据,所以对飞行记录数据进行数据挖掘则成为一种有效的飞行监控技术。该文针对具有高维特征和大样本数据集的飞行纪录的飞行纪录数据学习问题,提出了一种新型的判别异常飞行事件的特征提取方法,并通过实验表明该方法对某一机型的飞行纪录数据取得了良好的实验结果。