Scaling Behaviour of Conserved Sites in Protein Families

Base on the database of families of structurally similar proteins, a statistical study is made on the scaling behaviour of occupying probabilities of conserved sites (Pc) in various protein families. A power-law decrease of Pc with the increasing protein-chain length Lf is found. This is related to the power-law scaling behaviour of the occurring probabilities of local contact interactions (Plocal) between residues. In addition, applying residue grouping, we find the same scaling behaviour when the number of residue types is more than 12, indicating that 12 residue types are enough to present the complexity of proteins.     

触销式双障碍买权价值过程鞅性

主要证明了在不存在交易成本的完全市场条件下连续时间欧式触销式双障碍买权贴现到0时刻的价值过程为鞅,并且给出了对应单障碍买权价值过程的鞅性质.同时还讨论了执行价格为随机的触销式双障碍买权的鞅性质,给出了任意时刻 t(0≤ t≤T)其内在价值的表达式.     

复制受限的环境演算中模态逻辑的内涵性

环境演算(MA)的模态逻辑AL进行了研究．在考虑了复制操作和限制操作的情况下，提出了逻辑等价的协归纳操作描述，并利用协归纳关系与进程结构同余关系进行比较，证明了若对MA加上约束条件得到子集MAIF^syn，此时逻辑等价(=L)与结构同余关系是等价的，即AL在MAIF^syn中是内涵的．同时发现由于复制操作的存在，AL的内涵性受到了影响，使得AL的区分能力被削弱，但通过对复制公式的构造验证了AL的表达能力．     

关于自双反函数的性质之研究

阐述了双反函数、自双反函数和多数函数的定义,提出了自双反函数的性质.根据上述定义利用布尔代数中的基本概念、定理和公式证明了这些性质,展示了自双反函数在RM展开系数图(bj图)中的特点,讨论了自双反函数在函数分类中的应用.