一类广义非线性混合拟变分包含组

本文引入了一类新的带松弛单调映射和松弛Lipschitz映射的广义非线性混合拟变分包含组 ,构造了求解该类变分包含组的迭代算法 ,证明了该类变分包含组解的存在性以及由本文构造的迭代算法产生的迭代序列的强收敛性 .所得结果推广和改进了大量文献中的最新结果[1 5 ] .     

Studies on the properties of flow-induced oscillation and sound radiation in streamlined protuberant special cavities

I.IntroductionAsanuidpassingthroughthecavityatcertainflowrate,themediuminthemouthandthccavityisoscillatingandsoundisradiated.Noton1ystochasticturbu1encenoiscispossi-blyproducedbutsinglefrequencysoundofspecia1lydesignatedpitchisalsoproduced.Andthusthespcctrumofthcradiatedsoundisshownascontinuousspectrumandcharacteristiclinespcctrum.Inthiscascwcmaycallitflow-inducedosci1lation.Flow-inducedoscillationandsoundradiationcanbeproducedasafluid(waterorgas)passingthroughthecavitybysinkingcavityunderint…     

球约束凸二次规划的一个新算法

首先利用Lagrange对偶 ,将球约束凸二次规划问题转化为无约束优化问题 ,然后运用单纯形法求解无约束优化问题 ,从而获得原问题的最优解     

搜索三个目标

本文通过建立简洁而有效的搜索方法 ,证明了对于无穷多个n来说 ,三个目标的最优搜索问题的最小试验次数等于信息论下界 .同时也研究了上述问题的修正情形 ,证明了对于所有整数n来说 ,对应的最小试验次数或者等于信息论下界或者超过信息论下界 1次并且对于无穷多个区间 ,信息论下界均是可以达到的 .     

纬向对称准地转流的非线性稳定性定理

建立了周期域上准地转流在一般的边界条件下对应于Arnold第二定理的非线性稳定性定理。将扰动能量与扰动拟能的上界用初始扰动场的显示表示出来，从而建立了Liapunov意义下的非线性稳定性定理。     

紧交换半群上概率测度卷积序列的极限性质

本文用“部分群化”的方法研究紧交换半群上概率测度的极限性质.§3讨论 i.i.d 的情形,将紧群上的 Kawada-It(?)型结果以相应的形式建立到紧交换半群上.§4讨论独立非同分布的情形,建立了紧交换半群上的强 Kloss 收敛准则,它曾由苏联学者 Maksimov先后在有限群([1])与紧群上([2])得到.     

On a Boolean-valued Model of the Strict Implication System(Continuous)

The reference [4] proved the consistency of S1 and S2 among Lewis' five strict implication systems in the modal logic by using the method of the Boolean-valued model. But, in this method, the consistency of S3, S4 and S5 in Lewis' five strict implication systems is not decided. This paper makes use of the properties: (1) the equivalence of the modal systems S3 and P3, S4 and P4; (2) the modal systems P3 and P4 all contained the modal axiom T(□p → p); (3) the modal axiom T is correspondence to the reflexive property in VB. Hence, the paper proves: (a) ‖As31‖ = 1; (b) ‖AS41‖ = 1; (c) ‖AS5l‖ = 1 in the model (where B is a complete Boolean algebra, R is reflexive property in VB). Therefore, the paper finally proves that the Boolean-valued model VB of the ZFC axiom system in set theory is also a Boolean-valued model of Lewis' the strict implication system S3, S4 and S5.     

The Spaces b~p with 0 < p < 1

Let 0 < p < 1. In this paper we prove that the Bergman norm on the p-th Bergman space bp(H) is equivalent to certain "normal direction norm" as well as certain "tangential direction norm", where H = Rn-1 × R is the upper half space. As an application, we get the boundedness of harmonic conjugation operators on bp(H).     

集值映射的切导数与向量优化问题的最优性条件

利用集值映射切导数与半可微概念，给出了无约束与具约束的集值向量优化问题局部真有效解与局部强有效解的最优性条件。     

基于cDNA宏阵列的系统聚类分析猪发育阶段的基因表达谱

取杜洛克猪胚胎第33,45,55，65．75天的背最长肌样本．用cDNA Macroarray分析方法和聚类分析技术分析了327个EST在骨骼肌内不同发育阶段的基因表达谱．结果表明有98条EST在不同发育时期显著差异表达．第33天和第45天两阶段基因表达状态相似．第55天和第65天基因表达状态相似．而第75天的基因表达与第55天和第65天两个阶段的基因表达具有相近的聚类关系．表达状态相近，基因功能相似的基因大都被聚类在一起．