期刊文献+
共找到358篇文章
< 1 2 18 >
每页显示 20 50 100
基于ICESat-2/ATL08的新疆昆仑山地区全球多源DEM数据精度验证与评价
1
作者 章诗芳 赵尚民 樊晶莹 《地理与地理信息科学》 北大核心 2025年第2期40-46,共7页
对全球多源DEM数据的高程精度进行验证与评价可为其在不同领域的广泛应用提供可靠性保障。该文以激光雷达测量卫星ICESat-2/ATL08测高数据为参考数据,利用数字地形分析法和数理统计法对新疆昆仑山地区的全球6种DEM数据(SRTM1 DEM、NASA ... 对全球多源DEM数据的高程精度进行验证与评价可为其在不同领域的广泛应用提供可靠性保障。该文以激光雷达测量卫星ICESat-2/ATL08测高数据为参考数据,利用数字地形分析法和数理统计法对新疆昆仑山地区的全球6种DEM数据(SRTM1 DEM、NASA DEM、AW3D30 DEM、COP DEM、FAB DEM和ASTER GDEM)在不同地形指标和地表覆盖类型下的高程精度进行了验证与评价。结果表明:①FAB DEM整体精度最高,其均方根误差、平均误差、平均绝对误差和标准差分别为6.24 m、-1.83 m、3.01 m和3.01 m。②FAB DEM在平原、台地和丘陵地区精度最高,AW3D30 DEM在山地地区精度最高,6种DEM数据的精度均随坡度增大而降低,当坡度大于15°时,AW3D30 DEM精度最高,在北向和南向的精度均高于东向和西向。③对于不同地表覆盖类型,在耕地、草地、人造地表、其他地表类型下精度最高的分别是NASA DEM、AW3D30 DEM、COP DEM、FAB DEM。 展开更多
关键词 全球多源DEM数据 精度评价 ICESat-2/atl08测高数据 数字地形分析 新疆昆仑山地区
在线阅读 下载PDF
ATL3在肝细胞癌中的作用及机制初探
2
作者 袁建辉 张辰轩 +3 位作者 张馨 董可帅 李满 余佳 《肝胆胰外科杂志》 2025年第3期191-199,共9页
目的探讨ATLASTINS3(ATL3)在肝细胞癌(HCC)中的作用和潜在机制。方法收集85例HCC患者组织标本,通过免疫组化及Western blotting实验检测肝癌组织与癌旁正常组织中ATL3的表达水平并分析其与HCC患者临床预后的关系;通过质粒转染敲减以及... 目的探讨ATLASTINS3(ATL3)在肝细胞癌(HCC)中的作用和潜在机制。方法收集85例HCC患者组织标本,通过免疫组化及Western blotting实验检测肝癌组织与癌旁正常组织中ATL3的表达水平并分析其与HCC患者临床预后的关系;通过质粒转染敲减以及过表达肝癌细胞系中的ATL3基因,通过Western blotting实验检测敲减及过表达后ATL3及相关蛋白的变化;通过细胞增殖实验、Edu实验检测ATL3不同表达水平对肝癌细胞增殖能力的影响;通过Transwell实验及细胞划痕实验检测ATL3敲减或过表达后对肿瘤细胞迁移和侵袭能力的影响;通过裸鼠皮下成瘤实验,检测ATL3在体内对肿瘤生长的影响。结果ATL3在肝癌组织中表达较高,对临床资料分析显示ATL3的表达与ALT(P=0.003)、AST(P=0.048)、Child-Pugh分级(P=0.020)、血管侵犯(P<0.001)、肿瘤分化程度(P=0.047)以及Edmonson分期(P=0.001)显著有关;细胞实验结果显示,ATL3敲低后细胞增殖能力、侵袭与迁移能力都有所下降,过表达ATL3后肝癌细胞增殖能力、侵袭与迁移能力均呈现增强趋势;在过表达ATL3的肝癌细胞中PI3K、p-PI3K、AKT、p-AKT的蛋白表达升高,敲减ATL3的细胞中PI3K、p-PI3K、AKT、p-AKT的表达则降低。裸鼠皮下成瘤实验结果显示,ATL3敲减后皮下瘤的质量(P=0.005)以及体积(P=0.006)均明显低于野生型对照组。结论ATL3在HCC中高表达,其高表达与患者不良预后相关;ATL3可能通过促进PI3K/AKT通路激活发挥促癌作用。 展开更多
关键词 肝细胞癌 atl3 PI3K/AKT信号通路 裸鼠成瘤 临床预后分析
暂未订购
Atl2 (Atlastin-2)在细胞中的功能及其作用机制
3
作者 范泽彦 苏磊 +1 位作者 宋静 张浩平 《生物过程》 2025年第2期136-143,共8页
Atl2 (Atlastin-2)是一种重要的跨膜GTP酶,作为Atlastin蛋白家族成员之一,参与多种细胞生物学过程。研究表明Atl2与细胞器正常形态和功能的维持密切相关,例如内质网、高尔基体、脂滴等。本文综述了Atl2的结构及其生物学特性,重点阐述了A... Atl2 (Atlastin-2)是一种重要的跨膜GTP酶,作为Atlastin蛋白家族成员之一,参与多种细胞生物学过程。研究表明Atl2与细胞器正常形态和功能的维持密切相关,例如内质网、高尔基体、脂滴等。本文综述了Atl2的结构及其生物学特性,重点阐述了Atl2在细胞膜融合、高尔基体形态稳定、内质网自噬调控和脂滴合成的作用,同时阐述了其在细胞器稳态及部分疾病中的作用。可见Atl2作为潜在治疗靶点是一个具有应用前景的研究方向,因此本文综述为进一步探索Atl2的功能与机制提供了较全面的研究基础和思路。 展开更多
关键词 atl2 (atlastin-2) 膜融合 细胞器稳态 内质网自噬
在线阅读 下载PDF
在ATL实现的ActiveX控件中集成Matlab引擎
4
作者 周彩兰 王晓宇 《计算机与数字工程》 2000年第5期17-20,共4页
在对Matlab外部编程接口的分析基础上,本文用ATL技术实现了一个ActiveX控件集成了对Matlab引擎的访问。并给出了实现过程及主要源码。最后介绍了组件对象模型的基本思想。
关键词 atl MatlAB ACTIVEX控件 软件集成
在线阅读 下载PDF
在ActiveX控件中集成Matlab引擎
5
作者 周彩兰 王晓宇 钮焱 《湖北工学院学报》 2001年第2期22-24,共3页
在对 Matlab外部编程接口的分析基础上 ,用 ATL 技术实现了一个 Active X控件 ,集成了对 Matlab引擎的访问 .
关键词 atl COM ACTIVEX Matlab 引擎 编程接口 程序语言
在线阅读 下载PDF
基于ATL的公平电子商务协议形式化分析 被引量:7
6
作者 文静华 李祥 +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
表皮葡萄球菌AtlE蛋白介导生物膜起始黏附的相关机制 被引量:9
7
作者 欧元祝 朱于莉 +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
暂未订购
表皮葡萄球菌SarA对atlE、lipA和zinC基因表达调控的研究 被引量:3
8
作者 王海蛟 范长胜 +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
一类带有ATL反应和治愈率的传染病模型的全局稳定性研究(英文) 被引量:5
9
作者 王霞 刘夏斐 宋新宇 《生物数学学报》 CSCD 北大核心 2010年第2期202-208,共7页
主要介绍一类具有饱和传染率和治愈率的ATL反应的病毒模型,通过稳定性分析,得到了地方病平衡态的全局稳定的条件.
关键词 全局稳定性 atl反应 周期轨道 LYAPUNOV函数
原文传递
基于ATL方法的电子商务协议FONRP分析 被引量:3
10
作者 张梅 文静华 张焕国 《计算机工程》 CAS CSCD 北大核心 2008年第3期151-153,共3页
研究ATL逻辑及其在电子商务协议形式化分析中的应用,对Kremer提出的方法进行扩展,使之在考虑公平等特性的同时能够分析协议的安全性。用该方法对周明天等人提出的FNORP协议及其变种进行了严格的形式化分析,结果表明基于博弈的ATL逻辑比... 研究ATL逻辑及其在电子商务协议形式化分析中的应用,对Kremer提出的方法进行扩展,使之在考虑公平等特性的同时能够分析协议的安全性。用该方法对周明天等人提出的FNORP协议及其变种进行了严格的形式化分析,结果表明基于博弈的ATL逻辑比传统的CTL更适合于描述和分析复杂电子商务协议。 展开更多
关键词 电子商务协议 公平性 安全性 形式化分析 atl逻辑
在线阅读 下载PDF
生长期和pH值对格氏链球菌自溶酶atlS基因表达的影响 被引量:3
11
作者 刘敏 闫嘉惟 +1 位作者 刘娅玲 郝玉庆 《华西口腔医学杂志》 CAS CSCD 北大核心 2015年第1期80-83,共4页
目的检测格氏链球菌自溶酶atlS基因在不同生长期和p H值条件下表达水平的差异,分析生长期和p H值对格氏链球菌atlS基因表达的影响,进而分析调控格氏链球菌atlS基因表达的因素。方法收集不同生长期(对数生长早期、对数生长中期、对数生... 目的检测格氏链球菌自溶酶atlS基因在不同生长期和p H值条件下表达水平的差异,分析生长期和p H值对格氏链球菌atlS基因表达的影响,进而分析调控格氏链球菌atlS基因表达的因素。方法收集不同生长期(对数生长早期、对数生长中期、对数生长晚期、稳定期)及不同p H值(7.0和5.5)条件下培养的格氏链球菌野生株ATCC35105细胞,常规方法提取总RNA。采用荧光定量聚合酶链反应(FQ-PCR)法,以细菌的16S r RNA为内参照,分别测定atlS基因mRNA的相对表达量,比较格氏链球菌在不同生长期及p H值下atlS mRNA的表达水平。结果 FQPCR结果发现,atlS基因表达从对数生长早期到稳定期逐步升高,中性条件下atlS基因表达高于酸性条件,其差异有统计学意义(P<0.05)。结论格氏链球菌atlS基因表达受细菌生长期和p H值的影响。 展开更多
关键词 格氏链球菌 atlS基因 荧光定量聚合酶链反应
暂未订购
基于ATL技术的SolidWorks二次开发新方法 被引量:4
12
作者 陈岳坪 高健 +1 位作者 王虎奇 李书平 《模具工业》 2009年第6期5-7,15,共4页
简要介绍了SolidWorks软件的特点,重点介绍了采用VC++6.0为开发工具,基于ATL技术对SolidWorks 2008软件进行二次开发的新方法,最后以建立冲模标准件库为例进行了验证。
关键词 SOLIDWORKS atl 二次开发
在线阅读 下载PDF
用ATL技术开发GPS专用通讯组件 被引量:3
13
作者 张满生 陈保平 《湖南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2002年第S2期149-152,共4页
简述了掌上型电脑(palm-sizedcomputer)操作系统WindowsCE的特点,介绍GPS的工作原理及常用数据格式NMEA-0183,详述了如何利用ATL来开发专用的小型的GPS通讯组件,以及使用这个组件在掌上型电脑和GPS接收机进行通讯操作,实现在WindowsCE下... 简述了掌上型电脑(palm-sizedcomputer)操作系统WindowsCE的特点,介绍GPS的工作原理及常用数据格式NMEA-0183,详述了如何利用ATL来开发专用的小型的GPS通讯组件,以及使用这个组件在掌上型电脑和GPS接收机进行通讯操作,实现在WindowsCE下对GPS接收板数据的读取。 展开更多
关键词 掌上型电脑 WINDOWSCE GPS 串行通信 atl
在线阅读 下载PDF
一类带有治愈率和ATL反应的HTLV-Ⅰ感染模型的性质分析(英文) 被引量:3
14
作者 王霞 宋新宇 《应用数学》 CSCD 北大核心 2009年第3期589-595,共7页
本文主要介绍一类带有治愈率和ATL反应的HTLV-Ⅰ感染且具有饱和传染率的模型的性质,通过稳定性分析,得到了被感染的T细胞绝灭和HTLV-Ⅰ感染持续的条件.
关键词 全局稳定性 HTLV-Ⅰ感染持续 atl 治愈率
在线阅读 下载PDF
ATL支持下的组件复用技术 被引量:1
15
作者 周振红 任慧 王琦 《武汉大学学报(工学版)》 CAS CSCD 北大核心 2005年第2期118-122,共5页
组件复用旨在利用已有组件创建新组件,提高组件软件开发效率. COM组件复用通过包容和聚合来实现:包容时,外部组件包含内部组件的接口;聚合时,外部组件直接向外公开内部组件的接口.在利用ATL函数由外部组件创建内部组件时,包容返回的是... 组件复用旨在利用已有组件创建新组件,提高组件软件开发效率. COM组件复用通过包容和聚合来实现:包容时,外部组件包含内部组件的接口;聚合时,外部组件直接向外公开内部组件的接口.在利用ATL函数由外部组件创建内部组件时,包容返回的是内部组件自定义接口指针;聚合返回的是内部组件基接口指针IUn known. Visual Basic客户程序测试表明:无论是包容还是聚合,客户程序均可由外部组件的缺省接口访问到内部组件接口. 展开更多
关键词 组件 接口 COM atl 包容 聚合
在线阅读 下载PDF
基于ATL的电子商务协议建模与形式化分析 被引量:3
16
作者 张梅 文静华 张焕国 《微电子学与计算机》 CSCD 北大核心 2009年第8期193-195,200,共4页
LTL和CTL等由于把协议看成封闭式并发系统进行研究,不能有效描述协议与外部环境的联系.引入一种新的基于博弈逻辑的ATL分析方法,能够对日益复杂的多方电子商务协议进行建模与分析.利用新方法对Markowitch和Kremer提出的多方非否认协议... LTL和CTL等由于把协议看成封闭式并发系统进行研究,不能有效描述协议与外部环境的联系.引入一种新的基于博弈逻辑的ATL分析方法,能够对日益复杂的多方电子商务协议进行建模与分析.利用新方法对Markowitch和Kremer提出的多方非否认协议进行建模与严格的形式化分析,发现该协议存在的不公平性问题并提出改进方法. 展开更多
关键词 atl逻辑 形式化分析 公平性 多方电子商务协议
在线阅读 下载PDF
全外显子测序技术鉴定一个常染色体显性遗传性痉挛性截瘫3A型家系ATL1基因突变 被引量:2
17
作者 郑备红 孙艳 +3 位作者 邱淑敏 陈晓菁 杜生荣 杨春梅 《实用医学杂志》 CAS 北大核心 2021年第13期1761-1764,共4页
目的对一个常染色体显性遗传性痉挛性截瘫家系进行全外显子组测序分析,明确其致病基因突变位点。方法收集一个遗传性痉挛性截瘫家系临床资料,提取先证者及其家系成员gDNA,对先证者进行全外显子测序并锁定候选基因致病位点,采用Sanger测... 目的对一个常染色体显性遗传性痉挛性截瘫家系进行全外显子组测序分析,明确其致病基因突变位点。方法收集一个遗传性痉挛性截瘫家系临床资料,提取先证者及其家系成员gDNA,对先证者进行全外显子测序并锁定候选基因致病位点,采用Sanger测序技术对家系中成员进行候选基因致病位点验证。结果全外显子组测序分析发现先证者ATL1基因第10号外显子存在c.715C> T(p. R239C)杂合突变,已有文献报道该突变引起遗传性痉挛截瘫疾病,经Sanger测序验证,家系中其他患者均存在相同突变,家系中正常成员均未检测到该突变。结论 ATL1基因c.715C> T杂合突变是导致该家系成员发生遗传性痉挛截瘫的致病突变,明确致病突变将有助于该家系的遗传咨询和产前诊断。 展开更多
关键词 遗传性痉挛性截瘫 显性遗传 全外显子组测序 atl1基因
在线阅读 下载PDF
基于ATL引擎的UML到Simulink模型转换方法研究 被引量:2
18
作者 郭鹏 李亚晖 +1 位作者 李明娟 韩伟 《航空计算技术》 2015年第2期129-134,共6页
针对UML的半形式化的表达方式缺乏精确的语义,无法验证软件设计过程中正确性的问题,展开UML设计模型到Simulink仿真模型转换方法研究。提出了一种UML状态机到Simulink/Stateflow的模型转换方法,建立UML状态机元模型、Simulink/Stateflo... 针对UML的半形式化的表达方式缺乏精确的语义,无法验证软件设计过程中正确性的问题,展开UML设计模型到Simulink仿真模型转换方法研究。提出了一种UML状态机到Simulink/Stateflow的模型转换方法,建立UML状态机元模型、Simulink/Stateflow元模型以及状态机元模型到Stateflow元模型的映射规则。选取自动飞控软件作为案例,验证该方法的正确性。方法实现UML设计模型和Simulink仿真模型的自动转换,提高嵌入式软件开发效率,丰富并且完善模型驱动开发,也为嵌入式软件开发提供了技术支持。 展开更多
关键词 模型驱动开发 模型转换 atl UML SIMULINK
在线阅读 下载PDF
基于ATL和COM技术的地图符号编辑器的设计与实现 被引量:1
19
作者 郭敏 沈照庆 马春艳 《测绘科学》 CSCD 北大核心 2012年第5期216-218,共3页
本文运用ATL和COM技术开发了符合中国人习惯的地图符号编辑器,且采用该技术设计和实现了一个通用的地图符号制作系统,证明了该技术使开发更优化,有很强的适用性,通过运用事例也证明了基于ATL和COM技术的可视化地图符号制作系统具有很好... 本文运用ATL和COM技术开发了符合中国人习惯的地图符号编辑器,且采用该技术设计和实现了一个通用的地图符号制作系统,证明了该技术使开发更优化,有很强的适用性,通过运用事例也证明了基于ATL和COM技术的可视化地图符号制作系统具有很好的应用前景。 展开更多
关键词 atl COM 地图符号
原文传递
ATL Ultramark9彩超故障维修体会 被引量:1
20
作者 王磊 刘沛先 +1 位作者 张志伟 邢东义 《中国医学装备》 2006年第3期53-54,共2页
从美国ATL公司生产的Ultramark9彩超仪三例故障现象、原因分析及维修过程。
关键词 彩超 故障维修 atl公司 医疗仪器
在线阅读 下载PDF
上一页 1 2 18 下一页 到第
使用帮助 返回顶部