期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到76篇文章
< 1 2 … 4 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于小波分析的一种自适应图像压缩编码 被引量：4
1
作者 徐昊 俞军 +1 位作者 骆晓 庄天戈 《计算机工程与应用》 CSCD 北大核心 2002年第4期72-75,共4页
文章在研究近年来基于小波变换的图像压缩编码方法的基础上,提出了一种自适应的小波分解方案。即在一定的能量准则下,根据子图像的能量大小决定是否进行小波分解,并由此导出自适应小波分解树和可调压比方案,然后结合自适应小波分解树的... 文章在研究近年来基于小波变换的图像压缩编码方法的基础上,提出了一种自适应的小波分解方案。即在一定的能量准则下,根据子图像的能量大小决定是否进行小波分解,并由此导出自适应小波分解树和可调压比方案,然后结合自适应小波分解树的特性,给出恰当的小波系数量化、比特分配以及各层子图像的编码方案。实验表明,该文算法广泛适用于不同特征的数字图像,在较高压缩比时仍有较好的重建图像质量,而且压缩比在一定范围内可以调节。在相近压缩比的情况下,主观视觉质量和峰值信噪比都明显优于JPEG标准。 展开更多
关键词 图像压缩编码 小波变换 自适应小波变换 自适应小波分解树
在线阅读 下载PDF
油楠作为能源植物开发利用的思考 被引量：6
2
作者 李荣生 尹光天 +1 位作者 杨锦昌 邹文涛 《生物质化学工程》 CAS 2006年第B12期161-164,共4页
对油楠分类历史和利用重点的变迁进行阐述,指出油楠作为能源植物开发利用存在的问题,认为现有研究知识不能满足开发利用的要求,建议将资源清查、培育技术、良种选育、产油机理、采油技术、燃烧性能和信息网建设作为开发利用优先研究的... 对油楠分类历史和利用重点的变迁进行阐述,指出油楠作为能源植物开发利用存在的问题,认为现有研究知识不能满足开发利用的要求,建议将资源清查、培育技术、良种选育、产油机理、采油技术、燃烧性能和信息网建设作为开发利用优先研究的领域和完成的工作,为油楠作为能源植物开发利用提供切入点。 展开更多
关键词 油楠 能源树 开发利用
在线阅读 下载PDF
基于LS-SVM算法的多场景风功率预测研究 被引量：21
3
作者 杨阳 杨璐 +1 位作者 郎劲 张颜颜 《智慧电力》 2017年第7期58-63,共6页
为了减少风力发电的不确定性和随机性对电力系统的影响,解决风电并网困难和风电机组预测复杂度高等问题,提出一种基于聚合批的最小二乘支持向量机(LS-SVM)预测模型用于风功率预测。在此基础上,利用改进的差分进化算法解决参数对于最小... 为了减少风力发电的不确定性和随机性对电力系统的影响,解决风电并网困难和风电机组预测复杂度高等问题,提出一种基于聚合批的最小二乘支持向量机(LS-SVM)预测模型用于风功率预测。在此基础上,利用改进的差分进化算法解决参数对于最小二乘支持向量机建模的影响。同时,本文提出利用场景树的思想对LSSVM的预测结果进行进一步修正。用某风电场的实际数据进行功率预测试验,结果表明批建模在保证计算时间的基础上预测精度高于传统预测方法,且加入场景数后能对LS-SVM的预测结果起到很好的修正作用,本文提出的建模方法及改进策略与其它方法相比预测精度更高,能更有效地用于风功率预测。 展开更多
关键词 风功率 短期预测 最小二乘支持向量机 场景树 差分进化
在线阅读 下载PDF
基于小波分解和数据挖掘中决策树算法的电能质量扰动识别方法 被引量：24
4
作者 孔英会 车辚辚 +2 位作者 苑津莎 安静 刘云峰 《电网技术》 EI CSCD 北大核心 2007年第23期78-82,共5页
针对短时电能质量变化和暂态扰动现象的不同特点,提出了一种基于小波分解和数据挖掘中决策树算法的电能质量扰动(power quality disturbance,PQD)识别方法。建立了正弦信号和6种常见PQD信号的数学模型,通过小波分解得到了上述信号的特征... 针对短时电能质量变化和暂态扰动现象的不同特点,提出了一种基于小波分解和数据挖掘中决策树算法的电能质量扰动(power quality disturbance,PQD)识别方法。建立了正弦信号和6种常见PQD信号的数学模型,通过小波分解得到了上述信号的特征量,结合决策树方法实现了对PQD的自动分类,并通过合理选择小波类型、分类算法和去噪方法提高了PQD的分类精度。实验结果验证了该识别方法的准确性和高效性。 展开更多
关键词 电能质量扰动 小波变换 数据挖掘 决策树 特征提取 去噪
在线阅读 下载PDF
L壳层双洞态氩离子的退激发及末电离态分布的研究 被引量：1
5
作者 王向丽 胡宏伟 董晨钟 《原子与分子物理学报》 CAS CSCD 北大核心 2008年第3期493-498,共6页
基于洞原子退激发的辐射-俄歇级联退激发模型(radiative-Auger cascade model简称RAC模型),本文详细研究了Ar2+(2s-2)、Ar2+(2s-12p-1)和Ar2+(2p-2)三种离子的退激发过程及其末电离态离子分布,讨论了末电离态离子分布随初态洞的深浅变... 基于洞原子退激发的辐射-俄歇级联退激发模型(radiative-Auger cascade model简称RAC模型),本文详细研究了Ar2+(2s-2)、Ar2+(2s-12p-1)和Ar2+(2p-2)三种离子的退激发过程及其末电离态离子分布,讨论了末电离态离子分布随初态洞的深浅变化的规律.结果表明:随着初态洞分布的变浅,退激发过程变简单,退激发后产生的高离化度离子分布降低,低离化度离子分布增大. 展开更多
关键词 洞原子(或离子) RAC模型 退激发树 末电离态离子分布
在线阅读 下载PDF
复数小波域的高斯尺度混合模型图像降噪 被引量：2
6
作者 严奉霞 成礼智 彭思龙 《中国图象图形学报》 CSCD 北大核心 2008年第5期865-869,共5页
由于复数小波变换具有近似平移不变性和良好的方向选择性,因此适用于图像去噪。为了取得更好的降噪效果,提出了一种基于复数小波的高斯尺度混合模型降噪算法。该算法首先对自然图像的复数小波系数建立统计模型,即将位于相邻位置和尺度... 由于复数小波变换具有近似平移不变性和良好的方向选择性,因此适用于图像去噪。为了取得更好的降噪效果,提出了一种基于复数小波的高斯尺度混合模型降噪算法。该算法首先对自然图像的复数小波系数建立统计模型,即将位于相邻位置和尺度的系数邻域建模为一个高斯尺度混合模型;然后用该模型对子带系数进行贝叶斯最小均方估计,以达到降低噪声的目的。由于这一模型很好地利用了复数小波系数幅值尺度间和尺度内的相关性,因此可以取得较好的降噪效果。实验结果表明,该算法无论从峰值信噪比还是从主观视觉上都优于一些传统的降噪算法。 展开更多
关键词 图像降噪 二元树复数小波变换 高斯尺度混合模型 贝叶斯最小均方估计
在线阅读 下载PDF
一种适合油桐种仁蛋白质分离的双向电泳技术体系 被引量：4
7
作者 占志勇 陈益存 +2 位作者 韩小娇 崔琴琴 汪阳东 《林业科学研究》 CSCD 北大核心 2012年第6期745-750,共6页
为奠定油桐蛋白质组学研究的基础,针对影响油桐种仁蛋白质分离效果的几个重要因素进行单因素优化实验,建立了油桐种仁蛋白质组分离效果良好的双向电泳技术平台。实验结果显示:采用TCA-丙酮结合酚抽法提取的油桐种仁蛋白质,经裂解液(7 mo... 为奠定油桐蛋白质组学研究的基础,针对影响油桐种仁蛋白质分离效果的几个重要因素进行单因素优化实验,建立了油桐种仁蛋白质组分离效果良好的双向电泳技术平台。实验结果显示:采用TCA-丙酮结合酚抽法提取的油桐种仁蛋白质,经裂解液(7 mol.L-1尿素,2 mol.L-1硫脲,4%CHAPS,65 mmol.L-1DTT,2%IPG buffer)裂解之后,上样700μg聚焦70 000 Vh,经过SDS-PAGE电泳(分离胶浓度15%,恒功率5 W,电泳时间8 h)后有良好的分离效果,能满足开展后续蛋白质组学研究的实验要求。 展开更多
关键词 油桐 双向电泳 蛋白质组学
在线阅读 下载PDF
基于差分演化的GEP决策树算法 被引量：2
8
作者 王卫红 阮薇 李曲 《计算机工程》 CAS CSCD 北大核心 2011年第1期181-183,共3页
基于均匀常数分布的基因表达式编程决策树算法存在对多属性数据分类效果不佳的问题。为此,提出一种基于差分演化的基因表达式编程决策树算法,该算法通过引入差分演化的方法对其附加阈值进行改进,从而使均匀的常数数组在保持均匀分布的... 基于均匀常数分布的基因表达式编程决策树算法存在对多属性数据分类效果不佳的问题。为此,提出一种基于差分演化的基因表达式编程决策树算法,该算法通过引入差分演化的方法对其附加阈值进行改进,从而使均匀的常数数组在保持均匀分布的同时仍不失多样性。实验结果表明,该方法在多属性数据的分类问题上能够得到良好的效果。 展开更多
关键词 基因表达式编程 决策树 差分演化
在线阅读 下载PDF
基于双树复数小波变换的图像去噪方法 被引量：16
9
作者 罗鹏 高协平 《光子学报》 EI CAS CSCD 北大核心 2008年第3期604-608,共5页
在双树复数小波的基础上引入平移不变的重要思想,使其具有真正意义上的平移不变性.提出了一种基于平移不变双树复数小波变换的图像去噪方法.实验结果表明该方法能有效提高图像去噪效果及图像边缘检测能力.
关键词 复数小波 双树复数小波 图像去噪 平移不变
在线阅读 下载PDF
巴西橡胶树幼叶和成熟叶比较蛋白质组学初步研究 被引量：6
10
作者 王海燕 田维敏 +4 位作者 王斌 王丹 常丽丽 郭安平 王旭初 《中国农学通报》 CSCD 2012年第25期6-14,共9页
为研究不同发育时期橡胶树叶片的功能代谢及揭示天然橡胶胶乳的合成调控机制,以巴西橡胶树古铜期幼嫩叶片(幼叶)和稳定期完全成熟叶片(成熟叶)为实验材料,提取蛋白并进行双向电泳分离,结果发现幼叶与成熟叶相比,蛋白表达图谱差异显著,... 为研究不同发育时期橡胶树叶片的功能代谢及揭示天然橡胶胶乳的合成调控机制,以巴西橡胶树古铜期幼嫩叶片(幼叶)和稳定期完全成熟叶片(成熟叶)为实验材料,提取蛋白并进行双向电泳分离,结果发现幼叶与成熟叶相比,蛋白表达图谱差异显著,鉴定出的已知蛋白中多数参与了碳代谢及蛋白的翻译后修饰功能。本研究建立了成熟的巴西橡胶树叶片比较蛋白质组学研究的技术体系,获得了高分辨率的叶片蛋白双向电泳参考图谱,鉴定出来的腈裂解酶A链,核酮糖1,5-二磷酸羧化酶和肌动蛋白等在幼叶和成熟叶片中的表达量不同,这些结果为进一步揭示天然橡胶合成调控机制提供了一定的技术支撑与实验数据,对天然橡胶合成机制的研究以及其他热带植物叶片的蛋白质组学研究具有一定的参考意义。 展开更多
关键词 橡胶树 叶片 比较蛋白质组 双向电泳 质谱
在线阅读 下载PDF
基于Contourlet域HMT模型的声纳图像去噪 被引量：5
11
作者 夏平 刘小妹 +1 位作者 吴涛 雷帮军 《应用声学》 CSCD 北大核心 2016年第1期50-57,共8页
声纳图像预处理是声纳图像目标识别与跟踪的前提;声纳图像对比度低,特性信息弱,为此,提出Contourlet域HMT模型(CT-HMT)的声纳图像去噪算法。Contourlet域中,不同方向间子带系数的相关性体现于DFB分解中,相邻尺度间父节点对应的4个子节... 声纳图像预处理是声纳图像目标识别与跟踪的前提;声纳图像对比度低,特性信息弱,为此,提出Contourlet域HMT模型(CT-HMT)的声纳图像去噪算法。Contourlet域中,不同方向间子带系数的相关性体现于DFB分解中,相邻尺度间父节点对应的4个子节点分布在2个可分离的方向子带上,父、子节点状态"持续性"采用Markov模型建模,尺度内Contourlet系数的"聚集性"采用混合高斯模型建模;最后,用贝叶斯准则估计无噪图像的Contourlet系数,实现声纳图像去噪。实验结果从视觉效果和定量分析两方面验证表明,本文算法能有效地抑制噪声,提取声纳图像的弱特征信息,较好地保全了图像的边缘和轮廓信息。 展开更多
关键词 声纳图像去噪 Contourlet分析 隐马尔科夫树模型(HMT) 方向滤波
在线阅读 下载PDF
一种低功耗集成电路的时钟分布策略 被引量：6
12
作者 阳若宁 《中南林业科技大学学报》 CAS CSCD 北大核心 2011年第12期192-196,共5页
均衡时钟分布树在大规模数字集成电路实现中具有重要作用,其中H型树代表主流ASIC设计中时钟分布方式。H树过度依赖时钟缓冲器均衡分布算法,使时钟网络级数过高、存在较多冗余缓冲器,导致整体功耗过大。提出了一种新的低功耗分布方案,以... 均衡时钟分布树在大规模数字集成电路实现中具有重要作用,其中H型树代表主流ASIC设计中时钟分布方式。H树过度依赖时钟缓冲器均衡分布算法,使时钟网络级数过高、存在较多冗余缓冲器,导致整体功耗过大。提出了一种新的低功耗分布方案,以去偏斜时钟电路的方式,将时钟树叶节点与根节点进行相位同步。此电路结合了SMD和DLL两种实现,即可以快速完成时钟同步,又可以在细粒度上进行微调,从而对以往此类方案进行改进。使用SPICE仿真和SOC Encounter布线工具进行仿真验证,结果表明此方案可以降低20%左右的功耗。 展开更多
关键词 低功耗数字集成电路 时钟树分布 去偏斜时钟电路 SMD DLL
在线阅读 下载PDF
基于双树复小波包的发动机振动信号特征提取研究 被引量：37
13
作者 吴定海 张培林 +2 位作者 任国全 傅建平 韩兰懿 《振动与冲击》 EI CSCD 北大核心 2010年第4期160-163,176,共5页
针对柴油机缸盖振动信号的特征提取问题,提出了一种基于双树复小波包变换和自适应块阈值降噪的标准化相对能量提取方法,双树复小波包利用并行双树实小波变换分解系数达到信息互补,从而获得近似平移不变性和减少了信息的丢失。自适应分... 针对柴油机缸盖振动信号的特征提取问题,提出了一种基于双树复小波包变换和自适应块阈值降噪的标准化相对能量提取方法,双树复小波包利用并行双树实小波变换分解系数达到信息互补,从而获得近似平移不变性和减少了信息的丢失。自适应分块阈值能够随所分析的信号自适应估计最优阈值,达到更好的降噪效果,同时引入消除频率混叠的算法,抑制了双树复小波包分解过程中虚假频率的产生。仿真信号和试验分析该方法能够更有效地消除噪声影响,所提取的相对能量特征具有更好的可区分度。 展开更多
关键词 双树复小波包 特征提取 降噪 振动信号 故障诊断
在线阅读 下载PDF
广东南澳岛华润楠群落主要树种种间联结性 被引量：19
14
作者 谭一波 詹潮安 +2 位作者 杨海东 肖泽鑫 彭剑华 《中南林业科技大学学报》 CAS CSCD 北大核心 2012年第11期92-99,共8页
华润楠Machilus chinensis是广东南澳岛南亚热带常绿阔叶林的重要代表物种,其群落生境受到不同程度的破坏,生态系统比较脆弱,保护和恢复其群落变得越来越紧迫。种间联结研究有助于正确认识群落结构和演替趋势,对植物群落的保护和恢复具... 华润楠Machilus chinensis是广东南澳岛南亚热带常绿阔叶林的重要代表物种,其群落生境受到不同程度的破坏,生态系统比较脆弱,保护和恢复其群落变得越来越紧迫。种间联结研究有助于正确认识群落结构和演替趋势,对植物群落的保护和恢复具有重要意义。为全面了解脆弱生境下南澳岛华润楠群落种间联结特性,在华润楠次生林群落调查的基础上,采用2×2联列表,通过方差比率(VR)、χ2检验、联结系数AC、共同出现百分数PC的计算及DCA排序,对华润楠群落乔木层中重要值较高的12个主要树种、66个种对间的关联性进行定量分析和生态种组的划分。结果表明:12个主要树种间总体关联性表现为不显著负联结,反映了该群落处于动态演替过程中,尚未达到稳定状态。与华润楠群落12个主要树种以喜光树种为主,建群种华润楠和台湾相思分别处于进展演替和衰退阶段等种群不稳定状态相符。χ2检验与联结系数测定的结果基本一致,χ2检验中表现为正联结的有31对,负联结的有33对,无联结的有2对,正负联结的比例较高,无联结的比例较低(占3.03%),群落向地带顶级演替仍然是一个相当漫长的过程。负联结中显著和极显著的种对较正联结的多,进一步反映了总体的负联结性。大部分种对的联结没有达到显著程度,种间联结较为松散,物种分布具有一定的独立性。根据群落12个主要树种的DCA排序和种间联结关系划分了3个生态种组。第Ⅰ生态种组为阳性先锋型,第Ⅱ生态种组为阳性喜温湿型,第Ⅲ生态种组为阳性中生演替型。生态种组的划分基本反映出了华润楠群落的演替序列和方向,群落由第Ⅰ、Ⅱ生态种组的喜光照、喜温湿类型向第Ⅲ生态种组的阳性中生演替型发展,并将逐渐恢复成为中生性和耐荫树种占主导的南亚热带常绿阔叶林。 展开更多
关键词 次生林 主要树种 种间联结 DCA排序 生态种组
在线阅读 下载PDF
气载放射性微粒在真实人体上呼吸道模型内沉积特性的研究 被引量：1
15
作者 胡志军 林江 +1 位作者 樊建人 胡桂林 《工程热物理学报》 EI CAS CSCD 北大核心 2012年第8期1357-1361,共5页
基于人体医学CT扫描,重建得到"鼻腔-咽喉主气管-六级支气管"三维几何模型;采用大涡模拟和离散相模型的描述颗粒运动,并在拉格朗日框架下跟踪颗粒。考察了四种气载放射性微粒在典型呼吸强度下的运动和沉积。结果表明:在各工况... 基于人体医学CT扫描,重建得到"鼻腔-咽喉主气管-六级支气管"三维几何模型;采用大涡模拟和离散相模型的描述颗粒运动,并在拉格朗日框架下跟踪颗粒。考察了四种气载放射性微粒在典型呼吸强度下的运动和沉积。结果表明:在各工况下,气载放射性颗粒在呼吸道内运动受流道变化、缩放效应、呼吸强度和阻流面等影响较大,均呈现出明显的积聚性和沉积的高度不均匀性,易形成局部沉积热点。在4个弯曲面、2个缩放管结构区域以及支管分叉面出现大量颗粒沉积。气载放射性颗粒的沉积热点区域将导致人体组织细胞的应激反应,造成组织和器官的辐射损伤。颗粒的沉积率随粒径和呼吸强度的增加而增加,但粒径小于0.5μm后,沉积率呈相反趋势。大颗粒在呼吸道内受流道变化、呼吸强度和阻流效应等影响较大,小颗粒受布朗运动和斯坦夫升力影响更显著。 展开更多
关键词 大涡模拟 六级支气管 放射性微粒 沉积
原文传递
虫害叶损失造成的树木非结构性碳减少与树木生长、死亡的关系研究进展 被引量：16
16
作者 陈志成 万贤崇 《植物生态学报》 CAS CSCD 北大核心 2016年第9期958-968,共11页
大规模虫害爆发可造成区域森林死亡,近年的气候变化进一步增加了虫害的频度和危害程度。森林和林地植物死亡会导致植被生产力降低,改变生态系统结构和功能,使森林由一个净的碳汇转变为一个碳源。因此,加深虫害对树木危害机制的认识有重... 大规模虫害爆发可造成区域森林死亡,近年的气候变化进一步增加了虫害的频度和危害程度。森林和林地植物死亡会导致植被生产力降低,改变生态系统结构和功能,使森林由一个净的碳汇转变为一个碳源。因此,加深虫害对树木危害机制的认识有重要意义。虫害造成的叶损失(虫害叶损失)降低树木光合作用能力,增加非结构性碳(NSC)消耗,使得树木体内碳储备降低,NSC降低到一定程度会导致树木因碳饥饿而死亡。外部环境和树木自身的补偿性机制也会对这个过程产生正或负的影响。在近年气候变化背景下,树木死亡在全球尺度上增多,重新激起了人们对碳饥饿的重视,碳饥饿被视为解释树木死亡的主要生理机制之一。该文介绍了碳饥饿的定义,综述了虫害叶损失减少树木NSC储备与树木生长、死亡的关系,以及树木虫害和叶损失与气候变化之间的关系,并对今后的研究进行了展望。 展开更多
关键词 碳饥饿 非结构性碳 树木死亡 气候变化 干旱 昆虫 防御
原文传递
基于局部混合滤波的SAR图像去噪 被引量：6
17
作者 刘帅奇 胡绍海 肖扬 《系统工程与电子技术》 EI CSCD 北大核心 2012年第2期396-402,共7页
相干斑噪声是合成孔径雷达(synthetic aperture radar,SAR)成像系统所固有的缺点,严重影响SAR图像的可用性,给后续的图像分割、特征提取和目标识别等工作带来严峻的挑战。结合非下采样方向滤波器和双树复小波变换各自的特点,提出一种新... 相干斑噪声是合成孔径雷达(synthetic aperture radar,SAR)成像系统所固有的缺点,严重影响SAR图像的可用性,给后续的图像分割、特征提取和目标识别等工作带来严峻的挑战。结合非下采样方向滤波器和双树复小波变换各自的特点,提出一种新的基于非下采样方向滤波-双树复小波变换的局部混合滤波SAR图像去噪算法,具有多方向和多尺度性,保持了图像的平移不变性,改善了图像的视觉效果。与其他算法不同,本文算法采用非下采样方向滤波器级联双树复小波的方法,不仅对每次产生的高频分量进行去噪,还对变换所产生的低频分量进行滤波去噪。实验结果表明:与使用同级双树复小波-轮廓波变换加软阈值去噪相比,本文算法的峰值信噪比提高2dB;与使用轮廓波加循环平移(cycle spinning,CS)软阈值算法去噪相比,本文算法去噪后的图像不仅峰值信噪比有所提高,而且去噪后的图像更为平滑,抑制了人造纹理产生,视觉效果得到了明显改善。 展开更多
关键词 非下采样方向滤波 双树复小波去噪 混合滤波去噪 合成孔径雷达图像去噪
在线阅读 下载PDF
多小波描述的通用隐马尔可夫树模型图像去噪算法 被引量：1
18
作者 张伟 隋青美 《青岛科技大学学报（自然科学版）》 CAS 2008年第2期170-174,共5页
小波域通用隐马尔可夫树(uHMT)模型充分利用了实际图像内部的自相似性,仅用9个参数(与图像的大小和小波的尺度数目无关)就可以完全确定实际图像的隐马尔可夫树(HMT)模型,极大地简化了隐马尔可夫树模型,但这使得图像去噪的精度降低。多... 小波域通用隐马尔可夫树(uHMT)模型充分利用了实际图像内部的自相似性,仅用9个参数(与图像的大小和小波的尺度数目无关)就可以完全确定实际图像的隐马尔可夫树(HMT)模型,极大地简化了隐马尔可夫树模型,但这使得图像去噪的精度降低。多小波描述在图像去噪方面取得了较好的效果。利用通用隐马尔可夫树(uHMT)模型和多小波描述各自在图像去噪方面的优势,将两者结合起来,提出了一种称之为多小波描述的通用隐马尔可夫树模型(M-uHMT)的新的图像去噪算法。仿真结果表明,这种算法的去噪效果优于典型的去噪算法。 展开更多
关键词 多小波 通用隐马尔可夫树模型 图像去噪 图像处理
在线阅读 下载PDF
不确定型多值Kripke结构的模型检测 被引量：1
19
作者 郦丽 沈应兄 潘海玉 《模糊系统与数学》 CSCD 北大核心 2016年第5期60-70,共11页
多值模型检测是经典模型检测的一种扩展,主要用于具有不一致信息的系统的验证。为了对具有不一致和不确定性的系统进行形式化分析,本文提出非确定型多值Kripke结构作为此类系统的模型,引入一种多值计算树逻辑作为非确定型多值Kripke结... 多值模型检测是经典模型检测的一种扩展,主要用于具有不一致信息的系统的验证。为了对具有不一致和不确定性的系统进行形式化分析,本文提出非确定型多值Kripke结构作为此类系统的模型,引入一种多值计算树逻辑作为非确定型多值Kripke结构的规范语言,给出一种多项式时间的模型检测算法。研究结果表明本文提出的模型检测技术适用于具有不确定行为的多值系统的自动验证。 展开更多
关键词 多值模型检验 计算树逻辑 模糊自动机 DE MORGAN代数
原文传递
干旱胁迫下橡胶树叶片差异表达蛋白的鉴定与功能解析 被引量：16
20
作者 林秀琴 袁坤 +2 位作者 王真辉 邓军 杨礼富 《热带作物学报》 CSCD 2009年第12期1782-1788,共7页
干旱是影响橡胶树生长和产胶的重要非生物胁迫。以橡胶树无性系热研7-33-97为试验材料,通过干旱胁迫处理后,提取并纯化样品叶片的总蛋白质,经双向凝胶电泳(2-DE)和胶图分析。结果表明,干旱胁迫与对照样品相比,干旱胁迫10d和15d的橡胶树... 干旱是影响橡胶树生长和产胶的重要非生物胁迫。以橡胶树无性系热研7-33-97为试验材料,通过干旱胁迫处理后,提取并纯化样品叶片的总蛋白质,经双向凝胶电泳(2-DE)和胶图分析。结果表明,干旱胁迫与对照样品相比,干旱胁迫10d和15d的橡胶树叶片蛋白中共存在38个差异表达蛋白点。采用MALDI-TOFMS分析和数据库检索,对差异表达的蛋白进行鉴定和功能注释,依照功能分类,这些蛋白主要参与胁迫应激响应、能量代谢、光合作用、信号转导以及细胞定位等生物学过程。 展开更多
关键词 橡胶树 干旱胁迫 蛋白质组学 2-DE MALDI-TOFMS
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 4 下一页 到第 页
使用帮助 返回顶部