期刊文献+
共找到567篇文章
< 1 2 29 >
每页显示 20 50 100
Effects of Fragmentation Intensity of Perennial Roots and Their Burial Depth on Sprouting and Early Growth of Alternanthera philoxeroides(Mart.)Griseb
1
作者 陈中义 邹云胜 +2 位作者 陈燕丽 张中华 许兴蕾 《Agricultural Science & Technology》 CAS 2010年第6期103-105,111,共4页
[Objective] The aim was to provide theoretical basis for the prevention and control of the invasion of Alternanthera philoxeroides(Mart.)Griseb.[Method] Effects of fragmentation intensity of fresh roots and their bu... [Objective] The aim was to provide theoretical basis for the prevention and control of the invasion of Alternanthera philoxeroides(Mart.)Griseb.[Method] Effects of fragmentation intensity of fresh roots and their burial depth on sprouting and early growth of A.philoxeroides were studied by control test.[Result] More sprouts of A.philoxeroides emerged when the fragmentation intensity of fresh roots was higher,while if the fragmentation intensity of fresh roots was lower,the early growth of A.philoxeroides was more rapid.The soil buried depth had significant effect on fresh root sprouts' emergence,but once fresh root sprouts could reach the soil surface and were given enough growth time,even if the fresh roots were buried in different depths,soil buried depth had no significant effect on its young plant growth.[Conclusion] If different fragmentation intensities of fresh roots present,there is a kind of trade-off strategy between root sprouts' emergence and plant' early growth,by which A.philoxeroides can invade new habitat successfully.To control the invasion of A.philoxeroides,it is critical to prevent its fresh root sprouts from emerging to soil surface,that is,to bury the fresh roots at a further soil depth. 展开更多
关键词 Alternanthera philoxeroides(mart.)Griseb Perennial root fragment Soil buried depth SPROUTING Young plant growth
下载PDF
A Possible Use of Selected Essential Oils and Citrosept to Inhibit the Growth of Fusarium solani Mart. (Sacc.)
2
作者 Teresa Krzyśko-Łupicka Sanaa Mahdi Oraibi +1 位作者 Ewelina Kurp Weronika Walkowiak 《Advances in Microbiology》 2016年第14期1159-1165,共8页
Laboratory experiments have been carried out to determine the effects of lemon, cedar, pine and thyme oils as well as Citrocept on the growth of Fusarium solani Mart. (Sacc.) mycelium isolated from stored potato tuber... Laboratory experiments have been carried out to determine the effects of lemon, cedar, pine and thyme oils as well as Citrocept on the growth of Fusarium solani Mart. (Sacc.) mycelium isolated from stored potato tubers. The biotic property of essential oils and Citrocept in inhibiting the linear growth of F. solani was assessed with the use of poisoned culture media, whereas the fungistatic property was determined by calculating, with the use of Abbott formula, the percentage indicating how many fungal colonies were inhibited from growth. A complete inhibition of the pathogen’s growth was observed in the presence of thyme oil at a concentration of 0.2% to 2% as well as in the presence of lemon oil at a concentration of 5% and 15%. Citrosept only at high concentrations caused a slower growth of F. solani. No fungistatic effects of cedar and pine oils were observed. 展开更多
关键词 Fusarium solani mart. Essential Oils Fungistatic Effects
下载PDF
Modeling of the Leaf Area of <i>Maytenus obtusifolia</i>Mart. from Scanned Images 被引量:1
3
作者 Vinicius de Souza Oliveira Karina Tiemi Hassuda dos Santos +8 位作者 Ana Paula Braido Pinheiro Gleyce Pereira Santos Jéssica Sayuri Hassuda Santos Hérica Chisté Omar Schmildt Sara Dousseau Arantes Marcio Paulo Czepak Adriano Alves Fernandes Edilson Romais Schmildt 《Agricultural Sciences》 2019年第6期796-806,共11页
The leaf has a vital role in the functions of the plant, being responsible for photosynthesis and gas exchange. Thus, the objective of this study was to fit a mathematical equation model to estimate the leaf area of M... The leaf has a vital role in the functions of the plant, being responsible for photosynthesis and gas exchange. Thus, the objective of this study was to fit a mathematical equation model to estimate the leaf area of Maytenus obtusifolia Mart. through the linear dimensions of the leaves. For that, six hundred and fifteen healthy leaves were collected from plants belonging to the Federal University of Espírito Santo, S&#227;o Mateus Campus, in the municipality of S&#227;o Mateus, located in the north of the State of Espírito Santo, Brazil. All leaves were digitized and the images processed using the ImageJ&#174;software, obtaining the measurements of the maximum length of the main midrib (L), the maximum width of the leaf blade (W) and the real leaf area (RLA) of each sheet. Subsequently, the product of length and width multiplication (LW) was also obtained. 500 sheets were randomly separated for the generation of models of mathematical equations and their respective coefficient of determination (R2), where RLA was used as dependent variable as function of L, W or LW as independent variable. Based on the models generated, a 115 leaf sample was used for validation, where the L, W and LW values of this sample were replaced in the adjusted equations, thus obtaining the estimated leaf area (ELA). A comparison of the means of RLA and ELA was performed by Student’s t test at 5% probability. We also calculated the mean absolute error (MAE), the root mean square error (RMSE) and the Willmott index (d). The best equation was defined by the following criteria: non-significant values of RLA and ELA averages, R2 and index d closest to unit, and MAE and RMSE values with greater proximity to zero. The quadratic model equation represented by ELA=0.18122798+0.72847767(LW)+0.00002789(LW)2 generated by multiplying the length with the width (LW) is the most suitable for the estimation of the leaf area of Maytenus obtusifolia Mart., in a fast, safe and non-destructive way. 展开更多
关键词 MAYTENUS obtusifolia mart NON-DESTRUCTIVE Method Mathematical EQUATIONS
下载PDF
基于DFT-MARTE模型的时序分析算法
4
作者 徐嘉 周晴 +1 位作者 杜家昊 王一华 《计算机工程与设计》 北大核心 2024年第1期120-129,共10页
针对航天嵌入式软件(aerospace embedded software,AES)时序需求复杂带来的时序需求定义不准确问题,提出一种基于MARTE(modeling and analysis of real-time and embedded systems)模型的数据流时序(data flow timing based on MARTE,DF... 针对航天嵌入式软件(aerospace embedded software,AES)时序需求复杂带来的时序需求定义不准确问题,提出一种基于MARTE(modeling and analysis of real-time and embedded systems)模型的数据流时序(data flow timing based on MARTE,DFT-MARTE)模型,设计基于该模型的处理点缓存计算算法、时序偏离概率检测算法和时序序列分析算法。处理点缓存计算算法动态更新缓存空间,使后续时序检测正常执行;时序偏离概率检测算法利用多线程并发模拟时序特性,检测需求中时序偏离问题;时序序列分析算法是基于梯度下降算法,拟合时序序列,指导用户优化需求。该模型相比传统数据流模型更适用航天嵌入式软件,利于后续开发和维护,具有极高的应用价值。 展开更多
关键词 数据流时序模型 数据流图 嵌入式软件 时序偏离检测 多线程 时序分析 梯度下降算法
下载PDF
China International Travel Mart 2023 Opens in Yunnan
5
作者 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
6
作者 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
基于MaxEnt模型的北极村国家级自然保护区紫貂栖息地适宜性评价 被引量:6
7
作者 刘艳华 刘磊 +6 位作者 陈红 刘小慧 王启蕃 刘鑫鑫 张子栋 张宇 周绍春 《生态学报》 CAS CSCD 北大核心 2024年第2期559-569,共11页
在人类支配的景观中,生境退化已经导致多个物种种群数量不断减少,分布范围不断缩减。紫貂(Martes zibellina)为国家Ⅰ级重点保护动物,种群数量稀少,开展栖息地适宜性研究工作对制定科学的栖息地保护计划至关重要。于2021年1月—2022年8... 在人类支配的景观中,生境退化已经导致多个物种种群数量不断减少,分布范围不断缩减。紫貂(Martes zibellina)为国家Ⅰ级重点保护动物,种群数量稀少,开展栖息地适宜性研究工作对制定科学的栖息地保护计划至关重要。于2021年1月—2022年8月在黑龙江省北极村国家级自然保护区采用样线调查法、足迹链跟踪、远红外相机监测综合收集到紫貂和猎物(雪兔)活动点信息。利用最大熵(MaxEnt)栖息地建模分析方法,首次在多个分辨率尺度背景下对紫貂种群的栖息地适宜性进行评价,研究结果表明:(1)利用ArcGIS 10.4重采样后在6个分辨率尺度(30m、60m、120m、240m、480m、960m)进行栖息地建模分析,基于主要栖息地变量因子对模型的贡献率及稳定性影响,并综合考虑研究区域面积,最终选定30m分辨率尺度作为紫貂栖息地最佳分析建模尺度,在30m分辨率尺度栖息地预测模型的曲线下面积(AUC)值为0.881;(2)研究发现猎物资源、植被类型和地形变量是影响紫貂栖息地适宜性的主要变量因子:雪兔出现概率较高、距草地与河流较近、海拔约400—600m、距常绿针叶林1.5km、距落叶针叶林约200m、坡向为50—250°的区域为紫貂的适宜栖息地;(3)栖息地适宜性分析表明,北极村国家级自然保护区紫貂适宜栖息地和次适宜栖息地面积共计23.66km2,约占保护区的17.2%,主要集中在保护区中部,而东部和西北部区域,栖息地破碎化较严重。基于模型结果与野外调查,提出了三条建议:(1)应严格控制人为活动,避免因人类干扰造成不适宜栖息地面积的持续扩大;(2)建立生态廊道促进保护区西部与中部紫貂种群进行个体交流,降低紫貂种群局部区域灭绝概率;(3)对东部地区破碎化的栖息地进行修复,扩大东部适宜栖息地面积,使破碎化的栖息地连接为整体。为分布于我国最北端的紫貂种群恢复创造条件,这对于构建该地区相对稳定的生物多样性保护空间格局有着重要意义。 展开更多
关键词 紫貂 最大熵模型 最优分辨率尺度 栖息地适宜性
下载PDF
图书采分编的自动化技术运用——以广东省立中山图书馆“采编图灵”为例
8
作者 肖燕 《图书馆论坛》 CSSCI 北大核心 2024年第4期20-28,共9页
图书采分编的自动化技术运用是智慧图书馆建设的重要内容。文章概述广东省立中山图书馆“图书采分编全流程智能作业系统‘采编图灵’”自动化创新的探索,分析“采编图灵”自动化技术运用情况及其效能,探讨图书采分编自动化技术运用的原... 图书采分编的自动化技术运用是智慧图书馆建设的重要内容。文章概述广东省立中山图书馆“图书采分编全流程智能作业系统‘采编图灵’”自动化创新的探索,分析“采编图灵”自动化技术运用情况及其效能,探讨图书采分编自动化技术运用的原则、重点和难点。 展开更多
关键词 图书馆自动化 智慧图书馆 自动化技术 采编图灵
下载PDF
煤矿灾害预警数据集成管理平台研究与应用
9
作者 管增伦 金峰 +2 位作者 疏礼春 招晖 李尊龙 《中国煤炭》 北大核心 2024年第7期97-104,共8页
针对深部矿井地质的复杂性与灾害的多样性,开展基于海量数据驱动的深部矿井无人化、智能化监测预警技术与装备研究是提高深部煤矿开采安全保障的有效途径。然而,目前煤矿监测系统间关联性差、数据利用率低、数据深入智能分析不够,导致... 针对深部矿井地质的复杂性与灾害的多样性,开展基于海量数据驱动的深部矿井无人化、智能化监测预警技术与装备研究是提高深部煤矿开采安全保障的有效途径。然而,目前煤矿监测系统间关联性差、数据利用率低、数据深入智能分析不够,导致煤矿防灾措施实施针对性差,可能存在防灾措施不到位或过量的现象。针对煤矿灾害监测预警的需求,提出了煤矿灾害监测预警大数据平台架构,设计了结构数据、非结构数据、时序数据等异构数据的混搭数据存储方案,从数据汇集、数据质量、数据融合、数据指标等方面设计煤矿监测数据治理方法,并提出面向煤矿灾害预警应用的多租户数据集市构建技术,从而支撑煤矿灾害分析应用的多样化数据需求。 展开更多
关键词 大数据 数据集成 数据治理 数据集市 煤矿灾害预警
下载PDF
添加蚯蚓后入侵植物喜旱莲子草的生长状况
10
作者 张宝成 姜燕 曾钢 《湖北农业科学》 2024年第4期41-43,共3页
由于入侵生物自身体内的化学物质影响到土壤动物和土壤过程,试验采用土壤常见动物蚯蚓和重要入侵植物喜旱莲子草[Alternanthera philoxeroides(Mart.)Griseb.]为材料,研究蚯蚓对喜旱莲子草生理生化指标及生长的影响。结果表明,喜旱莲子... 由于入侵生物自身体内的化学物质影响到土壤动物和土壤过程,试验采用土壤常见动物蚯蚓和重要入侵植物喜旱莲子草[Alternanthera philoxeroides(Mart.)Griseb.]为材料,研究蚯蚓对喜旱莲子草生理生化指标及生长的影响。结果表明,喜旱莲子草叶片中叶绿素a、叶绿素b、类胡萝卜素的含量和叶绿素总量随着添加蚯蚓数量的增加而增加;喜旱莲子草叶片淀粉和非结构性碳水化合物(NSC)的含量随着添加蚯蚓数量的增加呈递增趋势;随着添加蚯蚓数量的增加,喜旱莲子草单位面积质量和分蘖数呈上升趋势。由此可知,土壤动物蚯蚓有利于入侵植物喜旱莲子草生长。 展开更多
关键词 喜旱莲子草[Alternanthera philoxeroides(mart.)Griseb.] 入侵植物 蚯蚓 生长状况
下载PDF
不同营养条件对凤眼蓝生长及根际微生物群落的影响
11
作者 刘芳宇 孙林鹤 +4 位作者 常雅军 刘吉祥 刘晓静 徐迎春 姚东瑞 《植物资源与环境学报》 CAS CSCD 北大核心 2024年第1期14-25,共12页
以全营养处理为对照,设计缺氮和缺磷2种缺素处理,分析不同营养条件下凤眼蓝〔Eichhornia crassipes(Mart.)Solms〕形态、光合作用、抗氧化系统、氮含量、磷含量及根际微生物群落的变化。结果显示:总体上看,缺氮和缺磷处理可显著抑制凤... 以全营养处理为对照,设计缺氮和缺磷2种缺素处理,分析不同营养条件下凤眼蓝〔Eichhornia crassipes(Mart.)Solms〕形态、光合作用、抗氧化系统、氮含量、磷含量及根际微生物群落的变化。结果显示:总体上看,缺氮和缺磷处理可显著抑制凤眼蓝鲜质量、叶数、叶宽、分株数和匍匐茎总长,减弱叶发育,增强根发育,且缺磷处理对植株生长和繁殖的抑制作用更明显;缺氮和缺磷处理可显著抑制凤眼蓝叶片的净光合速率和气孔导度,缺氮处理可显著降低叶片叶绿素相对含量,缺氮处理对凤眼蓝叶片光合作用的抑制效果强于缺磷处理。缺磷处理使凤眼蓝叶片中过氧化氢酶、过氧化物酶和超氧化物歧化酶活性以及丙二醛含量明显上升,而缺氮处理对叶片和根中上述3种酶活性和丙二醛含量总体无明显影响。缺氮和缺磷处理使凤眼蓝叶片中氮、磷含量降低,且氮、磷元素优先分配向根部,缺磷处理引起的磷含量的降幅明显高于缺氮处理引起的氮含量的降幅。缺氮和缺磷处理使凤眼蓝根际微生物群落组成多样性降低,其中氮代谢相关(硝酸盐还原、固氮、氮呼吸和硝酸盐呼吸)微生物的相对丰度显著降低,且在氮元素充足时,缺乏磷元素会降低凤眼蓝根际氮代谢相关微生物的富集。综合研究结果显示:缺氮和缺磷处理均能通过抑制光合作用、限制氮代谢相关微生物富集等方式抑制凤眼蓝生长和繁殖,且缺磷处理对凤眼蓝产生的非生物胁迫更强、对凤眼蓝生长的抑制作用更显著。通过控制凤眼蓝对磷元素的吸收防控凤眼蓝爆发具有较大的应用潜力。 展开更多
关键词 凤眼蓝 营养元素 根际微生物 生物多样性 生物安全
下载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
杨树响应腐皮镰刀菌侵染的转录组学分析
13
作者 郝心怡 王哲舒 +1 位作者 范志斌 王丽娟 《林业科学研究》 CSCD 北大核心 2024年第3期24-36,共13页
[目的]基于RNA-Seq测序技术,初步探究了杨树-腐皮镰刀菌互作过程中相关基因的表达、主要信号通路和代谢途径,筛选了杨树防御腐皮镰刀菌侵染的关键基因,为进一步揭示此类病害的分子机制奠定基础。[方法]以生长2个月的银腺杨84K为材料,用1... [目的]基于RNA-Seq测序技术,初步探究了杨树-腐皮镰刀菌互作过程中相关基因的表达、主要信号通路和代谢途径,筛选了杨树防御腐皮镰刀菌侵染的关键基因,为进一步揭示此类病害的分子机制奠定基础。[方法]以生长2个月的银腺杨84K为材料,用1×10^(7)个·mL^(-1)的腐皮镰刀菌孢子液侵染根系,于侵染0h(对照组)、48 h和72 h(接菌组)后取根组织进行转录组测序,挖掘杨树响应腐皮镰刀菌侵染的相关基因。[结果](1)与对照组0 h相比,侵染48 h和72 h分别检测到8 939个和8 246个DEGs(Differentially Expressed Genes)。(2)GO分析发现,差异表达基因主要富集在单一生物体过程、对刺激反应、碳水化合物代谢、生物调节和对激素响应等过程。(3)KEGG分析表明,糖酵解/糖异生、碳代谢、植物激素信号转导和苯丙烷生物合成等途径在病原菌侵染后发生显著变化。(4)杨树糖转运蛋白SWEETs家族中21个成员的表达受腐皮镰刀菌侵染诱导。乙烯受体ETR、乙烯信号通路主要基因EIN3、ERF1、ERF2上调表达,木质素合成关键酶基因CCR、4CL、C3’H、COMT表达量显著升高。[结论]杨树可能通过调节体内糖代谢和转运,激活乙烯信号通路,促进木质素积累、细胞壁增厚等策略,响应腐皮镰刀菌的侵染。 展开更多
关键词 杨树 腐皮镰刀菌 侵染过程 转录组
下载PDF
基于MIMIC-IV构建及评估脓毒症患者近期和远期死亡风险预测模型
14
作者 严丹阳 谢茜 +3 位作者 付翔杰 徐道妙 李宁 姚润 《中南大学学报(医学版)》 CAS CSCD 北大核心 2024年第2期256-265,共10页
目的:鉴于脓毒症的高发病率和高病死率,早期识别高风险患者并及时干预至关重要,而现有死亡风险预测模型在操作、适用性和预测长期预后等方面均存在不足。本研究旨在探讨脓毒症患者死亡的危险因素,构建近期和远期死亡风险预测模型。方法... 目的:鉴于脓毒症的高发病率和高病死率,早期识别高风险患者并及时干预至关重要,而现有死亡风险预测模型在操作、适用性和预测长期预后等方面均存在不足。本研究旨在探讨脓毒症患者死亡的危险因素,构建近期和远期死亡风险预测模型。方法:从美国重症监护医学信息数据库IV(Medical Information Mart for Intensive Care-IV,MIMIC-IV)中选取符合脓毒症3.0诊断标准的人群,按7?3的比例随机分为建模组和验证组,分析患者的基线资料。采用单因素Cox回归分析和全子集回归确定脓毒症患者死亡的危险因素并筛选出构建预测模型的变量。分别用时间依赖性曲线下面积(area under the curve,AUC)、校准曲线和决策曲线评估模型的区分度、校准度和临床实用性。结果:共纳入14240例脓毒症患者,28 d和1年病死率分别为21.45%(3054例)和36.50%(5198例)。高龄、女性、高感染相关器官衰竭评分(sepsis-related organ failure assessment,SOFA)、高简明急性生理学评分(simplified acute physiology score II,SAPS II)、心率快、呼吸频率快、脓毒症休克、充血性心力衰竭、慢性阻塞性肺疾病、肝脏疾病、肾脏疾病、糖尿病、恶性肿瘤、高白细胞计数(white blood cell count,WBC)、长凝血酶原时间(prothrombin time,PT)、高血肌酐(serum creatinine,SCr)水平均为脓毒症死亡的危险因素(均P<0.05)。由PT、呼吸频率、体温、合并恶性肿瘤、合并肝脏疾病、脓毒症休克、SAPS II及年龄8个变量构建的模型,其28 d和1年生存的AUC分别为0.717(95%CI 0.710~0.724)和0.716(95%CI 0.707~0.725)。校准曲线和决策曲线表明该模型具有良好的校准度及较好的临床应用价值。结论:基于MIMIC-IV建立的脓毒症患者近期和远期死亡风险预测模型有较好的识别能力,对患者预后风险评估及干预治疗具有一定的临床参考意义。 展开更多
关键词 脓毒症 近期和远期死亡 美国重症监护医学信息数据库IV 预后因素 预测模型
下载PDF
基于MDA的MARTE模型形式化方法 被引量:4
15
作者 许海洋 王萍 《计算机应用研究》 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
基于模型转换的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
新零售模式下潮流玩具企业扩张路径与区位选择——以泡泡玛特为例 被引量:1
17
作者 吴世焰 林娟 邢舒雨 《西华师范大学学报(自然科学版)》 2024年第2期207-217,共11页
为了探究新零售企业扩张过程中的特征与选址趋向,通过核密度分析、空间自相关、首位度分析等方法对新零售企业泡泡玛特的扩张路径及其线下分布特征进行研究,并利用零膨胀负二项回归模型探讨其布局的影响因素。研究发现:泡泡玛特最初在... 为了探究新零售企业扩张过程中的特征与选址趋向,通过核密度分析、空间自相关、首位度分析等方法对新零售企业泡泡玛特的扩张路径及其线下分布特征进行研究,并利用零膨胀负二项回归模型探讨其布局的影响因素。研究发现:泡泡玛特最初在发源地进行接触扩张,随后通过等级扩张与接触扩张并存的复合式扩张完成全国性的分布态势,最后通过接触扩张,在原有空间格局的基础上进行填充,由发达城市向城市群延伸是其主要布局战略。在影响机制上,传统区位论的适用性在新零售企业的区位选择上发生了改变,当地原有的零售业基础与信息化水平影响新零售企业的产生,同时,市场与物流规模影响城市内泡泡玛特的数量规模。 展开更多
关键词 新零售 扩张路径 空间分布 区位选择 泡泡玛特
下载PDF
分子模拟在筛选HLA-A2.1高亲和性MART-1 CTL表位中的应用研究 被引量:2
18
作者 王莉 吴玉章 +1 位作者 林治华 石统东 《第三军医大学学报》 CAS CSCD 北大核心 2002年第10期1166-1168,共3页
目的 探讨计算机分子模拟在CTL表位与HLA A2 1亲和力特性研究中的应用价值。方法 应用SiliconGraphics图像工作站及InsightⅡ软件 ,分别建立MART 16个CTL预测表位与HLA A2 1结合的三维结构 ,并进行分子动力学模拟 ,通过对各结合特... 目的 探讨计算机分子模拟在CTL表位与HLA A2 1亲和力特性研究中的应用价值。方法 应用SiliconGraphics图像工作站及InsightⅡ软件 ,分别建立MART 16个CTL预测表位与HLA A2 1结合的三维结构 ,并进行分子动力学模拟 ,通过对各结合特征性参数的计算 ,对各表位肽与HLA A2 1结合稳定性进行了比较。应用Merrifield固相多肽合成技术合成上述小肽 ,通过HLA A2 1与各肽亲和力分析试验 ,证实分子模拟结果的可靠性。结果 通过分子模拟手段计算所得 6个表位与HLA A2 1结合特性结果 ,基本与通过实验手段所得结果相符。结论 计算机分子模拟在CTL表位与MHC Ⅰ类分子的亲和力研究中 ,具有简单、直观、快速、准确等优点 ,该方法在筛选MHC Ⅰ类分子高亲和性CTL表位的研究中具有诱人的应用前景。 展开更多
关键词 mart-1 CTL表位 分子动力学模拟 结合亲和力分析 肿瘤免疫治疗 肿瘤抗原
下载PDF
MART与TLRT对有生育意愿的年轻早期宫颈癌患者的疗效对比 被引量:2
19
作者 康媛 杨蓉 +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
基于MDA的MARTE模型形式化转换 被引量:2
20
作者 王立杰 刘昌禄 俞烈彬 《指挥控制与仿真》 2012年第6期128-133,共6页
非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MD... 非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则。MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用。 展开更多
关键词 模型驱动 martE模型 Object-Z规约 元模型 模型转换
下载PDF
上一页 1 2 29 下一页 到第
使用帮助 返回顶部