简谐速度噪声及其与势场之间的频率共振

为了描述复杂的噪声环境，考虑了一种具有频率结构的噪声——简谐速度噪声，包括它的产生、关联函数、功率谱以及作为热噪声时的频率特性所导致的一些行为.结果表明：在频谱空间中简谐速度噪声是一种带通噪声，存在一个峰值频率，且噪声带宽由参量Γ控制.当简谐势中的一个布朗粒子受热简谐速度噪声驱动时，粒子能量极大值出现在两种频率相等的情况下.这表明噪声和势场的频率之间存在动力学共振，决定着粒子能量的大小. 关键词： 简谐噪声 简谐速度噪声 功率谱 频率共振     

超尺寸物品装箱问题及其算法

本文探讨一类新装箱问题-超尺寸物品装箱问题。针对实际解决该问题的两涉法，我们提出了一个评价效率更高的目标函数，证明了在此目标函数下两步法的渐近最坏比不小于2，并给出了渐近量坏比与拆分次数的关系。最后本文提出了一种不同于两步法的新在线算法MA，证明了在新目标函数下其渐近最坏比不超过7/4。     

Banach空间中优化问题的最优性条件

首先在Contingent切锥意义下界定了Banach空间中非空集合的伪切锥和伪凸性的概念，并讨论了相应的性质，然后针对可微优化问题，在广义凸性假设下，建立了最优性条件。     

浅谈数学问题的表征形式

表征是信息在人脑中的呈现和记载的方式 .根据信息加工的观点 ,当人对外界信息进行加工(输入 ,编码 ,转换 ,存储和提取等 )时 ,这些信息在头脑中得以表征 .表征是客观事物的反映 ,又是被加工的客体 .同一事物 ,其表征形式不同 ,对它的加工也不同 .知识的表征是现代认知心理学的一个核心概念 .著名的认知心理学家安德森认为 ,“通过以多种方式应用我们从自己的经验中获得的知识 ,认知才得以进步 .理解知识如何应用的前提是理解它如何在人脑中表征的 .”西蒙也曾指出 ,“表征是问题解决的一个中心环节 ,它说明问题在头脑中是如何呈现的 ,如何…     

拟线性波动方程耦合组Cauchy问题的整体解存在定理

对于相对场相互作用系统〔‘l口切=F(切,吵,刀p,D必口砂=G(切,劝,刀甲,D妇t二0:(甲,叻)“(蜜:,舀2),(沪‘,功.)二(叮:,斤2)声..t‘苦.t 、产 ︸l 了、其中场变量伽,初为(t,x)任R+xR”的未知函数,F、G、古:、条、粉:、刀:为已知函数,口=a‘一△,D=(J.,a二:,…,a二。),有 定理若存在常数v。>o,使当1入】(v。时,)F{二o(囚’‘,),【Gl=o(囚.”),入==(入。,入:,…,入。,#。,拼,,…,拼,),F、G〔C’(R,,+舍),且八>2(a+1)la,a》z,对于任何正整数50>。/2(a+i)+i及s》〔an/(a+1)〕+s。+1,存在d>o,E>o,使当君:、么〔H,+’(R”)门研.+’,,“+”…     

工件集合上的某种全序及其应用

对于由工时与工期所确定的工件的全体,本文定义了一种全序,该全序是SPT序(短工时序)与EDD序(早工期序)的结合,且结合方式依赖于某个时间参数。本文分析了该全序与有关延误的相邻交换条件之联系,从而给出总延误问题的一个近似算法,并证明它可以在多项式时间内得到后移邻域所相应的局部解。     

遥感相机自动检焦技术研究

将基于图像处理的自动检焦技术应用于线阵CCD推扫成像的空间遥感相机中。图像法检焦的关键在于对焦评价函数的选取。通常对焦评价函数是在摄影目标不变的情况下得出的,而推扫成像的线阵CCD相机在任意时刻所拍摄的景物都是不同的,这就给对焦评价函数的选取增加了难度。用功率谱的方法对任意景物在空间频域进行分析表明,功率谱对于自然景物具有一定的不变性。由此建立了基于功率谱的对焦评价函数,采用小波去噪与亮度归一化相结合的图像预处理技术有效地去除了图像噪声和亮度变化对对焦精度的影响。通过对功率谱评价函数进行加权处理,提高了对焦评价函数曲线的灵敏度。仿真实验表明了所构造的对焦评价函数是可行的。     

下料问题的优化模型及其快速算法

结合生产实际中具体的下料问题,本文建立了该类问题的优化模型,并提出下料方式的遴选三准则,即高利用率优先准则,长度优先准则和时间优先准则.运用本文的算法对一维下料的利用率高达99.6%,机器时间4秒.对二维的利用率为98.9%,机器时间约7秒.