Qualitative properties of stationary measures for three-dimensional Navier-Stokes equations

The paper is devoted to studying the distribution of stationary solutions for 3D Navier-Stokes equations perturbed by a random force. Under a non-degeneracy assumption, we show that the support of such a distribution coincides with the entire phase space, and its finite-dimensional projections are minorised by a measure possessing an almost surely positive smooth density with respect to the Lebesgue measure. Similar assertions are true for weak solutions of the Cauchy problem with a regular initial function. The results of this paper were announced in the short note [A. Shirikyan, Controllability of three-dimensional Navier-Stokes equations and applications, in: Sémin. Équ. Dériv. Partielles, 2005-2006, École Polytech., Palaiseau, 2006].     

模式评价理论模型及其应用

基于事前评价过程和自然界生物进化过程的相似性，提出了系统结构、系统结构模式和系统环境模式矩阵的概念，并根据系统结构、系统结构模式与系统环境模式矩阵的适应程度，建立了模式评价决策模型，制定了评价系统的评价分类准则，并对评价系统作了一定的理论分析．将此模型和方法应用于城市生态安全评价中，通过与模糊综合评价法的比较，表明了该评价模型和方法的优越性．     

铁路站段用交流不间断电源供电系统

结合铁路站段的特点 ,介绍了一种交流不间断电源供电系统 ,能够很好的解决其供电问题。     

存储媒体的媒体内同步反馈控制算法

本文提出了一种存储媒体的媒体内同步反馈控制算法，该方案是建立在缓冲区占用率控制基础上，通过周期性地检查缓冲区的占用情况来检测失步，并将其反馈给发送方，由发送方对发送帧速率进行调整。文章给出了接收方所需缓冲区的设计准则及发送帧速率的调整方法，并分析了算法中各参数对同步性能的影响。实验表明该方案能够处理由于网络传输时延特性变化引起的失步，与其它反馈控制方案相比具有更低的数据丢弃率，从而使接收端播放平滑连续，具有良好的视频播放质量。     

The Exact Solutions of Some (2 + 1)-Dimensional Integrable Systems

The equivalence of three (2 1)-dimensional soliton equations is proved, and the quite generalsolutionswitha some arbitrary functions of x, t and y respectively are obtained. By selecting the arbitrary functions, many specialtypes of the localized excitations like the solitoff solitons, multi-dromion solutions, lump, and multi-ring soliton solutionsare obtained.     

松纵坑切梢小蠹虫害的仿真模型与生态防治的优化策略

根据松纵坑切梢小蠹的主要生物学特征,通过分析抚育间伐持续控制松纵坑切梢小蠹虫害的机理,应用复杂适应系统(CA S)理论,建立了模拟松纵坑切梢小蠹虫害的一种动态演化数学模型,并讨论了模型的收敛性.然后选用昆明小哨林场为背景,进行了各种抚育间伐决策的仿真,从中优选抚育间伐决策.结果表明:模拟优化方案与实际调查统计分析结果一致:均为弱度间伐与中弱度间伐控制蠹害效果最好.最后通过森林积材量与虫害程度之间的优化,给出了抚育间伐的优化策略.     

一类平面七次多项式系统赤道环的稳定性与极限环分支

本文研究一类平面七次多项式系统赤道环的稳定性和极限环分支，给出了系统的前12个奇点量公式，可积性条件及在赤道附近存在3个极限环的条件，较为精细地指出了极限环的存在位置。     

新型微波-毫米波幅相测试系统及扩展应用

介绍了一种新型微波 毫米波幅相测试系统及其在相关测试领域中的典型应用。与传统微波幅相测试系统相比 ,该系统具有原理新颖、结构简单、扩展频段容易和使用方便等优点。本系统目前广泛应用于紧缩场电气性能检测、天线测量和RCS测量等领域中 ,频率范围为 1～ 110GHz。本测试系统已经申请国家专利 ,并通过相关部门鉴定。     

形式化语言在UMTS开发中的应用

由于3G协议规范的复杂性，3GPP方法论指导方针中鼓励使用标准的形式化语言来进行UMTS产品的设计、开发与测试。文中概要性地描述了UMTS的体系结构和在规范描述中用到的一些形式化语言的基本概念和特点，探讨了这些形式化语言在UMTS开发中的应用。使用形式化语言开发UMTS可以简化和改进测试程序，实现新产品与新标准的同步推出。