期刊文献+
共找到281篇文章
< 1 2 15 >
每页显示 20 50 100
表皮葡萄球菌AtlE蛋白介导生物膜起始黏附的相关机制 被引量:9
1
作者 欧元祝 朱于莉 +4 位作者 陈洁敏 秦智强 江娟 杨晓梅 瞿涤 《复旦学报(医学版)》 CAS CSCD 北大核心 2006年第5期569-573,共5页
目的探讨表皮葡萄球菌atlE基因编码的AtlE蛋白介导生物膜起始黏附的相关机制。方法采用RT-PCR法检测表皮葡萄球菌atlE基因在不同时期的表达水平,用紫外分光光度计检测DNA的方法检测了相应时期的胞外DNA的释放量,并用DNA酶(DNaseⅠ)研究... 目的探讨表皮葡萄球菌atlE基因编码的AtlE蛋白介导生物膜起始黏附的相关机制。方法采用RT-PCR法检测表皮葡萄球菌atlE基因在不同时期的表达水平,用紫外分光光度计检测DNA的方法检测了相应时期的胞外DNA的释放量,并用DNA酶(DNaseⅠ)研究表皮葡萄球菌胞外DNA在生物膜形成和起始黏附中的作用;采用pBT2质粒同源重组敲除的方法构建了表皮葡萄球菌1457的atlE基因突变株,研究atlE基因敲除突变对起始黏附能力、生物膜形成及胞外DNA释放能力的影响。结果表皮葡萄球菌atlE基因的表达与胞外DNA的释放量有相关性;DNA酶能影响未成熟生物膜且能降低起始黏附能力;ΔatlE菌株胞外DNA的释放减少,起始黏附能力明显降低,不形成生物膜。结论表皮葡萄球菌atlE基因编码的AtlE蛋白能通过释放胞外DNA在表皮葡萄球菌的生物膜起作用。 展开更多
关键词 表皮葡萄球菌 生物膜 atle基因 胞外DNA
下载PDF
表皮葡萄球菌SarA对atlE、lipA和zinC基因表达调控的研究 被引量:3
2
作者 王海蛟 范长胜 +4 位作者 辛及娣 陶菊红 苑兴卉 高山峨 梁国新 《生物化学与生物物理进展》 SCIE CAS CSCD 北大核心 2007年第2期180-186,共7页
表皮葡萄球菌(Staphylococcusepidermids)是一种条件致病菌,SarA(StaphylococcalaccessoryregulatorA)是该菌中一个全局性调控因子,它控制着细胞中许多与毒性相关的基因表达.报道了SarA在转录水平直接调控atlE、lipA和zinC基因的表达.RT... 表皮葡萄球菌(Staphylococcusepidermids)是一种条件致病菌,SarA(StaphylococcalaccessoryregulatorA)是该菌中一个全局性调控因子,它控制着细胞中许多与毒性相关的基因表达.报道了SarA在转录水平直接调控atlE、lipA和zinC基因的表达.RT-PCR和lacZ报告基因的分析结果显示,在表皮葡萄球菌ATCC35984中,SarA对atlE(自溶酶基因)表达起负调控作用,而对lipA(脂肪酶基因)和zinC(膜相关锌金属蛋白酶基因)的表达则有正调控作用.生物信息学分析表明,SarA控制atlE,lipA和zinC3种基因表达可能是通过与被调控基因上游的特定DNA序列的结合来实现的,该DNA结合区保守并富含AT碱基.根据已报道的金黄色葡萄球菌中SarA的结合位点序列,利用Omiga软件分析并推测了SarA结合atlE,lipA和zinC的可能区域.基于SarA是一种多功能的毒素相关调控因子,结果提示,SarA能调控众多因子,可以作为防治表皮葡萄球菌感染的一个药物筛选靶点. 展开更多
关键词 SARA 自溶酶基因(atle) 脂肪酶基因(lipA) 膜相关锌金属蛋白酶基因(zinC) 基因调控 表皮葡萄球菌
下载PDF
ATLEED对表面结构分析的可靠性研究
3
作者 谭忠民 邓丙成 《原子与分子物理学报》 CAS CSCD 北大核心 2000年第1期75-78,共4页
研究自动张量低能电子衍射对半导体复杂表面结构的有效搜寻范围,它比金属表面或金属吸附表面的有效搜寻范围要小。利用自动张量低能电子衍射对GaAs(111)-p(2×2)表面空位弛豫模型做了详细分析,理论计算和实验曲线符合得很好。
关键词 表面结构 可靠性 晶体 atleED
下载PDF
表皮葡萄球菌AtlE蛋白介导生物膜起始黏附的相关机制
4
作者 欧元祝 朱于莉 +4 位作者 陈洁敏 秦智强 江娟 杨晓梅 瞿涤 《世界感染杂志》 2006年第5期469-469,共1页
目的探讨表皮葡萄球菌atlE基因编码的AtlE蛋白介导生物膜起始黏附的相关机制。方法采用RT-PCR法检测表皮葡萄球菌atlE基因在不同时期的表达水平,用紫外分光光度计检测DNA的方法检测了相应时期的胞外DNA的释放量,并用DNA酶(DNase□)... 目的探讨表皮葡萄球菌atlE基因编码的AtlE蛋白介导生物膜起始黏附的相关机制。方法采用RT-PCR法检测表皮葡萄球菌atlE基因在不同时期的表达水平,用紫外分光光度计检测DNA的方法检测了相应时期的胞外DNA的释放量,并用DNA酶(DNase□)研究表皮葡萄球菌胞外DNA在生物膜形成和起始黏附中的作用;采用pBT2质粒同源重组敲除的方法构建了表皮葡萄球菌1457的atlE基因突变株。研究atlE基因敲除突变对起始黏附能力、生物膜形成及胞外DNA释放能力的影响。结果表皮葡萄球菌atlE基因的表达与胞外DNA的释放量有相关性;DNA酶能影响未成熟生物膜且能降低起始黏附能力;□atlE菌株胞外DNA的释放减少,起始黏附能力明显降低,不形成生物膜。结论表皮葡萄球菌atlE基因编码的AtlE蛋白能通过释放胞外DNA在表皮葡萄球菌的生物膜起作用。 展开更多
关键词 表皮葡萄球菌 生物膜形成 黏附能力 E蛋白 ATL 关机 介导 PCR法检测
下载PDF
Claas公司的ATLES系列拖拉机
5
作者 吴清分 《当代农机》 2011年第3期52-53,共2页
德国Claas公司向市场推出的ATLES系列大功率拖拉机,全系列有3种机型(926型、936型、946型)。该系列产品结构上的最大特点是其前/后结构质量比分布为50/50,这极大地改善了拖拉机的牵引能力。
关键词 大功率拖拉机 ES系列 as公司 ATL CLA 产品结构 牵引能力 质量比
下载PDF
ICESat-2激光雷达噪声光子标识及分布特点研究
6
作者 黄佳鹏 宇洋 《测绘与空间地理信息》 2024年第3期21-24,共4页
利用PhotonLabeler实现对星载光子计数数据的噪声光子标识研究,并分析常见场景噪声光子分布特点,最后生成了一套光子计数噪声标识产品。本研究结果包括:太阳辐射会引起大量噪声出现;海洋区域的噪声光子会受到风浪、水深、海岸线、水中... 利用PhotonLabeler实现对星载光子计数数据的噪声光子标识研究,并分析常见场景噪声光子分布特点,最后生成了一套光子计数噪声标识产品。本研究结果包括:太阳辐射会引起大量噪声出现;海洋区域的噪声光子会受到风浪、水深、海岸线、水中杂质等因素的影响;冰川情况下光子分布多受到积雪厚度、积雪密度、冰盖厚度、冰盖密集度及冰盖表面的粗糙程度等一些外来因素的影响;冬季情况下,噪声光子数目明显少于夏季,分析得出冠层高度及植被覆盖率等因素会引起大量噪声光子出现;多数情况下,弱光束对地表反演能力低于强光束,强光束可以捕获更多的光子点云数据。 展开更多
关键词 ICESat-2 ATL03 噪声光子标识 PhotonLabeler
下载PDF
基于静力水准系统的ATL模型研究
7
作者 程竹兵 李笑 +4 位作者 王巍 吴恩辰 丁婷 张秋雨 何晓业 《强激光与粒子束》 CAS CSCD 北大核心 2024年第8期100-106,共7页
粒子加速器运行时,地面变形会导致束流畸变甚至丢失,所以在粒子加速器领域对地面变形进行研究很有必要。通过在合肥光源直线加速器隧道先后搭建两套并行分布、由7台间隔10 m的静力水准传感器构成的静力水准系统,经过对两套系统采集的共... 粒子加速器运行时,地面变形会导致束流畸变甚至丢失,所以在粒子加速器领域对地面变形进行研究很有必要。通过在合肥光源直线加速器隧道先后搭建两套并行分布、由7台间隔10 m的静力水准传感器构成的静力水准系统,经过对两套系统采集的共计三段为期半个月的监测数据进行分析,发现了ATL模型中存在的线性关系,分别得到不同时段本地区模型常数值,并发现了模型常数与季节温度的相关性。最后通过数据对比发现地面点相对运动中的周期成分主要受固体潮效应影响。 展开更多
关键词 粒子加速器 ATL模型 精密测量 静力水准系统 地面运动
下载PDF
E3 ubiquitin ligase PbrATL18 is a positive factor in pear resistance to drought and Colletotrichum fructicola infection 被引量:1
8
作者 Likun Lin Qiming Chen +4 位作者 Kaili Yuan Caihua Xing Qinghai Qiao Xiaosan Huang Shaoling Zhang 《Horticultural Plant Journal》 SCIE CAS CSCD 2024年第3期698-712,共15页
The Arabidopsis Toxicos en Levadura(ATL)protein is a subfamily of the E3 ubiquitin ligases,which exists widely in plants and is extensively involved in plant growth and development.Although the ATL family has been ide... The Arabidopsis Toxicos en Levadura(ATL)protein is a subfamily of the E3 ubiquitin ligases,which exists widely in plants and is extensively involved in plant growth and development.Although the ATL family has been identified in other species,such as Arabidopsis,Oryza sativa,and grapevine,few reports on pear ATL gene families have been reported.In this study,92 PbrATL genes were identified and analyzed from the Pyrus breschneideri genome.Motif analysis and phylogenetic tree generation divided them into nine subgroups,and chromosome localization analysis showed that the 92 PbrATL genes were distributed in 16 of 17 pear chromosomes.Transcriptome data and quantitative real-time polymerase chain reaction(qRT-PCR)experiments demonstrated that PbrATL18,PbrATL41,and PbrATL88 were involved in both pear drought resistance and Colletotrichum fructicola infection.In addition,Arabidopsis thaliana overexpressing PbrATL18 showed greater resistance to drought stress than the wild type(WT),and PbrATL18-silenced pear seedlings showed greater sensitivity to drought and C.fructicola infection than the controls.PbrATL18 regulated plant resistance by regulating chitinase(CHI),phenylalanine ammonia-lyase(PAL),polyphenol oxidase(PPO),catalase(CAT),peroxidase(POD),and superoxide dismutase(SOD)activities.This study provided a reference for further exploring the functions of the PbrATL gene in drought resistance and C.fructicola infection. 展开更多
关键词 PEAR Colletotrichum fructicola Arabidopsis Toxicos en Levadura(ATL) Drought stress
下载PDF
国际视野
9
作者 本刊(编译) 《物流技术与应用》 2024年第6期184-185,共2页
凯傲北美与福克斯机器人公司建立新合作伙伴关系日前,凯傲北美与Fox Robotics建立非独家战略合作伙伴关系,凯傲北美将在其位于南卡罗来纳州萨默维尔的工厂生产和组装FoxBot自动装卸车(ATL)。凯傲北美总裁兼首席执行官Jonathan·Daw... 凯傲北美与福克斯机器人公司建立新合作伙伴关系日前,凯傲北美与Fox Robotics建立非独家战略合作伙伴关系,凯傲北美将在其位于南卡罗来纳州萨默维尔的工厂生产和组装FoxBot自动装卸车(ATL)。凯傲北美总裁兼首席执行官Jonathan·Dawley表示:“我们正处于物流和运输行业的关键时刻,创新是解决我们面临的一些最紧迫挑战的关键。具体而言,在端到端仓库自动化拼图的最后一块:拖车自动装卸领域,Fox Robotics凭借其迄今为止最强大的AI/ML算法、技术堆栈和已部署的机器人车队,成为迄今为止占主导地位的领导者。” 展开更多
关键词 自动装卸 机器人 南卡罗来纳州 堆栈 合作伙伴关系 ATL 国际视野 萨默维尔
下载PDF
ICESat-2 ATL08地形和冠层高度产品精度评估
10
作者 王丽 李毅 +2 位作者 朱建军 付海强 高士娟 《遥感信息》 CSCD 北大核心 2023年第4期144-152,共9页
ICESat-2 ATL08地形及冠层高度产品在大范围的森林资源调查研究中的性能还需进一步探究。为此,文章首先对35个生态网络观测站的ATL08地形及冠层高度产品进行整体的精度评估;其次,验证其在不同生物群落中的精度并对单站精度进行定量评价... ICESat-2 ATL08地形及冠层高度产品在大范围的森林资源调查研究中的性能还需进一步探究。为此,文章首先对35个生态网络观测站的ATL08地形及冠层高度产品进行整体的精度评估;其次,验证其在不同生物群落中的精度并对单站精度进行定量评价;最后,分析该产品在多种误差因素条件下的性能。结果表明:地形和冠层高度产品的整体RMSE分别为3.23 m和6.58 m;地形高度产品在低矮或稀疏的植被区精度较高,在高大或茂密的森林区精度较低,且其精度随坡度、植被覆盖度及冠层高度的增加而降低;冠层高度产品在温带阔叶林和混交林地区的%RMSE为34.78%,在沙漠和干旱灌木丛地区的%RMSE为127.47%。另外,相比地形高度产品,冠层高度产品受地物覆盖类型、冠层高度和植被覆盖度的影响更严重且影响机制较为复杂。 展开更多
关键词 ICESat-2 ATL08 地形高度产品 冠层高度产品 误差因素 精度验证
下载PDF
基于神经网络拟合多源遥感信息估算冠层高度
11
作者 侯波 杨艳蓉 《森林与环境学报》 CSCD 北大核心 2023年第4期426-432,共7页
为了获取空间上连续的森林冠层高度分布,借助后向传播(BP)神经网络,拟合2019-2020年冰、云和陆地高度卫星(ICESat-1)的陆地/植被产品ATL08的生长季树高数据和中分辨率成像光谱仪(MODIS)的地表信息等多源遥感资料,探索我国西南地区森林... 为了获取空间上连续的森林冠层高度分布,借助后向传播(BP)神经网络,拟合2019-2020年冰、云和陆地高度卫星(ICESat-1)的陆地/植被产品ATL08的生长季树高数据和中分辨率成像光谱仪(MODIS)的地表信息等多源遥感资料,探索我国西南地区森林冠层高度的空间连续估算。结果如下:(1)ICESat-2/ATL08遥感数据对西南地区森林冠层高度表达可信,与2019年同期其他树高遥感数据对比,通过了置信度检验(R=0.566,P<0.01)。(2)BP神经网络拟合ICESat-2/ATL08和MODIS数据得到西南地区空间连续森林冠层高度的方法可靠。神经网络训练结果决定系数(R2)达0.7以上,均方根误差在2.5 m左右。从结果中随机选择10个自然保护区位置森林冠层高度数值,对比2005年同源遥感资料,得到R=0.836(P<0.001)。连续森林冠层高度数值的频率直方图符合正态分布,高频段为10~25 m。(3)估算得到的西南地区森林冠层高度平均值为16 m,低于2005年遥感均值,但在重庆与贵州交界、贵州东北部、云南六诏山等地,森林覆盖度和冠层高度均有所提升,云南大理的则略有减少。从空间分布来看,大于20 m的数值分布于四川盆地外围、金沙江流域、重庆大巴山、云南哀牢山和无量山以及贵州东南部等地区;四川西南部乡城和稻城、重庆东北部、云贵高原中部地区均在10 m以下。 展开更多
关键词 ICESat⁃2/ATL08数据 MODIS BP神经网络 森林冠层高度 西南地区
下载PDF
ICESat-2/ATLAS数据地面高程及植被冠层高度反演精度验证
12
作者 张丛凯 于颖 《森林工程》 北大核心 2023年第3期1-11,共11页
为验证新一代冰、云和陆地高程卫星ICESat-2/ATLAS陆地与植被高程产品(Land and Vegetation Height)ATL08数据地面高程和植被冠层高度的反演精度,以ICESat-2/ATLAS ATL08产品为研究对象,以黑龙江省帽儿山国家森林公园为研究区域,以高精... 为验证新一代冰、云和陆地高程卫星ICESat-2/ATLAS陆地与植被高程产品(Land and Vegetation Height)ATL08数据地面高程和植被冠层高度的反演精度,以ICESat-2/ATLAS ATL08产品为研究对象,以黑龙江省帽儿山国家森林公园为研究区域,以高精度机载激光雷达数据及样地实测数据为参考,分析不同波束强度、时间、坡度及植被覆盖度下地面高程和植被冠层高度反演精度差异。研究表明,1)对地面高程来说,ATL08强波束的反演精度均方根误差(RMSE)为1.9 m,平均绝对误差(MAE)为1.1 m,弱波束的精度RMSE为4.1 m,MAE为2.0 m;2)对植被冠层高度来说,以高精度机载激光雷达数据提取冠层高度为参考,强波束的反演精度RMSE为2.7 m,MAE为2.3 m,弱波束RMSE为5.4 m,MAE为3.7 m。以样地实测树高数据为参考,夜间所有波束精度RMSE为1.8 m,MAE为1.6 m;3)随着坡度从0°增加到20°以上,地面高程反演精度的RMSE从2.3 m增大到7.7 m,植被冠高反演的RMSE从3.8 m增大到10.4 m;4)中低植被覆盖度范围(0%~80%)内,ATL08产品能较好地测量出地面高程,RMSE均小于1 m。高植被覆盖度(80%~100%)区域反演精度RMSE为3.5 m。在中等植被覆盖范围(40%~80%)内,ATL08产品能较为准确地测量出植被冠层高度,RMSE为2.6 m。植被覆盖度过高(80%~100%)或者过低(0%~40%),其精度都会下降,RMSE为4.6 m和3.3 m。ATL08数据反演地面高程和植被冠层高度的精度强波束优于弱波束,夜晚波束优于白天波束,夜晚强波束精度最高。随着坡度的增加,不同波束的地面高程和植被冠高反演误差均逐渐增大,坡度越大误差越大。地面高程反演在中低植被覆盖度情况下较为准确,植被冠层高度反演精度在中等植被覆盖度情况下达到最高。 展开更多
关键词 ICESat-2 ATL08 地面高程 植被冠层高度 精度验证
下载PDF
ATL1基因突变导致的进行性肌阵挛-共济失调综合征1例报道并文献复习
13
作者 赵赫 钟利群 +5 位作者 果海姣 陈白雪 吕静敏 陈旭 杨杰 卫景沛 《中国医药导报》 CAS 2023年第12期177-180,共4页
本文回顾性分析了北京中医药大学东直门医院脑病一科收治的1例进行性肌阵挛-共济失调综合征患者的临床资料,对其临床特点、诊断和治疗进行讨论。该患者以肌阵挛起病,逐渐出现共济失调的症状,分子遗传学检测提示ATL1基因杂合突变,口服氯... 本文回顾性分析了北京中医药大学东直门医院脑病一科收治的1例进行性肌阵挛-共济失调综合征患者的临床资料,对其临床特点、诊断和治疗进行讨论。该患者以肌阵挛起病,逐渐出现共济失调的症状,分子遗传学检测提示ATL1基因杂合突变,口服氯硝西泮片后肌阵挛症状缓解。通过对该患者诊治过程及临床资料进行分析,并对本病分子遗传学相关文献报道进行复习,为这一疾病的临床诊断提供经验,以供临床医生参考。 展开更多
关键词 肌阵挛 共济失调 进行性肌阵挛-共济失调综合征 ATL1 遗传性痉挛性截瘫
下载PDF
葡萄糖对表皮葡萄球菌生物被膜形成的影响及调节机制的研究 被引量:15
14
作者 靳嘉巍 张力 +2 位作者 查锡良 李华林 瞿涤 《微生物学报》 CAS CSCD 北大核心 2005年第3期431-436,共6页
生物被膜(Biofilm)是条件致病菌表皮葡萄球菌(Staphylococcusepidermidis)的主要致病因素,生物被膜的形成依赖多糖PIA合成,合成PIA的糖基转移酶由icaADBC基因编码。以生物被膜形成能力不同的菌株为对象,通过研究不同环境对生物被膜形成... 生物被膜(Biofilm)是条件致病菌表皮葡萄球菌(Staphylococcusepidermidis)的主要致病因素,生物被膜的形成依赖多糖PIA合成,合成PIA的糖基转移酶由icaADBC基因编码。以生物被膜形成能力不同的菌株为对象,通过研究不同环境对生物被膜形成、细菌总糖量及相关基因表达的变化,探索外界环境对生物被膜形成的影响及葡萄糖对生物被膜诱导的分子机制。有利于生物被膜形成培养条件促进生物被膜形成及多糖的表达,葡萄糖能诱导ica基因的表达和生物被膜形成,ica基因的反义寡核苷酸(ODN)能对抗葡萄糖的作用;葡萄糖作用下不同生长周期生物被膜形成相关基因ica、icaR、AtlE表达不同。表皮葡萄球菌生物被膜的形成与细菌糖代谢有关,葡萄糖通过上调ica表达诱导生物膜形成,但不需要ica基因的持续表达; 展开更多
关键词 表皮葡萄球菌 生物被膜 多聚β-1 6-2脱氧-2-氨基-D-吡喃葡萄糖(PLA) 反义寡核苷酸(ODN) ica atle
下载PDF
葡萄糖类似物甲基葡萄糖对表皮葡萄球菌生物被膜形成的影响及调节机制的研究 被引量:2
15
作者 靳嘉巍 查锡良 +1 位作者 李华林 瞿涤 《微生物学报》 CAS CSCD 北大核心 2005年第6期930-936,共7页
生物被膜(Biofilm)是条件致病菌表皮葡萄球菌(Staphylococcusepidermidis)的主要致病因素,生物被膜的形成依赖多糖PIA的合成,PIA合成与细菌糖代谢相关。通过研究葡萄糖类似物甲基葡萄糖(MethylDglucoside,MG)对生物被膜的形成及相关基... 生物被膜(Biofilm)是条件致病菌表皮葡萄球菌(Staphylococcusepidermidis)的主要致病因素,生物被膜的形成依赖多糖PIA的合成,PIA合成与细菌糖代谢相关。通过研究葡萄糖类似物甲基葡萄糖(MethylDglucoside,MG)对生物被膜的形成及相关基因表达的影响,考察生物被膜形成的调控机制并寻找抑制生物被膜形成的方法。甲基葡萄糖能抑制97337株生物被膜的形成,而且不同浓度的甲基葡萄糖对生物膜作用不同。甲基葡萄糖对97337株生物被膜形成的早期的粘附有较强的抑制作用;不同浓度的甲基葡萄糖处理后对ica和AtlE基因的mRNA表达水平影响不大,但能诱导agr基因的表达,这与甲基葡萄糖处理不同时间后的结果一致;而且甲基葡萄糖处理后97337的表面相关蛋白的组成明显改变。甲基葡萄糖对生物膜的抑制并不直接由于它对生长的抑制,它对细菌生长和生物被膜形成的抑制与其在细菌糖代谢中的竞争性相关;甲基葡萄糖能通过调控agr基因的表达改变细菌表面从而抑制97337的早期粘附和生物被膜的形成,但没有通过调控icaADBC、icaR的表达抑制生物膜的形成,可能与其对合成PIA相关糖基转移酶的竞争性抑制相关。 展开更多
关键词 表皮葡萄球菌 生物被膜 多聚β-1 6-2脱氧-2-氨基-D-吡喃葡萄糖(PIA) 2-脱氧葡萄糖 甲基葡萄糖 ica atle
下载PDF
基于ATL的公平电子商务协议形式化分析 被引量:7
16
作者 文静华 李祥 +2 位作者 张焕国 梁敏 张梅 《电子与信息学报》 EI CSCD 北大核心 2007年第4期901-905,共5页
针对传统时序逻辑LTL,CTL及CTL*等把协议看成封闭系统进行分析的缺点,Kremer博士(2003)提出用一种基于博弈的ATL(Alternating-time Temporal Logic)方法分析公平电子商务协议并对几个典型的协议进行了公平性等方面的形式化分析。本文讨... 针对传统时序逻辑LTL,CTL及CTL*等把协议看成封闭系统进行分析的缺点,Kremer博士(2003)提出用一种基于博弈的ATL(Alternating-time Temporal Logic)方法分析公平电子商务协议并对几个典型的协议进行了公平性等方面的形式化分析。本文讨论了ATL逻辑及其在电子商务协议形式化分析中的应用,进一步扩展了Kremer博士的方法,使之在考虑公平性等特性的同时能够分析协议的安全性。最后本文用新方法对Zhou等人(1999)提出的ZDB协议进行了严格的形式化分析,结果发现该协议在非保密通道下存在两个可能的攻击:保密信息泄露和重放攻击。 展开更多
关键词 电子商务协议 公平性 安全性 形式化分析 ATL
下载PDF
基于插件思想的可重用软件设计与实现 被引量:75
17
作者 陈方明 陈奇 《计算机工程与设计》 CSCD 北大核心 2005年第1期172-173,176,共3页
为了使软件具有更好的可重用性和可扩展性,提出了插件(Plug-in)的思想并加以解释,并给出了基于该思想的可重用软件设计的方法,包括插件的体系结构、插件必须具备的功能及接口等,从理论上说明了插件的可行性和实现思路。通过一个真实的项... 为了使软件具有更好的可重用性和可扩展性,提出了插件(Plug-in)的思想并加以解释,并给出了基于该思想的可重用软件设计的方法,包括插件的体系结构、插件必须具备的功能及接口等,从理论上说明了插件的可行性和实现思路。通过一个真实的项目,阐述了插件的具体实现,得出了该插件方法具有很好的理论价值和实用性的结论。 展开更多
关键词 插件 软件重用 ATL 可重用软件设计
下载PDF
基于组件技术(COM)的工业控制软件的开发与应用 被引量:5
18
作者 朱午光 周斌 +2 位作者 李文印 贺金鑫 佟志臣 《工矿自动化》 北大核心 2004年第5期42-44,共3页
随着工业技术的发展 ,对工业控制软件功能和规模的要求也越来越高。采用组件技术开发和设计工业控制软件可以使软件具有更好的开放性、通用性和适应性。文章主要介绍了微软的COM组件技术 ,并以焦炉压力控制系统为例 。
关键词 焦炉 工业控制 组件技术 COM ATL
下载PDF
220kV变电站远程视频监控中心系统的设计与实现 被引量:7
19
作者 黄敏 乐坚浩 王志毅 《电力自动化设备》 EI CSCD 北大核心 2005年第11期69-71,93,共4页
设计安装220kV变电站远程视频监控系统是对变电站“四遥”功能的进一步补充。介绍了220kV变电站远程视频监控中心的系统设计方案,根据系统的具体特点,设计了适应性很强的接口规范,各子站系统根据通信接口规范设计,并以DLL文件的形式提... 设计安装220kV变电站远程视频监控系统是对变电站“四遥”功能的进一步补充。介绍了220kV变电站远程视频监控中心的系统设计方案,根据系统的具体特点,设计了适应性很强的接口规范,各子站系统根据通信接口规范设计,并以DLL文件的形式提供给视频监控主站。系统在ATL框架下开发客户端控件,给出了实现视频监控中心客户站控件的具体编程过程。主站调用各变电站通信DLL,可以实现图像及监控数据的透明传输。 展开更多
关键词 变电所 视频监控 DLL ATL
下载PDF
基于博弈的电子商务协议分析 被引量:6
20
作者 文静华 张梅 李祥 《通信学报》 EI CSCD 北大核心 2006年第3期73-78,共6页
提出用一种新的基于博弈的逻辑方法分析电子商务协议,克服了传统时序逻辑把协议看成封闭系统进行分析的缺点。新方法可以成功地对电子商务中的对抗与合作行为进行描述,能够分析协议的保密性、安全性、非否认性及公平性等。最后用新方法... 提出用一种新的基于博弈的逻辑方法分析电子商务协议,克服了传统时序逻辑把协议看成封闭系统进行分析的缺点。新方法可以成功地对电子商务中的对抗与合作行为进行描述,能够分析协议的保密性、安全性、非否认性及公平性等。最后用新方法对Zhou-Gollmann协议进行了严格的形式化分析。结果表明基于博弈的ATL逻辑比传统的基于计算树逻辑(CTL)更适合于描述和分析复杂电子商务协议。 展开更多
关键词 电子商务协议 安全性 公平性 ATL
下载PDF
上一页 1 2 15 下一页 到第
使用帮助 返回顶部