数字电路测试生成的二元判定图方法

测试是保证电路系统可靠性的重要手段,已成为集成电路设计与生产的一个组成部分,研究了基于二元判定图的数字电路测试生成方法,对布尔函数的表示和操作的二元判定图进行研究,详细讨论了其中的ite算符;给出了基于二元判定图的电路测试生成方法的实现步骤,并用实例进行了说明。     

系统素信号转导研究进展

系统素最初是指在番茄叶片中发现的与植物防卫反应相关的一种18个氨基酸的多肽信号,随着在茄科植物中其他相类似的多肽防卫信号的发现,现系统素被定义为茄科植物中具有调节防卫基因功能的一类多肽信号家族.近年来对系统素信号转导的研究取得了很大进展,不仅在系统素信号转导途径上,而且在系统素与其他信号转导途径的相互作用上均有了很大进展.文中介绍了系统素的信号转导途径以及系统素与其他信号转导途径,如与油菜素甾醇类激素(BRs)和紫外线-B(UV-B)信号转导途径之间的相互作用,并对这一领域的研究进行了展望.     

有限群的π-拟正规嵌入子群与p-幂零性

通过分析群阶和特殊素因子,利用Sylow子群二次极大子群的π-拟正规嵌入性质,得到:设H是有限群G的正规子群使得G/H为p-幂零群, P是H的一个Sylow p-子群, 这里p是|G|的一个素因子.若P的二次极大子群均在G中π-拟正规嵌入且下列条件之一满足,则G是p-幂零:(1) (|G|, p2-1)=1; (2) NG(P)/CG(P)是p-群.     

扭曲肉芝软珊瑚的化学成分研究

从采自于海南岛三亚附近海域的扭曲肉芝软珊瑚 Sarcophyton tortuosum Tix.-Dur中,分离提取得到5个纯化合物,通过综合波谱解析和化学转化鉴定它们的化学结构分别为:1个四萜化合物methyl sarcotortuoate,3个甾醇:1β,3β,5α,6β-四羟基-25-乙酰氧基-麦角甾醇,24( S )-麦角甾烷-3β,5α,6β,25-四醇,23-甲基-24( S )-麦角甾烷-3β,5α,6β-三醇,1个神经酰胺( 2S,3R, 2′S,4E,8E )-Δ4(5),Δ8(9)-鞘氨醇-2′-羟基-十六碳酰胺.     

海南昌江县石灰岩地区轮叶戟群落特征研究

根据样方调查,分析了海南岛昌江县石灰岩地区轮叶戟Lasiococca comberi var.pseudoverticillata群落的种类组成、外貌和结构特征,并就分析结果与其它地区进行了相关性分析和讨论.结果表明,在1 800 m+2样地中,有维管植物164种,隶属于64科129属,其中以热带性分布属占明显优势,所占比例为94.87%.群落外貌终年常绿,生活型以高位芽为主,占76.07%,乔木多为单叶,叶型以中型叶为主,占70.73%.群落成层现象不明显;通过对优势种群的年龄结构分析显示,该群落处于增长状态,按照Raunkiaer的频度等级定律,A级频度值为71.95,其中有79种植物只出现于一个样方中.通过相关性分析显示,该地植物在属的区系成分上受气候的影响比基质的大,该群落所属的植被类型处于热带常绿季雨林向热带雨林演替的过渡阶段,并需用自然恢复的方式对植被进行恢复和保护.     

毕竟正则半群中的变量

设S是一个半群,a∈S.S的关于元素a的变量指的是S按运算 ∶x,y∈S, x y = xay做成的半群(S, ).本文给出了毕竟正则半群上变量的一些性质并刻画了毕竟正则半群的毕竟正则保持元,即使得(S, )是毕竟正则半群的元素a∈S.     

具有长条型内边界外问题的耦合法

本文以具有长条型内边界的二维调和外问题为例，研究一种带有椭圆人工边界的自然边界元与有限元耦合法，给出耦合变分问题的适定性及近似解的误差估计．理论分析及数值结果表明，用该方法求解带长条型内边界的外问题是十分有效的．     

具有反馈控制的时滞竞争系统的持久性

研究了一类具有反馈控制和连续时滞的两种群非自治竞争系统，利用微分不等式给出了系统持续生存的条件。同时当系统是周期系统时，利用Brouwer不动点原理得到了该系统存在一个正的。周期解，通过构造Liapunov函数的方法以及Barbalat引理给出了其存在惟一且全局渐近稳定的周期正解的充分条件。     

脑神经元移行异常的MRI诊断

为了提高对脑神经元移行异常的MRI诊断，笔者收集了5例脑神经元移行异常的病例，详细分析了本病的MRI表现，并讨论了脑神经元移行异常的发生、病理、分型以及临床表现．     

二阶抛物问题的扩展混合元方法

对二阶抛物问题提出了一种新的混合元方法一扩展混合元方法．该方法能同时逼近未知函数、未知函数的梯度和流体的流量，较好地模拟了带有混合型边界条件的二阶抛物问题．通过数值分析进一步证明了未知函数、未知函数的梯度和流体的流量的最优L^2-误差估计。