一类拟线性椭圆型方程分歧点的存在性

本文讨论了下面问题的分歧点的存在性：－ｐｘｉ〔（１＋｜ｕ｜２）ｐ２－１ｕｘｉ〕＝μｕ＋ｆ（ｘ，ｕ），ｘ∈ＲＮｕ（ｘ）→０，当｜ｘ｜→＋∞时，ｕ０，μ∈Ｒ１，Ｎ＞ｐ≥２｛证明了μ＝０是上述问题的分歧点。     

非线性四阶微分方程两点边值问题解的存在唯一性

讨论了非线性四阶微分方程y(4)=f(x,y,y',y',y')的两点边值问题解的存在唯一性。其中,函数f在[a,b]×R4上连续,且满足Lipschitz条件。     

脱靶量估算和广义比例导引

本文提出一种适于真比例导引系统估计脱靶量的方法，依据这种方法，只要知道制导－控制时间延迟、拦截器的目标的相对运动速度等，就可以估计出脱靶量的大小。本文还就减小脱靶量而有采用广义比例导引的前景进行了探讨。     

热力系统中分布参数对象的数值─解析混合仿真方法

以热力系统中常见的管式换热器为对象，建立了包括质量、动量和能量平衡方程的集中参数数学模型，通过一系列的数值简化和处理，获得了能量方程的解析解，并发现此解的精度对时间步长的大小不很敏感。利用这一特性，本文提出了数值—解析混合仿真方法，采用多段集中参数模型同时选用较大的时间步长进行仿真。与非线性分布参数模型计算结果的对比表明，本仿真方法不仅具有较高的精度，同时也大大提高了计算速度，实现了仿真精度和实时性的统一。本方法对热力系统中分布参数对象的仿真具有重要意义。     

虚构解方法程序验证

对求解偏微分方程问题的程序的严格验证,一直以来由于其精确解有限,较难进行,针对这种情况,本文给出了一种新的程序验证方法,虚构解方法,该方法旨在解决大型科学计算程序如何较严格地进行程序验证这一问题;该方法通过构造虚构解,修改原控制方程,然后通过对计算结果的分析处理达到对程序的精确验证;文中给出了一组通用的虚构解的选取办法,解决了虚构解方法验证过程中确定虚构解的问题;同时还给出了运用该方法对非结构二维Euler计算程序进行验证的具体例子,网格收敛分析结果表明该方法是一种有效的程序验证方法,并且具有较好的通用性。     

关于拟线性椭圆型方程在广义Sobolev空间中解的正则性

本文讨论了下面方程Ｄｉｒｉｃｈｌｅｔ问题在广义Ｓｏｂｏｌｅｖ空间中解中的正则性－ｄ／ｄｘ１ａ１（ｘ，ｕ，Ｄｕ）＋ａ（ｘ，ｕ，Ｄｕ）＝０，ｘ∈Ω其中Ω∈Ｒ是有界区域，证明了上述问题在Ｗ（Ω）和Ｗ（Ω）在存在有界广义解。     

一类拟线性椭圆型方程的CHOQUARD-PEKAR问题

讨论了一类拟线性椭圆型方程的CHOQUARD-PEKAR问题在无界区域中的非平凡解的存在性,对于极小问题Iλ和I∞λ,得到了对于每个λ0,存在α∈(0,λ],使得Iα和I∞α可以达到.     

双层多目标规划若干问题的研究

研究了下层决策者无关联的双层多目标规划问题，在不同偏好意义下，给出了各自解的定义，讨论了线性双层多目标规划问题。     

廊坊市新农村建设中的生态环境存在的问题及对策

和全国其他地方一样,廊坊市在大力推进社会主义新农村建设的过程中,也面临着农村生态环境恶化的困境。为了实现农业生产发展和农村生态环境保护之间的平衡,政府应当加大公共财政支出向农村地区倾斜的力度,坚持规划先行、服务跟进的原则,切实改善人居环境,强化农村生态环境保护法制的实施,把新农村建设成为生态良好的新农村。     

基于纯比例导引的拦截碰撞角约束制导策略

拦截碰撞角约束制导是当前导弹制导研究的关键问题之一。首先基于理想比例导引（IPN）律拦截非机动目标的解析解,推导了纯比例导引律（PPN）拦截固定目标的解析解,得到了弹目相对距离、制导指令加速度和导弹前置角的显示表达式,并进一步得到了拦截碰撞角与弹目相对运动状态和比例导引系数之间的解析表达式。其次,基于该解析表达式,提出了基于PPN的拦截碰撞角约束制导策略（PPNIACG）,并探讨了在铅垂面内进行落角约束打击和水平面内进行拦截碰撞角约束打击的2种实现方式。最后,以弹道成型制导律（TSG）和最优碰撞角约束制导律（OIACG）为参考,通过数值仿真算例,对PPNIAC的拦截性能进行了对比分析,验证了所提出制导策略的有效性和正确性。