一种基于信息论的蛋白质数据库搜索鉴定算法

为了有效地利用蛋白质串联质谱数据,提高蛋白质鉴定的准确性,提出了一种基于信息论的蛋白质数据库搜索鉴定算法——ITPIA(information theory based protein identification algorithm)算法.针对多肽串联质谱质量低、噪音多等问题,ITPIA算法利用了信息论中的熵理论提出了一种有效的实验串联质谱和多肽的理论质谱的匹配打分算法.该算法更大程度上从多肽串联质谱中获得蛋白质的结构信息.实验结果表明,ITPIA算法有效地提高了蛋白质鉴定的准确性.     

伏牛山自然保护区北坡主要乔木优势种光合作用特性研究

本文采用群落生态学的调查方法,设置典型样地,通过计算重要值,对伏牛山自然保护区北坡的乔木优势种进行了统计分析.接着对上述优势种及其幼树、幼苗的光合速率日变化及其光合-光响应特性进行了研究.     

小鼠的生殖特性及阴栓

耳科、妇科、产科、计划生育、生殖医学中心及胚胎干细胞等医学科学研究中,常需要准确确定小鼠妊娠天数或获取适龄胎鼠,故选择适龄雌雄小鼠,鉴定动情期,恰当比例适时合笼,是确保小鼠受孕的关键;而识别阴栓是重中之重,这将直接影响实验进程和实验结果的精确度和可靠性。现就小鼠的生殖特性及阴栓作一简介,供广大科研人员参考。     

涉及微分多项式的亚纯函数正规性

研究了涉及微分多项式的亚纯函数的正规性.继承Schwick的思想将正规族与分担值联系起来,对一族亚纯函数中函数与该函数微分多项式分担值的情况进行研究,得出亚纯函数的正规性.已知定理:设F为区域D上的全纯函数族,k为正整数,a,b,c和d为有穷复数,b≠0,c≠0且b≠a,若对f∈F,f-d的零点重级至少为k,f=0f(k)=a且f(k)=bf=c. 则F在D上正规.本文将这个定理推广到亚纯函数情形,并且将f(k)用f的微分多项式来代替,结论仍成立.     

石河子绿洲-荒漠区十字花科植物物种多样性及其分布特点

通过近几年的野外调查,整理出石河子绿洲-荒漠区十字花科(Brassicaceae)植物共29属,41种.本区十字花科植物属的构成简单,单种属22个(75.8%);属的区系成分以地中海-中亚(62.1%)为主,与华夏区系(3.4%)有一定的联系,地中海-中亚成分的属分布最广,生于本区的各种生境,而北温带分布型(20.7%)和世界分布型(6.9%)主要分布于绿洲;生活型以一或二年生植物为主(85.4%),地面芽植物(12.2%)和地上芽植物(2.4%)均很少,且地面芽植物主要分布于绿洲;种的分布区特点是多数种的生境单一,也有一些种在2个或3个生境中均有分布.     

一类具有分布时滞Duffing方程的周期解

考虑具有分布时滞的Duffing型方ax"+bx+g(∫τ0x(t-s)dη(s))=p(t),运用重合度理论,获得了此方程至少存在一个周期解的充分条件.     

基于语言变量的模糊本体模型

为了更有效地表达语义Web中的模糊知识,将模糊概念与关系引入到传统的模型中,提出新的模糊本体:模糊领域本体与模糊顶层本体.模糊顶层本体从语言变量的形式化表示入手,考虑模糊概念间的语义关系:集合关系、序关系与等价关系.用模糊本体对智能交通领域的知识进行建模,通过模糊语言值描述交通概念的属性信息,有效克服现有模型的一些局限.结果表明,该研究有利于语义Web环境下模糊系统的知识共享与重用.     

机器人柔性装配单元的设计

机器人柔性装配单元是实现多品种、中小批量产品装配自动化的有效技术途径．该文在对机器人柔性装配单元中机器人、夹持器装置选择的约束条件进行型式化描述的基础上,以制造成本最小为目标,建立了满足装配任务精度要求的机器人柔性装配单元优化布局的数学模型．最后,通过具体生产案例对提出的方法和模型的正确性、可行性进行了验证．     

变分Lyapunov函数方法与脉冲时滞切换系统的稳定性

利用变分Lyapunov函数方法和Razumikhin技巧,建立了脉冲时滞切换系统的变分比较原理,得到了该系统一致渐近稳定的比较结果.     

组态技术和PLC在人行道护栏控制系统中的应用

介绍了基于MCGS组态软件与欧姆龙公司CQM1H系列可编程序控制器的人行道护栏控制系统设计及控制系统的组态过程;给出了控制系统的硬件组成、软件设计,并制作出控制系统的动态监控画面;在MCGS和PLC串行通信的基础上,通过计算机控制PLC,实现了对十字路口交通灯及人行道护栏的控制.