Isolation and Characterization of Proteins Interacting with Activin Type Ⅱ Receptors

Introduction Activinisamemberofthetransforminggrowth factor(TGF)βsuperfamilyofextracellularsignaling proteins.Themembersofthisfamilyplayacriticalrole duringembryogenesisandinmaintainingtissuehomeo stasisinadultlife[1—3].DeregulatedTGFfamilysigna lingisi…     

随机动力系统的进展和问题

本文主要介绍随机动力系统的主要成果和进一步研究的问题。     

聚乙炔的CH面外振动红外光谱研究

采用从头计算方法，计算了反式和顺式聚乙炔的氢原子在垂直于聚乙炔分子面方向振动的红外光谱，计算表明，Gibson等用红外吸收实验所测得的谱线的确是聚乙炔的CH面外振动产生的谱线，经100℃长时间加热后，顺式聚乙炔变为反式聚炔，但波数为740cm^-1的谱级仍保留5％的强度。     

广义Hénon映射的滑模变结构控制同步

基于可线性化的非线性离散变结构跟踪控制方法实现了广义Hénon映射混沌系统的同步.广义Hénon映射的混沌吸引子比Hénon映射的混沌吸引子要复杂得多,对于保密通信来说,这种复杂性正是所期望的.提出的同步方法允许参数有适当的失配程度,这对工程实现是非常有利的,理论分析和仿真结果证实了该方法的有效性 关键词： 广义Hénon映射 混沌 同步 变结构控制     

宁波港船舶交通管理系统(VTS)

通过对宁波港的交通环境，现有VTS系统及港口发展的趋势研究，提出了改善宁波港通航环境，建立和完善VTS系统的有效措施。     

因素空间与概念内涵的表示

本文综合应用因素空间、信息系统和重于关系的方法,讨论了概念的内涵表示及其他有关问题。特别是,对在描述概念问题中不同于内涵和外延的第三种方法,即典型示范表示做了进一步的分析。     

Lenglart不等式与特殊半鞅的收敛集

本文讨论局部鞅和特殊半鞅的收敛集。我们给出Ｌｅｎｇｌａｒｔ不等式的一个推广形式，利用这一不等式对一些定理给出了简单证明，对一些结果作了改进和推广。     

无严格互补松驰条件的序列线性方程组新算法

该文通过构造特殊形式的有效集来逼近KKT点处的有效集，给出了一个任意初始点下的序列线性方程组新算法，并证明了该算法在没有严格互补松驰条件的情况下具有全局收敛性和一步超线性收敛性。      

Path continuity of fractional Dirichlet functionals

We prove that the quasi continuous version of a functional in E^p_r is continuous along the sample paths of the Dirichlet process provided that p>2, 0<r?1 and pr>2, without assuming the Meyer equivalence. Parallel results for multi-parameter processes are also obtained. Moreover, for 1<p<2, we prove that a n parameter Dirichlet process does not touch a set of (p,2n)-zero capacity. As an example, we also study the quasi-everywhere existence of the local times of martingales on path space.     

Navier-Stokes方程带Backtracking技巧的两重网格算法

1 引 言考虑二维不可压 Navier-Stokes方程: