期刊文献+
共找到279篇文章
< 1 2 14 >
每页显示 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
一种SysML到SLIM模型的自动构造方法
7
作者 郭沣慧 胡军 +2 位作者 王立松 肖曦 谷青范 《小型微型计算机系统》 CSCD 北大核心 2024年第9期2235-2243,共9页
近年来,基于模型的安全性分析(MBSA)是复杂系统建模与分析领域备受关注的分析方法.由于系统架构建模语言SysML缺少形式化的语义语法,不支持MBSA方法,而SLIM语言具备形式化语义和语法,支持安全性分析,所以本文提出了一种基于ATL(ATLAS Tr... 近年来,基于模型的安全性分析(MBSA)是复杂系统建模与分析领域备受关注的分析方法.由于系统架构建模语言SysML缺少形式化的语义语法,不支持MBSA方法,而SLIM语言具备形式化语义和语法,支持安全性分析,所以本文提出了一种基于ATL(ATLAS Transformation Language)的SysML模型到SLIM模型的自动构造方法SysML2SLIM.首先,搭建系统的SysML模型并导出为XMI文件格式,根据SysML规约文档以及SLIM的BNF范式构建元模型,并建立模型元素映射规则;其次,设计源模型文件处理算法,在保留必要标签信息的情况下,获得规范的SysML源模型文件;接下来,根据元素映射规则利用ATL编写转换规则文件,调用ATL引擎完成构造;然后,给出模型转换的正确性证明的推导;此外,对集成SysML2SLIM方法的工具MSAT进行介绍;最后,对航天器中的电池传感器系统进行分析,验证了自动构造方法的有效性. 展开更多
关键词 SYSML SLIM 模型转换 ATL
下载PDF
基于静力水准系统的ATL模型研究
8
作者 程竹兵 李笑 +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
9
作者 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
葡萄糖对表皮葡萄球菌生物被膜形成的影响及调节机制的研究 被引量:15
10
作者 靳嘉巍 张力 +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
11
作者 靳嘉巍 查锡良 +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
国际视野
12
作者 本刊(编译) 《物流技术与应用》 2024年第6期184-185,共2页
凯傲北美与福克斯机器人公司建立新合作伙伴关系日前,凯傲北美与Fox Robotics建立非独家战略合作伙伴关系,凯傲北美将在其位于南卡罗来纳州萨默维尔的工厂生产和组装FoxBot自动装卸车(ATL)。凯傲北美总裁兼首席执行官Jonathan·Daw... 凯傲北美与福克斯机器人公司建立新合作伙伴关系日前,凯傲北美与Fox Robotics建立非独家战略合作伙伴关系,凯傲北美将在其位于南卡罗来纳州萨默维尔的工厂生产和组装FoxBot自动装卸车(ATL)。凯傲北美总裁兼首席执行官Jonathan·Dawley表示:“我们正处于物流和运输行业的关键时刻,创新是解决我们面临的一些最紧迫挑战的关键。具体而言,在端到端仓库自动化拼图的最后一块:拖车自动装卸领域,Fox Robotics凭借其迄今为止最强大的AI/ML算法、技术堆栈和已部署的机器人车队,成为迄今为止占主导地位的领导者。” 展开更多
关键词 自动装卸 机器人 南卡罗来纳州 堆栈 合作伙伴关系 ATL 国际视野 萨默维尔
下载PDF
基于ATL的公平电子商务协议形式化分析 被引量:7
13
作者 文静华 李祥 +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
14
作者 陈方明 陈奇 《计算机工程与设计》 CSCD 北大核心 2005年第1期172-173,176,共3页
为了使软件具有更好的可重用性和可扩展性,提出了插件(Plug-in)的思想并加以解释,并给出了基于该思想的可重用软件设计的方法,包括插件的体系结构、插件必须具备的功能及接口等,从理论上说明了插件的可行性和实现思路。通过一个真实的项... 为了使软件具有更好的可重用性和可扩展性,提出了插件(Plug-in)的思想并加以解释,并给出了基于该思想的可重用软件设计的方法,包括插件的体系结构、插件必须具备的功能及接口等,从理论上说明了插件的可行性和实现思路。通过一个真实的项目,阐述了插件的具体实现,得出了该插件方法具有很好的理论价值和实用性的结论。 展开更多
关键词 插件 软件重用 ATL 可重用软件设计
下载PDF
基于组件技术(COM)的工业控制软件的开发与应用 被引量:5
15
作者 朱午光 周斌 +2 位作者 李文印 贺金鑫 佟志臣 《工矿自动化》 北大核心 2004年第5期42-44,共3页
随着工业技术的发展 ,对工业控制软件功能和规模的要求也越来越高。采用组件技术开发和设计工业控制软件可以使软件具有更好的开放性、通用性和适应性。文章主要介绍了微软的COM组件技术 ,并以焦炉压力控制系统为例 。
关键词 焦炉 工业控制 组件技术 COM ATL
下载PDF
220kV变电站远程视频监控中心系统的设计与实现 被引量:7
16
作者 黄敏 乐坚浩 王志毅 《电力自动化设备》 EI CSCD 北大核心 2005年第11期69-71,93,共4页
设计安装220kV变电站远程视频监控系统是对变电站“四遥”功能的进一步补充。介绍了220kV变电站远程视频监控中心的系统设计方案,根据系统的具体特点,设计了适应性很强的接口规范,各子站系统根据通信接口规范设计,并以DLL文件的形式提... 设计安装220kV变电站远程视频监控系统是对变电站“四遥”功能的进一步补充。介绍了220kV变电站远程视频监控中心的系统设计方案,根据系统的具体特点,设计了适应性很强的接口规范,各子站系统根据通信接口规范设计,并以DLL文件的形式提供给视频监控主站。系统在ATL框架下开发客户端控件,给出了实现视频监控中心客户站控件的具体编程过程。主站调用各变电站通信DLL,可以实现图像及监控数据的透明传输。 展开更多
关键词 变电所 视频监控 DLL ATL
下载PDF
基于博弈的电子商务协议分析 被引量:6
17
作者 文静华 张梅 李祥 《通信学报》 EI CSCD 北大核心 2006年第3期73-78,共6页
提出用一种新的基于博弈的逻辑方法分析电子商务协议,克服了传统时序逻辑把协议看成封闭系统进行分析的缺点。新方法可以成功地对电子商务中的对抗与合作行为进行描述,能够分析协议的保密性、安全性、非否认性及公平性等。最后用新方法... 提出用一种新的基于博弈的逻辑方法分析电子商务协议,克服了传统时序逻辑把协议看成封闭系统进行分析的缺点。新方法可以成功地对电子商务中的对抗与合作行为进行描述,能够分析协议的保密性、安全性、非否认性及公平性等。最后用新方法对Zhou-Gollmann协议进行了严格的形式化分析。结果表明基于博弈的ATL逻辑比传统的基于计算树逻辑(CTL)更适合于描述和分析复杂电子商务协议。 展开更多
关键词 电子商务协议 安全性 公平性 ATL
下载PDF
基于B/S结构的数字视频监控系统的设计与实现 被引量:17
18
作者 汪奇 朱煜 《计算机工程》 EI CAS CSCD 北大核心 2006年第19期251-252,272,共3页
介绍了一种基于广域网的数字视频监控系统的设计与实现方案。该系统基于B/S网络结构,由视频编码器、中心服务器和视频浏览器等主要模块构成。阐述了系统模型以及各个功能模块的实现方法。为多个分散监控场所的集中式管理提供了一种可行... 介绍了一种基于广域网的数字视频监控系统的设计与实现方案。该系统基于B/S网络结构,由视频编码器、中心服务器和视频浏览器等主要模块构成。阐述了系统模型以及各个功能模块的实现方法。为多个分散监控场所的集中式管理提供了一种可行的方法。 展开更多
关键词 视频监控 B/S结构 ATL DIRECT DRAW
下载PDF
OPC服务器开发的几种方法 被引量:19
19
作者 陈丹丹 钱美 +1 位作者 夏立 邵英 《微计算机信息》 北大核心 2006年第06S期28-29,54,共3页
简要介绍了OPCDA规范,描述了OPCDA(数据访问)服务器开发的三种方法:使用MFC的COM库函数开发OPC服务器、通过ATL开发OPC服务器和利用工具包快速开发OPC服务器,最后对三种方法的特点作出了比较。
关键词 OPC ATL 服务器开发 数据访问
下载PDF
面向嵌入式软件开发的UML到Simulink模型转换方法 被引量:5
20
作者 郭鹏 李亚晖 +1 位作者 孙磊 蔡晓乐 《计算机科学》 CSCD 北大核心 2016年第2期192-198,共7页
模型驱动开发及其关键技术模型转换是近年来软件工程领域研究的热点。在嵌入式软件开发早期,不仅需要对设计模型进行静态分析,更需要对其进行动态仿真,验证系统设计的正确性。如何把设计模型和仿真模型无缝连接起来是工业部门亟待解决... 模型驱动开发及其关键技术模型转换是近年来软件工程领域研究的热点。在嵌入式软件开发早期,不仅需要对设计模型进行静态分析,更需要对其进行动态仿真,验证系统设计的正确性。如何把设计模型和仿真模型无缝连接起来是工业部门亟待解决的问题。深入调研了UML和Simulink模型转换研究现状,详细分析了模型驱动开发中模型转换的相关技术,提出了一种UML到Simulink的模型转换方法,设计了UML元模型、Simulink元模型,撰写了UML元模型到Simulink元模型的映射规则。最后选取自动驾驶仪系统的飞行控制软件作为案例,验证了该方法的正确性。该方法能实现UML和Simulink两种异构模型同构化,提高嵌入式软件开发效率,丰富并且完善模型驱动开发,也为飞行控制系统、高速铁路控制、机载航电系统等嵌入式软件开发提供了技术支持。 展开更多
关键词 模型驱动开发 模型转换 元模型 ATL UML SIMULINK
下载PDF
上一页 1 2 14 下一页 到第
使用帮助 返回顶部