关于Diophantine方程xp+2p=Dy2

设p是奇素数,D是无平方因子正整数。文章证明了:当p>3时,如果D不能被p或2kp+1形之素数整除,则方程xp+2p=Dy2没有适合gcd(x,y)=1的正整数解。     

Spectroscopic study on the photophysical properties of chlorine substituted tetraphenylporphyrin-histidine and its zinc(Ⅱ)complexes

As the structural analogues of (bacterio)chlorophylls in photosynthetic organisms, porphyrins play an important role in building up artificial photosynthetic systems[13]. In natural photosynthetic pigment-protein complexes,certain amino acid residuals modulate the reactions ofcharge transfer and energy transfer via coordination andother types of interactions with chlorophyll molecules.For instance, in higher-plant photosynthetic reaction cen-ter PSⅡ, the oxidization-reduction system consistin…     

Krzyz猜想的证明及其在调和单叶函数中的应用

在族B0中引进了Loewner微分方程，证明了Krzyz猜想，并且在调和单叶函敷中给出系数不等式的应用。     

边界拟合坐标网格生成方法研究

指出了Thompson及Thomas曲线网格生成方法中控制网格分布的调节函数的问题所在，克服了Thomas曲线网格生成法中边界局部平直近似假定的缺陷，经过严格推导得出一组新的调节函数，并给出了曲线网格生成实例。实例检验表明，该调节函数能够对复杂边界的单连通域或多连通域生成理想的曲线网格，即边界处网格正交，内部网格分布能够适应物理量场变化。     

积分中值定理的推广及在常微分方程中的应用

对定积分中值定理作出推广并应用于方程初值问题解的延拓，得出了关于解向右延拓的两个结果。     

位置伺服系统计算机输入输出信号的处理

主要介绍直流电机位置伺服系统计算机控制输入输出信号的处理，可逆计数器的使用及数的读取方法，输出数字信号的转换．     

二阶时滞微分方程三点边值问题的多重正解

 研究了一个二阶时滞微分方程的三点边值问题,给出了其至少有2个正解的充分条件.     

一种适于强横向变速的高阶差分正演模拟方法

波动方程正演模拟法相对于射线法具有精度高、效率低的特点。为了提高其效率 ,提出了一种高阶差分正演模拟方法。该方法考虑了速度场局部的强横向变化 ,适于复杂介质的正演模拟 ;在相同精度下 ,高阶差分的空间横向间隔可取为低阶差分的 2～ 4倍 ,有较高的计算效率 ;高阶差分加上合适的边界条件能较好地解决网格频散和边界效应问题。通过对Marmousi模型的试算 ,验证了该方法对复杂速度模型的适应性、有效性和实用性。     

利用初等变换求极大线性无关组

给出利用矩阵的初等变换求极大无关组的方法 ,并从理论上加以证明 .此法简单易行 ,且计算量小 .     

变速齿轮传动系统最佳轴向结构布局智能设计的推理机制

本文通过对变速齿轮传动系统轴向结构布局设计规律的研究,提出了一种适合于该类问题的知识表达方式,将改进后的带有启发函数的最佳优先搜索方法引入到该问题的求解中,使得含有多重搜索空间以及带有一定约束的设计问题统一在同一搜索策略下。根据本文提出的方法,用PROLOG语言建造的推理机,通过对实际问题的考证,证明该方法在解决传动结构自动设计上是行之有效的,并且在推理机制上成功地体现了设计过程中反复设计与优化设计的功能特征.