期刊文献+
共找到96篇文章
< 1 2 5 >
每页显示 20 50 100
添加蚯蚓后入侵植物喜旱莲子草的生长状况
1
作者 张宝成 姜燕 曾钢 《湖北农业科学》 2024年第4期41-43,共3页
由于入侵生物自身体内的化学物质影响到土壤动物和土壤过程,试验采用土壤常见动物蚯蚓和重要入侵植物喜旱莲子草[Alternanthera philoxeroides(Mart.)Griseb.]为材料,研究蚯蚓对喜旱莲子草生理生化指标及生长的影响。结果表明,喜旱莲子... 由于入侵生物自身体内的化学物质影响到土壤动物和土壤过程,试验采用土壤常见动物蚯蚓和重要入侵植物喜旱莲子草[Alternanthera philoxeroides(Mart.)Griseb.]为材料,研究蚯蚓对喜旱莲子草生理生化指标及生长的影响。结果表明,喜旱莲子草叶片中叶绿素a、叶绿素b、类胡萝卜素的含量和叶绿素总量随着添加蚯蚓数量的增加而增加;喜旱莲子草叶片淀粉和非结构性碳水化合物(NSC)的含量随着添加蚯蚓数量的增加呈递增趋势;随着添加蚯蚓数量的增加,喜旱莲子草单位面积质量和分蘖数呈上升趋势。由此可知,土壤动物蚯蚓有利于入侵植物喜旱莲子草生长。 展开更多
关键词 喜旱莲子草[Alternanthera philoxeroides(Mart.)Griseb.] 入侵植物 蚯蚓 生长状况
下载PDF
China International Travel Mart 2023 Opens in Yunnan
2
作者 Xiao Yiqun Yang Guoqin 《China & The World Cultural Exchange》 2024年第1期37-39,共3页
At the China International Travel Mart(CITM)2023,the participants discuss the new characteristics,new trends and new opportunities of cultural and tourism development under the new situation,jointly promote the revita... At the China International Travel Mart(CITM)2023,the participants discuss the new characteristics,new trends and new opportunities of cultural and tourism development under the new situation,jointly promote the revitalization,vitality and prosperity of the tourism industry,create a direction for the development of the Chinese and international tourism market,and promote the prosperity and development of global tourism. 展开更多
关键词 jointly TOURISM MART
下载PDF
China Cultural Center in Sofia Holding the 2nd China-Bulgaria Martial Arts Culture Festival
3
作者 Yu Cheng 《China & The World Cultural Exchange》 2024年第6期9-10,共2页
On April 26,on the occasion of the arrival of the"World Tai Chi Day",the"Bulgaria Youth Cup"-the 2nd China-Bulgaria Martial Arts Culture Festival co-sponsored by China Cultural Center in Sofia,the ... On April 26,on the occasion of the arrival of the"World Tai Chi Day",the"Bulgaria Youth Cup"-the 2nd China-Bulgaria Martial Arts Culture Festival co-sponsored by China Cultural Center in Sofia,the Bulgarian Ministry of Youth and Sports,and the Bulgarian Martial Arts Association officially kicked off in Sofia,the capital of Bulgaria.The event attracted a total of 17 young martial arts teams all over Bulgaria,with nearly 300 participants.After two days of intense competition,local Taijiquan experts and professional martial arts judges selected the winners of seven groups,such as Tai Chi and Wing Chun. 展开更多
关键词 MART YOUTH INTENSE
下载PDF
黑龙江省老爷岭南部黄喉貂栖息地适宜性评价与廊道构建 被引量:2
4
作者 田新民 刘小慧 +7 位作者 张超宇 张宇 张子栋 梁卓 陈红 宋雅祺 王鑫雪 周绍春 《生态学报》 CAS CSCD 北大核心 2023年第23期9621-9629,共9页
黄喉貂(Martes flavigula aterrima)为典型的林栖兽类,对栖息地干扰和破碎化极为敏感,被视为森林生态系统的指示物种。为了科学有效保护该物种,于2020—2021年在黑龙江省老爷岭南部区域布设红外相机642台收集黄喉貂活动位点信息,利用最... 黄喉貂(Martes flavigula aterrima)为典型的林栖兽类,对栖息地干扰和破碎化极为敏感,被视为森林生态系统的指示物种。为了科学有效保护该物种,于2020—2021年在黑龙江省老爷岭南部区域布设红外相机642台收集黄喉貂活动位点信息,利用最大熵(MaxEnt)建模方法开展黄喉貂栖息地适宜性研究,探究影响种群生存的关键环境因素,并利用最小成本路径方法构建潜在的种群扩散生态廊道,探讨研究区域黄喉貂种群的栖息地连通性。研究结果表明:(1)MaxEnt模型的受试者工作特征曲线(ROC曲线)评价结果的平均曲线下面积(AUC)值为0.861,能够较好的反映研究区域黄喉貂栖息地适宜性的实际分布情况;(2)本研究利用的13个变量中,距东北虎(Panthera tigris altaica)、东北豹(Panthera pardus orientalis)距离12 km黄喉貂出现概率最高,且贡献率达20.6%,是影响黄喉貂栖息地选择的关键变量,其次坡向(9.9%)、农田(9.5%)、草地(9.0%)、常绿针叶林(8.9%)、道路(7.0%)、河流(6.6%)、居民点(6.1%)和海拔(5.9%)是影响黄喉貂栖息地质量的次要变量;(3)研究区域黄喉貂适宜栖息地面积为793.54 km^(2),占研究区域总面积的21.4%,主要分布在黑龙江省绥阳林业有限公司的柳桥沟、青山和万宝湾林场。黄喉貂栖息地破碎化严重,因此通过栖息地适宜性分布图获得15块总面积为401.61 km^(2)的核心栖息地,并构建14条生态廊道利于黄喉貂栖息地生态恢复管理。研究综合分析了黑龙江省老爷岭南部黄喉貂栖息地现状及连通性,促进黄喉貂扩散、栖息地的连通性和适宜性。 展开更多
关键词 黄喉貂(Martes flavigula aterrima) 最大熵模型 栖息地适宜性评价 生态廊道
下载PDF
面向电离层反演的参数平滑迭代层析方法
5
作者 余接情 王颖 +2 位作者 朱砚宇 黄英麒 吴立新 《地球物理学报》 SCIE EI CAS CSCD 北大核心 2023年第6期2263-2274,共12页
层析是电离层三维结构反演的重要技术.增加约束可缓解层析模型的病态问题.然而,迭代层析中,大量无射线穿过的网格易对施加的约束产生与真实意图相违背的约束结果(称负面约束).针对该问题,提出了一种参数平滑的迭代层析方法(iterative to... 层析是电离层三维结构反演的重要技术.增加约束可缓解层析模型的病态问题.然而,迭代层析中,大量无射线穿过的网格易对施加的约束产生与真实意图相违背的约束结果(称负面约束).针对该问题,提出了一种参数平滑的迭代层析方法(iterative tomography method via parameters smoothing, ITPS).每次迭代中,先用Chapman函数及最小二乘法拟合及改正每一垂直剖面,获取关于Chapman函数参数的二维图像,然后用移动窗口法平滑各参数图像并以此改正各网格的电子密度.实验表明:ITPS方法可一定程度上减少负面约束并抑制层像的扰动.相对于MART和CMART算法,ITPS方法在垂直剖面、F2层临界频率(f_(o)F_(2))、F_(2)层峰值高度(h_(m)F_(2))、斜电子总含量(Slant Total Electron Content, STEC)及h_(m)F_(2)以上电子密度等方面均具有更佳的表现.相对于精度较高的CMART算法,ITPS方法在f_(o)F_(2)与h_(m)F_(2)的平均优化率分别为7.49%及6.60%,STEC的平均优化率为5.19%,h_(m)F_(2)以上电子密度的平均优化率为11.41%. 展开更多
关键词 电离层电子密度 电离层层析 迭代层析 Chapman函数 水平光滑 MART算法
下载PDF
单-ADP核糖转移酶家族及其抑制剂在肿瘤治疗中的研究进展
6
作者 李茵 古宏峰 +2 位作者 邹毅 王淑平 徐云根 《中国药科大学学报》 CAS CSCD 北大核心 2021年第6期643-652,共10页
多聚腺苷二磷酸核糖聚合酶(PARPs)在DNA修复与细胞凋亡中发挥着重要的作用。该酶家族中有一类PARPs通过催化和转移单个ADP-核糖来调控各种细胞反应,被称为单-ADP核糖转移酶(MARTs)。大部分MARTs在肿瘤中过度表达,与肿瘤的发生发展密切... 多聚腺苷二磷酸核糖聚合酶(PARPs)在DNA修复与细胞凋亡中发挥着重要的作用。该酶家族中有一类PARPs通过催化和转移单个ADP-核糖来调控各种细胞反应,被称为单-ADP核糖转移酶(MARTs)。大部分MARTs在肿瘤中过度表达,与肿瘤的发生发展密切相关。本文重点介绍了在肿瘤中过度表达的MARTs,以其结构域的差异进行分类,对其现有的作用机制、与肿瘤的密切关系、在肿瘤治疗中的潜在价值以及相应抑制剂的研究进展进行综述。这些靶点有望为精准医疗时代的肿瘤治疗提供新的研究思路。 展开更多
关键词 ADP-核糖化 marts marts抑制剂 肿瘤治疗 进展
下载PDF
一种基于截断奇异值分解正则化的电离层层析成像算法 被引量:10
7
作者 欧明 甄卫民 +2 位作者 於晓 徐继生 邓忠新 《电波科学学报》 EI CSCD 北大核心 2014年第2期345-352,共8页
提出了一种基于截断奇异值分解正则化(Truncated Singular Value Decomposition,TSVD)的电离层层析成像算法.该算法选择球谐函数与经验正交函数作为表征电离层电子密度空间变化的基函数,以降低背景模型对层析成像的影响;利用广义交叉验... 提出了一种基于截断奇异值分解正则化(Truncated Singular Value Decomposition,TSVD)的电离层层析成像算法.该算法选择球谐函数与经验正交函数作为表征电离层电子密度空间变化的基函数,以降低背景模型对层析成像的影响;利用广义交叉验证法来选择合适的截断参数,提高了算法的稳定性和反演精度.基于中国区域23个观测站的电离层层析成像仿真结果表明:与乘法代数重构算法(Multiplicative Algebraic Reconstruction Technique,MART)相比,基于TSVD正则化的电离层层析成像算法能够在不需要背景电离层电子密度作为先验条件的情况下,实现电离层电子密度的有效反演. 展开更多
关键词 电离层层析成像 TSVD 球谐函数 经验正交函数 MART
下载PDF
基于元建模的实时系统模型转换方法研究 被引量:8
8
作者 刘亚萍 黄志球 祝义 《小型微型计算机系统》 CSCD 北大核心 2010年第11期2145-2153,共9页
通过模型转换将UML模型转换为形式化模型并进行模型检验是软件工程研究领域的热点,然而传统的模型转换多是ad-hoc式的,转换规则复杂且难以重用.本文针对这一研究现状,通过元建模实现MARTE到时间自动机模型的转换,从而提出一种基于元建... 通过模型转换将UML模型转换为形式化模型并进行模型检验是软件工程研究领域的热点,然而传统的模型转换多是ad-hoc式的,转换规则复杂且难以重用.本文针对这一研究现状,通过元建模实现MARTE到时间自动机模型的转换,从而提出一种基于元建模的实时系统模型转换方法.该方法有效的分离了语法转换与语义转换,框架标准的支撑使得转换易于重用.最后通过一个实例来说明该方法的可行性与有效性. 展开更多
关键词 模型转换 MARTE(modeling and analysis of REAL TIME and embeded systems) 模型验证 时间自动机
下载PDF
模型驱动的安全关键系统重配置信息验证方法 被引量:4
9
作者 胡军 马金晶 +3 位作者 刘雪 程桢 石娇洁 黄志球 《计算机科学与探索》 CSCD 北大核心 2015年第4期385-402,共18页
近年来,在以综合模块化航电系统(integrated modular avionics,IMA)为代表的一类安全关键应用中,确保系统重配置信息的正确性成为保证系统安全可靠运行的一个重要问题。提出了一种模型驱动架构下符合ARINC653规范的IMA系统配置信息的建... 近年来,在以综合模块化航电系统(integrated modular avionics,IMA)为代表的一类安全关键应用中,确保系统重配置信息的正确性成为保证系统安全可靠运行的一个重要问题。提出了一种模型驱动架构下符合ARINC653规范的IMA系统配置信息的建模转换与验证方法。针对多个实时应用在IMA平台上以时间/空间多分区形式运行的系统特征,建立了从系统配置信息的核心元素(包括模块、分区、内存、进程、通信等)到MARTE模型元素的语义映射规则,设计了基于模型驱动架构的系统配置信息模型转换的方法,并给出了一种对模型转换构造得到的系统配置信息MARTE模型进行形式化验证的框架。最后,通过一个实例分析说明了此方法对验证重配置后系统配置信息的有效性。 展开更多
关键词 系统配置信息验证 MARTE 模型驱动工程 ARINC653 综合模块化航电系统(IMA)
下载PDF
ART2网络结构与算法的改进 被引量:13
10
作者 艾矫燕 朱学锋 《计算机工程与应用》 CSCD 北大核心 2003年第33期110-113,共4页
ART2网络中的模式匹配过程,以及相似度警戒测试过程均以模式的相似性量度值为基础。传统ART2网络的相似量度是一种关于模式相位信息的量度,在需要考虑模式幅度信息及处理集群分布样本时,效果很不理想。文章针对此不足,提出以欧氏距离为... ART2网络中的模式匹配过程,以及相似度警戒测试过程均以模式的相似性量度值为基础。传统ART2网络的相似量度是一种关于模式相位信息的量度,在需要考虑模式幅度信息及处理集群分布样本时,效果很不理想。文章针对此不足,提出以欧氏距离为相似测度的新型网络:MART2。输入模式的幅度信息被提取出来,并送到相应的中间模式和警戒测试部分。新网络中引入三个辅助函数共同计算输入模式与存贮模式的相似度,使得在进行模式匹配和警戒测试时,幅度信息没有丢失。实验证明,MART2在处理集群分布样本时,性能优于传统ART2。MART2是对ART2网络的一种补充。 展开更多
关键词 模式识别 ART2网络 MART2
下载PDF
电容层析成像系统整体性能的改善 被引量:3
11
作者 史志才 王保良 +1 位作者 黄志尧 李海青 《仪表技术与传感器》 CSCD 北大核心 2000年第7期19-21,共3页
采用代数重建算法处理由电容层析成像系统所采集的投影数据可以获得较高质量的图像 ,但其耗时较多。本文着重提出一种准则并以此优化迭代过程中投影的选取顺序 ,以提高代数重建算法的收敛速度 ,从而改善成像系统的整体性能。
关键词 层析成像 图像重建 代数重建 MART算法
下载PDF
基于MDE的异构模型转换:从MARTE模型到FIACRE模型 被引量:9
12
作者 张天 Frédéric JOUAULT +2 位作者 Christian ATTIOGBE Jean BEZIVIN 李宣东 《软件学报》 EI CSCD 北大核心 2009年第2期214-233,共20页
通过研究一个具有代表性的UML/MARTE(unified modeling language/modeling and analysis of real time and embedded systems)模型向FIACRE(intermediate format for the architectures of embedded distributed components)形式模型的... 通过研究一个具有代表性的UML/MARTE(unified modeling language/modeling and analysis of real time and embedded systems)模型向FIACRE(intermediate format for the architectures of embedded distributed components)形式模型的转换实例,探讨了异构模型之间在语义和语法层的相互转换问题.在语义层,通过模型转换技术构造语义映射规则,实现元语言之间的转换;在语法层,通过构造元模型的具体语法,反映元语言的语法规则,从而产生目标模型的程序实体.基于此实例研究,探讨了通用转换途径的相关框架和关键技术,并讨论了转换工作的优缺点和实用性. 展开更多
关键词 模型驱动工程 形式化方法 MARTE(modeling and analysis of real time and embedded systems) FIACRE (intermediate format for the architectures ofembedded distributed components) 异构性
下载PDF
用地基GPS观测资料映射三维电离层剖面 被引量:10
13
作者 金双根 朱文耀 《大地测量与地球动力学》 CSCD 北大核心 2007年第5期49-53,共5页
双频GPS接收机被广泛应用于监测电离层及其相关异常活动。过去通常利用地基GPS资料建立一个单层两维电离层格网模型进行应用,其最主要缺陷就是忽略了电离层垂直剖面信息。利用地基GPS资料通过乘积代数重建技术层析三维电离层电子密度剖... 双频GPS接收机被广泛应用于监测电离层及其相关异常活动。过去通常利用地基GPS资料建立一个单层两维电离层格网模型进行应用,其最主要缺陷就是忽略了电离层垂直剖面信息。利用地基GPS资料通过乘积代数重建技术层析三维电离层电子密度剖面。与国际电离层参考模型(IRI2001)和电离层探测仪结果相比,地基GPS层析电离层电子密度剖面基本一致,但更接近于电离层探测仪观测结果。因此,高时空分辨率的地基GPS资料在监测三维电离层活动及其相关空间气候研究方面具有重要应用价值。 展开更多
关键词 GPS 总电子含量 层析 乘积代数重建技术(MART) 国际电离层参考模型(IRI-2001)
下载PDF
基于MDA的MARTE模型形式化方法 被引量:4
14
作者 许海洋 王萍 《计算机应用研究》 CSCD 北大核心 2012年第8期3018-3021,共4页
针对嵌入式系统对可靠性和可预测性的要求,提出基于MDA对嵌入式系统的建模语言MARTE进行形式化描述的方法。建立Object-Z的元模型,定义了MARTE元模型与Object-Z元模型之间的模型转换关系,给出了MARTE模型到Object-Z模型的语义映射和语... 针对嵌入式系统对可靠性和可预测性的要求,提出基于MDA对嵌入式系统的建模语言MARTE进行形式化描述的方法。建立Object-Z的元模型,定义了MARTE元模型与Object-Z元模型之间的模型转换关系,给出了MARTE模型到Object-Z模型的语义映射和语法转换的具体过程。该方法支持将MARTE模型形式化转换为Object-Z模型,有利于软件开发早期的检验和验证。 展开更多
关键词 模型驱动体系 形式化方法 模型转换 MARTE元模型
下载PDF
空心莲子草无性繁殖体的大小及数量对其建群效应的影响 被引量:9
15
作者 陈中义 江红英 《长江大学学报(自科版)(中旬)》 CAS 2009年第1期72-75,共4页
分别研究了不同大小的空心莲子草(Alternanthera philoxeroides(Mart.)Griseb.)地下茎片段(带1个节长度2cm、带2个节长度4cm、带3个节长度6cm)和肉质根片段(长度为0.2cm、1cm、3cm、5cm、7cm)在不同埋植密度(1根/盆、3根/盆、5根/盆、7... 分别研究了不同大小的空心莲子草(Alternanthera philoxeroides(Mart.)Griseb.)地下茎片段(带1个节长度2cm、带2个节长度4cm、带3个节长度6cm)和肉质根片段(长度为0.2cm、1cm、3cm、5cm、7cm)在不同埋植密度(1根/盆、3根/盆、5根/盆、7根/盆、9根/盆)下的萌芽和幼苗生长。结果表明,随空心莲子草无性繁殖体(地下茎和肉质根)片段引入数量增加,每盆片段的萌芽数、幼苗的分枝茎节数以及植株的生物量显著增加;除0.2cm长的肉质根基本不能萌发外,随着无性繁殖体片段大小的增加,每盆片段的萌芽数和植株生物量显著增加;无性繁殖体片段的大小和数量交互作用对萌芽数和生物量具有显著的影响,对分枝茎节数无显著影响。这表明空心莲子草无性繁殖体片段越大、引入数量越多,其种群建立越易成功,入侵的风险就越大。 展开更多
关键词 空心莲子草(Alternanthera philoxeroides(Mart.)Griseb.) 无性繁殖体压力 种群定居 入侵
下载PDF
基于模型转换的MARTE顺序图的形式化分析 被引量:1
16
作者 朱梅霞 王捍贫 +1 位作者 刘西奎 韩晓琼 《小型微型计算机系统》 CSCD 北大核心 2013年第1期100-106,共7页
作为一项新规范,MARTE有许多方面亟待完善.如何对依照MARTE设计的模型开展验证是待解决问题之一.对象管理组织提出用模型转换的方法将依照MARTE设计的模型(记为A)转换成另一种具有完备的验证方法和工具的形式化模型(记为B),然后对B进行... 作为一项新规范,MARTE有许多方面亟待完善.如何对依照MARTE设计的模型开展验证是待解决问题之一.对象管理组织提出用模型转换的方法将依照MARTE设计的模型(记为A)转换成另一种具有完备的验证方法和工具的形式化模型(记为B),然后对B进行验证和精化,以完成A的验证和精化工作.此思想面临的难题是如何保证B能够完整且准确地模拟A的行为.提出了形式化模型-TTS4SD,用来描述MARTE规范定义的带时间约束的顺序图的形式语义并在此基础上展开分析.首先给出顺序图的形式定义,把时间变迁系统(TTS)扩充成TTS4SD,用TTS4SD描述顺序图的形式语义,最后对TTS4SD展开分析.这在一定程度上提高了设计阶段模型的正确性.通过一个实例说明从顺序图到TTS4SD的转化过程以及基于TTS4SD的验证方法. 展开更多
关键词 实时系统 形式化方法 MARTE 时间变迁系统 验证
下载PDF
基于模型的IMA时间资源配置验证方法研究 被引量:6
17
作者 王明明 胡军 +1 位作者 张维珺 李宛倩 《计算机技术与发展》 2018年第5期32-37,共6页
综合模块化航空电子系统(IMA)在飞机机载航空电子系统领域应用广泛,已经成为飞机机载系统的重要的系统结构和发展趋势。IMA具有高安全性,资源共享和高度模块化综合化的特征,模块或组件间以AFDX网络连接。在IMA系统开发的过程中,为确保... 综合模块化航空电子系统(IMA)在飞机机载航空电子系统领域应用广泛,已经成为飞机机载系统的重要的系统结构和发展趋势。IMA具有高安全性,资源共享和高度模块化综合化的特征,模块或组件间以AFDX网络连接。在IMA系统开发的过程中,为确保系统的可靠性和安全性,IMA资源配置必须是正确的和安全有效的。所以对IMA进行有效的系统资源配置并保证配置的正确性和安全性成为航电领域一项重要的研究内容。结合IMA系统的特征,提出了一种基于模型的IMA系统时间资源配置的验证方法。建立IMA系统时间行为的MARTE模型,使用可调度分析工具MAST,分析系统时间资源的可调度性,仿真分析、验证IMA配置与需求之间的满足性。并结合IMA系统中的一个水处理系统的实例来进行分析验证。 展开更多
关键词 综合航电系统 模型驱动工程 MARTE 系统资源配置 MAST
下载PDF
外来入侵植物空心莲子草根系发育调控研究进展 被引量:3
18
作者 李华成 陈中义 周璟 《长江大学学报(自科版)(中旬)》 CAS 2014年第2期66-70,共5页
空心莲子草[Alternanthera philoxeroides(Mart.)Griseb.]是一种对生态和经济具有严重危害的全球性入侵物种,贮藏根是其重要越冬和繁殖器官,在种群维持中具有重要作用。从遗传调控、生理调控和生态因子调控3方面对空心莲子草根系发育的... 空心莲子草[Alternanthera philoxeroides(Mart.)Griseb.]是一种对生态和经济具有严重危害的全球性入侵物种,贮藏根是其重要越冬和繁殖器官,在种群维持中具有重要作用。从遗传调控、生理调控和生态因子调控3方面对空心莲子草根系发育的调控机制进行了综述。了解空心莲子草根系发育调控的机制,对于科学管理空心莲子草的入侵具有重要的指导意义。 展开更多
关键词 空心莲子草[Alternanthera philo.reroides(Mart.)Griseb.] 根系发育 调控机制
下载PDF
模型驱动的嵌入式系统设计安全性验证方法研究 被引量:1
19
作者 刘雪 胡军 +3 位作者 黄志球 马金晶 程桢 石娇洁 《计算机工程与科学》 CSCD 北大核心 2015年第8期1498-1509,共12页
基于模型的嵌入式系统安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性验证方法,具体包括:构建了具备SysML/MARTE扩展语义的状态机元模型... 基于模型的嵌入式系统安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性验证方法,具体包括:构建了具备SysML/MARTE扩展语义的状态机元模型,以及安全性建模与分析语言AltaRica的语义模型GTS的元模型;然后建立了从SysML/MARTE状态机模型分别到时间自动机模型以及AltaRica模型的语义映射模型转换规则,并基于AMMA平台和时间自动机验证工具UPPAAL设计实现了对SysML/MARTE状态机的模型转换与系统安全性形式化验证的框架。最后给出了一个飞机着陆控制系统设计模型的安全性验证实例分析。 展开更多
关键词 系统安全性分析 模型驱动工程 SysML/MARTE 状态机模型 嵌入式系统
下载PDF
MART与TLRT对有生育意愿的年轻早期宫颈癌患者的疗效对比 被引量:2
20
作者 康媛 杨蓉 +1 位作者 宋芳霞 高雪 《实用癌症杂志》 2019年第5期843-845,849,共4页
目的探讨MART与TLRT对有生育意愿的年轻早期宫颈癌患者中的临床疗效。方法回顾性选择47例有生育意愿的年轻早期宫颈癌患者,收集其病例资料及随访资料,根据手术方式的不同,分为MART组及TLRT组,对比两组的手术时间、出血总量、保留宫颈长... 目的探讨MART与TLRT对有生育意愿的年轻早期宫颈癌患者中的临床疗效。方法回顾性选择47例有生育意愿的年轻早期宫颈癌患者,收集其病例资料及随访资料,根据手术方式的不同,分为MART组及TLRT组,对比两组的手术时间、出血总量、保留宫颈长度、切除淋巴结数、子宫动脉损伤、住院时间、引流量、排尿恢复时间、并发症及术后妊娠率、流产率及分娩率等指标。结果 MART组的手术时间、保留宫颈长度及住院时间均长于TLRT组,出血总量高于TLRT组,子宫动脉损伤低于TLRT组,P均<0. 05,其他指标二者对比无统计学意义,P> 0. 05。结论两种手术方式各有优劣,临床上对于有生育意愿的年轻早期宫颈癌患者,需根据患者自身条件、肿块大小及术者对两种术式的掌握程度来综合考虑选择合适的手术方式。 展开更多
关键词 MART TLRT 生育意愿 年轻早期宫颈癌患者 妊娠
下载PDF
上一页 1 2 5 下一页 到第
使用帮助 返回顶部