非线性加权V时标动态方程共振问题的可解性与多解性

基于对应线性问题的谱结构,对一类非线性加权V时标动态方程共振问题,在允许非线性项无界,但是次线性增长的前提下,获得了符号条件下一个解和多个解的存在性,所用的研究方法是含参紧向量场的解集连通理论.     

一类半线性奇异发展偏微分方程的整体解

在空间Ｌ２（Ｒｎ）中考虑岸线性奇异发展方程的哥西问题在算子Ａ及函数ｆ（ｔ，λ）的某些假设下，证明了问题（Ｓ）在函数类Ｃ０（［０，Ｔ］，Ｌ２Ｃ１（０，Ｔ］，Ｌ２）中整体解存在．     

关于高一学生"算法"学习情况的调查

从2004年9月份起，山东、广东、宁夏、海南四省（区）开始进行高中课标新课程实验．在新课程中，算法作为数学及其应用的重要组成部分，第一次成为高中数学必修课的内容，是数学3的一个主要部分．新增算法内容，既反映时代的要求，也反映我国古代数学重视计算的优良传统．算法教学有利于培养学生的逻辑思维能力，有利于学生理解构造性数学，为学生未来的学习特别是信息技术方面的学习提供支持．那么高中学生对算法的情感态度如何？     

用初等方法求函数极值

高中数学统编课本第九章配置了利用导数求极值的习题,如果利用课外活动,以板报等形式帮助学生用一些常见的初等方法解这些题,对于增强学生学习兴趣,培养学生的分析能力和运算能力是有益的。下面列举数例,予     

基于多信号融合技术的武器系统综合检查仪的研制与实现

根据国内目前先进军用飞机武器系统的测试需求,采用PCI平台和虚拟仪器控制技术开发了一套新型武器系统综合检查仪。该检查仪采用独特的设计方法,硬件上采用扩展性良好的一体化PCI工控机,同时用各种适配电路对众多的武器信号分类,进行归一化处理和融合,软件上进行模块化设计。应用结果表明,该武器系统综合检查仪运行稳定可靠,测试效率高,具有很强的实用性和推广价值。     

多点微分方程边值问题的可解性

运用线性泛函分析中的Banach压缩映射原理,讨论一类非线性多点边值问题解的存在性与唯一性,并利用局部压缩原理对结论进行推广,获得了仅要求非线性项在局部至多线性增长,而在其它地方可任意增长的可解性条件.所得结果给出了Banach压缩映射原理在讨论常微分方程边值问题可解性中的应用.     

基于改进的概率Hough变换的直线检测优化算法

针对概率Hough变换耗费大量内存以及直线端点搜索容易受到网状聚集点干扰的缺陷,提出一种基于概率的局部Hough变换优化算法。将边界分为有序和无序两类,前者通过随机抽取采样点并结合其相邻点进行直线搜索,后者采用在随机抽取点周围建立感兴趣区域并进行局部Hough变换,检测到直线后进行全局搜索并实时修正直线斜率,对因网状聚集点产生的错误直线采用间隔计数和限制总间隔长度的方法进行排除。使用500张图片进行实验验证,算法耗时均低于概率Hough变换耗时的1/3,且对网状聚集边界点的直线错检具有较高抵抗性,检测结果比概率Hough变换直线检测更加准确,内存消耗减少超过90%以上。     

非线性V时标动态系统解的存在性与唯一性

引入V时标的概念,并对一类非线性V时标动态系统非共振边值问题,在非线性项不跨相应线性问题的特征值时,运用临界点理论,获得了问题解的存在性和唯一性定理.     

基于测量最小可分辨对比度的CCD相机成像质量的评价

针对评价CCD相机成像质量MTF方法的缺点,引入了最小可分辨对比度MRC这个评价指标,并研制了相应测量MRC的系统.在这个系统中采用两个重叠积分球分别对靶标的正反两面照明,通过改变这两个积分球的亮度就可以获得可变的对比度.实验结果表明：测量MRC系统测量亮度的误差可控制在±0.3cd/m2以内; CCD相机的MRC随着空间频率的增加而增加;测量CCD相机的MRC是评价CCD相机成像质量的一种快速有效的方法.     

一类二阶差分方程泛函边值问题的多解性

考虑二阶差分方程泛函边值问题△2u(k-1)=(Fu)(k),k∈[a+1,b-1]z,ω(u)=A,γ(△u)=B多个解的存在性,并获得一个严格单调递增解和一个严格单调递减解.其中a,b∈Z,满足b≥a+2,F为连续算子,ω,γ均为连续泛函.