期刊文献+
共找到567篇文章
< 1 2 29 >
每页显示 20 50 100
China International Travel Mart 2023 Opens in Yunnan
1
作者 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
2
作者 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
基于DFT-MARTE模型的时序分析算法
3
作者 徐嘉 周晴 +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
基于MDE的异构模型转换:从MARTE模型到FIACRE模型 被引量:9
4
作者 张天 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
基于MDA的MARTE模型形式化方法 被引量:4
5
作者 许海洋 王萍 《计算机应用研究》 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
6
作者 朱梅霞 王捍贫 +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
分子模拟在筛选HLA-A2.1高亲和性MART-1 CTL表位中的应用研究 被引量:2
7
作者 王莉 吴玉章 +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
8
作者 康媛 杨蓉 +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
9
作者 王立杰 刘昌禄 俞烈彬 《指挥控制与仿真》 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
MART算法快速高质量图像重建研究 被引量:1
10
作者 梅创社 张顺利 《科学技术与工程》 北大核心 2012年第24期6054-6058,共5页
ART(Algebraic Reconstruction Technique)算法是一种典型的迭代图像重建算法,适合于不完全投影数据图像重建。为了提高乘型ART(Multiplicative ART,MART)算法的重建质量,提出了一种基于亚像素的图像重建方法。首先将原始图像中的每个... ART(Algebraic Reconstruction Technique)算法是一种典型的迭代图像重建算法,适合于不完全投影数据图像重建。为了提高乘型ART(Multiplicative ART,MART)算法的重建质量,提出了一种基于亚像素的图像重建方法。首先将原始图像中的每个像素等分解为四个亚像素,然后提出一种高效的射线与像素的求交算法来计算权因子和亚像素索引。利用MART算法重建得到高分辨率重建图像。最后通过合并亚像素图像得到原始分辨率的高质量重建图像。实验结果表明提出的方法非常有效,与传统方法相比取得了3倍以上的重建加速比,图像重建质量显著提高。 展开更多
关键词 CT mart 图像重建 亚像素
下载PDF
信息化发展宏观模型——MART模型 被引量:2
11
作者 王延章 王雪华 《中国信息界》 2006年第1期25-27,共3页
本文从组织管理(Management)、业务应用(Application)、信息资源(Resources)和信息技术(Info.Technolo-gy)的系统整体性出发,研究提出了信息化发展宏观模型——MART模型。指出信息化建设协调发展的必要条件是系统的MART整体性,提出了一... 本文从组织管理(Management)、业务应用(Application)、信息资源(Resources)和信息技术(Info.Technolo-gy)的系统整体性出发,研究提出了信息化发展宏观模型——MART模型。指出信息化建设协调发展的必要条件是系统的MART整体性,提出了一个全局、两个重点的MART整体性实施策略。 展开更多
关键词 mart模型 整体性 系统分析 顶层设计
下载PDF
Effects of Fragmentation Intensity of Perennial Roots and Their Burial Depth on Sprouting and Early Growth of Alternanthera philoxeroides(Mart.)Griseb
12
作者 陈中义 邹云胜 +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
MART-1HLA-A2限制性CTL表位的预测
13
作者 王莉 吴玉章 《第三军医大学学报》 CAS CSCD 北大核心 2000年第10期931-933,共3页
目的 预测黑色素瘤分化抗原MART 1的HLA A2限制性细胞毒性T淋巴细胞 (CTL)表位。方法 采用超基序与量化基序多项式方案相结合的办法 ,对目的抗原MART 1的HLA A2限制性CTL表位进行预测。结果 预测出了 6个九肽表位。结论 两种方法预... 目的 预测黑色素瘤分化抗原MART 1的HLA A2限制性细胞毒性T淋巴细胞 (CTL)表位。方法 采用超基序与量化基序多项式方案相结合的办法 ,对目的抗原MART 1的HLA A2限制性CTL表位进行预测。结果 预测出了 6个九肽表位。结论 两种方法预测结果的一致性较好 ,所预测出的 6个MART 1的HLA A2限制性CTL表位经后续实验筛选、鉴定后 ,可望用于新型MART 1肿瘤治疗性多肽疫苗的设计研究 。 展开更多
关键词 mart-1 HLA-A2 CTL表位 多肽疫苗 黑色素瘤
下载PDF
透视I—MART的文化发展趋势
14
作者 李卓 尹成伟 《活力》 2010年第21期109-109,共1页
创意就是具有新颖性和创造性的想法。“创意市集”出现的背景是创意产业的成长和壮大,是对个人创意、技巧及才华,通过知识产权的开发和运用,具有创造财富和就业潜力的新兴行业。I-MART既代表idear—mart点子市场,又有我是艺术的含... 创意就是具有新颖性和创造性的想法。“创意市集”出现的背景是创意产业的成长和壮大,是对个人创意、技巧及才华,通过知识产权的开发和运用,具有创造财富和就业潜力的新兴行业。I-MART既代表idear—mart点子市场,又有我是艺术的含义。创意市集指在特定场地展示、售卖个人原创手工作品和收藏品的文化艺术活动,在欧洲许多城市非常流行。近年传入我国市场,成为当今社会中年轻一代设计师和品质生活体验者推崇的一种新型产业模式——将别出心裁的独特创意以产品的形式融入生活,以传统市集的营销方式来展现作品的文化创意产业模式。 展开更多
关键词 I—mart 创意市集 文化产业 营销方式
下载PDF
基于MARTE模型的系统可靠性预测 被引量:2
15
作者 柴叶生 朱雪阳 +1 位作者 晏荣杰 张广泉 《计算机科学》 CSCD 北大核心 2015年第12期82-86,91,共6页
系统的可靠性是系统的重要非功能属性之一。传统的可靠性分析在系统开发结束后进行,可能会发现由于系统开发早期的架构设计不合理而导致的问题,这时再修改系统架构并重做后继开发步骤,将会浪费大量人力和物力。如果能在开发的早期阶段,... 系统的可靠性是系统的重要非功能属性之一。传统的可靠性分析在系统开发结束后进行,可能会发现由于系统开发早期的架构设计不合理而导致的问题,这时再修改系统架构并重做后继开发步骤,将会浪费大量人力和物力。如果能在开发的早期阶段,在系统模型层面进行分析并预测,则可以尽早地发现系统可靠性方面的问题并将其修复。UML是一种通用的、标准化的建模语言,MARTE是UML在嵌入式实时系统领域的扩展。提出了基于MARTE模型的系统可靠性预测方法,该方法考虑的MARTE模型包括用例图、活动图、部署图。先将MARTE模型转换为马尔可夫决策过程网络模型,再利用概率模型检测工具PRISM进行分析,得到系统可靠性的预测结果。实例研究表明,所提方法不仅能够预测系统可靠性的最大值和最小值,还能通过调整各个资源的可靠性值,考察其对系统可靠性的影响,为设计人员的进一步工作提供参考。 展开更多
关键词 系统可靠性 UML martE模型 马尔可夫决策过程
下载PDF
基于UML MARTE处理AADL的端到端流延迟
16
作者 杨夏 《软件工程师》 2015年第11期24-26,共3页
AADL和MARTE都支持对实时嵌入式系统形式化建模的分析。利用MARTE的时间模型设备,研究MARTE是如何对实时嵌入式系统的建模和分析的,能够比较准确的通过事件或者数据端口的端到端流延迟分析,表达AADL周期性或非周期性任务。
关键词 AADL martE 流延迟
下载PDF
一种适用于电离层电子密度重构的AMART算法 被引量:6
17
作者 赵海山 杨力 +1 位作者 周阳林 董明 《测绘学报》 EI CSCD 北大核心 2018年第1期57-63,共7页
针对传统乘法代数重构算法(MART)迭代精度不高的问题,提出一种自适应电离层层析新算法。一方面,该算法根据射线穿越像素点的截距和电子密度值的综合影响,合理地分配迭代差值;另一方面,提出一种与电子密度值相关的自适应松弛因子,有效克... 针对传统乘法代数重构算法(MART)迭代精度不高的问题,提出一种自适应电离层层析新算法。一方面,该算法根据射线穿越像素点的截距和电子密度值的综合影响,合理地分配迭代差值;另一方面,提出一种与电子密度值相关的自适应松弛因子,有效克服传播噪声对电子密度反演的影响。试验采用全球电离层图(GIM)数据和GPS双频观测数据分别从单射线迭代和多射线迭代两个方面对新方法的可行性和优越性进行验证。试验结果表明,相对于传统的MART算法,本文方法反演电子密度剖面更接近电离层测高仪观测结果。 展开更多
关键词 电离层层析 mart算法 电子密度 GIM 迭代算法
下载PDF
基于MARTE的IMA系统时间资源可调度配置验证
18
作者 程桢 《电子世界》 2016年第4期183-184,共2页
目前综合模块化航空电子系统(IMA)在资源配置方面有非常高的安全可靠性需求,其中时间资源的可调度性配置验证也显得至关重要。本文在AFDX网络架构下提出了一种IMA系统时间相关概念的MARTE建模和时间资源可调度配置的正确性验证方法。建... 目前综合模块化航空电子系统(IMA)在资源配置方面有非常高的安全可靠性需求,其中时间资源的可调度性配置验证也显得至关重要。本文在AFDX网络架构下提出了一种IMA系统时间相关概念的MARTE建模和时间资源可调度配置的正确性验证方法。建立了IMA系统通信虚拟链路、AFDX终端、分区以及进程等相关元素到MARTE模型元素的建模规则,并设计了基于可调度分析工具MAST的时间资源可调度配置验证框架,最后利用相关实例进行仿真和分析得到验证结果。 展开更多
关键词 综合航电系统 模型驱动工程 martE 系统资源配置
下载PDF
基于战略成本管理的企业价值创造探析——以Family Mart为例 被引量:1
19
作者 王雪莹 王文兵 《哈尔滨学院学报》 2019年第1期49-52,共4页
随着我国经济快速发展,供求发展越来越不均衡。消费者需求多样化,导致各行业的颠覆性变革,企业价值创造和战略成本管理尤为重要。文章以Family Mart为例,分析战略成本管理应用模式、战略定位以及价值链的成本管理,提炼出Family Mart基... 随着我国经济快速发展,供求发展越来越不均衡。消费者需求多样化,导致各行业的颠覆性变革,企业价值创造和战略成本管理尤为重要。文章以Family Mart为例,分析战略成本管理应用模式、战略定位以及价值链的成本管理,提炼出Family Mart基于战略成本管理的企业价值创造先进经验,以期为国内同行业借鉴,促进企业可持续发展。 展开更多
关键词 战略成本管理 企业价值创造 FAMILY mart
下载PDF
一种基于SysML/MARTE/pCCSL的信息物理融合系统协同建模方法 被引量:3
20
作者 黄平 杜德慧 《华东师范大学学报(自然科学版)》 CAS CSCD 北大核心 2019年第1期48-57,共10页
信息物理融合系统(Cyber-Physical Systems, CPS)是一个综合计算、网络和物理环境的多维复杂系统.针对这种异构系统的建模问题一直是人们研究的重点,但是,缺乏系统性的方法来建模CPS的特性,如异构性、不确定性、软硬协同和非功能属性(No... 信息物理融合系统(Cyber-Physical Systems, CPS)是一个综合计算、网络和物理环境的多维复杂系统.针对这种异构系统的建模问题一直是人们研究的重点,但是,缺乏系统性的方法来建模CPS的特性,如异构性、不确定性、软硬协同和非功能属性(Non-Functional Properties, NFP)等.提出了一种基于SysML (System Modeling Language)/MARTE (Modeling and Analysis of Real-Time and Embedded Systems)/pCCSL (p Clock Constraint Specification Language)的协同建模方法,实现了从不同视角建模CPS的不同特征,包括系统的结构、行为、时钟约束和NFP.该方法的新颖性在于使用pCCSL规约各模型之间的交互和同步,显式地建模模型之间的逻辑一致性.同时,为了捕捉CPS的特性如随机行为和连续行为,扩展了一些SysML/MARTE的元模型.最后,给出了一个智能建筑的案例以展示所提出的协同建模方法的可用性. 展开更多
关键词 信息物理融合系统 SysML/martE/pCCSL 协同建模 元模型 智能建筑
下载PDF
上一页 1 2 29 下一页 到第
使用帮助 返回顶部